== p1: 102 reruns compared; identical (all counters and DEPTH line): 102 ; different: 0 ; nonzero exit: 0
   group L: 3 jobs, identical 3, nodes in logs 17992164, nodes in reruns 17992164, solutions in reruns 0, cpu logged 1285 s, cpu rerun 1190 s
   group R: 74 jobs, identical 74, nodes in logs 13899586, nodes in reruns 13899586, solutions in reruns 0, cpu logged 434 s, cpu rerun 339 s
   group S: 25 jobs, identical 25, nodes in logs 2826334, nodes in reruns 2826334, solutions in reruns 0, cpu logged 84 s, cpu rerun 62 s
== p2: 52 reruns compared; identical (all counters, every line except cpu): 52 ; different: 0 ; nonzero exit: 0
   group E: 24 jobs, identical 24, nodes in logs 1403238454, nodes in reruns 1403238454, solutions in reruns 0, cpu logged 784 s, cpu rerun 762 s
   group L: 3 jobs, identical 3, nodes in logs 1038550802, nodes in reruns 1038550802, solutions in reruns 0, cpu logged 844 s, cpu rerun 786 s
   group S: 25 jobs, identical 25, nodes in logs 2318645383, nodes in reruns 2318645383, solutions in reruns 0, cpu logged 1507 s, cpu rerun 1515 s
