0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
298.81/300.07 c [STEP] preprocessing done, loading into solver
298.81/300.07 c [STEP] solving
298.81/300.07 c #variables 121 #constraints 10
298.81/300.07 c SMALL=int, LARGE=long long
298.81/300.07 d SCIPUB 3
298.81/300.07 c bounds - >= 0 @ 298.808
298.81/300.07 c stratification level: 2
323.86/325.18 c #Conflicts: 1000 | #Constraints: 1010
323.86/325.18 c #Conflicts: 2000 | #Constraints: 2010
323.86/325.18 c INPROCESSING
323.86/325.18 c GARBAGE COLLECT
323.86/325.18 c #Conflicts: 3000 | #Constraints: 2015
323.86/325.18 c #Conflicts: 4000 | #Constraints: 3015
323.86/325.18 c INPROCESSING
323.86/325.18 c GARBAGE COLLECT
323.86/325.18 c #Conflicts: 5000 | #Constraints: 2416
323.86/325.18 c #Conflicts: 6000 | #Constraints: 3416
323.86/325.18 c INPROCESSING
323.86/325.18 c GARBAGE COLLECT
323.86/325.18 c #Conflicts: 7000 | #Constraints: 2417
323.86/325.18 c #Conflicts: 8000 | #Constraints: 3417
323.86/325.18 c #Conflicts: 9000 | #Constraints: 4417
323.86/325.18 c INPROCESSING
323.86/325.18 c GARBAGE COLLECT
323.86/325.18 c #Conflicts: 10000 | #Constraints: 3120
323.86/325.18 c #Conflicts: 11000 | #Constraints: 4120
323.86/325.18 c #Conflicts: 12000 | #Constraints: 5120
323.86/325.18 c INPROCESSING
323.86/325.18 c GARBAGE COLLECT
323.86/325.18 c #Conflicts: 13000 | #Constraints: 3571
323.86/325.18 c #Conflicts: 14000 | #Constraints: 4571
323.86/325.18 c #Conflicts: 15000 | #Constraints: 5571
323.86/325.18 c INPROCESSING
323.86/325.18 c GARBAGE COLLECT
323.86/325.18 c #Conflicts: 16000 | #Constraints: 3800
323.86/325.18 c #Conflicts: 17000 | #Constraints: 4800
323.86/325.18 c #Conflicts: 18000 | #Constraints: 5800
323.86/325.18 c INPROCESSING
323.86/325.18 c GARBAGE COLLECT
323.86/325.18 c #Conflicts: 19000 | #Constraints: 3812
323.86/325.18 c #Conflicts: 20000 | #Constraints: 4812
323.86/325.18 c #Conflicts: 21000 | #Constraints: 5812
323.86/325.18 c INPROCESSING
323.86/325.18 c GARBAGE COLLECT
323.86/325.18 c #Conflicts: 22000 | #Constraints: 3616
323.86/325.18 c #Conflicts: 23000 | #Constraints: 4616
323.86/325.18 c #Conflicts: 24000 | #Constraints: 5616
323.86/325.18 c #Conflicts: 25000 | #Constraints: 6616
323.86/325.18 c INPROCESSING
323.86/325.18 c GARBAGE COLLECT
323.86/325.18 c #Conflicts: 26000 | #Constraints: 4220
323.86/325.18 c #Conflicts: 27000 | #Constraints: 5220
323.86/325.18 c #Conflicts: 28000 | #Constraints: 6220
323.86/325.18 c #Conflicts: 29000 | #Constraints: 7220
323.86/325.18 c INPROCESSING
323.86/325.18 c GARBAGE COLLECT
323.86/325.18 c #Conflicts: 30000 | #Constraints: 4620
323.86/325.18 c #Conflicts: 31000 | #Constraints: 5620
323.86/325.18 c #Conflicts: 32000 | #Constraints: 6620
323.86/325.18 c #Conflicts: 33000 | #Constraints: 7620
323.86/325.18 c INPROCESSING
323.86/325.18 c GARBAGE COLLECT
323.86/325.18 c #Conflicts: 34000 | #Constraints: 4822
323.86/325.18 c #Conflicts: 35000 | #Constraints: 5822
323.86/325.18 c #Conflicts: 36000 | #Constraints: 6822
323.86/325.18 c #Conflicts: 37000 | #Constraints: 7822
323.86/325.18 c INPROCESSING
323.86/325.18 c GARBAGE COLLECT
323.86/325.18 c #Conflicts: 38000 | #Constraints: 4825
323.86/325.18 c #Conflicts: 39000 | #Constraints: 5825
323.86/325.18 c #Conflicts: 40000 | #Constraints: 6825
323.86/325.18 c #Conflicts: 41000 | #Constraints: 7825
323.86/325.18 c INPROCESSING
323.86/325.18 c GARBAGE COLLECT
323.86/325.18 c #Conflicts: 42000 | #Constraints: 4624
323.86/325.18 c #Conflicts: 43000 | #Constraints: 5624
323.86/325.18 c #Conflicts: 44000 | #Constraints: 6624
323.86/325.18 c #Conflicts: 45000 | #Constraints: 7624
323.86/325.18 c #Conflicts: 46000 | #Constraints: 8624
323.86/325.18 c INPROCESSING
323.86/325.18 c GARBAGE COLLECT
323.86/325.18 c #Conflicts: 47000 | #Constraints: 5222
323.86/325.18 c #Conflicts: 48000 | #Constraints: 6222
323.86/325.18 c #Conflicts: 49000 | #Constraints: 7222
323.86/325.18 c #Conflicts: 50000 | #Constraints: 8222
323.86/325.18 c #Conflicts: 51000 | #Constraints: 9222
323.86/325.18 c INPROCESSING
323.86/325.18 c GARBAGE COLLECT
323.86/325.18 c #Conflicts: 52000 | #Constraints: 5624
323.86/325.18 c #Conflicts: 53000 | #Constraints: 6624
323.86/325.18 c #Conflicts: 54000 | #Constraints: 7624
323.86/325.18 c #Conflicts: 55000 | #Constraints: 8624
323.86/325.18 c #Conflicts: 56000 | #Constraints: 9624
323.86/325.18 c INPROCESSING
323.86/325.18 c GARBAGE COLLECT
323.86/325.18 c #Conflicts: 57000 | #Constraints: 5822
323.86/325.18 c #Conflicts: 58000 | #Constraints: 6822
323.86/325.18 c #Conflicts: 59000 | #Constraints: 7822
323.86/325.18 c #Conflicts: 60000 | #Constraints: 8822
323.86/325.18 c #Conflicts: 61000 | #Constraints: 9822
323.86/325.18 c INPROCESSING
323.86/325.18 c GARBAGE COLLECT
323.86/325.18 c #Conflicts: 62000 | #Constraints: 5823
323.86/325.18 c #Conflicts: 63000 | #Constraints: 6823
323.86/325.18 c #Conflicts: 64000 | #Constraints: 7823
323.86/325.18 c #Conflicts: 65000 | #Constraints: 8823
323.86/325.18 c #Conflicts: 66000 | #Constraints: 9823
323.86/325.18 c INPROCESSING
323.86/325.18 c GARBAGE COLLECT
323.86/325.18 c #Conflicts: 67000 | #Constraints: 5622
323.86/325.18 c #Conflicts: 68000 | #Constraints: 6622
372.23/373.61 c #Conflicts: 69000 | #Constraints: 7622
372.23/373.61 c #Conflicts: 70000 | #Constraints: 8622
372.23/373.61 c #Conflicts: 71000 | #Constraints: 9622
372.23/373.61 c #Conflicts: 72000 | #Constraints: 10622
372.23/373.61 c INPROCESSING
372.23/373.61 c GARBAGE COLLECT
372.23/373.61 c #Conflicts: 73000 | #Constraints: 6221
372.23/373.61 c #Conflicts: 74000 | #Constraints: 7221
372.23/373.61 c #Conflicts: 75000 | #Constraints: 8221
372.23/373.61 c #Conflicts: 76000 | #Constraints: 9221
372.23/373.61 c #Conflicts: 77000 | #Constraints: 10221
372.23/373.61 c #Conflicts: 78000 | #Constraints: 11221
372.23/373.61 c INPROCESSING
372.23/373.61 c GARBAGE COLLECT
372.23/373.61 c #Conflicts: 79000 | #Constraints: 6622
372.23/373.61 c #Conflicts: 80000 | #Constraints: 7622
372.23/373.61 c #Conflicts: 81000 | #Constraints: 8622
372.23/373.61 c #Conflicts: 82000 | #Constraints: 9622
372.23/373.61 c #Conflicts: 83000 | #Constraints: 10622
372.23/373.61 c #Conflicts: 84000 | #Constraints: 11622
372.23/373.61 c INPROCESSING
372.23/373.61 c GARBAGE COLLECT
372.23/373.61 c #Conflicts: 85000 | #Constraints: 6823
372.23/373.61 c #Conflicts: 86000 | #Constraints: 7823
372.23/373.61 c #Conflicts: 87000 | #Constraints: 8823
372.23/373.61 c #Conflicts: 88000 | #Constraints: 9823
372.23/373.61 c #Conflicts: 89000 | #Constraints: 10823
372.23/373.61 c #Conflicts: 90000 | #Constraints: 11823
372.23/373.61 c INPROCESSING
372.23/373.61 c GARBAGE COLLECT
372.23/373.61 c #Conflicts: 91000 | #Constraints: 6823
372.23/373.61 c #Conflicts: 92000 | #Constraints: 7823
372.23/373.61 c #Conflicts: 93000 | #Constraints: 8823
372.23/373.61 c #Conflicts: 94000 | #Constraints: 9823
372.23/373.61 c #Conflicts: 95000 | #Constraints: 10823
372.23/373.61 c #Conflicts: 96000 | #Constraints: 11823
372.23/373.61 c INPROCESSING
372.23/373.61 c GARBAGE COLLECT
372.23/373.61 c #Conflicts: 97000 | #Constraints: 6625
372.23/373.61 c #Conflicts: 98000 | #Constraints: 7625
372.23/373.61 c #Conflicts: 99000 | #Constraints: 8625
372.23/373.61 c #Conflicts: 100000 | #Constraints: 9625
372.23/373.61 c #Conflicts: 101000 | #Constraints: 10625
372.23/373.61 c #Conflicts: 102000 | #Constraints: 11625
372.23/373.61 c #Conflicts: 103000 | #Constraints: 12625
372.23/373.61 c INPROCESSING
372.23/373.61 c GARBAGE COLLECT
372.23/373.61 c #Conflicts: 104000 | #Constraints: 7223
372.23/373.61 c #Conflicts: 105000 | #Constraints: 8223
372.23/373.61 c #Conflicts: 106000 | #Constraints: 9223
372.23/373.61 c #Conflicts: 107000 | #Constraints: 10223
372.23/373.61 c #Conflicts: 108000 | #Constraints: 11223
372.23/373.61 c #Conflicts: 109000 | #Constraints: 12223
372.23/373.61 c #Conflicts: 110000 | #Constraints: 13223
372.23/373.61 c INPROCESSING
372.23/373.61 c GARBAGE COLLECT
372.23/373.61 c #Conflicts: 111000 | #Constraints: 7622
372.23/373.61 c #Conflicts: 112000 | #Constraints: 8622
372.23/373.61 c #Conflicts: 113000 | #Constraints: 9622
372.23/373.61 c #Conflicts: 114000 | #Constraints: 10622
372.23/373.61 c #Conflicts: 115000 | #Constraints: 11622
372.23/373.61 c #Conflicts: 116000 | #Constraints: 12622
372.23/373.61 c #Conflicts: 117000 | #Constraints: 13622
372.23/373.61 c INPROCESSING
372.23/373.61 c GARBAGE COLLECT
372.23/373.61 c #Conflicts: 118000 | #Constraints: 7823
372.23/373.61 c #Conflicts: 119000 | #Constraints: 8823
372.23/373.61 c #Conflicts: 120000 | #Constraints: 9823
372.23/373.61 c #Conflicts: 121000 | #Constraints: 10823
372.23/373.61 c #Conflicts: 122000 | #Constraints: 11823
372.23/373.61 c #Conflicts: 123000 | #Constraints: 12823
372.23/373.61 c #Conflicts: 124000 | #Constraints: 13823
372.23/373.61 c INPROCESSING
372.23/373.61 c GARBAGE COLLECT
372.23/373.61 c #Conflicts: 125000 | #Constraints: 7823
372.23/373.61 c #Conflicts: 126000 | #Constraints: 8823
372.23/373.61 c #Conflicts: 127000 | #Constraints: 9823
372.23/373.61 c #Conflicts: 128000 | #Constraints: 10823
372.23/373.61 c #Conflicts: 129000 | #Constraints: 11823
372.23/373.61 c #Conflicts: 130000 | #Constraints: 12823
372.23/373.61 c #Conflicts: 131000 | #Constraints: 13823
372.23/373.61 c INPROCESSING
372.23/373.61 c GARBAGE COLLECT
372.23/373.61 c #Conflicts: 132000 | #Constraints: 7624
372.23/373.61 c #Conflicts: 133000 | #Constraints: 8624
372.23/373.61 c #Conflicts: 134000 | #Constraints: 9624
372.23/373.61 c #Conflicts: 135000 | #Constraints: 10624
372.23/373.61 c #Conflicts: 136000 | #Constraints: 11624
372.23/373.61 c #Conflicts: 137000 | #Constraints: 12624
372.23/373.61 c #Conflicts: 138000 | #Constraints: 13624
372.23/373.61 c #Conflicts: 139000 | #Constraints: 14624
372.23/373.61 c INPROCESSING
372.23/373.61 c GARBAGE COLLECT
372.23/373.61 c #Conflicts: 140000 | #Constraints: 8227
436.59/438.11 c #Conflicts: 141000 | #Constraints: 9227
436.59/438.11 c #Conflicts: 142000 | #Constraints: 10227
436.59/438.11 c #Conflicts: 143000 | #Constraints: 11227
436.59/438.11 c #Conflicts: 144000 | #Constraints: 12227
436.59/438.11 c #Conflicts: 145000 | #Constraints: 13227
436.59/438.11 c #Conflicts: 146000 | #Constraints: 14227
436.59/438.11 c #Conflicts: 147000 | #Constraints: 15227
436.59/438.11 c INPROCESSING
436.59/438.11 c GARBAGE COLLECT
436.59/438.11 c #Conflicts: 148000 | #Constraints: 8626
436.59/438.11 c #Conflicts: 149000 | #Constraints: 9626
436.59/438.11 c #Conflicts: 150000 | #Constraints: 10626
436.59/438.11 c #Conflicts: 151000 | #Constraints: 11626
436.59/438.11 c #Conflicts: 152000 | #Constraints: 12626
436.59/438.11 c #Conflicts: 153000 | #Constraints: 13626
436.59/438.11 c #Conflicts: 154000 | #Constraints: 14626
436.59/438.11 c #Conflicts: 155000 | #Constraints: 15626
436.59/438.11 c INPROCESSING
436.59/438.11 c GARBAGE COLLECT
436.59/438.11 c #Conflicts: 156000 | #Constraints: 8824
436.59/438.11 c #Conflicts: 157000 | #Constraints: 9824
436.59/438.11 c #Conflicts: 158000 | #Constraints: 10824
436.59/438.11 c #Conflicts: 159000 | #Constraints: 11824
436.59/438.11 c #Conflicts: 160000 | #Constraints: 12824
436.59/438.11 c #Conflicts: 161000 | #Constraints: 13824
436.59/438.11 c #Conflicts: 162000 | #Constraints: 14824
436.59/438.11 c #Conflicts: 163000 | #Constraints: 15824
436.59/438.11 c INPROCESSING
436.59/438.11 c GARBAGE COLLECT
436.59/438.11 c #Conflicts: 164000 | #Constraints: 8827
436.59/438.11 c #Conflicts: 165000 | #Constraints: 9827
436.59/438.11 c #Conflicts: 166000 | #Constraints: 10827
436.59/438.11 c #Conflicts: 167000 | #Constraints: 11827
436.59/438.11 c #Conflicts: 168000 | #Constraints: 12827
436.59/438.11 c #Conflicts: 169000 | #Constraints: 13827
436.59/438.11 c #Conflicts: 170000 | #Constraints: 14827
436.59/438.11 c #Conflicts: 171000 | #Constraints: 15827
436.59/438.11 c INPROCESSING
436.59/438.11 c GARBAGE COLLECT
436.59/438.11 c #Conflicts: 172000 | #Constraints: 8624
436.59/438.11 c #Conflicts: 173000 | #Constraints: 9624
436.59/438.11 c #Conflicts: 174000 | #Constraints: 10624
436.59/438.11 c #Conflicts: 175000 | #Constraints: 11624
436.59/438.11 c #Conflicts: 176000 | #Constraints: 12624
436.59/438.11 c #Conflicts: 177000 | #Constraints: 13624
436.59/438.11 c #Conflicts: 178000 | #Constraints: 14624
436.59/438.11 c #Conflicts: 179000 | #Constraints: 15624
436.59/438.11 c #Conflicts: 180000 | #Constraints: 16624
436.59/438.11 c INPROCESSING
436.59/438.11 c GARBAGE COLLECT
436.59/438.11 c #Conflicts: 181000 | #Constraints: 9222
436.59/438.11 c #Conflicts: 182000 | #Constraints: 10222
436.59/438.11 c #Conflicts: 183000 | #Constraints: 11222
436.59/438.11 c #Conflicts: 184000 | #Constraints: 12222
436.59/438.11 c #Conflicts: 185000 | #Constraints: 13222
436.59/438.11 c #Conflicts: 186000 | #Constraints: 14222
436.59/438.11 c #Conflicts: 187000 | #Constraints: 15222
436.59/438.11 c #Conflicts: 188000 | #Constraints: 16222
436.59/438.11 c #Conflicts: 189000 | #Constraints: 17222
436.59/438.11 c INPROCESSING
436.59/438.11 c GARBAGE COLLECT
436.59/438.11 c #Conflicts: 190000 | #Constraints: 9624
436.59/438.11 c #Conflicts: 191000 | #Constraints: 10624
436.59/438.11 c #Conflicts: 192000 | #Constraints: 11624
436.59/438.11 c #Conflicts: 193000 | #Constraints: 12624
436.59/438.11 c #Conflicts: 194000 | #Constraints: 13624
436.59/438.11 c #Conflicts: 195000 | #Constraints: 14624
436.59/438.11 c #Conflicts: 196000 | #Constraints: 15624
436.59/438.11 c #Conflicts: 197000 | #Constraints: 16624
436.59/438.11 c #Conflicts: 198000 | #Constraints: 17624
436.59/438.11 c INPROCESSING
436.59/438.11 c GARBAGE COLLECT
436.59/438.11 c #Conflicts: 199000 | #Constraints: 9825
436.59/438.11 c #Conflicts: 200000 | #Constraints: 10825
436.59/438.11 c #Conflicts: 201000 | #Constraints: 11825
436.59/438.11 c #Conflicts: 202000 | #Constraints: 12825
436.59/438.11 c #Conflicts: 203000 | #Constraints: 13825
436.59/438.11 c #Conflicts: 204000 | #Constraints: 14825
436.59/438.11 c #Conflicts: 205000 | #Constraints: 15825
436.59/438.11 c #Conflicts: 206000 | #Constraints: 16825
436.59/438.11 c #Conflicts: 207000 | #Constraints: 17825
436.59/438.11 c INPROCESSING
436.59/438.11 c GARBAGE COLLECT
436.59/438.11 c #Conflicts: 208000 | #Constraints: 9825
436.59/438.11 c #Conflicts: 209000 | #Constraints: 10825
436.59/438.11 c #Conflicts: 210000 | #Constraints: 11825
436.59/438.11 c #Conflicts: 211000 | #Constraints: 12825
436.59/438.11 c #Conflicts: 212000 | #Constraints: 13825
436.59/438.11 c #Conflicts: 213000 | #Constraints: 14825
516.29/518.02 c #Conflicts: 214000 | #Constraints: 15825
516.29/518.02 c #Conflicts: 215000 | #Constraints: 16825
516.29/518.02 c #Conflicts: 216000 | #Constraints: 17825
516.29/518.02 c INPROCESSING
516.29/518.02 c GARBAGE COLLECT
516.29/518.02 c #Conflicts: 217000 | #Constraints: 9629
516.29/518.02 c #Conflicts: 218000 | #Constraints: 10629
516.29/518.02 c #Conflicts: 219000 | #Constraints: 11629
516.29/518.02 c #Conflicts: 220000 | #Constraints: 12629
516.29/518.02 c #Conflicts: 221000 | #Constraints: 13629
516.29/518.02 c #Conflicts: 222000 | #Constraints: 14629
516.29/518.02 c #Conflicts: 223000 | #Constraints: 15629
516.29/518.02 c #Conflicts: 224000 | #Constraints: 16629
516.29/518.02 c #Conflicts: 225000 | #Constraints: 17629
516.29/518.02 c #Conflicts: 226000 | #Constraints: 18629
516.29/518.02 c INPROCESSING
516.29/518.02 c GARBAGE COLLECT
516.29/518.02 c #Conflicts: 227000 | #Constraints: 10226
516.29/518.02 c #Conflicts: 228000 | #Constraints: 11226
516.29/518.02 c #Conflicts: 229000 | #Constraints: 12226
516.29/518.02 c #Conflicts: 230000 | #Constraints: 13226
516.29/518.02 c #Conflicts: 231000 | #Constraints: 14226
516.29/518.02 c #Conflicts: 232000 | #Constraints: 15226
516.29/518.02 c #Conflicts: 233000 | #Constraints: 16226
516.29/518.02 c #Conflicts: 234000 | #Constraints: 17226
516.29/518.02 c #Conflicts: 235000 | #Constraints: 18226
516.29/518.02 c #Conflicts: 236000 | #Constraints: 19226
516.29/518.02 c INPROCESSING
516.29/518.02 c GARBAGE COLLECT
516.29/518.02 c #Conflicts: 237000 | #Constraints: 10624
516.29/518.02 c #Conflicts: 238000 | #Constraints: 11624
516.29/518.02 c #Conflicts: 239000 | #Constraints: 12624
516.29/518.02 c #Conflicts: 240000 | #Constraints: 13624
516.29/518.02 c #Conflicts: 241000 | #Constraints: 14624
516.29/518.02 c #Conflicts: 242000 | #Constraints: 15624
516.29/518.02 c #Conflicts: 243000 | #Constraints: 16624
516.29/518.02 c #Conflicts: 244000 | #Constraints: 17624
516.29/518.02 c #Conflicts: 245000 | #Constraints: 18624
516.29/518.02 c #Conflicts: 246000 | #Constraints: 19624
516.29/518.02 c INPROCESSING
516.29/518.02 c GARBAGE COLLECT
516.29/518.02 c #Conflicts: 247000 | #Constraints: 10826
516.29/518.02 c #Conflicts: 248000 | #Constraints: 11826
516.29/518.02 c #Conflicts: 249000 | #Constraints: 12826
516.29/518.02 c #Conflicts: 250000 | #Constraints: 13826
516.29/518.02 c #Conflicts: 251000 | #Constraints: 14826
516.29/518.02 c #Conflicts: 252000 | #Constraints: 15826
516.29/518.02 c #Conflicts: 253000 | #Constraints: 16826
516.29/518.02 c #Conflicts: 254000 | #Constraints: 17826
516.29/518.02 c #Conflicts: 255000 | #Constraints: 18826
516.29/518.02 c #Conflicts: 256000 | #Constraints: 19826
516.29/518.02 c INPROCESSING
516.29/518.02 c GARBAGE COLLECT
516.29/518.02 c #Conflicts: 257000 | #Constraints: 10825
516.29/518.02 c #Conflicts: 258000 | #Constraints: 11825
516.29/518.02 c #Conflicts: 259000 | #Constraints: 12825
516.29/518.02 c #Conflicts: 260000 | #Constraints: 13825
516.29/518.02 c #Conflicts: 261000 | #Constraints: 14825
516.29/518.02 c #Conflicts: 262000 | #Constraints: 15825
516.29/518.02 c #Conflicts: 263000 | #Constraints: 16825
516.29/518.02 c #Conflicts: 264000 | #Constraints: 17825
516.29/518.02 c #Conflicts: 265000 | #Constraints: 18825
516.29/518.02 c #Conflicts: 266000 | #Constraints: 19825
516.29/518.02 c INPROCESSING
516.29/518.02 c GARBAGE COLLECT
516.29/518.02 c #Conflicts: 267000 | #Constraints: 10626
516.29/518.02 c #Conflicts: 268000 | #Constraints: 11626
516.29/518.02 c #Conflicts: 269000 | #Constraints: 12626
516.29/518.02 c #Conflicts: 270000 | #Constraints: 13626
516.29/518.02 c #Conflicts: 271000 | #Constraints: 14626
516.29/518.02 c #Conflicts: 272000 | #Constraints: 15626
516.29/518.02 c #Conflicts: 273000 | #Constraints: 16626
516.29/518.02 c #Conflicts: 274000 | #Constraints: 17626
516.29/518.02 c #Conflicts: 275000 | #Constraints: 18626
516.29/518.02 c #Conflicts: 276000 | #Constraints: 19626
516.29/518.02 c #Conflicts: 277000 | #Constraints: 20626
516.29/518.02 c INPROCESSING
516.29/518.02 c GARBAGE COLLECT
516.29/518.02 c #Conflicts: 278000 | #Constraints: 11224
516.29/518.02 c #Conflicts: 279000 | #Constraints: 12224
516.29/518.02 c #Conflicts: 280000 | #Constraints: 13224
516.29/518.02 c #Conflicts: 281000 | #Constraints: 14224
516.29/518.02 c #Conflicts: 282000 | #Constraints: 15224
516.29/518.02 c #Conflicts: 283000 | #Constraints: 16224
516.29/518.02 c #Conflicts: 284000 | #Constraints: 17224
516.29/518.02 c #Conflicts: 285000 | #Constraints: 18224
516.29/518.02 c #Conflicts: 286000 | #Constraints: 19224
516.29/518.02 c #Conflicts: 287000 | #Constraints: 20224
516.29/518.02 c #Conflicts: 288000 | #Constraints: 21224
606.17/608.19 c INPROCESSING
606.17/608.19 c GARBAGE COLLECT
606.17/608.19 c #Conflicts: 289000 | #Constraints: 11624
606.17/608.19 c #Conflicts: 290000 | #Constraints: 12624
606.17/608.19 c #Conflicts: 291000 | #Constraints: 13624
606.17/608.19 c #Conflicts: 292000 | #Constraints: 14624
606.17/608.19 c #Conflicts: 293000 | #Constraints: 15624
606.17/608.19 c #Conflicts: 294000 | #Constraints: 16624
606.17/608.19 c #Conflicts: 295000 | #Constraints: 17624
606.17/608.19 c #Conflicts: 296000 | #Constraints: 18624
606.17/608.19 c #Conflicts: 297000 | #Constraints: 19624
606.17/608.19 c #Conflicts: 298000 | #Constraints: 20624
606.17/608.19 c #Conflicts: 299000 | #Constraints: 21624
606.17/608.19 c INPROCESSING
606.17/608.19 c GARBAGE COLLECT
606.17/608.19 c #Conflicts: 300000 | #Constraints: 11822
606.17/608.19 c #Conflicts: 301000 | #Constraints: 12822
606.17/608.19 c #Conflicts: 302000 | #Constraints: 13822
606.17/608.19 c #Conflicts: 303000 | #Constraints: 14822
606.17/608.19 c #Conflicts: 304000 | #Constraints: 15822
606.17/608.19 c #Conflicts: 305000 | #Constraints: 16822
606.17/608.19 c #Conflicts: 306000 | #Constraints: 17822
606.17/608.19 c #Conflicts: 307000 | #Constraints: 18822
606.17/608.19 c #Conflicts: 308000 | #Constraints: 19822
606.17/608.19 c #Conflicts: 309000 | #Constraints: 20822
606.17/608.19 c #Conflicts: 310000 | #Constraints: 21822
606.17/608.19 c INPROCESSING
606.17/608.19 c GARBAGE COLLECT
606.17/608.19 c #Conflicts: 311000 | #Constraints: 11822
606.17/608.19 c #Conflicts: 312000 | #Constraints: 12822
606.17/608.19 c #Conflicts: 313000 | #Constraints: 13822
606.17/608.19 c #Conflicts: 314000 | #Constraints: 14822
606.17/608.19 c #Conflicts: 315000 | #Constraints: 15822
606.17/608.19 c #Conflicts: 316000 | #Constraints: 16822
606.17/608.19 c #Conflicts: 317000 | #Constraints: 17822
606.17/608.19 c #Conflicts: 318000 | #Constraints: 18822
606.17/608.19 c #Conflicts: 319000 | #Constraints: 19822
606.17/608.19 c #Conflicts: 320000 | #Constraints: 20822
606.17/608.19 c #Conflicts: 321000 | #Constraints: 21822
606.17/608.19 c INPROCESSING
606.17/608.19 c GARBAGE COLLECT
606.17/608.19 c #Conflicts: 322000 | #Constraints: 11622
606.17/608.19 c #Conflicts: 323000 | #Constraints: 12622
606.17/608.19 c #Conflicts: 324000 | #Constraints: 13622
606.17/608.19 c #Conflicts: 325000 | #Constraints: 14622
606.17/608.19 c #Conflicts: 326000 | #Constraints: 15622
606.17/608.19 c #Conflicts: 327000 | #Constraints: 16622
606.17/608.19 c #Conflicts: 328000 | #Constraints: 17622
606.17/608.19 c #Conflicts: 329000 | #Constraints: 18622
606.17/608.19 c #Conflicts: 330000 | #Constraints: 19622
606.17/608.19 c #Conflicts: 331000 | #Constraints: 20622
606.17/608.19 c #Conflicts: 332000 | #Constraints: 21622
606.17/608.19 c #Conflicts: 333000 | #Constraints: 22622
606.17/608.19 c INPROCESSING
606.17/608.19 c GARBAGE COLLECT
606.17/608.19 c #Conflicts: 334000 | #Constraints: 12222
606.17/608.19 c #Conflicts: 335000 | #Constraints: 13222
606.17/608.19 c #Conflicts: 336000 | #Constraints: 14222
606.17/608.19 c #Conflicts: 337000 | #Constraints: 15222
606.17/608.19 c #Conflicts: 338000 | #Constraints: 16222
606.17/608.19 c #Conflicts: 339000 | #Constraints: 17222
606.17/608.19 c #Conflicts: 340000 | #Constraints: 18222
606.17/608.19 c #Conflicts: 341000 | #Constraints: 19222
606.17/608.19 c #Conflicts: 342000 | #Constraints: 20222
606.17/608.19 c #Conflicts: 343000 | #Constraints: 21222
606.17/608.19 c #Conflicts: 344000 | #Constraints: 22222
606.17/608.19 c #Conflicts: 345000 | #Constraints: 23222
606.17/608.19 c INPROCESSING
606.17/608.19 c GARBAGE COLLECT
606.17/608.19 c #Conflicts: 346000 | #Constraints: 12621
606.17/608.19 c #Conflicts: 347000 | #Constraints: 13621
606.17/608.19 c #Conflicts: 348000 | #Constraints: 14621
606.17/608.19 c #Conflicts: 349000 | #Constraints: 15621
606.17/608.19 c #Conflicts: 350000 | #Constraints: 16621
606.17/608.19 c #Conflicts: 351000 | #Constraints: 17621
606.17/608.19 c #Conflicts: 352000 | #Constraints: 18621
606.17/608.19 c #Conflicts: 353000 | #Constraints: 19621
606.17/608.19 c #Conflicts: 354000 | #Constraints: 20621
606.17/608.19 c #Conflicts: 355000 | #Constraints: 21621
606.17/608.19 c #Conflicts: 356000 | #Constraints: 22621
606.17/608.19 c #Conflicts: 357000 | #Constraints: 23621
606.17/608.19 c INPROCESSING
606.17/608.19 c GARBAGE COLLECT
606.17/608.19 c #Conflicts: 358000 | #Constraints: 12821
606.17/608.19 c #Conflicts: 359000 | #Constraints: 13821
606.17/608.19 c #Conflicts: 360000 | #Constraints: 14821
606.17/608.19 c #Conflicts: 361000 | #Constraints: 15821
606.17/608.19 c #Conflicts: 362000 | #Constraints: 16821
708.50/710.75 c #Conflicts: 363000 | #Constraints: 17821
708.50/710.75 c #Conflicts: 364000 | #Constraints: 18821
708.50/710.75 c #Conflicts: 365000 | #Constraints: 19821
708.50/710.75 c #Conflicts: 366000 | #Constraints: 20821
708.50/710.75 c #Conflicts: 367000 | #Constraints: 21821
708.50/710.75 c #Conflicts: 368000 | #Constraints: 22821
708.50/710.75 c #Conflicts: 369000 | #Constraints: 23821
708.50/710.75 c INPROCESSING
708.50/710.75 c GARBAGE COLLECT
708.50/710.75 c #Conflicts: 370000 | #Constraints: 12823
708.50/710.75 c #Conflicts: 371000 | #Constraints: 13823
708.50/710.75 c #Conflicts: 372000 | #Constraints: 14823
708.50/710.75 c #Conflicts: 373000 | #Constraints: 15823
708.50/710.75 c #Conflicts: 374000 | #Constraints: 16823
708.50/710.75 c #Conflicts: 375000 | #Constraints: 17823
708.50/710.75 c #Conflicts: 376000 | #Constraints: 18823
708.50/710.75 c #Conflicts: 377000 | #Constraints: 19823
708.50/710.75 c #Conflicts: 378000 | #Constraints: 20823
708.50/710.75 c #Conflicts: 379000 | #Constraints: 21823
708.50/710.75 c #Conflicts: 380000 | #Constraints: 22823
708.50/710.75 c #Conflicts: 381000 | #Constraints: 23823
708.50/710.75 c INPROCESSING
708.50/710.75 c GARBAGE COLLECT
708.50/710.75 c #Conflicts: 382000 | #Constraints: 12624
708.50/710.75 c #Conflicts: 383000 | #Constraints: 13624
708.50/710.75 c #Conflicts: 384000 | #Constraints: 14624
708.50/710.75 c #Conflicts: 385000 | #Constraints: 15624
708.50/710.75 c #Conflicts: 386000 | #Constraints: 16624
708.50/710.75 c #Conflicts: 387000 | #Constraints: 17624
708.50/710.75 c #Conflicts: 388000 | #Constraints: 18624
708.50/710.75 c #Conflicts: 389000 | #Constraints: 19624
708.50/710.75 c #Conflicts: 390000 | #Constraints: 20624
708.50/710.75 c #Conflicts: 391000 | #Constraints: 21624
708.50/710.75 c #Conflicts: 392000 | #Constraints: 22624
708.50/710.75 c #Conflicts: 393000 | #Constraints: 23624
708.50/710.75 c #Conflicts: 394000 | #Constraints: 24624
708.50/710.75 c INPROCESSING
708.50/710.75 c GARBAGE COLLECT
708.50/710.75 c #Conflicts: 395000 | #Constraints: 13222
708.50/710.75 c #Conflicts: 396000 | #Constraints: 14222
708.50/710.75 c #Conflicts: 397000 | #Constraints: 15222
708.50/710.75 c #Conflicts: 398000 | #Constraints: 16222
708.50/710.75 c #Conflicts: 399000 | #Constraints: 17222
708.50/710.75 c #Conflicts: 400000 | #Constraints: 18222
708.50/710.75 c #Conflicts: 401000 | #Constraints: 19222
708.50/710.75 c #Conflicts: 402000 | #Constraints: 20222
708.50/710.75 c #Conflicts: 403000 | #Constraints: 21222
708.50/710.75 c #Conflicts: 404000 | #Constraints: 22222
708.50/710.75 c #Conflicts: 405000 | #Constraints: 23222
708.50/710.75 c #Conflicts: 406000 | #Constraints: 24222
708.50/710.75 c #Conflicts: 407000 | #Constraints: 25222
708.50/710.75 c INPROCESSING
708.50/710.75 c GARBAGE COLLECT
708.50/710.75 c #Conflicts: 408000 | #Constraints: 13625
708.50/710.75 c #Conflicts: 409000 | #Constraints: 14625
708.50/710.75 c #Conflicts: 410000 | #Constraints: 15625
708.50/710.75 c #Conflicts: 411000 | #Constraints: 16625
708.50/710.75 c #Conflicts: 412000 | #Constraints: 17625
708.50/710.75 c #Conflicts: 413000 | #Constraints: 18625
708.50/710.75 c #Conflicts: 414000 | #Constraints: 19625
708.50/710.75 c #Conflicts: 415000 | #Constraints: 20625
708.50/710.75 c #Conflicts: 416000 | #Constraints: 21625
708.50/710.75 c #Conflicts: 417000 | #Constraints: 22625
708.50/710.75 c #Conflicts: 418000 | #Constraints: 23625
708.50/710.75 c #Conflicts: 419000 | #Constraints: 24625
708.50/710.75 c #Conflicts: 420000 | #Constraints: 25625
708.50/710.75 c INPROCESSING
708.50/710.75 c GARBAGE COLLECT
708.50/710.75 c #Conflicts: 421000 | #Constraints: 13826
708.50/710.75 c #Conflicts: 422000 | #Constraints: 14826
708.50/710.75 c #Conflicts: 423000 | #Constraints: 15826
708.50/710.75 c #Conflicts: 424000 | #Constraints: 16826
708.50/710.75 c #Conflicts: 425000 | #Constraints: 17826
708.50/710.75 c #Conflicts: 426000 | #Constraints: 18826
708.50/710.75 c #Conflicts: 427000 | #Constraints: 19826
708.50/710.75 c #Conflicts: 428000 | #Constraints: 20826
708.50/710.75 c #Conflicts: 429000 | #Constraints: 21826
708.50/710.75 c #Conflicts: 430000 | #Constraints: 22826
708.50/710.75 c #Conflicts: 431000 | #Constraints: 23826
708.50/710.75 c #Conflicts: 432000 | #Constraints: 24826
708.50/710.75 c #Conflicts: 433000 | #Constraints: 25826
708.50/710.75 c INPROCESSING
708.50/710.75 c GARBAGE COLLECT
708.50/710.75 c #Conflicts: 434000 | #Constraints: 13823
708.50/710.75 c #Conflicts: 435000 | #Constraints: 14823
708.50/710.75 c #Conflicts: 436000 | #Constraints: 15823
708.50/710.75 c #Conflicts: 437000 | #Constraints: 16823
824.09/826.60 c #Conflicts: 438000 | #Constraints: 17823
824.09/826.60 c #Conflicts: 439000 | #Constraints: 18823
824.09/826.60 c #Conflicts: 440000 | #Constraints: 19823
824.09/826.60 c #Conflicts: 441000 | #Constraints: 20823
824.09/826.60 c #Conflicts: 442000 | #Constraints: 21823
824.09/826.60 c #Conflicts: 443000 | #Constraints: 22823
824.09/826.60 c #Conflicts: 444000 | #Constraints: 23823
824.09/826.60 c #Conflicts: 445000 | #Constraints: 24823
824.09/826.60 c #Conflicts: 446000 | #Constraints: 25823
824.09/826.60 c INPROCESSING
824.09/826.60 c GARBAGE COLLECT
824.09/826.60 c #Conflicts: 447000 | #Constraints: 13625
824.09/826.60 c #Conflicts: 448000 | #Constraints: 14625
824.09/826.60 c #Conflicts: 449000 | #Constraints: 15625
824.09/826.60 c #Conflicts: 450000 | #Constraints: 16625
824.09/826.60 c #Conflicts: 451000 | #Constraints: 17625
824.09/826.60 c #Conflicts: 452000 | #Constraints: 18625
824.09/826.60 c #Conflicts: 453000 | #Constraints: 19625
824.09/826.60 c #Conflicts: 454000 | #Constraints: 20625
824.09/826.60 c #Conflicts: 455000 | #Constraints: 21625
824.09/826.60 c #Conflicts: 456000 | #Constraints: 22625
824.09/826.60 c #Conflicts: 457000 | #Constraints: 23625
824.09/826.60 c #Conflicts: 458000 | #Constraints: 24625
824.09/826.60 c #Conflicts: 459000 | #Constraints: 25625
824.09/826.60 c #Conflicts: 460000 | #Constraints: 26625
824.09/826.60 c INPROCESSING
824.09/826.60 c GARBAGE COLLECT
824.09/826.60 c #Conflicts: 461000 | #Constraints: 14225
824.09/826.60 c #Conflicts: 462000 | #Constraints: 15225
824.09/826.60 c #Conflicts: 463000 | #Constraints: 16225
824.09/826.60 c #Conflicts: 464000 | #Constraints: 17225
824.09/826.60 c #Conflicts: 465000 | #Constraints: 18225
824.09/826.60 c #Conflicts: 466000 | #Constraints: 19225
824.09/826.60 c #Conflicts: 467000 | #Constraints: 20225
824.09/826.60 c #Conflicts: 468000 | #Constraints: 21225
824.09/826.60 c #Conflicts: 469000 | #Constraints: 22225
824.09/826.60 c #Conflicts: 470000 | #Constraints: 23225
824.09/826.60 c #Conflicts: 471000 | #Constraints: 24225
824.09/826.60 c #Conflicts: 472000 | #Constraints: 25225
824.09/826.60 c #Conflicts: 473000 | #Constraints: 26225
824.09/826.60 c #Conflicts: 474000 | #Constraints: 27225
824.09/826.60 c INPROCESSING
824.09/826.60 c GARBAGE COLLECT
824.09/826.60 c #Conflicts: 475000 | #Constraints: 14628
824.09/826.60 c #Conflicts: 476000 | #Constraints: 15628
824.09/826.60 c #Conflicts: 477000 | #Constraints: 16628
824.09/826.60 c #Conflicts: 478000 | #Constraints: 17628
824.09/826.60 c #Conflicts: 479000 | #Constraints: 18628
824.09/826.60 c #Conflicts: 480000 | #Constraints: 19628
824.09/826.60 c #Conflicts: 481000 | #Constraints: 20628
824.09/826.60 c #Conflicts: 482000 | #Constraints: 21628
824.09/826.60 c #Conflicts: 483000 | #Constraints: 22628
824.09/826.60 c #Conflicts: 484000 | #Constraints: 23628
824.09/826.60 c #Conflicts: 485000 | #Constraints: 24628
824.09/826.60 c #Conflicts: 486000 | #Constraints: 25628
824.09/826.60 c #Conflicts: 487000 | #Constraints: 26628
824.09/826.60 c #Conflicts: 488000 | #Constraints: 27628
824.09/826.60 c INPROCESSING
824.09/826.60 c GARBAGE COLLECT
824.09/826.60 c #Conflicts: 489000 | #Constraints: 14827
824.09/826.60 c #Conflicts: 490000 | #Constraints: 15827
824.09/826.60 c #Conflicts: 491000 | #Constraints: 16827
824.09/826.60 c #Conflicts: 492000 | #Constraints: 17827
824.09/826.60 c #Conflicts: 493000 | #Constraints: 18827
824.09/826.60 c #Conflicts: 494000 | #Constraints: 19827
824.09/826.60 c #Conflicts: 495000 | #Constraints: 20827
824.09/826.60 c #Conflicts: 496000 | #Constraints: 21827
824.09/826.60 c #Conflicts: 497000 | #Constraints: 22827
824.09/826.60 c #Conflicts: 498000 | #Constraints: 23827
824.09/826.60 c #Conflicts: 499000 | #Constraints: 24827
824.09/826.60 c #Conflicts: 500000 | #Constraints: 25827
824.09/826.60 c #Conflicts: 501000 | #Constraints: 26827
824.09/826.60 c #Conflicts: 502000 | #Constraints: 27827
824.09/826.60 c INPROCESSING
824.09/826.60 c GARBAGE COLLECT
824.09/826.60 c #Conflicts: 503000 | #Constraints: 14828
824.09/826.60 c #Conflicts: 504000 | #Constraints: 15828
824.09/826.60 c #Conflicts: 505000 | #Constraints: 16828
824.09/826.60 c #Conflicts: 506000 | #Constraints: 17828
824.09/826.60 c #Conflicts: 507000 | #Constraints: 18828
824.09/826.60 c #Conflicts: 508000 | #Constraints: 19828
824.09/826.60 c #Conflicts: 509000 | #Constraints: 20828
824.09/826.60 c #Conflicts: 510000 | #Constraints: 21828
824.09/826.60 c #Conflicts: 511000 | #Constraints: 22828
824.09/826.60 c #Conflicts: 512000 | #Constraints: 23828
824.09/826.60 c #Conflicts: 513000 | #Constraints: 24828
942.47/945.30 c #Conflicts: 514000 | #Constraints: 25828
942.47/945.30 c #Conflicts: 515000 | #Constraints: 26828
942.47/945.30 c #Conflicts: 516000 | #Constraints: 27828
942.47/945.30 c INPROCESSING
942.47/945.30 c GARBAGE COLLECT
942.47/945.30 c #Conflicts: 517000 | #Constraints: 14626
942.47/945.30 c #Conflicts: 518000 | #Constraints: 15626
942.47/945.30 c #Conflicts: 519000 | #Constraints: 16626
942.47/945.30 c #Conflicts: 520000 | #Constraints: 17626
942.47/945.30 c #Conflicts: 521000 | #Constraints: 18626
942.47/945.30 c #Conflicts: 522000 | #Constraints: 19626
942.47/945.30 c #Conflicts: 523000 | #Constraints: 20626
942.47/945.30 c #Conflicts: 524000 | #Constraints: 21626
942.47/945.30 c #Conflicts: 525000 | #Constraints: 22626
942.47/945.30 c #Conflicts: 526000 | #Constraints: 23626
942.47/945.30 c #Conflicts: 527000 | #Constraints: 24626
942.47/945.30 c #Conflicts: 528000 | #Constraints: 25626
942.47/945.30 c #Conflicts: 529000 | #Constraints: 26626
942.47/945.30 c #Conflicts: 530000 | #Constraints: 27626
942.47/945.30 c #Conflicts: 531000 | #Constraints: 28626
942.47/945.30 c INPROCESSING
942.47/945.30 c GARBAGE COLLECT
942.47/945.30 c #Conflicts: 532000 | #Constraints: 15230
942.47/945.30 c #Conflicts: 533000 | #Constraints: 16230
942.47/945.30 c #Conflicts: 534000 | #Constraints: 17230
942.47/945.30 c #Conflicts: 535000 | #Constraints: 18230
942.47/945.30 c #Conflicts: 536000 | #Constraints: 19230
942.47/945.30 c #Conflicts: 537000 | #Constraints: 20230
942.47/945.30 c #Conflicts: 538000 | #Constraints: 21230
942.47/945.30 c #Conflicts: 539000 | #Constraints: 22230
942.47/945.30 c #Conflicts: 540000 | #Constraints: 23230
942.47/945.30 c #Conflicts: 541000 | #Constraints: 24230
942.47/945.30 c #Conflicts: 542000 | #Constraints: 25230
942.47/945.30 c #Conflicts: 543000 | #Constraints: 26230
942.47/945.30 c #Conflicts: 544000 | #Constraints: 27230
942.47/945.30 c #Conflicts: 545000 | #Constraints: 28230
942.47/945.30 c #Conflicts: 546000 | #Constraints: 29230
942.47/945.30 c INPROCESSING
942.47/945.30 c GARBAGE COLLECT
942.47/945.30 c #Conflicts: 547000 | #Constraints: 15626
942.47/945.30 c #Conflicts: 548000 | #Constraints: 16626
942.47/945.30 c #Conflicts: 549000 | #Constraints: 17626
942.47/945.30 c #Conflicts: 550000 | #Constraints: 18626
942.47/945.30 c #Conflicts: 551000 | #Constraints: 19626
942.47/945.30 c #Conflicts: 552000 | #Constraints: 20626
942.47/945.30 c #Conflicts: 553000 | #Constraints: 21626
942.47/945.30 c #Conflicts: 554000 | #Constraints: 22626
942.47/945.30 c #Conflicts: 555000 | #Constraints: 23626
942.47/945.30 c #Conflicts: 556000 | #Constraints: 24626
942.47/945.30 c #Conflicts: 557000 | #Constraints: 25626
942.47/945.30 c #Conflicts: 558000 | #Constraints: 26626
942.47/945.30 c #Conflicts: 559000 | #Constraints: 27626
942.47/945.30 c #Conflicts: 560000 | #Constraints: 28626
942.47/945.30 c #Conflicts: 561000 | #Constraints: 29626
942.47/945.30 c INPROCESSING
942.47/945.30 c GARBAGE COLLECT
942.47/945.30 c #Conflicts: 562000 | #Constraints: 15825
942.47/945.30 c #Conflicts: 563000 | #Constraints: 16825
942.47/945.30 c #Conflicts: 564000 | #Constraints: 17825
942.47/945.30 c #Conflicts: 565000 | #Constraints: 18825
942.47/945.30 c #Conflicts: 566000 | #Constraints: 19825
942.47/945.30 c #Conflicts: 567000 | #Constraints: 20825
942.47/945.30 c #Conflicts: 568000 | #Constraints: 21825
942.47/945.30 c #Conflicts: 569000 | #Constraints: 22825
942.47/945.30 c #Conflicts: 570000 | #Constraints: 23825
942.47/945.30 c #Conflicts: 571000 | #Constraints: 24825
942.47/945.30 c #Conflicts: 572000 | #Constraints: 25825
942.47/945.30 c #Conflicts: 573000 | #Constraints: 26825
942.47/945.30 c #Conflicts: 574000 | #Constraints: 27825
942.47/945.30 c #Conflicts: 575000 | #Constraints: 28825
942.47/945.30 c #Conflicts: 576000 | #Constraints: 29825
942.47/945.30 c INPROCESSING
942.47/945.30 c GARBAGE COLLECT
942.47/945.30 c #Conflicts: 577000 | #Constraints: 15826
942.47/945.30 c #Conflicts: 578000 | #Constraints: 16826
942.47/945.30 c #Conflicts: 579000 | #Constraints: 17826
942.47/945.30 c #Conflicts: 580000 | #Constraints: 18826
942.47/945.30 c #Conflicts: 581000 | #Constraints: 19826
942.47/945.30 c #Conflicts: 582000 | #Constraints: 20826
942.47/945.30 c #Conflicts: 583000 | #Constraints: 21826
942.47/945.30 c #Conflicts: 584000 | #Constraints: 22826
942.47/945.30 c #Conflicts: 585000 | #Constraints: 23826
942.47/945.30 c #Conflicts: 586000 | #Constraints: 24826
942.47/945.30 c #Conflicts: 587000 | #Constraints: 25826
942.47/945.30 c #Conflicts: 588000 | #Constraints: 26826
1073.20/1076.48 c #Conflicts: 589000 | #Constraints: 27826
1073.20/1076.48 c #Conflicts: 590000 | #Constraints: 28826
1073.20/1076.48 c #Conflicts: 591000 | #Constraints: 29826
1073.20/1076.48 c INPROCESSING
1073.20/1076.48 c GARBAGE COLLECT
1073.20/1076.48 c #Conflicts: 592000 | #Constraints: 15623
1073.20/1076.48 c #Conflicts: 593000 | #Constraints: 16623
1073.20/1076.48 c #Conflicts: 594000 | #Constraints: 17623
1073.20/1076.48 c #Conflicts: 595000 | #Constraints: 18623
1073.20/1076.48 c #Conflicts: 596000 | #Constraints: 19623
1073.20/1076.48 c #Conflicts: 597000 | #Constraints: 20623
1073.20/1076.48 c #Conflicts: 598000 | #Constraints: 21623
1073.20/1076.48 c #Conflicts: 599000 | #Constraints: 22623
1073.20/1076.48 c #Conflicts: 600000 | #Constraints: 23623
1073.20/1076.48 c #Conflicts: 601000 | #Constraints: 24623
1073.20/1076.48 c #Conflicts: 602000 | #Constraints: 25623
1073.20/1076.48 c #Conflicts: 603000 | #Constraints: 26623
1073.20/1076.48 c #Conflicts: 604000 | #Constraints: 27623
1073.20/1076.48 c #Conflicts: 605000 | #Constraints: 28623
1073.20/1076.48 c #Conflicts: 606000 | #Constraints: 29623
1073.20/1076.48 c #Conflicts: 607000 | #Constraints: 30623
1073.20/1076.48 c INPROCESSING
1073.20/1076.48 c GARBAGE COLLECT
1073.20/1076.48 c #Conflicts: 608000 | #Constraints: 16226
1073.20/1076.48 c #Conflicts: 609000 | #Constraints: 17226
1073.20/1076.48 c #Conflicts: 610000 | #Constraints: 18226
1073.20/1076.48 c #Conflicts: 611000 | #Constraints: 19226
1073.20/1076.48 c #Conflicts: 612000 | #Constraints: 20226
1073.20/1076.48 c #Conflicts: 613000 | #Constraints: 21226
1073.20/1076.48 c #Conflicts: 614000 | #Constraints: 22226
1073.20/1076.48 c #Conflicts: 615000 | #Constraints: 23226
1073.20/1076.48 c #Conflicts: 616000 | #Constraints: 24226
1073.20/1076.48 c #Conflicts: 617000 | #Constraints: 25226
1073.20/1076.48 c #Conflicts: 618000 | #Constraints: 26226
1073.20/1076.48 c #Conflicts: 619000 | #Constraints: 27226
1073.20/1076.48 c #Conflicts: 620000 | #Constraints: 28226
1073.20/1076.48 c #Conflicts: 621000 | #Constraints: 29226
1073.20/1076.48 c #Conflicts: 622000 | #Constraints: 30226
1073.20/1076.48 c #Conflicts: 623000 | #Constraints: 31226
1073.20/1076.48 c INPROCESSING
1073.20/1076.48 c GARBAGE COLLECT
1073.20/1076.48 c #Conflicts: 624000 | #Constraints: 16626
1073.20/1076.48 c #Conflicts: 625000 | #Constraints: 17626
1073.20/1076.48 c #Conflicts: 626000 | #Constraints: 18626
1073.20/1076.48 c #Conflicts: 627000 | #Constraints: 19626
1073.20/1076.48 c #Conflicts: 628000 | #Constraints: 20626
1073.20/1076.48 c #Conflicts: 629000 | #Constraints: 21626
1073.20/1076.48 c #Conflicts: 630000 | #Constraints: 22626
1073.20/1076.48 c #Conflicts: 631000 | #Constraints: 23626
1073.20/1076.48 c #Conflicts: 632000 | #Constraints: 24626
1073.20/1076.48 c #Conflicts: 633000 | #Constraints: 25626
1073.20/1076.48 c #Conflicts: 634000 | #Constraints: 26626
1073.20/1076.48 c #Conflicts: 635000 | #Constraints: 27626
1073.20/1076.48 c #Conflicts: 636000 | #Constraints: 28626
1073.20/1076.48 c #Conflicts: 637000 | #Constraints: 29626
1073.20/1076.48 c #Conflicts: 638000 | #Constraints: 30626
1073.20/1076.48 c #Conflicts: 639000 | #Constraints: 31626
1073.20/1076.48 c INPROCESSING
1073.20/1076.48 c GARBAGE COLLECT
1073.20/1076.48 c #Conflicts: 640000 | #Constraints: 16823
1073.20/1076.48 c #Conflicts: 641000 | #Constraints: 17823
1073.20/1076.48 c #Conflicts: 642000 | #Constraints: 18823
1073.20/1076.48 c #Conflicts: 643000 | #Constraints: 19823
1073.20/1076.48 c #Conflicts: 644000 | #Constraints: 20823
1073.20/1076.48 c #Conflicts: 645000 | #Constraints: 21823
1073.20/1076.48 c #Conflicts: 646000 | #Constraints: 22823
1073.20/1076.48 c #Conflicts: 647000 | #Constraints: 23823
1073.20/1076.48 c #Conflicts: 648000 | #Constraints: 24823
1073.20/1076.48 c #Conflicts: 649000 | #Constraints: 25823
1073.20/1076.48 c #Conflicts: 650000 | #Constraints: 26823
1073.20/1076.48 c #Conflicts: 651000 | #Constraints: 27823
1073.20/1076.48 c #Conflicts: 652000 | #Constraints: 28823
1073.20/1076.48 c #Conflicts: 653000 | #Constraints: 29823
1073.20/1076.48 c #Conflicts: 654000 | #Constraints: 30823
1073.20/1076.48 c #Conflicts: 655000 | #Constraints: 31823
1073.20/1076.48 c INPROCESSING
1073.20/1076.48 c GARBAGE COLLECT
1073.20/1076.48 c #Conflicts: 656000 | #Constraints: 16825
1073.20/1076.48 c #Conflicts: 657000 | #Constraints: 17825
1073.20/1076.48 c #Conflicts: 658000 | #Constraints: 18825
1073.20/1076.48 c #Conflicts: 659000 | #Constraints: 19825
1073.20/1076.48 c #Conflicts: 660000 | #Constraints: 20825
1073.20/1076.48 c #Conflicts: 661000 | #Constraints: 21825
1073.20/1076.48 c #Conflicts: 662000 | #Constraints: 22825
1073.20/1076.48 c #Conflicts: 663000 | #Constraints: 23825
1073.20/1076.48 c #Conflicts: 664000 | #Constraints: 24825
1214.56/1218.24 c #Conflicts: 665000 | #Constraints: 25825
1214.56/1218.24 c #Conflicts: 666000 | #Constraints: 26825
1214.56/1218.24 c #Conflicts: 667000 | #Constraints: 27825
1214.56/1218.24 c #Conflicts: 668000 | #Constraints: 28825
1214.56/1218.24 c #Conflicts: 669000 | #Constraints: 29825
1214.56/1218.24 c #Conflicts: 670000 | #Constraints: 30825
1214.56/1218.24 c #Conflicts: 671000 | #Constraints: 31825
1214.56/1218.24 c INPROCESSING
1214.56/1218.24 c GARBAGE COLLECT
1214.56/1218.24 c #Conflicts: 672000 | #Constraints: 16625
1214.56/1218.24 c #Conflicts: 673000 | #Constraints: 17625
1214.56/1218.24 c #Conflicts: 674000 | #Constraints: 18625
1214.56/1218.24 c #Conflicts: 675000 | #Constraints: 19625
1214.56/1218.24 c #Conflicts: 676000 | #Constraints: 20625
1214.56/1218.24 c #Conflicts: 677000 | #Constraints: 21625
1214.56/1218.24 c #Conflicts: 678000 | #Constraints: 22625
1214.56/1218.24 c #Conflicts: 679000 | #Constraints: 23625
1214.56/1218.24 c #Conflicts: 680000 | #Constraints: 24625
1214.56/1218.24 c #Conflicts: 681000 | #Constraints: 25625
1214.56/1218.24 c #Conflicts: 682000 | #Constraints: 26625
1214.56/1218.24 c #Conflicts: 683000 | #Constraints: 27625
1214.56/1218.24 c #Conflicts: 684000 | #Constraints: 28625
1214.56/1218.24 c #Conflicts: 685000 | #Constraints: 29625
1214.56/1218.24 c #Conflicts: 686000 | #Constraints: 30625
1214.56/1218.24 c #Conflicts: 687000 | #Constraints: 31625
1214.56/1218.24 c #Conflicts: 688000 | #Constraints: 32625
1214.56/1218.24 c INPROCESSING
1214.56/1218.24 c GARBAGE COLLECT
1214.56/1218.24 c #Conflicts: 689000 | #Constraints: 17225
1214.56/1218.24 c #Conflicts: 690000 | #Constraints: 18225
1214.56/1218.24 c #Conflicts: 691000 | #Constraints: 19225
1214.56/1218.24 c #Conflicts: 692000 | #Constraints: 20225
1214.56/1218.24 c #Conflicts: 693000 | #Constraints: 21225
1214.56/1218.24 c #Conflicts: 694000 | #Constraints: 22225
1214.56/1218.24 c #Conflicts: 695000 | #Constraints: 23225
1214.56/1218.24 c #Conflicts: 696000 | #Constraints: 24225
1214.56/1218.24 c #Conflicts: 697000 | #Constraints: 25225
1214.56/1218.24 c #Conflicts: 698000 | #Constraints: 26225
1214.56/1218.24 c #Conflicts: 699000 | #Constraints: 27225
1214.56/1218.24 c #Conflicts: 700000 | #Constraints: 28225
1214.56/1218.24 c #Conflicts: 701000 | #Constraints: 29225
1214.56/1218.24 c #Conflicts: 702000 | #Constraints: 30225
1214.56/1218.24 c #Conflicts: 703000 | #Constraints: 31225
1214.56/1218.24 c #Conflicts: 704000 | #Constraints: 32225
1214.56/1218.24 c #Conflicts: 705000 | #Constraints: 33225
1214.56/1218.24 c INPROCESSING
1214.56/1218.24 c GARBAGE COLLECT
1214.56/1218.24 c #Conflicts: 706000 | #Constraints: 17626
1214.56/1218.24 c #Conflicts: 707000 | #Constraints: 18626
1214.56/1218.24 c #Conflicts: 708000 | #Constraints: 19626
1214.56/1218.24 c #Conflicts: 709000 | #Constraints: 20626
1214.56/1218.24 c #Conflicts: 710000 | #Constraints: 21626
1214.56/1218.24 c #Conflicts: 711000 | #Constraints: 22626
1214.56/1218.24 c #Conflicts: 712000 | #Constraints: 23626
1214.56/1218.24 c #Conflicts: 713000 | #Constraints: 24626
1214.56/1218.24 c #Conflicts: 714000 | #Constraints: 25626
1214.56/1218.24 c #Conflicts: 715000 | #Constraints: 26626
1214.56/1218.24 c #Conflicts: 716000 | #Constraints: 27626
1214.56/1218.24 c #Conflicts: 717000 | #Constraints: 28626
1214.56/1218.24 c #Conflicts: 718000 | #Constraints: 29626
1214.56/1218.24 c #Conflicts: 719000 | #Constraints: 30626
1214.56/1218.24 c #Conflicts: 720000 | #Constraints: 31626
1214.56/1218.24 c #Conflicts: 721000 | #Constraints: 32626
1214.56/1218.24 c #Conflicts: 722000 | #Constraints: 33626
1214.56/1218.24 c INPROCESSING
1214.56/1218.24 c GARBAGE COLLECT
1214.56/1218.24 c #Conflicts: 723000 | #Constraints: 17826
1214.56/1218.24 c #Conflicts: 724000 | #Constraints: 18826
1214.56/1218.24 c #Conflicts: 725000 | #Constraints: 19826
1214.56/1218.24 c #Conflicts: 726000 | #Constraints: 20826
1214.56/1218.24 c #Conflicts: 727000 | #Constraints: 21826
1214.56/1218.24 c #Conflicts: 728000 | #Constraints: 22826
1214.56/1218.24 c #Conflicts: 729000 | #Constraints: 23826
1214.56/1218.24 c #Conflicts: 730000 | #Constraints: 24826
1214.56/1218.24 c #Conflicts: 731000 | #Constraints: 25826
1214.56/1218.24 c #Conflicts: 732000 | #Constraints: 26826
1214.56/1218.24 c #Conflicts: 733000 | #Constraints: 27826
1214.56/1218.24 c #Conflicts: 734000 | #Constraints: 28826
1214.56/1218.24 c #Conflicts: 735000 | #Constraints: 29826
1214.56/1218.24 c #Conflicts: 736000 | #Constraints: 30826
1214.56/1218.24 c #Conflicts: 737000 | #Constraints: 31826
1214.56/1218.24 c #Conflicts: 738000 | #Constraints: 32826
1214.56/1218.24 c #Conflicts: 739000 | #Constraints: 33826
1214.56/1218.24 c INPROCESSING
1214.56/1218.24 c GARBAGE COLLECT
1358.71/1362.73 c #Conflicts: 740000 | #Constraints: 17826
1358.71/1362.73 c #Conflicts: 741000 | #Constraints: 18826
1358.71/1362.73 c #Conflicts: 742000 | #Constraints: 19826
1358.71/1362.73 c #Conflicts: 743000 | #Constraints: 20826
1358.71/1362.73 c #Conflicts: 744000 | #Constraints: 21826
1358.71/1362.73 c #Conflicts: 745000 | #Constraints: 22826
1358.71/1362.73 c #Conflicts: 746000 | #Constraints: 23826
1358.71/1362.73 c #Conflicts: 747000 | #Constraints: 24826
1358.71/1362.73 c #Conflicts: 748000 | #Constraints: 25826
1358.71/1362.73 c #Conflicts: 749000 | #Constraints: 26826
1358.71/1362.73 c #Conflicts: 750000 | #Constraints: 27826
1358.71/1362.73 c #Conflicts: 751000 | #Constraints: 28826
1358.71/1362.73 c #Conflicts: 752000 | #Constraints: 29826
1358.71/1362.73 c #Conflicts: 753000 | #Constraints: 30826
1358.71/1362.73 c #Conflicts: 754000 | #Constraints: 31826
1358.71/1362.73 c #Conflicts: 755000 | #Constraints: 32826
1358.71/1362.73 c #Conflicts: 756000 | #Constraints: 33826
1358.71/1362.73 c INPROCESSING
1358.71/1362.73 c GARBAGE COLLECT
1358.71/1362.73 c #Conflicts: 757000 | #Constraints: 17624
1358.71/1362.73 c #Conflicts: 758000 | #Constraints: 18624
1358.71/1362.73 c #Conflicts: 759000 | #Constraints: 19624
1358.71/1362.73 c #Conflicts: 760000 | #Constraints: 20624
1358.71/1362.73 c #Conflicts: 761000 | #Constraints: 21624
1358.71/1362.73 c #Conflicts: 762000 | #Constraints: 22624
1358.71/1362.73 c #Conflicts: 763000 | #Constraints: 23624
1358.71/1362.73 c #Conflicts: 764000 | #Constraints: 24624
1358.71/1362.73 c #Conflicts: 765000 | #Constraints: 25624
1358.71/1362.73 c #Conflicts: 766000 | #Constraints: 26624
1358.71/1362.73 c #Conflicts: 767000 | #Constraints: 27624
1358.71/1362.73 c #Conflicts: 768000 | #Constraints: 28624
1358.71/1362.73 c #Conflicts: 769000 | #Constraints: 29624
1358.71/1362.73 c #Conflicts: 770000 | #Constraints: 30624
1358.71/1362.73 c #Conflicts: 771000 | #Constraints: 31624
1358.71/1362.73 c #Conflicts: 772000 | #Constraints: 32624
1358.71/1362.73 c #Conflicts: 773000 | #Constraints: 33624
1358.71/1362.73 c #Conflicts: 774000 | #Constraints: 34624
1358.71/1362.73 c INPROCESSING
1358.71/1362.73 c GARBAGE COLLECT
1358.71/1362.73 c #Conflicts: 775000 | #Constraints: 18226
1358.71/1362.73 c #Conflicts: 776000 | #Constraints: 19226
1358.71/1362.73 c #Conflicts: 777000 | #Constraints: 20226
1358.71/1362.73 c #Conflicts: 778000 | #Constraints: 21226
1358.71/1362.73 c #Conflicts: 779000 | #Constraints: 22226
1358.71/1362.73 c #Conflicts: 780000 | #Constraints: 23226
1358.71/1362.73 c #Conflicts: 781000 | #Constraints: 24226
1358.71/1362.73 c #Conflicts: 782000 | #Constraints: 25226
1358.71/1362.73 c #Conflicts: 783000 | #Constraints: 26226
1358.71/1362.73 c #Conflicts: 784000 | #Constraints: 27226
1358.71/1362.73 c #Conflicts: 785000 | #Constraints: 28226
1358.71/1362.73 c #Conflicts: 786000 | #Constraints: 29226
1358.71/1362.73 c #Conflicts: 787000 | #Constraints: 30226
1358.71/1362.73 c #Conflicts: 788000 | #Constraints: 31226
1358.71/1362.73 c #Conflicts: 789000 | #Constraints: 32226
1358.71/1362.73 c #Conflicts: 790000 | #Constraints: 33226
1358.71/1362.73 c #Conflicts: 791000 | #Constraints: 34226
1358.71/1362.73 c #Conflicts: 792000 | #Constraints: 35226
1358.71/1362.73 c INPROCESSING
1358.71/1362.73 c GARBAGE COLLECT
1358.71/1362.73 c #Conflicts: 793000 | #Constraints: 18625
1358.71/1362.73 c #Conflicts: 794000 | #Constraints: 19625
1358.71/1362.73 c #Conflicts: 795000 | #Constraints: 20625
1358.71/1362.73 c #Conflicts: 796000 | #Constraints: 21625
1358.71/1362.73 c #Conflicts: 797000 | #Constraints: 22625
1358.71/1362.73 c #Conflicts: 798000 | #Constraints: 23625
1358.71/1362.73 c #Conflicts: 799000 | #Constraints: 24625
1358.71/1362.73 c #Conflicts: 800000 | #Constraints: 25625
1358.71/1362.73 c #Conflicts: 801000 | #Constraints: 26625
1358.71/1362.73 c #Conflicts: 802000 | #Constraints: 27625
1358.71/1362.73 c #Conflicts: 803000 | #Constraints: 28625
1358.71/1362.73 c #Conflicts: 804000 | #Constraints: 29625
1358.71/1362.73 c #Conflicts: 805000 | #Constraints: 30625
1358.71/1362.73 c #Conflicts: 806000 | #Constraints: 31625
1358.71/1362.73 c #Conflicts: 807000 | #Constraints: 32625
1358.71/1362.73 c #Conflicts: 808000 | #Constraints: 33625
1358.71/1362.73 c #Conflicts: 809000 | #Constraints: 34625
1358.71/1362.73 c #Conflicts: 810000 | #Constraints: 35625
1358.71/1362.73 c INPROCESSING
1358.71/1362.73 c GARBAGE COLLECT
1358.71/1362.73 c #Conflicts: 811000 | #Constraints: 18827
1358.71/1362.73 c #Conflicts: 812000 | #Constraints: 19827
1358.71/1362.73 c #Conflicts: 813000 | #Constraints: 20827
1358.71/1362.73 c #Conflicts: 814000 | #Constraints: 21827
1358.71/1362.73 c #Conflicts: 815000 | #Constraints: 22827
1358.71/1362.73 c #Conflicts: 816000 | #Constraints: 23827
1513.12/1517.55 c #Conflicts: 817000 | #Constraints: 24827
1513.12/1517.55 c #Conflicts: 818000 | #Constraints: 25827
1513.12/1517.55 c #Conflicts: 819000 | #Constraints: 26827
1513.12/1517.55 c #Conflicts: 820000 | #Constraints: 27827
1513.12/1517.55 c #Conflicts: 821000 | #Constraints: 28827
1513.12/1517.55 c #Conflicts: 822000 | #Constraints: 29827
1513.12/1517.55 c #Conflicts: 823000 | #Constraints: 30827
1513.12/1517.55 c #Conflicts: 824000 | #Constraints: 31827
1513.12/1517.55 c #Conflicts: 825000 | #Constraints: 32827
1513.12/1517.55 c #Conflicts: 826000 | #Constraints: 33827
1513.12/1517.55 c #Conflicts: 827000 | #Constraints: 34827
1513.12/1517.55 c #Conflicts: 828000 | #Constraints: 35827
1513.12/1517.55 c INPROCESSING
1513.12/1517.55 c GARBAGE COLLECT
1513.12/1517.55 c #Conflicts: 829000 | #Constraints: 18826
1513.12/1517.55 c #Conflicts: 830000 | #Constraints: 19826
1513.12/1517.55 c #Conflicts: 831000 | #Constraints: 20826
1513.12/1517.55 c #Conflicts: 832000 | #Constraints: 21826
1513.12/1517.55 c #Conflicts: 833000 | #Constraints: 22826
1513.12/1517.55 c #Conflicts: 834000 | #Constraints: 23826
1513.12/1517.55 c #Conflicts: 835000 | #Constraints: 24826
1513.12/1517.55 c #Conflicts: 836000 | #Constraints: 25826
1513.12/1517.55 c #Conflicts: 837000 | #Constraints: 26826
1513.12/1517.55 c #Conflicts: 838000 | #Constraints: 27826
1513.12/1517.55 c #Conflicts: 839000 | #Constraints: 28826
1513.12/1517.55 c #Conflicts: 840000 | #Constraints: 29826
1513.12/1517.55 c #Conflicts: 841000 | #Constraints: 30826
1513.12/1517.55 c #Conflicts: 842000 | #Constraints: 31826
1513.12/1517.55 c #Conflicts: 843000 | #Constraints: 32826
1513.12/1517.55 c #Conflicts: 844000 | #Constraints: 33826
1513.12/1517.55 c #Conflicts: 845000 | #Constraints: 34826
1513.12/1517.55 c #Conflicts: 846000 | #Constraints: 35826
1513.12/1517.55 c INPROCESSING
1513.12/1517.55 c GARBAGE COLLECT
1513.12/1517.55 c #Conflicts: 847000 | #Constraints: 18623
1513.12/1517.55 c #Conflicts: 848000 | #Constraints: 19623
1513.12/1517.55 c #Conflicts: 849000 | #Constraints: 20623
1513.12/1517.55 c #Conflicts: 850000 | #Constraints: 21623
1513.12/1517.55 c #Conflicts: 851000 | #Constraints: 22623
1513.12/1517.55 c #Conflicts: 852000 | #Constraints: 23623
1513.12/1517.55 c #Conflicts: 853000 | #Constraints: 24623
1513.12/1517.55 c #Conflicts: 854000 | #Constraints: 25623
1513.12/1517.55 c #Conflicts: 855000 | #Constraints: 26623
1513.12/1517.55 c #Conflicts: 856000 | #Constraints: 27623
1513.12/1517.55 c #Conflicts: 857000 | #Constraints: 28623
1513.12/1517.55 c #Conflicts: 858000 | #Constraints: 29623
1513.12/1517.55 c #Conflicts: 859000 | #Constraints: 30623
1513.12/1517.55 c #Conflicts: 860000 | #Constraints: 31623
1513.12/1517.55 c #Conflicts: 861000 | #Constraints: 32623
1513.12/1517.55 c #Conflicts: 862000 | #Constraints: 33623
1513.12/1517.55 c #Conflicts: 863000 | #Constraints: 34623
1513.12/1517.55 c #Conflicts: 864000 | #Constraints: 35623
1513.12/1517.55 c #Conflicts: 865000 | #Constraints: 36623
1513.12/1517.55 c INPROCESSING
1513.12/1517.55 c GARBAGE COLLECT
1513.12/1517.55 c #Conflicts: 866000 | #Constraints: 19224
1513.12/1517.55 c #Conflicts: 867000 | #Constraints: 20224
1513.12/1517.55 c #Conflicts: 868000 | #Constraints: 21224
1513.12/1517.55 c #Conflicts: 869000 | #Constraints: 22224
1513.12/1517.55 c #Conflicts: 870000 | #Constraints: 23224
1513.12/1517.55 c #Conflicts: 871000 | #Constraints: 24224
1513.12/1517.55 c #Conflicts: 872000 | #Constraints: 25224
1513.12/1517.55 c #Conflicts: 873000 | #Constraints: 26224
1513.12/1517.55 c #Conflicts: 874000 | #Constraints: 27224
1513.12/1517.55 c #Conflicts: 875000 | #Constraints: 28224
1513.12/1517.55 c #Conflicts: 876000 | #Constraints: 29224
1513.12/1517.55 c #Conflicts: 877000 | #Constraints: 30224
1513.12/1517.55 c #Conflicts: 878000 | #Constraints: 31224
1513.12/1517.55 c #Conflicts: 879000 | #Constraints: 32224
1513.12/1517.55 c #Conflicts: 880000 | #Constraints: 33224
1513.12/1517.55 c #Conflicts: 881000 | #Constraints: 34224
1513.12/1517.55 c #Conflicts: 882000 | #Constraints: 35224
1513.12/1517.55 c #Conflicts: 883000 | #Constraints: 36224
1513.12/1517.55 c #Conflicts: 884000 | #Constraints: 37224
1513.12/1517.55 c INPROCESSING
1513.12/1517.55 c GARBAGE COLLECT
1513.12/1517.55 c #Conflicts: 885000 | #Constraints: 19625
1513.12/1517.55 c #Conflicts: 886000 | #Constraints: 20625
1513.12/1517.55 c #Conflicts: 887000 | #Constraints: 21625
1513.12/1517.55 c #Conflicts: 888000 | #Constraints: 22625
1513.12/1517.55 c #Conflicts: 889000 | #Constraints: 23625
1513.12/1517.55 c #Conflicts: 890000 | #Constraints: 24625
1513.12/1517.55 c #Conflicts: 891000 | #Constraints: 25625
1513.12/1517.55 c #Conflicts: 892000 | #Constraints: 26625
1674.92/1679.71 c #Conflicts: 893000 | #Constraints: 27625
1674.92/1679.71 c #Conflicts: 894000 | #Constraints: 28625
1674.92/1679.71 c #Conflicts: 895000 | #Constraints: 29625
1674.92/1679.71 c #Conflicts: 896000 | #Constraints: 30625
1674.92/1679.71 c #Conflicts: 897000 | #Constraints: 31625
1674.92/1679.71 c #Conflicts: 898000 | #Constraints: 32625
1674.92/1679.71 c #Conflicts: 899000 | #Constraints: 33625
1674.92/1679.71 c #Conflicts: 900000 | #Constraints: 34625
1674.92/1679.71 c #Conflicts: 901000 | #Constraints: 35625
1674.92/1679.71 c #Conflicts: 902000 | #Constraints: 36625
1674.92/1679.71 c #Conflicts: 903000 | #Constraints: 37625
1674.92/1679.71 c INPROCESSING
1674.92/1679.71 c GARBAGE COLLECT
1674.92/1679.71 c #Conflicts: 904000 | #Constraints: 19823
1674.92/1679.71 c #Conflicts: 905000 | #Constraints: 20823
1674.92/1679.71 c #Conflicts: 906000 | #Constraints: 21823
1674.92/1679.71 c #Conflicts: 907000 | #Constraints: 22823
1674.92/1679.71 c #Conflicts: 908000 | #Constraints: 23823
1674.92/1679.71 c #Conflicts: 909000 | #Constraints: 24823
1674.92/1679.71 c #Conflicts: 910000 | #Constraints: 25823
1674.92/1679.71 c #Conflicts: 911000 | #Constraints: 26823
1674.92/1679.71 c #Conflicts: 912000 | #Constraints: 27823
1674.92/1679.71 c #Conflicts: 913000 | #Constraints: 28823
1674.92/1679.71 c #Conflicts: 914000 | #Constraints: 29823
1674.92/1679.71 c #Conflicts: 915000 | #Constraints: 30823
1674.92/1679.71 c #Conflicts: 916000 | #Constraints: 31823
1674.92/1679.71 c #Conflicts: 917000 | #Constraints: 32823
1674.92/1679.71 c #Conflicts: 918000 | #Constraints: 33823
1674.92/1679.71 c #Conflicts: 919000 | #Constraints: 34823
1674.92/1679.71 c #Conflicts: 920000 | #Constraints: 35823
1674.92/1679.71 c #Conflicts: 921000 | #Constraints: 36823
1674.92/1679.71 c #Conflicts: 922000 | #Constraints: 37823
1674.92/1679.71 c INPROCESSING
1674.92/1679.71 c GARBAGE COLLECT
1674.92/1679.71 c #Conflicts: 923000 | #Constraints: 19823
1674.92/1679.71 c #Conflicts: 924000 | #Constraints: 20823
1674.92/1679.71 c #Conflicts: 925000 | #Constraints: 21823
1674.92/1679.71 c #Conflicts: 926000 | #Constraints: 22823
1674.92/1679.71 c #Conflicts: 927000 | #Constraints: 23823
1674.92/1679.71 c #Conflicts: 928000 | #Constraints: 24823
1674.92/1679.71 c #Conflicts: 929000 | #Constraints: 25823
1674.92/1679.71 c #Conflicts: 930000 | #Constraints: 26823
1674.92/1679.71 c #Conflicts: 931000 | #Constraints: 27823
1674.92/1679.71 c #Conflicts: 932000 | #Constraints: 28823
1674.92/1679.71 c #Conflicts: 933000 | #Constraints: 29823
1674.92/1679.71 c #Conflicts: 934000 | #Constraints: 30823
1674.92/1679.71 c #Conflicts: 935000 | #Constraints: 31823
1674.92/1679.71 c #Conflicts: 936000 | #Constraints: 32823
1674.92/1679.71 c #Conflicts: 937000 | #Constraints: 33823
1674.92/1679.71 c #Conflicts: 938000 | #Constraints: 34823
1674.92/1679.71 c #Conflicts: 939000 | #Constraints: 35823
1674.92/1679.71 c #Conflicts: 940000 | #Constraints: 36823
1674.92/1679.71 c #Conflicts: 941000 | #Constraints: 37823
1674.92/1679.71 c INPROCESSING
1674.92/1679.71 c GARBAGE COLLECT
1674.92/1679.71 c #Conflicts: 942000 | #Constraints: 19625
1674.92/1679.71 c #Conflicts: 943000 | #Constraints: 20625
1674.92/1679.71 c #Conflicts: 944000 | #Constraints: 21625
1674.92/1679.71 c #Conflicts: 945000 | #Constraints: 22625
1674.92/1679.71 c #Conflicts: 946000 | #Constraints: 23625
1674.92/1679.71 c #Conflicts: 947000 | #Constraints: 24625
1674.92/1679.71 c #Conflicts: 948000 | #Constraints: 25625
1674.92/1679.71 c #Conflicts: 949000 | #Constraints: 26625
1674.92/1679.71 c #Conflicts: 950000 | #Constraints: 27625
1674.92/1679.71 c #Conflicts: 951000 | #Constraints: 28625
1674.92/1679.71 c #Conflicts: 952000 | #Constraints: 29625
1674.92/1679.71 c #Conflicts: 953000 | #Constraints: 30625
1674.92/1679.71 c #Conflicts: 954000 | #Constraints: 31625
1674.92/1679.71 c #Conflicts: 955000 | #Constraints: 32625
1674.92/1679.71 c #Conflicts: 956000 | #Constraints: 33625
1674.92/1679.71 c #Conflicts: 957000 | #Constraints: 34625
1674.92/1679.71 c #Conflicts: 958000 | #Constraints: 35625
1674.92/1679.71 c #Conflicts: 959000 | #Constraints: 36625
1674.92/1679.71 c #Conflicts: 960000 | #Constraints: 37625
1674.92/1679.71 c #Conflicts: 961000 | #Constraints: 38625
1674.92/1679.71 c INPROCESSING
1674.92/1679.71 c GARBAGE COLLECT
1674.92/1679.71 c #Conflicts: 962000 | #Constraints: 20227
1674.92/1679.71 c #Conflicts: 963000 | #Constraints: 21227
1674.92/1679.71 c #Conflicts: 964000 | #Constraints: 22227
1674.92/1679.71 c #Conflicts: 965000 | #Constraints: 23227
1674.92/1679.71 c #Conflicts: 966000 | #Constraints: 24227
1674.92/1679.71 c #Conflicts: 967000 | #Constraints: 25227
1674.92/1679.71 c #Conflicts: 968000 | #Constraints: 26227
1860.95/1866.20 c #Conflicts: 969000 | #Constraints: 27227
1860.95/1866.20 c #Conflicts: 970000 | #Constraints: 28227
1860.95/1866.20 c #Conflicts: 971000 | #Constraints: 29227
1860.95/1866.20 c #Conflicts: 972000 | #Constraints: 30227
1860.95/1866.20 c #Conflicts: 973000 | #Constraints: 31227
1860.95/1866.20 c #Conflicts: 974000 | #Constraints: 32227
1860.95/1866.20 c #Conflicts: 975000 | #Constraints: 33227
1860.95/1866.20 c #Conflicts: 976000 | #Constraints: 34227
1860.95/1866.20 c #Conflicts: 977000 | #Constraints: 35227
1860.95/1866.20 c #Conflicts: 978000 | #Constraints: 36227
1860.95/1866.20 c #Conflicts: 979000 | #Constraints: 37227
1860.95/1866.20 c #Conflicts: 980000 | #Constraints: 38227
1860.95/1866.20 c #Conflicts: 981000 | #Constraints: 39227
1860.95/1866.20 c INPROCESSING
1860.95/1866.20 c GARBAGE COLLECT
1860.95/1866.20 c #Conflicts: 982000 | #Constraints: 20626
1860.95/1866.20 c #Conflicts: 983000 | #Constraints: 21626
1860.95/1866.20 c #Conflicts: 984000 | #Constraints: 22626
1860.95/1866.20 c #Conflicts: 985000 | #Constraints: 23626
1860.95/1866.20 c #Conflicts: 986000 | #Constraints: 24626
1860.95/1866.20 c #Conflicts: 987000 | #Constraints: 25626
1860.95/1866.20 c #Conflicts: 988000 | #Constraints: 26626
1860.95/1866.20 c #Conflicts: 989000 | #Constraints: 27626
1860.95/1866.20 c #Conflicts: 990000 | #Constraints: 28626
1860.95/1866.20 c #Conflicts: 991000 | #Constraints: 29626
1860.95/1866.20 c #Conflicts: 992000 | #Constraints: 30626
1860.95/1866.20 c #Conflicts: 993000 | #Constraints: 31626
1860.95/1866.20 c #Conflicts: 994000 | #Constraints: 32626
1860.95/1866.20 c #Conflicts: 995000 | #Constraints: 33626
1860.95/1866.20 c #Conflicts: 996000 | #Constraints: 34626
1860.95/1866.20 c #Conflicts: 997000 | #Constraints: 35626
1860.95/1866.20 c #Conflicts: 998000 | #Constraints: 36626
1860.95/1866.20 c #Conflicts: 999000 | #Constraints: 37626
1860.95/1866.20 c #Conflicts: 1000000 | #Constraints: 38626
1860.95/1866.20 c #Conflicts: 1001000 | #Constraints: 39626
1860.95/1866.20 c INPROCESSING
1860.95/1866.20 c GARBAGE COLLECT
1860.95/1866.20 c #Conflicts: 1002000 | #Constraints: 20826
1860.95/1866.20 c #Conflicts: 1003000 | #Constraints: 21826
1860.95/1866.20 c #Conflicts: 1004000 | #Constraints: 22826
1860.95/1866.20 c #Conflicts: 1005000 | #Constraints: 23826
1860.95/1866.20 c #Conflicts: 1006000 | #Constraints: 24826
1860.95/1866.20 c #Conflicts: 1007000 | #Constraints: 25826
1860.95/1866.20 c #Conflicts: 1008000 | #Constraints: 26826
1860.95/1866.20 c #Conflicts: 1009000 | #Constraints: 27826
1860.95/1866.20 c #Conflicts: 1010000 | #Constraints: 28826
1860.95/1866.20 c #Conflicts: 1011000 | #Constraints: 29826
1860.95/1866.20 c #Conflicts: 1012000 | #Constraints: 30826
1860.95/1866.20 c #Conflicts: 1013000 | #Constraints: 31826
1860.95/1866.20 c #Conflicts: 1014000 | #Constraints: 32826
1860.95/1866.20 c #Conflicts: 1015000 | #Constraints: 33826
1860.95/1866.20 c #Conflicts: 1016000 | #Constraints: 34826
1860.95/1866.20 c #Conflicts: 1017000 | #Constraints: 35826
1860.95/1866.20 c #Conflicts: 1018000 | #Constraints: 36826
1860.95/1866.20 c #Conflicts: 1019000 | #Constraints: 37826
1860.95/1866.20 c #Conflicts: 1020000 | #Constraints: 38826
1860.95/1866.20 c #Conflicts: 1021000 | #Constraints: 39826
1860.95/1866.20 c INPROCESSING
1860.95/1866.20 c GARBAGE COLLECT
1860.95/1866.20 c #Conflicts: 1022000 | #Constraints: 20828
1860.95/1866.20 c #Conflicts: 1023000 | #Constraints: 21828
1860.95/1866.20 c #Conflicts: 1024000 | #Constraints: 22828
1860.95/1866.20 c #Conflicts: 1025000 | #Constraints: 23828
1860.95/1866.20 c #Conflicts: 1026000 | #Constraints: 24828
1860.95/1866.20 c #Conflicts: 1027000 | #Constraints: 25828
1860.95/1866.20 c #Conflicts: 1028000 | #Constraints: 26828
1860.95/1866.20 c #Conflicts: 1029000 | #Constraints: 27828
1860.95/1866.20 c #Conflicts: 1030000 | #Constraints: 28828
1860.95/1866.20 c #Conflicts: 1031000 | #Constraints: 29828
1860.95/1866.20 c #Conflicts: 1032000 | #Constraints: 30828
1860.95/1866.20 c #Conflicts: 1033000 | #Constraints: 31828
1860.95/1866.20 c #Conflicts: 1034000 | #Constraints: 32828
1860.95/1866.20 c #Conflicts: 1035000 | #Constraints: 33828
1860.95/1866.20 c #Conflicts: 1036000 | #Constraints: 34828
1860.95/1866.20 c #Conflicts: 1037000 | #Constraints: 35828
1860.95/1866.20 c #Conflicts: 1038000 | #Constraints: 36828
1860.95/1866.20 c #Conflicts: 1039000 | #Constraints: 37828
1860.95/1866.20 c #Conflicts: 1040000 | #Constraints: 38828
1860.95/1866.20 c #Conflicts: 1041000 | #Constraints: 39828
1860.95/1866.20 c INPROCESSING
1860.95/1866.20 c GARBAGE COLLECT
1860.95/1866.20 c #Conflicts: 1042000 | #Constraints: 20628
1860.95/1866.20 c #Conflicts: 1043000 | #Constraints: 21628
1860.95/1866.20 c #Conflicts: 1044000 | #Constraints: 22628
2075.74/2081.62 c #Conflicts: 1045000 | #Constraints: 23628
2075.74/2081.62 c #Conflicts: 1046000 | #Constraints: 24628
2075.74/2081.62 c #Conflicts: 1047000 | #Constraints: 25628
2075.74/2081.62 c #Conflicts: 1048000 | #Constraints: 26628
2075.74/2081.62 c #Conflicts: 1049000 | #Constraints: 27628
2075.74/2081.62 c #Conflicts: 1050000 | #Constraints: 28628
2075.74/2081.62 c #Conflicts: 1051000 | #Constraints: 29628
2075.74/2081.62 c #Conflicts: 1052000 | #Constraints: 30628
2075.74/2081.62 c #Conflicts: 1053000 | #Constraints: 31628
2075.74/2081.62 c #Conflicts: 1054000 | #Constraints: 32628
2075.74/2081.62 c #Conflicts: 1055000 | #Constraints: 33628
2075.74/2081.62 c #Conflicts: 1056000 | #Constraints: 34628
2075.74/2081.62 c #Conflicts: 1057000 | #Constraints: 35628
2075.74/2081.62 c #Conflicts: 1058000 | #Constraints: 36628
2075.74/2081.62 c #Conflicts: 1059000 | #Constraints: 37628
2075.74/2081.62 c #Conflicts: 1060000 | #Constraints: 38628
2075.74/2081.62 c #Conflicts: 1061000 | #Constraints: 39628
2075.74/2081.62 c #Conflicts: 1062000 | #Constraints: 40628
2075.74/2081.62 c INPROCESSING
2075.74/2081.62 c GARBAGE COLLECT
2075.74/2081.62 c #Conflicts: 1063000 | #Constraints: 21230
2075.74/2081.63 c #Conflicts: 1064000 | #Constraints: 22230
2075.74/2081.63 c #Conflicts: 1065000 | #Constraints: 23230
2075.74/2081.63 c #Conflicts: 1066000 | #Constraints: 24230
2075.74/2081.63 c #Conflicts: 1067000 | #Constraints: 25230
2075.74/2081.63 c #Conflicts: 1068000 | #Constraints: 26230
2075.74/2081.63 c #Conflicts: 1069000 | #Constraints: 27230
2075.74/2081.63 c #Conflicts: 1070000 | #Constraints: 28230
2075.74/2081.63 c #Conflicts: 1071000 | #Constraints: 29230
2075.74/2081.63 c #Conflicts: 1072000 | #Constraints: 30230
2075.74/2081.63 c #Conflicts: 1073000 | #Constraints: 31230
2075.74/2081.63 c #Conflicts: 1074000 | #Constraints: 32230
2075.74/2081.63 c #Conflicts: 1075000 | #Constraints: 33230
2075.74/2081.63 c #Conflicts: 1076000 | #Constraints: 34230
2075.74/2081.63 c #Conflicts: 1077000 | #Constraints: 35230
2075.74/2081.63 c #Conflicts: 1078000 | #Constraints: 36230
2075.74/2081.63 c #Conflicts: 1079000 | #Constraints: 37230
2075.74/2081.63 c #Conflicts: 1080000 | #Constraints: 38230
2075.74/2081.63 c #Conflicts: 1081000 | #Constraints: 39230
2075.74/2081.63 c #Conflicts: 1082000 | #Constraints: 40230
2075.74/2081.63 c #Conflicts: 1083000 | #Constraints: 41230
2075.74/2081.63 c INPROCESSING
2075.74/2081.63 c GARBAGE COLLECT
2075.74/2081.63 c #Conflicts: 1084000 | #Constraints: 21630
2075.74/2081.63 c #Conflicts: 1085000 | #Constraints: 22630
2075.74/2081.63 c #Conflicts: 1086000 | #Constraints: 23630
2075.74/2081.63 c #Conflicts: 1087000 | #Constraints: 24630
2075.74/2081.63 c #Conflicts: 1088000 | #Constraints: 25630
2075.74/2081.63 c #Conflicts: 1089000 | #Constraints: 26630
2075.74/2081.63 c #Conflicts: 1090000 | #Constraints: 27630
2075.74/2081.63 c #Conflicts: 1091000 | #Constraints: 28630
2075.74/2081.63 c #Conflicts: 1092000 | #Constraints: 29630
2075.74/2081.63 c #Conflicts: 1093000 | #Constraints: 30630
2075.74/2081.63 c #Conflicts: 1094000 | #Constraints: 31630
2075.74/2081.63 c #Conflicts: 1095000 | #Constraints: 32630
2075.74/2081.63 c #Conflicts: 1096000 | #Constraints: 33630
2075.74/2081.63 c #Conflicts: 1097000 | #Constraints: 34630
2075.74/2081.63 c #Conflicts: 1098000 | #Constraints: 35630
2075.74/2081.63 c #Conflicts: 1099000 | #Constraints: 36630
2075.74/2081.63 c #Conflicts: 1100000 | #Constraints: 37630
2075.74/2081.63 c #Conflicts: 1101000 | #Constraints: 38630
2075.74/2081.63 c #Conflicts: 1102000 | #Constraints: 39630
2075.74/2081.63 c #Conflicts: 1103000 | #Constraints: 40630
2075.74/2081.63 c #Conflicts: 1104000 | #Constraints: 41630
2075.74/2081.63 c INPROCESSING
2075.74/2081.63 c GARBAGE COLLECT
2075.74/2081.63 c #Conflicts: 1105000 | #Constraints: 21827
2075.74/2081.63 c #Conflicts: 1106000 | #Constraints: 22827
2075.74/2081.63 c #Conflicts: 1107000 | #Constraints: 23827
2075.74/2081.63 c #Conflicts: 1108000 | #Constraints: 24827
2075.74/2081.63 c #Conflicts: 1109000 | #Constraints: 25827
2075.74/2081.63 c #Conflicts: 1110000 | #Constraints: 26827
2075.74/2081.63 c #Conflicts: 1111000 | #Constraints: 27827
2075.74/2081.63 c #Conflicts: 1112000 | #Constraints: 28827
2075.74/2081.63 c #Conflicts: 1113000 | #Constraints: 29827
2075.74/2081.63 c #Conflicts: 1114000 | #Constraints: 30827
2075.74/2081.63 c #Conflicts: 1115000 | #Constraints: 31827
2075.74/2081.63 c #Conflicts: 1116000 | #Constraints: 32827
2075.74/2081.63 c #Conflicts: 1117000 | #Constraints: 33827
2075.74/2081.63 c #Conflicts: 1118000 | #Constraints: 34827
2075.74/2081.63 c #Conflicts: 1119000 | #Constraints: 35827
2075.74/2081.63 c #Conflicts: 1120000 | #Constraints: 36827
2075.74/2081.63 c #Conflicts: 1121000 | #Constraints: 37827
2261.16/2267.53 c #Conflicts: 1122000 | #Constraints: 38827
2261.16/2267.53 c #Conflicts: 1123000 | #Constraints: 39827
2261.16/2267.53 c #Conflicts: 1124000 | #Constraints: 40827
2261.16/2267.53 c #Conflicts: 1125000 | #Constraints: 41827
2261.16/2267.53 c INPROCESSING
2261.16/2267.53 c GARBAGE COLLECT
2261.16/2267.53 c #Conflicts: 1126000 | #Constraints: 21829
2261.16/2267.53 c #Conflicts: 1127000 | #Constraints: 22829
2261.16/2267.53 c #Conflicts: 1128000 | #Constraints: 23829
2261.16/2267.53 c #Conflicts: 1129000 | #Constraints: 24829
2261.16/2267.53 c #Conflicts: 1130000 | #Constraints: 25829
2261.16/2267.53 c #Conflicts: 1131000 | #Constraints: 26829
2261.16/2267.53 c #Conflicts: 1132000 | #Constraints: 27829
2261.16/2267.53 c #Conflicts: 1133000 | #Constraints: 28829
2261.16/2267.53 c #Conflicts: 1134000 | #Constraints: 29829
2261.16/2267.53 c #Conflicts: 1135000 | #Constraints: 30829
2261.16/2267.53 c #Conflicts: 1136000 | #Constraints: 31829
2261.16/2267.53 c #Conflicts: 1137000 | #Constraints: 32829
2261.16/2267.53 c #Conflicts: 1138000 | #Constraints: 33829
2261.16/2267.53 c #Conflicts: 1139000 | #Constraints: 34829
2261.16/2267.53 c #Conflicts: 1140000 | #Constraints: 35829
2261.16/2267.53 c #Conflicts: 1141000 | #Constraints: 36829
2261.16/2267.53 c #Conflicts: 1142000 | #Constraints: 37829
2261.16/2267.53 c #Conflicts: 1143000 | #Constraints: 38829
2261.16/2267.53 c #Conflicts: 1144000 | #Constraints: 39829
2261.16/2267.53 c #Conflicts: 1145000 | #Constraints: 40829
2261.16/2267.53 c #Conflicts: 1146000 | #Constraints: 41829
2261.16/2267.53 c INPROCESSING
2261.16/2267.53 c GARBAGE COLLECT
2261.16/2267.53 c #Conflicts: 1147000 | #Constraints: 21628
2261.16/2267.53 c #Conflicts: 1148000 | #Constraints: 22628
2261.16/2267.53 c #Conflicts: 1149000 | #Constraints: 23628
2261.16/2267.53 c #Conflicts: 1150000 | #Constraints: 24628
2261.16/2267.53 c #Conflicts: 1151000 | #Constraints: 25628
2261.16/2267.53 c #Conflicts: 1152000 | #Constraints: 26628
2261.16/2267.53 c #Conflicts: 1153000 | #Constraints: 27628
2261.16/2267.53 c #Conflicts: 1154000 | #Constraints: 28628
2261.16/2267.53 c #Conflicts: 1155000 | #Constraints: 29628
2261.16/2267.53 c #Conflicts: 1156000 | #Constraints: 30628
2261.16/2267.53 c #Conflicts: 1157000 | #Constraints: 31628
2261.16/2267.53 c #Conflicts: 1158000 | #Constraints: 32628
2261.16/2267.53 c #Conflicts: 1159000 | #Constraints: 33628
2261.16/2267.53 c #Conflicts: 1160000 | #Constraints: 34628
2261.16/2267.53 c #Conflicts: 1161000 | #Constraints: 35628
2261.16/2267.53 c #Conflicts: 1162000 | #Constraints: 36628
2261.16/2267.53 c #Conflicts: 1163000 | #Constraints: 37628
2261.16/2267.53 c #Conflicts: 1164000 | #Constraints: 38628
2261.16/2267.53 c #Conflicts: 1165000 | #Constraints: 39628
2261.16/2267.53 c #Conflicts: 1166000 | #Constraints: 40628
2261.16/2267.53 c #Conflicts: 1167000 | #Constraints: 41628
2261.16/2267.53 c #Conflicts: 1168000 | #Constraints: 42628
2261.16/2267.53 c INPROCESSING
2261.16/2267.53 c GARBAGE COLLECT
2261.16/2267.53 c #Conflicts: 1169000 | #Constraints: 22227
2261.16/2267.53 c #Conflicts: 1170000 | #Constraints: 23227
2261.16/2267.53 c #Conflicts: 1171000 | #Constraints: 24227
2261.16/2267.53 c #Conflicts: 1172000 | #Constraints: 25227
2261.16/2267.53 c #Conflicts: 1173000 | #Constraints: 26227
2261.16/2267.53 c #Conflicts: 1174000 | #Constraints: 27227
2261.16/2267.53 c #Conflicts: 1175000 | #Constraints: 28227
2261.16/2267.53 c #Conflicts: 1176000 | #Constraints: 29227
2261.16/2267.53 c #Conflicts: 1177000 | #Constraints: 30227
2261.16/2267.53 c #Conflicts: 1178000 | #Constraints: 31227
2261.16/2267.53 c #Conflicts: 1179000 | #Constraints: 32227
2261.16/2267.53 c #Conflicts: 1180000 | #Constraints: 33227
2261.16/2267.53 c #Conflicts: 1181000 | #Constraints: 34227
2261.16/2267.53 c #Conflicts: 1182000 | #Constraints: 35227
2261.16/2267.53 c #Conflicts: 1183000 | #Constraints: 36227
2261.16/2267.53 c #Conflicts: 1184000 | #Constraints: 37227
2261.16/2267.53 c #Conflicts: 1185000 | #Constraints: 38227
2261.16/2267.53 c #Conflicts: 1186000 | #Constraints: 39227
2261.16/2267.53 c #Conflicts: 1187000 | #Constraints: 40227
2261.16/2267.53 c #Conflicts: 1188000 | #Constraints: 41227
2261.16/2267.53 c #Conflicts: 1189000 | #Constraints: 42227
2261.16/2267.53 c #Conflicts: 1190000 | #Constraints: 43227
2261.16/2267.53 c INPROCESSING
2261.16/2267.53 c GARBAGE COLLECT
2261.16/2267.53 c #Conflicts: 1191000 | #Constraints: 22628
2261.16/2267.53 c #Conflicts: 1192000 | #Constraints: 23628
2261.16/2267.53 c #Conflicts: 1193000 | #Constraints: 24628
2261.16/2267.53 c #Conflicts: 1194000 | #Constraints: 25628
2261.16/2267.53 c #Conflicts: 1195000 | #Constraints: 26628
2261.16/2267.53 c #Conflicts: 1196000 | #Constraints: 27628
2261.16/2267.53 c #Conflicts: 1197000 | #Constraints: 28628
2455.36/2462.24 c #Conflicts: 1198000 | #Constraints: 29628
2455.36/2462.24 c #Conflicts: 1199000 | #Constraints: 30628
2455.36/2462.24 c #Conflicts: 1200000 | #Constraints: 31628
2455.36/2462.24 c #Conflicts: 1201000 | #Constraints: 32628
2455.36/2462.24 c #Conflicts: 1202000 | #Constraints: 33628
2455.36/2462.24 c #Conflicts: 1203000 | #Constraints: 34628
2455.36/2462.24 c #Conflicts: 1204000 | #Constraints: 35628
2455.36/2462.24 c #Conflicts: 1205000 | #Constraints: 36628
2455.36/2462.24 c #Conflicts: 1206000 | #Constraints: 37628
2455.36/2462.24 c #Conflicts: 1207000 | #Constraints: 38628
2455.36/2462.24 c #Conflicts: 1208000 | #Constraints: 39628
2455.36/2462.24 c #Conflicts: 1209000 | #Constraints: 40628
2455.36/2462.24 c #Conflicts: 1210000 | #Constraints: 41628
2455.36/2462.24 c #Conflicts: 1211000 | #Constraints: 42628
2455.36/2462.24 c #Conflicts: 1212000 | #Constraints: 43628
2455.36/2462.24 c INPROCESSING
2455.36/2462.24 c GARBAGE COLLECT
2455.36/2462.24 c #Conflicts: 1213000 | #Constraints: 22827
2455.36/2462.24 c #Conflicts: 1214000 | #Constraints: 23827
2455.36/2462.24 c #Conflicts: 1215000 | #Constraints: 24827
2455.36/2462.24 c #Conflicts: 1216000 | #Constraints: 25827
2455.36/2462.24 c #Conflicts: 1217000 | #Constraints: 26827
2455.36/2462.24 c #Conflicts: 1218000 | #Constraints: 27827
2455.36/2462.24 c #Conflicts: 1219000 | #Constraints: 28827
2455.36/2462.24 c #Conflicts: 1220000 | #Constraints: 29827
2455.36/2462.24 c #Conflicts: 1221000 | #Constraints: 30827
2455.36/2462.24 c #Conflicts: 1222000 | #Constraints: 31827
2455.36/2462.24 c #Conflicts: 1223000 | #Constraints: 32827
2455.36/2462.24 c #Conflicts: 1224000 | #Constraints: 33827
2455.36/2462.24 c #Conflicts: 1225000 | #Constraints: 34827
2455.36/2462.24 c #Conflicts: 1226000 | #Constraints: 35827
2455.36/2462.24 c #Conflicts: 1227000 | #Constraints: 36827
2455.36/2462.24 c #Conflicts: 1228000 | #Constraints: 37827
2455.36/2462.24 c #Conflicts: 1229000 | #Constraints: 38827
2455.36/2462.24 c #Conflicts: 1230000 | #Constraints: 39827
2455.36/2462.24 c #Conflicts: 1231000 | #Constraints: 40827
2455.36/2462.24 c #Conflicts: 1232000 | #Constraints: 41827
2455.36/2462.24 c #Conflicts: 1233000 | #Constraints: 42827
2455.36/2462.24 c #Conflicts: 1234000 | #Constraints: 43827
2455.36/2462.24 c INPROCESSING
2455.36/2462.24 c GARBAGE COLLECT
2455.36/2462.24 c #Conflicts: 1235000 | #Constraints: 22823
2455.36/2462.24 c #Conflicts: 1236000 | #Constraints: 23823
2455.36/2462.24 c #Conflicts: 1237000 | #Constraints: 24823
2455.36/2462.24 c #Conflicts: 1238000 | #Constraints: 25823
2455.36/2462.24 c #Conflicts: 1239000 | #Constraints: 26823
2455.36/2462.24 c #Conflicts: 1240000 | #Constraints: 27823
2455.36/2462.24 c #Conflicts: 1241000 | #Constraints: 28823
2455.36/2462.24 c #Conflicts: 1242000 | #Constraints: 29823
2455.36/2462.24 c #Conflicts: 1243000 | #Constraints: 30823
2455.36/2462.24 c #Conflicts: 1244000 | #Constraints: 31823
2455.36/2462.24 c #Conflicts: 1245000 | #Constraints: 32823
2455.36/2462.24 c #Conflicts: 1246000 | #Constraints: 33823
2455.36/2462.24 c #Conflicts: 1247000 | #Constraints: 34823
2455.36/2462.24 c #Conflicts: 1248000 | #Constraints: 35823
2455.36/2462.24 c #Conflicts: 1249000 | #Constraints: 36823
2455.36/2462.24 c #Conflicts: 1250000 | #Constraints: 37823
2455.36/2462.24 c #Conflicts: 1251000 | #Constraints: 38823
2455.36/2462.24 c #Conflicts: 1252000 | #Constraints: 39823
2455.36/2462.24 c #Conflicts: 1253000 | #Constraints: 40823
2455.36/2462.24 c #Conflicts: 1254000 | #Constraints: 41823
2455.36/2462.24 c #Conflicts: 1255000 | #Constraints: 42823
2455.36/2462.24 c #Conflicts: 1256000 | #Constraints: 43823
2455.36/2462.24 c INPROCESSING
2455.36/2462.24 c GARBAGE COLLECT
2455.36/2462.24 c #Conflicts: 1257000 | #Constraints: 22627
2455.36/2462.24 c #Conflicts: 1258000 | #Constraints: 23627
2455.36/2462.24 c #Conflicts: 1259000 | #Constraints: 24627
2455.36/2462.24 c #Conflicts: 1260000 | #Constraints: 25627
2455.36/2462.24 c #Conflicts: 1261000 | #Constraints: 26627
2455.36/2462.24 c #Conflicts: 1262000 | #Constraints: 27627
2455.36/2462.24 c #Conflicts: 1263000 | #Constraints: 28627
2455.36/2462.24 c #Conflicts: 1264000 | #Constraints: 29627
2455.36/2462.24 c #Conflicts: 1265000 | #Constraints: 30627
2455.36/2462.24 c #Conflicts: 1266000 | #Constraints: 31627
2455.36/2462.24 c #Conflicts: 1267000 | #Constraints: 32627
2455.36/2462.24 c #Conflicts: 1268000 | #Constraints: 33627
2455.36/2462.24 c #Conflicts: 1269000 | #Constraints: 34627
2455.36/2462.24 c #Conflicts: 1270000 | #Constraints: 35627
2455.36/2462.24 c #Conflicts: 1271000 | #Constraints: 36627
2455.36/2462.24 c #Conflicts: 1272000 | #Constraints: 37627
2455.36/2462.24 c #Conflicts: 1273000 | #Constraints: 38627
2455.36/2462.24 c #Conflicts: 1274000 | #Constraints: 39627
2659.55/2666.90 c #Conflicts: 1275000 | #Constraints: 40627
2659.55/2666.90 c #Conflicts: 1276000 | #Constraints: 41627
2659.55/2666.90 c #Conflicts: 1277000 | #Constraints: 42627
2659.55/2666.90 c #Conflicts: 1278000 | #Constraints: 43627
2659.55/2666.90 c #Conflicts: 1279000 | #Constraints: 44627
2659.55/2666.90 c INPROCESSING
2659.55/2666.90 c GARBAGE COLLECT
2659.55/2666.90 c #Conflicts: 1280000 | #Constraints: 23226
2659.55/2666.90 c #Conflicts: 1281000 | #Constraints: 24226
2659.55/2666.90 c #Conflicts: 1282000 | #Constraints: 25226
2659.55/2666.90 c #Conflicts: 1283000 | #Constraints: 26226
2659.55/2666.90 c #Conflicts: 1284000 | #Constraints: 27226
2659.55/2666.90 c #Conflicts: 1285000 | #Constraints: 28226
2659.55/2666.90 c #Conflicts: 1286000 | #Constraints: 29226
2659.55/2666.90 c #Conflicts: 1287000 | #Constraints: 30226
2659.55/2666.90 c #Conflicts: 1288000 | #Constraints: 31226
2659.55/2666.90 c #Conflicts: 1289000 | #Constraints: 32226
2659.55/2666.90 c #Conflicts: 1290000 | #Constraints: 33226
2659.55/2666.90 c #Conflicts: 1291000 | #Constraints: 34226
2659.55/2666.90 c #Conflicts: 1292000 | #Constraints: 35226
2659.55/2666.90 c #Conflicts: 1293000 | #Constraints: 36226
2659.55/2666.90 c #Conflicts: 1294000 | #Constraints: 37226
2659.55/2666.90 c #Conflicts: 1295000 | #Constraints: 38226
2659.55/2666.90 c #Conflicts: 1296000 | #Constraints: 39226
2659.55/2666.90 c #Conflicts: 1297000 | #Constraints: 40226
2659.55/2666.90 c #Conflicts: 1298000 | #Constraints: 41226
2659.55/2666.90 c #Conflicts: 1299000 | #Constraints: 42226
2659.55/2666.90 c #Conflicts: 1300000 | #Constraints: 43226
2659.55/2666.90 c #Conflicts: 1301000 | #Constraints: 44226
2659.55/2666.90 c #Conflicts: 1302000 | #Constraints: 45226
2659.55/2666.90 c INPROCESSING
2659.55/2666.90 c GARBAGE COLLECT
2659.55/2666.90 c #Conflicts: 1303000 | #Constraints: 23625
2659.55/2666.90 c #Conflicts: 1304000 | #Constraints: 24625
2659.55/2666.90 c #Conflicts: 1305000 | #Constraints: 25625
2659.55/2666.90 c #Conflicts: 1306000 | #Constraints: 26625
2659.55/2666.90 c #Conflicts: 1307000 | #Constraints: 27625
2659.55/2666.90 c #Conflicts: 1308000 | #Constraints: 28625
2659.55/2666.90 c #Conflicts: 1309000 | #Constraints: 29625
2659.55/2666.90 c #Conflicts: 1310000 | #Constraints: 30625
2659.55/2666.90 c #Conflicts: 1311000 | #Constraints: 31625
2659.55/2666.90 c #Conflicts: 1312000 | #Constraints: 32625
2659.55/2666.90 c #Conflicts: 1313000 | #Constraints: 33625
2659.55/2666.90 c #Conflicts: 1314000 | #Constraints: 34625
2659.55/2666.90 c #Conflicts: 1315000 | #Constraints: 35625
2659.55/2666.90 c #Conflicts: 1316000 | #Constraints: 36625
2659.55/2666.90 c #Conflicts: 1317000 | #Constraints: 37625
2659.55/2666.90 c #Conflicts: 1318000 | #Constraints: 38625
2659.55/2666.90 c #Conflicts: 1319000 | #Constraints: 39625
2659.55/2666.90 c #Conflicts: 1320000 | #Constraints: 40625
2659.55/2666.90 c #Conflicts: 1321000 | #Constraints: 41625
2659.55/2666.90 c #Conflicts: 1322000 | #Constraints: 42625
2659.55/2666.90 c #Conflicts: 1323000 | #Constraints: 43625
2659.55/2666.90 c #Conflicts: 1324000 | #Constraints: 44625
2659.55/2666.90 c #Conflicts: 1325000 | #Constraints: 45625
2659.55/2666.90 c INPROCESSING
2659.55/2666.90 c GARBAGE COLLECT
2659.55/2666.90 c #Conflicts: 1326000 | #Constraints: 23824
2659.55/2666.90 c #Conflicts: 1327000 | #Constraints: 24824
2659.55/2666.90 c #Conflicts: 1328000 | #Constraints: 25824
2659.55/2666.90 c #Conflicts: 1329000 | #Constraints: 26824
2659.55/2666.90 c #Conflicts: 1330000 | #Constraints: 27824
2659.55/2666.90 c #Conflicts: 1331000 | #Constraints: 28824
2659.55/2666.90 c #Conflicts: 1332000 | #Constraints: 29824
2659.55/2666.90 c #Conflicts: 1333000 | #Constraints: 30824
2659.55/2666.90 c #Conflicts: 1334000 | #Constraints: 31824
2659.55/2666.90 c #Conflicts: 1335000 | #Constraints: 32824
2659.55/2666.90 c #Conflicts: 1336000 | #Constraints: 33824
2659.55/2666.90 c #Conflicts: 1337000 | #Constraints: 34824
2659.55/2666.90 c #Conflicts: 1338000 | #Constraints: 35824
2659.55/2666.90 c #Conflicts: 1339000 | #Constraints: 36824
2659.55/2666.90 c #Conflicts: 1340000 | #Constraints: 37824
2659.55/2666.90 c #Conflicts: 1341000 | #Constraints: 38824
2659.55/2666.90 c #Conflicts: 1342000 | #Constraints: 39824
2659.55/2666.90 c #Conflicts: 1343000 | #Constraints: 40824
2659.55/2666.90 c #Conflicts: 1344000 | #Constraints: 41824
2659.55/2666.90 c #Conflicts: 1345000 | #Constraints: 42824
2659.55/2666.90 c #Conflicts: 1346000 | #Constraints: 43824
2659.55/2666.90 c #Conflicts: 1347000 | #Constraints: 44824
2659.55/2666.90 c #Conflicts: 1348000 | #Constraints: 45824
2659.55/2666.90 c INPROCESSING
2659.55/2666.90 c GARBAGE COLLECT
2659.55/2666.90 c #Conflicts: 1349000 | #Constraints: 23822
2659.55/2666.90 c #Conflicts: 1350000 | #Constraints: 24822
2866.14/2874.01 c #Conflicts: 1351000 | #Constraints: 25822
2866.14/2874.01 c #Conflicts: 1352000 | #Constraints: 26822
2866.14/2874.01 c #Conflicts: 1353000 | #Constraints: 27822
2866.14/2874.01 c #Conflicts: 1354000 | #Constraints: 28822
2866.14/2874.01 c #Conflicts: 1355000 | #Constraints: 29822
2866.14/2874.01 c #Conflicts: 1356000 | #Constraints: 30822
2866.14/2874.01 c #Conflicts: 1357000 | #Constraints: 31822
2866.14/2874.01 c #Conflicts: 1358000 | #Constraints: 32822
2866.14/2874.01 c #Conflicts: 1359000 | #Constraints: 33822
2866.14/2874.01 c #Conflicts: 1360000 | #Constraints: 34822
2866.14/2874.01 c #Conflicts: 1361000 | #Constraints: 35822
2866.14/2874.01 c #Conflicts: 1362000 | #Constraints: 36822
2866.14/2874.01 c #Conflicts: 1363000 | #Constraints: 37822
2866.14/2874.01 c #Conflicts: 1364000 | #Constraints: 38822
2866.14/2874.01 c #Conflicts: 1365000 | #Constraints: 39822
2866.14/2874.01 c #Conflicts: 1366000 | #Constraints: 40822
2866.14/2874.01 c #Conflicts: 1367000 | #Constraints: 41822
2866.14/2874.01 c #Conflicts: 1368000 | #Constraints: 42822
2866.14/2874.01 c #Conflicts: 1369000 | #Constraints: 43822
2866.14/2874.01 c #Conflicts: 1370000 | #Constraints: 44822
2866.14/2874.01 c #Conflicts: 1371000 | #Constraints: 45822
2866.14/2874.01 c INPROCESSING
2866.14/2874.01 c GARBAGE COLLECT
2866.14/2874.01 c #Conflicts: 1372000 | #Constraints: 23625
2866.14/2874.01 c #Conflicts: 1373000 | #Constraints: 24625
2866.14/2874.01 c #Conflicts: 1374000 | #Constraints: 25625
2866.14/2874.01 c #Conflicts: 1375000 | #Constraints: 26625
2866.14/2874.01 c #Conflicts: 1376000 | #Constraints: 27625
2866.14/2874.01 c #Conflicts: 1377000 | #Constraints: 28625
2866.14/2874.01 c #Conflicts: 1378000 | #Constraints: 29625
2866.14/2874.01 c #Conflicts: 1379000 | #Constraints: 30625
2866.14/2874.01 c #Conflicts: 1380000 | #Constraints: 31625
2866.14/2874.01 c #Conflicts: 1381000 | #Constraints: 32625
2866.14/2874.01 c #Conflicts: 1382000 | #Constraints: 33625
2866.14/2874.01 c #Conflicts: 1383000 | #Constraints: 34625
2866.14/2874.01 c #Conflicts: 1384000 | #Constraints: 35625
2866.14/2874.01 c #Conflicts: 1385000 | #Constraints: 36625
2866.14/2874.01 c #Conflicts: 1386000 | #Constraints: 37625
2866.14/2874.01 c #Conflicts: 1387000 | #Constraints: 38625
2866.14/2874.01 c #Conflicts: 1388000 | #Constraints: 39625
2866.14/2874.01 c #Conflicts: 1389000 | #Constraints: 40625
2866.14/2874.01 c #Conflicts: 1390000 | #Constraints: 41625
2866.14/2874.01 c #Conflicts: 1391000 | #Constraints: 42625
2866.14/2874.01 c #Conflicts: 1392000 | #Constraints: 43625
2866.14/2874.01 c #Conflicts: 1393000 | #Constraints: 44625
2866.14/2874.01 c #Conflicts: 1394000 | #Constraints: 45625
2866.14/2874.01 c #Conflicts: 1395000 | #Constraints: 46625
2866.14/2874.01 c INPROCESSING
2866.14/2874.01 c GARBAGE COLLECT
2866.14/2874.01 c #Conflicts: 1396000 | #Constraints: 24229
2866.14/2874.01 c #Conflicts: 1397000 | #Constraints: 25229
2866.14/2874.01 c #Conflicts: 1398000 | #Constraints: 26229
2866.14/2874.01 c #Conflicts: 1399000 | #Constraints: 27229
2866.14/2874.01 c #Conflicts: 1400000 | #Constraints: 28229
2866.14/2874.01 c #Conflicts: 1401000 | #Constraints: 29229
2866.14/2874.01 c #Conflicts: 1402000 | #Constraints: 30229
2866.14/2874.01 c #Conflicts: 1403000 | #Constraints: 31229
2866.14/2874.01 c #Conflicts: 1404000 | #Constraints: 32229
2866.14/2874.01 c #Conflicts: 1405000 | #Constraints: 33229
2866.14/2874.01 c #Conflicts: 1406000 | #Constraints: 34229
2866.14/2874.01 c #Conflicts: 1407000 | #Constraints: 35229
2866.14/2874.01 c #Conflicts: 1408000 | #Constraints: 36229
2866.14/2874.01 c #Conflicts: 1409000 | #Constraints: 37229
2866.14/2874.01 c #Conflicts: 1410000 | #Constraints: 38229
2866.14/2874.01 c #Conflicts: 1411000 | #Constraints: 39229
2866.14/2874.01 c #Conflicts: 1412000 | #Constraints: 40229
2866.14/2874.01 c #Conflicts: 1413000 | #Constraints: 41229
2866.14/2874.01 c #Conflicts: 1414000 | #Constraints: 42229
2866.14/2874.01 c #Conflicts: 1415000 | #Constraints: 43229
2866.14/2874.01 c #Conflicts: 1416000 | #Constraints: 44229
2866.14/2874.01 c #Conflicts: 1417000 | #Constraints: 45229
2866.14/2874.01 c #Conflicts: 1418000 | #Constraints: 46229
2866.14/2874.01 c #Conflicts: 1419000 | #Constraints: 47229
2866.14/2874.01 c INPROCESSING
2866.14/2874.01 c GARBAGE COLLECT
2866.14/2874.01 c #Conflicts: 1420000 | #Constraints: 24626
2866.14/2874.01 c #Conflicts: 1421000 | #Constraints: 25626
2866.14/2874.01 c #Conflicts: 1422000 | #Constraints: 26626
2866.14/2874.01 c #Conflicts: 1423000 | #Constraints: 27626
2866.14/2874.01 c #Conflicts: 1424000 | #Constraints: 28626
2866.14/2874.01 c #Conflicts: 1425000 | #Constraints: 29626
2866.14/2874.01 c #Conflicts: 1426000 | #Constraints: 30626
2866.14/2874.01 c #Conflicts: 1427000 | #Constraints: 31626
3086.96/3095.47 c #Conflicts: 1428000 | #Constraints: 32626
3086.96/3095.47 c #Conflicts: 1429000 | #Constraints: 33626
3086.96/3095.47 c #Conflicts: 1430000 | #Constraints: 34626
3086.96/3095.47 c #Conflicts: 1431000 | #Constraints: 35626
3086.96/3095.47 c #Conflicts: 1432000 | #Constraints: 36626
3086.96/3095.47 c #Conflicts: 1433000 | #Constraints: 37626
3086.96/3095.47 c #Conflicts: 1434000 | #Constraints: 38626
3086.96/3095.47 c #Conflicts: 1435000 | #Constraints: 39626
3086.96/3095.47 c #Conflicts: 1436000 | #Constraints: 40626
3086.96/3095.47 c #Conflicts: 1437000 | #Constraints: 41626
3086.96/3095.47 c #Conflicts: 1438000 | #Constraints: 42626
3086.96/3095.47 c #Conflicts: 1439000 | #Constraints: 43626
3086.96/3095.47 c #Conflicts: 1440000 | #Constraints: 44626
3086.96/3095.47 c #Conflicts: 1441000 | #Constraints: 45626
3086.96/3095.47 c #Conflicts: 1442000 | #Constraints: 46626
3086.96/3095.47 c #Conflicts: 1443000 | #Constraints: 47626
3086.96/3095.47 c INPROCESSING
3086.96/3095.47 c GARBAGE COLLECT
3086.96/3095.47 c #Conflicts: 1444000 | #Constraints: 24827
3086.96/3095.47 c #Conflicts: 1445000 | #Constraints: 25827
3086.96/3095.47 c #Conflicts: 1446000 | #Constraints: 26827
3086.96/3095.47 c #Conflicts: 1447000 | #Constraints: 27827
3086.96/3095.47 c #Conflicts: 1448000 | #Constraints: 28827
3086.96/3095.47 c #Conflicts: 1449000 | #Constraints: 29827
3086.96/3095.47 c #Conflicts: 1450000 | #Constraints: 30827
3086.96/3095.47 c #Conflicts: 1451000 | #Constraints: 31827
3086.96/3095.47 c #Conflicts: 1452000 | #Constraints: 32827
3086.96/3095.47 c #Conflicts: 1453000 | #Constraints: 33827
3086.96/3095.47 c #Conflicts: 1454000 | #Constraints: 34827
3086.96/3095.47 c #Conflicts: 1455000 | #Constraints: 35827
3086.96/3095.47 c #Conflicts: 1456000 | #Constraints: 36827
3086.96/3095.47 c #Conflicts: 1457000 | #Constraints: 37827
3086.96/3095.47 c #Conflicts: 1458000 | #Constraints: 38827
3086.96/3095.47 c #Conflicts: 1459000 | #Constraints: 39827
3086.96/3095.47 c #Conflicts: 1460000 | #Constraints: 40827
3086.96/3095.47 c #Conflicts: 1461000 | #Constraints: 41827
3086.96/3095.47 c #Conflicts: 1462000 | #Constraints: 42827
3086.96/3095.47 c #Conflicts: 1463000 | #Constraints: 43827
3086.96/3095.47 c #Conflicts: 1464000 | #Constraints: 44827
3086.96/3095.47 c #Conflicts: 1465000 | #Constraints: 45827
3086.96/3095.47 c #Conflicts: 1466000 | #Constraints: 46827
3086.96/3095.47 c #Conflicts: 1467000 | #Constraints: 47827
3086.96/3095.47 c INPROCESSING
3086.96/3095.47 c GARBAGE COLLECT
3086.96/3095.47 c #Conflicts: 1468000 | #Constraints: 24828
3086.96/3095.47 c #Conflicts: 1469000 | #Constraints: 25828
3086.96/3095.47 c #Conflicts: 1470000 | #Constraints: 26828
3086.96/3095.47 c #Conflicts: 1471000 | #Constraints: 27828
3086.96/3095.47 c #Conflicts: 1472000 | #Constraints: 28828
3086.96/3095.47 c #Conflicts: 1473000 | #Constraints: 29828
3086.96/3095.47 c #Conflicts: 1474000 | #Constraints: 30828
3086.96/3095.47 c #Conflicts: 1475000 | #Constraints: 31828
3086.96/3095.47 c #Conflicts: 1476000 | #Constraints: 32828
3086.96/3095.47 c #Conflicts: 1477000 | #Constraints: 33828
3086.96/3095.47 c #Conflicts: 1478000 | #Constraints: 34828
3086.96/3095.47 c #Conflicts: 1479000 | #Constraints: 35828
3086.96/3095.47 c #Conflicts: 1480000 | #Constraints: 36828
3086.96/3095.47 c #Conflicts: 1481000 | #Constraints: 37828
3086.96/3095.47 c #Conflicts: 1482000 | #Constraints: 38828
3086.96/3095.47 c #Conflicts: 1483000 | #Constraints: 39828
3086.96/3095.47 c #Conflicts: 1484000 | #Constraints: 40828
3086.96/3095.47 c #Conflicts: 1485000 | #Constraints: 41828
3086.96/3095.47 c #Conflicts: 1486000 | #Constraints: 42828
3086.96/3095.47 c #Conflicts: 1487000 | #Constraints: 43828
3086.96/3095.47 c #Conflicts: 1488000 | #Constraints: 44828
3086.96/3095.47 c #Conflicts: 1489000 | #Constraints: 45828
3086.96/3095.47 c #Conflicts: 1490000 | #Constraints: 46828
3086.96/3095.47 c #Conflicts: 1491000 | #Constraints: 47828
3086.96/3095.47 c INPROCESSING
3086.96/3095.47 c GARBAGE COLLECT
3086.96/3095.47 c #Conflicts: 1492000 | #Constraints: 24626
3086.96/3095.47 c #Conflicts: 1493000 | #Constraints: 25626
3086.96/3095.47 c #Conflicts: 1494000 | #Constraints: 26626
3086.96/3095.47 c #Conflicts: 1495000 | #Constraints: 27626
3086.96/3095.47 c #Conflicts: 1496000 | #Constraints: 28626
3086.96/3095.47 c #Conflicts: 1497000 | #Constraints: 29626
3086.96/3095.47 c #Conflicts: 1498000 | #Constraints: 30626
3086.96/3095.47 c #Conflicts: 1499000 | #Constraints: 31626
3086.96/3095.47 c #Conflicts: 1500000 | #Constraints: 32626
3086.96/3095.47 c #Conflicts: 1501000 | #Constraints: 33626
3086.96/3095.47 c #Conflicts: 1502000 | #Constraints: 34626
3086.96/3095.47 c #Conflicts: 1503000 | #Constraints: 35626
3086.96/3095.47 c #Conflicts: 1504000 | #Constraints: 36626
3315.48/3324.53 c #Conflicts: 1505000 | #Constraints: 37626
3315.48/3324.53 c #Conflicts: 1506000 | #Constraints: 38626
3315.48/3324.53 c #Conflicts: 1507000 | #Constraints: 39626
3315.48/3324.53 c #Conflicts: 1508000 | #Constraints: 40626
3315.48/3324.53 c #Conflicts: 1509000 | #Constraints: 41626
3315.48/3324.53 c #Conflicts: 1510000 | #Constraints: 42626
3315.48/3324.53 c #Conflicts: 1511000 | #Constraints: 43626
3315.48/3324.53 c #Conflicts: 1512000 | #Constraints: 44626
3315.48/3324.53 c #Conflicts: 1513000 | #Constraints: 45626
3315.48/3324.53 c #Conflicts: 1514000 | #Constraints: 46626
3315.48/3324.53 c #Conflicts: 1515000 | #Constraints: 47626
3315.48/3324.53 c #Conflicts: 1516000 | #Constraints: 48626
3315.48/3324.53 c INPROCESSING
3315.48/3324.53 c GARBAGE COLLECT
3315.48/3324.53 c #Conflicts: 1517000 | #Constraints: 25225
3315.48/3324.53 c #Conflicts: 1518000 | #Constraints: 26225
3315.48/3324.53 c #Conflicts: 1519000 | #Constraints: 27225
3315.48/3324.53 c #Conflicts: 1520000 | #Constraints: 28225
3315.48/3324.53 c #Conflicts: 1521000 | #Constraints: 29225
3315.48/3324.53 c #Conflicts: 1522000 | #Constraints: 30225
3315.48/3324.53 c #Conflicts: 1523000 | #Constraints: 31225
3315.48/3324.53 c #Conflicts: 1524000 | #Constraints: 32225
3315.48/3324.53 c #Conflicts: 1525000 | #Constraints: 33225
3315.48/3324.53 c #Conflicts: 1526000 | #Constraints: 34225
3315.48/3324.53 c #Conflicts: 1527000 | #Constraints: 35225
3315.48/3324.53 c #Conflicts: 1528000 | #Constraints: 36225
3315.48/3324.53 c #Conflicts: 1529000 | #Constraints: 37225
3315.48/3324.53 c #Conflicts: 1530000 | #Constraints: 38225
3315.48/3324.53 c #Conflicts: 1531000 | #Constraints: 39225
3315.48/3324.53 c #Conflicts: 1532000 | #Constraints: 40225
3315.48/3324.53 c #Conflicts: 1533000 | #Constraints: 41225
3315.48/3324.53 c #Conflicts: 1534000 | #Constraints: 42225
3315.48/3324.53 c #Conflicts: 1535000 | #Constraints: 43225
3315.48/3324.53 c #Conflicts: 1536000 | #Constraints: 44225
3315.48/3324.53 c #Conflicts: 1537000 | #Constraints: 45225
3315.48/3324.53 c #Conflicts: 1538000 | #Constraints: 46225
3315.48/3324.53 c #Conflicts: 1539000 | #Constraints: 47225
3315.48/3324.53 c #Conflicts: 1540000 | #Constraints: 48225
3315.48/3324.53 c #Conflicts: 1541000 | #Constraints: 49225
3315.48/3324.53 c INPROCESSING
3315.48/3324.53 c GARBAGE COLLECT
3315.48/3324.53 c #Conflicts: 1542000 | #Constraints: 25626
3315.48/3324.53 c #Conflicts: 1543000 | #Constraints: 26626
3315.48/3324.53 c #Conflicts: 1544000 | #Constraints: 27626
3315.48/3324.53 c #Conflicts: 1545000 | #Constraints: 28626
3315.48/3324.53 c #Conflicts: 1546000 | #Constraints: 29626
3315.48/3324.53 c #Conflicts: 1547000 | #Constraints: 30626
3315.48/3324.53 c #Conflicts: 1548000 | #Constraints: 31626
3315.48/3324.53 c #Conflicts: 1549000 | #Constraints: 32626
3315.48/3324.53 c #Conflicts: 1550000 | #Constraints: 33626
3315.48/3324.53 c #Conflicts: 1551000 | #Constraints: 34626
3315.48/3324.53 c #Conflicts: 1552000 | #Constraints: 35626
3315.48/3324.53 c #Conflicts: 1553000 | #Constraints: 36626
3315.48/3324.53 c #Conflicts: 1554000 | #Constraints: 37626
3315.48/3324.53 c #Conflicts: 1555000 | #Constraints: 38626
3315.48/3324.53 c #Conflicts: 1556000 | #Constraints: 39626
3315.48/3324.53 c #Conflicts: 1557000 | #Constraints: 40626
3315.48/3324.53 c #Conflicts: 1558000 | #Constraints: 41626
3315.48/3324.53 c #Conflicts: 1559000 | #Constraints: 42626
3315.48/3324.53 c #Conflicts: 1560000 | #Constraints: 43626
3315.48/3324.53 c #Conflicts: 1561000 | #Constraints: 44626
3315.48/3324.53 c #Conflicts: 1562000 | #Constraints: 45626
3315.48/3324.53 c #Conflicts: 1563000 | #Constraints: 46626
3315.48/3324.53 c #Conflicts: 1564000 | #Constraints: 47626
3315.48/3324.53 c #Conflicts: 1565000 | #Constraints: 48626
3315.48/3324.53 c #Conflicts: 1566000 | #Constraints: 49626
3315.48/3324.53 c INPROCESSING
3315.48/3324.53 c GARBAGE COLLECT
3315.48/3324.53 c #Conflicts: 1567000 | #Constraints: 25827
3315.48/3324.53 c #Conflicts: 1568000 | #Constraints: 26827
3315.48/3324.53 c #Conflicts: 1569000 | #Constraints: 27827
3315.48/3324.53 c #Conflicts: 1570000 | #Constraints: 28827
3315.48/3324.53 c #Conflicts: 1571000 | #Constraints: 29827
3315.48/3324.53 c #Conflicts: 1572000 | #Constraints: 30827
3315.48/3324.53 c #Conflicts: 1573000 | #Constraints: 31827
3315.48/3324.53 c #Conflicts: 1574000 | #Constraints: 32827
3315.48/3324.53 c #Conflicts: 1575000 | #Constraints: 33827
3315.48/3324.53 c #Conflicts: 1576000 | #Constraints: 34827
3315.48/3324.53 c #Conflicts: 1577000 | #Constraints: 35827
3315.48/3324.53 c #Conflicts: 1578000 | #Constraints: 36827
3315.48/3324.53 c #Conflicts: 1579000 | #Constraints: 37827
3315.48/3324.53 c #Conflicts: 1580000 | #Constraints: 38827
3315.48/3324.53 c #Conflicts: 1581000 | #Constraints: 39827
3554.84/3564.53 c #Conflicts: 1582000 | #Constraints: 40827
3554.84/3564.53 c #Conflicts: 1583000 | #Constraints: 41827
3554.84/3564.53 c #Conflicts: 1584000 | #Constraints: 42827
3554.84/3564.53 c #Conflicts: 1585000 | #Constraints: 43827
3554.84/3564.53 c #Conflicts: 1586000 | #Constraints: 44827
3554.84/3564.53 c #Conflicts: 1587000 | #Constraints: 45827
3554.84/3564.53 c #Conflicts: 1588000 | #Constraints: 46827
3554.84/3564.53 c #Conflicts: 1589000 | #Constraints: 47827
3554.84/3564.53 c #Conflicts: 1590000 | #Constraints: 48827
3554.84/3564.53 c #Conflicts: 1591000 | #Constraints: 49827
3554.84/3564.53 c INPROCESSING
3554.84/3564.53 c GARBAGE COLLECT
3554.84/3564.53 c #Conflicts: 1592000 | #Constraints: 25825
3554.84/3564.53 c #Conflicts: 1593000 | #Constraints: 26825
3554.84/3564.53 c #Conflicts: 1594000 | #Constraints: 27825
3554.84/3564.53 c #Conflicts: 1595000 | #Constraints: 28825
3554.84/3564.53 c #Conflicts: 1596000 | #Constraints: 29825
3554.84/3564.53 c #Conflicts: 1597000 | #Constraints: 30825
3554.84/3564.53 c #Conflicts: 1598000 | #Constraints: 31825
3554.84/3564.53 c #Conflicts: 1599000 | #Constraints: 32825
3554.84/3564.53 c #Conflicts: 1600000 | #Constraints: 33825
3554.84/3564.53 c #Conflicts: 1601000 | #Constraints: 34825
3554.84/3564.53 c #Conflicts: 1602000 | #Constraints: 35825
3554.84/3564.53 c #Conflicts: 1603000 | #Constraints: 36825
3554.84/3564.53 c #Conflicts: 1604000 | #Constraints: 37825
3554.84/3564.53 c #Conflicts: 1605000 | #Constraints: 38825
3554.84/3564.53 c #Conflicts: 1606000 | #Constraints: 39825
3554.84/3564.53 c #Conflicts: 1607000 | #Constraints: 40825
3554.84/3564.53 c #Conflicts: 1608000 | #Constraints: 41825
3554.84/3564.53 c #Conflicts: 1609000 | #Constraints: 42825
3554.84/3564.53 c #Conflicts: 1610000 | #Constraints: 43825
3554.84/3564.53 c #Conflicts: 1611000 | #Constraints: 44825
3554.84/3564.53 c #Conflicts: 1612000 | #Constraints: 45825
3554.84/3564.53 c #Conflicts: 1613000 | #Constraints: 46825
3554.84/3564.53 c #Conflicts: 1614000 | #Constraints: 47825
3554.84/3564.53 c #Conflicts: 1615000 | #Constraints: 48825
3554.84/3564.53 c #Conflicts: 1616000 | #Constraints: 49825
3554.84/3564.53 c INPROCESSING
3554.84/3564.53 c GARBAGE COLLECT
3554.84/3564.53 c #Conflicts: 1617000 | #Constraints: 25625
3554.84/3564.53 c #Conflicts: 1618000 | #Constraints: 26625
3554.84/3564.53 c #Conflicts: 1619000 | #Constraints: 27625
3554.84/3564.53 c #Conflicts: 1620000 | #Constraints: 28625
3554.84/3564.53 c #Conflicts: 1621000 | #Constraints: 29625
3554.84/3564.53 c #Conflicts: 1622000 | #Constraints: 30625
3554.84/3564.53 c #Conflicts: 1623000 | #Constraints: 31625
3554.84/3564.53 c #Conflicts: 1624000 | #Constraints: 32625
3554.84/3564.53 c #Conflicts: 1625000 | #Constraints: 33625
3554.84/3564.53 c #Conflicts: 1626000 | #Constraints: 34625
3554.84/3564.53 c #Conflicts: 1627000 | #Constraints: 35625
3554.84/3564.53 c #Conflicts: 1628000 | #Constraints: 36625
3554.84/3564.53 c #Conflicts: 1629000 | #Constraints: 37625
3554.84/3564.53 c #Conflicts: 1630000 | #Constraints: 38625
3554.84/3564.53 c #Conflicts: 1631000 | #Constraints: 39625
3554.84/3564.53 c #Conflicts: 1632000 | #Constraints: 40625
3554.84/3564.53 c #Conflicts: 1633000 | #Constraints: 41625
3554.84/3564.53 c #Conflicts: 1634000 | #Constraints: 42625
3554.84/3564.53 c #Conflicts: 1635000 | #Constraints: 43625
3554.84/3564.53 c #Conflicts: 1636000 | #Constraints: 44625
3554.84/3564.53 c #Conflicts: 1637000 | #Constraints: 45625
3554.84/3564.53 c #Conflicts: 1638000 | #Constraints: 46625
3554.84/3564.53 c #Conflicts: 1639000 | #Constraints: 47625
3554.84/3564.53 c #Conflicts: 1640000 | #Constraints: 48625
3554.84/3564.53 c #Conflicts: 1641000 | #Constraints: 49625
3554.84/3564.53 c #Conflicts: 1642000 | #Constraints: 50625
3554.84/3564.53 c INPROCESSING
3554.84/3564.53 c GARBAGE COLLECT
3554.84/3564.53 c #Conflicts: 1643000 | #Constraints: 26224
3554.84/3564.53 c #Conflicts: 1644000 | #Constraints: 27224
3554.84/3564.53 c #Conflicts: 1645000 | #Constraints: 28224
3554.84/3564.53 c #Conflicts: 1646000 | #Constraints: 29224
3554.84/3564.53 c #Conflicts: 1647000 | #Constraints: 30224
3554.84/3564.53 c #Conflicts: 1648000 | #Constraints: 31224
3554.84/3564.53 c #Conflicts: 1649000 | #Constraints: 32224
3554.84/3564.53 c #Conflicts: 1650000 | #Constraints: 33224
3554.84/3564.53 c #Conflicts: 1651000 | #Constraints: 34224
3554.84/3564.53 c #Conflicts: 1652000 | #Constraints: 35224
3554.84/3564.53 c #Conflicts: 1653000 | #Constraints: 36224
3554.84/3564.53 c #Conflicts: 1654000 | #Constraints: 37224
3554.84/3564.53 c #Conflicts: 1655000 | #Constraints: 38224
3554.84/3564.53 c #Conflicts: 1656000 | #Constraints: 39224
3554.84/3564.53 c #Conflicts: 1657000 | #Constraints: 40224
3554.84/3564.53 c #Conflicts: 1658000 | #Constraints: 41224
3600.02/3609.80 c #Conflicts: 1659000 | #Constraints: 42224
3600.02/3609.80 c #Conflicts: 1660000 | #Constraints: 43224
3600.02/3609.80 c #Conflicts: 1661000 | #Constraints: 44224
3600.02/3609.80 c #Conflicts: 1662000 | #Constraints: 45224
3600.02/3609.80 c #Conflicts: 1663000 | #Constraints: 46224
3600.02/3609.80 c #Conflicts: 1664000 | #Constraints: 47224
3600.02/3609.80 c #Conflicts: 1665000 | #Constraints: 48224
3600.02/3609.80 c #Conflicts: 1666000 | #Constraints: 49224
3600.02/3609.80 c #Conflicts: 1667000 | #Constraints: 50224
3600.02/3609.80 c #Conflicts: 1668000 | #Constraints: 51224
3600.02/3609.80 c INPROCESSING
3600.02/3609.80 c GARBAGE COLLECT
3600.02/3609.80 c #Conflicts: 1669000 | #Constraints: 26624
3600.02/3609.80 c #Conflicts: 1670000 | #Constraints: 27624
3600.02/3609.80 c #Conflicts: 1671000 | #Constraints: 28624
3600.02/3609.80 c #Conflicts: 1672000 | #Constraints: 29624
3600.02/3609.80 c #Conflicts: 1673000 | #Constraints: 30624
3600.02/3609.80 c #Conflicts: 1674000 | #Constraints: 31624
3600.02/3609.80 c Program interrupted by user.
3600.02/3609.80 c cpu time 3592.54 s
3600.02/3609.80 c deterministic time 560868618648 5.61e+11
3600.02/3609.80 c optimization time 14.1434 s
3600.02/3609.80 c total solve time 3279.58 s
3600.02/3609.80 c core-guided solve time 3279.58 s
3600.02/3609.80 c propagation time 3108.26 s
3600.02/3609.80 c conflict analysis time 173.81 s
3600.02/3609.80 c propagations 16787960
3600.02/3609.80 c resolve steps 7215878
3600.02/3609.80 c decisions 2913712
3600.02/3609.80 c conflicts 1674199
3600.02/3609.80 c restarts 3194
3600.02/3609.80 c inprocessing phases 120
3600.02/3609.80 c input clauses 0
3600.02/3609.80 c input cardinalities 0
3600.02/3609.80 c input general constraints 11
3600.02/3609.80 c input average constraint length 58.00
3600.02/3609.80 c input average constraint degree 1413.91
3600.02/3609.80 c learned clauses 784805
3600.02/3609.80 c learned cardinalities 2
3600.02/3609.80 c learned general constraints 889391
3600.02/3609.80 c learned average constraint length 34.56
3600.02/3609.80 c learned average constraint degree 24894.54
3600.02/3609.80 c watched constraints 831559
3600.02/3609.80 c counting constraints 57843
3600.02/3609.80 c gcd simplifications 712669
3600.02/3609.80 c detected cardinalities 2
3600.02/3609.80 c weakened non-implied lits 12900073
3600.02/3609.80 c weakened non-implying lits 1078104
3600.02/3609.80 c original variables 120
3600.02/3609.80 c clausal propagations 246387
3600.02/3609.80 c cardinality propagations 0
3600.02/3609.80 c watched propagations 7279704
3600.02/3609.80 c counting propagations 8021460
3600.02/3609.80 c watch lookups 46175660779
3600.02/3609.80 c watch backjump lookups 33887644826
3600.02/3609.80 c watch checks 301594047120
3600.02/3609.80 c propagation checks 178768675853
3600.02/3609.80 c constraint additions 401512638
3600.02/3609.80 c trail pops 21375759
3600.02/3609.80 c formula constraints 10
3600.02/3609.80 c learned constraints 1674198
3600.02/3609.80 c bound constraints 1
3600.02/3609.80 c core-guided constraints 0
3600.02/3609.80 c encountered formula constraints 3301893
3600.02/3609.80 c encountered learned constraints 5588179
3600.02/3609.80 c encountered bound constraints 5
3600.02/3609.80 c encountered core-guided constraints 0
3600.02/3609.80 c LP total time 0 s
3600.02/3609.80 c LP solve time 0 s
3600.02/3609.80 c LP constraints added 0
3600.02/3609.80 c LP constraints removed 0
3600.02/3609.80 c LP pivots internal 0
3600.02/3609.80 c LP pivots root 0
3600.02/3609.80 c LP calls 0
3600.02/3609.80 c LP optimalities 0
3600.02/3609.80 c LP no pivot count 0
3600.02/3609.80 c LP infeasibilities 0
3600.02/3609.80 c LP valid Farkas constraints 0
3600.02/3609.80 c LP learned Farkas constraints 0
3600.02/3609.80 c LP basis resets 0
3600.02/3609.80 c LP cycling count 0
3600.02/3609.80 c LP singular count 0
3600.02/3609.80 c LP no primal count 0
3600.02/3609.80 c LP no farkas count 0
3600.02/3609.80 c LP other issue count 0
3600.02/3609.80 c LP Gomory cuts 0
3600.02/3609.80 c LP learned cuts 0
3600.02/3609.80 c LP deleted cuts 0
3600.02/3609.80 c LP encountered Gomory constraints 0
3600.02/3609.80 c LP encountered Farkas constraints 0
3600.02/3609.80 c LP encountered learned Farkas constraints 0
3600.02/3609.80 c CG auxiliary variables introduced 0
3600.02/3609.80 c CG solutions found 0
3600.02/3609.80 c CG cores constructed 0
3600.02/3609.80 c CG core cardinality constraints returned 0
3600.02/3609.80 c CG unit cores 0
3600.02/3609.80 c CG single cores 0
3600.02/3609.80 c CG blocks removed during cardinality reduction 0
3600.02/3609.80 c CG first core best 0
3600.02/3609.80 c CG decision core best 0
3600.02/3609.80 c CG core reduction tie 0
3600.02/3609.80 c CG core degree average 0.00
3600.02/3609.80 c CG core slack average 0.00
3600.02/3609.80 c CG exhausted 0
3600.02/3609.80 c CG exhaust time 0 s
3600.02/3609.80 c CG trimmed 0
3600.02/3609.80 c CG trim time 0 s
3600.02/3609.80 c CG minimized 0
3600.02/3609.80 c CG minimize time 0 s
3600.02/3609.80 c CG am1 prop time 1.8e-05 s
3600.02/3609.80 c CG # am1s reformulated 0
3600.02/3609.80 c CG lower bound derived from am1s 0
3600.02/3609.80 c CG # clausal cores 0
3600.02/3609.80 c CG # cardinality cores 0
3600.02/3609.80 c CG # pb cores 0
3600.02/3609.80 c CG # pb reforms 0
3600.02/3609.80 c CG # cores discarded because of pb reform 0
3600.02/3609.80 d LOWERBOUND 0
3600.02/3609.80 d NCORES 0
3600.02/3609.80 d NPBCORES 0
3600.02/3609.80 d NPBREFORM 0
3600.02/3609.80 d NTRIMMED 0
3600.02/3609.80 d NEXHAUSTED 0
3600.02/3609.80 d NAM1S 0
3600.02/3609.80 d AM1LB 0
3600.02/3609.80 c [Papilo Statistics]
3600.02/3609.80 c prepro time 0.000286655s
3600.02/3609.80 c # tsx applied 5
3600.02/3609.80 c # tsx conflicts 0
3600.02/3609.80 c # bound changes 0
3600.02/3609.80 c # side changes 5
3600.02/3609.80 c # coef changes 0
3600.02/3609.80 c # rounds 2
3600.02/3609.80 c # deted vars 0
3600.02/3609.80 c # deted constrs 5
3600.02/3609.80 c # consecutive rounds of only bound changes 0
3600.02/3609.80 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (46409 MiB free)
memory of node 1: 64465 MiB (61658 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528963-1752257645/watcher-4528963-1752257645 -o /tmp/evaluation-result-4528963-1752257645/solver-4528963-1752257645 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752257588-122190 --watchdog 3760 mixed-bag HOME/instance-4528963-1752257645.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=122338, runsolver pid=122335
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 3.44 3.40 3.77 5/264 122339
/proc/meminfo: memFree=110644048/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=104348 memory=30848 CPUtime=0.09 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 3896 0 0 0 8 1 0 0 20 0 1 0 141441097 106852352 7712 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 26087 7712 4256 2834 0 8292 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 104348 KiB
Current children cumulated memory: 30848 KiB
[startup+0.205399 s]*
/proc/loadavg: 3.44 3.40 3.77 5/264 122339
/proc/meminfo: memFree=110644048/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=104496 memory=31488 CPUtime=0.2 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 4047 0 0 0 19 1 0 0 20 0 1 0 141441097 107003904 7872 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 26124 7872 4256 2834 0 8329 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 104496 KiB
Current children cumulated memory: 31488 KiB
[startup+0.305342 s]*
/proc/loadavg: 3.44 3.40 3.77 5/264 122339
/proc/meminfo: memFree=110635984/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=104496 memory=31872 CPUtime=0.3 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 4134 0 0 0 29 1 0 0 20 0 1 0 141441097 107003904 7968 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 26124 7968 4256 2834 0 8329 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 104496 KiB
Current children cumulated memory: 31872 KiB
[startup+0.700172 s]
/proc/loadavg: 3.44 3.40 3.77 5/264 122339
/proc/meminfo: memFree=110635736/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=104808 memory=32512 CPUtime=0.68 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 4299 0 0 0 67 1 0 0 20 0 1 0 141441097 107323392 8128 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 26202 8128 4256 2834 0 8407 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 104808 KiB
Current children cumulated memory: 32512 KiB
[startup+1.50018 s]
/proc/loadavg: 3.44 3.40 3.77 5/264 122339
/proc/meminfo: memFree=110635736/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=107516 memory=34816 CPUtime=1.48 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 4879 0 0 0 147 1 0 0 20 0 1 0 141441097 110096384 8704 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 26879 8704 4256 2834 0 9084 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 107516 KiB
Current children cumulated memory: 34816 KiB
[startup+3.10525 s]
/proc/loadavg: 3.48 3.41 3.77 5/264 122339
/proc/meminfo: memFree=110635988/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=109580 memory=36480 CPUtime=3.08 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 5291 0 0 0 307 1 0 0 20 0 1 0 141441097 112209920 9120 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 27395 9120 4256 2834 0 9600 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 109580 KiB
Current children cumulated memory: 36480 KiB
[startup+6.30016 s]
/proc/loadavg: 3.48 3.41 3.77 5/264 122339
/proc/meminfo: memFree=110612056/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=117560 memory=45184 CPUtime=6.26 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 7464 0 0 0 624 2 0 0 20 0 1 0 141441097 120381440 11296 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 29390 11296 4256 2834 0 11595 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 117560 KiB
Current children cumulated memory: 45184 KiB
[startup+12.7002 s]
/proc/loadavg: 3.64 3.45 3.78 5/264 122339
/proc/meminfo: memFree=110601068/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=122936 memory=50688 CPUtime=12.64 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 8862 0 0 0 1262 2 0 0 20 0 1 0 141441097 125886464 12672 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 30734 12672 4256 2834 0 12939 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 122936 KiB
Current children cumulated memory: 50688 KiB
[startup+25.5002 s]
/proc/loadavg: 3.69 3.46 3.78 5/265 122341
/proc/meminfo: memFree=110546692/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=130568 memory=58752 CPUtime=25.38 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 10849 0 0 0 2536 2 0 0 20 0 1 0 141441097 133701632 14688 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 32642 14688 4256 2834 0 14847 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 130568 KiB
Current children cumulated memory: 58752 KiB
[startup+51.1052 s]
/proc/loadavg: 3.80 3.51 3.79 5/265 122341
/proc/meminfo: memFree=110421484/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=139100 memory=67956 CPUtime=50.9 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 13319 0 0 0 5087 3 0 0 20 0 1 0 141441097 142438400 16989 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 34775 16989 4256 2834 0 16980 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 139100 KiB
Current children cumulated memory: 67956 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 3.62 3.81 5/265 122343
/proc/meminfo: memFree=110314668/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=154544 memory=81652 CPUtime=101.9 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 16791 0 0 0 10186 4 0 0 20 0 1 0 141441097 158253056 20413 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 38636 20413 4256 2834 0 20841 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 154544 KiB
Current children cumulated memory: 81652 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.71 3.83 5/264 122345
/proc/meminfo: memFree=110177324/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=155364 memory=84212 CPUtime=161.67 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 17435 0 0 0 16162 5 0 0 20 0 1 0 141441097 159092736 21053 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 38841 21053 4256 2834 0 21046 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 155364 KiB
Current children cumulated memory: 84212 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 3.80 3.85 5/265 122354
/proc/meminfo: memFree=110033412/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=160812 memory=88608 CPUtime=221.45 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 18817 0 0 0 22139 6 0 0 20 0 1 0 141441097 164671488 22152 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 40203 22152 4256 2834 0 22408 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 160812 KiB
Current children cumulated memory: 88608 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.85 3.87 5/265 122807
/proc/meminfo: memFree=111276956/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=159652 memory=88440 CPUtime=281.19 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 18976 0 0 0 28111 8 0 0 20 0 1 0 141441097 163483648 22110 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 39913 22110 4256 2834 0 22118 0
Current children cumulated CPU time: 281.19 s
Current children cumulated vsize: 159652 KiB
Current children cumulated memory: 88440 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.89 3.89 5/265 122809
/proc/meminfo: memFree=111184700/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=155148 memory=93684 CPUtime=341.01 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 19051 0 0 0 34059 42 0 0 20 0 1 0 141441097 158871552 23421 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 38787 23421 4416 2834 0 20992 0
Current children cumulated CPU time: 341.01 s
Current children cumulated vsize: 155148 KiB
Current children cumulated memory: 93684 KiB
[startup+402.3 s]
/proc/loadavg: 4.37 4.01 3.93 5/264 122811
/proc/meminfo: memFree=111090192/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=157868 memory=93940 CPUtime=400.87 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 19146 0 0 0 40015 72 0 0 20 0 1 0 141441097 161656832 23485 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 39467 23485 4416 2834 0 21672 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 157868 KiB
Current children cumulated memory: 93940 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.03 3.95 5/265 122814
/proc/meminfo: memFree=111054992/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=157868 memory=94836 CPUtime=460.72 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 19357 0 0 0 45977 95 0 0 20 0 1 0 141441097 161656832 23709 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 39467 23709 4416 2834 0 21672 0
################
# More data... #
################
Current children cumulated memory: 104532 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 122942
/proc/meminfo: memFree=110905288/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=169468 memory=104532 CPUtime=2854.46 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 20746 0 0 0 284806 640 0 0 20 0 1 0 141441097 173535232 26133 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 42367 26133 4416 2834 0 24572 0
Current children cumulated CPU time: 2854.46 s
Current children cumulated vsize: 169468 KiB
Current children cumulated memory: 104532 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 122944
/proc/meminfo: memFree=110901408/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=169468 memory=104532 CPUtime=2914.31 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 20746 0 0 0 290783 648 0 0 20 0 1 0 141441097 173535232 26133 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 42367 26133 4416 2834 0 24572 0
Current children cumulated CPU time: 2914.31 s
Current children cumulated vsize: 169468 KiB
Current children cumulated memory: 104532 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/265 122946
/proc/meminfo: memFree=110901328/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=169468 memory=104532 CPUtime=2974.16 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 20746 0 0 0 296759 657 0 0 20 0 1 0 141441097 173535232 26133 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 42367 26133 4416 2834 0 24572 0
Current children cumulated CPU time: 2974.16 s
Current children cumulated vsize: 169468 KiB
Current children cumulated memory: 104532 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/265 122948
/proc/meminfo: memFree=110898248/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=169468 memory=104532 CPUtime=3034 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 20746 0 0 0 302734 666 0 0 20 0 1 0 141441097 173535232 26133 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 42367 26133 4416 2834 0 24572 0
Current children cumulated CPU time: 3034 s
Current children cumulated vsize: 169468 KiB
Current children cumulated memory: 104532 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 122950
/proc/meminfo: memFree=110897860/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=169468 memory=104532 CPUtime=3093.85 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 20746 0 0 0 308710 675 0 0 20 0 1 0 141441097 173535232 26133 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 42367 26133 4416 2834 0 24572 0
Current children cumulated CPU time: 3093.85 s
Current children cumulated vsize: 169468 KiB
Current children cumulated memory: 104532 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 122952
/proc/meminfo: memFree=110897404/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=169468 memory=104532 CPUtime=3153.7 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 20746 0 0 0 314686 684 0 0 20 0 1 0 141441097 173535232 26133 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 42367 26133 4416 2834 0 24572 0
Current children cumulated CPU time: 3153.7 s
Current children cumulated vsize: 169468 KiB
Current children cumulated memory: 104532 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 122961
/proc/meminfo: memFree=110897796/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=169468 memory=104532 CPUtime=3213.54 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 20746 0 0 0 320662 692 0 0 20 0 1 0 141441097 173535232 26133 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 42367 26133 4416 2834 0 24572 0
Current children cumulated CPU time: 3213.54 s
Current children cumulated vsize: 169468 KiB
Current children cumulated memory: 104532 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/263 122963
/proc/meminfo: memFree=110898384/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=169468 memory=104532 CPUtime=3273.39 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 20746 0 0 0 326638 701 0 0 20 0 1 0 141441097 173535232 26133 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 42367 26133 4416 2834 0 24572 0
Current children cumulated CPU time: 3273.39 s
Current children cumulated vsize: 169468 KiB
Current children cumulated memory: 104532 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 122965
/proc/meminfo: memFree=110898560/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=169468 memory=104532 CPUtime=3333.24 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 20746 0 0 0 332614 710 0 0 20 0 1 0 141441097 173535232 26133 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 42367 26133 4416 2834 0 24572 0
Current children cumulated CPU time: 3333.24 s
Current children cumulated vsize: 169468 KiB
Current children cumulated memory: 104532 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 122968
/proc/meminfo: memFree=110898184/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=169468 memory=104532 CPUtime=3393.07 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 20746 0 0 0 338591 716 0 0 20 0 1 0 141441097 173535232 26133 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 42367 26133 4416 2834 0 24572 0
Current children cumulated CPU time: 3393.07 s
Current children cumulated vsize: 169468 KiB
Current children cumulated memory: 104532 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 122970
/proc/meminfo: memFree=110898064/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=169468 memory=104532 CPUtime=3452.92 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 20775 0 0 0 344567 725 0 0 20 0 1 0 141441097 173535232 26133 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 42367 26133 4416 2834 0 24572 0
Current children cumulated CPU time: 3452.92 s
Current children cumulated vsize: 169468 KiB
Current children cumulated memory: 104532 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 122971
/proc/meminfo: memFree=110898328/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=169468 memory=104532 CPUtime=3512.76 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 20779 0 0 0 350543 733 0 0 20 0 1 0 141441097 173535232 26133 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 42367 26133 4416 2834 0 24572 0
Current children cumulated CPU time: 3512.76 s
Current children cumulated vsize: 169468 KiB
Current children cumulated memory: 104532 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 123017
/proc/meminfo: memFree=110796468/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=169468 memory=104532 CPUtime=3572.59 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 20779 0 0 0 356516 743 0 0 20 0 1 0 141441097 173535232 26133 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 42367 26133 4416 2834 0 24572 0
Current children cumulated CPU time: 3572.59 s
Current children cumulated vsize: 169468 KiB
Current children cumulated memory: 104532 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 123018
/proc/meminfo: memFree=110796412/131250000 swapFree=33008356/33010684
[pid=122338] ppid=122335 vsize=169468 memory=104532 CPUtime=3600.02 cores=4,6
/proc/122338/stat : 122338 (mixed-bag) R 122335 122338 122179 0 -1 4194304 20779 0 0 0 359253 749 0 0 20 0 1 0 141441097 173535232 26133 18446744073709551615 4235264 15840557 140732847528128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 43556864 140732847532442 140732847532519 140732847532519 140732847538123 0
/proc/122338/statm: 42367 26133 4416 2834 0 24572 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 169468 KiB
Current children cumulated memory: 104532 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 122338 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.54 s, system=7.49424 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.8
CPU time (s): 3600.03
CPU user time (s): 3592.54
CPU system time (s): 7.49424
CPU usage (%): 99.7293
Max. virtual memory (cumulated for all children) (KiB): 169468
Max. memory (cumulated for all children) (KiB): 104532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.54
system time used= 7.49424
maximum resident set size= 105172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20807
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 139
involuntary context switches= 3043
# summary of solver processes directly reported to runsolver:
# pid: 122338
# total CPU time (s): 3600.03
# total CPU user time (s): 3592.54
# total CPU system time (s): 7.49424
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.53831 second user time and 14.9965 second system time
The end
Begin job on nodeC014 at 2025-07-11 20:14:05
IDJOB=4528963
IDBENCH=147589
IDSOLVER=3386
FILE ID=nodeC014/4528963-1752257645
RUNJOBID= nodeC014-1752257588-122190
SLURM_JOB_ID= 9682608
Free space on /tmp= 430412 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_4.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528963-1752257645/watcher-4528963-1752257645 -o /tmp/evaluation-result-4528963-1752257645/solver-4528963-1752257645 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752257588-122190 --watchdog 3760 mixed-bag HOME/instance-4528963-1752257645.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8ec3b633bd42b6cf315d15d8b6de5e8f
RANDOM SEED=539242164
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.123
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.134
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.126
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3623.227
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.156
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.131
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 110661752 kB
MemAvailable: 128227268 kB
Buffers: 696 kB
Cached: 18315472 kB
SwapCached: 1628 kB
Active: 1900208 kB
Inactive: 17944796 kB
Active(anon): 1522420 kB
Inactive(anon): 31012 kB
Active(file): 377788 kB
Inactive(file): 17913784 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15524 kB
Writeback: 12 kB
AnonPages: 1530332 kB
Mapped: 139268 kB
Shmem: 24596 kB
KReclaimable: 226368 kB
Slab: 320660 kB
SReclaimable: 226368 kB
SUnreclaim: 94292 kB
KernelStack: 4192 kB
PageTables: 6348 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2059340 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 804864 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430452 MiB
End job on nodeC014 at 2025-07-11 21:14:15