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