p1 L B_t19_s1of14 nodes_log=2024130 nodes_rerun=2024130 sol=0 cpu_log=366.65 cpu_rerun=353.95 IDENTICAL
p1 L B_t27_s15of18 nodes_log=3764369 nodes_rerun=3764369 sol=0 cpu_log=371.89 cpu_rerun=356.30 IDENTICAL
p1 L B_t50_s1of4 nodes_log=12203665 nodes_rerun=12203665 sol=0 cpu_log=546.78 cpu_rerun=479.54 IDENTICAL
p1 R B_t101_s0of1 nodes_log=68881 nodes_rerun=68881 sol=0 cpu_log=2.86 cpu_rerun=1.95 IDENTICAL
p1 R B_t102_s0of1 nodes_log=75599 nodes_rerun=75599 sol=0 cpu_log=1.41 cpu_rerun=0.99 IDENTICAL
p1 R B_t103_s0of1 nodes_log=31441 nodes_rerun=31441 sol=0 cpu_log=0.84 cpu_rerun=0.60 IDENTICAL
p1 R B_t104_s0of1 nodes_log=65881 nodes_rerun=65881 sol=0 cpu_log=0.98 cpu_rerun=0.74 IDENTICAL
p1 R B_t105_s0of1 nodes_log=38043 nodes_rerun=38043 sol=0 cpu_log=0.90 cpu_rerun=0.61 IDENTICAL
p1 R B_t106_s0of1 nodes_log=27094 nodes_rerun=27094 sol=0 cpu_log=0.60 cpu_rerun=0.40 IDENTICAL
p1 R B_t107_s0of1 nodes_log=15569 nodes_rerun=15569 sol=0 cpu_log=0.33 cpu_rerun=0.24 IDENTICAL
p1 R B_t108_s0of1 nodes_log=34577 nodes_rerun=34577 sol=0 cpu_log=0.60 cpu_rerun=0.47 IDENTICAL
p1 R B_t10_s0of1 nodes_log=1 nodes_rerun=1 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t110_s0of1 nodes_log=307694 nodes_rerun=307694 sol=0 cpu_log=7.18 cpu_rerun=5.10 IDENTICAL
p1 R B_t116_s0of1 nodes_log=47201 nodes_rerun=47201 sol=0 cpu_log=0.71 cpu_rerun=0.51 IDENTICAL
p1 R B_t117_s0of1 nodes_log=43033 nodes_rerun=43033 sol=0 cpu_log=1.17 cpu_rerun=0.79 IDENTICAL
p1 R B_t118_s0of1 nodes_log=38520 nodes_rerun=38520 sol=0 cpu_log=0.64 cpu_rerun=0.46 IDENTICAL
p1 R B_t119_s0of1 nodes_log=1604 nodes_rerun=1604 sol=0 cpu_log=0.03 cpu_rerun=0.02 IDENTICAL
p1 R B_t121_s0of1 nodes_log=11572 nodes_rerun=11572 sol=0 cpu_log=0.16 cpu_rerun=0.11 IDENTICAL
p1 R B_t123_s0of1 nodes_log=3824 nodes_rerun=3824 sol=0 cpu_log=0.09 cpu_rerun=0.06 IDENTICAL
p1 R B_t124_s0of1 nodes_log=12419 nodes_rerun=12419 sol=0 cpu_log=0.18 cpu_rerun=0.13 IDENTICAL
p1 R B_t125_s0of1 nodes_log=15291 nodes_rerun=15291 sol=0 cpu_log=0.19 cpu_rerun=0.15 IDENTICAL
p1 R B_t126_s0of1 nodes_log=16515 nodes_rerun=16515 sol=0 cpu_log=0.29 cpu_rerun=0.22 IDENTICAL
p1 R B_t128_s0of1 nodes_log=2341 nodes_rerun=2341 sol=0 cpu_log=0.02 cpu_rerun=0.02 IDENTICAL
p1 R B_t129_s0of1 nodes_log=4107 nodes_rerun=4107 sol=0 cpu_log=0.03 cpu_rerun=0.02 IDENTICAL
p1 R B_t130_s0of1 nodes_log=11306 nodes_rerun=11306 sol=0 cpu_log=0.11 cpu_rerun=0.07 IDENTICAL
p1 R B_t131_s0of1 nodes_log=2042 nodes_rerun=2042 sol=0 cpu_log=0.01 cpu_rerun=0.01 IDENTICAL
p1 R B_t132_s0of1 nodes_log=1965 nodes_rerun=1965 sol=0 cpu_log=0.02 cpu_rerun=0.02 IDENTICAL
p1 R B_t134_s0of1 nodes_log=15101 nodes_rerun=15101 sol=0 cpu_log=0.21 cpu_rerun=0.16 IDENTICAL
p1 R B_t136_s0of1 nodes_log=1272 nodes_rerun=1272 sol=0 cpu_log=0.01 cpu_rerun=0.01 IDENTICAL
p1 R B_t137_s0of1 nodes_log=3263 nodes_rerun=3263 sol=0 cpu_log=0.03 cpu_rerun=0.02 IDENTICAL
p1 R B_t139_s0of1 nodes_log=81 nodes_rerun=81 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t140_s0of1 nodes_log=0 nodes_rerun=0 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t141_s0of1 nodes_log=0 nodes_rerun=0 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t142_s0of1 nodes_log=242 nodes_rerun=242 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t144_s0of1 nodes_log=237 nodes_rerun=237 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t145_s0of1 nodes_log=1585 nodes_rerun=1585 sol=0 cpu_log=0.01 cpu_rerun=0.01 IDENTICAL
p1 R B_t146_s0of1 nodes_log=13 nodes_rerun=13 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t147_s0of1 nodes_log=61 nodes_rerun=61 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t148_s0of1 nodes_log=9 nodes_rerun=9 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t149_s0of1 nodes_log=16 nodes_rerun=16 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t150_s0of1 nodes_log=51 nodes_rerun=51 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t151_s0of1 nodes_log=10 nodes_rerun=10 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t152_s0of1 nodes_log=1 nodes_rerun=1 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t153_s0of1 nodes_log=1 nodes_rerun=1 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t15_s0of1 nodes_log=1 nodes_rerun=1 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t21_s0of1 nodes_log=0 nodes_rerun=0 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t23_s0of1 nodes_log=1 nodes_rerun=1 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t25_s0of1 nodes_log=1 nodes_rerun=1 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t31_s0of1 nodes_log=1 nodes_rerun=1 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t32_s0of1 nodes_log=1 nodes_rerun=1 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t34_s0of1 nodes_log=1 nodes_rerun=1 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t3_s0of1 nodes_log=1 nodes_rerun=1 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t53_s0of1 nodes_log=0 nodes_rerun=0 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t54_s0of1 nodes_log=0 nodes_rerun=0 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t56_s0of1 nodes_log=0 nodes_rerun=0 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t65_s0of1 nodes_log=0 nodes_rerun=0 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t74_s0of1 nodes_log=3418995 nodes_rerun=3418995 sol=0 cpu_log=116.53 cpu_rerun=89.16 IDENTICAL
p1 R B_t76_s0of1 nodes_log=0 nodes_rerun=0 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t78_s0of1 nodes_log=0 nodes_rerun=0 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 R B_t79_s0of1 nodes_log=2654808 nodes_rerun=2654808 sol=0 cpu_log=89.13 cpu_rerun=67.52 IDENTICAL
p1 R B_t80_s0of1 nodes_log=3618223 nodes_rerun=3618223 sol=0 cpu_log=98.13 cpu_rerun=86.15 IDENTICAL
p1 R B_t83_s0of1 nodes_log=1564744 nodes_rerun=1564744 sol=0 cpu_log=59.82 cpu_rerun=45.01 IDENTICAL
p1 R B_t84_s0of1 nodes_log=824607 nodes_rerun=824607 sol=0 cpu_log=27.49 cpu_rerun=20.19 IDENTICAL
p1 R B_t85_s0of1 nodes_log=500713 nodes_rerun=500713 sol=0 cpu_log=16.45 cpu_rerun=11.87 IDENTICAL
p1 R B_t86_s0of1 nodes_log=3952 nodes_rerun=3952 sol=0 cpu_log=0.07 cpu_rerun=0.04 IDENTICAL
p1 R B_t88_s0of1 nodes_log=31301 nodes_rerun=31301 sol=0 cpu_log=0.27 cpu_rerun=0.19 IDENTICAL
p1 R B_t89_s0of1 nodes_log=20283 nodes_rerun=20283 sol=0 cpu_log=0.31 cpu_rerun=0.22 IDENTICAL
p1 R B_t90_s0of1 nodes_log=18530 nodes_rerun=18530 sol=0 cpu_log=0.33 cpu_rerun=0.22 IDENTICAL
p1 R B_t91_s0of1 nodes_log=12316 nodes_rerun=12316 sol=0 cpu_log=0.23 cpu_rerun=0.16 IDENTICAL
p1 R B_t93_s0of1 nodes_log=12289 nodes_rerun=12289 sol=0 cpu_log=0.16 cpu_rerun=0.12 IDENTICAL
p1 R B_t94_s0of1 nodes_log=27685 nodes_rerun=27685 sol=0 cpu_log=0.41 cpu_rerun=0.29 IDENTICAL
p1 R B_t95_s0of1 nodes_log=22510 nodes_rerun=22510 sol=0 cpu_log=0.61 cpu_rerun=0.42 IDENTICAL
p1 R B_t96_s0of1 nodes_log=25747 nodes_rerun=25747 sol=0 cpu_log=0.45 cpu_rerun=0.33 IDENTICAL
p1 R B_t97_s0of1 nodes_log=123803 nodes_rerun=123803 sol=0 cpu_log=1.59 cpu_rerun=1.15 IDENTICAL
p1 R B_t98_s0of1 nodes_log=37103 nodes_rerun=37103 sol=0 cpu_log=1.17 cpu_rerun=0.81 IDENTICAL
p1 R B_t99_s0of1 nodes_log=83507 nodes_rerun=83507 sol=0 cpu_log=1.23 cpu_rerun=0.87 IDENTICAL
p1 R B_t9_s0of1 nodes_log=0 nodes_rerun=0 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 S B_t100_s0of1 nodes_log=29809 nodes_rerun=29809 sol=0 cpu_log=0.54 cpu_rerun=0.37 IDENTICAL
p1 S B_t109_s0of1 nodes_log=71497 nodes_rerun=71497 sol=0 cpu_log=1.49 cpu_rerun=1.10 IDENTICAL
p1 S B_t111_s0of1 nodes_log=58555 nodes_rerun=58555 sol=0 cpu_log=1.10 cpu_rerun=0.85 IDENTICAL
p1 S B_t112_s0of1 nodes_log=17429 nodes_rerun=17429 sol=0 cpu_log=0.32 cpu_rerun=0.23 IDENTICAL
p1 S B_t113_s0of1 nodes_log=61933 nodes_rerun=61933 sol=0 cpu_log=0.75 cpu_rerun=0.55 IDENTICAL
p1 S B_t114_s0of1 nodes_log=90253 nodes_rerun=90253 sol=0 cpu_log=1.58 cpu_rerun=1.13 IDENTICAL
p1 S B_t115_s0of1 nodes_log=62369 nodes_rerun=62369 sol=0 cpu_log=1.50 cpu_rerun=1.03 IDENTICAL
p1 S B_t11_s0of1 nodes_log=1 nodes_rerun=1 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 S B_t120_s0of1 nodes_log=28001 nodes_rerun=28001 sol=0 cpu_log=0.69 cpu_rerun=0.49 IDENTICAL
p1 S B_t122_s0of1 nodes_log=21667 nodes_rerun=21667 sol=0 cpu_log=0.40 cpu_rerun=0.30 IDENTICAL
p1 S B_t127_s0of1 nodes_log=2784 nodes_rerun=2784 sol=0 cpu_log=0.04 cpu_rerun=0.03 IDENTICAL
p1 S B_t133_s0of1 nodes_log=2333 nodes_rerun=2333 sol=0 cpu_log=0.02 cpu_rerun=0.01 IDENTICAL
p1 S B_t135_s0of1 nodes_log=3035 nodes_rerun=3035 sol=0 cpu_log=0.04 cpu_rerun=0.03 IDENTICAL
p1 S B_t138_s0of1 nodes_log=330 nodes_rerun=330 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 S B_t143_s0of1 nodes_log=164 nodes_rerun=164 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 S B_t26_s0of1 nodes_log=1 nodes_rerun=1 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 S B_t35_s0of1 nodes_log=0 nodes_rerun=0 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 S B_t58_s0of1 nodes_log=0 nodes_rerun=0 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 S B_t69_s0of1 nodes_log=1449301 nodes_rerun=1449301 sol=0 cpu_log=42.97 cpu_rerun=32.77 IDENTICAL
p1 S B_t72_s0of1 nodes_log=0 nodes_rerun=0 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 S B_t7_s0of1 nodes_log=1 nodes_rerun=1 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 S B_t81_s0of1 nodes_log=922325 nodes_rerun=922325 sol=0 cpu_log=32.10 cpu_rerun=23.00 IDENTICAL
p1 S B_t82_s0of1 nodes_log=0 nodes_rerun=0 sol=0 cpu_log=0.00 cpu_rerun=0.00 IDENTICAL
p1 S B_t87_s0of1 nodes_log=3501 nodes_rerun=3501 sol=0 cpu_log=0.05 cpu_rerun=0.04 IDENTICAL
p1 S B_t92_s0of1 nodes_log=1045 nodes_rerun=1045 sol=0 cpu_log=0.03 cpu_rerun=0.01 IDENTICAL
p2 E B_t022[light] nodes_log=14041 nodes_rerun=14041 sol=0 cpu_log=0.02 cpu_rerun=0.01 IDENTICAL
p2 E B_t037_s00of16[v7] nodes_log=125566016 nodes_rerun=125566016 sol=0 cpu_log=110.53 cpu_rerun=108.51 IDENTICAL
p2 E B_t046_s07of16[v7] nodes_log=21057554 nodes_rerun=21057554 sol=0 cpu_log=15.56 cpu_rerun=15.17 IDENTICAL
p2 E B_t047_s10of16[v7] nodes_log=206020876 nodes_rerun=206020876 sol=0 cpu_log=114.23 cpu_rerun=117.14 IDENTICAL
p2 E B_t048_s02of16[v7] nodes_log=214390471 nodes_rerun=214390471 sol=0 cpu_log=111.11 cpu_rerun=107.79 IDENTICAL
p2 E B_t049_s14of16[v7] nodes_log=67791740 nodes_rerun=67791740 sol=0 cpu_log=36.68 cpu_rerun=33.54 IDENTICAL
p2 E B_t051_s08of16[v7] nodes_log=113064693 nodes_rerun=113064693 sol=0 cpu_log=61.15 cpu_rerun=57.42 IDENTICAL
p2 E B_t052_s12of16[v7] nodes_log=156567409 nodes_rerun=156567409 sol=0 cpu_log=69.97 cpu_rerun=70.47 IDENTICAL
p2 E B_t058_s05of16[v6] nodes_log=37684695 nodes_rerun=37684695 sol=0 cpu_log=24.99 cpu_rerun=23.86 IDENTICAL
p2 E B_t058_s08of16[v6] nodes_log=37107452 nodes_rerun=37107452 sol=0 cpu_log=25.79 cpu_rerun=24.55 IDENTICAL
p2 E B_t058_s15of16[v6] nodes_log=42075373 nodes_rerun=42075373 sol=0 cpu_log=27.05 cpu_rerun=26.36 IDENTICAL
p2 E B_t059_s09of16[v6] nodes_log=74539018 nodes_rerun=74539018 sol=0 cpu_log=46.23 cpu_rerun=42.56 IDENTICAL
p2 E B_t061_s11of16[v7] nodes_log=69168396 nodes_rerun=69168396 sol=0 cpu_log=31.01 cpu_rerun=30.50 IDENTICAL
p2 E B_t066_s02of16[v6] nodes_log=55150955 nodes_rerun=55150955 sol=0 cpu_log=24.60 cpu_rerun=23.43 IDENTICAL
p2 E B_t066_s04of16[v6] nodes_log=55690340 nodes_rerun=55690340 sol=0 cpu_log=25.20 cpu_rerun=24.37 IDENTICAL
p2 E B_t066_s05of16[v6] nodes_log=66448270 nodes_rerun=66448270 sol=0 cpu_log=29.15 cpu_rerun=27.67 IDENTICAL
p2 E B_t066_s11of16[v6] nodes_log=52441520 nodes_rerun=52441520 sol=0 cpu_log=25.03 cpu_rerun=24.08 IDENTICAL
p2 E B_t073[light] nodes_log=5532455 nodes_rerun=5532455 sol=0 cpu_log=3.65 cpu_rerun=3.28 IDENTICAL
p2 E B_t081[light] nodes_log=2702535 nodes_rerun=2702535 sol=0 cpu_log=1.68 cpu_rerun=1.52 IDENTICAL
p2 E B_t107[light] nodes_log=70201 nodes_rerun=70201 sol=0 cpu_log=0.01 cpu_rerun=0.01 IDENTICAL
p2 E B_t109[light] nodes_log=98281 nodes_rerun=98281 sol=0 cpu_log=0.01 cpu_rerun=0.01 IDENTICAL
p2 E B_t117[light] nodes_log=28081 nodes_rerun=28081 sol=0 cpu_log=0.01 cpu_rerun=0.01 IDENTICAL
p2 E B_t123[light] nodes_log=14041 nodes_rerun=14041 sol=0 cpu_log=0.01 cpu_rerun=0.01 IDENTICAL
p2 E B_t136[light] nodes_log=14041 nodes_rerun=14041 sol=0 cpu_log=0.01 cpu_rerun=0.01 IDENTICAL
p2 L B_t002_s15of16[v7] nodes_log=231284050 nodes_rerun=231284050 sol=0 cpu_log=264.50 cpu_rerun=248.16 IDENTICAL
p2 L B_t029_s09of16[v7] nodes_log=441495950 nodes_rerun=441495950 sol=0 cpu_log=313.76 cpu_rerun=313.78 IDENTICAL
p2 L B_t038_s07of16[v7] nodes_log=365770802 nodes_rerun=365770802 sol=0 cpu_log=265.64 cpu_rerun=224.52 IDENTICAL
p2 S B_t007_s04of16[v7] nodes_log=144222834 nodes_rerun=144222834 sol=0 cpu_log=115.49 cpu_rerun=116.66 IDENTICAL
p2 S B_t027[light] nodes_log=14041 nodes_rerun=14041 sol=0 cpu_log=0.02 cpu_rerun=0.01 IDENTICAL
p2 S B_t030_s03of16[v7] nodes_log=141493853 nodes_rerun=141493853 sol=0 cpu_log=111.44 cpu_rerun=115.64 IDENTICAL
p2 S B_t030_s10of16[v7] nodes_log=149410693 nodes_rerun=149410693 sol=0 cpu_log=118.80 cpu_rerun=124.18 IDENTICAL
p2 S B_t030_s14of16[v7] nodes_log=103622144 nodes_rerun=103622144 sol=0 cpu_log=86.29 cpu_rerun=91.23 IDENTICAL
p2 S B_t037_s01of16[v7] nodes_log=124240489 nodes_rerun=124240489 sol=0 cpu_log=103.76 cpu_rerun=104.70 IDENTICAL
p2 S B_t037_s04of16[v7] nodes_log=118206283 nodes_rerun=118206283 sol=0 cpu_log=102.95 cpu_rerun=100.34 IDENTICAL
p2 S B_t037_s06of16[v7] nodes_log=134476470 nodes_rerun=134476470 sol=0 cpu_log=113.36 cpu_rerun=115.01 IDENTICAL
p2 S B_t041_s08of16[v7] nodes_log=146145446 nodes_rerun=146145446 sol=0 cpu_log=81.30 cpu_rerun=85.06 IDENTICAL
p2 S B_t044_s06of16[v7] nodes_log=19747945 nodes_rerun=19747945 sol=0 cpu_log=13.34 cpu_rerun=13.96 IDENTICAL
p2 S B_t047_s11of16[v7] nodes_log=201150871 nodes_rerun=201150871 sol=0 cpu_log=114.52 cpu_rerun=118.74 IDENTICAL
p2 S B_t048_s08of16[v7] nodes_log=206027999 nodes_rerun=206027999 sol=0 cpu_log=108.66 cpu_rerun=106.14 IDENTICAL
p2 S B_t049_s08of16[v7] nodes_log=70429769 nodes_rerun=70429769 sol=0 cpu_log=43.68 cpu_rerun=40.08 IDENTICAL
p2 S B_t050_s04of16[v7] nodes_log=118770806 nodes_rerun=118770806 sol=0 cpu_log=57.48 cpu_rerun=59.18 IDENTICAL
p2 S B_t051_s06of16[v7] nodes_log=111257115 nodes_rerun=111257115 sol=0 cpu_log=61.77 cpu_rerun=59.60 IDENTICAL
p2 S B_t051_s13of16[v7] nodes_log=116263212 nodes_rerun=116263212 sol=0 cpu_log=61.39 cpu_rerun=59.31 IDENTICAL
p2 S B_t057_s00of16[v7] nodes_log=78116851 nodes_rerun=78116851 sol=0 cpu_log=36.58 cpu_rerun=37.99 IDENTICAL
p2 S B_t058_s13of16[v6] nodes_log=36959942 nodes_rerun=36959942 sol=0 cpu_log=24.72 cpu_rerun=24.92 IDENTICAL
p2 S B_t059_s15of16[v6] nodes_log=81819267 nodes_rerun=81819267 sol=0 cpu_log=51.72 cpu_rerun=43.14 IDENTICAL
p2 S B_t060_s08of16[v7] nodes_log=77060329 nodes_rerun=77060329 sol=0 cpu_log=35.43 cpu_rerun=36.27 IDENTICAL
p2 S B_t066_s08of16[v6] nodes_log=64073414 nodes_rerun=64073414 sol=0 cpu_log=28.52 cpu_rerun=27.93 IDENTICAL
p2 S B_t066_s14of16[v6] nodes_log=45741526 nodes_rerun=45741526 sol=0 cpu_log=21.97 cpu_rerun=21.51 IDENTICAL
p2 S B_t067_s08of16[v6] nodes_log=28942416 nodes_rerun=28942416 sol=0 cpu_log=13.71 cpu_rerun=13.46 IDENTICAL
p2 S B_t095[light] nodes_log=226708 nodes_rerun=226708 sol=0 cpu_log=0.02 cpu_rerun=0.02 IDENTICAL
p2 S B_t102[light] nodes_log=224960 nodes_rerun=224960 sol=0 cpu_log=0.02 cpu_rerun=0.02 IDENTICAL
