0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] preprocessing with Papilo
0.00/0.01 c Papilo could not simplify the problem
0.00/0.01 c [STEP] solving with SCIP
299.50/300.36 c [STEP] preprocessing done, loading into solver
299.50/300.36 c [STEP] solving
299.50/300.36 c #variables 883 #constraints 1664
299.50/300.36 c SMALL=int, LARGE=long long
299.50/300.36 d SCIPUB -270
299.50/300.36 c bounds - >= -6570 @ 299.092
299.50/300.36 c stratification level: 32
328.54/329.41 c bounds - >= -6538 @ 299.093
328.54/329.41 c bounds - >= -6506 @ 299.093
328.54/329.41 c bounds - >= -6474 @ 299.093
328.54/329.41 c bounds - >= -6442 @ 299.093
328.54/329.41 c bounds - >= -6410 @ 299.093
328.54/329.41 c bounds - >= -6378 @ 299.093
328.54/329.41 c bounds - >= -6346 @ 299.093
328.54/329.41 c bounds - >= -6314 @ 299.093
328.54/329.41 c bounds - >= -6282 @ 299.093
328.54/329.41 c bounds - >= -6250 @ 299.093
328.54/329.41 c bounds - >= -6218 @ 299.094
328.54/329.41 c bounds - >= -6186 @ 299.094
328.54/329.41 c bounds - >= -6154 @ 299.094
328.54/329.41 c bounds - >= -6122 @ 299.094
328.54/329.41 c bounds - >= -6090 @ 299.094
328.54/329.41 c bounds - >= -6058 @ 299.094
328.54/329.41 c bounds - >= -6026 @ 299.094
328.54/329.41 c bounds - >= -5994 @ 299.094
328.54/329.41 c bounds - >= -5962 @ 299.094
328.54/329.41 c bounds - >= -5930 @ 299.094
328.54/329.41 c #Conflicts: 1000 | #Constraints: 2684
328.54/329.41 c #Conflicts: 2000 | #Constraints: 3684
328.54/329.41 c INPROCESSING
328.54/329.41 c GARBAGE COLLECT
328.54/329.41 c #Conflicts: 3000 | #Constraints: 3674
328.54/329.41 c #Conflicts: 4000 | #Constraints: 4674
328.54/329.41 c INPROCESSING
328.54/329.41 c GARBAGE COLLECT
328.54/329.41 c #Conflicts: 5000 | #Constraints: 4088
328.54/329.41 c #Conflicts: 6000 | #Constraints: 5088
328.54/329.41 c INPROCESSING
328.54/329.41 c GARBAGE COLLECT
328.54/329.41 c #Conflicts: 7000 | #Constraints: 4107
328.54/329.41 c #Conflicts: 8000 | #Constraints: 5107
328.54/329.41 c #Conflicts: 9000 | #Constraints: 6107
328.54/329.41 c INPROCESSING
328.54/329.41 c GARBAGE COLLECT
328.54/329.41 c #Conflicts: 10000 | #Constraints: 4825
328.54/329.41 c #Conflicts: 11000 | #Constraints: 5825
328.54/329.41 c #Conflicts: 12000 | #Constraints: 6825
328.54/329.41 c INPROCESSING
328.54/329.41 c GARBAGE COLLECT
328.54/329.41 c #Conflicts: 13000 | #Constraints: 5294
328.54/329.41 c #Conflicts: 14000 | #Constraints: 6294
328.54/329.41 c #Conflicts: 15000 | #Constraints: 7294
328.54/329.41 c INPROCESSING
328.54/329.41 c GARBAGE COLLECT
328.54/329.41 c #Conflicts: 16000 | #Constraints: 5537
328.54/329.41 c #Conflicts: 17000 | #Constraints: 6537
328.54/329.41 c #Conflicts: 18000 | #Constraints: 7537
328.54/329.41 c INPROCESSING
328.54/329.41 c GARBAGE COLLECT
328.54/329.41 c #Conflicts: 19000 | #Constraints: 5563
328.54/329.41 c #Conflicts: 20000 | #Constraints: 6563
328.54/329.41 c #Conflicts: 21000 | #Constraints: 7563
328.54/329.41 c INPROCESSING
328.54/329.41 c GARBAGE COLLECT
328.54/329.41 c #Conflicts: 22000 | #Constraints: 5381
328.54/329.41 c #Conflicts: 23000 | #Constraints: 6381
328.54/329.41 c #Conflicts: 24000 | #Constraints: 7381
328.54/329.41 c #Conflicts: 25000 | #Constraints: 8381
328.54/329.41 c INPROCESSING
328.54/329.41 c GARBAGE COLLECT
328.54/329.41 c #Conflicts: 26000 | #Constraints: 5995
328.54/329.41 c #Conflicts: 27000 | #Constraints: 6995
328.54/329.41 c #Conflicts: 28000 | #Constraints: 7995
328.54/329.41 c #Conflicts: 29000 | #Constraints: 8995
328.54/329.41 c INPROCESSING
328.54/329.41 c GARBAGE COLLECT
328.54/329.41 c #Conflicts: 30000 | #Constraints: 6404
328.54/329.41 c #Conflicts: 31000 | #Constraints: 7404
328.54/329.41 c #Conflicts: 32000 | #Constraints: 8404
328.54/329.41 c #Conflicts: 33000 | #Constraints: 9404
328.54/329.41 c INPROCESSING
328.54/329.41 c GARBAGE COLLECT
328.54/329.41 c #Conflicts: 34000 | #Constraints: 6612
328.54/329.41 c #Conflicts: 35000 | #Constraints: 7612
328.54/329.41 c #Conflicts: 36000 | #Constraints: 8612
328.54/329.41 c #Conflicts: 37000 | #Constraints: 9612
328.54/329.41 c INPROCESSING
328.54/329.41 c GARBAGE COLLECT
328.54/329.41 c #Conflicts: 38000 | #Constraints: 6621
328.54/329.41 c #Conflicts: 39000 | #Constraints: 7621
328.54/329.41 c #Conflicts: 40000 | #Constraints: 8621
328.54/329.41 c #Conflicts: 41000 | #Constraints: 9621
328.54/329.41 c INPROCESSING
328.54/329.41 c GARBAGE COLLECT
328.54/329.41 c #Conflicts: 42000 | #Constraints: 6425
328.54/329.41 c #Conflicts: 43000 | #Constraints: 7425
328.54/329.41 c #Conflicts: 44000 | #Constraints: 8425
328.54/329.41 c #Conflicts: 45000 | #Constraints: 9425
328.54/329.41 c #Conflicts: 46000 | #Constraints: 10425
328.54/329.41 c INPROCESSING
328.54/329.41 c GARBAGE COLLECT
328.54/329.41 c #Conflicts: 47000 | #Constraints: 7027
328.54/329.41 c #Conflicts: 48000 | #Constraints: 8027
328.54/329.41 c #Conflicts: 49000 | #Constraints: 9027
328.54/329.41 c #Conflicts: 50000 | #Constraints: 10027
328.54/329.41 c #Conflicts: 51000 | #Constraints: 11027
328.54/329.41 c INPROCESSING
328.54/329.41 c GARBAGE COLLECT
328.54/329.41 c #Conflicts: 52000 | #Constraints: 7427
328.54/329.41 c #Conflicts: 53000 | #Constraints: 8427
328.54/329.41 c #Conflicts: 54000 | #Constraints: 9427
328.54/329.41 c #Conflicts: 55000 | #Constraints: 10427
328.54/329.41 c #Conflicts: 56000 | #Constraints: 11427
328.54/329.41 c INPROCESSING
328.54/329.41 c GARBAGE COLLECT
328.54/329.41 c #Conflicts: 57000 | #Constraints: 7630
328.54/329.41 c #Conflicts: 58000 | #Constraints: 8630
377.93/378.92 c #Conflicts: 59000 | #Constraints: 9630
377.93/378.92 c #Conflicts: 60000 | #Constraints: 10630
377.93/378.92 c #Conflicts: 61000 | #Constraints: 11630
377.93/378.92 c INPROCESSING
377.93/378.92 c GARBAGE COLLECT
377.93/378.92 c #Conflicts: 62000 | #Constraints: 7633
377.93/378.92 c #Conflicts: 63000 | #Constraints: 8633
377.93/378.92 c #Conflicts: 64000 | #Constraints: 9633
377.93/378.92 c #Conflicts: 65000 | #Constraints: 10633
377.93/378.92 c #Conflicts: 66000 | #Constraints: 11633
377.93/378.92 c INPROCESSING
377.93/378.92 c GARBAGE COLLECT
377.93/378.92 c #Conflicts: 67000 | #Constraints: 7432
377.93/378.92 c #Conflicts: 68000 | #Constraints: 8432
377.93/378.92 c #Conflicts: 69000 | #Constraints: 9432
377.93/378.92 c #Conflicts: 70000 | #Constraints: 10432
377.93/378.92 c #Conflicts: 71000 | #Constraints: 11432
377.93/378.92 c #Conflicts: 72000 | #Constraints: 12432
377.93/378.92 c INPROCESSING
377.93/378.92 c GARBAGE COLLECT
377.93/378.92 c #Conflicts: 73000 | #Constraints: 8037
377.93/378.92 c #Conflicts: 74000 | #Constraints: 9037
377.93/378.92 c #Conflicts: 75000 | #Constraints: 10037
377.93/378.92 c #Conflicts: 76000 | #Constraints: 11037
377.93/378.92 c #Conflicts: 77000 | #Constraints: 12037
377.93/378.92 c #Conflicts: 78000 | #Constraints: 13037
377.93/378.92 c INPROCESSING
377.93/378.92 c GARBAGE COLLECT
377.93/378.92 c #Conflicts: 79000 | #Constraints: 8439
377.93/378.92 c #Conflicts: 80000 | #Constraints: 9439
377.93/378.92 c #Conflicts: 81000 | #Constraints: 10439
377.93/378.92 c #Conflicts: 82000 | #Constraints: 11439
377.93/378.92 c #Conflicts: 83000 | #Constraints: 12439
377.93/378.92 c #Conflicts: 84000 | #Constraints: 13439
377.93/378.92 c INPROCESSING
377.93/378.92 c GARBAGE COLLECT
377.93/378.92 c #Conflicts: 85000 | #Constraints: 8641
377.93/378.92 c #Conflicts: 86000 | #Constraints: 9641
377.93/378.92 c #Conflicts: 87000 | #Constraints: 10641
377.93/378.92 c #Conflicts: 88000 | #Constraints: 11641
377.93/378.92 c #Conflicts: 89000 | #Constraints: 12641
377.93/378.92 c #Conflicts: 90000 | #Constraints: 13641
377.93/378.92 c INPROCESSING
377.93/378.92 c GARBAGE COLLECT
377.93/378.92 c #Conflicts: 91000 | #Constraints: 8647
377.93/378.92 c #Conflicts: 92000 | #Constraints: 9647
377.93/378.92 c #Conflicts: 93000 | #Constraints: 10647
377.93/378.92 c #Conflicts: 94000 | #Constraints: 11647
377.93/378.92 c #Conflicts: 95000 | #Constraints: 12647
377.93/378.92 c #Conflicts: 96000 | #Constraints: 13647
377.93/378.92 c INPROCESSING
377.93/378.92 c GARBAGE COLLECT
377.93/378.92 c #Conflicts: 97000 | #Constraints: 8447
377.93/378.92 c #Conflicts: 98000 | #Constraints: 9447
377.93/378.92 c #Conflicts: 99000 | #Constraints: 10447
377.93/378.92 c #Conflicts: 100000 | #Constraints: 11447
377.93/378.92 c #Conflicts: 101000 | #Constraints: 12447
377.93/378.92 c #Conflicts: 102000 | #Constraints: 13447
377.93/378.92 c #Conflicts: 103000 | #Constraints: 14447
377.93/378.92 c INPROCESSING
377.93/378.92 c GARBAGE COLLECT
377.93/378.92 c #Conflicts: 104000 | #Constraints: 9048
377.93/378.92 c #Conflicts: 105000 | #Constraints: 10048
377.93/378.92 c #Conflicts: 106000 | #Constraints: 11048
377.93/378.92 c #Conflicts: 107000 | #Constraints: 12048
377.93/378.92 c #Conflicts: 108000 | #Constraints: 13048
377.93/378.92 c #Conflicts: 109000 | #Constraints: 14048
377.93/378.92 c #Conflicts: 110000 | #Constraints: 15048
377.93/378.92 c INPROCESSING
377.93/378.92 c GARBAGE COLLECT
377.93/378.92 c #Conflicts: 111000 | #Constraints: 9448
377.93/378.92 c #Conflicts: 112000 | #Constraints: 10448
377.93/378.92 c #Conflicts: 113000 | #Constraints: 11448
377.93/378.92 c #Conflicts: 114000 | #Constraints: 12448
377.93/378.92 c #Conflicts: 115000 | #Constraints: 13448
377.93/378.92 c #Conflicts: 116000 | #Constraints: 14448
377.93/378.92 c #Conflicts: 117000 | #Constraints: 15448
377.93/378.92 c INPROCESSING
377.93/378.92 c GARBAGE COLLECT
377.93/378.92 c #Conflicts: 118000 | #Constraints: 9647
377.93/378.92 c #Conflicts: 119000 | #Constraints: 10647
377.93/378.92 c #Conflicts: 120000 | #Constraints: 11647
377.93/378.92 c #Conflicts: 121000 | #Constraints: 12647
377.93/378.92 c #Conflicts: 122000 | #Constraints: 13647
377.93/378.92 c #Conflicts: 123000 | #Constraints: 14647
377.93/378.92 c #Conflicts: 124000 | #Constraints: 15647
377.93/378.92 c INPROCESSING
377.93/378.92 c GARBAGE COLLECT
377.93/378.92 c #Conflicts: 125000 | #Constraints: 9643
377.93/378.92 c #Conflicts: 126000 | #Constraints: 10643
377.93/378.92 c #Conflicts: 127000 | #Constraints: 11643
377.93/378.92 c #Conflicts: 128000 | #Constraints: 12643
377.93/378.92 c #Conflicts: 129000 | #Constraints: 13643
437.48/438.66 c #Conflicts: 130000 | #Constraints: 14643
437.48/438.66 c #Conflicts: 131000 | #Constraints: 15643
437.48/438.66 c INPROCESSING
437.48/438.66 c GARBAGE COLLECT
437.48/438.66 c #Conflicts: 132000 | #Constraints: 9443
437.48/438.66 c #Conflicts: 133000 | #Constraints: 10443
437.48/438.66 c #Conflicts: 134000 | #Constraints: 11443
437.48/438.66 c #Conflicts: 135000 | #Constraints: 12443
437.48/438.66 c #Conflicts: 136000 | #Constraints: 13443
437.48/438.66 c #Conflicts: 137000 | #Constraints: 14443
437.48/438.66 c #Conflicts: 138000 | #Constraints: 15443
437.48/438.66 c #Conflicts: 139000 | #Constraints: 16443
437.48/438.66 c INPROCESSING
437.48/438.66 c GARBAGE COLLECT
437.48/438.66 c #Conflicts: 140000 | #Constraints: 10046
437.48/438.66 c #Conflicts: 141000 | #Constraints: 11046
437.48/438.66 c #Conflicts: 142000 | #Constraints: 12046
437.48/438.66 c #Conflicts: 143000 | #Constraints: 13046
437.48/438.66 c #Conflicts: 144000 | #Constraints: 14046
437.48/438.66 c #Conflicts: 145000 | #Constraints: 15046
437.48/438.66 c #Conflicts: 146000 | #Constraints: 16046
437.48/438.66 c #Conflicts: 147000 | #Constraints: 17046
437.48/438.66 c INPROCESSING
437.48/438.66 c GARBAGE COLLECT
437.48/438.66 c #Conflicts: 148000 | #Constraints: 10447
437.48/438.66 c #Conflicts: 149000 | #Constraints: 11447
437.48/438.66 c #Conflicts: 150000 | #Constraints: 12447
437.48/438.66 c #Conflicts: 151000 | #Constraints: 13447
437.48/438.66 c #Conflicts: 152000 | #Constraints: 14447
437.48/438.66 c #Conflicts: 153000 | #Constraints: 15447
437.48/438.66 c #Conflicts: 154000 | #Constraints: 16447
437.48/438.66 c #Conflicts: 155000 | #Constraints: 17447
437.48/438.66 c INPROCESSING
437.48/438.66 c GARBAGE COLLECT
437.48/438.66 c #Conflicts: 156000 | #Constraints: 10645
437.48/438.66 c #Conflicts: 157000 | #Constraints: 11645
437.48/438.66 c #Conflicts: 158000 | #Constraints: 12645
437.48/438.66 c #Conflicts: 159000 | #Constraints: 13645
437.48/438.66 c #Conflicts: 160000 | #Constraints: 14645
437.48/438.66 c #Conflicts: 161000 | #Constraints: 15645
437.48/438.66 c #Conflicts: 162000 | #Constraints: 16645
437.48/438.66 c #Conflicts: 163000 | #Constraints: 17645
437.48/438.66 c INPROCESSING
437.48/438.66 c GARBAGE COLLECT
437.48/438.66 c #Conflicts: 164000 | #Constraints: 10646
437.48/438.66 c #Conflicts: 165000 | #Constraints: 11646
437.48/438.66 c #Conflicts: 166000 | #Constraints: 12646
437.48/438.66 c #Conflicts: 167000 | #Constraints: 13646
437.48/438.66 c #Conflicts: 168000 | #Constraints: 14646
437.48/438.66 c #Conflicts: 169000 | #Constraints: 15646
437.48/438.66 c #Conflicts: 170000 | #Constraints: 16646
437.48/438.66 c #Conflicts: 171000 | #Constraints: 17646
437.48/438.66 c INPROCESSING
437.48/438.66 c GARBAGE COLLECT
437.48/438.66 c #Conflicts: 172000 | #Constraints: 10449
437.48/438.66 c #Conflicts: 173000 | #Constraints: 11449
437.48/438.66 c #Conflicts: 174000 | #Constraints: 12449
437.48/438.66 c #Conflicts: 175000 | #Constraints: 13449
437.48/438.66 c #Conflicts: 176000 | #Constraints: 14449
437.48/438.66 c #Conflicts: 177000 | #Constraints: 15449
437.48/438.66 c #Conflicts: 178000 | #Constraints: 16449
437.48/438.66 c #Conflicts: 179000 | #Constraints: 17449
437.48/438.66 c #Conflicts: 180000 | #Constraints: 18449
437.48/438.66 c INPROCESSING
437.48/438.66 c GARBAGE COLLECT
437.48/438.66 c #Conflicts: 181000 | #Constraints: 11046
437.48/438.66 c #Conflicts: 182000 | #Constraints: 12046
437.48/438.66 c #Conflicts: 183000 | #Constraints: 13046
437.48/438.66 c #Conflicts: 184000 | #Constraints: 14046
437.48/438.66 c #Conflicts: 185000 | #Constraints: 15046
437.48/438.66 c #Conflicts: 186000 | #Constraints: 16046
437.48/438.66 c #Conflicts: 187000 | #Constraints: 17046
437.48/438.66 c #Conflicts: 188000 | #Constraints: 18046
437.48/438.66 c #Conflicts: 189000 | #Constraints: 19046
437.48/438.66 c INPROCESSING
437.48/438.66 c GARBAGE COLLECT
437.48/438.66 c #Conflicts: 190000 | #Constraints: 11448
437.48/438.66 c #Conflicts: 191000 | #Constraints: 12448
437.48/438.66 c #Conflicts: 192000 | #Constraints: 13448
437.48/438.66 c #Conflicts: 193000 | #Constraints: 14448
437.48/438.66 c #Conflicts: 194000 | #Constraints: 15448
437.48/438.66 c #Conflicts: 195000 | #Constraints: 16448
437.48/438.66 c #Conflicts: 196000 | #Constraints: 17448
437.48/438.66 c #Conflicts: 197000 | #Constraints: 18448
437.48/438.66 c #Conflicts: 198000 | #Constraints: 19448
437.48/438.66 c INPROCESSING
437.48/438.66 c GARBAGE COLLECT
437.48/438.66 c #Conflicts: 199000 | #Constraints: 11650
437.48/438.66 c #Conflicts: 200000 | #Constraints: 12650
437.48/438.66 c #Conflicts: 201000 | #Constraints: 13650
437.48/438.66 c #Conflicts: 202000 | #Constraints: 14650
515.80/517.19 c #Conflicts: 203000 | #Constraints: 15650
515.80/517.19 c #Conflicts: 204000 | #Constraints: 16650
515.80/517.19 c #Conflicts: 205000 | #Constraints: 17650
515.80/517.19 c #Conflicts: 206000 | #Constraints: 18650
515.80/517.19 c #Conflicts: 207000 | #Constraints: 19650
515.80/517.19 c INPROCESSING
515.80/517.19 c GARBAGE COLLECT
515.80/517.19 c #Conflicts: 208000 | #Constraints: 11652
515.80/517.19 c #Conflicts: 209000 | #Constraints: 12652
515.80/517.19 c #Conflicts: 210000 | #Constraints: 13652
515.80/517.19 c #Conflicts: 211000 | #Constraints: 14652
515.80/517.19 c #Conflicts: 212000 | #Constraints: 15652
515.80/517.19 c #Conflicts: 213000 | #Constraints: 16652
515.80/517.19 c #Conflicts: 214000 | #Constraints: 17652
515.80/517.19 c #Conflicts: 215000 | #Constraints: 18652
515.80/517.19 c #Conflicts: 216000 | #Constraints: 19652
515.80/517.19 c INPROCESSING
515.80/517.19 c GARBAGE COLLECT
515.80/517.19 c #Conflicts: 217000 | #Constraints: 11452
515.80/517.19 c #Conflicts: 218000 | #Constraints: 12452
515.80/517.19 c #Conflicts: 219000 | #Constraints: 13452
515.80/517.19 c #Conflicts: 220000 | #Constraints: 14452
515.80/517.19 c #Conflicts: 221000 | #Constraints: 15452
515.80/517.19 c #Conflicts: 222000 | #Constraints: 16452
515.80/517.19 c #Conflicts: 223000 | #Constraints: 17452
515.80/517.19 c #Conflicts: 224000 | #Constraints: 18452
515.80/517.19 c #Conflicts: 225000 | #Constraints: 19452
515.80/517.19 c #Conflicts: 226000 | #Constraints: 20452
515.80/517.19 c INPROCESSING
515.80/517.19 c GARBAGE COLLECT
515.80/517.19 c #Conflicts: 227000 | #Constraints: 12056
515.80/517.19 c #Conflicts: 228000 | #Constraints: 13056
515.80/517.19 c #Conflicts: 229000 | #Constraints: 14056
515.80/517.19 c #Conflicts: 230000 | #Constraints: 15056
515.80/517.19 c #Conflicts: 231000 | #Constraints: 16056
515.80/517.19 c #Conflicts: 232000 | #Constraints: 17056
515.80/517.19 c #Conflicts: 233000 | #Constraints: 18056
515.80/517.19 c #Conflicts: 234000 | #Constraints: 19056
515.80/517.19 c #Conflicts: 235000 | #Constraints: 20056
515.80/517.19 c #Conflicts: 236000 | #Constraints: 21056
515.80/517.19 c INPROCESSING
515.80/517.19 c GARBAGE COLLECT
515.80/517.19 c #Conflicts: 237000 | #Constraints: 12451
515.80/517.19 c #Conflicts: 238000 | #Constraints: 13451
515.80/517.19 c #Conflicts: 239000 | #Constraints: 14451
515.80/517.19 c #Conflicts: 240000 | #Constraints: 15451
515.80/517.19 c #Conflicts: 241000 | #Constraints: 16451
515.80/517.19 c #Conflicts: 242000 | #Constraints: 17451
515.80/517.19 c #Conflicts: 243000 | #Constraints: 18451
515.80/517.19 c #Conflicts: 244000 | #Constraints: 19451
515.80/517.19 c #Conflicts: 245000 | #Constraints: 20451
515.80/517.19 c #Conflicts: 246000 | #Constraints: 21451
515.80/517.19 c INPROCESSING
515.80/517.19 c GARBAGE COLLECT
515.80/517.19 c #Conflicts: 247000 | #Constraints: 12653
515.80/517.19 c #Conflicts: 248000 | #Constraints: 13653
515.80/517.19 c #Conflicts: 249000 | #Constraints: 14653
515.80/517.19 c #Conflicts: 250000 | #Constraints: 15653
515.80/517.19 c #Conflicts: 251000 | #Constraints: 16653
515.80/517.19 c #Conflicts: 252000 | #Constraints: 17653
515.80/517.19 c #Conflicts: 253000 | #Constraints: 18653
515.80/517.19 c #Conflicts: 254000 | #Constraints: 19653
515.80/517.19 c #Conflicts: 255000 | #Constraints: 20653
515.80/517.19 c #Conflicts: 256000 | #Constraints: 21653
515.80/517.19 c INPROCESSING
515.80/517.19 c GARBAGE COLLECT
515.80/517.19 c #Conflicts: 257000 | #Constraints: 12654
515.80/517.19 c #Conflicts: 258000 | #Constraints: 13654
515.80/517.19 c #Conflicts: 259000 | #Constraints: 14654
515.80/517.19 c #Conflicts: 260000 | #Constraints: 15654
515.80/517.19 c #Conflicts: 261000 | #Constraints: 16654
515.80/517.19 c #Conflicts: 262000 | #Constraints: 17654
515.80/517.19 c #Conflicts: 263000 | #Constraints: 18654
515.80/517.19 c #Conflicts: 264000 | #Constraints: 19654
515.80/517.19 c #Conflicts: 265000 | #Constraints: 20654
515.80/517.19 c #Conflicts: 266000 | #Constraints: 21654
515.80/517.19 c INPROCESSING
515.80/517.19 c GARBAGE COLLECT
515.80/517.19 c #Conflicts: 267000 | #Constraints: 12450
515.80/517.19 c #Conflicts: 268000 | #Constraints: 13450
515.80/517.19 c #Conflicts: 269000 | #Constraints: 14450
515.80/517.19 c #Conflicts: 270000 | #Constraints: 15450
515.80/517.19 c #Conflicts: 271000 | #Constraints: 16450
515.80/517.19 c #Conflicts: 272000 | #Constraints: 17450
515.80/517.19 c #Conflicts: 273000 | #Constraints: 18450
515.80/517.19 c #Conflicts: 274000 | #Constraints: 19450
515.80/517.19 c #Conflicts: 275000 | #Constraints: 20450
515.80/517.19 c #Conflicts: 276000 | #Constraints: 21450
515.80/517.19 c #Conflicts: 277000 | #Constraints: 22450
606.18/607.75 c INPROCESSING
606.18/607.75 c GARBAGE COLLECT
606.18/607.75 c #Conflicts: 278000 | #Constraints: 13049
606.18/607.75 c #Conflicts: 279000 | #Constraints: 14049
606.18/607.75 c #Conflicts: 280000 | #Constraints: 15049
606.18/607.75 c #Conflicts: 281000 | #Constraints: 16049
606.18/607.75 c #Conflicts: 282000 | #Constraints: 17049
606.18/607.75 c #Conflicts: 283000 | #Constraints: 18049
606.18/607.75 c #Conflicts: 284000 | #Constraints: 19049
606.18/607.75 c #Conflicts: 285000 | #Constraints: 20049
606.18/607.75 c #Conflicts: 286000 | #Constraints: 21049
606.18/607.75 c #Conflicts: 287000 | #Constraints: 22049
606.18/607.75 c #Conflicts: 288000 | #Constraints: 23049
606.18/607.75 c INPROCESSING
606.18/607.75 c GARBAGE COLLECT
606.18/607.75 c #Conflicts: 289000 | #Constraints: 13451
606.18/607.75 c #Conflicts: 290000 | #Constraints: 14451
606.18/607.75 c #Conflicts: 291000 | #Constraints: 15451
606.18/607.75 c #Conflicts: 292000 | #Constraints: 16451
606.18/607.75 c #Conflicts: 293000 | #Constraints: 17451
606.18/607.75 c #Conflicts: 294000 | #Constraints: 18451
606.18/607.75 c #Conflicts: 295000 | #Constraints: 19451
606.18/607.75 c #Conflicts: 296000 | #Constraints: 20451
606.18/607.75 c #Conflicts: 297000 | #Constraints: 21451
606.18/607.75 c #Conflicts: 298000 | #Constraints: 22451
606.18/607.75 c #Conflicts: 299000 | #Constraints: 23451
606.18/607.75 c INPROCESSING
606.18/607.75 c GARBAGE COLLECT
606.18/607.75 c #Conflicts: 300000 | #Constraints: 13655
606.18/607.75 c #Conflicts: 301000 | #Constraints: 14655
606.18/607.75 c #Conflicts: 302000 | #Constraints: 15655
606.18/607.75 c #Conflicts: 303000 | #Constraints: 16655
606.18/607.75 c #Conflicts: 304000 | #Constraints: 17655
606.18/607.75 c #Conflicts: 305000 | #Constraints: 18655
606.18/607.75 c #Conflicts: 306000 | #Constraints: 19655
606.18/607.75 c #Conflicts: 307000 | #Constraints: 20655
606.18/607.75 c #Conflicts: 308000 | #Constraints: 21655
606.18/607.75 c #Conflicts: 309000 | #Constraints: 22655
606.18/607.75 c #Conflicts: 310000 | #Constraints: 23655
606.18/607.75 c INPROCESSING
606.18/607.75 c GARBAGE COLLECT
606.18/607.75 c #Conflicts: 311000 | #Constraints: 13651
606.18/607.75 c #Conflicts: 312000 | #Constraints: 14651
606.18/607.75 c #Conflicts: 313000 | #Constraints: 15651
606.18/607.75 c #Conflicts: 314000 | #Constraints: 16651
606.18/607.75 c #Conflicts: 315000 | #Constraints: 17651
606.18/607.75 c #Conflicts: 316000 | #Constraints: 18651
606.18/607.75 c #Conflicts: 317000 | #Constraints: 19651
606.18/607.75 c #Conflicts: 318000 | #Constraints: 20651
606.18/607.75 c #Conflicts: 319000 | #Constraints: 21651
606.18/607.75 c #Conflicts: 320000 | #Constraints: 22651
606.18/607.75 c #Conflicts: 321000 | #Constraints: 23651
606.18/607.75 c INPROCESSING
606.18/607.75 c GARBAGE COLLECT
606.18/607.75 c #Conflicts: 322000 | #Constraints: 13450
606.18/607.75 c #Conflicts: 323000 | #Constraints: 14450
606.18/607.75 c #Conflicts: 324000 | #Constraints: 15450
606.18/607.75 c #Conflicts: 325000 | #Constraints: 16450
606.18/607.75 c #Conflicts: 326000 | #Constraints: 17450
606.18/607.75 c #Conflicts: 327000 | #Constraints: 18450
606.18/607.75 c #Conflicts: 328000 | #Constraints: 19450
606.18/607.75 c #Conflicts: 329000 | #Constraints: 20450
606.18/607.75 c #Conflicts: 330000 | #Constraints: 21450
606.18/607.75 c #Conflicts: 331000 | #Constraints: 22450
606.18/607.75 c #Conflicts: 332000 | #Constraints: 23450
606.18/607.75 c #Conflicts: 333000 | #Constraints: 24450
606.18/607.75 c INPROCESSING
606.18/607.75 c GARBAGE COLLECT
606.18/607.75 c #Conflicts: 334000 | #Constraints: 14048
606.18/607.75 c #Conflicts: 335000 | #Constraints: 15048
606.18/607.75 c #Conflicts: 336000 | #Constraints: 16048
606.18/607.75 c #Conflicts: 337000 | #Constraints: 17048
606.18/607.75 c #Conflicts: 338000 | #Constraints: 18048
606.18/607.75 c #Conflicts: 339000 | #Constraints: 19048
606.18/607.75 c #Conflicts: 340000 | #Constraints: 20048
606.18/607.75 c #Conflicts: 341000 | #Constraints: 21048
606.18/607.75 c #Conflicts: 342000 | #Constraints: 22048
606.18/607.75 c #Conflicts: 343000 | #Constraints: 23048
606.18/607.75 c #Conflicts: 344000 | #Constraints: 24048
606.18/607.75 c #Conflicts: 345000 | #Constraints: 25048
606.18/607.75 c INPROCESSING
606.18/607.75 c GARBAGE COLLECT
606.18/607.75 c #Conflicts: 346000 | #Constraints: 14446
606.18/607.75 c #Conflicts: 347000 | #Constraints: 15446
606.18/607.75 c #Conflicts: 348000 | #Constraints: 16446
606.18/607.75 c #Conflicts: 349000 | #Constraints: 17446
606.18/607.75 c #Conflicts: 350000 | #Constraints: 18446
606.18/607.75 c #Conflicts: 351000 | #Constraints: 19446
706.14/707.90 c #Conflicts: 352000 | #Constraints: 20446
706.14/707.90 c #Conflicts: 353000 | #Constraints: 21446
706.14/707.90 c #Conflicts: 354000 | #Constraints: 22446
706.14/707.90 c #Conflicts: 355000 | #Constraints: 23446
706.14/707.90 c #Conflicts: 356000 | #Constraints: 24446
706.14/707.90 c #Conflicts: 357000 | #Constraints: 25446
706.14/707.90 c INPROCESSING
706.14/707.90 c GARBAGE COLLECT
706.14/707.90 c #Conflicts: 358000 | #Constraints: 14646
706.14/707.90 c #Conflicts: 359000 | #Constraints: 15646
706.14/707.90 c #Conflicts: 360000 | #Constraints: 16646
706.14/707.90 c #Conflicts: 361000 | #Constraints: 17646
706.14/707.90 c #Conflicts: 362000 | #Constraints: 18646
706.14/707.90 c #Conflicts: 363000 | #Constraints: 19646
706.14/707.90 c #Conflicts: 364000 | #Constraints: 20646
706.14/707.90 c #Conflicts: 365000 | #Constraints: 21646
706.14/707.90 c #Conflicts: 366000 | #Constraints: 22646
706.14/707.90 c #Conflicts: 367000 | #Constraints: 23646
706.14/707.90 c #Conflicts: 368000 | #Constraints: 24646
706.14/707.90 c #Conflicts: 369000 | #Constraints: 25646
706.14/707.90 c INPROCESSING
706.14/707.90 c GARBAGE COLLECT
706.14/707.90 c #Conflicts: 370000 | #Constraints: 14654
706.14/707.90 c #Conflicts: 371000 | #Constraints: 15654
706.14/707.90 c #Conflicts: 372000 | #Constraints: 16654
706.14/707.90 c #Conflicts: 373000 | #Constraints: 17654
706.14/707.90 c #Conflicts: 374000 | #Constraints: 18654
706.14/707.90 c #Conflicts: 375000 | #Constraints: 19654
706.14/707.90 c #Conflicts: 376000 | #Constraints: 20654
706.14/707.90 c #Conflicts: 377000 | #Constraints: 21654
706.14/707.90 c #Conflicts: 378000 | #Constraints: 22654
706.14/707.90 c #Conflicts: 379000 | #Constraints: 23654
706.14/707.90 c #Conflicts: 380000 | #Constraints: 24654
706.14/707.90 c #Conflicts: 381000 | #Constraints: 25654
706.14/707.90 c INPROCESSING
706.14/707.90 c GARBAGE COLLECT
706.14/707.90 c #Conflicts: 382000 | #Constraints: 14449
706.14/707.90 c #Conflicts: 383000 | #Constraints: 15449
706.14/707.90 c #Conflicts: 384000 | #Constraints: 16449
706.14/707.90 c #Conflicts: 385000 | #Constraints: 17449
706.14/707.90 c #Conflicts: 386000 | #Constraints: 18449
706.14/707.90 c #Conflicts: 387000 | #Constraints: 19449
706.14/707.90 c #Conflicts: 388000 | #Constraints: 20449
706.14/707.90 c #Conflicts: 389000 | #Constraints: 21449
706.14/707.90 c #Conflicts: 390000 | #Constraints: 22449
706.14/707.90 c #Conflicts: 391000 | #Constraints: 23449
706.14/707.90 c #Conflicts: 392000 | #Constraints: 24449
706.14/707.90 c #Conflicts: 393000 | #Constraints: 25449
706.14/707.90 c #Conflicts: 394000 | #Constraints: 26449
706.14/707.90 c INPROCESSING
706.14/707.90 c GARBAGE COLLECT
706.14/707.90 c #Conflicts: 395000 | #Constraints: 15055
706.14/707.90 c #Conflicts: 396000 | #Constraints: 16055
706.14/707.90 c #Conflicts: 397000 | #Constraints: 17055
706.14/707.90 c #Conflicts: 398000 | #Constraints: 18055
706.14/707.90 c #Conflicts: 399000 | #Constraints: 19055
706.14/707.90 c #Conflicts: 400000 | #Constraints: 20055
706.14/707.90 c #Conflicts: 401000 | #Constraints: 21055
706.14/707.90 c #Conflicts: 402000 | #Constraints: 22055
706.14/707.90 c #Conflicts: 403000 | #Constraints: 23055
706.14/707.90 c #Conflicts: 404000 | #Constraints: 24055
706.14/707.90 c #Conflicts: 405000 | #Constraints: 25055
706.14/707.90 c #Conflicts: 406000 | #Constraints: 26055
706.14/707.90 c #Conflicts: 407000 | #Constraints: 27055
706.14/707.90 c INPROCESSING
706.14/707.90 c GARBAGE COLLECT
706.14/707.90 c #Conflicts: 408000 | #Constraints: 15453
706.14/707.90 c #Conflicts: 409000 | #Constraints: 16453
706.14/707.90 c #Conflicts: 410000 | #Constraints: 17453
706.14/707.90 c #Conflicts: 411000 | #Constraints: 18453
706.14/707.90 c #Conflicts: 412000 | #Constraints: 19453
706.14/707.90 c #Conflicts: 413000 | #Constraints: 20453
706.14/707.90 c #Conflicts: 414000 | #Constraints: 21453
706.14/707.90 c #Conflicts: 415000 | #Constraints: 22453
706.14/707.90 c #Conflicts: 416000 | #Constraints: 23453
706.14/707.90 c #Conflicts: 417000 | #Constraints: 24453
706.14/707.90 c #Conflicts: 418000 | #Constraints: 25453
706.14/707.90 c #Conflicts: 419000 | #Constraints: 26453
706.14/707.90 c #Conflicts: 420000 | #Constraints: 27453
706.14/707.90 c INPROCESSING
706.14/707.90 c GARBAGE COLLECT
706.14/707.90 c #Conflicts: 421000 | #Constraints: 15652
706.14/707.90 c #Conflicts: 422000 | #Constraints: 16652
706.14/707.90 c #Conflicts: 423000 | #Constraints: 17652
706.14/707.90 c #Conflicts: 424000 | #Constraints: 18652
706.14/707.90 c #Conflicts: 425000 | #Constraints: 19652
706.14/707.90 c #Conflicts: 426000 | #Constraints: 20652
806.71/808.79 c #Conflicts: 427000 | #Constraints: 21652
806.71/808.79 c #Conflicts: 428000 | #Constraints: 22652
806.71/808.79 c #Conflicts: 429000 | #Constraints: 23652
806.71/808.79 c #Conflicts: 430000 | #Constraints: 24652
806.71/808.79 c #Conflicts: 431000 | #Constraints: 25652
806.71/808.79 c #Conflicts: 432000 | #Constraints: 26652
806.71/808.79 c #Conflicts: 433000 | #Constraints: 27652
806.71/808.79 c INPROCESSING
806.71/808.79 c GARBAGE COLLECT
806.71/808.79 c #Conflicts: 434000 | #Constraints: 15649
806.71/808.79 c #Conflicts: 435000 | #Constraints: 16649
806.71/808.79 c #Conflicts: 436000 | #Constraints: 17649
806.71/808.79 c #Conflicts: 437000 | #Constraints: 18649
806.71/808.79 c #Conflicts: 438000 | #Constraints: 19649
806.71/808.79 c #Conflicts: 439000 | #Constraints: 20649
806.71/808.79 c #Conflicts: 440000 | #Constraints: 21649
806.71/808.79 c #Conflicts: 441000 | #Constraints: 22649
806.71/808.79 c #Conflicts: 442000 | #Constraints: 23649
806.71/808.79 c #Conflicts: 443000 | #Constraints: 24649
806.71/808.79 c #Conflicts: 444000 | #Constraints: 25649
806.71/808.79 c #Conflicts: 445000 | #Constraints: 26649
806.71/808.79 c #Conflicts: 446000 | #Constraints: 27649
806.71/808.79 c INPROCESSING
806.71/808.79 c GARBAGE COLLECT
806.71/808.79 c #Conflicts: 447000 | #Constraints: 15450
806.71/808.79 c #Conflicts: 448000 | #Constraints: 16450
806.71/808.79 c #Conflicts: 449000 | #Constraints: 17450
806.71/808.79 c #Conflicts: 450000 | #Constraints: 18450
806.71/808.79 c #Conflicts: 451000 | #Constraints: 19450
806.71/808.79 c #Conflicts: 452000 | #Constraints: 20450
806.71/808.79 c #Conflicts: 453000 | #Constraints: 21450
806.71/808.79 c #Conflicts: 454000 | #Constraints: 22450
806.71/808.79 c #Conflicts: 455000 | #Constraints: 23450
806.71/808.79 c #Conflicts: 456000 | #Constraints: 24450
806.71/808.79 c #Conflicts: 457000 | #Constraints: 25450
806.71/808.79 c #Conflicts: 458000 | #Constraints: 26450
806.71/808.79 c #Conflicts: 459000 | #Constraints: 27450
806.71/808.79 c #Conflicts: 460000 | #Constraints: 28450
806.71/808.79 c INPROCESSING
806.71/808.79 c GARBAGE COLLECT
806.71/808.79 c #Conflicts: 461000 | #Constraints: 16052
806.71/808.79 c #Conflicts: 462000 | #Constraints: 17052
806.71/808.79 c #Conflicts: 463000 | #Constraints: 18052
806.71/808.79 c #Conflicts: 464000 | #Constraints: 19052
806.71/808.79 c #Conflicts: 465000 | #Constraints: 20052
806.71/808.79 c #Conflicts: 466000 | #Constraints: 21052
806.71/808.79 c #Conflicts: 467000 | #Constraints: 22052
806.71/808.79 c #Conflicts: 468000 | #Constraints: 23052
806.71/808.79 c #Conflicts: 469000 | #Constraints: 24052
806.71/808.79 c #Conflicts: 470000 | #Constraints: 25052
806.71/808.79 c #Conflicts: 471000 | #Constraints: 26052
806.71/808.79 c #Conflicts: 472000 | #Constraints: 27052
806.71/808.79 c #Conflicts: 473000 | #Constraints: 28052
806.71/808.79 c #Conflicts: 474000 | #Constraints: 29052
806.71/808.79 c INPROCESSING
806.71/808.79 c GARBAGE COLLECT
806.71/808.79 c #Conflicts: 475000 | #Constraints: 16456
806.71/808.79 c #Conflicts: 476000 | #Constraints: 17456
806.71/808.79 c #Conflicts: 477000 | #Constraints: 18456
806.71/808.79 c #Conflicts: 478000 | #Constraints: 19456
806.71/808.79 c #Conflicts: 479000 | #Constraints: 20456
806.71/808.79 c #Conflicts: 480000 | #Constraints: 21456
806.71/808.79 c #Conflicts: 481000 | #Constraints: 22456
806.71/808.79 c #Conflicts: 482000 | #Constraints: 23456
806.71/808.79 c #Conflicts: 483000 | #Constraints: 24456
806.71/808.79 c #Conflicts: 484000 | #Constraints: 25456
806.71/808.79 c #Conflicts: 485000 | #Constraints: 26456
806.71/808.79 c #Conflicts: 486000 | #Constraints: 27456
806.71/808.79 c #Conflicts: 487000 | #Constraints: 28456
806.71/808.79 c #Conflicts: 488000 | #Constraints: 29456
806.71/808.79 c INPROCESSING
806.71/808.79 c GARBAGE COLLECT
806.71/808.79 c #Conflicts: 489000 | #Constraints: 16653
806.71/808.79 c #Conflicts: 490000 | #Constraints: 17653
806.71/808.79 c #Conflicts: 491000 | #Constraints: 18653
806.71/808.79 c #Conflicts: 492000 | #Constraints: 19653
806.71/808.79 c #Conflicts: 493000 | #Constraints: 20653
806.71/808.79 c #Conflicts: 494000 | #Constraints: 21653
806.71/808.79 c #Conflicts: 495000 | #Constraints: 22653
806.71/808.79 c #Conflicts: 496000 | #Constraints: 23653
806.71/808.79 c #Conflicts: 497000 | #Constraints: 24653
806.71/808.79 c #Conflicts: 498000 | #Constraints: 25653
806.71/808.79 c #Conflicts: 499000 | #Constraints: 26653
806.71/808.79 c #Conflicts: 500000 | #Constraints: 27653
806.71/808.79 c #Conflicts: 501000 | #Constraints: 28653
806.71/808.79 c #Conflicts: 502000 | #Constraints: 29653
915.54/917.80 c INPROCESSING
915.54/917.80 c GARBAGE COLLECT
915.54/917.80 c #Conflicts: 503000 | #Constraints: 16658
915.54/917.80 c #Conflicts: 504000 | #Constraints: 17658
915.54/917.80 c #Conflicts: 505000 | #Constraints: 18658
915.54/917.80 c #Conflicts: 506000 | #Constraints: 19658
915.54/917.80 c #Conflicts: 507000 | #Constraints: 20658
915.54/917.80 c #Conflicts: 508000 | #Constraints: 21658
915.54/917.80 c #Conflicts: 509000 | #Constraints: 22658
915.54/917.80 c #Conflicts: 510000 | #Constraints: 23658
915.54/917.80 c #Conflicts: 511000 | #Constraints: 24658
915.54/917.80 c #Conflicts: 512000 | #Constraints: 25658
915.54/917.80 c #Conflicts: 513000 | #Constraints: 26658
915.54/917.80 c #Conflicts: 514000 | #Constraints: 27658
915.54/917.80 c #Conflicts: 515000 | #Constraints: 28658
915.54/917.80 c #Conflicts: 516000 | #Constraints: 29658
915.54/917.80 c INPROCESSING
915.54/917.80 c GARBAGE COLLECT
915.54/917.80 c #Conflicts: 517000 | #Constraints: 16451
915.54/917.80 c #Conflicts: 518000 | #Constraints: 17451
915.54/917.80 c #Conflicts: 519000 | #Constraints: 18451
915.54/917.80 c #Conflicts: 520000 | #Constraints: 19451
915.54/917.80 c #Conflicts: 521000 | #Constraints: 20451
915.54/917.80 c #Conflicts: 522000 | #Constraints: 21451
915.54/917.80 c #Conflicts: 523000 | #Constraints: 22451
915.54/917.80 c #Conflicts: 524000 | #Constraints: 23451
915.54/917.80 c #Conflicts: 525000 | #Constraints: 24451
915.54/917.80 c #Conflicts: 526000 | #Constraints: 25451
915.54/917.80 c #Conflicts: 527000 | #Constraints: 26451
915.54/917.80 c #Conflicts: 528000 | #Constraints: 27451
915.54/917.80 c #Conflicts: 529000 | #Constraints: 28451
915.54/917.80 c #Conflicts: 530000 | #Constraints: 29451
915.54/917.80 c #Conflicts: 531000 | #Constraints: 30451
915.54/917.80 c INPROCESSING
915.54/917.80 c GARBAGE COLLECT
915.54/917.80 c #Conflicts: 532000 | #Constraints: 17057
915.54/917.80 c #Conflicts: 533000 | #Constraints: 18057
915.54/917.80 c #Conflicts: 534000 | #Constraints: 19057
915.54/917.80 c #Conflicts: 535000 | #Constraints: 20057
915.54/917.80 c #Conflicts: 536000 | #Constraints: 21057
915.54/917.80 c #Conflicts: 537000 | #Constraints: 22057
915.54/917.80 c #Conflicts: 538000 | #Constraints: 23057
915.54/917.80 c #Conflicts: 539000 | #Constraints: 24057
915.54/917.80 c #Conflicts: 540000 | #Constraints: 25057
915.54/917.80 c #Conflicts: 541000 | #Constraints: 26057
915.54/917.80 c #Conflicts: 542000 | #Constraints: 27057
915.54/917.80 c #Conflicts: 543000 | #Constraints: 28057
915.54/917.80 c #Conflicts: 544000 | #Constraints: 29057
915.54/917.80 c #Conflicts: 545000 | #Constraints: 30057
915.54/917.80 c #Conflicts: 546000 | #Constraints: 31057
915.54/917.80 c INPROCESSING
915.54/917.80 c GARBAGE COLLECT
915.54/917.80 c #Conflicts: 547000 | #Constraints: 17453
915.54/917.80 c #Conflicts: 548000 | #Constraints: 18453
915.54/917.80 c #Conflicts: 549000 | #Constraints: 19453
915.54/917.80 c #Conflicts: 550000 | #Constraints: 20453
915.54/917.80 c #Conflicts: 551000 | #Constraints: 21453
915.54/917.80 c #Conflicts: 552000 | #Constraints: 22453
915.54/917.80 c #Conflicts: 553000 | #Constraints: 23453
915.54/917.80 c #Conflicts: 554000 | #Constraints: 24453
915.54/917.80 c #Conflicts: 555000 | #Constraints: 25453
915.54/917.80 c #Conflicts: 556000 | #Constraints: 26453
915.54/917.80 c #Conflicts: 557000 | #Constraints: 27453
915.54/917.80 c #Conflicts: 558000 | #Constraints: 28453
915.54/917.80 c #Conflicts: 559000 | #Constraints: 29453
915.54/917.80 c #Conflicts: 560000 | #Constraints: 30453
915.54/917.80 c #Conflicts: 561000 | #Constraints: 31453
915.54/917.80 c INPROCESSING
915.54/917.80 c GARBAGE COLLECT
915.54/917.80 c #Conflicts: 562000 | #Constraints: 17650
915.54/917.80 c #Conflicts: 563000 | #Constraints: 18650
915.54/917.80 c #Conflicts: 564000 | #Constraints: 19650
915.54/917.80 c #Conflicts: 565000 | #Constraints: 20650
915.54/917.80 c #Conflicts: 566000 | #Constraints: 21650
915.54/917.80 c #Conflicts: 567000 | #Constraints: 22650
915.54/917.80 c #Conflicts: 568000 | #Constraints: 23650
915.54/917.80 c #Conflicts: 569000 | #Constraints: 24650
915.54/917.80 c #Conflicts: 570000 | #Constraints: 25650
915.54/917.80 c #Conflicts: 571000 | #Constraints: 26650
915.54/917.80 c #Conflicts: 572000 | #Constraints: 27650
915.54/917.80 c #Conflicts: 573000 | #Constraints: 28650
915.54/917.80 c #Conflicts: 574000 | #Constraints: 29650
915.54/917.80 c #Conflicts: 575000 | #Constraints: 30650
915.54/917.80 c #Conflicts: 576000 | #Constraints: 31650
915.54/917.80 c INPROCESSING
915.54/917.80 c GARBAGE COLLECT
915.54/917.80 c #Conflicts: 577000 | #Constraints: 17660
1030.67/1033.27 c #Conflicts: 578000 | #Constraints: 18660
1030.67/1033.27 c #Conflicts: 579000 | #Constraints: 19660
1030.67/1033.27 c #Conflicts: 580000 | #Constraints: 20660
1030.67/1033.27 c #Conflicts: 581000 | #Constraints: 21660
1030.67/1033.27 c #Conflicts: 582000 | #Constraints: 22660
1030.67/1033.27 c #Conflicts: 583000 | #Constraints: 23660
1030.67/1033.27 c #Conflicts: 584000 | #Constraints: 24660
1030.67/1033.27 c #Conflicts: 585000 | #Constraints: 25660
1030.67/1033.27 c #Conflicts: 586000 | #Constraints: 26660
1030.67/1033.27 c #Conflicts: 587000 | #Constraints: 27660
1030.67/1033.27 c #Conflicts: 588000 | #Constraints: 28660
1030.67/1033.27 c #Conflicts: 589000 | #Constraints: 29660
1030.67/1033.27 c #Conflicts: 590000 | #Constraints: 30660
1030.67/1033.27 c #Conflicts: 591000 | #Constraints: 31660
1030.67/1033.27 c INPROCESSING
1030.67/1033.27 c GARBAGE COLLECT
1030.67/1033.27 c #Conflicts: 592000 | #Constraints: 17459
1030.67/1033.27 c #Conflicts: 593000 | #Constraints: 18459
1030.67/1033.27 c #Conflicts: 594000 | #Constraints: 19459
1030.67/1033.27 c #Conflicts: 595000 | #Constraints: 20459
1030.67/1033.27 c #Conflicts: 596000 | #Constraints: 21459
1030.67/1033.27 c #Conflicts: 597000 | #Constraints: 22459
1030.67/1033.27 c #Conflicts: 598000 | #Constraints: 23459
1030.67/1033.27 c #Conflicts: 599000 | #Constraints: 24459
1030.67/1033.27 c #Conflicts: 600000 | #Constraints: 25459
1030.67/1033.27 c #Conflicts: 601000 | #Constraints: 26459
1030.67/1033.27 c #Conflicts: 602000 | #Constraints: 27459
1030.67/1033.27 c #Conflicts: 603000 | #Constraints: 28459
1030.67/1033.27 c #Conflicts: 604000 | #Constraints: 29459
1030.67/1033.27 c #Conflicts: 605000 | #Constraints: 30459
1030.67/1033.27 c #Conflicts: 606000 | #Constraints: 31459
1030.67/1033.27 c #Conflicts: 607000 | #Constraints: 32459
1030.67/1033.27 c INPROCESSING
1030.67/1033.27 c GARBAGE COLLECT
1030.67/1033.27 c #Conflicts: 608000 | #Constraints: 18055
1030.67/1033.27 c #Conflicts: 609000 | #Constraints: 19055
1030.67/1033.27 c #Conflicts: 610000 | #Constraints: 20055
1030.67/1033.27 c #Conflicts: 611000 | #Constraints: 21055
1030.67/1033.27 c #Conflicts: 612000 | #Constraints: 22055
1030.67/1033.27 c #Conflicts: 613000 | #Constraints: 23055
1030.67/1033.27 c #Conflicts: 614000 | #Constraints: 24055
1030.67/1033.27 c #Conflicts: 615000 | #Constraints: 25055
1030.67/1033.27 c #Conflicts: 616000 | #Constraints: 26055
1030.67/1033.27 c #Conflicts: 617000 | #Constraints: 27055
1030.67/1033.27 c #Conflicts: 618000 | #Constraints: 28055
1030.67/1033.27 c #Conflicts: 619000 | #Constraints: 29055
1030.67/1033.27 c #Conflicts: 620000 | #Constraints: 30055
1030.67/1033.27 c #Conflicts: 621000 | #Constraints: 31055
1030.67/1033.27 c #Conflicts: 622000 | #Constraints: 32055
1030.67/1033.27 c #Conflicts: 623000 | #Constraints: 33055
1030.67/1033.27 c INPROCESSING
1030.67/1033.27 c GARBAGE COLLECT
1030.67/1033.27 c #Conflicts: 624000 | #Constraints: 18460
1030.67/1033.27 c #Conflicts: 625000 | #Constraints: 19460
1030.67/1033.27 c #Conflicts: 626000 | #Constraints: 20460
1030.67/1033.27 c #Conflicts: 627000 | #Constraints: 21460
1030.67/1033.27 c #Conflicts: 628000 | #Constraints: 22460
1030.67/1033.27 c #Conflicts: 629000 | #Constraints: 23460
1030.67/1033.27 c #Conflicts: 630000 | #Constraints: 24460
1030.67/1033.27 c #Conflicts: 631000 | #Constraints: 25460
1030.67/1033.27 c #Conflicts: 632000 | #Constraints: 26460
1030.67/1033.27 c #Conflicts: 633000 | #Constraints: 27460
1030.67/1033.27 c #Conflicts: 634000 | #Constraints: 28460
1030.67/1033.27 c #Conflicts: 635000 | #Constraints: 29460
1030.67/1033.27 c #Conflicts: 636000 | #Constraints: 30460
1030.67/1033.27 c #Conflicts: 637000 | #Constraints: 31460
1030.67/1033.27 c #Conflicts: 638000 | #Constraints: 32460
1030.67/1033.27 c #Conflicts: 639000 | #Constraints: 33460
1030.67/1033.27 c INPROCESSING
1030.67/1033.27 c GARBAGE COLLECT
1030.67/1033.27 c #Conflicts: 640000 | #Constraints: 18658
1030.67/1033.27 c #Conflicts: 641000 | #Constraints: 19658
1030.67/1033.27 c #Conflicts: 642000 | #Constraints: 20658
1030.67/1033.27 c #Conflicts: 643000 | #Constraints: 21658
1030.67/1033.27 c #Conflicts: 644000 | #Constraints: 22658
1030.67/1033.27 c #Conflicts: 645000 | #Constraints: 23658
1030.67/1033.27 c #Conflicts: 646000 | #Constraints: 24658
1030.67/1033.27 c #Conflicts: 647000 | #Constraints: 25658
1030.67/1033.27 c #Conflicts: 648000 | #Constraints: 26658
1030.67/1033.27 c #Conflicts: 649000 | #Constraints: 27658
1030.67/1033.27 c #Conflicts: 650000 | #Constraints: 28658
1030.67/1033.27 c #Conflicts: 651000 | #Constraints: 29658
1030.67/1033.27 c #Conflicts: 652000 | #Constraints: 30658
1030.67/1033.27 c #Conflicts: 653000 | #Constraints: 31658
1149.67/1152.51 c #Conflicts: 654000 | #Constraints: 32658
1149.67/1152.51 c #Conflicts: 655000 | #Constraints: 33658
1149.67/1152.51 c INPROCESSING
1149.67/1152.51 c GARBAGE COLLECT
1149.67/1152.51 c #Conflicts: 656000 | #Constraints: 18653
1149.67/1152.51 c #Conflicts: 657000 | #Constraints: 19653
1149.67/1152.51 c #Conflicts: 658000 | #Constraints: 20653
1149.67/1152.51 c #Conflicts: 659000 | #Constraints: 21653
1149.67/1152.51 c #Conflicts: 660000 | #Constraints: 22653
1149.67/1152.51 c #Conflicts: 661000 | #Constraints: 23653
1149.67/1152.51 c #Conflicts: 662000 | #Constraints: 24653
1149.67/1152.51 c #Conflicts: 663000 | #Constraints: 25653
1149.67/1152.51 c #Conflicts: 664000 | #Constraints: 26653
1149.67/1152.51 c #Conflicts: 665000 | #Constraints: 27653
1149.67/1152.51 c #Conflicts: 666000 | #Constraints: 28653
1149.67/1152.51 c #Conflicts: 667000 | #Constraints: 29653
1149.67/1152.51 c #Conflicts: 668000 | #Constraints: 30653
1149.67/1152.51 c #Conflicts: 669000 | #Constraints: 31653
1149.67/1152.51 c #Conflicts: 670000 | #Constraints: 32653
1149.67/1152.51 c #Conflicts: 671000 | #Constraints: 33653
1149.67/1152.51 c INPROCESSING
1149.67/1152.51 c GARBAGE COLLECT
1149.67/1152.51 c #Conflicts: 672000 | #Constraints: 18453
1149.67/1152.51 c #Conflicts: 673000 | #Constraints: 19453
1149.67/1152.51 c #Conflicts: 674000 | #Constraints: 20453
1149.67/1152.51 c #Conflicts: 675000 | #Constraints: 21453
1149.67/1152.51 c #Conflicts: 676000 | #Constraints: 22453
1149.67/1152.51 c #Conflicts: 677000 | #Constraints: 23453
1149.67/1152.51 c #Conflicts: 678000 | #Constraints: 24453
1149.67/1152.51 c #Conflicts: 679000 | #Constraints: 25453
1149.67/1152.51 c #Conflicts: 680000 | #Constraints: 26453
1149.67/1152.51 c #Conflicts: 681000 | #Constraints: 27453
1149.67/1152.51 c #Conflicts: 682000 | #Constraints: 28453
1149.67/1152.51 c #Conflicts: 683000 | #Constraints: 29453
1149.67/1152.51 c #Conflicts: 684000 | #Constraints: 30453
1149.67/1152.51 c #Conflicts: 685000 | #Constraints: 31453
1149.67/1152.51 c #Conflicts: 686000 | #Constraints: 32453
1149.67/1152.51 c #Conflicts: 687000 | #Constraints: 33453
1149.67/1152.51 c #Conflicts: 688000 | #Constraints: 34453
1149.67/1152.51 c INPROCESSING
1149.67/1152.51 c GARBAGE COLLECT
1149.67/1152.51 c #Conflicts: 689000 | #Constraints: 19053
1149.67/1152.51 c #Conflicts: 690000 | #Constraints: 20053
1149.67/1152.51 c #Conflicts: 691000 | #Constraints: 21053
1149.67/1152.51 c #Conflicts: 692000 | #Constraints: 22053
1149.67/1152.51 c #Conflicts: 693000 | #Constraints: 23053
1149.67/1152.51 c #Conflicts: 694000 | #Constraints: 24053
1149.67/1152.51 c #Conflicts: 695000 | #Constraints: 25053
1149.67/1152.51 c #Conflicts: 696000 | #Constraints: 26053
1149.67/1152.51 c #Conflicts: 697000 | #Constraints: 27053
1149.67/1152.51 c #Conflicts: 698000 | #Constraints: 28053
1149.67/1152.51 c #Conflicts: 699000 | #Constraints: 29053
1149.67/1152.51 c #Conflicts: 700000 | #Constraints: 30053
1149.67/1152.51 c #Conflicts: 701000 | #Constraints: 31053
1149.67/1152.51 c #Conflicts: 702000 | #Constraints: 32053
1149.67/1152.51 c #Conflicts: 703000 | #Constraints: 33053
1149.67/1152.51 c #Conflicts: 704000 | #Constraints: 34053
1149.67/1152.51 c #Conflicts: 705000 | #Constraints: 35053
1149.67/1152.51 c INPROCESSING
1149.67/1152.51 c GARBAGE COLLECT
1149.67/1152.51 c #Conflicts: 706000 | #Constraints: 19451
1149.67/1152.51 c #Conflicts: 707000 | #Constraints: 20451
1149.67/1152.51 c #Conflicts: 708000 | #Constraints: 21451
1149.67/1152.51 c #Conflicts: 709000 | #Constraints: 22451
1149.67/1152.51 c #Conflicts: 710000 | #Constraints: 23451
1149.67/1152.51 c #Conflicts: 711000 | #Constraints: 24451
1149.67/1152.51 c #Conflicts: 712000 | #Constraints: 25451
1149.67/1152.51 c #Conflicts: 713000 | #Constraints: 26451
1149.67/1152.51 c #Conflicts: 714000 | #Constraints: 27451
1149.67/1152.51 c #Conflicts: 715000 | #Constraints: 28451
1149.67/1152.51 c #Conflicts: 716000 | #Constraints: 29451
1149.67/1152.51 c #Conflicts: 717000 | #Constraints: 30451
1149.67/1152.51 c #Conflicts: 718000 | #Constraints: 31451
1149.67/1152.51 c #Conflicts: 719000 | #Constraints: 32451
1149.67/1152.51 c #Conflicts: 720000 | #Constraints: 33451
1149.67/1152.51 c #Conflicts: 721000 | #Constraints: 34451
1149.67/1152.51 c #Conflicts: 722000 | #Constraints: 35451
1149.67/1152.51 c INPROCESSING
1149.67/1152.51 c GARBAGE COLLECT
1149.67/1152.51 c #Conflicts: 723000 | #Constraints: 19650
1149.67/1152.51 c #Conflicts: 724000 | #Constraints: 20650
1149.67/1152.51 c #Conflicts: 725000 | #Constraints: 21650
1149.67/1152.51 c #Conflicts: 726000 | #Constraints: 22650
1149.67/1152.51 c #Conflicts: 727000 | #Constraints: 23650
1149.67/1152.51 c #Conflicts: 728000 | #Constraints: 24650
1280.06/1283.21 c #Conflicts: 729000 | #Constraints: 25650
1280.06/1283.21 c #Conflicts: 730000 | #Constraints: 26650
1280.06/1283.21 c #Conflicts: 731000 | #Constraints: 27650
1280.06/1283.21 c #Conflicts: 732000 | #Constraints: 28650
1280.06/1283.21 c #Conflicts: 733000 | #Constraints: 29650
1280.06/1283.21 c #Conflicts: 734000 | #Constraints: 30650
1280.06/1283.21 c #Conflicts: 735000 | #Constraints: 31650
1280.06/1283.21 c #Conflicts: 736000 | #Constraints: 32650
1280.06/1283.21 c #Conflicts: 737000 | #Constraints: 33650
1280.06/1283.21 c #Conflicts: 738000 | #Constraints: 34650
1280.06/1283.21 c #Conflicts: 739000 | #Constraints: 35650
1280.06/1283.21 c INPROCESSING
1280.06/1283.21 c GARBAGE COLLECT
1280.06/1283.21 c #Conflicts: 740000 | #Constraints: 19648
1280.06/1283.21 c #Conflicts: 741000 | #Constraints: 20648
1280.06/1283.21 c #Conflicts: 742000 | #Constraints: 21648
1280.06/1283.21 c #Conflicts: 743000 | #Constraints: 22648
1280.06/1283.21 c #Conflicts: 744000 | #Constraints: 23648
1280.06/1283.21 c #Conflicts: 745000 | #Constraints: 24648
1280.06/1283.21 c #Conflicts: 746000 | #Constraints: 25648
1280.06/1283.21 c #Conflicts: 747000 | #Constraints: 26648
1280.06/1283.21 c #Conflicts: 748000 | #Constraints: 27648
1280.06/1283.21 c #Conflicts: 749000 | #Constraints: 28648
1280.06/1283.21 c #Conflicts: 750000 | #Constraints: 29648
1280.06/1283.21 c #Conflicts: 751000 | #Constraints: 30648
1280.06/1283.21 c #Conflicts: 752000 | #Constraints: 31648
1280.06/1283.21 c #Conflicts: 753000 | #Constraints: 32648
1280.06/1283.21 c #Conflicts: 754000 | #Constraints: 33648
1280.06/1283.21 c #Conflicts: 755000 | #Constraints: 34648
1280.06/1283.21 c #Conflicts: 756000 | #Constraints: 35648
1280.06/1283.21 c INPROCESSING
1280.06/1283.21 c GARBAGE COLLECT
1280.06/1283.21 c #Conflicts: 757000 | #Constraints: 19452
1280.06/1283.21 c #Conflicts: 758000 | #Constraints: 20452
1280.06/1283.21 c #Conflicts: 759000 | #Constraints: 21452
1280.06/1283.21 c #Conflicts: 760000 | #Constraints: 22452
1280.06/1283.21 c #Conflicts: 761000 | #Constraints: 23452
1280.06/1283.21 c #Conflicts: 762000 | #Constraints: 24452
1280.06/1283.21 c #Conflicts: 763000 | #Constraints: 25452
1280.06/1283.21 c #Conflicts: 764000 | #Constraints: 26452
1280.06/1283.21 c #Conflicts: 765000 | #Constraints: 27452
1280.06/1283.21 c #Conflicts: 766000 | #Constraints: 28452
1280.06/1283.21 c #Conflicts: 767000 | #Constraints: 29452
1280.06/1283.21 c #Conflicts: 768000 | #Constraints: 30452
1280.06/1283.21 c #Conflicts: 769000 | #Constraints: 31452
1280.06/1283.21 c #Conflicts: 770000 | #Constraints: 32452
1280.06/1283.21 c #Conflicts: 771000 | #Constraints: 33452
1280.06/1283.21 c #Conflicts: 772000 | #Constraints: 34452
1280.06/1283.21 c #Conflicts: 773000 | #Constraints: 35452
1280.06/1283.21 c #Conflicts: 774000 | #Constraints: 36452
1280.06/1283.21 c INPROCESSING
1280.06/1283.21 c GARBAGE COLLECT
1280.06/1283.21 c #Conflicts: 775000 | #Constraints: 20053
1280.06/1283.21 c #Conflicts: 776000 | #Constraints: 21053
1280.06/1283.21 c #Conflicts: 777000 | #Constraints: 22053
1280.06/1283.21 c #Conflicts: 778000 | #Constraints: 23053
1280.06/1283.21 c #Conflicts: 779000 | #Constraints: 24053
1280.06/1283.21 c #Conflicts: 780000 | #Constraints: 25053
1280.06/1283.21 c #Conflicts: 781000 | #Constraints: 26053
1280.06/1283.21 c #Conflicts: 782000 | #Constraints: 27053
1280.06/1283.21 c #Conflicts: 783000 | #Constraints: 28053
1280.06/1283.21 c #Conflicts: 784000 | #Constraints: 29053
1280.06/1283.21 c #Conflicts: 785000 | #Constraints: 30053
1280.06/1283.21 c #Conflicts: 786000 | #Constraints: 31053
1280.06/1283.21 c #Conflicts: 787000 | #Constraints: 32053
1280.06/1283.21 c #Conflicts: 788000 | #Constraints: 33053
1280.06/1283.21 c #Conflicts: 789000 | #Constraints: 34053
1280.06/1283.21 c #Conflicts: 790000 | #Constraints: 35053
1280.06/1283.21 c #Conflicts: 791000 | #Constraints: 36053
1280.06/1283.21 c #Conflicts: 792000 | #Constraints: 37053
1280.06/1283.21 c INPROCESSING
1280.06/1283.21 c GARBAGE COLLECT
1280.06/1283.21 c #Conflicts: 793000 | #Constraints: 20448
1280.06/1283.21 c #Conflicts: 794000 | #Constraints: 21448
1280.06/1283.21 c #Conflicts: 795000 | #Constraints: 22448
1280.06/1283.21 c #Conflicts: 796000 | #Constraints: 23448
1280.06/1283.21 c #Conflicts: 797000 | #Constraints: 24448
1280.06/1283.21 c #Conflicts: 798000 | #Constraints: 25448
1280.06/1283.21 c #Conflicts: 799000 | #Constraints: 26448
1280.06/1283.21 c #Conflicts: 800000 | #Constraints: 27448
1280.06/1283.21 c #Conflicts: 801000 | #Constraints: 28448
1280.06/1283.21 c #Conflicts: 802000 | #Constraints: 29448
1280.06/1283.21 c #Conflicts: 803000 | #Constraints: 30448
1280.06/1283.21 c #Conflicts: 804000 | #Constraints: 31448
1280.06/1283.21 c #Conflicts: 805000 | #Constraints: 32448
1425.01/1428.50 c #Conflicts: 806000 | #Constraints: 33448
1425.01/1428.50 c #Conflicts: 807000 | #Constraints: 34448
1425.01/1428.50 c #Conflicts: 808000 | #Constraints: 35448
1425.01/1428.50 c #Conflicts: 809000 | #Constraints: 36448
1425.01/1428.50 c #Conflicts: 810000 | #Constraints: 37448
1425.01/1428.50 c INPROCESSING
1425.01/1428.50 c GARBAGE COLLECT
1425.01/1428.50 c #Conflicts: 811000 | #Constraints: 20656
1425.01/1428.50 c #Conflicts: 812000 | #Constraints: 21656
1425.01/1428.50 c #Conflicts: 813000 | #Constraints: 22656
1425.01/1428.50 c #Conflicts: 814000 | #Constraints: 23656
1425.01/1428.50 c #Conflicts: 815000 | #Constraints: 24656
1425.01/1428.50 c #Conflicts: 816000 | #Constraints: 25656
1425.01/1428.50 c #Conflicts: 817000 | #Constraints: 26656
1425.01/1428.50 c #Conflicts: 818000 | #Constraints: 27656
1425.01/1428.50 c #Conflicts: 819000 | #Constraints: 28656
1425.01/1428.50 c #Conflicts: 820000 | #Constraints: 29656
1425.01/1428.50 c #Conflicts: 821000 | #Constraints: 30656
1425.01/1428.50 c #Conflicts: 822000 | #Constraints: 31656
1425.01/1428.50 c #Conflicts: 823000 | #Constraints: 32656
1425.01/1428.50 c #Conflicts: 824000 | #Constraints: 33656
1425.01/1428.50 c #Conflicts: 825000 | #Constraints: 34656
1425.01/1428.50 c #Conflicts: 826000 | #Constraints: 35656
1425.01/1428.50 c #Conflicts: 827000 | #Constraints: 36656
1425.01/1428.50 c #Conflicts: 828000 | #Constraints: 37656
1425.01/1428.50 c INPROCESSING
1425.01/1428.50 c GARBAGE COLLECT
1425.01/1428.50 c #Conflicts: 829000 | #Constraints: 20660
1425.01/1428.50 c #Conflicts: 830000 | #Constraints: 21660
1425.01/1428.50 c #Conflicts: 831000 | #Constraints: 22660
1425.01/1428.50 c #Conflicts: 832000 | #Constraints: 23660
1425.01/1428.50 c #Conflicts: 833000 | #Constraints: 24660
1425.01/1428.50 c #Conflicts: 834000 | #Constraints: 25660
1425.01/1428.50 c #Conflicts: 835000 | #Constraints: 26660
1425.01/1428.50 c #Conflicts: 836000 | #Constraints: 27660
1425.01/1428.50 c #Conflicts: 837000 | #Constraints: 28660
1425.01/1428.50 c #Conflicts: 838000 | #Constraints: 29660
1425.01/1428.50 c #Conflicts: 839000 | #Constraints: 30660
1425.01/1428.50 c #Conflicts: 840000 | #Constraints: 31660
1425.01/1428.50 c #Conflicts: 841000 | #Constraints: 32660
1425.01/1428.50 c #Conflicts: 842000 | #Constraints: 33660
1425.01/1428.50 c #Conflicts: 843000 | #Constraints: 34660
1425.01/1428.50 c #Conflicts: 844000 | #Constraints: 35660
1425.01/1428.50 c #Conflicts: 845000 | #Constraints: 36660
1425.01/1428.50 c #Conflicts: 846000 | #Constraints: 37660
1425.01/1428.50 c INPROCESSING
1425.01/1428.50 c GARBAGE COLLECT
1425.01/1428.50 c #Conflicts: 847000 | #Constraints: 20463
1425.01/1428.50 c #Conflicts: 848000 | #Constraints: 21463
1425.01/1428.50 c #Conflicts: 849000 | #Constraints: 22463
1425.01/1428.50 c #Conflicts: 850000 | #Constraints: 23463
1425.01/1428.50 c #Conflicts: 851000 | #Constraints: 24463
1425.01/1428.50 c #Conflicts: 852000 | #Constraints: 25463
1425.01/1428.50 c #Conflicts: 853000 | #Constraints: 26463
1425.01/1428.50 c #Conflicts: 854000 | #Constraints: 27463
1425.01/1428.50 c #Conflicts: 855000 | #Constraints: 28463
1425.01/1428.50 c #Conflicts: 856000 | #Constraints: 29463
1425.01/1428.50 c #Conflicts: 857000 | #Constraints: 30463
1425.01/1428.50 c #Conflicts: 858000 | #Constraints: 31463
1425.01/1428.50 c #Conflicts: 859000 | #Constraints: 32463
1425.01/1428.50 c #Conflicts: 860000 | #Constraints: 33463
1425.01/1428.50 c #Conflicts: 861000 | #Constraints: 34463
1425.01/1428.50 c #Conflicts: 862000 | #Constraints: 35463
1425.01/1428.50 c #Conflicts: 863000 | #Constraints: 36463
1425.01/1428.50 c #Conflicts: 864000 | #Constraints: 37463
1425.01/1428.50 c #Conflicts: 865000 | #Constraints: 38463
1425.01/1428.50 c INPROCESSING
1425.01/1428.50 c GARBAGE COLLECT
1425.01/1428.50 c #Conflicts: 866000 | #Constraints: 21056
1425.01/1428.50 c #Conflicts: 867000 | #Constraints: 22056
1425.01/1428.50 c #Conflicts: 868000 | #Constraints: 23056
1425.01/1428.50 c #Conflicts: 869000 | #Constraints: 24056
1425.01/1428.50 c #Conflicts: 870000 | #Constraints: 25056
1425.01/1428.50 c #Conflicts: 871000 | #Constraints: 26056
1425.01/1428.50 c #Conflicts: 872000 | #Constraints: 27056
1425.01/1428.50 c #Conflicts: 873000 | #Constraints: 28056
1425.01/1428.50 c #Conflicts: 874000 | #Constraints: 29056
1425.01/1428.50 c #Conflicts: 875000 | #Constraints: 30056
1425.01/1428.50 c #Conflicts: 876000 | #Constraints: 31056
1425.01/1428.50 c #Conflicts: 877000 | #Constraints: 32056
1425.01/1428.50 c #Conflicts: 878000 | #Constraints: 33056
1425.01/1428.50 c #Conflicts: 879000 | #Constraints: 34056
1425.01/1428.50 c #Conflicts: 880000 | #Constraints: 35056
1425.01/1428.50 c #Conflicts: 881000 | #Constraints: 36056
1574.55/1578.48 c #Conflicts: 882000 | #Constraints: 37056
1574.55/1578.48 c #Conflicts: 883000 | #Constraints: 38056
1574.55/1578.48 c #Conflicts: 884000 | #Constraints: 39056
1574.55/1578.48 c INPROCESSING
1574.55/1578.48 c GARBAGE COLLECT
1574.55/1578.48 c #Conflicts: 885000 | #Constraints: 21451
1574.55/1578.48 c #Conflicts: 886000 | #Constraints: 22451
1574.55/1578.48 c #Conflicts: 887000 | #Constraints: 23451
1574.55/1578.48 c #Conflicts: 888000 | #Constraints: 24451
1574.55/1578.48 c #Conflicts: 889000 | #Constraints: 25451
1574.55/1578.48 c #Conflicts: 890000 | #Constraints: 26451
1574.55/1578.48 c #Conflicts: 891000 | #Constraints: 27451
1574.55/1578.48 c #Conflicts: 892000 | #Constraints: 28451
1574.55/1578.48 c #Conflicts: 893000 | #Constraints: 29451
1574.55/1578.48 c #Conflicts: 894000 | #Constraints: 30451
1574.55/1578.48 c #Conflicts: 895000 | #Constraints: 31451
1574.55/1578.48 c #Conflicts: 896000 | #Constraints: 32451
1574.55/1578.48 c #Conflicts: 897000 | #Constraints: 33451
1574.55/1578.48 c #Conflicts: 898000 | #Constraints: 34451
1574.55/1578.48 c #Conflicts: 899000 | #Constraints: 35451
1574.55/1578.48 c #Conflicts: 900000 | #Constraints: 36451
1574.55/1578.48 c #Conflicts: 901000 | #Constraints: 37451
1574.55/1578.48 c #Conflicts: 902000 | #Constraints: 38451
1574.55/1578.48 c #Conflicts: 903000 | #Constraints: 39451
1574.55/1578.48 c INPROCESSING
1574.55/1578.48 c GARBAGE COLLECT
1574.55/1578.48 c #Conflicts: 904000 | #Constraints: 21653
1574.55/1578.48 c #Conflicts: 905000 | #Constraints: 22653
1574.55/1578.48 c #Conflicts: 906000 | #Constraints: 23653
1574.55/1578.48 c #Conflicts: 907000 | #Constraints: 24653
1574.55/1578.48 c #Conflicts: 908000 | #Constraints: 25653
1574.55/1578.48 c #Conflicts: 909000 | #Constraints: 26653
1574.55/1578.48 c #Conflicts: 910000 | #Constraints: 27653
1574.55/1578.48 c #Conflicts: 911000 | #Constraints: 28653
1574.55/1578.48 c #Conflicts: 912000 | #Constraints: 29653
1574.55/1578.48 c #Conflicts: 913000 | #Constraints: 30653
1574.55/1578.48 c #Conflicts: 914000 | #Constraints: 31653
1574.55/1578.48 c #Conflicts: 915000 | #Constraints: 32653
1574.55/1578.48 c #Conflicts: 916000 | #Constraints: 33653
1574.55/1578.48 c #Conflicts: 917000 | #Constraints: 34653
1574.55/1578.48 c #Conflicts: 918000 | #Constraints: 35653
1574.55/1578.48 c #Conflicts: 919000 | #Constraints: 36653
1574.55/1578.48 c #Conflicts: 920000 | #Constraints: 37653
1574.55/1578.48 c #Conflicts: 921000 | #Constraints: 38653
1574.55/1578.48 c #Conflicts: 922000 | #Constraints: 39653
1574.55/1578.48 c INPROCESSING
1574.55/1578.48 c GARBAGE COLLECT
1574.55/1578.48 c #Conflicts: 923000 | #Constraints: 21650
1574.55/1578.48 c #Conflicts: 924000 | #Constraints: 22650
1574.55/1578.48 c #Conflicts: 925000 | #Constraints: 23650
1574.55/1578.48 c #Conflicts: 926000 | #Constraints: 24650
1574.55/1578.48 c #Conflicts: 927000 | #Constraints: 25650
1574.55/1578.48 c #Conflicts: 928000 | #Constraints: 26650
1574.55/1578.48 c #Conflicts: 929000 | #Constraints: 27650
1574.55/1578.48 c #Conflicts: 930000 | #Constraints: 28650
1574.55/1578.48 c #Conflicts: 931000 | #Constraints: 29650
1574.55/1578.48 c #Conflicts: 932000 | #Constraints: 30650
1574.55/1578.48 c #Conflicts: 933000 | #Constraints: 31650
1574.55/1578.48 c #Conflicts: 934000 | #Constraints: 32650
1574.55/1578.48 c #Conflicts: 935000 | #Constraints: 33650
1574.55/1578.48 c #Conflicts: 936000 | #Constraints: 34650
1574.55/1578.48 c #Conflicts: 937000 | #Constraints: 35650
1574.55/1578.48 c #Conflicts: 938000 | #Constraints: 36650
1574.55/1578.48 c #Conflicts: 939000 | #Constraints: 37650
1574.55/1578.48 c #Conflicts: 940000 | #Constraints: 38650
1574.55/1578.48 c #Conflicts: 941000 | #Constraints: 39650
1574.55/1578.48 c INPROCESSING
1574.55/1578.48 c GARBAGE COLLECT
1574.55/1578.48 c #Conflicts: 942000 | #Constraints: 21454
1574.55/1578.48 c #Conflicts: 943000 | #Constraints: 22454
1574.55/1578.48 c #Conflicts: 944000 | #Constraints: 23454
1574.55/1578.48 c #Conflicts: 945000 | #Constraints: 24454
1574.55/1578.48 c #Conflicts: 946000 | #Constraints: 25454
1574.55/1578.48 c #Conflicts: 947000 | #Constraints: 26454
1574.55/1578.48 c #Conflicts: 948000 | #Constraints: 27454
1574.55/1578.48 c #Conflicts: 949000 | #Constraints: 28454
1574.55/1578.48 c #Conflicts: 950000 | #Constraints: 29454
1574.55/1578.48 c #Conflicts: 951000 | #Constraints: 30454
1574.55/1578.48 c #Conflicts: 952000 | #Constraints: 31454
1574.55/1578.48 c #Conflicts: 953000 | #Constraints: 32454
1574.55/1578.48 c #Conflicts: 954000 | #Constraints: 33454
1574.55/1578.48 c #Conflicts: 955000 | #Constraints: 34454
1574.55/1578.48 c #Conflicts: 956000 | #Constraints: 35454
1574.55/1578.48 c #Conflicts: 957000 | #Constraints: 36454
1746.13/1750.41 c #Conflicts: 958000 | #Constraints: 37454
1746.13/1750.41 c #Conflicts: 959000 | #Constraints: 38454
1746.13/1750.41 c #Conflicts: 960000 | #Constraints: 39454
1746.13/1750.41 c #Conflicts: 961000 | #Constraints: 40454
1746.13/1750.41 c INPROCESSING
1746.13/1750.41 c GARBAGE COLLECT
1746.13/1750.41 c #Conflicts: 962000 | #Constraints: 22053
1746.13/1750.41 c #Conflicts: 963000 | #Constraints: 23053
1746.13/1750.41 c #Conflicts: 964000 | #Constraints: 24053
1746.13/1750.41 c #Conflicts: 965000 | #Constraints: 25053
1746.13/1750.41 c #Conflicts: 966000 | #Constraints: 26053
1746.13/1750.41 c #Conflicts: 967000 | #Constraints: 27053
1746.13/1750.41 c #Conflicts: 968000 | #Constraints: 28053
1746.13/1750.41 c #Conflicts: 969000 | #Constraints: 29053
1746.13/1750.41 c #Conflicts: 970000 | #Constraints: 30053
1746.13/1750.41 c #Conflicts: 971000 | #Constraints: 31053
1746.13/1750.41 c #Conflicts: 972000 | #Constraints: 32053
1746.13/1750.41 c #Conflicts: 973000 | #Constraints: 33053
1746.13/1750.41 c #Conflicts: 974000 | #Constraints: 34053
1746.13/1750.41 c #Conflicts: 975000 | #Constraints: 35053
1746.13/1750.41 c #Conflicts: 976000 | #Constraints: 36053
1746.13/1750.41 c #Conflicts: 977000 | #Constraints: 37053
1746.13/1750.41 c #Conflicts: 978000 | #Constraints: 38053
1746.13/1750.41 c #Conflicts: 979000 | #Constraints: 39053
1746.13/1750.41 c #Conflicts: 980000 | #Constraints: 40053
1746.13/1750.41 c #Conflicts: 981000 | #Constraints: 41053
1746.13/1750.41 c INPROCESSING
1746.13/1750.41 c GARBAGE COLLECT
1746.13/1750.41 c #Conflicts: 982000 | #Constraints: 22458
1746.13/1750.41 c #Conflicts: 983000 | #Constraints: 23458
1746.13/1750.41 c #Conflicts: 984000 | #Constraints: 24458
1746.13/1750.41 c #Conflicts: 985000 | #Constraints: 25458
1746.13/1750.41 c #Conflicts: 986000 | #Constraints: 26458
1746.13/1750.41 c #Conflicts: 987000 | #Constraints: 27458
1746.13/1750.41 c #Conflicts: 988000 | #Constraints: 28458
1746.13/1750.41 c #Conflicts: 989000 | #Constraints: 29458
1746.13/1750.41 c #Conflicts: 990000 | #Constraints: 30458
1746.13/1750.41 c #Conflicts: 991000 | #Constraints: 31458
1746.13/1750.41 c #Conflicts: 992000 | #Constraints: 32458
1746.13/1750.41 c #Conflicts: 993000 | #Constraints: 33458
1746.13/1750.41 c #Conflicts: 994000 | #Constraints: 34458
1746.13/1750.41 c #Conflicts: 995000 | #Constraints: 35458
1746.13/1750.41 c #Conflicts: 996000 | #Constraints: 36458
1746.13/1750.41 c #Conflicts: 997000 | #Constraints: 37458
1746.13/1750.41 c #Conflicts: 998000 | #Constraints: 38458
1746.13/1750.41 c #Conflicts: 999000 | #Constraints: 39458
1746.13/1750.41 c #Conflicts: 1000000 | #Constraints: 40458
1746.13/1750.41 c #Conflicts: 1001000 | #Constraints: 41458
1746.13/1750.41 c INPROCESSING
1746.13/1750.41 c GARBAGE COLLECT
1746.13/1750.41 c #Conflicts: 1002000 | #Constraints: 22661
1746.13/1750.41 c #Conflicts: 1003000 | #Constraints: 23661
1746.13/1750.41 c #Conflicts: 1004000 | #Constraints: 24661
1746.13/1750.41 c #Conflicts: 1005000 | #Constraints: 25661
1746.13/1750.41 c #Conflicts: 1006000 | #Constraints: 26661
1746.13/1750.41 c #Conflicts: 1007000 | #Constraints: 27661
1746.13/1750.41 c #Conflicts: 1008000 | #Constraints: 28661
1746.13/1750.41 c #Conflicts: 1009000 | #Constraints: 29661
1746.13/1750.41 c #Conflicts: 1010000 | #Constraints: 30661
1746.13/1750.41 c #Conflicts: 1011000 | #Constraints: 31661
1746.13/1750.41 c #Conflicts: 1012000 | #Constraints: 32661
1746.13/1750.41 c #Conflicts: 1013000 | #Constraints: 33661
1746.13/1750.41 c #Conflicts: 1014000 | #Constraints: 34661
1746.13/1750.41 c #Conflicts: 1015000 | #Constraints: 35661
1746.13/1750.41 c #Conflicts: 1016000 | #Constraints: 36661
1746.13/1750.41 c #Conflicts: 1017000 | #Constraints: 37661
1746.13/1750.41 c #Conflicts: 1018000 | #Constraints: 38661
1746.13/1750.41 c #Conflicts: 1019000 | #Constraints: 39661
1746.13/1750.41 c #Conflicts: 1020000 | #Constraints: 40661
1746.13/1750.41 c #Conflicts: 1021000 | #Constraints: 41661
1746.13/1750.41 c INPROCESSING
1746.13/1750.41 c GARBAGE COLLECT
1746.13/1750.41 c #Conflicts: 1022000 | #Constraints: 22657
1746.13/1750.41 c #Conflicts: 1023000 | #Constraints: 23657
1746.13/1750.41 c #Conflicts: 1024000 | #Constraints: 24657
1746.13/1750.41 c #Conflicts: 1025000 | #Constraints: 25657
1746.13/1750.41 c #Conflicts: 1026000 | #Constraints: 26657
1746.13/1750.41 c #Conflicts: 1027000 | #Constraints: 27657
1746.13/1750.41 c #Conflicts: 1028000 | #Constraints: 28657
1746.13/1750.41 c #Conflicts: 1029000 | #Constraints: 29657
1746.13/1750.41 c #Conflicts: 1030000 | #Constraints: 30657
1746.13/1750.41 c #Conflicts: 1031000 | #Constraints: 31657
1746.13/1750.41 c #Conflicts: 1032000 | #Constraints: 32657
1746.13/1750.41 c #Conflicts: 1033000 | #Constraints: 33657
1942.06/1946.81 c #Conflicts: 1034000 | #Constraints: 34657
1942.06/1946.81 c #Conflicts: 1035000 | #Constraints: 35657
1942.06/1946.81 c #Conflicts: 1036000 | #Constraints: 36657
1942.06/1946.81 c #Conflicts: 1037000 | #Constraints: 37657
1942.06/1946.81 c #Conflicts: 1038000 | #Constraints: 38657
1942.06/1946.81 c #Conflicts: 1039000 | #Constraints: 39657
1942.06/1946.81 c #Conflicts: 1040000 | #Constraints: 40657
1942.06/1946.81 c #Conflicts: 1041000 | #Constraints: 41657
1942.06/1946.81 c INPROCESSING
1942.06/1946.81 c GARBAGE COLLECT
1942.06/1946.81 c #Conflicts: 1042000 | #Constraints: 22457
1942.06/1946.81 c #Conflicts: 1043000 | #Constraints: 23457
1942.06/1946.81 c #Conflicts: 1044000 | #Constraints: 24457
1942.06/1946.81 c #Conflicts: 1045000 | #Constraints: 25457
1942.06/1946.81 c #Conflicts: 1046000 | #Constraints: 26457
1942.06/1946.81 c #Conflicts: 1047000 | #Constraints: 27457
1942.06/1946.81 c #Conflicts: 1048000 | #Constraints: 28457
1942.06/1946.81 c #Conflicts: 1049000 | #Constraints: 29457
1942.06/1946.81 c #Conflicts: 1050000 | #Constraints: 30457
1942.06/1946.81 c #Conflicts: 1051000 | #Constraints: 31457
1942.06/1946.81 c #Conflicts: 1052000 | #Constraints: 32457
1942.06/1946.81 c #Conflicts: 1053000 | #Constraints: 33457
1942.06/1946.81 c #Conflicts: 1054000 | #Constraints: 34457
1942.06/1946.81 c #Conflicts: 1055000 | #Constraints: 35457
1942.06/1946.81 c #Conflicts: 1056000 | #Constraints: 36457
1942.06/1946.81 c #Conflicts: 1057000 | #Constraints: 37457
1942.06/1946.81 c #Conflicts: 1058000 | #Constraints: 38457
1942.06/1946.81 c #Conflicts: 1059000 | #Constraints: 39457
1942.06/1946.81 c #Conflicts: 1060000 | #Constraints: 40457
1942.06/1946.81 c #Conflicts: 1061000 | #Constraints: 41457
1942.06/1946.81 c #Conflicts: 1062000 | #Constraints: 42457
1942.06/1946.81 c INPROCESSING
1942.06/1946.81 c GARBAGE COLLECT
1942.06/1946.81 c #Conflicts: 1063000 | #Constraints: 23055
1942.06/1946.81 c #Conflicts: 1064000 | #Constraints: 24055
1942.06/1946.81 c #Conflicts: 1065000 | #Constraints: 25055
1942.06/1946.81 c #Conflicts: 1066000 | #Constraints: 26055
1942.06/1946.81 c #Conflicts: 1067000 | #Constraints: 27055
1942.06/1946.81 c #Conflicts: 1068000 | #Constraints: 28055
1942.06/1946.81 c #Conflicts: 1069000 | #Constraints: 29055
1942.06/1946.81 c #Conflicts: 1070000 | #Constraints: 30055
1942.06/1946.81 c #Conflicts: 1071000 | #Constraints: 31055
1942.06/1946.81 c #Conflicts: 1072000 | #Constraints: 32055
1942.06/1946.81 c #Conflicts: 1073000 | #Constraints: 33055
1942.06/1946.81 c #Conflicts: 1074000 | #Constraints: 34055
1942.06/1946.81 c #Conflicts: 1075000 | #Constraints: 35055
1942.06/1946.81 c #Conflicts: 1076000 | #Constraints: 36055
1942.06/1946.81 c #Conflicts: 1077000 | #Constraints: 37055
1942.06/1946.81 c #Conflicts: 1078000 | #Constraints: 38055
1942.06/1946.81 c #Conflicts: 1079000 | #Constraints: 39055
1942.06/1946.81 c #Conflicts: 1080000 | #Constraints: 40055
1942.06/1946.81 c #Conflicts: 1081000 | #Constraints: 41055
1942.06/1946.81 c #Conflicts: 1082000 | #Constraints: 42055
1942.06/1946.81 c #Conflicts: 1083000 | #Constraints: 43055
1942.06/1946.81 c INPROCESSING
1942.06/1946.81 c GARBAGE COLLECT
1942.06/1946.81 c #Conflicts: 1084000 | #Constraints: 23455
1942.06/1946.81 c #Conflicts: 1085000 | #Constraints: 24455
1942.06/1946.81 c #Conflicts: 1086000 | #Constraints: 25455
1942.06/1946.81 c #Conflicts: 1087000 | #Constraints: 26455
1942.06/1946.81 c #Conflicts: 1088000 | #Constraints: 27455
1942.06/1946.81 c #Conflicts: 1089000 | #Constraints: 28455
1942.06/1946.81 c #Conflicts: 1090000 | #Constraints: 29455
1942.06/1946.81 c #Conflicts: 1091000 | #Constraints: 30455
1942.06/1946.81 c #Conflicts: 1092000 | #Constraints: 31455
1942.06/1946.81 c #Conflicts: 1093000 | #Constraints: 32455
1942.06/1946.81 c #Conflicts: 1094000 | #Constraints: 33455
1942.06/1946.81 c #Conflicts: 1095000 | #Constraints: 34455
1942.06/1946.81 c #Conflicts: 1096000 | #Constraints: 35455
1942.06/1946.81 c #Conflicts: 1097000 | #Constraints: 36455
1942.06/1946.81 c #Conflicts: 1098000 | #Constraints: 37455
1942.06/1946.81 c #Conflicts: 1099000 | #Constraints: 38455
1942.06/1946.81 c #Conflicts: 1100000 | #Constraints: 39455
1942.06/1946.81 c #Conflicts: 1101000 | #Constraints: 40455
1942.06/1946.81 c #Conflicts: 1102000 | #Constraints: 41455
1942.06/1946.81 c #Conflicts: 1103000 | #Constraints: 42455
1942.06/1946.81 c #Conflicts: 1104000 | #Constraints: 43455
1942.06/1946.81 c INPROCESSING
1942.06/1946.81 c GARBAGE COLLECT
1942.06/1946.81 c #Conflicts: 1105000 | #Constraints: 23655
1942.06/1946.81 c #Conflicts: 1106000 | #Constraints: 24655
1942.06/1946.81 c #Conflicts: 1107000 | #Constraints: 25655
1942.06/1946.81 c #Conflicts: 1108000 | #Constraints: 26655
1942.06/1946.81 c #Conflicts: 1109000 | #Constraints: 27655
1942.06/1946.81 c #Conflicts: 1110000 | #Constraints: 28655
2160.28/2165.60 c #Conflicts: 1111000 | #Constraints: 29655
2160.28/2165.60 c #Conflicts: 1112000 | #Constraints: 30655
2160.28/2165.60 c #Conflicts: 1113000 | #Constraints: 31655
2160.28/2165.60 c #Conflicts: 1114000 | #Constraints: 32655
2160.28/2165.60 c #Conflicts: 1115000 | #Constraints: 33655
2160.28/2165.60 c #Conflicts: 1116000 | #Constraints: 34655
2160.28/2165.60 c #Conflicts: 1117000 | #Constraints: 35655
2160.28/2165.60 c #Conflicts: 1118000 | #Constraints: 36655
2160.28/2165.60 c #Conflicts: 1119000 | #Constraints: 37655
2160.28/2165.60 c #Conflicts: 1120000 | #Constraints: 38655
2160.28/2165.60 c #Conflicts: 1121000 | #Constraints: 39655
2160.28/2165.60 c #Conflicts: 1122000 | #Constraints: 40655
2160.28/2165.60 c #Conflicts: 1123000 | #Constraints: 41655
2160.28/2165.60 c #Conflicts: 1124000 | #Constraints: 42655
2160.28/2165.60 c #Conflicts: 1125000 | #Constraints: 43655
2160.28/2165.60 c INPROCESSING
2160.28/2165.60 c GARBAGE COLLECT
2160.28/2165.60 c #Conflicts: 1126000 | #Constraints: 23660
2160.28/2165.60 c #Conflicts: 1127000 | #Constraints: 24660
2160.28/2165.60 c #Conflicts: 1128000 | #Constraints: 25660
2160.28/2165.60 c #Conflicts: 1129000 | #Constraints: 26660
2160.28/2165.60 c #Conflicts: 1130000 | #Constraints: 27660
2160.28/2165.60 c #Conflicts: 1131000 | #Constraints: 28660
2160.28/2165.60 c #Conflicts: 1132000 | #Constraints: 29660
2160.28/2165.60 c #Conflicts: 1133000 | #Constraints: 30660
2160.28/2165.60 c #Conflicts: 1134000 | #Constraints: 31660
2160.28/2165.60 c #Conflicts: 1135000 | #Constraints: 32660
2160.28/2165.60 c #Conflicts: 1136000 | #Constraints: 33660
2160.28/2165.60 c #Conflicts: 1137000 | #Constraints: 34660
2160.28/2165.60 c #Conflicts: 1138000 | #Constraints: 35660
2160.28/2165.60 c #Conflicts: 1139000 | #Constraints: 36660
2160.28/2165.60 c #Conflicts: 1140000 | #Constraints: 37660
2160.28/2165.60 c #Conflicts: 1141000 | #Constraints: 38660
2160.28/2165.60 c #Conflicts: 1142000 | #Constraints: 39660
2160.28/2165.60 c #Conflicts: 1143000 | #Constraints: 40660
2160.28/2165.60 c #Conflicts: 1144000 | #Constraints: 41660
2160.28/2165.60 c #Conflicts: 1145000 | #Constraints: 42660
2160.28/2165.60 c #Conflicts: 1146000 | #Constraints: 43660
2160.28/2165.60 c INPROCESSING
2160.28/2165.60 c GARBAGE COLLECT
2160.28/2165.60 c #Conflicts: 1147000 | #Constraints: 23463
2160.28/2165.60 c #Conflicts: 1148000 | #Constraints: 24463
2160.28/2165.60 c #Conflicts: 1149000 | #Constraints: 25463
2160.28/2165.60 c #Conflicts: 1150000 | #Constraints: 26463
2160.28/2165.60 c #Conflicts: 1151000 | #Constraints: 27463
2160.28/2165.60 c #Conflicts: 1152000 | #Constraints: 28463
2160.28/2165.60 c #Conflicts: 1153000 | #Constraints: 29463
2160.28/2165.60 c #Conflicts: 1154000 | #Constraints: 30463
2160.28/2165.60 c #Conflicts: 1155000 | #Constraints: 31463
2160.28/2165.60 c #Conflicts: 1156000 | #Constraints: 32463
2160.28/2165.60 c #Conflicts: 1157000 | #Constraints: 33463
2160.28/2165.60 c #Conflicts: 1158000 | #Constraints: 34463
2160.28/2165.60 c #Conflicts: 1159000 | #Constraints: 35463
2160.28/2165.60 c #Conflicts: 1160000 | #Constraints: 36463
2160.28/2165.60 c #Conflicts: 1161000 | #Constraints: 37463
2160.28/2165.60 c #Conflicts: 1162000 | #Constraints: 38463
2160.28/2165.60 c #Conflicts: 1163000 | #Constraints: 39463
2160.28/2165.60 c #Conflicts: 1164000 | #Constraints: 40463
2160.28/2165.60 c #Conflicts: 1165000 | #Constraints: 41463
2160.28/2165.60 c #Conflicts: 1166000 | #Constraints: 42463
2160.28/2165.60 c #Conflicts: 1167000 | #Constraints: 43463
2160.28/2165.60 c #Conflicts: 1168000 | #Constraints: 44463
2160.28/2165.60 c INPROCESSING
2160.28/2165.60 c GARBAGE COLLECT
2160.28/2165.60 c #Conflicts: 1169000 | #Constraints: 24054
2160.28/2165.60 c #Conflicts: 1170000 | #Constraints: 25054
2160.28/2165.60 c #Conflicts: 1171000 | #Constraints: 26054
2160.28/2165.60 c #Conflicts: 1172000 | #Constraints: 27054
2160.28/2165.60 c #Conflicts: 1173000 | #Constraints: 28054
2160.28/2165.60 c #Conflicts: 1174000 | #Constraints: 29054
2160.28/2165.60 c #Conflicts: 1175000 | #Constraints: 30054
2160.28/2165.60 c #Conflicts: 1176000 | #Constraints: 31054
2160.28/2165.60 c #Conflicts: 1177000 | #Constraints: 32054
2160.28/2165.60 c #Conflicts: 1178000 | #Constraints: 33054
2160.28/2165.60 c #Conflicts: 1179000 | #Constraints: 34054
2160.28/2165.60 c #Conflicts: 1180000 | #Constraints: 35054
2160.28/2165.60 c #Conflicts: 1181000 | #Constraints: 36054
2160.28/2165.60 c #Conflicts: 1182000 | #Constraints: 37054
2160.28/2165.60 c #Conflicts: 1183000 | #Constraints: 38054
2160.28/2165.60 c #Conflicts: 1184000 | #Constraints: 39054
2160.28/2165.60 c #Conflicts: 1185000 | #Constraints: 40054
2160.28/2165.60 c #Conflicts: 1186000 | #Constraints: 41054
2390.04/2396.08 c #Conflicts: 1187000 | #Constraints: 42054
2390.04/2396.08 c #Conflicts: 1188000 | #Constraints: 43054
2390.04/2396.08 c #Conflicts: 1189000 | #Constraints: 44054
2390.04/2396.08 c #Conflicts: 1190000 | #Constraints: 45054
2390.04/2396.08 c INPROCESSING
2390.04/2396.08 c GARBAGE COLLECT
2390.04/2396.08 c #Conflicts: 1191000 | #Constraints: 24452
2390.04/2396.08 c #Conflicts: 1192000 | #Constraints: 25452
2390.04/2396.08 c #Conflicts: 1193000 | #Constraints: 26452
2390.04/2396.08 c #Conflicts: 1194000 | #Constraints: 27452
2390.04/2396.08 c #Conflicts: 1195000 | #Constraints: 28452
2390.04/2396.08 c #Conflicts: 1196000 | #Constraints: 29452
2390.04/2396.08 c #Conflicts: 1197000 | #Constraints: 30452
2390.04/2396.08 c #Conflicts: 1198000 | #Constraints: 31452
2390.04/2396.08 c #Conflicts: 1199000 | #Constraints: 32452
2390.04/2396.08 c #Conflicts: 1200000 | #Constraints: 33452
2390.04/2396.08 c #Conflicts: 1201000 | #Constraints: 34452
2390.04/2396.08 c #Conflicts: 1202000 | #Constraints: 35452
2390.04/2396.08 c #Conflicts: 1203000 | #Constraints: 36452
2390.04/2396.08 c #Conflicts: 1204000 | #Constraints: 37452
2390.04/2396.08 c #Conflicts: 1205000 | #Constraints: 38452
2390.04/2396.08 c #Conflicts: 1206000 | #Constraints: 39452
2390.04/2396.08 c #Conflicts: 1207000 | #Constraints: 40452
2390.04/2396.08 c #Conflicts: 1208000 | #Constraints: 41452
2390.04/2396.08 c #Conflicts: 1209000 | #Constraints: 42452
2390.04/2396.08 c #Conflicts: 1210000 | #Constraints: 43452
2390.04/2396.08 c #Conflicts: 1211000 | #Constraints: 44452
2390.04/2396.08 c #Conflicts: 1212000 | #Constraints: 45452
2390.04/2396.08 c INPROCESSING
2390.04/2396.08 c GARBAGE COLLECT
2390.04/2396.08 c #Conflicts: 1213000 | #Constraints: 24653
2390.04/2396.08 c #Conflicts: 1214000 | #Constraints: 25653
2390.04/2396.08 c #Conflicts: 1215000 | #Constraints: 26653
2390.04/2396.08 c #Conflicts: 1216000 | #Constraints: 27653
2390.04/2396.08 c #Conflicts: 1217000 | #Constraints: 28653
2390.04/2396.08 c #Conflicts: 1218000 | #Constraints: 29653
2390.04/2396.08 c #Conflicts: 1219000 | #Constraints: 30653
2390.04/2396.08 c #Conflicts: 1220000 | #Constraints: 31653
2390.04/2396.08 c #Conflicts: 1221000 | #Constraints: 32653
2390.04/2396.08 c #Conflicts: 1222000 | #Constraints: 33653
2390.04/2396.08 c #Conflicts: 1223000 | #Constraints: 34653
2390.04/2396.08 c #Conflicts: 1224000 | #Constraints: 35653
2390.04/2396.08 c #Conflicts: 1225000 | #Constraints: 36653
2390.04/2396.08 c #Conflicts: 1226000 | #Constraints: 37653
2390.04/2396.08 c #Conflicts: 1227000 | #Constraints: 38653
2390.04/2396.08 c #Conflicts: 1228000 | #Constraints: 39653
2390.04/2396.08 c #Conflicts: 1229000 | #Constraints: 40653
2390.04/2396.08 c #Conflicts: 1230000 | #Constraints: 41653
2390.04/2396.08 c #Conflicts: 1231000 | #Constraints: 42653
2390.04/2396.08 c #Conflicts: 1232000 | #Constraints: 43653
2390.04/2396.08 c #Conflicts: 1233000 | #Constraints: 44653
2390.04/2396.08 c #Conflicts: 1234000 | #Constraints: 45653
2390.04/2396.08 c INPROCESSING
2390.04/2396.08 c GARBAGE COLLECT
2390.04/2396.08 c #Conflicts: 1235000 | #Constraints: 24654
2390.04/2396.08 c #Conflicts: 1236000 | #Constraints: 25654
2390.04/2396.08 c #Conflicts: 1237000 | #Constraints: 26654
2390.04/2396.08 c #Conflicts: 1238000 | #Constraints: 27654
2390.04/2396.08 c #Conflicts: 1239000 | #Constraints: 28654
2390.04/2396.08 c #Conflicts: 1240000 | #Constraints: 29654
2390.04/2396.08 c #Conflicts: 1241000 | #Constraints: 30654
2390.04/2396.08 c #Conflicts: 1242000 | #Constraints: 31654
2390.04/2396.08 c #Conflicts: 1243000 | #Constraints: 32654
2390.04/2396.08 c #Conflicts: 1244000 | #Constraints: 33654
2390.04/2396.08 c #Conflicts: 1245000 | #Constraints: 34654
2390.04/2396.08 c #Conflicts: 1246000 | #Constraints: 35654
2390.04/2396.08 c #Conflicts: 1247000 | #Constraints: 36654
2390.04/2396.08 c #Conflicts: 1248000 | #Constraints: 37654
2390.04/2396.08 c #Conflicts: 1249000 | #Constraints: 38654
2390.04/2396.08 c #Conflicts: 1250000 | #Constraints: 39654
2390.04/2396.08 c #Conflicts: 1251000 | #Constraints: 40654
2390.04/2396.08 c #Conflicts: 1252000 | #Constraints: 41654
2390.04/2396.08 c #Conflicts: 1253000 | #Constraints: 42654
2390.04/2396.08 c #Conflicts: 1254000 | #Constraints: 43654
2390.04/2396.08 c #Conflicts: 1255000 | #Constraints: 44654
2390.04/2396.08 c #Conflicts: 1256000 | #Constraints: 45654
2390.04/2396.08 c INPROCESSING
2390.04/2396.08 c GARBAGE COLLECT
2390.04/2396.08 c #Conflicts: 1257000 | #Constraints: 24455
2390.04/2396.08 c #Conflicts: 1258000 | #Constraints: 25455
2390.04/2396.08 c #Conflicts: 1259000 | #Constraints: 26455
2390.04/2396.08 c #Conflicts: 1260000 | #Constraints: 27455
2390.04/2396.08 c #Conflicts: 1261000 | #Constraints: 28455
2390.04/2396.08 c #Conflicts: 1262000 | #Constraints: 29455
2390.04/2396.08 c #Conflicts: 1263000 | #Constraints: 30455
2634.88/2641.55 c #Conflicts: 1264000 | #Constraints: 31455
2634.88/2641.55 c #Conflicts: 1265000 | #Constraints: 32455
2634.88/2641.55 c #Conflicts: 1266000 | #Constraints: 33455
2634.88/2641.55 c #Conflicts: 1267000 | #Constraints: 34455
2634.88/2641.55 c #Conflicts: 1268000 | #Constraints: 35455
2634.88/2641.55 c #Conflicts: 1269000 | #Constraints: 36455
2634.88/2641.55 c #Conflicts: 1270000 | #Constraints: 37455
2634.88/2641.55 c #Conflicts: 1271000 | #Constraints: 38455
2634.88/2641.55 c #Conflicts: 1272000 | #Constraints: 39455
2634.88/2641.55 c #Conflicts: 1273000 | #Constraints: 40455
2634.88/2641.55 c #Conflicts: 1274000 | #Constraints: 41455
2634.88/2641.55 c #Conflicts: 1275000 | #Constraints: 42455
2634.88/2641.55 c #Conflicts: 1276000 | #Constraints: 43455
2634.88/2641.55 c #Conflicts: 1277000 | #Constraints: 44455
2634.88/2641.55 c #Conflicts: 1278000 | #Constraints: 45455
2634.88/2641.55 c #Conflicts: 1279000 | #Constraints: 46455
2634.88/2641.55 c INPROCESSING
2634.88/2641.55 c GARBAGE COLLECT
2634.88/2641.55 c #Conflicts: 1280000 | #Constraints: 25054
2634.88/2641.55 c #Conflicts: 1281000 | #Constraints: 26054
2634.88/2641.55 c #Conflicts: 1282000 | #Constraints: 27054
2634.88/2641.55 c #Conflicts: 1283000 | #Constraints: 28054
2634.88/2641.55 c #Conflicts: 1284000 | #Constraints: 29054
2634.88/2641.55 c #Conflicts: 1285000 | #Constraints: 30054
2634.88/2641.55 c #Conflicts: 1286000 | #Constraints: 31054
2634.88/2641.55 c #Conflicts: 1287000 | #Constraints: 32054
2634.88/2641.55 c #Conflicts: 1288000 | #Constraints: 33054
2634.88/2641.55 c #Conflicts: 1289000 | #Constraints: 34054
2634.88/2641.55 c #Conflicts: 1290000 | #Constraints: 35054
2634.88/2641.55 c #Conflicts: 1291000 | #Constraints: 36054
2634.88/2641.55 c #Conflicts: 1292000 | #Constraints: 37054
2634.88/2641.55 c #Conflicts: 1293000 | #Constraints: 38054
2634.88/2641.55 c #Conflicts: 1294000 | #Constraints: 39054
2634.88/2641.55 c #Conflicts: 1295000 | #Constraints: 40054
2634.88/2641.55 c #Conflicts: 1296000 | #Constraints: 41054
2634.88/2641.55 c #Conflicts: 1297000 | #Constraints: 42054
2634.88/2641.55 c #Conflicts: 1298000 | #Constraints: 43054
2634.88/2641.55 c #Conflicts: 1299000 | #Constraints: 44054
2634.88/2641.55 c #Conflicts: 1300000 | #Constraints: 45054
2634.88/2641.55 c #Conflicts: 1301000 | #Constraints: 46054
2634.88/2641.55 c #Conflicts: 1302000 | #Constraints: 47054
2634.88/2641.55 c INPROCESSING
2634.88/2641.55 c GARBAGE COLLECT
2634.88/2641.55 c #Conflicts: 1303000 | #Constraints: 25457
2634.88/2641.55 c #Conflicts: 1304000 | #Constraints: 26457
2634.88/2641.55 c #Conflicts: 1305000 | #Constraints: 27457
2634.88/2641.55 c #Conflicts: 1306000 | #Constraints: 28457
2634.88/2641.55 c #Conflicts: 1307000 | #Constraints: 29457
2634.88/2641.55 c #Conflicts: 1308000 | #Constraints: 30457
2634.88/2641.55 c #Conflicts: 1309000 | #Constraints: 31457
2634.88/2641.55 c #Conflicts: 1310000 | #Constraints: 32457
2634.88/2641.55 c #Conflicts: 1311000 | #Constraints: 33457
2634.88/2641.55 c #Conflicts: 1312000 | #Constraints: 34457
2634.88/2641.55 c #Conflicts: 1313000 | #Constraints: 35457
2634.88/2641.55 c #Conflicts: 1314000 | #Constraints: 36457
2634.88/2641.55 c #Conflicts: 1315000 | #Constraints: 37457
2634.88/2641.55 c #Conflicts: 1316000 | #Constraints: 38457
2634.88/2641.55 c #Conflicts: 1317000 | #Constraints: 39457
2634.88/2641.55 c #Conflicts: 1318000 | #Constraints: 40457
2634.88/2641.55 c #Conflicts: 1319000 | #Constraints: 41457
2634.88/2641.55 c #Conflicts: 1320000 | #Constraints: 42457
2634.88/2641.55 c #Conflicts: 1321000 | #Constraints: 43457
2634.88/2641.55 c #Conflicts: 1322000 | #Constraints: 44457
2634.88/2641.55 c #Conflicts: 1323000 | #Constraints: 45457
2634.88/2641.55 c #Conflicts: 1324000 | #Constraints: 46457
2634.88/2641.55 c #Conflicts: 1325000 | #Constraints: 47457
2634.88/2641.55 c INPROCESSING
2634.88/2641.55 c GARBAGE COLLECT
2634.88/2641.55 c #Conflicts: 1326000 | #Constraints: 25655
2634.88/2641.55 c #Conflicts: 1327000 | #Constraints: 26655
2634.88/2641.55 c #Conflicts: 1328000 | #Constraints: 27655
2634.88/2641.55 c #Conflicts: 1329000 | #Constraints: 28655
2634.88/2641.55 c #Conflicts: 1330000 | #Constraints: 29655
2634.88/2641.55 c #Conflicts: 1331000 | #Constraints: 30655
2634.88/2641.55 c #Conflicts: 1332000 | #Constraints: 31655
2634.88/2641.55 c #Conflicts: 1333000 | #Constraints: 32655
2634.88/2641.55 c #Conflicts: 1334000 | #Constraints: 33655
2634.88/2641.55 c #Conflicts: 1335000 | #Constraints: 34655
2634.88/2641.55 c #Conflicts: 1336000 | #Constraints: 35655
2634.88/2641.55 c #Conflicts: 1337000 | #Constraints: 36655
2634.88/2641.55 c #Conflicts: 1338000 | #Constraints: 37655
2634.88/2641.55 c #Conflicts: 1339000 | #Constraints: 38655
2634.88/2641.55 c #Conflicts: 1340000 | #Constraints: 39655
2880.10/2887.37 c #Conflicts: 1341000 | #Constraints: 40655
2880.10/2887.37 c #Conflicts: 1342000 | #Constraints: 41655
2880.10/2887.37 c #Conflicts: 1343000 | #Constraints: 42655
2880.10/2887.37 c #Conflicts: 1344000 | #Constraints: 43655
2880.10/2887.37 c #Conflicts: 1345000 | #Constraints: 44655
2880.10/2887.37 c #Conflicts: 1346000 | #Constraints: 45655
2880.10/2887.37 c #Conflicts: 1347000 | #Constraints: 46655
2880.10/2887.37 c #Conflicts: 1348000 | #Constraints: 47655
2880.10/2887.37 c INPROCESSING
2880.10/2887.37 c GARBAGE COLLECT
2880.10/2887.37 c #Conflicts: 1349000 | #Constraints: 25654
2880.10/2887.37 c #Conflicts: 1350000 | #Constraints: 26654
2880.10/2887.37 c #Conflicts: 1351000 | #Constraints: 27654
2880.10/2887.37 c #Conflicts: 1352000 | #Constraints: 28654
2880.10/2887.37 c #Conflicts: 1353000 | #Constraints: 29654
2880.10/2887.37 c #Conflicts: 1354000 | #Constraints: 30654
2880.10/2887.37 c #Conflicts: 1355000 | #Constraints: 31654
2880.10/2887.37 c #Conflicts: 1356000 | #Constraints: 32654
2880.10/2887.37 c #Conflicts: 1357000 | #Constraints: 33654
2880.10/2887.37 c #Conflicts: 1358000 | #Constraints: 34654
2880.10/2887.37 c #Conflicts: 1359000 | #Constraints: 35654
2880.10/2887.37 c #Conflicts: 1360000 | #Constraints: 36654
2880.10/2887.37 c #Conflicts: 1361000 | #Constraints: 37654
2880.10/2887.37 c #Conflicts: 1362000 | #Constraints: 38654
2880.10/2887.37 c #Conflicts: 1363000 | #Constraints: 39654
2880.10/2887.37 c #Conflicts: 1364000 | #Constraints: 40654
2880.10/2887.37 c #Conflicts: 1365000 | #Constraints: 41654
2880.10/2887.37 c #Conflicts: 1366000 | #Constraints: 42654
2880.10/2887.37 c #Conflicts: 1367000 | #Constraints: 43654
2880.10/2887.37 c #Conflicts: 1368000 | #Constraints: 44654
2880.10/2887.37 c #Conflicts: 1369000 | #Constraints: 45654
2880.10/2887.37 c #Conflicts: 1370000 | #Constraints: 46654
2880.10/2887.37 c #Conflicts: 1371000 | #Constraints: 47654
2880.10/2887.37 c INPROCESSING
2880.10/2887.37 c GARBAGE COLLECT
2880.10/2887.37 c #Conflicts: 1372000 | #Constraints: 25459
2880.10/2887.37 c #Conflicts: 1373000 | #Constraints: 26459
2880.10/2887.37 c #Conflicts: 1374000 | #Constraints: 27459
2880.10/2887.37 c #Conflicts: 1375000 | #Constraints: 28459
2880.10/2887.37 c #Conflicts: 1376000 | #Constraints: 29459
2880.10/2887.37 c #Conflicts: 1377000 | #Constraints: 30459
2880.10/2887.37 c #Conflicts: 1378000 | #Constraints: 31459
2880.10/2887.37 c #Conflicts: 1379000 | #Constraints: 32459
2880.10/2887.37 c #Conflicts: 1380000 | #Constraints: 33459
2880.10/2887.37 c #Conflicts: 1381000 | #Constraints: 34459
2880.10/2887.37 c #Conflicts: 1382000 | #Constraints: 35459
2880.10/2887.37 c #Conflicts: 1383000 | #Constraints: 36459
2880.10/2887.37 c #Conflicts: 1384000 | #Constraints: 37459
2880.10/2887.37 c #Conflicts: 1385000 | #Constraints: 38459
2880.10/2887.37 c #Conflicts: 1386000 | #Constraints: 39459
2880.10/2887.37 c #Conflicts: 1387000 | #Constraints: 40459
2880.10/2887.37 c #Conflicts: 1388000 | #Constraints: 41459
2880.10/2887.37 c #Conflicts: 1389000 | #Constraints: 42459
2880.10/2887.37 c #Conflicts: 1390000 | #Constraints: 43459
2880.10/2887.37 c #Conflicts: 1391000 | #Constraints: 44459
2880.10/2887.37 c #Conflicts: 1392000 | #Constraints: 45459
2880.10/2887.37 c #Conflicts: 1393000 | #Constraints: 46459
2880.10/2887.37 c #Conflicts: 1394000 | #Constraints: 47459
2880.10/2887.37 c #Conflicts: 1395000 | #Constraints: 48459
2880.10/2887.37 c INPROCESSING
2880.10/2887.37 c GARBAGE COLLECT
2880.10/2887.37 c #Conflicts: 1396000 | #Constraints: 26061
2880.10/2887.37 c #Conflicts: 1397000 | #Constraints: 27061
2880.10/2887.37 c #Conflicts: 1398000 | #Constraints: 28061
2880.10/2887.37 c #Conflicts: 1399000 | #Constraints: 29061
2880.10/2887.37 c #Conflicts: 1400000 | #Constraints: 30061
2880.10/2887.37 c #Conflicts: 1401000 | #Constraints: 31061
2880.10/2887.37 c #Conflicts: 1402000 | #Constraints: 32061
2880.10/2887.37 c #Conflicts: 1403000 | #Constraints: 33061
2880.10/2887.37 c #Conflicts: 1404000 | #Constraints: 34061
2880.10/2887.37 c #Conflicts: 1405000 | #Constraints: 35061
2880.10/2887.37 c #Conflicts: 1406000 | #Constraints: 36061
2880.10/2887.37 c #Conflicts: 1407000 | #Constraints: 37061
2880.10/2887.37 c #Conflicts: 1408000 | #Constraints: 38061
2880.10/2887.37 c #Conflicts: 1409000 | #Constraints: 39061
2880.10/2887.37 c #Conflicts: 1410000 | #Constraints: 40061
2880.10/2887.37 c #Conflicts: 1411000 | #Constraints: 41061
2880.10/2887.37 c #Conflicts: 1412000 | #Constraints: 42061
2880.10/2887.37 c #Conflicts: 1413000 | #Constraints: 43061
2880.10/2887.37 c #Conflicts: 1414000 | #Constraints: 44061
2880.10/2887.37 c #Conflicts: 1415000 | #Constraints: 45061
2880.10/2887.37 c #Conflicts: 1416000 | #Constraints: 46061
3133.14/3140.96 c #Conflicts: 1417000 | #Constraints: 47061
3133.14/3140.96 c #Conflicts: 1418000 | #Constraints: 48061
3133.14/3140.96 c #Conflicts: 1419000 | #Constraints: 49061
3133.14/3140.96 c INPROCESSING
3133.14/3140.96 c GARBAGE COLLECT
3133.14/3140.96 c #Conflicts: 1420000 | #Constraints: 26458
3133.14/3140.96 c #Conflicts: 1421000 | #Constraints: 27458
3133.14/3140.96 c #Conflicts: 1422000 | #Constraints: 28458
3133.14/3140.96 c #Conflicts: 1423000 | #Constraints: 29458
3133.14/3140.96 c #Conflicts: 1424000 | #Constraints: 30458
3133.14/3140.96 c #Conflicts: 1425000 | #Constraints: 31458
3133.14/3140.96 c #Conflicts: 1426000 | #Constraints: 32458
3133.14/3140.96 c #Conflicts: 1427000 | #Constraints: 33458
3133.14/3140.96 c #Conflicts: 1428000 | #Constraints: 34458
3133.14/3140.96 c #Conflicts: 1429000 | #Constraints: 35458
3133.14/3140.96 c #Conflicts: 1430000 | #Constraints: 36458
3133.14/3140.96 c #Conflicts: 1431000 | #Constraints: 37458
3133.14/3140.96 c #Conflicts: 1432000 | #Constraints: 38458
3133.14/3140.96 c #Conflicts: 1433000 | #Constraints: 39458
3133.14/3140.96 c #Conflicts: 1434000 | #Constraints: 40458
3133.14/3140.96 c #Conflicts: 1435000 | #Constraints: 41458
3133.14/3140.96 c #Conflicts: 1436000 | #Constraints: 42458
3133.14/3140.96 c #Conflicts: 1437000 | #Constraints: 43458
3133.14/3140.96 c #Conflicts: 1438000 | #Constraints: 44458
3133.14/3140.96 c #Conflicts: 1439000 | #Constraints: 45458
3133.14/3140.96 c #Conflicts: 1440000 | #Constraints: 46458
3133.14/3140.96 c #Conflicts: 1441000 | #Constraints: 47458
3133.14/3140.96 c #Conflicts: 1442000 | #Constraints: 48458
3133.14/3140.96 c #Conflicts: 1443000 | #Constraints: 49458
3133.14/3140.96 c INPROCESSING
3133.14/3140.96 c GARBAGE COLLECT
3133.14/3140.96 c #Conflicts: 1444000 | #Constraints: 26660
3133.14/3140.96 c #Conflicts: 1445000 | #Constraints: 27660
3133.14/3140.96 c #Conflicts: 1446000 | #Constraints: 28660
3133.14/3140.96 c #Conflicts: 1447000 | #Constraints: 29660
3133.14/3140.96 c #Conflicts: 1448000 | #Constraints: 30660
3133.14/3140.96 c #Conflicts: 1449000 | #Constraints: 31660
3133.14/3140.96 c #Conflicts: 1450000 | #Constraints: 32660
3133.14/3140.96 c #Conflicts: 1451000 | #Constraints: 33660
3133.14/3140.96 c #Conflicts: 1452000 | #Constraints: 34660
3133.14/3140.96 c #Conflicts: 1453000 | #Constraints: 35660
3133.14/3140.96 c #Conflicts: 1454000 | #Constraints: 36660
3133.14/3140.96 c #Conflicts: 1455000 | #Constraints: 37660
3133.14/3140.96 c #Conflicts: 1456000 | #Constraints: 38660
3133.14/3140.96 c #Conflicts: 1457000 | #Constraints: 39660
3133.14/3140.96 c #Conflicts: 1458000 | #Constraints: 40660
3133.14/3140.96 c #Conflicts: 1459000 | #Constraints: 41660
3133.14/3140.96 c #Conflicts: 1460000 | #Constraints: 42660
3133.14/3140.96 c #Conflicts: 1461000 | #Constraints: 43660
3133.14/3140.96 c #Conflicts: 1462000 | #Constraints: 44660
3133.14/3140.96 c #Conflicts: 1463000 | #Constraints: 45660
3133.14/3140.96 c #Conflicts: 1464000 | #Constraints: 46660
3133.14/3140.96 c #Conflicts: 1465000 | #Constraints: 47660
3133.14/3140.96 c #Conflicts: 1466000 | #Constraints: 48660
3133.14/3140.96 c #Conflicts: 1467000 | #Constraints: 49660
3133.14/3140.96 c INPROCESSING
3133.14/3140.96 c GARBAGE COLLECT
3133.14/3140.96 c #Conflicts: 1468000 | #Constraints: 26661
3133.14/3140.96 c #Conflicts: 1469000 | #Constraints: 27661
3133.14/3140.96 c #Conflicts: 1470000 | #Constraints: 28661
3133.14/3140.96 c #Conflicts: 1471000 | #Constraints: 29661
3133.14/3140.96 c #Conflicts: 1472000 | #Constraints: 30661
3133.14/3140.96 c #Conflicts: 1473000 | #Constraints: 31661
3133.14/3140.96 c #Conflicts: 1474000 | #Constraints: 32661
3133.14/3140.96 c #Conflicts: 1475000 | #Constraints: 33661
3133.14/3140.96 c #Conflicts: 1476000 | #Constraints: 34661
3133.14/3140.96 c #Conflicts: 1477000 | #Constraints: 35661
3133.14/3140.96 c #Conflicts: 1478000 | #Constraints: 36661
3133.14/3140.96 c #Conflicts: 1479000 | #Constraints: 37661
3133.14/3140.96 c #Conflicts: 1480000 | #Constraints: 38661
3133.14/3140.96 c #Conflicts: 1481000 | #Constraints: 39661
3133.14/3140.96 c #Conflicts: 1482000 | #Constraints: 40661
3133.14/3140.96 c #Conflicts: 1483000 | #Constraints: 41661
3133.14/3140.96 c #Conflicts: 1484000 | #Constraints: 42661
3133.14/3140.96 c #Conflicts: 1485000 | #Constraints: 43661
3133.14/3140.96 c #Conflicts: 1486000 | #Constraints: 44661
3133.14/3140.96 c #Conflicts: 1487000 | #Constraints: 45661
3133.14/3140.96 c #Conflicts: 1488000 | #Constraints: 46661
3133.14/3140.96 c #Conflicts: 1489000 | #Constraints: 47661
3133.14/3140.96 c #Conflicts: 1490000 | #Constraints: 48661
3133.14/3140.96 c #Conflicts: 1491000 | #Constraints: 49661
3133.14/3140.96 c INPROCESSING
3133.14/3140.96 c GARBAGE COLLECT
3133.14/3140.96 c #Conflicts: 1492000 | #Constraints: 26464
3133.14/3140.96 c #Conflicts: 1493000 | #Constraints: 27464
3401.55/3409.99 c #Conflicts: 1494000 | #Constraints: 28464
3401.55/3409.99 c #Conflicts: 1495000 | #Constraints: 29464
3401.55/3409.99 c #Conflicts: 1496000 | #Constraints: 30464
3401.55/3409.99 c #Conflicts: 1497000 | #Constraints: 31464
3401.55/3409.99 c #Conflicts: 1498000 | #Constraints: 32464
3401.55/3409.99 c #Conflicts: 1499000 | #Constraints: 33464
3401.55/3409.99 c #Conflicts: 1500000 | #Constraints: 34464
3401.55/3409.99 c #Conflicts: 1501000 | #Constraints: 35464
3401.55/3409.99 c #Conflicts: 1502000 | #Constraints: 36464
3401.55/3409.99 c #Conflicts: 1503000 | #Constraints: 37464
3401.55/3409.99 c #Conflicts: 1504000 | #Constraints: 38464
3401.55/3409.99 c #Conflicts: 1505000 | #Constraints: 39464
3401.55/3409.99 c #Conflicts: 1506000 | #Constraints: 40464
3401.55/3409.99 c #Conflicts: 1507000 | #Constraints: 41464
3401.55/3409.99 c #Conflicts: 1508000 | #Constraints: 42464
3401.55/3409.99 c #Conflicts: 1509000 | #Constraints: 43464
3401.55/3409.99 c #Conflicts: 1510000 | #Constraints: 44464
3401.55/3409.99 c #Conflicts: 1511000 | #Constraints: 45464
3401.55/3409.99 c #Conflicts: 1512000 | #Constraints: 46464
3401.55/3409.99 c #Conflicts: 1513000 | #Constraints: 47464
3401.55/3409.99 c #Conflicts: 1514000 | #Constraints: 48464
3401.55/3409.99 c #Conflicts: 1515000 | #Constraints: 49464
3401.55/3409.99 c #Conflicts: 1516000 | #Constraints: 50464
3401.55/3409.99 c INPROCESSING
3401.55/3409.99 c GARBAGE COLLECT
3401.55/3409.99 c #Conflicts: 1517000 | #Constraints: 27057
3401.55/3409.99 c #Conflicts: 1518000 | #Constraints: 28057
3401.55/3409.99 c #Conflicts: 1519000 | #Constraints: 29057
3401.55/3409.99 c #Conflicts: 1520000 | #Constraints: 30057
3401.55/3409.99 c #Conflicts: 1521000 | #Constraints: 31057
3401.55/3409.99 c #Conflicts: 1522000 | #Constraints: 32057
3401.55/3409.99 c #Conflicts: 1523000 | #Constraints: 33057
3401.55/3409.99 c #Conflicts: 1524000 | #Constraints: 34057
3401.55/3409.99 c #Conflicts: 1525000 | #Constraints: 35057
3401.55/3409.99 c #Conflicts: 1526000 | #Constraints: 36057
3401.55/3409.99 c #Conflicts: 1527000 | #Constraints: 37057
3401.55/3409.99 c #Conflicts: 1528000 | #Constraints: 38057
3401.55/3409.99 c #Conflicts: 1529000 | #Constraints: 39057
3401.55/3409.99 c #Conflicts: 1530000 | #Constraints: 40057
3401.55/3409.99 c #Conflicts: 1531000 | #Constraints: 41057
3401.55/3409.99 c #Conflicts: 1532000 | #Constraints: 42057
3401.55/3409.99 c #Conflicts: 1533000 | #Constraints: 43057
3401.55/3409.99 c #Conflicts: 1534000 | #Constraints: 44057
3401.55/3409.99 c #Conflicts: 1535000 | #Constraints: 45057
3401.55/3409.99 c #Conflicts: 1536000 | #Constraints: 46057
3401.55/3409.99 c #Conflicts: 1537000 | #Constraints: 47057
3401.55/3409.99 c #Conflicts: 1538000 | #Constraints: 48057
3401.55/3409.99 c #Conflicts: 1539000 | #Constraints: 49057
3401.55/3409.99 c #Conflicts: 1540000 | #Constraints: 50057
3401.55/3409.99 c #Conflicts: 1541000 | #Constraints: 51057
3401.55/3409.99 c INPROCESSING
3401.55/3409.99 c GARBAGE COLLECT
3401.55/3409.99 c #Conflicts: 1542000 | #Constraints: 27455
3401.55/3409.99 c #Conflicts: 1543000 | #Constraints: 28455
3401.55/3409.99 c #Conflicts: 1544000 | #Constraints: 29455
3401.55/3409.99 c #Conflicts: 1545000 | #Constraints: 30455
3401.55/3409.99 c #Conflicts: 1546000 | #Constraints: 31455
3401.55/3409.99 c #Conflicts: 1547000 | #Constraints: 32455
3401.55/3409.99 c #Conflicts: 1548000 | #Constraints: 33455
3401.55/3409.99 c #Conflicts: 1549000 | #Constraints: 34455
3401.55/3409.99 c #Conflicts: 1550000 | #Constraints: 35455
3401.55/3409.99 c #Conflicts: 1551000 | #Constraints: 36455
3401.55/3409.99 c #Conflicts: 1552000 | #Constraints: 37455
3401.55/3409.99 c #Conflicts: 1553000 | #Constraints: 38455
3401.55/3409.99 c #Conflicts: 1554000 | #Constraints: 39455
3401.55/3409.99 c #Conflicts: 1555000 | #Constraints: 40455
3401.55/3409.99 c #Conflicts: 1556000 | #Constraints: 41455
3401.55/3409.99 c #Conflicts: 1557000 | #Constraints: 42455
3401.55/3409.99 c #Conflicts: 1558000 | #Constraints: 43455
3401.55/3409.99 c #Conflicts: 1559000 | #Constraints: 44455
3401.55/3409.99 c #Conflicts: 1560000 | #Constraints: 45455
3401.55/3409.99 c #Conflicts: 1561000 | #Constraints: 46455
3401.55/3409.99 c #Conflicts: 1562000 | #Constraints: 47455
3401.55/3409.99 c #Conflicts: 1563000 | #Constraints: 48455
3401.55/3409.99 c #Conflicts: 1564000 | #Constraints: 49455
3401.55/3409.99 c #Conflicts: 1565000 | #Constraints: 50455
3401.55/3409.99 c #Conflicts: 1566000 | #Constraints: 51455
3401.55/3409.99 c INPROCESSING
3401.55/3409.99 c GARBAGE COLLECT
3401.55/3409.99 c #Conflicts: 1567000 | #Constraints: 27658
3401.55/3409.99 c #Conflicts: 1568000 | #Constraints: 28658
3401.55/3409.99 c #Conflicts: 1569000 | #Constraints: 29658
3600.07/3608.80 c #Conflicts: 1570000 | #Constraints: 30658
3600.07/3608.80 c #Conflicts: 1571000 | #Constraints: 31658
3600.07/3608.80 c #Conflicts: 1572000 | #Constraints: 32658
3600.07/3608.80 c #Conflicts: 1573000 | #Constraints: 33658
3600.07/3608.80 c #Conflicts: 1574000 | #Constraints: 34658
3600.07/3608.80 c #Conflicts: 1575000 | #Constraints: 35658
3600.07/3608.80 c #Conflicts: 1576000 | #Constraints: 36658
3600.07/3608.80 c #Conflicts: 1577000 | #Constraints: 37658
3600.07/3608.80 c #Conflicts: 1578000 | #Constraints: 38658
3600.07/3608.80 c #Conflicts: 1579000 | #Constraints: 39658
3600.07/3608.80 c #Conflicts: 1580000 | #Constraints: 40658
3600.07/3608.80 c #Conflicts: 1581000 | #Constraints: 41658
3600.07/3608.80 c #Conflicts: 1582000 | #Constraints: 42658
3600.07/3608.80 c #Conflicts: 1583000 | #Constraints: 43658
3600.07/3608.80 c #Conflicts: 1584000 | #Constraints: 44658
3600.07/3608.80 c #Conflicts: 1585000 | #Constraints: 45658
3600.07/3608.80 c #Conflicts: 1586000 | #Constraints: 46658
3600.07/3608.80 c #Conflicts: 1587000 | #Constraints: 47658
3600.07/3608.80 c #Conflicts: 1588000 | #Constraints: 48658
3600.07/3608.80 c #Conflicts: 1589000 | #Constraints: 49658
3600.07/3608.80 c #Conflicts: 1590000 | #Constraints: 50658
3600.07/3608.80 c #Conflicts: 1591000 | #Constraints: 51658
3600.07/3608.80 c INPROCESSING
3600.07/3608.80 c GARBAGE COLLECT
3600.07/3608.80 c #Conflicts: 1592000 | #Constraints: 27653
3600.07/3608.80 c #Conflicts: 1593000 | #Constraints: 28653
3600.07/3608.80 c #Conflicts: 1594000 | #Constraints: 29653
3600.07/3608.80 c #Conflicts: 1595000 | #Constraints: 30653
3600.07/3608.80 c #Conflicts: 1596000 | #Constraints: 31653
3600.07/3608.80 c #Conflicts: 1597000 | #Constraints: 32653
3600.07/3608.80 c #Conflicts: 1598000 | #Constraints: 33653
3600.07/3608.80 c #Conflicts: 1599000 | #Constraints: 34653
3600.07/3608.80 c #Conflicts: 1600000 | #Constraints: 35653
3600.07/3608.80 c #Conflicts: 1601000 | #Constraints: 36653
3600.07/3608.80 c #Conflicts: 1602000 | #Constraints: 37653
3600.07/3608.80 c #Conflicts: 1603000 | #Constraints: 38653
3600.07/3608.80 c #Conflicts: 1604000 | #Constraints: 39653
3600.07/3608.80 c #Conflicts: 1605000 | #Constraints: 40653
3600.07/3608.80 c #Conflicts: 1606000 | #Constraints: 41653
3600.07/3608.80 c #Conflicts: 1607000 | #Constraints: 42653
3600.07/3608.80 c #Conflicts: 1608000 | #Constraints: 43653
3600.07/3608.80 c #Conflicts: 1609000 | #Constraints: 44653
3600.07/3608.80 c #Conflicts: 1610000 | #Constraints: 45653
3600.07/3608.80 c #Conflicts: 1611000 | #Constraints: 46653
3600.07/3608.80 c #Conflicts: 1612000 | #Constraints: 47653
3600.07/3608.80 c #Conflicts: 1613000 | #Constraints: 48653
3600.07/3608.80 c #Conflicts: 1614000 | #Constraints: 49653
3600.07/3608.80 c #Conflicts: 1615000 | #Constraints: 50653
3600.07/3608.80 c #Conflicts: 1616000 | #Constraints: 51653
3600.07/3608.80 c INPROCESSING
3600.07/3608.80 c GARBAGE COLLECT
3600.07/3608.80 c #Conflicts: 1617000 | #Constraints: 27458
3600.07/3608.80 c #Conflicts: 1618000 | #Constraints: 28458
3600.07/3608.80 c #Conflicts: 1619000 | #Constraints: 29458
3600.07/3608.80 c #Conflicts: 1620000 | #Constraints: 30458
3600.07/3608.80 c #Conflicts: 1621000 | #Constraints: 31458
3600.07/3608.80 c #Conflicts: 1622000 | #Constraints: 32458
3600.07/3608.80 c #Conflicts: 1623000 | #Constraints: 33458
3600.07/3608.80 c #Conflicts: 1624000 | #Constraints: 34458
3600.07/3608.80 c #Conflicts: 1625000 | #Constraints: 35458
3600.07/3608.80 c #Conflicts: 1626000 | #Constraints: 36458
3600.07/3608.80 c #Conflicts: 1627000 | #Constraints: 37458
3600.07/3608.80 c #Conflicts: 1628000 | #Constraints: 38458
3600.07/3608.80 c #Conflicts: 1629000 | #Constraints: 39458
3600.07/3608.80 c #Conflicts: 1630000 | #Constraints: 40458
3600.07/3608.80 c #Conflicts: 1631000 | #Constraints: 41458
3600.07/3608.80 c #Conflicts: 1632000 | #Constraints: 42458
3600.07/3608.80 c #Conflicts: 1633000 | #Constraints: 43458
3600.07/3608.80 c #Conflicts: 1634000 | #Constraints: 44458
3600.07/3608.80 c #Conflicts: 1635000 | #Constraints: 45458
3600.07/3608.80 c #Conflicts: 1636000 | #Constraints: 46458
3600.07/3608.80 c #Conflicts: 1637000 | #Constraints: 47458
3600.07/3608.80 c #Conflicts: 1638000 | #Constraints: 48458
3600.07/3608.80 c #Conflicts: 1639000 | #Constraints: 49458
3600.07/3608.80 c #Conflicts: 1640000 | #Constraints: 50458
3600.07/3608.80 c Program interrupted by user.
3600.07/3608.80 c cpu time 3592.14 s
3600.07/3608.80 c deterministic time 846266126839 8.46e+11
3600.07/3608.80 c optimization time 68.7412 s
3600.07/3608.80 c total solve time 3224.31 s
3600.07/3608.80 c core-guided solve time 3224.31 s
3600.07/3608.80 c propagation time 3005.74 s
3600.07/3608.80 c conflict analysis time 254.623 s
3600.07/3608.80 c propagations 50425254
3600.07/3608.80 c resolve steps 17307598
3600.07/3608.80 c decisions 1827272
3600.07/3608.80 c conflicts 1640729
3600.07/3608.80 c restarts 3074
3600.07/3608.80 c inprocessing phases 118
3600.07/3608.80 c input clauses 832
3600.07/3608.80 c input cardinalities 0
3600.07/3608.80 c input general constraints 853
3600.07/3608.80 c input average constraint length 14.88
3600.07/3608.80 c input average constraint degree 9.99
3600.07/3608.80 c learned clauses 1468902
3600.07/3608.80 c learned cardinalities 98
3600.07/3608.80 c learned general constraints 171729
3600.07/3608.80 c learned average constraint length 460.78
3600.07/3608.80 c learned average constraint degree 351.22
3600.07/3608.80 c watched constraints 171750
3600.07/3608.80 c counting constraints 832
3600.07/3608.80 c gcd simplifications 791203
3600.07/3608.80 c detected cardinalities 5
3600.07/3608.80 c weakened non-implied lits 529288711
3600.07/3608.80 c weakened non-implying lits 1019861
3600.07/3608.80 c original variables 882
3600.07/3608.80 c clausal propagations 13910792
3600.07/3608.80 c cardinality propagations 0
3600.07/3608.80 c watched propagations 13778148
3600.07/3608.80 c counting propagations 21040444
3600.07/3608.80 c watch lookups 9169685664
3600.07/3608.80 c watch backjump lookups 593835091
3600.07/3608.80 c watch checks 806052250755
3600.07/3608.80 c propagation checks 27507402416
3600.07/3608.80 c constraint additions 2836807917
3600.07/3608.80 c trail pops 53892469
3600.07/3608.80 c formula constraints 1664
3600.07/3608.80 c learned constraints 1640729
3600.07/3608.80 c bound constraints 21
3600.07/3608.80 c core-guided constraints 0
3600.07/3608.80 c encountered formula constraints 14141826
3600.07/3608.80 c encountered learned constraints 4797076
3600.07/3608.80 c encountered bound constraints 9425
3600.07/3608.80 c encountered core-guided constraints 0
3600.07/3608.80 c LP total time 0 s
3600.07/3608.80 c LP solve time 0 s
3600.07/3608.80 c LP constraints added 0
3600.07/3608.80 c LP constraints removed 0
3600.07/3608.80 c LP pivots internal 0
3600.07/3608.80 c LP pivots root 0
3600.07/3608.80 c LP calls 0
3600.07/3608.80 c LP optimalities 0
3600.07/3608.80 c LP no pivot count 0
3600.07/3608.80 c LP infeasibilities 0
3600.07/3608.80 c LP valid Farkas constraints 0
3600.07/3608.80 c LP learned Farkas constraints 0
3600.07/3608.80 c LP basis resets 0
3600.07/3608.80 c LP cycling count 0
3600.07/3608.80 c LP singular count 0
3600.07/3608.80 c LP no primal count 0
3600.07/3608.80 c LP no farkas count 0
3600.07/3608.80 c LP other issue count 0
3600.07/3608.80 c LP Gomory cuts 0
3600.07/3608.80 c LP learned cuts 0
3600.07/3608.80 c LP deleted cuts 0
3600.07/3608.80 c LP encountered Gomory constraints 0
3600.07/3608.80 c LP encountered Farkas constraints 0
3600.07/3608.80 c LP encountered learned Farkas constraints 0
3600.07/3608.80 c CG auxiliary variables introduced 0
3600.07/3608.80 c CG solutions found 0
3600.07/3608.80 c CG cores constructed 20
3600.07/3608.80 c CG core cardinality constraints returned 0
3600.07/3608.80 c CG unit cores 0
3600.07/3608.80 c CG single cores 20
3600.07/3608.80 c CG blocks removed during cardinality reduction 0
3600.07/3608.80 c CG first core best 0
3600.07/3608.80 c CG decision core best 0
3600.07/3608.80 c CG core reduction tie 0
3600.07/3608.80 c CG core degree average 1.00
3600.07/3608.80 c CG core slack average 2.00
3600.07/3608.80 c CG exhausted 0
3600.07/3608.80 c CG exhaust time 0 s
3600.07/3608.80 c CG trimmed 0
3600.07/3608.80 c CG trim time 0.000135 s
3600.07/3608.80 c CG minimized 0
3600.07/3608.80 c CG minimize time 0 s
3600.07/3608.80 c CG am1 prop time 0.00014 s
3600.07/3608.80 c CG # am1s reformulated 0
3600.07/3608.80 c CG lower bound derived from am1s 0
3600.07/3608.80 c CG # clausal cores 20
3600.07/3608.80 c CG # cardinality cores 0
3600.07/3608.80 c CG # pb cores 0
3600.07/3608.80 c CG # pb reforms 0
3600.07/3608.80 c CG # cores discarded because of pb reform 0
3600.07/3608.80 d LOWERBOUND -5930
3600.07/3608.80 d NCORES 20
3600.07/3608.80 d NPBCORES 0
3600.07/3608.80 d NPBREFORM 0
3600.07/3608.80 d NTRIMMED 0
3600.07/3608.80 d NEXHAUSTED 0
3600.07/3608.80 d NAM1S 0
3600.07/3608.80 d AM1LB 0
3600.07/3608.80 c [Papilo Statistics]
3600.07/3608.80 c prepro time 0.00322005s
3600.07/3608.80 c # tsx applied 0
3600.07/3608.80 c # tsx conflicts 0
3600.07/3608.80 c # bound changes 0
3600.07/3608.80 c # side changes 0
3600.07/3608.80 c # coef changes 0
3600.07/3608.80 c # rounds 1
3600.07/3608.80 c # deted vars 0
3600.07/3608.80 c # deted constrs 0
3600.07/3608.80 c # consecutive rounds of only bound changes 0
3600.07/3608.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: 63931 MiB (58008 MiB free)
memory of node 1: 64510 MiB (62935 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455003-1721477855/watcher-4455003-1721477855 -o /tmp/evaluation-result-4455003-1721477855/solver-4455003-1721477855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721469837-1064030 --watchdog 3760 mixed-bag HOME/instance-4455003-1721477855.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1068528, runsolver pid=1068525
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 4.10 4.18 4.16 5/256 1068529
/proc/meminfo: memFree=123831472/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=96968 memory=29872 CPUtime=0.09 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 4439 0 0 0 9 0 0 0 20 0 1 0 199945712 99295232 7468 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 24242 7468 3827 3002 0 7991 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 96968 KiB
Current children cumulated memory: 29872 KiB
[startup+0.205536 s]*
/proc/loadavg: 4.10 4.18 4.16 5/256 1068529
/proc/meminfo: memFree=123815680/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=118520 memory=47744 CPUtime=0.2 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 8834 0 0 0 19 1 0 0 20 0 1 0 199945712 121364480 11936 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 29630 11936 4032 3002 0 13379 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 118520 KiB
Current children cumulated memory: 47744 KiB
[startup+0.305452 s]*
/proc/loadavg: 4.10 4.18 4.16 5/256 1068529
/proc/meminfo: memFree=123811612/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=121072 memory=49908 CPUtime=0.3 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 9772 0 0 0 29 1 0 0 20 0 1 0 199945712 123977728 12477 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 30268 12477 4032 3002 0 14017 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 121072 KiB
Current children cumulated memory: 49908 KiB
[startup+0.70018 s]
/proc/loadavg: 4.10 4.18 4.16 5/256 1068529
/proc/meminfo: memFree=123810948/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=122124 memory=52272 CPUtime=0.69 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 10371 0 0 0 68 1 0 0 20 0 1 0 199945712 125054976 13068 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 30531 13068 4032 3002 0 14280 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 122124 KiB
Current children cumulated memory: 52272 KiB
[startup+1.50018 s]
/proc/loadavg: 4.10 4.18 4.16 5/256 1068529
/proc/meminfo: memFree=123804484/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=140372 memory=67584 CPUtime=1.48 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 14216 0 0 0 147 1 0 0 20 0 1 0 199945712 143740928 16896 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 35093 16896 4032 3002 0 18842 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 140372 KiB
Current children cumulated memory: 67584 KiB
[startup+3.10536 s]
/proc/loadavg: 4.17 4.19 4.17 5/256 1068529
/proc/meminfo: memFree=123782724/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=148460 memory=72860 CPUtime=3.08 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 15534 0 0 0 307 1 0 0 20 0 1 0 199945712 152023040 18215 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 37115 18215 4032 3002 0 20864 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 148460 KiB
Current children cumulated memory: 72860 KiB
[startup+6.30015 s]
/proc/loadavg: 4.17 4.19 4.17 5/256 1068530
/proc/meminfo: memFree=123764220/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=148460 memory=72860 CPUtime=6.27 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 15541 0 0 0 626 1 0 0 20 0 1 0 199945712 152023040 18215 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 37115 18215 4032 3002 0 20864 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 148460 KiB
Current children cumulated memory: 72860 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.19 4.17 5/256 1068530
/proc/meminfo: memFree=123763224/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=154156 memory=78460 CPUtime=12.66 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 16931 0 0 0 1264 2 0 0 20 0 1 0 199945712 157855744 19615 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 38539 19615 4047 3002 0 22288 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 154156 KiB
Current children cumulated memory: 78460 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.18 4.16 5/256 1068532
/proc/meminfo: memFree=123724948/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=200752 memory=111792 CPUtime=25.42 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 26635 0 0 0 2538 4 0 0 20 0 1 0 199945712 205570048 27948 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 50188 27948 4047 3002 0 33937 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 200752 KiB
Current children cumulated memory: 111792 KiB
[startup+51.1054 s]
/proc/loadavg: 4.16 4.18 4.16 5/256 1068537
/proc/meminfo: memFree=123591988/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=256348 memory=149348 CPUtime=50.96 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 36015 0 0 0 5090 6 0 0 20 0 1 0 199945712 262500352 37337 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 64087 37337 4047 3002 0 47836 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 256348 KiB
Current children cumulated memory: 149348 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.17 4.16 5/256 1068546
/proc/meminfo: memFree=123467564/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=376696 memory=247468 CPUtime=102 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 61447 0 0 0 10185 15 0 0 20 0 1 0 199945712 385736704 61867 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 94174 61867 4047 3002 0 77923 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 376696 KiB
Current children cumulated memory: 247468 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.16 4.16 5/256 1068558
/proc/meminfo: memFree=123230128/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=535236 memory=383040 CPUtime=161.84 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 105442 0 0 0 16152 32 0 0 20 0 1 0 199945712 548081664 95760 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 133809 95760 4169 3002 0 117558 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 535236 KiB
Current children cumulated memory: 383040 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.16 4.16 5/256 1068569
/proc/meminfo: memFree=123144744/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=571876 memory=407112 CPUtime=221.69 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 112590 0 0 0 22128 41 0 0 20 0 1 0 199945712 585601024 101778 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 142969 101778 4169 3002 0 126718 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 571876 KiB
Current children cumulated memory: 407112 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/256 1068580
/proc/meminfo: memFree=123065948/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=633144 memory=468088 CPUtime=281.55 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 128289 0 0 0 28109 46 0 0 20 0 1 0 199945712 648339456 117022 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 158286 117022 4169 3002 0 142035 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 633144 KiB
Current children cumulated memory: 468088 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/256 1068590
/proc/meminfo: memFree=123253608/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=429148 memory=275880 CPUtime=341.41 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 132110 0 0 0 34062 79 0 0 20 0 1 0 199945712 439447552 68970 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 107287 68970 4312 3002 0 91036 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 429148 KiB
Current children cumulated memory: 275880 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/256 1068602
/proc/meminfo: memFree=123237536/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=448116 memory=284196 CPUtime=401.27 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 132680 0 0 0 40017 110 0 0 20 0 1 0 199945712 458870784 71049 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 112029 71049 4312 3002 0 95778 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 448116 KiB
Current children cumulated memory: 284196 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.13 4.14 5/257 1068995
/proc/meminfo: memFree=123222368/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=448116 memory=290340 CPUtime=461.13 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 132690 0 0 0 45977 136 0 0 20 0 1 0 199945712 458870784 72585 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 112029 72585 4312 3002 0 95778 0
################
# More data... #
################
Current children cumulated memory: 443524 KiB
[startup+2862.3 s]
/proc/loadavg: 3.57 3.98 4.05 4/248 1070252
/proc/meminfo: memFree=127017864/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=529024 memory=443524 CPUtime=2855.16 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 136055 0 0 0 284818 698 0 0 20 0 1 0 199945712 541720576 110881 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 132256 110881 4312 3002 0 116005 0
Current children cumulated CPU time: 2855.16 s
Current children cumulated vsize: 529024 KiB
Current children cumulated memory: 443524 KiB
[startup+2922.3 s]
/proc/loadavg: 3.26 3.82 3.99 4/248 1070262
/proc/meminfo: memFree=127012040/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=529024 memory=445572 CPUtime=2915.03 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 136141 0 0 0 290797 706 0 0 20 0 1 0 199945712 541720576 111393 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 132256 111393 4312 3002 0 116005 0
Current children cumulated CPU time: 2915.03 s
Current children cumulated vsize: 529024 KiB
Current children cumulated memory: 445572 KiB
[startup+2982.3 s]
/proc/loadavg: 3.25 3.71 3.94 4/248 1070272
/proc/meminfo: memFree=127004732/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=529024 memory=445572 CPUtime=2974.89 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 136246 0 0 0 296777 712 0 0 20 0 1 0 199945712 541720576 111393 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 132256 111393 4312 3002 0 116005 0
Current children cumulated CPU time: 2974.89 s
Current children cumulated vsize: 529024 KiB
Current children cumulated memory: 445572 KiB
[startup+3042.3 s]
/proc/loadavg: 3.09 3.58 3.88 5/247 1070283
/proc/meminfo: memFree=126998044/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=529024 memory=445572 CPUtime=3034.76 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 136333 0 0 0 302754 722 0 0 20 0 1 0 199945712 541720576 111393 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 132256 111393 4312 3002 0 116005 0
Current children cumulated CPU time: 3034.76 s
Current children cumulated vsize: 529024 KiB
Current children cumulated memory: 445572 KiB
[startup+3102.3 s]
/proc/loadavg: 3.07 3.49 3.83 4/247 1070293
/proc/meminfo: memFree=126991096/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=529024 memory=447620 CPUtime=3094.63 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 136420 0 0 0 308733 730 0 0 20 0 1 0 199945712 541720576 111905 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 132256 111905 4312 3002 0 116005 0
Current children cumulated CPU time: 3094.63 s
Current children cumulated vsize: 529024 KiB
Current children cumulated memory: 447620 KiB
[startup+3162.3 s]
/proc/loadavg: 3.12 3.43 3.78 4/249 1070307
/proc/meminfo: memFree=126985800/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=529024 memory=447620 CPUtime=3154.5 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 136506 0 0 0 314714 736 0 0 20 0 1 0 199945712 541720576 111905 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 132256 111905 4312 3002 0 116005 0
Current children cumulated CPU time: 3154.5 s
Current children cumulated vsize: 529024 KiB
Current children cumulated memory: 447620 KiB
[startup+3222.3 s]
/proc/loadavg: 3.10 3.36 3.74 4/249 1070318
/proc/meminfo: memFree=126977944/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=529024 memory=449668 CPUtime=3214.37 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 136615 0 0 0 320695 742 0 0 20 0 1 0 199945712 541720576 112417 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 132256 112417 4312 3002 0 116005 0
Current children cumulated CPU time: 3214.37 s
Current children cumulated vsize: 529024 KiB
Current children cumulated memory: 449668 KiB
[startup+3282.3 s]
/proc/loadavg: 3.15 3.32 3.70 4/249 1070328
/proc/meminfo: memFree=126972788/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=529024 memory=449668 CPUtime=3274.23 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 136701 0 0 0 326675 748 0 0 20 0 1 0 199945712 541720576 112417 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 132256 112417 4312 3002 0 116005 0
Current children cumulated CPU time: 3274.23 s
Current children cumulated vsize: 529024 KiB
Current children cumulated memory: 449668 KiB
[startup+3342.3 s]
/proc/loadavg: 3.11 3.28 3.66 4/249 1070338
/proc/meminfo: memFree=126969736/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=529024 memory=449668 CPUtime=3334.1 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 136788 0 0 0 332653 757 0 0 20 0 1 0 199945712 541720576 112417 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 132256 112417 4312 3002 0 116005 0
Current children cumulated CPU time: 3334.1 s
Current children cumulated vsize: 529024 KiB
Current children cumulated memory: 449668 KiB
[startup+3402.3 s]
/proc/loadavg: 3.08 3.24 3.62 5/246 1070370
/proc/meminfo: memFree=127361264/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=529024 memory=451716 CPUtime=3393.97 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 136896 0 0 0 338634 763 0 0 20 0 1 0 199945712 541720576 112929 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 132256 112929 4312 3002 0 116005 0
Current children cumulated CPU time: 3393.97 s
Current children cumulated vsize: 529024 KiB
Current children cumulated memory: 451716 KiB
[startup+3462.3 s]
/proc/loadavg: 2.35 3.01 3.52 2/233 1070421
/proc/meminfo: memFree=127819352/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=529024 memory=451716 CPUtime=3453.85 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 136989 0 0 0 344614 771 0 0 20 0 1 0 199945712 541720576 112929 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 132256 112929 4312 3002 0 116005 0
Current children cumulated CPU time: 3453.85 s
Current children cumulated vsize: 529024 KiB
Current children cumulated memory: 451716 KiB
[startup+3522.3 s]
/proc/loadavg: 1.54 2.66 3.36 2/233 1070431
/proc/meminfo: memFree=127816588/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=529024 memory=453764 CPUtime=3513.74 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 137081 0 0 0 350593 781 0 0 20 0 1 0 199945712 541720576 113441 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 132256 113441 4312 3002 0 116005 0
Current children cumulated CPU time: 3513.74 s
Current children cumulated vsize: 529024 KiB
Current children cumulated memory: 453764 KiB
[startup+3582.3 s]
/proc/loadavg: 1.32 2.38 3.22 2/233 1070441
/proc/meminfo: memFree=127816004/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=529024 memory=453764 CPUtime=3573.62 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 137171 0 0 0 356573 789 0 0 20 0 1 0 199945712 541720576 113441 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 132256 113441 4312 3002 0 116005 0
Current children cumulated CPU time: 3573.62 s
Current children cumulated vsize: 529024 KiB
Current children cumulated memory: 453764 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 1.21 2.27 3.16 2/233 1070448
/proc/meminfo: memFree=127815740/131524600 swapFree=131071996/131071996
[pid=1068528] ppid=1068525 vsize=529024 memory=453764 CPUtime=3600.07 cores=1,3
/proc/1068528/stat : 1068528 (mixed-bag) R 1068525 1068528 1064017 0 -1 4194304 137223 0 0 0 359214 793 0 0 20 0 1 0 199945712 541720576 113441 134679101440 4194304 16488053 140731811545152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28774400 140731811554325 140731811554402 140731811554402 140731811561419 0
/proc/1068528/statm: 132256 113441 4312 3002 0 116005 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 529024 KiB
Current children cumulated memory: 453764 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.8 s]
# the end of solver process 1068528 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.15 s, system=7.93339 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3608.8
CPU time (s): 3600.08
CPU user time (s): 3592.15
CPU system time (s): 7.93339
CPU usage (%): 99.7583
Max. virtual memory (cumulated for all children) (KiB): 640636
Max. memory (cumulated for all children) (KiB): 474944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.15
system time used= 7.93339
maximum resident set size= 474944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137253
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= 76
involuntary context switches= 1462
# summary of solver processes directly reported to runsolver:
# pid: 1068528
# total CPU time (s): 3600.08
# total CPU user time (s): 3592.15
# total CPU system time (s): 7.93339
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99837 second user time and 16.2546 second system time
The end
Begin job on nodeC015 at 2024-07-20 14:17:47
IDJOB=4455003
IDBENCH=158491
IDSOLVER=3083
FILE ID=nodeC015/4455003-1721477855
RUNJOBID= nodeC015-1721469837-1064030
SLURM_JOB_ID= 7545730
Free space on /tmp= 889928 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-06.lin.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455003-1721477855/watcher-4455003-1721477855 -o /tmp/evaluation-result-4455003-1721477855/solver-4455003-1721477855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721469837-1064030 --watchdog 3760 mixed-bag HOME/instance-4455003-1721477855.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b877664571262cc35a091b0e7e24e61f
RANDOM SEED=1487446725
nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3678.931
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3666.844
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3599.961
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3664.014
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3678.972
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3678.941
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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.172
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3619.547
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123847152 kB
MemAvailable: 125377640 kB
Buffers: 569664 kB
Cached: 1794328 kB
SwapCached: 0 kB
Active: 1864612 kB
Inactive: 5167164 kB
Active(anon): 1556 kB
Inactive(anon): 4712132 kB
Active(file): 1863056 kB
Inactive(file): 455032 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16572 kB
Writeback: 12 kB
AnonPages: 4665860 kB
Mapped: 141336 kB
Shmem: 45912 kB
KReclaimable: 104092 kB
Slab: 217172 kB
SReclaimable: 104092 kB
SUnreclaim: 113080 kB
KernelStack: 4128 kB
PageTables: 18704 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5260476 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68224 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2781184 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 291540 kB
DirectMap2M: 38279168 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890068 MiB
End job on nodeC015 at 2024-07-20 15:17:56