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.01 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.57/300.40 c [STEP] preprocessing done, loading into solver
299.57/300.40 c [STEP] solving
299.57/300.40 c #variables 883 #constraints 1664
299.57/300.40 c SMALL=int, LARGE=long long
299.57/300.40 c bounds - >= -6570 @ 299.303
299.57/300.40 c stratification level: 32
329.30/330.23 c bounds - >= -6538 @ 299.303
329.30/330.23 c bounds - >= -6506 @ 299.304
329.30/330.23 c bounds - >= -6474 @ 299.304
329.30/330.23 c bounds - >= -6442 @ 299.304
329.30/330.23 c bounds - >= -6410 @ 299.304
329.30/330.23 c bounds - >= -6378 @ 299.304
329.30/330.23 c bounds - >= -6346 @ 299.304
329.30/330.23 c bounds - >= -6314 @ 299.304
329.30/330.23 c bounds - >= -6282 @ 299.304
329.30/330.23 c bounds - >= -6250 @ 299.304
329.30/330.23 c bounds - >= -6218 @ 299.304
329.30/330.23 c bounds - >= -6186 @ 299.304
329.30/330.23 c bounds - >= -6154 @ 299.304
329.30/330.23 c bounds - >= -6122 @ 299.304
329.30/330.23 c bounds - >= -6090 @ 299.304
329.30/330.23 c bounds - >= -6058 @ 299.305
329.30/330.23 c bounds - >= -6026 @ 299.305
329.30/330.23 c bounds - >= -5994 @ 299.305
329.30/330.23 c bounds - >= -5962 @ 299.305
329.30/330.23 c bounds - >= -5930 @ 299.305
329.30/330.23 c #Conflicts: 1000 | #Constraints: 2684
329.30/330.23 c #Conflicts: 2000 | #Constraints: 3684
329.30/330.23 c INPROCESSING
329.30/330.23 c GARBAGE COLLECT
329.30/330.23 c #Conflicts: 3000 | #Constraints: 3674
329.30/330.23 c #Conflicts: 4000 | #Constraints: 4674
329.30/330.23 c INPROCESSING
329.30/330.23 c GARBAGE COLLECT
329.30/330.23 c #Conflicts: 5000 | #Constraints: 4088
329.30/330.23 c #Conflicts: 6000 | #Constraints: 5088
329.30/330.23 c INPROCESSING
329.30/330.23 c GARBAGE COLLECT
329.30/330.23 c #Conflicts: 7000 | #Constraints: 4107
329.30/330.23 c #Conflicts: 8000 | #Constraints: 5107
329.30/330.23 c #Conflicts: 9000 | #Constraints: 6107
329.30/330.23 c INPROCESSING
329.30/330.23 c GARBAGE COLLECT
329.30/330.23 c #Conflicts: 10000 | #Constraints: 4825
329.30/330.23 c #Conflicts: 11000 | #Constraints: 5825
329.30/330.23 c #Conflicts: 12000 | #Constraints: 6825
329.30/330.23 c INPROCESSING
329.30/330.23 c GARBAGE COLLECT
329.30/330.23 c #Conflicts: 13000 | #Constraints: 5294
329.30/330.23 c #Conflicts: 14000 | #Constraints: 6294
329.30/330.23 c #Conflicts: 15000 | #Constraints: 7294
329.30/330.23 c INPROCESSING
329.30/330.23 c GARBAGE COLLECT
329.30/330.23 c #Conflicts: 16000 | #Constraints: 5537
329.30/330.23 c #Conflicts: 17000 | #Constraints: 6537
329.30/330.23 c #Conflicts: 18000 | #Constraints: 7537
329.30/330.23 c INPROCESSING
329.30/330.23 c GARBAGE COLLECT
329.30/330.23 c #Conflicts: 19000 | #Constraints: 5563
329.30/330.23 c #Conflicts: 20000 | #Constraints: 6563
329.30/330.23 c #Conflicts: 21000 | #Constraints: 7563
329.30/330.23 c INPROCESSING
329.30/330.23 c GARBAGE COLLECT
329.30/330.23 c #Conflicts: 22000 | #Constraints: 5381
329.30/330.23 c #Conflicts: 23000 | #Constraints: 6381
329.30/330.23 c #Conflicts: 24000 | #Constraints: 7381
329.30/330.23 c #Conflicts: 25000 | #Constraints: 8381
329.30/330.23 c INPROCESSING
329.30/330.23 c GARBAGE COLLECT
329.30/330.23 c #Conflicts: 26000 | #Constraints: 5995
329.30/330.23 c #Conflicts: 27000 | #Constraints: 6995
329.30/330.23 c #Conflicts: 28000 | #Constraints: 7995
329.30/330.23 c #Conflicts: 29000 | #Constraints: 8995
329.30/330.23 c INPROCESSING
329.30/330.23 c GARBAGE COLLECT
329.30/330.23 c #Conflicts: 30000 | #Constraints: 6404
329.30/330.23 c #Conflicts: 31000 | #Constraints: 7404
329.30/330.23 c #Conflicts: 32000 | #Constraints: 8404
329.30/330.23 c #Conflicts: 33000 | #Constraints: 9404
329.30/330.23 c INPROCESSING
329.30/330.23 c GARBAGE COLLECT
329.30/330.23 c #Conflicts: 34000 | #Constraints: 6612
329.30/330.23 c #Conflicts: 35000 | #Constraints: 7612
329.30/330.23 c #Conflicts: 36000 | #Constraints: 8612
329.30/330.23 c #Conflicts: 37000 | #Constraints: 9612
329.30/330.23 c INPROCESSING
329.30/330.23 c GARBAGE COLLECT
329.30/330.23 c #Conflicts: 38000 | #Constraints: 6621
329.30/330.23 c #Conflicts: 39000 | #Constraints: 7621
329.30/330.23 c #Conflicts: 40000 | #Constraints: 8621
329.30/330.23 c #Conflicts: 41000 | #Constraints: 9621
329.30/330.23 c INPROCESSING
329.30/330.23 c GARBAGE COLLECT
329.30/330.23 c #Conflicts: 42000 | #Constraints: 6425
329.30/330.23 c #Conflicts: 43000 | #Constraints: 7425
329.30/330.23 c #Conflicts: 44000 | #Constraints: 8425
329.30/330.23 c #Conflicts: 45000 | #Constraints: 9425
329.30/330.23 c #Conflicts: 46000 | #Constraints: 10425
329.30/330.23 c INPROCESSING
329.30/330.23 c GARBAGE COLLECT
329.30/330.23 c #Conflicts: 47000 | #Constraints: 7027
329.30/330.23 c #Conflicts: 48000 | #Constraints: 8027
329.30/330.23 c #Conflicts: 49000 | #Constraints: 9027
329.30/330.23 c #Conflicts: 50000 | #Constraints: 10027
329.30/330.23 c #Conflicts: 51000 | #Constraints: 11027
329.30/330.23 c INPROCESSING
329.30/330.23 c GARBAGE COLLECT
329.30/330.23 c #Conflicts: 52000 | #Constraints: 7427
329.30/330.23 c #Conflicts: 53000 | #Constraints: 8427
329.30/330.23 c #Conflicts: 54000 | #Constraints: 9427
329.30/330.23 c #Conflicts: 55000 | #Constraints: 10427
329.30/330.23 c #Conflicts: 56000 | #Constraints: 11427
329.30/330.23 c INPROCESSING
329.30/330.23 c GARBAGE COLLECT
329.30/330.23 c #Conflicts: 57000 | #Constraints: 7630
329.30/330.23 c #Conflicts: 58000 | #Constraints: 8630
380.27/381.39 c #Conflicts: 59000 | #Constraints: 9630
380.27/381.39 c #Conflicts: 60000 | #Constraints: 10630
380.27/381.39 c #Conflicts: 61000 | #Constraints: 11630
380.27/381.39 c INPROCESSING
380.27/381.39 c GARBAGE COLLECT
380.27/381.39 c #Conflicts: 62000 | #Constraints: 7633
380.27/381.39 c #Conflicts: 63000 | #Constraints: 8633
380.27/381.39 c #Conflicts: 64000 | #Constraints: 9633
380.27/381.39 c #Conflicts: 65000 | #Constraints: 10633
380.27/381.39 c #Conflicts: 66000 | #Constraints: 11633
380.27/381.39 c INPROCESSING
380.27/381.39 c GARBAGE COLLECT
380.27/381.39 c #Conflicts: 67000 | #Constraints: 7432
380.27/381.39 c #Conflicts: 68000 | #Constraints: 8432
380.27/381.39 c #Conflicts: 69000 | #Constraints: 9432
380.27/381.39 c #Conflicts: 70000 | #Constraints: 10432
380.27/381.39 c #Conflicts: 71000 | #Constraints: 11432
380.27/381.39 c #Conflicts: 72000 | #Constraints: 12432
380.27/381.39 c INPROCESSING
380.27/381.39 c GARBAGE COLLECT
380.27/381.39 c #Conflicts: 73000 | #Constraints: 8037
380.27/381.39 c #Conflicts: 74000 | #Constraints: 9037
380.27/381.39 c #Conflicts: 75000 | #Constraints: 10037
380.27/381.39 c #Conflicts: 76000 | #Constraints: 11037
380.27/381.39 c #Conflicts: 77000 | #Constraints: 12037
380.27/381.39 c #Conflicts: 78000 | #Constraints: 13037
380.27/381.39 c INPROCESSING
380.27/381.39 c GARBAGE COLLECT
380.27/381.39 c #Conflicts: 79000 | #Constraints: 8439
380.27/381.39 c #Conflicts: 80000 | #Constraints: 9439
380.27/381.39 c #Conflicts: 81000 | #Constraints: 10439
380.27/381.39 c #Conflicts: 82000 | #Constraints: 11439
380.27/381.39 c #Conflicts: 83000 | #Constraints: 12439
380.27/381.39 c #Conflicts: 84000 | #Constraints: 13439
380.27/381.39 c INPROCESSING
380.27/381.39 c GARBAGE COLLECT
380.27/381.39 c #Conflicts: 85000 | #Constraints: 8641
380.27/381.39 c #Conflicts: 86000 | #Constraints: 9641
380.27/381.39 c #Conflicts: 87000 | #Constraints: 10641
380.27/381.39 c #Conflicts: 88000 | #Constraints: 11641
380.27/381.39 c #Conflicts: 89000 | #Constraints: 12641
380.27/381.39 c #Conflicts: 90000 | #Constraints: 13641
380.27/381.39 c INPROCESSING
380.27/381.39 c GARBAGE COLLECT
380.27/381.39 c #Conflicts: 91000 | #Constraints: 8647
380.27/381.39 c #Conflicts: 92000 | #Constraints: 9647
380.27/381.39 c #Conflicts: 93000 | #Constraints: 10647
380.27/381.39 c #Conflicts: 94000 | #Constraints: 11647
380.27/381.39 c #Conflicts: 95000 | #Constraints: 12647
380.27/381.39 c #Conflicts: 96000 | #Constraints: 13647
380.27/381.39 c INPROCESSING
380.27/381.39 c GARBAGE COLLECT
380.27/381.39 c #Conflicts: 97000 | #Constraints: 8447
380.27/381.39 c #Conflicts: 98000 | #Constraints: 9447
380.27/381.39 c #Conflicts: 99000 | #Constraints: 10447
380.27/381.39 c #Conflicts: 100000 | #Constraints: 11447
380.27/381.39 c #Conflicts: 101000 | #Constraints: 12447
380.27/381.39 c #Conflicts: 102000 | #Constraints: 13447
380.27/381.39 c #Conflicts: 103000 | #Constraints: 14447
380.27/381.39 c INPROCESSING
380.27/381.39 c GARBAGE COLLECT
380.27/381.39 c #Conflicts: 104000 | #Constraints: 9048
380.27/381.39 c #Conflicts: 105000 | #Constraints: 10048
380.27/381.39 c #Conflicts: 106000 | #Constraints: 11048
380.27/381.39 c #Conflicts: 107000 | #Constraints: 12048
380.27/381.39 c #Conflicts: 108000 | #Constraints: 13048
380.27/381.39 c #Conflicts: 109000 | #Constraints: 14048
380.27/381.39 c #Conflicts: 110000 | #Constraints: 15048
380.27/381.39 c INPROCESSING
380.27/381.39 c GARBAGE COLLECT
380.27/381.39 c #Conflicts: 111000 | #Constraints: 9448
380.27/381.39 c #Conflicts: 112000 | #Constraints: 10448
380.27/381.39 c #Conflicts: 113000 | #Constraints: 11448
380.27/381.39 c #Conflicts: 114000 | #Constraints: 12448
380.27/381.39 c #Conflicts: 115000 | #Constraints: 13448
380.27/381.39 c #Conflicts: 116000 | #Constraints: 14448
380.27/381.39 c #Conflicts: 117000 | #Constraints: 15448
380.27/381.39 c INPROCESSING
380.27/381.39 c GARBAGE COLLECT
380.27/381.39 c #Conflicts: 118000 | #Constraints: 9647
380.27/381.39 c #Conflicts: 119000 | #Constraints: 10647
380.27/381.39 c #Conflicts: 120000 | #Constraints: 11647
380.27/381.39 c #Conflicts: 121000 | #Constraints: 12647
380.27/381.39 c #Conflicts: 122000 | #Constraints: 13647
380.27/381.39 c #Conflicts: 123000 | #Constraints: 14647
380.27/381.39 c #Conflicts: 124000 | #Constraints: 15647
380.27/381.39 c INPROCESSING
380.27/381.39 c GARBAGE COLLECT
380.27/381.39 c #Conflicts: 125000 | #Constraints: 9643
380.27/381.39 c #Conflicts: 126000 | #Constraints: 10643
380.27/381.39 c #Conflicts: 127000 | #Constraints: 11643
380.27/381.39 c #Conflicts: 128000 | #Constraints: 12643
380.27/381.39 c #Conflicts: 129000 | #Constraints: 13643
442.21/443.45 c #Conflicts: 130000 | #Constraints: 14643
442.21/443.45 c #Conflicts: 131000 | #Constraints: 15643
442.21/443.45 c INPROCESSING
442.21/443.45 c GARBAGE COLLECT
442.21/443.45 c #Conflicts: 132000 | #Constraints: 9443
442.21/443.45 c #Conflicts: 133000 | #Constraints: 10443
442.21/443.45 c #Conflicts: 134000 | #Constraints: 11443
442.21/443.45 c #Conflicts: 135000 | #Constraints: 12443
442.21/443.45 c #Conflicts: 136000 | #Constraints: 13443
442.21/443.45 c #Conflicts: 137000 | #Constraints: 14443
442.21/443.45 c #Conflicts: 138000 | #Constraints: 15443
442.21/443.45 c #Conflicts: 139000 | #Constraints: 16443
442.21/443.45 c INPROCESSING
442.21/443.45 c GARBAGE COLLECT
442.21/443.45 c #Conflicts: 140000 | #Constraints: 10046
442.21/443.45 c #Conflicts: 141000 | #Constraints: 11046
442.21/443.45 c #Conflicts: 142000 | #Constraints: 12046
442.21/443.45 c #Conflicts: 143000 | #Constraints: 13046
442.21/443.45 c #Conflicts: 144000 | #Constraints: 14046
442.21/443.45 c #Conflicts: 145000 | #Constraints: 15046
442.21/443.45 c #Conflicts: 146000 | #Constraints: 16046
442.21/443.45 c #Conflicts: 147000 | #Constraints: 17046
442.21/443.45 c INPROCESSING
442.21/443.45 c GARBAGE COLLECT
442.21/443.45 c #Conflicts: 148000 | #Constraints: 10447
442.21/443.45 c #Conflicts: 149000 | #Constraints: 11447
442.21/443.45 c #Conflicts: 150000 | #Constraints: 12447
442.21/443.45 c #Conflicts: 151000 | #Constraints: 13447
442.21/443.45 c #Conflicts: 152000 | #Constraints: 14447
442.21/443.45 c #Conflicts: 153000 | #Constraints: 15447
442.21/443.45 c #Conflicts: 154000 | #Constraints: 16447
442.21/443.45 c #Conflicts: 155000 | #Constraints: 17447
442.21/443.45 c INPROCESSING
442.21/443.45 c GARBAGE COLLECT
442.21/443.45 c #Conflicts: 156000 | #Constraints: 10645
442.21/443.45 c #Conflicts: 157000 | #Constraints: 11645
442.21/443.45 c #Conflicts: 158000 | #Constraints: 12645
442.21/443.45 c #Conflicts: 159000 | #Constraints: 13645
442.21/443.45 c #Conflicts: 160000 | #Constraints: 14645
442.21/443.45 c #Conflicts: 161000 | #Constraints: 15645
442.21/443.45 c #Conflicts: 162000 | #Constraints: 16645
442.21/443.45 c #Conflicts: 163000 | #Constraints: 17645
442.21/443.45 c INPROCESSING
442.21/443.45 c GARBAGE COLLECT
442.21/443.45 c #Conflicts: 164000 | #Constraints: 10646
442.21/443.45 c #Conflicts: 165000 | #Constraints: 11646
442.21/443.45 c #Conflicts: 166000 | #Constraints: 12646
442.21/443.45 c #Conflicts: 167000 | #Constraints: 13646
442.21/443.45 c #Conflicts: 168000 | #Constraints: 14646
442.21/443.45 c #Conflicts: 169000 | #Constraints: 15646
442.21/443.45 c #Conflicts: 170000 | #Constraints: 16646
442.21/443.45 c #Conflicts: 171000 | #Constraints: 17646
442.21/443.45 c INPROCESSING
442.21/443.45 c GARBAGE COLLECT
442.21/443.45 c #Conflicts: 172000 | #Constraints: 10449
442.21/443.45 c #Conflicts: 173000 | #Constraints: 11449
442.21/443.45 c #Conflicts: 174000 | #Constraints: 12449
442.21/443.45 c #Conflicts: 175000 | #Constraints: 13449
442.21/443.45 c #Conflicts: 176000 | #Constraints: 14449
442.21/443.45 c #Conflicts: 177000 | #Constraints: 15449
442.21/443.45 c #Conflicts: 178000 | #Constraints: 16449
442.21/443.45 c #Conflicts: 179000 | #Constraints: 17449
442.21/443.45 c #Conflicts: 180000 | #Constraints: 18449
442.21/443.45 c INPROCESSING
442.21/443.45 c GARBAGE COLLECT
442.21/443.45 c #Conflicts: 181000 | #Constraints: 11046
442.21/443.45 c #Conflicts: 182000 | #Constraints: 12046
442.21/443.45 c #Conflicts: 183000 | #Constraints: 13046
442.21/443.45 c #Conflicts: 184000 | #Constraints: 14046
442.21/443.45 c #Conflicts: 185000 | #Constraints: 15046
442.21/443.45 c #Conflicts: 186000 | #Constraints: 16046
442.21/443.45 c #Conflicts: 187000 | #Constraints: 17046
442.21/443.45 c #Conflicts: 188000 | #Constraints: 18046
442.21/443.45 c #Conflicts: 189000 | #Constraints: 19046
442.21/443.45 c INPROCESSING
442.21/443.45 c GARBAGE COLLECT
442.21/443.45 c #Conflicts: 190000 | #Constraints: 11448
442.21/443.45 c #Conflicts: 191000 | #Constraints: 12448
442.21/443.45 c #Conflicts: 192000 | #Constraints: 13448
442.21/443.45 c #Conflicts: 193000 | #Constraints: 14448
442.21/443.45 c #Conflicts: 194000 | #Constraints: 15448
442.21/443.45 c #Conflicts: 195000 | #Constraints: 16448
442.21/443.45 c #Conflicts: 196000 | #Constraints: 17448
442.21/443.45 c #Conflicts: 197000 | #Constraints: 18448
442.21/443.45 c #Conflicts: 198000 | #Constraints: 19448
442.21/443.45 c INPROCESSING
442.21/443.45 c GARBAGE COLLECT
442.21/443.45 c #Conflicts: 199000 | #Constraints: 11650
442.21/443.45 c #Conflicts: 200000 | #Constraints: 12650
442.21/443.45 c #Conflicts: 201000 | #Constraints: 13650
442.21/443.45 c #Conflicts: 202000 | #Constraints: 14650
523.51/524.93 c #Conflicts: 203000 | #Constraints: 15650
523.51/524.93 c #Conflicts: 204000 | #Constraints: 16650
523.51/524.93 c #Conflicts: 205000 | #Constraints: 17650
523.51/524.93 c #Conflicts: 206000 | #Constraints: 18650
523.51/524.93 c #Conflicts: 207000 | #Constraints: 19650
523.51/524.93 c INPROCESSING
523.51/524.93 c GARBAGE COLLECT
523.51/524.93 c #Conflicts: 208000 | #Constraints: 11652
523.51/524.93 c #Conflicts: 209000 | #Constraints: 12652
523.51/524.93 c #Conflicts: 210000 | #Constraints: 13652
523.51/524.93 c #Conflicts: 211000 | #Constraints: 14652
523.51/524.93 c #Conflicts: 212000 | #Constraints: 15652
523.51/524.93 c #Conflicts: 213000 | #Constraints: 16652
523.51/524.93 c #Conflicts: 214000 | #Constraints: 17652
523.51/524.93 c #Conflicts: 215000 | #Constraints: 18652
523.51/524.93 c #Conflicts: 216000 | #Constraints: 19652
523.51/524.93 c INPROCESSING
523.51/524.93 c GARBAGE COLLECT
523.51/524.93 c #Conflicts: 217000 | #Constraints: 11452
523.51/524.93 c #Conflicts: 218000 | #Constraints: 12452
523.51/524.93 c #Conflicts: 219000 | #Constraints: 13452
523.51/524.93 c #Conflicts: 220000 | #Constraints: 14452
523.51/524.93 c #Conflicts: 221000 | #Constraints: 15452
523.51/524.93 c #Conflicts: 222000 | #Constraints: 16452
523.51/524.93 c #Conflicts: 223000 | #Constraints: 17452
523.51/524.93 c #Conflicts: 224000 | #Constraints: 18452
523.51/524.93 c #Conflicts: 225000 | #Constraints: 19452
523.51/524.93 c #Conflicts: 226000 | #Constraints: 20452
523.51/524.93 c INPROCESSING
523.51/524.93 c GARBAGE COLLECT
523.51/524.93 c #Conflicts: 227000 | #Constraints: 12056
523.51/524.93 c #Conflicts: 228000 | #Constraints: 13056
523.51/524.93 c #Conflicts: 229000 | #Constraints: 14056
523.51/524.93 c #Conflicts: 230000 | #Constraints: 15056
523.51/524.93 c #Conflicts: 231000 | #Constraints: 16056
523.51/524.93 c #Conflicts: 232000 | #Constraints: 17056
523.51/524.93 c #Conflicts: 233000 | #Constraints: 18056
523.51/524.93 c #Conflicts: 234000 | #Constraints: 19056
523.51/524.93 c #Conflicts: 235000 | #Constraints: 20056
523.51/524.93 c #Conflicts: 236000 | #Constraints: 21056
523.51/524.93 c INPROCESSING
523.51/524.93 c GARBAGE COLLECT
523.51/524.93 c #Conflicts: 237000 | #Constraints: 12451
523.51/524.93 c #Conflicts: 238000 | #Constraints: 13451
523.51/524.93 c #Conflicts: 239000 | #Constraints: 14451
523.51/524.93 c #Conflicts: 240000 | #Constraints: 15451
523.51/524.93 c #Conflicts: 241000 | #Constraints: 16451
523.51/524.93 c #Conflicts: 242000 | #Constraints: 17451
523.51/524.93 c #Conflicts: 243000 | #Constraints: 18451
523.51/524.93 c #Conflicts: 244000 | #Constraints: 19451
523.51/524.93 c #Conflicts: 245000 | #Constraints: 20451
523.51/524.93 c #Conflicts: 246000 | #Constraints: 21451
523.51/524.93 c INPROCESSING
523.51/524.93 c GARBAGE COLLECT
523.51/524.93 c #Conflicts: 247000 | #Constraints: 12653
523.51/524.93 c #Conflicts: 248000 | #Constraints: 13653
523.51/524.93 c #Conflicts: 249000 | #Constraints: 14653
523.51/524.93 c #Conflicts: 250000 | #Constraints: 15653
523.51/524.93 c #Conflicts: 251000 | #Constraints: 16653
523.51/524.93 c #Conflicts: 252000 | #Constraints: 17653
523.51/524.93 c #Conflicts: 253000 | #Constraints: 18653
523.51/524.93 c #Conflicts: 254000 | #Constraints: 19653
523.51/524.93 c #Conflicts: 255000 | #Constraints: 20653
523.51/524.93 c #Conflicts: 256000 | #Constraints: 21653
523.51/524.93 c INPROCESSING
523.51/524.93 c GARBAGE COLLECT
523.51/524.93 c #Conflicts: 257000 | #Constraints: 12654
523.51/524.93 c #Conflicts: 258000 | #Constraints: 13654
523.51/524.93 c #Conflicts: 259000 | #Constraints: 14654
523.51/524.93 c #Conflicts: 260000 | #Constraints: 15654
523.51/524.93 c #Conflicts: 261000 | #Constraints: 16654
523.51/524.93 c #Conflicts: 262000 | #Constraints: 17654
523.51/524.93 c #Conflicts: 263000 | #Constraints: 18654
523.51/524.93 c #Conflicts: 264000 | #Constraints: 19654
523.51/524.93 c #Conflicts: 265000 | #Constraints: 20654
523.51/524.93 c #Conflicts: 266000 | #Constraints: 21654
523.51/524.93 c INPROCESSING
523.51/524.93 c GARBAGE COLLECT
523.51/524.93 c #Conflicts: 267000 | #Constraints: 12450
523.51/524.93 c #Conflicts: 268000 | #Constraints: 13450
523.51/524.93 c #Conflicts: 269000 | #Constraints: 14450
523.51/524.93 c #Conflicts: 270000 | #Constraints: 15450
523.51/524.93 c #Conflicts: 271000 | #Constraints: 16450
523.51/524.93 c #Conflicts: 272000 | #Constraints: 17450
523.51/524.93 c #Conflicts: 273000 | #Constraints: 18450
523.51/524.93 c #Conflicts: 274000 | #Constraints: 19450
523.51/524.93 c #Conflicts: 275000 | #Constraints: 20450
523.51/524.93 c #Conflicts: 276000 | #Constraints: 21450
523.51/524.93 c #Conflicts: 277000 | #Constraints: 22450
616.18/617.81 c INPROCESSING
616.18/617.81 c GARBAGE COLLECT
616.18/617.81 c #Conflicts: 278000 | #Constraints: 13049
616.18/617.81 c #Conflicts: 279000 | #Constraints: 14049
616.18/617.81 c #Conflicts: 280000 | #Constraints: 15049
616.18/617.81 c #Conflicts: 281000 | #Constraints: 16049
616.18/617.81 c #Conflicts: 282000 | #Constraints: 17049
616.18/617.81 c #Conflicts: 283000 | #Constraints: 18049
616.18/617.81 c #Conflicts: 284000 | #Constraints: 19049
616.18/617.81 c #Conflicts: 285000 | #Constraints: 20049
616.18/617.81 c #Conflicts: 286000 | #Constraints: 21049
616.18/617.81 c #Conflicts: 287000 | #Constraints: 22049
616.18/617.81 c #Conflicts: 288000 | #Constraints: 23049
616.18/617.81 c INPROCESSING
616.18/617.81 c GARBAGE COLLECT
616.18/617.81 c #Conflicts: 289000 | #Constraints: 13451
616.18/617.81 c #Conflicts: 290000 | #Constraints: 14451
616.18/617.81 c #Conflicts: 291000 | #Constraints: 15451
616.18/617.81 c #Conflicts: 292000 | #Constraints: 16451
616.18/617.81 c #Conflicts: 293000 | #Constraints: 17451
616.18/617.81 c #Conflicts: 294000 | #Constraints: 18451
616.18/617.81 c #Conflicts: 295000 | #Constraints: 19451
616.18/617.81 c #Conflicts: 296000 | #Constraints: 20451
616.18/617.81 c #Conflicts: 297000 | #Constraints: 21451
616.18/617.81 c #Conflicts: 298000 | #Constraints: 22451
616.18/617.81 c #Conflicts: 299000 | #Constraints: 23451
616.18/617.81 c INPROCESSING
616.18/617.81 c GARBAGE COLLECT
616.18/617.81 c #Conflicts: 300000 | #Constraints: 13655
616.18/617.81 c #Conflicts: 301000 | #Constraints: 14655
616.18/617.81 c #Conflicts: 302000 | #Constraints: 15655
616.18/617.81 c #Conflicts: 303000 | #Constraints: 16655
616.18/617.81 c #Conflicts: 304000 | #Constraints: 17655
616.18/617.81 c #Conflicts: 305000 | #Constraints: 18655
616.18/617.81 c #Conflicts: 306000 | #Constraints: 19655
616.18/617.81 c #Conflicts: 307000 | #Constraints: 20655
616.18/617.81 c #Conflicts: 308000 | #Constraints: 21655
616.18/617.81 c #Conflicts: 309000 | #Constraints: 22655
616.18/617.81 c #Conflicts: 310000 | #Constraints: 23655
616.18/617.81 c INPROCESSING
616.18/617.81 c GARBAGE COLLECT
616.18/617.81 c #Conflicts: 311000 | #Constraints: 13651
616.18/617.81 c #Conflicts: 312000 | #Constraints: 14651
616.18/617.81 c #Conflicts: 313000 | #Constraints: 15651
616.18/617.81 c #Conflicts: 314000 | #Constraints: 16651
616.18/617.81 c #Conflicts: 315000 | #Constraints: 17651
616.18/617.81 c #Conflicts: 316000 | #Constraints: 18651
616.18/617.81 c #Conflicts: 317000 | #Constraints: 19651
616.18/617.81 c #Conflicts: 318000 | #Constraints: 20651
616.18/617.81 c #Conflicts: 319000 | #Constraints: 21651
616.18/617.81 c #Conflicts: 320000 | #Constraints: 22651
616.18/617.81 c #Conflicts: 321000 | #Constraints: 23651
616.18/617.81 c INPROCESSING
616.18/617.81 c GARBAGE COLLECT
616.18/617.81 c #Conflicts: 322000 | #Constraints: 13450
616.18/617.81 c #Conflicts: 323000 | #Constraints: 14450
616.18/617.81 c #Conflicts: 324000 | #Constraints: 15450
616.18/617.81 c #Conflicts: 325000 | #Constraints: 16450
616.18/617.81 c #Conflicts: 326000 | #Constraints: 17450
616.18/617.81 c #Conflicts: 327000 | #Constraints: 18450
616.18/617.81 c #Conflicts: 328000 | #Constraints: 19450
616.18/617.81 c #Conflicts: 329000 | #Constraints: 20450
616.18/617.81 c #Conflicts: 330000 | #Constraints: 21450
616.18/617.81 c #Conflicts: 331000 | #Constraints: 22450
616.18/617.81 c #Conflicts: 332000 | #Constraints: 23450
616.18/617.81 c #Conflicts: 333000 | #Constraints: 24450
616.18/617.81 c INPROCESSING
616.18/617.81 c GARBAGE COLLECT
616.18/617.81 c #Conflicts: 334000 | #Constraints: 14048
616.18/617.81 c #Conflicts: 335000 | #Constraints: 15048
616.18/617.81 c #Conflicts: 336000 | #Constraints: 16048
616.18/617.81 c #Conflicts: 337000 | #Constraints: 17048
616.18/617.81 c #Conflicts: 338000 | #Constraints: 18048
616.18/617.81 c #Conflicts: 339000 | #Constraints: 19048
616.18/617.81 c #Conflicts: 340000 | #Constraints: 20048
616.18/617.81 c #Conflicts: 341000 | #Constraints: 21048
616.18/617.81 c #Conflicts: 342000 | #Constraints: 22048
616.18/617.81 c #Conflicts: 343000 | #Constraints: 23048
616.18/617.81 c #Conflicts: 344000 | #Constraints: 24048
616.18/617.81 c #Conflicts: 345000 | #Constraints: 25048
616.18/617.81 c INPROCESSING
616.18/617.81 c GARBAGE COLLECT
616.18/617.81 c #Conflicts: 346000 | #Constraints: 14446
616.18/617.81 c #Conflicts: 347000 | #Constraints: 15446
616.18/617.81 c #Conflicts: 348000 | #Constraints: 16446
616.18/617.81 c #Conflicts: 349000 | #Constraints: 17446
616.18/617.81 c #Conflicts: 350000 | #Constraints: 18446
616.18/617.81 c #Conflicts: 351000 | #Constraints: 19446
718.83/720.70 c #Conflicts: 352000 | #Constraints: 20446
718.83/720.70 c #Conflicts: 353000 | #Constraints: 21446
718.83/720.70 c #Conflicts: 354000 | #Constraints: 22446
718.83/720.70 c #Conflicts: 355000 | #Constraints: 23446
718.83/720.70 c #Conflicts: 356000 | #Constraints: 24446
718.83/720.70 c #Conflicts: 357000 | #Constraints: 25446
718.83/720.70 c INPROCESSING
718.83/720.70 c GARBAGE COLLECT
718.83/720.70 c #Conflicts: 358000 | #Constraints: 14646
718.83/720.70 c #Conflicts: 359000 | #Constraints: 15646
718.83/720.70 c #Conflicts: 360000 | #Constraints: 16646
718.83/720.70 c #Conflicts: 361000 | #Constraints: 17646
718.83/720.70 c #Conflicts: 362000 | #Constraints: 18646
718.83/720.70 c #Conflicts: 363000 | #Constraints: 19646
718.83/720.70 c #Conflicts: 364000 | #Constraints: 20646
718.83/720.70 c #Conflicts: 365000 | #Constraints: 21646
718.83/720.70 c #Conflicts: 366000 | #Constraints: 22646
718.83/720.70 c #Conflicts: 367000 | #Constraints: 23646
718.83/720.70 c #Conflicts: 368000 | #Constraints: 24646
718.83/720.70 c #Conflicts: 369000 | #Constraints: 25646
718.83/720.70 c INPROCESSING
718.83/720.70 c GARBAGE COLLECT
718.83/720.70 c #Conflicts: 370000 | #Constraints: 14654
718.83/720.70 c #Conflicts: 371000 | #Constraints: 15654
718.83/720.70 c #Conflicts: 372000 | #Constraints: 16654
718.83/720.70 c #Conflicts: 373000 | #Constraints: 17654
718.83/720.70 c #Conflicts: 374000 | #Constraints: 18654
718.83/720.70 c #Conflicts: 375000 | #Constraints: 19654
718.83/720.70 c #Conflicts: 376000 | #Constraints: 20654
718.83/720.70 c #Conflicts: 377000 | #Constraints: 21654
718.83/720.70 c #Conflicts: 378000 | #Constraints: 22654
718.83/720.70 c #Conflicts: 379000 | #Constraints: 23654
718.83/720.70 c #Conflicts: 380000 | #Constraints: 24654
718.83/720.70 c #Conflicts: 381000 | #Constraints: 25654
718.83/720.70 c INPROCESSING
718.83/720.70 c GARBAGE COLLECT
718.83/720.70 c #Conflicts: 382000 | #Constraints: 14449
718.83/720.70 c #Conflicts: 383000 | #Constraints: 15449
718.83/720.70 c #Conflicts: 384000 | #Constraints: 16449
718.83/720.70 c #Conflicts: 385000 | #Constraints: 17449
718.83/720.70 c #Conflicts: 386000 | #Constraints: 18449
718.83/720.70 c #Conflicts: 387000 | #Constraints: 19449
718.83/720.70 c #Conflicts: 388000 | #Constraints: 20449
718.83/720.70 c #Conflicts: 389000 | #Constraints: 21449
718.83/720.70 c #Conflicts: 390000 | #Constraints: 22449
718.83/720.70 c #Conflicts: 391000 | #Constraints: 23449
718.83/720.70 c #Conflicts: 392000 | #Constraints: 24449
718.83/720.70 c #Conflicts: 393000 | #Constraints: 25449
718.83/720.70 c #Conflicts: 394000 | #Constraints: 26449
718.83/720.70 c INPROCESSING
718.83/720.70 c GARBAGE COLLECT
718.83/720.70 c #Conflicts: 395000 | #Constraints: 15055
718.83/720.70 c #Conflicts: 396000 | #Constraints: 16055
718.83/720.70 c #Conflicts: 397000 | #Constraints: 17055
718.83/720.70 c #Conflicts: 398000 | #Constraints: 18055
718.83/720.70 c #Conflicts: 399000 | #Constraints: 19055
718.83/720.70 c #Conflicts: 400000 | #Constraints: 20055
718.83/720.70 c #Conflicts: 401000 | #Constraints: 21055
718.83/720.70 c #Conflicts: 402000 | #Constraints: 22055
718.83/720.70 c #Conflicts: 403000 | #Constraints: 23055
718.83/720.70 c #Conflicts: 404000 | #Constraints: 24055
718.83/720.70 c #Conflicts: 405000 | #Constraints: 25055
718.83/720.70 c #Conflicts: 406000 | #Constraints: 26055
718.83/720.70 c #Conflicts: 407000 | #Constraints: 27055
718.83/720.70 c INPROCESSING
718.83/720.70 c GARBAGE COLLECT
718.83/720.70 c #Conflicts: 408000 | #Constraints: 15453
718.83/720.70 c #Conflicts: 409000 | #Constraints: 16453
718.83/720.70 c #Conflicts: 410000 | #Constraints: 17453
718.83/720.70 c #Conflicts: 411000 | #Constraints: 18453
718.83/720.70 c #Conflicts: 412000 | #Constraints: 19453
718.83/720.70 c #Conflicts: 413000 | #Constraints: 20453
718.83/720.70 c #Conflicts: 414000 | #Constraints: 21453
718.83/720.70 c #Conflicts: 415000 | #Constraints: 22453
718.83/720.70 c #Conflicts: 416000 | #Constraints: 23453
718.83/720.70 c #Conflicts: 417000 | #Constraints: 24453
718.83/720.70 c #Conflicts: 418000 | #Constraints: 25453
718.83/720.70 c #Conflicts: 419000 | #Constraints: 26453
718.83/720.70 c #Conflicts: 420000 | #Constraints: 27453
718.83/720.70 c INPROCESSING
718.83/720.70 c GARBAGE COLLECT
718.83/720.70 c #Conflicts: 421000 | #Constraints: 15652
718.83/720.70 c #Conflicts: 422000 | #Constraints: 16652
718.83/720.70 c #Conflicts: 423000 | #Constraints: 17652
718.83/720.70 c #Conflicts: 424000 | #Constraints: 18652
718.83/720.70 c #Conflicts: 425000 | #Constraints: 19652
718.83/720.70 c #Conflicts: 426000 | #Constraints: 20652
822.28/824.45 c #Conflicts: 427000 | #Constraints: 21652
822.28/824.45 c #Conflicts: 428000 | #Constraints: 22652
822.28/824.45 c #Conflicts: 429000 | #Constraints: 23652
822.28/824.45 c #Conflicts: 430000 | #Constraints: 24652
822.28/824.45 c #Conflicts: 431000 | #Constraints: 25652
822.28/824.45 c #Conflicts: 432000 | #Constraints: 26652
822.28/824.45 c #Conflicts: 433000 | #Constraints: 27652
822.28/824.45 c INPROCESSING
822.28/824.45 c GARBAGE COLLECT
822.28/824.45 c #Conflicts: 434000 | #Constraints: 15649
822.28/824.45 c #Conflicts: 435000 | #Constraints: 16649
822.28/824.45 c #Conflicts: 436000 | #Constraints: 17649
822.28/824.45 c #Conflicts: 437000 | #Constraints: 18649
822.28/824.45 c #Conflicts: 438000 | #Constraints: 19649
822.28/824.45 c #Conflicts: 439000 | #Constraints: 20649
822.28/824.45 c #Conflicts: 440000 | #Constraints: 21649
822.28/824.45 c #Conflicts: 441000 | #Constraints: 22649
822.28/824.45 c #Conflicts: 442000 | #Constraints: 23649
822.28/824.45 c #Conflicts: 443000 | #Constraints: 24649
822.28/824.45 c #Conflicts: 444000 | #Constraints: 25649
822.28/824.45 c #Conflicts: 445000 | #Constraints: 26649
822.28/824.45 c #Conflicts: 446000 | #Constraints: 27649
822.28/824.45 c INPROCESSING
822.28/824.45 c GARBAGE COLLECT
822.28/824.45 c #Conflicts: 447000 | #Constraints: 15450
822.28/824.45 c #Conflicts: 448000 | #Constraints: 16450
822.28/824.45 c #Conflicts: 449000 | #Constraints: 17450
822.28/824.45 c #Conflicts: 450000 | #Constraints: 18450
822.28/824.45 c #Conflicts: 451000 | #Constraints: 19450
822.28/824.45 c #Conflicts: 452000 | #Constraints: 20450
822.28/824.45 c #Conflicts: 453000 | #Constraints: 21450
822.28/824.45 c #Conflicts: 454000 | #Constraints: 22450
822.28/824.45 c #Conflicts: 455000 | #Constraints: 23450
822.28/824.45 c #Conflicts: 456000 | #Constraints: 24450
822.28/824.45 c #Conflicts: 457000 | #Constraints: 25450
822.28/824.45 c #Conflicts: 458000 | #Constraints: 26450
822.28/824.45 c #Conflicts: 459000 | #Constraints: 27450
822.28/824.45 c #Conflicts: 460000 | #Constraints: 28450
822.28/824.45 c INPROCESSING
822.28/824.45 c GARBAGE COLLECT
822.28/824.45 c #Conflicts: 461000 | #Constraints: 16052
822.28/824.45 c #Conflicts: 462000 | #Constraints: 17052
822.28/824.45 c #Conflicts: 463000 | #Constraints: 18052
822.28/824.45 c #Conflicts: 464000 | #Constraints: 19052
822.28/824.45 c #Conflicts: 465000 | #Constraints: 20052
822.28/824.45 c #Conflicts: 466000 | #Constraints: 21052
822.28/824.45 c #Conflicts: 467000 | #Constraints: 22052
822.28/824.45 c #Conflicts: 468000 | #Constraints: 23052
822.28/824.45 c #Conflicts: 469000 | #Constraints: 24052
822.28/824.45 c #Conflicts: 470000 | #Constraints: 25052
822.28/824.45 c #Conflicts: 471000 | #Constraints: 26052
822.28/824.45 c #Conflicts: 472000 | #Constraints: 27052
822.28/824.45 c #Conflicts: 473000 | #Constraints: 28052
822.28/824.45 c #Conflicts: 474000 | #Constraints: 29052
822.28/824.45 c INPROCESSING
822.28/824.45 c GARBAGE COLLECT
822.28/824.45 c #Conflicts: 475000 | #Constraints: 16456
822.28/824.45 c #Conflicts: 476000 | #Constraints: 17456
822.28/824.45 c #Conflicts: 477000 | #Constraints: 18456
822.28/824.45 c #Conflicts: 478000 | #Constraints: 19456
822.28/824.45 c #Conflicts: 479000 | #Constraints: 20456
822.28/824.45 c #Conflicts: 480000 | #Constraints: 21456
822.28/824.45 c #Conflicts: 481000 | #Constraints: 22456
822.28/824.45 c #Conflicts: 482000 | #Constraints: 23456
822.28/824.45 c #Conflicts: 483000 | #Constraints: 24456
822.28/824.45 c #Conflicts: 484000 | #Constraints: 25456
822.28/824.45 c #Conflicts: 485000 | #Constraints: 26456
822.28/824.45 c #Conflicts: 486000 | #Constraints: 27456
822.28/824.45 c #Conflicts: 487000 | #Constraints: 28456
822.28/824.45 c #Conflicts: 488000 | #Constraints: 29456
822.28/824.45 c INPROCESSING
822.28/824.45 c GARBAGE COLLECT
822.28/824.45 c #Conflicts: 489000 | #Constraints: 16653
822.28/824.45 c #Conflicts: 490000 | #Constraints: 17653
822.28/824.45 c #Conflicts: 491000 | #Constraints: 18653
822.28/824.45 c #Conflicts: 492000 | #Constraints: 19653
822.28/824.45 c #Conflicts: 493000 | #Constraints: 20653
822.28/824.45 c #Conflicts: 494000 | #Constraints: 21653
822.28/824.45 c #Conflicts: 495000 | #Constraints: 22653
822.28/824.45 c #Conflicts: 496000 | #Constraints: 23653
822.28/824.45 c #Conflicts: 497000 | #Constraints: 24653
822.28/824.45 c #Conflicts: 498000 | #Constraints: 25653
822.28/824.45 c #Conflicts: 499000 | #Constraints: 26653
822.28/824.45 c #Conflicts: 500000 | #Constraints: 27653
822.28/824.45 c #Conflicts: 501000 | #Constraints: 28653
822.28/824.45 c #Conflicts: 502000 | #Constraints: 29653
936.49/938.91 c INPROCESSING
936.49/938.91 c GARBAGE COLLECT
936.49/938.91 c #Conflicts: 503000 | #Constraints: 16658
936.49/938.91 c #Conflicts: 504000 | #Constraints: 17658
936.49/938.91 c #Conflicts: 505000 | #Constraints: 18658
936.49/938.91 c #Conflicts: 506000 | #Constraints: 19658
936.49/938.91 c #Conflicts: 507000 | #Constraints: 20658
936.49/938.91 c #Conflicts: 508000 | #Constraints: 21658
936.49/938.91 c #Conflicts: 509000 | #Constraints: 22658
936.49/938.91 c #Conflicts: 510000 | #Constraints: 23658
936.49/938.91 c #Conflicts: 511000 | #Constraints: 24658
936.49/938.91 c #Conflicts: 512000 | #Constraints: 25658
936.49/938.91 c #Conflicts: 513000 | #Constraints: 26658
936.49/938.91 c #Conflicts: 514000 | #Constraints: 27658
936.49/938.91 c #Conflicts: 515000 | #Constraints: 28658
936.49/938.91 c #Conflicts: 516000 | #Constraints: 29658
936.49/938.91 c INPROCESSING
936.49/938.91 c GARBAGE COLLECT
936.49/938.91 c #Conflicts: 517000 | #Constraints: 16451
936.49/938.91 c #Conflicts: 518000 | #Constraints: 17451
936.49/938.91 c #Conflicts: 519000 | #Constraints: 18451
936.49/938.91 c #Conflicts: 520000 | #Constraints: 19451
936.49/938.91 c #Conflicts: 521000 | #Constraints: 20451
936.49/938.91 c #Conflicts: 522000 | #Constraints: 21451
936.49/938.91 c #Conflicts: 523000 | #Constraints: 22451
936.49/938.91 c #Conflicts: 524000 | #Constraints: 23451
936.49/938.91 c #Conflicts: 525000 | #Constraints: 24451
936.49/938.91 c #Conflicts: 526000 | #Constraints: 25451
936.49/938.91 c #Conflicts: 527000 | #Constraints: 26451
936.49/938.91 c #Conflicts: 528000 | #Constraints: 27451
936.49/938.91 c #Conflicts: 529000 | #Constraints: 28451
936.49/938.91 c #Conflicts: 530000 | #Constraints: 29451
936.49/938.91 c #Conflicts: 531000 | #Constraints: 30451
936.49/938.91 c INPROCESSING
936.49/938.91 c GARBAGE COLLECT
936.49/938.91 c #Conflicts: 532000 | #Constraints: 17057
936.49/938.91 c #Conflicts: 533000 | #Constraints: 18057
936.49/938.91 c #Conflicts: 534000 | #Constraints: 19057
936.49/938.91 c #Conflicts: 535000 | #Constraints: 20057
936.49/938.91 c #Conflicts: 536000 | #Constraints: 21057
936.49/938.91 c #Conflicts: 537000 | #Constraints: 22057
936.49/938.91 c #Conflicts: 538000 | #Constraints: 23057
936.49/938.91 c #Conflicts: 539000 | #Constraints: 24057
936.49/938.91 c #Conflicts: 540000 | #Constraints: 25057
936.49/938.91 c #Conflicts: 541000 | #Constraints: 26057
936.49/938.91 c #Conflicts: 542000 | #Constraints: 27057
936.49/938.91 c #Conflicts: 543000 | #Constraints: 28057
936.49/938.91 c #Conflicts: 544000 | #Constraints: 29057
936.49/938.91 c #Conflicts: 545000 | #Constraints: 30057
936.49/938.91 c #Conflicts: 546000 | #Constraints: 31057
936.49/938.91 c INPROCESSING
936.49/938.91 c GARBAGE COLLECT
936.49/938.91 c #Conflicts: 547000 | #Constraints: 17453
936.49/938.91 c #Conflicts: 548000 | #Constraints: 18453
936.49/938.91 c #Conflicts: 549000 | #Constraints: 19453
936.49/938.91 c #Conflicts: 550000 | #Constraints: 20453
936.49/938.91 c #Conflicts: 551000 | #Constraints: 21453
936.49/938.91 c #Conflicts: 552000 | #Constraints: 22453
936.49/938.91 c #Conflicts: 553000 | #Constraints: 23453
936.49/938.91 c #Conflicts: 554000 | #Constraints: 24453
936.49/938.91 c #Conflicts: 555000 | #Constraints: 25453
936.49/938.91 c #Conflicts: 556000 | #Constraints: 26453
936.49/938.91 c #Conflicts: 557000 | #Constraints: 27453
936.49/938.91 c #Conflicts: 558000 | #Constraints: 28453
936.49/938.91 c #Conflicts: 559000 | #Constraints: 29453
936.49/938.91 c #Conflicts: 560000 | #Constraints: 30453
936.49/938.91 c #Conflicts: 561000 | #Constraints: 31453
936.49/938.91 c INPROCESSING
936.49/938.91 c GARBAGE COLLECT
936.49/938.91 c #Conflicts: 562000 | #Constraints: 17650
936.49/938.91 c #Conflicts: 563000 | #Constraints: 18650
936.49/938.91 c #Conflicts: 564000 | #Constraints: 19650
936.49/938.91 c #Conflicts: 565000 | #Constraints: 20650
936.49/938.91 c #Conflicts: 566000 | #Constraints: 21650
936.49/938.91 c #Conflicts: 567000 | #Constraints: 22650
936.49/938.91 c #Conflicts: 568000 | #Constraints: 23650
936.49/938.91 c #Conflicts: 569000 | #Constraints: 24650
936.49/938.91 c #Conflicts: 570000 | #Constraints: 25650
936.49/938.91 c #Conflicts: 571000 | #Constraints: 26650
936.49/938.91 c #Conflicts: 572000 | #Constraints: 27650
936.49/938.91 c #Conflicts: 573000 | #Constraints: 28650
936.49/938.91 c #Conflicts: 574000 | #Constraints: 29650
936.49/938.91 c #Conflicts: 575000 | #Constraints: 30650
936.49/938.91 c #Conflicts: 576000 | #Constraints: 31650
936.49/938.91 c INPROCESSING
936.49/938.91 c GARBAGE COLLECT
936.49/938.91 c #Conflicts: 577000 | #Constraints: 17660
1058.48/1061.28 c #Conflicts: 578000 | #Constraints: 18660
1058.48/1061.28 c #Conflicts: 579000 | #Constraints: 19660
1058.48/1061.28 c #Conflicts: 580000 | #Constraints: 20660
1058.48/1061.28 c #Conflicts: 581000 | #Constraints: 21660
1058.48/1061.28 c #Conflicts: 582000 | #Constraints: 22660
1058.48/1061.28 c #Conflicts: 583000 | #Constraints: 23660
1058.48/1061.28 c #Conflicts: 584000 | #Constraints: 24660
1058.48/1061.28 c #Conflicts: 585000 | #Constraints: 25660
1058.48/1061.28 c #Conflicts: 586000 | #Constraints: 26660
1058.48/1061.28 c #Conflicts: 587000 | #Constraints: 27660
1058.48/1061.28 c #Conflicts: 588000 | #Constraints: 28660
1058.48/1061.28 c #Conflicts: 589000 | #Constraints: 29660
1058.48/1061.28 c #Conflicts: 590000 | #Constraints: 30660
1058.48/1061.28 c #Conflicts: 591000 | #Constraints: 31660
1058.48/1061.28 c INPROCESSING
1058.48/1061.28 c GARBAGE COLLECT
1058.48/1061.28 c #Conflicts: 592000 | #Constraints: 17459
1058.48/1061.28 c #Conflicts: 593000 | #Constraints: 18459
1058.48/1061.28 c #Conflicts: 594000 | #Constraints: 19459
1058.48/1061.28 c #Conflicts: 595000 | #Constraints: 20459
1058.48/1061.28 c #Conflicts: 596000 | #Constraints: 21459
1058.48/1061.28 c #Conflicts: 597000 | #Constraints: 22459
1058.48/1061.28 c #Conflicts: 598000 | #Constraints: 23459
1058.48/1061.28 c #Conflicts: 599000 | #Constraints: 24459
1058.48/1061.28 c #Conflicts: 600000 | #Constraints: 25459
1058.48/1061.28 c #Conflicts: 601000 | #Constraints: 26459
1058.48/1061.28 c #Conflicts: 602000 | #Constraints: 27459
1058.48/1061.28 c #Conflicts: 603000 | #Constraints: 28459
1058.48/1061.28 c #Conflicts: 604000 | #Constraints: 29459
1058.48/1061.28 c #Conflicts: 605000 | #Constraints: 30459
1058.48/1061.28 c #Conflicts: 606000 | #Constraints: 31459
1058.48/1061.28 c #Conflicts: 607000 | #Constraints: 32459
1058.48/1061.28 c INPROCESSING
1058.48/1061.28 c GARBAGE COLLECT
1058.48/1061.28 c #Conflicts: 608000 | #Constraints: 18055
1058.48/1061.28 c #Conflicts: 609000 | #Constraints: 19055
1058.48/1061.28 c #Conflicts: 610000 | #Constraints: 20055
1058.48/1061.28 c #Conflicts: 611000 | #Constraints: 21055
1058.48/1061.28 c #Conflicts: 612000 | #Constraints: 22055
1058.48/1061.28 c #Conflicts: 613000 | #Constraints: 23055
1058.48/1061.28 c #Conflicts: 614000 | #Constraints: 24055
1058.48/1061.28 c #Conflicts: 615000 | #Constraints: 25055
1058.48/1061.28 c #Conflicts: 616000 | #Constraints: 26055
1058.48/1061.28 c #Conflicts: 617000 | #Constraints: 27055
1058.48/1061.28 c #Conflicts: 618000 | #Constraints: 28055
1058.48/1061.28 c #Conflicts: 619000 | #Constraints: 29055
1058.48/1061.28 c #Conflicts: 620000 | #Constraints: 30055
1058.48/1061.28 c #Conflicts: 621000 | #Constraints: 31055
1058.48/1061.28 c #Conflicts: 622000 | #Constraints: 32055
1058.48/1061.28 c #Conflicts: 623000 | #Constraints: 33055
1058.48/1061.28 c INPROCESSING
1058.48/1061.28 c GARBAGE COLLECT
1058.48/1061.28 c #Conflicts: 624000 | #Constraints: 18460
1058.48/1061.28 c #Conflicts: 625000 | #Constraints: 19460
1058.48/1061.28 c #Conflicts: 626000 | #Constraints: 20460
1058.48/1061.28 c #Conflicts: 627000 | #Constraints: 21460
1058.48/1061.28 c #Conflicts: 628000 | #Constraints: 22460
1058.48/1061.28 c #Conflicts: 629000 | #Constraints: 23460
1058.48/1061.28 c #Conflicts: 630000 | #Constraints: 24460
1058.48/1061.28 c #Conflicts: 631000 | #Constraints: 25460
1058.48/1061.28 c #Conflicts: 632000 | #Constraints: 26460
1058.48/1061.28 c #Conflicts: 633000 | #Constraints: 27460
1058.48/1061.28 c #Conflicts: 634000 | #Constraints: 28460
1058.48/1061.28 c #Conflicts: 635000 | #Constraints: 29460
1058.48/1061.28 c #Conflicts: 636000 | #Constraints: 30460
1058.48/1061.28 c #Conflicts: 637000 | #Constraints: 31460
1058.48/1061.28 c #Conflicts: 638000 | #Constraints: 32460
1058.48/1061.28 c #Conflicts: 639000 | #Constraints: 33460
1058.48/1061.28 c INPROCESSING
1058.48/1061.28 c GARBAGE COLLECT
1058.48/1061.28 c #Conflicts: 640000 | #Constraints: 18658
1058.48/1061.28 c #Conflicts: 641000 | #Constraints: 19658
1058.48/1061.28 c #Conflicts: 642000 | #Constraints: 20658
1058.48/1061.28 c #Conflicts: 643000 | #Constraints: 21658
1058.48/1061.28 c #Conflicts: 644000 | #Constraints: 22658
1058.48/1061.28 c #Conflicts: 645000 | #Constraints: 23658
1058.48/1061.28 c #Conflicts: 646000 | #Constraints: 24658
1058.48/1061.28 c #Conflicts: 647000 | #Constraints: 25658
1058.48/1061.28 c #Conflicts: 648000 | #Constraints: 26658
1058.48/1061.28 c #Conflicts: 649000 | #Constraints: 27658
1058.48/1061.28 c #Conflicts: 650000 | #Constraints: 28658
1058.48/1061.28 c #Conflicts: 651000 | #Constraints: 29658
1058.48/1061.28 c #Conflicts: 652000 | #Constraints: 30658
1058.48/1061.28 c #Conflicts: 653000 | #Constraints: 31658
1184.57/1187.60 c #Conflicts: 654000 | #Constraints: 32658
1184.57/1187.60 c #Conflicts: 655000 | #Constraints: 33658
1184.57/1187.60 c INPROCESSING
1184.57/1187.60 c GARBAGE COLLECT
1184.57/1187.60 c #Conflicts: 656000 | #Constraints: 18653
1184.57/1187.60 c #Conflicts: 657000 | #Constraints: 19653
1184.57/1187.60 c #Conflicts: 658000 | #Constraints: 20653
1184.57/1187.60 c #Conflicts: 659000 | #Constraints: 21653
1184.57/1187.60 c #Conflicts: 660000 | #Constraints: 22653
1184.57/1187.60 c #Conflicts: 661000 | #Constraints: 23653
1184.57/1187.60 c #Conflicts: 662000 | #Constraints: 24653
1184.57/1187.60 c #Conflicts: 663000 | #Constraints: 25653
1184.57/1187.60 c #Conflicts: 664000 | #Constraints: 26653
1184.57/1187.60 c #Conflicts: 665000 | #Constraints: 27653
1184.57/1187.60 c #Conflicts: 666000 | #Constraints: 28653
1184.57/1187.60 c #Conflicts: 667000 | #Constraints: 29653
1184.57/1187.60 c #Conflicts: 668000 | #Constraints: 30653
1184.57/1187.60 c #Conflicts: 669000 | #Constraints: 31653
1184.57/1187.60 c #Conflicts: 670000 | #Constraints: 32653
1184.57/1187.60 c #Conflicts: 671000 | #Constraints: 33653
1184.57/1187.60 c INPROCESSING
1184.57/1187.60 c GARBAGE COLLECT
1184.57/1187.60 c #Conflicts: 672000 | #Constraints: 18453
1184.57/1187.60 c #Conflicts: 673000 | #Constraints: 19453
1184.57/1187.60 c #Conflicts: 674000 | #Constraints: 20453
1184.57/1187.60 c #Conflicts: 675000 | #Constraints: 21453
1184.57/1187.60 c #Conflicts: 676000 | #Constraints: 22453
1184.57/1187.60 c #Conflicts: 677000 | #Constraints: 23453
1184.57/1187.60 c #Conflicts: 678000 | #Constraints: 24453
1184.57/1187.60 c #Conflicts: 679000 | #Constraints: 25453
1184.57/1187.60 c #Conflicts: 680000 | #Constraints: 26453
1184.57/1187.60 c #Conflicts: 681000 | #Constraints: 27453
1184.57/1187.60 c #Conflicts: 682000 | #Constraints: 28453
1184.57/1187.60 c #Conflicts: 683000 | #Constraints: 29453
1184.57/1187.60 c #Conflicts: 684000 | #Constraints: 30453
1184.57/1187.60 c #Conflicts: 685000 | #Constraints: 31453
1184.57/1187.60 c #Conflicts: 686000 | #Constraints: 32453
1184.57/1187.60 c #Conflicts: 687000 | #Constraints: 33453
1184.57/1187.60 c #Conflicts: 688000 | #Constraints: 34453
1184.57/1187.60 c INPROCESSING
1184.57/1187.60 c GARBAGE COLLECT
1184.57/1187.60 c #Conflicts: 689000 | #Constraints: 19053
1184.57/1187.60 c #Conflicts: 690000 | #Constraints: 20053
1184.57/1187.60 c #Conflicts: 691000 | #Constraints: 21053
1184.57/1187.60 c #Conflicts: 692000 | #Constraints: 22053
1184.57/1187.60 c #Conflicts: 693000 | #Constraints: 23053
1184.57/1187.60 c #Conflicts: 694000 | #Constraints: 24053
1184.57/1187.60 c #Conflicts: 695000 | #Constraints: 25053
1184.57/1187.60 c #Conflicts: 696000 | #Constraints: 26053
1184.57/1187.60 c #Conflicts: 697000 | #Constraints: 27053
1184.57/1187.60 c #Conflicts: 698000 | #Constraints: 28053
1184.57/1187.60 c #Conflicts: 699000 | #Constraints: 29053
1184.57/1187.60 c #Conflicts: 700000 | #Constraints: 30053
1184.57/1187.60 c #Conflicts: 701000 | #Constraints: 31053
1184.57/1187.60 c #Conflicts: 702000 | #Constraints: 32053
1184.57/1187.60 c #Conflicts: 703000 | #Constraints: 33053
1184.57/1187.60 c #Conflicts: 704000 | #Constraints: 34053
1184.57/1187.60 c #Conflicts: 705000 | #Constraints: 35053
1184.57/1187.60 c INPROCESSING
1184.57/1187.60 c GARBAGE COLLECT
1184.57/1187.60 c #Conflicts: 706000 | #Constraints: 19451
1184.57/1187.60 c #Conflicts: 707000 | #Constraints: 20451
1184.57/1187.60 c #Conflicts: 708000 | #Constraints: 21451
1184.57/1187.60 c #Conflicts: 709000 | #Constraints: 22451
1184.57/1187.60 c #Conflicts: 710000 | #Constraints: 23451
1184.57/1187.60 c #Conflicts: 711000 | #Constraints: 24451
1184.57/1187.60 c #Conflicts: 712000 | #Constraints: 25451
1184.57/1187.60 c #Conflicts: 713000 | #Constraints: 26451
1184.57/1187.60 c #Conflicts: 714000 | #Constraints: 27451
1184.57/1187.60 c #Conflicts: 715000 | #Constraints: 28451
1184.57/1187.60 c #Conflicts: 716000 | #Constraints: 29451
1184.57/1187.60 c #Conflicts: 717000 | #Constraints: 30451
1184.57/1187.60 c #Conflicts: 718000 | #Constraints: 31451
1184.57/1187.60 c #Conflicts: 719000 | #Constraints: 32451
1184.57/1187.60 c #Conflicts: 720000 | #Constraints: 33451
1184.57/1187.60 c #Conflicts: 721000 | #Constraints: 34451
1184.57/1187.60 c #Conflicts: 722000 | #Constraints: 35451
1184.57/1187.60 c INPROCESSING
1184.57/1187.60 c GARBAGE COLLECT
1184.57/1187.60 c #Conflicts: 723000 | #Constraints: 19650
1184.57/1187.60 c #Conflicts: 724000 | #Constraints: 20650
1184.57/1187.60 c #Conflicts: 725000 | #Constraints: 21650
1184.57/1187.60 c #Conflicts: 726000 | #Constraints: 22650
1184.57/1187.60 c #Conflicts: 727000 | #Constraints: 23650
1184.57/1187.60 c #Conflicts: 728000 | #Constraints: 24650
1324.22/1327.66 c #Conflicts: 729000 | #Constraints: 25650
1324.22/1327.66 c #Conflicts: 730000 | #Constraints: 26650
1324.22/1327.66 c #Conflicts: 731000 | #Constraints: 27650
1324.22/1327.66 c #Conflicts: 732000 | #Constraints: 28650
1324.22/1327.66 c #Conflicts: 733000 | #Constraints: 29650
1324.22/1327.66 c #Conflicts: 734000 | #Constraints: 30650
1324.22/1327.66 c #Conflicts: 735000 | #Constraints: 31650
1324.22/1327.66 c #Conflicts: 736000 | #Constraints: 32650
1324.22/1327.66 c #Conflicts: 737000 | #Constraints: 33650
1324.22/1327.66 c #Conflicts: 738000 | #Constraints: 34650
1324.22/1327.66 c #Conflicts: 739000 | #Constraints: 35650
1324.22/1327.66 c INPROCESSING
1324.22/1327.66 c GARBAGE COLLECT
1324.22/1327.66 c #Conflicts: 740000 | #Constraints: 19648
1324.22/1327.66 c #Conflicts: 741000 | #Constraints: 20648
1324.22/1327.66 c #Conflicts: 742000 | #Constraints: 21648
1324.22/1327.66 c #Conflicts: 743000 | #Constraints: 22648
1324.22/1327.66 c #Conflicts: 744000 | #Constraints: 23648
1324.22/1327.66 c #Conflicts: 745000 | #Constraints: 24648
1324.22/1327.66 c #Conflicts: 746000 | #Constraints: 25648
1324.22/1327.66 c #Conflicts: 747000 | #Constraints: 26648
1324.22/1327.66 c #Conflicts: 748000 | #Constraints: 27648
1324.22/1327.66 c #Conflicts: 749000 | #Constraints: 28648
1324.22/1327.66 c #Conflicts: 750000 | #Constraints: 29648
1324.22/1327.66 c #Conflicts: 751000 | #Constraints: 30648
1324.22/1327.66 c #Conflicts: 752000 | #Constraints: 31648
1324.22/1327.66 c #Conflicts: 753000 | #Constraints: 32648
1324.22/1327.66 c #Conflicts: 754000 | #Constraints: 33648
1324.22/1327.66 c #Conflicts: 755000 | #Constraints: 34648
1324.22/1327.66 c #Conflicts: 756000 | #Constraints: 35648
1324.22/1327.66 c INPROCESSING
1324.22/1327.66 c GARBAGE COLLECT
1324.22/1327.66 c #Conflicts: 757000 | #Constraints: 19452
1324.22/1327.66 c #Conflicts: 758000 | #Constraints: 20452
1324.22/1327.66 c #Conflicts: 759000 | #Constraints: 21452
1324.22/1327.66 c #Conflicts: 760000 | #Constraints: 22452
1324.22/1327.66 c #Conflicts: 761000 | #Constraints: 23452
1324.22/1327.66 c #Conflicts: 762000 | #Constraints: 24452
1324.22/1327.66 c #Conflicts: 763000 | #Constraints: 25452
1324.22/1327.66 c #Conflicts: 764000 | #Constraints: 26452
1324.22/1327.66 c #Conflicts: 765000 | #Constraints: 27452
1324.22/1327.66 c #Conflicts: 766000 | #Constraints: 28452
1324.22/1327.66 c #Conflicts: 767000 | #Constraints: 29452
1324.22/1327.66 c #Conflicts: 768000 | #Constraints: 30452
1324.22/1327.66 c #Conflicts: 769000 | #Constraints: 31452
1324.22/1327.66 c #Conflicts: 770000 | #Constraints: 32452
1324.22/1327.66 c #Conflicts: 771000 | #Constraints: 33452
1324.22/1327.66 c #Conflicts: 772000 | #Constraints: 34452
1324.22/1327.66 c #Conflicts: 773000 | #Constraints: 35452
1324.22/1327.66 c #Conflicts: 774000 | #Constraints: 36452
1324.22/1327.66 c INPROCESSING
1324.22/1327.66 c GARBAGE COLLECT
1324.22/1327.66 c #Conflicts: 775000 | #Constraints: 20053
1324.22/1327.66 c #Conflicts: 776000 | #Constraints: 21053
1324.22/1327.66 c #Conflicts: 777000 | #Constraints: 22053
1324.22/1327.66 c #Conflicts: 778000 | #Constraints: 23053
1324.22/1327.66 c #Conflicts: 779000 | #Constraints: 24053
1324.22/1327.66 c #Conflicts: 780000 | #Constraints: 25053
1324.22/1327.66 c #Conflicts: 781000 | #Constraints: 26053
1324.22/1327.66 c #Conflicts: 782000 | #Constraints: 27053
1324.22/1327.66 c #Conflicts: 783000 | #Constraints: 28053
1324.22/1327.66 c #Conflicts: 784000 | #Constraints: 29053
1324.22/1327.66 c #Conflicts: 785000 | #Constraints: 30053
1324.22/1327.66 c #Conflicts: 786000 | #Constraints: 31053
1324.22/1327.66 c #Conflicts: 787000 | #Constraints: 32053
1324.22/1327.66 c #Conflicts: 788000 | #Constraints: 33053
1324.22/1327.66 c #Conflicts: 789000 | #Constraints: 34053
1324.22/1327.66 c #Conflicts: 790000 | #Constraints: 35053
1324.22/1327.66 c #Conflicts: 791000 | #Constraints: 36053
1324.22/1327.66 c #Conflicts: 792000 | #Constraints: 37053
1324.22/1327.66 c INPROCESSING
1324.22/1327.66 c GARBAGE COLLECT
1324.22/1327.66 c #Conflicts: 793000 | #Constraints: 20448
1324.22/1327.66 c #Conflicts: 794000 | #Constraints: 21448
1324.22/1327.66 c #Conflicts: 795000 | #Constraints: 22448
1324.22/1327.66 c #Conflicts: 796000 | #Constraints: 23448
1324.22/1327.66 c #Conflicts: 797000 | #Constraints: 24448
1324.22/1327.66 c #Conflicts: 798000 | #Constraints: 25448
1324.22/1327.66 c #Conflicts: 799000 | #Constraints: 26448
1324.22/1327.66 c #Conflicts: 800000 | #Constraints: 27448
1324.22/1327.66 c #Conflicts: 801000 | #Constraints: 28448
1324.22/1327.66 c #Conflicts: 802000 | #Constraints: 29448
1324.22/1327.66 c #Conflicts: 803000 | #Constraints: 30448
1324.22/1327.66 c #Conflicts: 804000 | #Constraints: 31448
1324.22/1327.66 c #Conflicts: 805000 | #Constraints: 32448
1482.62/1486.45 c #Conflicts: 806000 | #Constraints: 33448
1482.62/1486.45 c #Conflicts: 807000 | #Constraints: 34448
1482.62/1486.45 c #Conflicts: 808000 | #Constraints: 35448
1482.62/1486.45 c #Conflicts: 809000 | #Constraints: 36448
1482.62/1486.45 c #Conflicts: 810000 | #Constraints: 37448
1482.62/1486.45 c INPROCESSING
1482.62/1486.45 c GARBAGE COLLECT
1482.62/1486.45 c #Conflicts: 811000 | #Constraints: 20656
1482.62/1486.45 c #Conflicts: 812000 | #Constraints: 21656
1482.62/1486.45 c #Conflicts: 813000 | #Constraints: 22656
1482.62/1486.45 c #Conflicts: 814000 | #Constraints: 23656
1482.62/1486.45 c #Conflicts: 815000 | #Constraints: 24656
1482.62/1486.45 c #Conflicts: 816000 | #Constraints: 25656
1482.62/1486.45 c #Conflicts: 817000 | #Constraints: 26656
1482.62/1486.45 c #Conflicts: 818000 | #Constraints: 27656
1482.62/1486.45 c #Conflicts: 819000 | #Constraints: 28656
1482.62/1486.45 c #Conflicts: 820000 | #Constraints: 29656
1482.62/1486.45 c #Conflicts: 821000 | #Constraints: 30656
1482.62/1486.45 c #Conflicts: 822000 | #Constraints: 31656
1482.62/1486.45 c #Conflicts: 823000 | #Constraints: 32656
1482.62/1486.45 c #Conflicts: 824000 | #Constraints: 33656
1482.62/1486.45 c #Conflicts: 825000 | #Constraints: 34656
1482.62/1486.45 c #Conflicts: 826000 | #Constraints: 35656
1482.62/1486.45 c #Conflicts: 827000 | #Constraints: 36656
1482.62/1486.45 c #Conflicts: 828000 | #Constraints: 37656
1482.62/1486.45 c INPROCESSING
1482.62/1486.45 c GARBAGE COLLECT
1482.62/1486.45 c #Conflicts: 829000 | #Constraints: 20660
1482.62/1486.45 c #Conflicts: 830000 | #Constraints: 21660
1482.62/1486.45 c #Conflicts: 831000 | #Constraints: 22660
1482.62/1486.45 c #Conflicts: 832000 | #Constraints: 23660
1482.62/1486.45 c #Conflicts: 833000 | #Constraints: 24660
1482.62/1486.45 c #Conflicts: 834000 | #Constraints: 25660
1482.62/1486.45 c #Conflicts: 835000 | #Constraints: 26660
1482.62/1486.45 c #Conflicts: 836000 | #Constraints: 27660
1482.62/1486.45 c #Conflicts: 837000 | #Constraints: 28660
1482.62/1486.45 c #Conflicts: 838000 | #Constraints: 29660
1482.62/1486.45 c #Conflicts: 839000 | #Constraints: 30660
1482.62/1486.45 c #Conflicts: 840000 | #Constraints: 31660
1482.62/1486.45 c #Conflicts: 841000 | #Constraints: 32660
1482.62/1486.45 c #Conflicts: 842000 | #Constraints: 33660
1482.62/1486.45 c #Conflicts: 843000 | #Constraints: 34660
1482.62/1486.45 c #Conflicts: 844000 | #Constraints: 35660
1482.62/1486.45 c #Conflicts: 845000 | #Constraints: 36660
1482.62/1486.45 c #Conflicts: 846000 | #Constraints: 37660
1482.62/1486.45 c INPROCESSING
1482.62/1486.45 c GARBAGE COLLECT
1482.62/1486.45 c #Conflicts: 847000 | #Constraints: 20463
1482.62/1486.45 c #Conflicts: 848000 | #Constraints: 21463
1482.62/1486.45 c #Conflicts: 849000 | #Constraints: 22463
1482.62/1486.45 c #Conflicts: 850000 | #Constraints: 23463
1482.62/1486.45 c #Conflicts: 851000 | #Constraints: 24463
1482.62/1486.45 c #Conflicts: 852000 | #Constraints: 25463
1482.62/1486.45 c #Conflicts: 853000 | #Constraints: 26463
1482.62/1486.45 c #Conflicts: 854000 | #Constraints: 27463
1482.62/1486.45 c #Conflicts: 855000 | #Constraints: 28463
1482.62/1486.45 c #Conflicts: 856000 | #Constraints: 29463
1482.62/1486.45 c #Conflicts: 857000 | #Constraints: 30463
1482.62/1486.45 c #Conflicts: 858000 | #Constraints: 31463
1482.62/1486.45 c #Conflicts: 859000 | #Constraints: 32463
1482.62/1486.45 c #Conflicts: 860000 | #Constraints: 33463
1482.62/1486.45 c #Conflicts: 861000 | #Constraints: 34463
1482.62/1486.45 c #Conflicts: 862000 | #Constraints: 35463
1482.62/1486.46 c #Conflicts: 863000 | #Constraints: 36463
1482.62/1486.46 c #Conflicts: 864000 | #Constraints: 37463
1482.62/1486.46 c #Conflicts: 865000 | #Constraints: 38463
1482.62/1486.46 c INPROCESSING
1482.62/1486.46 c GARBAGE COLLECT
1482.62/1486.46 c #Conflicts: 866000 | #Constraints: 21056
1482.62/1486.46 c #Conflicts: 867000 | #Constraints: 22056
1482.62/1486.46 c #Conflicts: 868000 | #Constraints: 23056
1482.62/1486.46 c #Conflicts: 869000 | #Constraints: 24056
1482.62/1486.46 c #Conflicts: 870000 | #Constraints: 25056
1482.62/1486.46 c #Conflicts: 871000 | #Constraints: 26056
1482.62/1486.46 c #Conflicts: 872000 | #Constraints: 27056
1482.62/1486.46 c #Conflicts: 873000 | #Constraints: 28056
1482.62/1486.46 c #Conflicts: 874000 | #Constraints: 29056
1482.62/1486.46 c #Conflicts: 875000 | #Constraints: 30056
1482.62/1486.46 c #Conflicts: 876000 | #Constraints: 31056
1482.62/1486.46 c #Conflicts: 877000 | #Constraints: 32056
1482.62/1486.46 c #Conflicts: 878000 | #Constraints: 33056
1482.62/1486.46 c #Conflicts: 879000 | #Constraints: 34056
1482.62/1486.46 c #Conflicts: 880000 | #Constraints: 35056
1482.62/1486.46 c #Conflicts: 881000 | #Constraints: 36056
1645.71/1649.96 c #Conflicts: 882000 | #Constraints: 37056
1645.71/1649.96 c #Conflicts: 883000 | #Constraints: 38056
1645.71/1649.96 c #Conflicts: 884000 | #Constraints: 39056
1645.71/1649.96 c INPROCESSING
1645.71/1649.96 c GARBAGE COLLECT
1645.71/1649.96 c #Conflicts: 885000 | #Constraints: 21451
1645.71/1649.96 c #Conflicts: 886000 | #Constraints: 22451
1645.71/1649.96 c #Conflicts: 887000 | #Constraints: 23451
1645.71/1649.96 c #Conflicts: 888000 | #Constraints: 24451
1645.71/1649.96 c #Conflicts: 889000 | #Constraints: 25451
1645.71/1649.96 c #Conflicts: 890000 | #Constraints: 26451
1645.71/1649.96 c #Conflicts: 891000 | #Constraints: 27451
1645.71/1649.96 c #Conflicts: 892000 | #Constraints: 28451
1645.71/1649.96 c #Conflicts: 893000 | #Constraints: 29451
1645.71/1649.96 c #Conflicts: 894000 | #Constraints: 30451
1645.71/1649.96 c #Conflicts: 895000 | #Constraints: 31451
1645.71/1649.96 c #Conflicts: 896000 | #Constraints: 32451
1645.71/1649.96 c #Conflicts: 897000 | #Constraints: 33451
1645.71/1649.96 c #Conflicts: 898000 | #Constraints: 34451
1645.71/1649.96 c #Conflicts: 899000 | #Constraints: 35451
1645.71/1649.96 c #Conflicts: 900000 | #Constraints: 36451
1645.71/1649.96 c #Conflicts: 901000 | #Constraints: 37451
1645.71/1649.96 c #Conflicts: 902000 | #Constraints: 38451
1645.71/1649.96 c #Conflicts: 903000 | #Constraints: 39451
1645.71/1649.96 c INPROCESSING
1645.71/1649.96 c GARBAGE COLLECT
1645.71/1649.96 c #Conflicts: 904000 | #Constraints: 21653
1645.71/1649.96 c #Conflicts: 905000 | #Constraints: 22653
1645.71/1649.96 c #Conflicts: 906000 | #Constraints: 23653
1645.71/1649.96 c #Conflicts: 907000 | #Constraints: 24653
1645.71/1649.96 c #Conflicts: 908000 | #Constraints: 25653
1645.71/1649.96 c #Conflicts: 909000 | #Constraints: 26653
1645.71/1649.96 c #Conflicts: 910000 | #Constraints: 27653
1645.71/1649.96 c #Conflicts: 911000 | #Constraints: 28653
1645.71/1649.96 c #Conflicts: 912000 | #Constraints: 29653
1645.71/1649.96 c #Conflicts: 913000 | #Constraints: 30653
1645.71/1649.96 c #Conflicts: 914000 | #Constraints: 31653
1645.71/1649.96 c #Conflicts: 915000 | #Constraints: 32653
1645.71/1649.96 c #Conflicts: 916000 | #Constraints: 33653
1645.71/1649.96 c #Conflicts: 917000 | #Constraints: 34653
1645.71/1649.96 c #Conflicts: 918000 | #Constraints: 35653
1645.71/1649.96 c #Conflicts: 919000 | #Constraints: 36653
1645.71/1649.96 c #Conflicts: 920000 | #Constraints: 37653
1645.71/1649.96 c #Conflicts: 921000 | #Constraints: 38653
1645.71/1649.96 c #Conflicts: 922000 | #Constraints: 39653
1645.71/1649.96 c INPROCESSING
1645.71/1649.96 c GARBAGE COLLECT
1645.71/1649.96 c #Conflicts: 923000 | #Constraints: 21650
1645.71/1649.96 c #Conflicts: 924000 | #Constraints: 22650
1645.71/1649.96 c #Conflicts: 925000 | #Constraints: 23650
1645.71/1649.96 c #Conflicts: 926000 | #Constraints: 24650
1645.71/1649.96 c #Conflicts: 927000 | #Constraints: 25650
1645.71/1649.96 c #Conflicts: 928000 | #Constraints: 26650
1645.71/1649.96 c #Conflicts: 929000 | #Constraints: 27650
1645.71/1649.96 c #Conflicts: 930000 | #Constraints: 28650
1645.71/1649.96 c #Conflicts: 931000 | #Constraints: 29650
1645.71/1649.96 c #Conflicts: 932000 | #Constraints: 30650
1645.71/1649.96 c #Conflicts: 933000 | #Constraints: 31650
1645.71/1649.96 c #Conflicts: 934000 | #Constraints: 32650
1645.71/1649.96 c #Conflicts: 935000 | #Constraints: 33650
1645.71/1649.96 c #Conflicts: 936000 | #Constraints: 34650
1645.71/1649.96 c #Conflicts: 937000 | #Constraints: 35650
1645.71/1649.96 c #Conflicts: 938000 | #Constraints: 36650
1645.71/1649.96 c #Conflicts: 939000 | #Constraints: 37650
1645.71/1649.96 c #Conflicts: 940000 | #Constraints: 38650
1645.71/1649.96 c #Conflicts: 941000 | #Constraints: 39650
1645.71/1649.96 c INPROCESSING
1645.71/1649.96 c GARBAGE COLLECT
1645.71/1649.96 c #Conflicts: 942000 | #Constraints: 21454
1645.71/1649.96 c #Conflicts: 943000 | #Constraints: 22454
1645.71/1649.96 c #Conflicts: 944000 | #Constraints: 23454
1645.71/1649.96 c #Conflicts: 945000 | #Constraints: 24454
1645.71/1649.96 c #Conflicts: 946000 | #Constraints: 25454
1645.71/1649.96 c #Conflicts: 947000 | #Constraints: 26454
1645.71/1649.96 c #Conflicts: 948000 | #Constraints: 27454
1645.71/1649.96 c #Conflicts: 949000 | #Constraints: 28454
1645.71/1649.96 c #Conflicts: 950000 | #Constraints: 29454
1645.71/1649.96 c #Conflicts: 951000 | #Constraints: 30454
1645.71/1649.96 c #Conflicts: 952000 | #Constraints: 31454
1645.71/1649.96 c #Conflicts: 953000 | #Constraints: 32454
1645.71/1649.96 c #Conflicts: 954000 | #Constraints: 33454
1645.71/1649.96 c #Conflicts: 955000 | #Constraints: 34454
1645.71/1649.96 c #Conflicts: 956000 | #Constraints: 35454
1645.71/1649.96 c #Conflicts: 957000 | #Constraints: 36454
1833.94/1838.63 c #Conflicts: 958000 | #Constraints: 37454
1833.94/1838.63 c #Conflicts: 959000 | #Constraints: 38454
1833.94/1838.63 c #Conflicts: 960000 | #Constraints: 39454
1833.94/1838.63 c #Conflicts: 961000 | #Constraints: 40454
1833.94/1838.63 c INPROCESSING
1833.94/1838.63 c GARBAGE COLLECT
1833.94/1838.63 c #Conflicts: 962000 | #Constraints: 22053
1833.94/1838.63 c #Conflicts: 963000 | #Constraints: 23053
1833.94/1838.63 c #Conflicts: 964000 | #Constraints: 24053
1833.94/1838.63 c #Conflicts: 965000 | #Constraints: 25053
1833.94/1838.63 c #Conflicts: 966000 | #Constraints: 26053
1833.94/1838.63 c #Conflicts: 967000 | #Constraints: 27053
1833.94/1838.63 c #Conflicts: 968000 | #Constraints: 28053
1833.94/1838.63 c #Conflicts: 969000 | #Constraints: 29053
1833.94/1838.63 c #Conflicts: 970000 | #Constraints: 30053
1833.94/1838.63 c #Conflicts: 971000 | #Constraints: 31053
1833.94/1838.63 c #Conflicts: 972000 | #Constraints: 32053
1833.94/1838.63 c #Conflicts: 973000 | #Constraints: 33053
1833.94/1838.63 c #Conflicts: 974000 | #Constraints: 34053
1833.94/1838.63 c #Conflicts: 975000 | #Constraints: 35053
1833.94/1838.63 c #Conflicts: 976000 | #Constraints: 36053
1833.94/1838.63 c #Conflicts: 977000 | #Constraints: 37053
1833.94/1838.63 c #Conflicts: 978000 | #Constraints: 38053
1833.94/1838.63 c #Conflicts: 979000 | #Constraints: 39053
1833.94/1838.63 c #Conflicts: 980000 | #Constraints: 40053
1833.94/1838.63 c #Conflicts: 981000 | #Constraints: 41053
1833.94/1838.63 c INPROCESSING
1833.94/1838.63 c GARBAGE COLLECT
1833.94/1838.63 c #Conflicts: 982000 | #Constraints: 22458
1833.94/1838.63 c #Conflicts: 983000 | #Constraints: 23458
1833.94/1838.63 c #Conflicts: 984000 | #Constraints: 24458
1833.94/1838.63 c #Conflicts: 985000 | #Constraints: 25458
1833.94/1838.63 c #Conflicts: 986000 | #Constraints: 26458
1833.94/1838.63 c #Conflicts: 987000 | #Constraints: 27458
1833.94/1838.63 c #Conflicts: 988000 | #Constraints: 28458
1833.94/1838.63 c #Conflicts: 989000 | #Constraints: 29458
1833.94/1838.63 c #Conflicts: 990000 | #Constraints: 30458
1833.94/1838.63 c #Conflicts: 991000 | #Constraints: 31458
1833.94/1838.63 c #Conflicts: 992000 | #Constraints: 32458
1833.94/1838.63 c #Conflicts: 993000 | #Constraints: 33458
1833.94/1838.63 c #Conflicts: 994000 | #Constraints: 34458
1833.94/1838.63 c #Conflicts: 995000 | #Constraints: 35458
1833.94/1838.63 c #Conflicts: 996000 | #Constraints: 36458
1833.94/1838.63 c #Conflicts: 997000 | #Constraints: 37458
1833.94/1838.63 c #Conflicts: 998000 | #Constraints: 38458
1833.94/1838.63 c #Conflicts: 999000 | #Constraints: 39458
1833.94/1838.63 c #Conflicts: 1000000 | #Constraints: 40458
1833.94/1838.63 c #Conflicts: 1001000 | #Constraints: 41458
1833.94/1838.63 c INPROCESSING
1833.94/1838.63 c GARBAGE COLLECT
1833.94/1838.63 c #Conflicts: 1002000 | #Constraints: 22661
1833.94/1838.63 c #Conflicts: 1003000 | #Constraints: 23661
1833.94/1838.63 c #Conflicts: 1004000 | #Constraints: 24661
1833.94/1838.63 c #Conflicts: 1005000 | #Constraints: 25661
1833.94/1838.63 c #Conflicts: 1006000 | #Constraints: 26661
1833.94/1838.63 c #Conflicts: 1007000 | #Constraints: 27661
1833.94/1838.63 c #Conflicts: 1008000 | #Constraints: 28661
1833.94/1838.63 c #Conflicts: 1009000 | #Constraints: 29661
1833.94/1838.63 c #Conflicts: 1010000 | #Constraints: 30661
1833.94/1838.63 c #Conflicts: 1011000 | #Constraints: 31661
1833.94/1838.63 c #Conflicts: 1012000 | #Constraints: 32661
1833.94/1838.63 c #Conflicts: 1013000 | #Constraints: 33661
1833.94/1838.63 c #Conflicts: 1014000 | #Constraints: 34661
1833.94/1838.63 c #Conflicts: 1015000 | #Constraints: 35661
1833.94/1838.63 c #Conflicts: 1016000 | #Constraints: 36661
1833.94/1838.63 c #Conflicts: 1017000 | #Constraints: 37661
1833.94/1838.63 c #Conflicts: 1018000 | #Constraints: 38661
1833.94/1838.63 c #Conflicts: 1019000 | #Constraints: 39661
1833.94/1838.63 c #Conflicts: 1020000 | #Constraints: 40661
1833.94/1838.63 c #Conflicts: 1021000 | #Constraints: 41661
1833.94/1838.63 c INPROCESSING
1833.94/1838.63 c GARBAGE COLLECT
1833.94/1838.63 c #Conflicts: 1022000 | #Constraints: 22657
1833.94/1838.63 c #Conflicts: 1023000 | #Constraints: 23657
1833.94/1838.63 c #Conflicts: 1024000 | #Constraints: 24657
1833.94/1838.63 c #Conflicts: 1025000 | #Constraints: 25657
1833.94/1838.63 c #Conflicts: 1026000 | #Constraints: 26657
1833.94/1838.63 c #Conflicts: 1027000 | #Constraints: 27657
1833.94/1838.63 c #Conflicts: 1028000 | #Constraints: 28657
1833.94/1838.63 c #Conflicts: 1029000 | #Constraints: 29657
1833.94/1838.63 c #Conflicts: 1030000 | #Constraints: 30657
1833.94/1838.63 c #Conflicts: 1031000 | #Constraints: 31657
1833.94/1838.63 c #Conflicts: 1032000 | #Constraints: 32657
1833.94/1838.63 c #Conflicts: 1033000 | #Constraints: 33657
2050.26/2055.59 c #Conflicts: 1034000 | #Constraints: 34657
2050.26/2055.59 c #Conflicts: 1035000 | #Constraints: 35657
2050.26/2055.59 c #Conflicts: 1036000 | #Constraints: 36657
2050.26/2055.59 c #Conflicts: 1037000 | #Constraints: 37657
2050.26/2055.59 c #Conflicts: 1038000 | #Constraints: 38657
2050.26/2055.59 c #Conflicts: 1039000 | #Constraints: 39657
2050.26/2055.59 c #Conflicts: 1040000 | #Constraints: 40657
2050.26/2055.59 c #Conflicts: 1041000 | #Constraints: 41657
2050.26/2055.59 c INPROCESSING
2050.26/2055.59 c GARBAGE COLLECT
2050.26/2055.59 c #Conflicts: 1042000 | #Constraints: 22457
2050.26/2055.59 c #Conflicts: 1043000 | #Constraints: 23457
2050.26/2055.59 c #Conflicts: 1044000 | #Constraints: 24457
2050.26/2055.59 c #Conflicts: 1045000 | #Constraints: 25457
2050.26/2055.59 c #Conflicts: 1046000 | #Constraints: 26457
2050.26/2055.59 c #Conflicts: 1047000 | #Constraints: 27457
2050.26/2055.59 c #Conflicts: 1048000 | #Constraints: 28457
2050.26/2055.59 c #Conflicts: 1049000 | #Constraints: 29457
2050.26/2055.59 c #Conflicts: 1050000 | #Constraints: 30457
2050.26/2055.59 c #Conflicts: 1051000 | #Constraints: 31457
2050.26/2055.59 c #Conflicts: 1052000 | #Constraints: 32457
2050.26/2055.59 c #Conflicts: 1053000 | #Constraints: 33457
2050.26/2055.59 c #Conflicts: 1054000 | #Constraints: 34457
2050.26/2055.59 c #Conflicts: 1055000 | #Constraints: 35457
2050.26/2055.59 c #Conflicts: 1056000 | #Constraints: 36457
2050.26/2055.59 c #Conflicts: 1057000 | #Constraints: 37457
2050.26/2055.59 c #Conflicts: 1058000 | #Constraints: 38457
2050.26/2055.59 c #Conflicts: 1059000 | #Constraints: 39457
2050.26/2055.59 c #Conflicts: 1060000 | #Constraints: 40457
2050.26/2055.59 c #Conflicts: 1061000 | #Constraints: 41457
2050.26/2055.59 c #Conflicts: 1062000 | #Constraints: 42457
2050.26/2055.59 c INPROCESSING
2050.26/2055.59 c GARBAGE COLLECT
2050.26/2055.59 c #Conflicts: 1063000 | #Constraints: 23055
2050.26/2055.59 c #Conflicts: 1064000 | #Constraints: 24055
2050.26/2055.59 c #Conflicts: 1065000 | #Constraints: 25055
2050.26/2055.59 c #Conflicts: 1066000 | #Constraints: 26055
2050.26/2055.59 c #Conflicts: 1067000 | #Constraints: 27055
2050.26/2055.59 c #Conflicts: 1068000 | #Constraints: 28055
2050.26/2055.59 c #Conflicts: 1069000 | #Constraints: 29055
2050.26/2055.59 c #Conflicts: 1070000 | #Constraints: 30055
2050.26/2055.59 c #Conflicts: 1071000 | #Constraints: 31055
2050.26/2055.59 c #Conflicts: 1072000 | #Constraints: 32055
2050.26/2055.59 c #Conflicts: 1073000 | #Constraints: 33055
2050.26/2055.59 c #Conflicts: 1074000 | #Constraints: 34055
2050.26/2055.59 c #Conflicts: 1075000 | #Constraints: 35055
2050.26/2055.59 c #Conflicts: 1076000 | #Constraints: 36055
2050.26/2055.59 c #Conflicts: 1077000 | #Constraints: 37055
2050.26/2055.59 c #Conflicts: 1078000 | #Constraints: 38055
2050.26/2055.59 c #Conflicts: 1079000 | #Constraints: 39055
2050.26/2055.59 c #Conflicts: 1080000 | #Constraints: 40055
2050.26/2055.59 c #Conflicts: 1081000 | #Constraints: 41055
2050.26/2055.59 c #Conflicts: 1082000 | #Constraints: 42055
2050.26/2055.59 c #Conflicts: 1083000 | #Constraints: 43055
2050.26/2055.59 c INPROCESSING
2050.26/2055.59 c GARBAGE COLLECT
2050.26/2055.59 c #Conflicts: 1084000 | #Constraints: 23455
2050.26/2055.59 c #Conflicts: 1085000 | #Constraints: 24455
2050.26/2055.59 c #Conflicts: 1086000 | #Constraints: 25455
2050.26/2055.59 c #Conflicts: 1087000 | #Constraints: 26455
2050.26/2055.59 c #Conflicts: 1088000 | #Constraints: 27455
2050.26/2055.59 c #Conflicts: 1089000 | #Constraints: 28455
2050.26/2055.59 c #Conflicts: 1090000 | #Constraints: 29455
2050.26/2055.59 c #Conflicts: 1091000 | #Constraints: 30455
2050.26/2055.59 c #Conflicts: 1092000 | #Constraints: 31455
2050.26/2055.59 c #Conflicts: 1093000 | #Constraints: 32455
2050.26/2055.59 c #Conflicts: 1094000 | #Constraints: 33455
2050.26/2055.59 c #Conflicts: 1095000 | #Constraints: 34455
2050.26/2055.59 c #Conflicts: 1096000 | #Constraints: 35455
2050.26/2055.59 c #Conflicts: 1097000 | #Constraints: 36455
2050.26/2055.59 c #Conflicts: 1098000 | #Constraints: 37455
2050.26/2055.59 c #Conflicts: 1099000 | #Constraints: 38455
2050.26/2055.59 c #Conflicts: 1100000 | #Constraints: 39455
2050.26/2055.59 c #Conflicts: 1101000 | #Constraints: 40455
2050.26/2055.59 c #Conflicts: 1102000 | #Constraints: 41455
2050.26/2055.59 c #Conflicts: 1103000 | #Constraints: 42455
2050.26/2055.59 c #Conflicts: 1104000 | #Constraints: 43455
2050.26/2055.59 c INPROCESSING
2050.26/2055.59 c GARBAGE COLLECT
2050.26/2055.59 c #Conflicts: 1105000 | #Constraints: 23655
2050.26/2055.59 c #Conflicts: 1106000 | #Constraints: 24655
2050.26/2055.59 c #Conflicts: 1107000 | #Constraints: 25655
2050.26/2055.59 c #Conflicts: 1108000 | #Constraints: 26655
2050.26/2055.59 c #Conflicts: 1109000 | #Constraints: 27655
2050.26/2055.59 c #Conflicts: 1110000 | #Constraints: 28655
2281.32/2287.19 c #Conflicts: 1111000 | #Constraints: 29655
2281.32/2287.19 c #Conflicts: 1112000 | #Constraints: 30655
2281.32/2287.19 c #Conflicts: 1113000 | #Constraints: 31655
2281.32/2287.19 c #Conflicts: 1114000 | #Constraints: 32655
2281.32/2287.19 c #Conflicts: 1115000 | #Constraints: 33655
2281.32/2287.19 c #Conflicts: 1116000 | #Constraints: 34655
2281.32/2287.19 c #Conflicts: 1117000 | #Constraints: 35655
2281.32/2287.19 c #Conflicts: 1118000 | #Constraints: 36655
2281.32/2287.19 c #Conflicts: 1119000 | #Constraints: 37655
2281.32/2287.19 c #Conflicts: 1120000 | #Constraints: 38655
2281.32/2287.19 c #Conflicts: 1121000 | #Constraints: 39655
2281.32/2287.19 c #Conflicts: 1122000 | #Constraints: 40655
2281.32/2287.19 c #Conflicts: 1123000 | #Constraints: 41655
2281.32/2287.19 c #Conflicts: 1124000 | #Constraints: 42655
2281.32/2287.19 c #Conflicts: 1125000 | #Constraints: 43655
2281.32/2287.19 c INPROCESSING
2281.32/2287.19 c GARBAGE COLLECT
2281.32/2287.19 c #Conflicts: 1126000 | #Constraints: 23660
2281.32/2287.19 c #Conflicts: 1127000 | #Constraints: 24660
2281.32/2287.19 c #Conflicts: 1128000 | #Constraints: 25660
2281.32/2287.19 c #Conflicts: 1129000 | #Constraints: 26660
2281.32/2287.19 c #Conflicts: 1130000 | #Constraints: 27660
2281.32/2287.19 c #Conflicts: 1131000 | #Constraints: 28660
2281.32/2287.19 c #Conflicts: 1132000 | #Constraints: 29660
2281.32/2287.19 c #Conflicts: 1133000 | #Constraints: 30660
2281.32/2287.19 c #Conflicts: 1134000 | #Constraints: 31660
2281.32/2287.19 c #Conflicts: 1135000 | #Constraints: 32660
2281.32/2287.19 c #Conflicts: 1136000 | #Constraints: 33660
2281.32/2287.19 c #Conflicts: 1137000 | #Constraints: 34660
2281.32/2287.19 c #Conflicts: 1138000 | #Constraints: 35660
2281.32/2287.19 c #Conflicts: 1139000 | #Constraints: 36660
2281.32/2287.19 c #Conflicts: 1140000 | #Constraints: 37660
2281.32/2287.19 c #Conflicts: 1141000 | #Constraints: 38660
2281.32/2287.19 c #Conflicts: 1142000 | #Constraints: 39660
2281.32/2287.19 c #Conflicts: 1143000 | #Constraints: 40660
2281.32/2287.19 c #Conflicts: 1144000 | #Constraints: 41660
2281.32/2287.19 c #Conflicts: 1145000 | #Constraints: 42660
2281.32/2287.19 c #Conflicts: 1146000 | #Constraints: 43660
2281.32/2287.19 c INPROCESSING
2281.32/2287.19 c GARBAGE COLLECT
2281.32/2287.19 c #Conflicts: 1147000 | #Constraints: 23463
2281.32/2287.19 c #Conflicts: 1148000 | #Constraints: 24463
2281.32/2287.19 c #Conflicts: 1149000 | #Constraints: 25463
2281.32/2287.19 c #Conflicts: 1150000 | #Constraints: 26463
2281.32/2287.19 c #Conflicts: 1151000 | #Constraints: 27463
2281.32/2287.19 c #Conflicts: 1152000 | #Constraints: 28463
2281.32/2287.19 c #Conflicts: 1153000 | #Constraints: 29463
2281.32/2287.19 c #Conflicts: 1154000 | #Constraints: 30463
2281.32/2287.19 c #Conflicts: 1155000 | #Constraints: 31463
2281.32/2287.19 c #Conflicts: 1156000 | #Constraints: 32463
2281.32/2287.19 c #Conflicts: 1157000 | #Constraints: 33463
2281.32/2287.19 c #Conflicts: 1158000 | #Constraints: 34463
2281.32/2287.19 c #Conflicts: 1159000 | #Constraints: 35463
2281.32/2287.19 c #Conflicts: 1160000 | #Constraints: 36463
2281.32/2287.19 c #Conflicts: 1161000 | #Constraints: 37463
2281.32/2287.19 c #Conflicts: 1162000 | #Constraints: 38463
2281.32/2287.19 c #Conflicts: 1163000 | #Constraints: 39463
2281.32/2287.19 c #Conflicts: 1164000 | #Constraints: 40463
2281.32/2287.19 c #Conflicts: 1165000 | #Constraints: 41463
2281.32/2287.19 c #Conflicts: 1166000 | #Constraints: 42463
2281.32/2287.19 c #Conflicts: 1167000 | #Constraints: 43463
2281.32/2287.19 c #Conflicts: 1168000 | #Constraints: 44463
2281.32/2287.19 c INPROCESSING
2281.32/2287.19 c GARBAGE COLLECT
2281.32/2287.19 c #Conflicts: 1169000 | #Constraints: 24054
2281.32/2287.19 c #Conflicts: 1170000 | #Constraints: 25054
2281.32/2287.19 c #Conflicts: 1171000 | #Constraints: 26054
2281.32/2287.19 c #Conflicts: 1172000 | #Constraints: 27054
2281.32/2287.19 c #Conflicts: 1173000 | #Constraints: 28054
2281.32/2287.19 c #Conflicts: 1174000 | #Constraints: 29054
2281.32/2287.19 c #Conflicts: 1175000 | #Constraints: 30054
2281.32/2287.19 c #Conflicts: 1176000 | #Constraints: 31054
2281.32/2287.19 c #Conflicts: 1177000 | #Constraints: 32054
2281.32/2287.19 c #Conflicts: 1178000 | #Constraints: 33054
2281.32/2287.19 c #Conflicts: 1179000 | #Constraints: 34054
2281.32/2287.19 c #Conflicts: 1180000 | #Constraints: 35054
2281.32/2287.19 c #Conflicts: 1181000 | #Constraints: 36054
2281.32/2287.19 c #Conflicts: 1182000 | #Constraints: 37054
2281.32/2287.19 c #Conflicts: 1183000 | #Constraints: 38054
2281.32/2287.19 c #Conflicts: 1184000 | #Constraints: 39054
2281.32/2287.19 c #Conflicts: 1185000 | #Constraints: 40054
2281.32/2287.19 c #Conflicts: 1186000 | #Constraints: 41054
2529.94/2536.38 c #Conflicts: 1187000 | #Constraints: 42054
2529.94/2536.38 c #Conflicts: 1188000 | #Constraints: 43054
2529.94/2536.38 c #Conflicts: 1189000 | #Constraints: 44054
2529.94/2536.38 c #Conflicts: 1190000 | #Constraints: 45054
2529.94/2536.38 c INPROCESSING
2529.94/2536.38 c GARBAGE COLLECT
2529.94/2536.38 c #Conflicts: 1191000 | #Constraints: 24452
2529.94/2536.38 c #Conflicts: 1192000 | #Constraints: 25452
2529.94/2536.38 c #Conflicts: 1193000 | #Constraints: 26452
2529.94/2536.38 c #Conflicts: 1194000 | #Constraints: 27452
2529.94/2536.38 c #Conflicts: 1195000 | #Constraints: 28452
2529.94/2536.38 c #Conflicts: 1196000 | #Constraints: 29452
2529.94/2536.38 c #Conflicts: 1197000 | #Constraints: 30452
2529.94/2536.38 c #Conflicts: 1198000 | #Constraints: 31452
2529.94/2536.38 c #Conflicts: 1199000 | #Constraints: 32452
2529.94/2536.38 c #Conflicts: 1200000 | #Constraints: 33452
2529.94/2536.38 c #Conflicts: 1201000 | #Constraints: 34452
2529.94/2536.38 c #Conflicts: 1202000 | #Constraints: 35452
2529.94/2536.38 c #Conflicts: 1203000 | #Constraints: 36452
2529.94/2536.38 c #Conflicts: 1204000 | #Constraints: 37452
2529.94/2536.38 c #Conflicts: 1205000 | #Constraints: 38452
2529.94/2536.38 c #Conflicts: 1206000 | #Constraints: 39452
2529.94/2536.38 c #Conflicts: 1207000 | #Constraints: 40452
2529.94/2536.38 c #Conflicts: 1208000 | #Constraints: 41452
2529.94/2536.38 c #Conflicts: 1209000 | #Constraints: 42452
2529.94/2536.38 c #Conflicts: 1210000 | #Constraints: 43452
2529.94/2536.38 c #Conflicts: 1211000 | #Constraints: 44452
2529.94/2536.38 c #Conflicts: 1212000 | #Constraints: 45452
2529.94/2536.38 c INPROCESSING
2529.94/2536.38 c GARBAGE COLLECT
2529.94/2536.38 c #Conflicts: 1213000 | #Constraints: 24653
2529.94/2536.38 c #Conflicts: 1214000 | #Constraints: 25653
2529.94/2536.38 c #Conflicts: 1215000 | #Constraints: 26653
2529.94/2536.38 c #Conflicts: 1216000 | #Constraints: 27653
2529.94/2536.38 c #Conflicts: 1217000 | #Constraints: 28653
2529.94/2536.38 c #Conflicts: 1218000 | #Constraints: 29653
2529.94/2536.38 c #Conflicts: 1219000 | #Constraints: 30653
2529.94/2536.38 c #Conflicts: 1220000 | #Constraints: 31653
2529.94/2536.38 c #Conflicts: 1221000 | #Constraints: 32653
2529.94/2536.38 c #Conflicts: 1222000 | #Constraints: 33653
2529.94/2536.38 c #Conflicts: 1223000 | #Constraints: 34653
2529.94/2536.38 c #Conflicts: 1224000 | #Constraints: 35653
2529.94/2536.38 c #Conflicts: 1225000 | #Constraints: 36653
2529.94/2536.38 c #Conflicts: 1226000 | #Constraints: 37653
2529.94/2536.38 c #Conflicts: 1227000 | #Constraints: 38653
2529.94/2536.38 c #Conflicts: 1228000 | #Constraints: 39653
2529.94/2536.38 c #Conflicts: 1229000 | #Constraints: 40653
2529.94/2536.38 c #Conflicts: 1230000 | #Constraints: 41653
2529.94/2536.38 c #Conflicts: 1231000 | #Constraints: 42653
2529.94/2536.38 c #Conflicts: 1232000 | #Constraints: 43653
2529.94/2536.38 c #Conflicts: 1233000 | #Constraints: 44653
2529.94/2536.38 c #Conflicts: 1234000 | #Constraints: 45653
2529.94/2536.38 c INPROCESSING
2529.94/2536.38 c GARBAGE COLLECT
2529.94/2536.38 c #Conflicts: 1235000 | #Constraints: 24654
2529.94/2536.38 c #Conflicts: 1236000 | #Constraints: 25654
2529.94/2536.38 c #Conflicts: 1237000 | #Constraints: 26654
2529.94/2536.38 c #Conflicts: 1238000 | #Constraints: 27654
2529.94/2536.38 c #Conflicts: 1239000 | #Constraints: 28654
2529.94/2536.38 c #Conflicts: 1240000 | #Constraints: 29654
2529.94/2536.38 c #Conflicts: 1241000 | #Constraints: 30654
2529.94/2536.38 c #Conflicts: 1242000 | #Constraints: 31654
2529.94/2536.38 c #Conflicts: 1243000 | #Constraints: 32654
2529.94/2536.38 c #Conflicts: 1244000 | #Constraints: 33654
2529.94/2536.38 c #Conflicts: 1245000 | #Constraints: 34654
2529.94/2536.38 c #Conflicts: 1246000 | #Constraints: 35654
2529.94/2536.38 c #Conflicts: 1247000 | #Constraints: 36654
2529.94/2536.38 c #Conflicts: 1248000 | #Constraints: 37654
2529.94/2536.38 c #Conflicts: 1249000 | #Constraints: 38654
2529.94/2536.38 c #Conflicts: 1250000 | #Constraints: 39654
2529.94/2536.38 c #Conflicts: 1251000 | #Constraints: 40654
2529.94/2536.38 c #Conflicts: 1252000 | #Constraints: 41654
2529.94/2536.38 c #Conflicts: 1253000 | #Constraints: 42654
2529.94/2536.38 c #Conflicts: 1254000 | #Constraints: 43654
2529.94/2536.38 c #Conflicts: 1255000 | #Constraints: 44654
2529.94/2536.38 c #Conflicts: 1256000 | #Constraints: 45654
2529.94/2536.38 c INPROCESSING
2529.94/2536.38 c GARBAGE COLLECT
2529.94/2536.38 c #Conflicts: 1257000 | #Constraints: 24455
2529.94/2536.38 c #Conflicts: 1258000 | #Constraints: 25455
2529.94/2536.38 c #Conflicts: 1259000 | #Constraints: 26455
2529.94/2536.38 c #Conflicts: 1260000 | #Constraints: 27455
2529.94/2536.38 c #Conflicts: 1261000 | #Constraints: 28455
2529.94/2536.38 c #Conflicts: 1262000 | #Constraints: 29455
2529.94/2536.38 c #Conflicts: 1263000 | #Constraints: 30455
2789.14/2796.18 c #Conflicts: 1264000 | #Constraints: 31455
2789.14/2796.18 c #Conflicts: 1265000 | #Constraints: 32455
2789.14/2796.18 c #Conflicts: 1266000 | #Constraints: 33455
2789.14/2796.18 c #Conflicts: 1267000 | #Constraints: 34455
2789.14/2796.18 c #Conflicts: 1268000 | #Constraints: 35455
2789.14/2796.18 c #Conflicts: 1269000 | #Constraints: 36455
2789.14/2796.18 c #Conflicts: 1270000 | #Constraints: 37455
2789.14/2796.18 c #Conflicts: 1271000 | #Constraints: 38455
2789.14/2796.18 c #Conflicts: 1272000 | #Constraints: 39455
2789.14/2796.18 c #Conflicts: 1273000 | #Constraints: 40455
2789.14/2796.18 c #Conflicts: 1274000 | #Constraints: 41455
2789.14/2796.18 c #Conflicts: 1275000 | #Constraints: 42455
2789.14/2796.18 c #Conflicts: 1276000 | #Constraints: 43455
2789.14/2796.18 c #Conflicts: 1277000 | #Constraints: 44455
2789.14/2796.18 c #Conflicts: 1278000 | #Constraints: 45455
2789.14/2796.18 c #Conflicts: 1279000 | #Constraints: 46455
2789.14/2796.18 c INPROCESSING
2789.14/2796.18 c GARBAGE COLLECT
2789.14/2796.18 c #Conflicts: 1280000 | #Constraints: 25054
2789.14/2796.18 c #Conflicts: 1281000 | #Constraints: 26054
2789.14/2796.18 c #Conflicts: 1282000 | #Constraints: 27054
2789.14/2796.18 c #Conflicts: 1283000 | #Constraints: 28054
2789.14/2796.18 c #Conflicts: 1284000 | #Constraints: 29054
2789.14/2796.18 c #Conflicts: 1285000 | #Constraints: 30054
2789.14/2796.18 c #Conflicts: 1286000 | #Constraints: 31054
2789.14/2796.18 c #Conflicts: 1287000 | #Constraints: 32054
2789.14/2796.18 c #Conflicts: 1288000 | #Constraints: 33054
2789.14/2796.18 c #Conflicts: 1289000 | #Constraints: 34054
2789.14/2796.18 c #Conflicts: 1290000 | #Constraints: 35054
2789.14/2796.18 c #Conflicts: 1291000 | #Constraints: 36054
2789.14/2796.18 c #Conflicts: 1292000 | #Constraints: 37054
2789.14/2796.18 c #Conflicts: 1293000 | #Constraints: 38054
2789.14/2796.18 c #Conflicts: 1294000 | #Constraints: 39054
2789.14/2796.18 c #Conflicts: 1295000 | #Constraints: 40054
2789.14/2796.18 c #Conflicts: 1296000 | #Constraints: 41054
2789.14/2796.18 c #Conflicts: 1297000 | #Constraints: 42054
2789.14/2796.18 c #Conflicts: 1298000 | #Constraints: 43054
2789.14/2796.18 c #Conflicts: 1299000 | #Constraints: 44054
2789.14/2796.18 c #Conflicts: 1300000 | #Constraints: 45054
2789.14/2796.18 c #Conflicts: 1301000 | #Constraints: 46054
2789.14/2796.18 c #Conflicts: 1302000 | #Constraints: 47054
2789.14/2796.18 c INPROCESSING
2789.14/2796.18 c GARBAGE COLLECT
2789.14/2796.18 c #Conflicts: 1303000 | #Constraints: 25457
2789.14/2796.18 c #Conflicts: 1304000 | #Constraints: 26457
2789.14/2796.18 c #Conflicts: 1305000 | #Constraints: 27457
2789.14/2796.18 c #Conflicts: 1306000 | #Constraints: 28457
2789.14/2796.18 c #Conflicts: 1307000 | #Constraints: 29457
2789.14/2796.18 c #Conflicts: 1308000 | #Constraints: 30457
2789.14/2796.18 c #Conflicts: 1309000 | #Constraints: 31457
2789.14/2796.18 c #Conflicts: 1310000 | #Constraints: 32457
2789.14/2796.18 c #Conflicts: 1311000 | #Constraints: 33457
2789.14/2796.18 c #Conflicts: 1312000 | #Constraints: 34457
2789.14/2796.18 c #Conflicts: 1313000 | #Constraints: 35457
2789.14/2796.18 c #Conflicts: 1314000 | #Constraints: 36457
2789.14/2796.18 c #Conflicts: 1315000 | #Constraints: 37457
2789.14/2796.18 c #Conflicts: 1316000 | #Constraints: 38457
2789.14/2796.18 c #Conflicts: 1317000 | #Constraints: 39457
2789.14/2796.18 c #Conflicts: 1318000 | #Constraints: 40457
2789.14/2796.18 c #Conflicts: 1319000 | #Constraints: 41457
2789.14/2796.18 c #Conflicts: 1320000 | #Constraints: 42457
2789.14/2796.18 c #Conflicts: 1321000 | #Constraints: 43457
2789.14/2796.18 c #Conflicts: 1322000 | #Constraints: 44457
2789.14/2796.18 c #Conflicts: 1323000 | #Constraints: 45457
2789.14/2796.18 c #Conflicts: 1324000 | #Constraints: 46457
2789.14/2796.18 c #Conflicts: 1325000 | #Constraints: 47457
2789.14/2796.18 c INPROCESSING
2789.14/2796.18 c GARBAGE COLLECT
2789.14/2796.18 c #Conflicts: 1326000 | #Constraints: 25655
2789.14/2796.18 c #Conflicts: 1327000 | #Constraints: 26655
2789.14/2796.18 c #Conflicts: 1328000 | #Constraints: 27655
2789.14/2796.18 c #Conflicts: 1329000 | #Constraints: 28655
2789.14/2796.18 c #Conflicts: 1330000 | #Constraints: 29655
2789.14/2796.18 c #Conflicts: 1331000 | #Constraints: 30655
2789.14/2796.18 c #Conflicts: 1332000 | #Constraints: 31655
2789.14/2796.18 c #Conflicts: 1333000 | #Constraints: 32655
2789.14/2796.18 c #Conflicts: 1334000 | #Constraints: 33655
2789.14/2796.18 c #Conflicts: 1335000 | #Constraints: 34655
2789.14/2796.18 c #Conflicts: 1336000 | #Constraints: 35655
2789.14/2796.18 c #Conflicts: 1337000 | #Constraints: 36655
2789.14/2796.18 c #Conflicts: 1338000 | #Constraints: 37655
2789.14/2796.18 c #Conflicts: 1339000 | #Constraints: 38655
2789.14/2796.18 c #Conflicts: 1340000 | #Constraints: 39655
3051.67/3059.37 c #Conflicts: 1341000 | #Constraints: 40655
3051.67/3059.37 c #Conflicts: 1342000 | #Constraints: 41655
3051.67/3059.37 c #Conflicts: 1343000 | #Constraints: 42655
3051.67/3059.37 c #Conflicts: 1344000 | #Constraints: 43655
3051.67/3059.37 c #Conflicts: 1345000 | #Constraints: 44655
3051.67/3059.37 c #Conflicts: 1346000 | #Constraints: 45655
3051.67/3059.37 c #Conflicts: 1347000 | #Constraints: 46655
3051.67/3059.37 c #Conflicts: 1348000 | #Constraints: 47655
3051.67/3059.37 c INPROCESSING
3051.67/3059.37 c GARBAGE COLLECT
3051.67/3059.37 c #Conflicts: 1349000 | #Constraints: 25654
3051.67/3059.37 c #Conflicts: 1350000 | #Constraints: 26654
3051.67/3059.37 c #Conflicts: 1351000 | #Constraints: 27654
3051.67/3059.37 c #Conflicts: 1352000 | #Constraints: 28654
3051.67/3059.37 c #Conflicts: 1353000 | #Constraints: 29654
3051.67/3059.37 c #Conflicts: 1354000 | #Constraints: 30654
3051.67/3059.37 c #Conflicts: 1355000 | #Constraints: 31654
3051.67/3059.37 c #Conflicts: 1356000 | #Constraints: 32654
3051.67/3059.37 c #Conflicts: 1357000 | #Constraints: 33654
3051.67/3059.37 c #Conflicts: 1358000 | #Constraints: 34654
3051.67/3059.37 c #Conflicts: 1359000 | #Constraints: 35654
3051.67/3059.37 c #Conflicts: 1360000 | #Constraints: 36654
3051.67/3059.37 c #Conflicts: 1361000 | #Constraints: 37654
3051.67/3059.37 c #Conflicts: 1362000 | #Constraints: 38654
3051.67/3059.37 c #Conflicts: 1363000 | #Constraints: 39654
3051.67/3059.37 c #Conflicts: 1364000 | #Constraints: 40654
3051.67/3059.37 c #Conflicts: 1365000 | #Constraints: 41654
3051.67/3059.37 c #Conflicts: 1366000 | #Constraints: 42654
3051.67/3059.37 c #Conflicts: 1367000 | #Constraints: 43654
3051.67/3059.37 c #Conflicts: 1368000 | #Constraints: 44654
3051.67/3059.37 c #Conflicts: 1369000 | #Constraints: 45654
3051.67/3059.37 c #Conflicts: 1370000 | #Constraints: 46654
3051.67/3059.37 c #Conflicts: 1371000 | #Constraints: 47654
3051.67/3059.37 c INPROCESSING
3051.67/3059.37 c GARBAGE COLLECT
3051.67/3059.37 c #Conflicts: 1372000 | #Constraints: 25459
3051.67/3059.37 c #Conflicts: 1373000 | #Constraints: 26459
3051.67/3059.37 c #Conflicts: 1374000 | #Constraints: 27459
3051.67/3059.37 c #Conflicts: 1375000 | #Constraints: 28459
3051.67/3059.37 c #Conflicts: 1376000 | #Constraints: 29459
3051.67/3059.37 c #Conflicts: 1377000 | #Constraints: 30459
3051.67/3059.37 c #Conflicts: 1378000 | #Constraints: 31459
3051.67/3059.37 c #Conflicts: 1379000 | #Constraints: 32459
3051.67/3059.37 c #Conflicts: 1380000 | #Constraints: 33459
3051.67/3059.37 c #Conflicts: 1381000 | #Constraints: 34459
3051.67/3059.37 c #Conflicts: 1382000 | #Constraints: 35459
3051.67/3059.37 c #Conflicts: 1383000 | #Constraints: 36459
3051.67/3059.37 c #Conflicts: 1384000 | #Constraints: 37459
3051.67/3059.37 c #Conflicts: 1385000 | #Constraints: 38459
3051.67/3059.37 c #Conflicts: 1386000 | #Constraints: 39459
3051.67/3059.37 c #Conflicts: 1387000 | #Constraints: 40459
3051.67/3059.37 c #Conflicts: 1388000 | #Constraints: 41459
3051.67/3059.37 c #Conflicts: 1389000 | #Constraints: 42459
3051.67/3059.37 c #Conflicts: 1390000 | #Constraints: 43459
3051.67/3059.37 c #Conflicts: 1391000 | #Constraints: 44459
3051.67/3059.37 c #Conflicts: 1392000 | #Constraints: 45459
3051.67/3059.37 c #Conflicts: 1393000 | #Constraints: 46459
3051.67/3059.37 c #Conflicts: 1394000 | #Constraints: 47459
3051.67/3059.37 c #Conflicts: 1395000 | #Constraints: 48459
3051.67/3059.37 c INPROCESSING
3051.67/3059.37 c GARBAGE COLLECT
3051.67/3059.37 c #Conflicts: 1396000 | #Constraints: 26061
3051.67/3059.37 c #Conflicts: 1397000 | #Constraints: 27061
3051.67/3059.37 c #Conflicts: 1398000 | #Constraints: 28061
3051.67/3059.37 c #Conflicts: 1399000 | #Constraints: 29061
3051.67/3059.37 c #Conflicts: 1400000 | #Constraints: 30061
3051.67/3059.37 c #Conflicts: 1401000 | #Constraints: 31061
3051.67/3059.37 c #Conflicts: 1402000 | #Constraints: 32061
3051.67/3059.37 c #Conflicts: 1403000 | #Constraints: 33061
3051.67/3059.37 c #Conflicts: 1404000 | #Constraints: 34061
3051.67/3059.37 c #Conflicts: 1405000 | #Constraints: 35061
3051.67/3059.37 c #Conflicts: 1406000 | #Constraints: 36061
3051.67/3059.37 c #Conflicts: 1407000 | #Constraints: 37061
3051.67/3059.37 c #Conflicts: 1408000 | #Constraints: 38061
3051.67/3059.37 c #Conflicts: 1409000 | #Constraints: 39061
3051.67/3059.37 c #Conflicts: 1410000 | #Constraints: 40061
3051.67/3059.37 c #Conflicts: 1411000 | #Constraints: 41061
3051.67/3059.37 c #Conflicts: 1412000 | #Constraints: 42061
3051.67/3059.37 c #Conflicts: 1413000 | #Constraints: 43061
3051.67/3059.37 c #Conflicts: 1414000 | #Constraints: 44061
3051.67/3059.37 c #Conflicts: 1415000 | #Constraints: 45061
3051.67/3059.37 c #Conflicts: 1416000 | #Constraints: 46061
3323.59/3331.96 c #Conflicts: 1417000 | #Constraints: 47061
3323.59/3331.96 c #Conflicts: 1418000 | #Constraints: 48061
3323.59/3331.96 c #Conflicts: 1419000 | #Constraints: 49061
3323.59/3331.96 c INPROCESSING
3323.59/3331.96 c GARBAGE COLLECT
3323.59/3331.96 c #Conflicts: 1420000 | #Constraints: 26458
3323.59/3331.96 c #Conflicts: 1421000 | #Constraints: 27458
3323.59/3331.96 c #Conflicts: 1422000 | #Constraints: 28458
3323.59/3331.96 c #Conflicts: 1423000 | #Constraints: 29458
3323.59/3331.96 c #Conflicts: 1424000 | #Constraints: 30458
3323.59/3331.96 c #Conflicts: 1425000 | #Constraints: 31458
3323.59/3331.96 c #Conflicts: 1426000 | #Constraints: 32458
3323.59/3331.96 c #Conflicts: 1427000 | #Constraints: 33458
3323.59/3331.96 c #Conflicts: 1428000 | #Constraints: 34458
3323.59/3331.96 c #Conflicts: 1429000 | #Constraints: 35458
3323.59/3331.96 c #Conflicts: 1430000 | #Constraints: 36458
3323.59/3331.96 c #Conflicts: 1431000 | #Constraints: 37458
3323.59/3331.96 c #Conflicts: 1432000 | #Constraints: 38458
3323.59/3331.96 c #Conflicts: 1433000 | #Constraints: 39458
3323.59/3331.96 c #Conflicts: 1434000 | #Constraints: 40458
3323.59/3331.96 c #Conflicts: 1435000 | #Constraints: 41458
3323.59/3331.96 c #Conflicts: 1436000 | #Constraints: 42458
3323.59/3331.96 c #Conflicts: 1437000 | #Constraints: 43458
3323.59/3331.96 c #Conflicts: 1438000 | #Constraints: 44458
3323.59/3331.96 c #Conflicts: 1439000 | #Constraints: 45458
3323.59/3331.96 c #Conflicts: 1440000 | #Constraints: 46458
3323.59/3331.96 c #Conflicts: 1441000 | #Constraints: 47458
3323.59/3331.96 c #Conflicts: 1442000 | #Constraints: 48458
3323.59/3331.96 c #Conflicts: 1443000 | #Constraints: 49458
3323.59/3331.96 c INPROCESSING
3323.59/3331.96 c GARBAGE COLLECT
3323.59/3331.96 c #Conflicts: 1444000 | #Constraints: 26660
3323.59/3331.96 c #Conflicts: 1445000 | #Constraints: 27660
3323.59/3331.96 c #Conflicts: 1446000 | #Constraints: 28660
3323.59/3331.96 c #Conflicts: 1447000 | #Constraints: 29660
3323.59/3331.96 c #Conflicts: 1448000 | #Constraints: 30660
3323.59/3331.96 c #Conflicts: 1449000 | #Constraints: 31660
3323.59/3331.96 c #Conflicts: 1450000 | #Constraints: 32660
3323.59/3331.96 c #Conflicts: 1451000 | #Constraints: 33660
3323.59/3331.96 c #Conflicts: 1452000 | #Constraints: 34660
3323.59/3331.96 c #Conflicts: 1453000 | #Constraints: 35660
3323.59/3331.96 c #Conflicts: 1454000 | #Constraints: 36660
3323.59/3331.96 c #Conflicts: 1455000 | #Constraints: 37660
3323.59/3331.96 c #Conflicts: 1456000 | #Constraints: 38660
3323.59/3331.96 c #Conflicts: 1457000 | #Constraints: 39660
3323.59/3331.96 c #Conflicts: 1458000 | #Constraints: 40660
3323.59/3331.96 c #Conflicts: 1459000 | #Constraints: 41660
3323.59/3331.96 c #Conflicts: 1460000 | #Constraints: 42660
3323.59/3331.96 c #Conflicts: 1461000 | #Constraints: 43660
3323.59/3331.96 c #Conflicts: 1462000 | #Constraints: 44660
3323.59/3331.96 c #Conflicts: 1463000 | #Constraints: 45660
3323.59/3331.96 c #Conflicts: 1464000 | #Constraints: 46660
3323.59/3331.96 c #Conflicts: 1465000 | #Constraints: 47660
3323.59/3331.96 c #Conflicts: 1466000 | #Constraints: 48660
3323.59/3331.96 c #Conflicts: 1467000 | #Constraints: 49660
3323.59/3331.96 c INPROCESSING
3323.59/3331.96 c GARBAGE COLLECT
3323.59/3331.96 c #Conflicts: 1468000 | #Constraints: 26661
3323.59/3331.96 c #Conflicts: 1469000 | #Constraints: 27661
3323.59/3331.96 c #Conflicts: 1470000 | #Constraints: 28661
3323.59/3331.96 c #Conflicts: 1471000 | #Constraints: 29661
3323.59/3331.96 c #Conflicts: 1472000 | #Constraints: 30661
3323.59/3331.96 c #Conflicts: 1473000 | #Constraints: 31661
3323.59/3331.96 c #Conflicts: 1474000 | #Constraints: 32661
3323.59/3331.96 c #Conflicts: 1475000 | #Constraints: 33661
3323.59/3331.96 c #Conflicts: 1476000 | #Constraints: 34661
3323.59/3331.96 c #Conflicts: 1477000 | #Constraints: 35661
3323.59/3331.96 c #Conflicts: 1478000 | #Constraints: 36661
3323.59/3331.96 c #Conflicts: 1479000 | #Constraints: 37661
3323.59/3331.96 c #Conflicts: 1480000 | #Constraints: 38661
3323.59/3331.96 c #Conflicts: 1481000 | #Constraints: 39661
3323.59/3331.96 c #Conflicts: 1482000 | #Constraints: 40661
3323.59/3331.96 c #Conflicts: 1483000 | #Constraints: 41661
3323.59/3331.96 c #Conflicts: 1484000 | #Constraints: 42661
3323.59/3331.96 c #Conflicts: 1485000 | #Constraints: 43661
3323.59/3331.96 c #Conflicts: 1486000 | #Constraints: 44661
3323.59/3331.96 c #Conflicts: 1487000 | #Constraints: 45661
3323.59/3331.96 c #Conflicts: 1488000 | #Constraints: 46661
3323.59/3331.96 c #Conflicts: 1489000 | #Constraints: 47661
3323.59/3331.96 c #Conflicts: 1490000 | #Constraints: 48661
3323.59/3331.96 c #Conflicts: 1491000 | #Constraints: 49661
3323.59/3331.96 c INPROCESSING
3323.59/3331.96 c GARBAGE COLLECT
3323.59/3331.96 c #Conflicts: 1492000 | #Constraints: 26464
3323.59/3331.96 c #Conflicts: 1493000 | #Constraints: 27464
3600.00/3609.01 c #Conflicts: 1494000 | #Constraints: 28464
3600.00/3609.01 c #Conflicts: 1495000 | #Constraints: 29464
3600.00/3609.01 c #Conflicts: 1496000 | #Constraints: 30464
3600.00/3609.01 c #Conflicts: 1497000 | #Constraints: 31464
3600.00/3609.01 c #Conflicts: 1498000 | #Constraints: 32464
3600.00/3609.01 c #Conflicts: 1499000 | #Constraints: 33464
3600.00/3609.01 c #Conflicts: 1500000 | #Constraints: 34464
3600.00/3609.01 c #Conflicts: 1501000 | #Constraints: 35464
3600.00/3609.01 c #Conflicts: 1502000 | #Constraints: 36464
3600.00/3609.01 c #Conflicts: 1503000 | #Constraints: 37464
3600.00/3609.01 c #Conflicts: 1504000 | #Constraints: 38464
3600.00/3609.01 c #Conflicts: 1505000 | #Constraints: 39464
3600.00/3609.01 c #Conflicts: 1506000 | #Constraints: 40464
3600.00/3609.01 c #Conflicts: 1507000 | #Constraints: 41464
3600.00/3609.01 c #Conflicts: 1508000 | #Constraints: 42464
3600.00/3609.01 c #Conflicts: 1509000 | #Constraints: 43464
3600.00/3609.01 c #Conflicts: 1510000 | #Constraints: 44464
3600.00/3609.01 c #Conflicts: 1511000 | #Constraints: 45464
3600.00/3609.01 c #Conflicts: 1512000 | #Constraints: 46464
3600.00/3609.01 c #Conflicts: 1513000 | #Constraints: 47464
3600.00/3609.01 c #Conflicts: 1514000 | #Constraints: 48464
3600.00/3609.01 c #Conflicts: 1515000 | #Constraints: 49464
3600.00/3609.01 c #Conflicts: 1516000 | #Constraints: 50464
3600.00/3609.01 c INPROCESSING
3600.00/3609.01 c GARBAGE COLLECT
3600.00/3609.01 c #Conflicts: 1517000 | #Constraints: 27057
3600.00/3609.01 c #Conflicts: 1518000 | #Constraints: 28057
3600.00/3609.01 c #Conflicts: 1519000 | #Constraints: 29057
3600.00/3609.01 c #Conflicts: 1520000 | #Constraints: 30057
3600.00/3609.01 c #Conflicts: 1521000 | #Constraints: 31057
3600.00/3609.01 c #Conflicts: 1522000 | #Constraints: 32057
3600.00/3609.01 c #Conflicts: 1523000 | #Constraints: 33057
3600.00/3609.01 c #Conflicts: 1524000 | #Constraints: 34057
3600.00/3609.01 c #Conflicts: 1525000 | #Constraints: 35057
3600.00/3609.01 c #Conflicts: 1526000 | #Constraints: 36057
3600.00/3609.01 c #Conflicts: 1527000 | #Constraints: 37057
3600.00/3609.01 c #Conflicts: 1528000 | #Constraints: 38057
3600.00/3609.01 c #Conflicts: 1529000 | #Constraints: 39057
3600.00/3609.01 c #Conflicts: 1530000 | #Constraints: 40057
3600.00/3609.01 c #Conflicts: 1531000 | #Constraints: 41057
3600.00/3609.01 c #Conflicts: 1532000 | #Constraints: 42057
3600.00/3609.01 c #Conflicts: 1533000 | #Constraints: 43057
3600.00/3609.01 c #Conflicts: 1534000 | #Constraints: 44057
3600.00/3609.01 c #Conflicts: 1535000 | #Constraints: 45057
3600.00/3609.01 c #Conflicts: 1536000 | #Constraints: 46057
3600.00/3609.01 c #Conflicts: 1537000 | #Constraints: 47057
3600.00/3609.01 c #Conflicts: 1538000 | #Constraints: 48057
3600.00/3609.01 c #Conflicts: 1539000 | #Constraints: 49057
3600.00/3609.01 c #Conflicts: 1540000 | #Constraints: 50057
3600.00/3609.01 c #Conflicts: 1541000 | #Constraints: 51057
3600.00/3609.01 c INPROCESSING
3600.00/3609.01 c GARBAGE COLLECT
3600.00/3609.01 c #Conflicts: 1542000 | #Constraints: 27455
3600.00/3609.01 c #Conflicts: 1543000 | #Constraints: 28455
3600.00/3609.01 c #Conflicts: 1544000 | #Constraints: 29455
3600.00/3609.01 c #Conflicts: 1545000 | #Constraints: 30455
3600.00/3609.01 c #Conflicts: 1546000 | #Constraints: 31455
3600.00/3609.01 c #Conflicts: 1547000 | #Constraints: 32455
3600.00/3609.01 c #Conflicts: 1548000 | #Constraints: 33455
3600.00/3609.01 c #Conflicts: 1549000 | #Constraints: 34455
3600.00/3609.01 c #Conflicts: 1550000 | #Constraints: 35455
3600.00/3609.01 c #Conflicts: 1551000 | #Constraints: 36455
3600.00/3609.01 c #Conflicts: 1552000 | #Constraints: 37455
3600.00/3609.01 c #Conflicts: 1553000 | #Constraints: 38455
3600.00/3609.01 c #Conflicts: 1554000 | #Constraints: 39455
3600.00/3609.01 c #Conflicts: 1555000 | #Constraints: 40455
3600.00/3609.01 c #Conflicts: 1556000 | #Constraints: 41455
3600.00/3609.01 c #Conflicts: 1557000 | #Constraints: 42455
3600.00/3609.01 c #Conflicts: 1558000 | #Constraints: 43455
3600.00/3609.01 c #Conflicts: 1559000 | #Constraints: 44455
3600.00/3609.01 c #Conflicts: 1560000 | #Constraints: 45455
3600.00/3609.01 c #Conflicts: 1561000 | #Constraints: 46455
3600.00/3609.01 c #Conflicts: 1562000 | #Constraints: 47455
3600.00/3609.01 c #Conflicts: 1563000 | #Constraints: 48455
3600.00/3609.01 c #Conflicts: 1564000 | #Constraints: 49455
3600.00/3609.01 c #Conflicts: 1565000 | #Constraints: 50455
3600.00/3609.01 c Program interrupted by user.
3600.00/3609.01 c cpu time 3592.95 s
3600.00/3609.01 c deterministic time 786752583250 7.87e+11
3600.00/3609.01 c optimization time 94.0854 s
3600.00/3609.01 c total solve time 3199.56 s
3600.00/3609.01 c core-guided solve time 3199.56 s
3600.00/3609.01 c propagation time 3012.79 s
3600.00/3609.01 c conflict analysis time 248.606 s
3600.00/3609.01 c propagations 48244591
3600.00/3609.01 c resolve steps 16560567
3600.00/3609.01 c decisions 1750484
3600.00/3609.01 c conflicts 1565384
3600.00/3609.01 c restarts 3068
3600.00/3609.01 c inprocessing phases 115
3600.00/3609.01 c input clauses 832
3600.00/3609.01 c input cardinalities 0
3600.00/3609.01 c input general constraints 853
3600.00/3609.01 c input average constraint length 14.88
3600.00/3609.01 c input average constraint degree 9.99
3600.00/3609.01 c learned clauses 1402553
3600.00/3609.01 c learned cardinalities 95
3600.00/3609.01 c learned general constraints 162736
3600.00/3609.01 c learned average constraint length 460.73
3600.00/3609.01 c learned average constraint degree 344.64
3600.00/3609.01 c watched constraints 162757
3600.00/3609.01 c counting constraints 832
3600.00/3609.01 c gcd simplifications 757417
3600.00/3609.01 c detected cardinalities 5
3600.00/3609.01 c weakened non-implied lits 505134262
3600.00/3609.01 c weakened non-implying lits 982786
3600.00/3609.01 c original variables 882
3600.00/3609.01 c clausal propagations 13319716
3600.00/3609.01 c cardinality propagations 0
3600.00/3609.01 c watched propagations 13073618
3600.00/3609.01 c counting propagations 20233122
3600.00/3609.01 c watch lookups 8535637730
3600.00/3609.01 c watch backjump lookups 567927649
3600.00/3609.01 c watch checks 748744384915
3600.00/3609.01 c propagation checks 26100679143
3600.00/3609.01 c constraint additions 2702399111
3600.00/3609.01 c trail pops 51559626
3600.00/3609.01 c formula constraints 1664
3600.00/3609.01 c learned constraints 1565384
3600.00/3609.01 c bound constraints 21
3600.00/3609.01 c core-guided constraints 0
3600.00/3609.01 c encountered formula constraints 13557644
3600.00/3609.01 c encountered learned constraints 4559018
3600.00/3609.01 c encountered bound constraints 9289
3600.00/3609.01 c encountered core-guided constraints 0
3600.00/3609.01 c LP total time 0 s
3600.00/3609.01 c LP solve time 0 s
3600.00/3609.01 c LP constraints added 0
3600.00/3609.01 c LP constraints removed 0
3600.00/3609.01 c LP pivots internal 0
3600.00/3609.01 c LP pivots root 0
3600.00/3609.01 c LP calls 0
3600.00/3609.01 c LP optimalities 0
3600.00/3609.01 c LP no pivot count 0
3600.00/3609.01 c LP infeasibilities 0
3600.00/3609.01 c LP valid Farkas constraints 0
3600.00/3609.01 c LP learned Farkas constraints 0
3600.00/3609.01 c LP basis resets 0
3600.00/3609.01 c LP cycling count 0
3600.00/3609.01 c LP singular count 0
3600.00/3609.01 c LP no primal count 0
3600.00/3609.01 c LP no farkas count 0
3600.00/3609.01 c LP other issue count 0
3600.00/3609.01 c LP Gomory cuts 0
3600.00/3609.01 c LP learned cuts 0
3600.00/3609.01 c LP deleted cuts 0
3600.00/3609.01 c LP encountered Gomory constraints 0
3600.00/3609.01 c LP encountered Farkas constraints 0
3600.00/3609.01 c LP encountered learned Farkas constraints 0
3600.00/3609.01 c CG auxiliary variables introduced 0
3600.00/3609.01 c CG solutions found 0
3600.00/3609.01 c CG cores constructed 20
3600.00/3609.01 c CG core cardinality constraints returned 0
3600.00/3609.01 c CG unit cores 0
3600.00/3609.01 c CG single cores 20
3600.00/3609.01 c CG blocks removed during cardinality reduction 0
3600.00/3609.01 c CG first core best 0
3600.00/3609.01 c CG decision core best 0
3600.00/3609.01 c CG core reduction tie 0
3600.00/3609.01 c CG core degree average 1.00
3600.00/3609.01 c CG core slack average 2.00
3600.00/3609.01 c CG exhausted 0
3600.00/3609.01 c CG exhaust time 0 s
3600.00/3609.01 c CG trimmed 0
3600.00/3609.01 c CG trim time 0.000151 s
3600.00/3609.01 c CG minimized 0
3600.00/3609.01 c CG minimize time 0 s
3600.00/3609.01 c CG am1 prop time 0.000148 s
3600.00/3609.01 c CG # am1s reformulated 0
3600.00/3609.01 c CG lower bound derived from am1s 0
3600.00/3609.01 c CG # clausal cores 20
3600.00/3609.01 c CG # cardinality cores 0
3600.00/3609.01 c CG # pb cores 0
3600.00/3609.01 c CG # pb reforms 0
3600.00/3609.01 c CG # cores discarded because of pb reform 0
3600.00/3609.01 d LOWERBOUND -5930
3600.00/3609.01 d NCORES 20
3600.00/3609.01 d NPBCORES 0
3600.00/3609.01 d NPBREFORM 0
3600.00/3609.01 d NTRIMMED 0
3600.00/3609.01 d NEXHAUSTED 0
3600.00/3609.01 d NAM1S 0
3600.00/3609.01 d AM1LB 0
3600.00/3609.01 c [Papilo Statistics]
3600.00/3609.01 c prepro time 0.00352189s
3600.00/3609.01 c # tsx applied 0
3600.00/3609.01 c # tsx conflicts 0
3600.00/3609.01 c # bound changes 0
3600.00/3609.01 c # side changes 0
3600.00/3609.01 c # coef changes 0
3600.00/3609.01 c # rounds 1
3600.00/3609.01 c # deted vars 0
3600.00/3609.01 c # deted constrs 0
3600.00/3609.01 c # consecutive rounds of only bound changes 0
3600.00/3609.01 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: 64059 MiB (62673 MiB free)
memory of node 1: 64510 MiB (60587 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435745-1721162763/watcher-4435745-1721162763 -o /tmp/evaluation-result-4435745-1721162763/solver-4435745-1721162763 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721154660-858766 --watchdog 3760 mixed-bag HOME/instance-4435745-1721162763.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=863691, runsolver pid=863688
[startup+0.100096 s]*
/proc/loadavg: 4.28 4.25 4.22 5/241 863692
/proc/meminfo: memFree=126204196/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=96960 memory=29740 CPUtime=0.1 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 4438 0 0 0 10 0 0 0 20 0 1 0 168432771 99287040 7435 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 24240 7435 3794 3002 0 7991 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 96960 KiB
Current children cumulated memory: 29740 KiB
[startup+0.213002 s]*
/proc/loadavg: 4.28 4.25 4.22 5/241 863692
/proc/meminfo: memFree=126192632/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=117476 memory=47604 CPUtime=0.21 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 8833 0 0 0 20 1 0 0 20 0 1 0 168432771 120295424 11901 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 29369 11901 4000 3002 0 13120 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 117476 KiB
Current children cumulated memory: 47604 KiB
[startup+0.31295 s]*
/proc/loadavg: 4.28 4.25 4.22 5/241 863692
/proc/meminfo: memFree=126184392/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=121064 memory=49780 CPUtime=0.31 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 9771 0 0 0 30 1 0 0 20 0 1 0 168432771 123969536 12445 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 30266 12445 4000 3002 0 14017 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 121064 KiB
Current children cumulated memory: 49780 KiB
[startup+0.700322 s]
/proc/loadavg: 4.28 4.25 4.22 5/241 863692
/proc/meminfo: memFree=126183588/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=122116 memory=51880 CPUtime=0.68 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 10350 0 0 0 67 1 0 0 20 0 1 0 168432771 125046784 12970 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 30529 12970 4000 3002 0 14280 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 122116 KiB
Current children cumulated memory: 51880 KiB
[startup+1.50034 s]
/proc/loadavg: 4.28 4.25 4.22 5/241 863692
/proc/meminfo: memFree=126177540/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=140228 memory=67192 CPUtime=1.48 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 14163 0 0 0 146 2 0 0 20 0 1 0 168432771 143593472 16798 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 35057 16798 4000 3002 0 18808 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 140228 KiB
Current children cumulated memory: 67192 KiB
[startup+3.11268 s]
/proc/loadavg: 4.28 4.25 4.22 5/241 863692
/proc/meminfo: memFree=126161608/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=148452 memory=72868 CPUtime=3.09 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 15640 0 0 0 307 2 0 0 20 0 1 0 168432771 152014848 18217 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 37113 18217 4000 3002 0 20864 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 148452 KiB
Current children cumulated memory: 72868 KiB
[startup+6.30031 s]
/proc/loadavg: 4.26 4.24 4.21 5/241 863692
/proc/meminfo: memFree=126159476/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=148452 memory=72868 CPUtime=6.27 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 15688 0 0 0 625 2 0 0 20 0 1 0 168432771 152014848 18217 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 37113 18217 4000 3002 0 20864 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 148452 KiB
Current children cumulated memory: 72868 KiB
[startup+12.7003 s]
/proc/loadavg: 4.24 4.24 4.21 5/241 863694
/proc/meminfo: memFree=126158632/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=149528 memory=74432 CPUtime=12.65 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 16106 0 0 0 1263 2 0 0 20 0 1 0 168432771 153116672 18608 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 37382 18608 4000 3002 0 21133 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 149528 KiB
Current children cumulated memory: 74432 KiB
[startup+25.5004 s]
/proc/loadavg: 4.41 4.28 4.23 5/241 863695
/proc/meminfo: memFree=126126764/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=196400 memory=108496 CPUtime=25.41 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 26037 0 0 0 2537 4 0 0 20 0 1 0 168432771 201113600 27124 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 49100 27124 4011 3002 0 32851 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 196400 KiB
Current children cumulated memory: 108496 KiB
[startup+51.113 s]
/proc/loadavg: 4.74 4.37 4.26 5/241 863700
/proc/meminfo: memFree=126087064/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=248768 memory=144452 CPUtime=50.95 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 35080 0 0 0 5089 6 0 0 20 0 1 0 168432771 254738432 36113 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 62192 36113 4011 3002 0 45943 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 248768 KiB
Current children cumulated memory: 144452 KiB
[startup+102.3 s]
/proc/loadavg: 4.66 4.42 4.28 5/241 863708
/proc/meminfo: memFree=125991924/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=361812 memory=235976 CPUtime=102 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 58860 0 0 0 10188 12 0 0 20 0 1 0 168432771 370495488 58994 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 90453 58994 4011 3002 0 74204 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 361812 KiB
Current children cumulated memory: 235976 KiB
[startup+162.3 s]
/proc/loadavg: 4.33 4.37 4.27 5/241 863718
/proc/meminfo: memFree=125865816/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=508020 memory=357448 CPUtime=161.84 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 90079 0 0 0 16165 19 0 0 20 0 1 0 168432771 520212480 89362 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 127005 89362 4143 3002 0 110756 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 508020 KiB
Current children cumulated memory: 357448 KiB
[startup+222.3 s]
/proc/loadavg: 4.23 4.33 4.26 5/241 863729
/proc/meminfo: memFree=125596740/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=570416 memory=406552 CPUtime=221.67 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 112795 0 0 0 22143 24 0 0 20 0 1 0 168432771 584105984 101638 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 142604 101638 4143 3002 0 126355 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 570416 KiB
Current children cumulated memory: 406552 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.28 4.25 5/243 863743
/proc/meminfo: memFree=125479988/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=616388 memory=451376 CPUtime=281.52 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 124308 0 0 0 28126 26 0 0 20 0 1 0 168432771 631181312 112844 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 154097 112844 4143 3002 0 137848 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 616388 KiB
Current children cumulated memory: 451376 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.26 4.25 5/243 863753
/proc/meminfo: memFree=125672780/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=398824 memory=246120 CPUtime=341.38 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 131210 0 0 0 34079 59 0 0 20 0 1 0 168432771 408395776 61530 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 99706 61530 4286 3002 0 83457 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 398824 KiB
Current children cumulated memory: 246120 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.23 4.23 5/243 863764
/proc/meminfo: memFree=125663188/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=417792 memory=256476 CPUtime=401.22 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 131773 0 0 0 40033 89 0 0 20 0 1 0 168432771 427819008 64119 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 104448 64119 4286 3002 0 88199 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 417792 KiB
Current children cumulated memory: 256476 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.20 4.22 5/243 863774
/proc/meminfo: memFree=125632728/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=417792 memory=262620 CPUtime=461.07 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 131777 0 0 0 45993 114 0 0 20 0 1 0 168432771 427819008 65655 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 104448 65655 4286 3002 0 88199 0
################
# More data... #
################
Current children cumulated memory: 410900 KiB
[startup+2862.3 s]
/proc/loadavg: 2.34 3.40 3.87 3/230 865485
/proc/meminfo: memFree=128340312/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=498700 memory=412948 CPUtime=2855.18 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 135612 0 0 0 284910 608 0 0 20 0 1 0 168432771 510668800 103237 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 124675 103237 4286 3002 0 108426 0
Current children cumulated CPU time: 2855.18 s
Current children cumulated vsize: 498700 KiB
Current children cumulated memory: 412948 KiB
[startup+2922.3 s]
/proc/loadavg: 2.20 3.16 3.75 3/230 865497
/proc/meminfo: memFree=128339896/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=498700 memory=412948 CPUtime=2915.03 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 135705 0 0 0 290887 616 0 0 20 0 1 0 168432771 510668800 103237 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 124675 103237 4286 3002 0 108426 0
Current children cumulated CPU time: 2915.03 s
Current children cumulated vsize: 498700 KiB
Current children cumulated memory: 412948 KiB
[startup+2982.3 s]
/proc/loadavg: 2.14 2.96 3.64 3/227 865508
/proc/meminfo: memFree=128339328/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=498700 memory=412948 CPUtime=2974.87 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 135797 0 0 0 296863 624 0 0 20 0 1 0 168432771 510668800 103237 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 124675 103237 4286 3002 0 108426 0
Current children cumulated CPU time: 2974.87 s
Current children cumulated vsize: 498700 KiB
Current children cumulated memory: 412948 KiB
[startup+3042.3 s]
/proc/loadavg: 2.10 2.80 3.54 3/227 865518
/proc/meminfo: memFree=128197228/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=498700 memory=412948 CPUtime=3034.72 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 135882 0 0 0 302839 633 0 0 20 0 1 0 168432771 510668800 103237 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 124675 103237 4286 3002 0 108426 0
Current children cumulated CPU time: 3034.72 s
Current children cumulated vsize: 498700 KiB
Current children cumulated memory: 412948 KiB
[startup+3102.3 s]
/proc/loadavg: 2.15 2.68 3.46 3/227 865528
/proc/meminfo: memFree=128194940/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=498700 memory=414996 CPUtime=3094.57 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 135981 0 0 0 308817 640 0 0 20 0 1 0 168432771 510668800 103749 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 124675 103749 4286 3002 0 108426 0
Current children cumulated CPU time: 3094.57 s
Current children cumulated vsize: 498700 KiB
Current children cumulated memory: 414996 KiB
[startup+3162.3 s]
/proc/loadavg: 2.10 2.57 3.37 3/227 865538
/proc/meminfo: memFree=128194492/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=498700 memory=414996 CPUtime=3154.42 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 136075 0 0 0 314795 647 0 0 20 0 1 0 168432771 510668800 103749 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 124675 103749 4286 3002 0 108426 0
Current children cumulated CPU time: 3154.42 s
Current children cumulated vsize: 498700 KiB
Current children cumulated memory: 414996 KiB
[startup+3222.3 s]
/proc/loadavg: 2.08 2.48 3.28 3/227 865549
/proc/meminfo: memFree=128194072/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=498700 memory=414996 CPUtime=3214.26 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 136166 0 0 0 320771 655 0 0 20 0 1 0 168432771 510668800 103749 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 124675 103749 4286 3002 0 108426 0
Current children cumulated CPU time: 3214.26 s
Current children cumulated vsize: 498700 KiB
Current children cumulated memory: 414996 KiB
[startup+3282.3 s]
/proc/loadavg: 2.13 2.42 3.21 3/230 865564
/proc/meminfo: memFree=128191564/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=498700 memory=417044 CPUtime=3274.11 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 136266 0 0 0 326748 663 0 0 20 0 1 0 168432771 510668800 104261 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 124675 104261 4286 3002 0 108426 0
Current children cumulated CPU time: 3274.11 s
Current children cumulated vsize: 498700 KiB
Current children cumulated memory: 417044 KiB
[startup+3342.3 s]
/proc/loadavg: 2.04 2.34 3.13 3/230 865575
/proc/meminfo: memFree=128191208/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=498700 memory=417044 CPUtime=3333.96 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 136362 0 0 0 332724 672 0 0 20 0 1 0 168432771 510668800 104261 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 124675 104261 4286 3002 0 108426 0
Current children cumulated CPU time: 3333.96 s
Current children cumulated vsize: 498700 KiB
Current children cumulated memory: 417044 KiB
[startup+3402.3 s]
/proc/loadavg: 2.12 2.31 3.07 3/230 865586
/proc/meminfo: memFree=128190572/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=498700 memory=417044 CPUtime=3393.81 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 136454 0 0 0 338701 680 0 0 20 0 1 0 168432771 510668800 104261 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 124675 104261 4286 3002 0 108426 0
Current children cumulated CPU time: 3393.81 s
Current children cumulated vsize: 498700 KiB
Current children cumulated memory: 417044 KiB
[startup+3462.3 s]
/proc/loadavg: 2.10 2.27 3.00 3/230 865596
/proc/meminfo: memFree=128167596/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=498700 memory=419092 CPUtime=3453.66 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 136557 0 0 0 344679 687 0 0 20 0 1 0 168432771 510668800 104773 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 124675 104773 4286 3002 0 108426 0
Current children cumulated CPU time: 3453.66 s
Current children cumulated vsize: 498700 KiB
Current children cumulated memory: 419092 KiB
[startup+3522.3 s]
/proc/loadavg: 2.08 2.23 2.94 3/230 865608
/proc/meminfo: memFree=128130468/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=498700 memory=419092 CPUtime=3513.51 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 136655 0 0 0 350656 695 0 0 20 0 1 0 168432771 510668800 104773 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 124675 104773 4286 3002 0 108426 0
Current children cumulated CPU time: 3513.51 s
Current children cumulated vsize: 498700 KiB
Current children cumulated memory: 419092 KiB
[startup+3582.3 s]
/proc/loadavg: 2.09 2.20 2.89 3/230 865620
/proc/meminfo: memFree=128090016/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=498700 memory=419092 CPUtime=3573.36 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 136742 0 0 0 356633 703 0 0 20 0 1 0 168432771 510668800 104773 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 124675 104773 4286 3002 0 108426 0
Current children cumulated CPU time: 3573.36 s
Current children cumulated vsize: 498700 KiB
Current children cumulated memory: 419092 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 2.13 2.20 2.87 3/227 865624
/proc/meminfo: memFree=128089960/131655788 swapFree=131071996/131071996
[pid=863691] ppid=863688 vsize=498700 memory=419092 CPUtime=3600 cores=4,6
/proc/863691/stat : 863691 (mixed-bag) R 863688 863691 858755 0 -1 4194304 136798 0 0 0 359294 706 0 0 20 0 1 0 168432771 510668800 104773 134679101440 4194304 16487941 140720577377392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 57024512 140720577385495 140720577385572 140720577385572 140720577392587 0
/proc/863691/statm: 124675 104773 4286 3002 0 108426 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 498700 KiB
Current children cumulated memory: 419092 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.02 s]
# the end of solver process 863691 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.95 s, system=7.06641 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.02
CPU time (s): 3600.01
CPU user time (s): 3592.95
CPU system time (s): 7.06641
CPU usage (%): 99.7506
Max. virtual memory (cumulated for all children) (KiB): 636208
Max. memory (cumulated for all children) (KiB): 470272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.95
system time used= 7.06641
maximum resident set size= 470272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136825
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= 78
involuntary context switches= 2404
# summary of solver processes directly reported to runsolver:
# pid: 863691
# total CPU time (s): 3600.01
# total CPU user time (s): 3592.95
# total CPU system time (s): 7.06641
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.8821 second user time and 29.64 second system time
The end
Begin job on nodeC008 at 2024-07-16 22:46:16
IDJOB=4435745
IDBENCH=158491
IDSOLVER=3066
FILE ID=nodeC008/4435745-1721162763
RUNJOBID= nodeC008-1721154660-858766
SLURM_JOB_ID= 7505762
Free space on /tmp= 723712 MiB
SOLVER NAME= mixed-bag 2024-07-02
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-4435745-1721162763/watcher-4435745-1721162763 -o /tmp/evaluation-result-4435745-1721162763/solver-4435745-1721162763 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721154660-858766 --watchdog 3760 mixed-bag HOME/instance-4435745-1721162763.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b877664571262cc35a091b0e7e24e61f
RANDOM SEED=1493796557
nodeC008.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 : 0xb00001f
cpu MHz : 3639.774
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91
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 : 0xb00001f
cpu MHz : 3655.662
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
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 : 0xb00001f
cpu MHz : 1197.475
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91
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 : 0xb00001f
cpu MHz : 1197.496
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
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 : 0xb00001f
cpu MHz : 3491.967
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91
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 : 0xb00001f
cpu MHz : 3659.671
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
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 : 0xb00001f
cpu MHz : 1197.248
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91
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 : 0xb00001f
cpu MHz : 1197.444
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126219988 kB
MemAvailable: 126661504 kB
Buffers: 454320 kB
Cached: 829264 kB
SwapCached: 0 kB
Active: 751220 kB
Inactive: 4151580 kB
Active(anon): 1476 kB
Inactive(anon): 3655420 kB
Active(file): 749744 kB
Inactive(file): 496160 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16544 kB
Writeback: 56 kB
AnonPages: 3616416 kB
Mapped: 138696 kB
Shmem: 37704 kB
KReclaimable: 71284 kB
Slab: 166244 kB
SReclaimable: 71284 kB
SUnreclaim: 94960 kB
KernelStack: 3840 kB
PageTables: 16776 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 4383304 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 53472 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1507328 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: 170824 kB
DirectMap2M: 19656704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723736 MiB
End job on nodeC008 at 2024-07-16 23:46:25