1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
|
A start gpu=0 2026-06-16T15:29:24-05:00
== A s0 conv=gcn ==
ep20 solve_rate=0.000 mean_conflicts=162.09
ep40 solve_rate=0.000 mean_conflicts=129.86
ep60 solve_rate=0.000 mean_conflicts=149.86
ep80 solve_rate=0.000 mean_conflicts=47.19
ep100 solve_rate=0.000 mean_conflicts=72.71
ep120 solve_rate=0.000 mean_conflicts=153.69
ep140 solve_rate=0.000 mean_conflicts=163.38
ep150 solve_rate=0.000 mean_conflicts=163.18
[color_gcn_full_none_n50_k3_p0.2_T3_ns3_s0] best solve_rate=0.0 @ep20 (199.2s)
wrote /home/yurenh2/rrog/runs/ckpt_color_gcn_full_none_n50_k3_p0.2_T3_ns3_s0.pt
[gcn/full] LE n=300 fail=1.00 | SOLVED +nan UNSOLVED -1.276 sep=+nan AUROC=nan mean_lam=-1.276
[pe=none s0] deterministic solve_rate = 0.000 (n=150, K=16)
sigma pass@K lam-sel random perRoll AUROC(s|-lam)
0.2 0.000 0.000 0.000 0.000 nan
wrote /home/yurenh2/rrog/runs/ptrm_color_gcn_full_none_n50_k3_p0.2_T3_ns3_s0.json
== A s0 conv=sage ==
ep20 solve_rate=0.303 mean_conflicts=4.08
ep40 solve_rate=0.703 mean_conflicts=1.23
ep60 solve_rate=0.730 mean_conflicts=1.09
ep80 solve_rate=0.720 mean_conflicts=1.05
ep100 solve_rate=0.680 mean_conflicts=1.20
ep120 solve_rate=0.707 mean_conflicts=1.28
ep140 solve_rate=0.667 mean_conflicts=1.62
ep150 solve_rate=0.660 mean_conflicts=1.76
[color_sage_full_none_n50_k3_p0.2_T3_ns3_s0] best solve_rate=0.73 @ep60 (163.3s)
wrote /home/yurenh2/rrog/runs/ckpt_color_sage_full_none_n50_k3_p0.2_T3_ns3_s0.pt
[sage/full] LE n=300 fail=0.27 | SOLVED -0.131 UNSOLVED +0.052 sep=+0.183 AUROC=0.793 mean_lam=-0.082
[pe=none s0] deterministic solve_rate = 0.747 (n=150, K=16)
sigma pass@K lam-sel random perRoll AUROC(s|-lam)
0.2 0.953 0.813 0.767 0.762 0.771
wrote /home/yurenh2/rrog/runs/ptrm_color_sage_full_none_n50_k3_p0.2_T3_ns3_s0.json
== A s0 conv=gat ==
ep20 solve_rate=0.000 mean_conflicts=152.21
ep40 solve_rate=0.000 mean_conflicts=143.93
ep60 solve_rate=0.007 mean_conflicts=116.76
ep80 solve_rate=0.013 mean_conflicts=107.49
ep100 solve_rate=0.000 mean_conflicts=102.05
ep120 solve_rate=0.003 mean_conflicts=111.15
ep140 solve_rate=0.000 mean_conflicts=163.45
ep150 solve_rate=0.000 mean_conflicts=163.46
[color_gat_full_none_n50_k3_p0.2_T3_ns3_s0] best solve_rate=0.0133 @ep80 (305.2s)
wrote /home/yurenh2/rrog/runs/ckpt_color_gat_full_none_n50_k3_p0.2_T3_ns3_s0.pt
[gat/full] LE n=300 fail=0.99 | SOLVED -0.211 UNSOLVED -0.296 sep=-0.084 AUROC=0.353 mean_lam=-0.295
[pe=none s0] deterministic solve_rate = 0.007 (n=150, K=16)
sigma pass@K lam-sel random perRoll AUROC(s|-lam)
0.2 0.047 0.020 0.027 0.020 0.203
wrote /home/yurenh2/rrog/runs/ptrm_color_gat_full_none_n50_k3_p0.2_T3_ns3_s0.json
== A s1 conv=gcn ==
ep20 solve_rate=0.000 mean_conflicts=41.51
ep40 solve_rate=0.000 mean_conflicts=35.89
ep60 solve_rate=0.000 mean_conflicts=66.98
ep80 solve_rate=0.000 mean_conflicts=73.91
ep100 solve_rate=0.000 mean_conflicts=60.61
ep120 solve_rate=0.000 mean_conflicts=61.23
ep140 solve_rate=0.000 mean_conflicts=53.94
ep150 solve_rate=0.003 mean_conflicts=47.46
[color_gcn_full_none_n50_k3_p0.2_T3_ns3_s1] best solve_rate=0.0033 @ep150 (200.7s)
wrote /home/yurenh2/rrog/runs/ckpt_color_gcn_full_none_n50_k3_p0.2_T3_ns3_s1.pt
[gcn/full] LE n=300 fail=1.00 | SOLVED -0.234 UNSOLVED -0.104 sep=+0.130 AUROC=0.893 mean_lam=-0.105
[pe=none s1] deterministic solve_rate = 0.000 (n=150, K=16)
sigma pass@K lam-sel random perRoll AUROC(s|-lam)
0.2 0.007 0.000 0.000 0.000 0.941
wrote /home/yurenh2/rrog/runs/ptrm_color_gcn_full_none_n50_k3_p0.2_T3_ns3_s1.json
== A s1 conv=sage ==
ep20 solve_rate=0.223 mean_conflicts=4.59
ep40 solve_rate=0.723 mean_conflicts=1.13
ep60 solve_rate=0.760 mean_conflicts=0.84
ep80 solve_rate=0.780 mean_conflicts=0.82
ep100 solve_rate=0.750 mean_conflicts=0.96
ep120 solve_rate=0.787 mean_conflicts=0.78
ep140 solve_rate=0.760 mean_conflicts=0.81
ep150 solve_rate=0.740 mean_conflicts=0.87
[color_sage_full_none_n50_k3_p0.2_T3_ns3_s1] best solve_rate=0.7867 @ep120 (159.8s)
wrote /home/yurenh2/rrog/runs/ckpt_color_sage_full_none_n50_k3_p0.2_T3_ns3_s1.pt
[sage/full] LE n=300 fail=0.21 | SOLVED +0.063 UNSOLVED +0.160 sep=+0.097 AUROC=0.688 mean_lam=+0.084
[pe=none s1] deterministic solve_rate = 0.827 (n=150, K=16)
sigma pass@K lam-sel random perRoll AUROC(s|-lam)
0.2 0.973 0.873 0.793 0.781 0.702
wrote /home/yurenh2/rrog/runs/ptrm_color_sage_full_none_n50_k3_p0.2_T3_ns3_s1.json
== A s1 conv=gat ==
ep20 solve_rate=0.000 mean_conflicts=161.72
ep40 solve_rate=0.000 mean_conflicts=146.74
ep60 solve_rate=0.000 mean_conflicts=115.72
ep80 solve_rate=0.007 mean_conflicts=81.21
ep100 solve_rate=0.003 mean_conflicts=118.91
ep120 solve_rate=0.000 mean_conflicts=111.77
ep140 solve_rate=0.000 mean_conflicts=140.12
ep150 solve_rate=0.000 mean_conflicts=141.12
[color_gat_full_none_n50_k3_p0.2_T3_ns3_s1] best solve_rate=0.0067 @ep80 (870.5s)
wrote /home/yurenh2/rrog/runs/ckpt_color_gat_full_none_n50_k3_p0.2_T3_ns3_s1.pt
[gat/full] LE n=300 fail=0.99 | SOLVED -0.101 UNSOLVED -0.253 sep=-0.153 AUROC=0.087 mean_lam=-0.252
[pe=none s1] deterministic solve_rate = 0.013 (n=150, K=16)
sigma pass@K lam-sel random perRoll AUROC(s|-lam)
0.2 0.033 0.020 0.013 0.014 0.177
wrote /home/yurenh2/rrog/runs/ptrm_color_gat_full_none_n50_k3_p0.2_T3_ns3_s1.json
== A s2 conv=gcn ==
ep20 solve_rate=0.000 mean_conflicts=40.93
ep40 solve_rate=0.000 mean_conflicts=48.18
ep60 solve_rate=0.000 mean_conflicts=92.76
ep80 solve_rate=0.000 mean_conflicts=86.67
ep100 solve_rate=0.003 mean_conflicts=60.79
ep120 solve_rate=0.003 mean_conflicts=46.40
ep140 solve_rate=0.003 mean_conflicts=59.99
ep150 solve_rate=0.003 mean_conflicts=75.26
[color_gcn_full_none_n50_k3_p0.2_T3_ns3_s2] best solve_rate=0.0033 @ep100 (676.3s)
wrote /home/yurenh2/rrog/runs/ckpt_color_gcn_full_none_n50_k3_p0.2_T3_ns3_s2.pt
[gcn/full] LE n=300 fail=1.00 | SOLVED -0.221 UNSOLVED -0.262 sep=-0.041 AUROC=0.301 mean_lam=-0.262
[pe=none s2] deterministic solve_rate = 0.007 (n=150, K=16)
sigma pass@K lam-sel random perRoll AUROC(s|-lam)
0.2 0.007 0.007 0.000 0.003 0.563
wrote /home/yurenh2/rrog/runs/ptrm_color_gcn_full_none_n50_k3_p0.2_T3_ns3_s2.json
== A s2 conv=sage ==
ep20 solve_rate=0.267 mean_conflicts=3.97
ep40 solve_rate=0.727 mean_conflicts=1.07
ep60 solve_rate=0.830 mean_conflicts=0.68
ep80 solve_rate=0.827 mean_conflicts=0.54
ep100 solve_rate=0.803 mean_conflicts=0.74
ep120 solve_rate=0.680 mean_conflicts=1.54
ep140 solve_rate=0.587 mean_conflicts=2.31
ep150 solve_rate=0.527 mean_conflicts=2.94
[color_sage_full_none_n50_k3_p0.2_T3_ns3_s2] best solve_rate=0.83 @ep60 (224.4s)
wrote /home/yurenh2/rrog/runs/ckpt_color_sage_full_none_n50_k3_p0.2_T3_ns3_s2.pt
[sage/full] LE n=300 fail=0.17 | SOLVED -0.105 UNSOLVED +0.102 sep=+0.207 AUROC=0.814 mean_lam=-0.070
[pe=none s2] deterministic solve_rate = 0.847 (n=150, K=16)
sigma pass@K lam-sel random perRoll AUROC(s|-lam)
0.2 0.980 0.907 0.833 0.820 0.790
wrote /home/yurenh2/rrog/runs/ptrm_color_sage_full_none_n50_k3_p0.2_T3_ns3_s2.json
== A s2 conv=gat ==
ep20 solve_rate=0.000 mean_conflicts=130.86
ep40 solve_rate=0.000 mean_conflicts=163.47
ep60 solve_rate=0.000 mean_conflicts=163.48
ep80 solve_rate=0.000 mean_conflicts=163.48
ep100 solve_rate=0.003 mean_conflicts=152.94
ep120 solve_rate=0.000 mean_conflicts=156.99
ep140 solve_rate=0.000 mean_conflicts=163.18
ep150 solve_rate=0.000 mean_conflicts=163.48
[color_gat_full_none_n50_k3_p0.2_T3_ns3_s2] best solve_rate=0.0033 @ep100 (871.7s)
wrote /home/yurenh2/rrog/runs/ckpt_color_gat_full_none_n50_k3_p0.2_T3_ns3_s2.pt
[gat/full] LE n=300 fail=1.00 | SOLVED -0.133 UNSOLVED -0.253 sep=-0.120 AUROC=0.147 mean_lam=-0.252
[pe=none s2] deterministic solve_rate = 0.007 (n=150, K=16)
sigma pass@K lam-sel random perRoll AUROC(s|-lam)
0.2 0.033 0.013 0.020 0.013 0.248
wrote /home/yurenh2/rrog/runs/ptrm_color_gat_full_none_n50_k3_p0.2_T3_ns3_s2.json
== A s3 conv=gcn ==
ep20 solve_rate=0.000 mean_conflicts=44.52
ep40 solve_rate=0.000 mean_conflicts=47.99
ep60 solve_rate=0.000 mean_conflicts=91.15
ep80 solve_rate=0.000 mean_conflicts=99.85
ep100 solve_rate=0.003 mean_conflicts=69.26
ep120 solve_rate=0.003 mean_conflicts=54.51
ep140 solve_rate=0.003 mean_conflicts=59.94
ep150 solve_rate=0.003 mean_conflicts=54.14
[color_gcn_full_none_n50_k3_p0.2_T3_ns3_s3] best solve_rate=0.0033 @ep100 (675.0s)
wrote /home/yurenh2/rrog/runs/ckpt_color_gcn_full_none_n50_k3_p0.2_T3_ns3_s3.pt
[gcn/full] LE n=300 fail=1.00 | SOLVED -0.372 UNSOLVED -0.330 sep=+0.042 AUROC=0.672 mean_lam=-0.330
[pe=none s3] deterministic solve_rate = 0.007 (n=150, K=16)
sigma pass@K lam-sel random perRoll AUROC(s|-lam)
0.2 0.013 0.000 0.007 0.004 0.697
wrote /home/yurenh2/rrog/runs/ptrm_color_gcn_full_none_n50_k3_p0.2_T3_ns3_s3.json
== A s3 conv=sage ==
ep20 solve_rate=0.227 mean_conflicts=4.44
ep40 solve_rate=0.653 mean_conflicts=1.48
ep60 solve_rate=0.767 mean_conflicts=0.88
ep80 solve_rate=0.803 mean_conflicts=0.71
ep100 solve_rate=0.797 mean_conflicts=0.72
ep120 solve_rate=0.773 mean_conflicts=0.91
ep140 solve_rate=0.747 mean_conflicts=1.25
ep150 solve_rate=0.707 mean_conflicts=1.48
[color_sage_full_none_n50_k3_p0.2_T3_ns3_s3] best solve_rate=0.8033 @ep80 (223.5s)
wrote /home/yurenh2/rrog/runs/ckpt_color_sage_full_none_n50_k3_p0.2_T3_ns3_s3.pt
[sage/full] LE n=300 fail=0.20 | SOLVED +0.002 UNSOLVED +0.120 sep=+0.118 AUROC=0.680 mean_lam=+0.025
[pe=none s3] deterministic solve_rate = 0.813 (n=150, K=16)
sigma pass@K lam-sel random perRoll AUROC(s|-lam)
0.2 0.953 0.880 0.780 0.802 0.750
wrote /home/yurenh2/rrog/runs/ptrm_color_sage_full_none_n50_k3_p0.2_T3_ns3_s3.json
== A s3 conv=gat ==
ep20 solve_rate=0.000 mean_conflicts=161.40
ep40 solve_rate=0.027 mean_conflicts=28.43
ep60 solve_rate=0.100 mean_conflicts=17.61
ep80 solve_rate=0.063 mean_conflicts=13.36
ep100 solve_rate=0.030 mean_conflicts=19.86
ep120 solve_rate=0.007 mean_conflicts=53.33
ep140 solve_rate=0.000 mean_conflicts=139.14
ep150 solve_rate=0.000 mean_conflicts=140.87
[color_gat_full_none_n50_k3_p0.2_T3_ns3_s3] best solve_rate=0.1 @ep60 (869.6s)
wrote /home/yurenh2/rrog/runs/ckpt_color_gat_full_none_n50_k3_p0.2_T3_ns3_s3.pt
[gat/full] LE n=300 fail=0.90 | SOLVED -0.097 UNSOLVED -0.064 sep=+0.034 AUROC=0.585 mean_lam=-0.067
[pe=none s3] deterministic solve_rate = 0.113 (n=150, K=16)
sigma pass@K lam-sel random perRoll AUROC(s|-lam)
0.2 0.220 0.113 0.113 0.105 0.614
wrote /home/yurenh2/rrog/runs/ptrm_color_gat_full_none_n50_k3_p0.2_T3_ns3_s3.json
== A s4 conv=gcn ==
ep20 solve_rate=0.000 mean_conflicts=81.70
ep40 solve_rate=0.000 mean_conflicts=39.68
ep60 solve_rate=0.000 mean_conflicts=67.85
ep80 solve_rate=0.000 mean_conflicts=58.58
ep100 solve_rate=0.003 mean_conflicts=60.47
ep120 solve_rate=0.000 mean_conflicts=54.07
ep140 solve_rate=0.003 mean_conflicts=100.63
ep150 solve_rate=0.003 mean_conflicts=106.05
[color_gcn_full_none_n50_k3_p0.2_T3_ns3_s4] best solve_rate=0.0033 @ep100 (676.5s)
wrote /home/yurenh2/rrog/runs/ckpt_color_gcn_full_none_n50_k3_p0.2_T3_ns3_s4.pt
[gcn/full] LE n=300 fail=1.00 | SOLVED -0.254 UNSOLVED -0.117 sep=+0.137 AUROC=0.943 mean_lam=-0.117
[pe=none s4] deterministic solve_rate = 0.000 (n=150, K=16)
sigma pass@K lam-sel random perRoll AUROC(s|-lam)
0.2 0.007 0.000 0.000 0.001 0.062
wrote /home/yurenh2/rrog/runs/ptrm_color_gcn_full_none_n50_k3_p0.2_T3_ns3_s4.json
== A s4 conv=sage ==
ep20 solve_rate=0.210 mean_conflicts=3.76
ep40 solve_rate=0.717 mean_conflicts=0.97
ep60 solve_rate=0.813 mean_conflicts=0.73
ep80 solve_rate=0.803 mean_conflicts=0.72
ep100 solve_rate=0.817 mean_conflicts=0.70
ep120 solve_rate=0.817 mean_conflicts=0.65
ep140 solve_rate=0.800 mean_conflicts=0.96
ep150 solve_rate=0.773 mean_conflicts=1.14
[color_sage_full_none_n50_k3_p0.2_T3_ns3_s4] best solve_rate=0.8167 @ep100 (215.8s)
wrote /home/yurenh2/rrog/runs/ckpt_color_sage_full_none_n50_k3_p0.2_T3_ns3_s4.pt
[sage/full] LE n=300 fail=0.18 | SOLVED -0.011 UNSOLVED +0.182 sep=+0.193 AUROC=0.828 mean_lam=+0.024
[pe=none s4] deterministic solve_rate = 0.840 (n=150, K=16)
sigma pass@K lam-sel random perRoll AUROC(s|-lam)
0.2 0.987 0.893 0.847 0.835 0.752
wrote /home/yurenh2/rrog/runs/ptrm_color_sage_full_none_n50_k3_p0.2_T3_ns3_s4.json
== A s4 conv=gat ==
ep20 solve_rate=0.000 mean_conflicts=155.28
ep40 solve_rate=0.000 mean_conflicts=163.18
ep60 solve_rate=0.000 mean_conflicts=111.24
ep80 solve_rate=0.077 mean_conflicts=26.13
ep100 solve_rate=0.060 mean_conflicts=47.08
ep120 solve_rate=0.050 mean_conflicts=77.35
ep140 solve_rate=0.080 mean_conflicts=76.13
ep150 solve_rate=0.060 mean_conflicts=81.07
[color_gat_full_none_n50_k3_p0.2_T3_ns3_s4] best solve_rate=0.08 @ep140 (871.2s)
wrote /home/yurenh2/rrog/runs/ckpt_color_gat_full_none_n50_k3_p0.2_T3_ns3_s4.pt
[gat/full] LE n=300 fail=0.92 | SOLVED +0.013 UNSOLVED -0.019 sep=-0.032 AUROC=0.423 mean_lam=-0.016
[pe=none s4] deterministic solve_rate = 0.133 (n=150, K=16)
sigma pass@K lam-sel random perRoll AUROC(s|-lam)
0.2 0.227 0.147 0.120 0.113 0.454
wrote /home/yurenh2/rrog/runs/ptrm_color_gat_full_none_n50_k3_p0.2_T3_ns3_s4.json
doneA=2026-06-16T18:14:25-05:00
|
