0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.05 c [STEP] preprocessing with Papilo
0.00/0.06 c Papilo could not simplify the problem
0.00/0.06 c [STEP] solving with SCIP
299.26/300.13 c [STEP] preprocessing done, loading into solver
299.26/300.16 c [STEP] solving
299.26/300.16 c #variables 2047 #constraints 18944
299.26/300.16 c SMALL=int, LARGE=long long
299.26/300.16 d SCIPUB 0
299.26/300.16 c bounds - >= -2046 @ 299.142
299.26/300.16 c stratification level: 0
299.36/300.23 c bounds - >= -560 @ 299.158
299.36/300.23 c bounds - >= -559 @ 299.16
299.36/300.23 c bounds - >= -558 @ 299.16
299.36/300.23 c bounds - >= -557 @ 299.161
299.36/300.23 c bounds - >= -556 @ 299.161
299.36/300.23 c bounds - >= -555 @ 299.161
299.36/300.23 c bounds - >= -554 @ 299.161
299.36/300.23 c bounds - >= -553 @ 299.161
299.36/300.23 c bounds - >= -552 @ 299.162
299.36/300.23 c bounds - >= -551 @ 299.162
299.36/300.23 c bounds - >= -550 @ 299.162
299.36/300.23 c bounds - >= -549 @ 299.162
299.36/300.23 c bounds - >= -548 @ 299.162
299.36/300.23 c bounds - >= -547 @ 299.162
299.36/300.23 c bounds - >= -546 @ 299.162
299.36/300.23 c bounds - >= -545 @ 299.162
299.36/300.23 c bounds - >= -544 @ 299.162
299.36/300.23 c bounds - >= -543 @ 299.163
299.36/300.23 c bounds - >= -542 @ 299.163
299.36/300.23 c bounds - >= -541 @ 299.163
299.36/300.23 c bounds - >= -540 @ 299.163
299.36/300.23 c bounds - >= -539 @ 299.163
299.36/300.23 c bounds - >= -538 @ 299.163
299.36/300.23 c bounds - >= -537 @ 299.164
299.36/300.23 c bounds - >= -536 @ 299.164
299.36/300.23 c bounds - >= -535 @ 299.164
299.36/300.23 c bounds - >= -534 @ 299.164
299.36/300.23 c bounds - >= -533 @ 299.164
299.36/300.23 c bounds - >= -532 @ 299.165
299.36/300.23 c bounds - >= -531 @ 299.165
299.36/300.23 c bounds - >= -530 @ 299.166
299.36/300.23 c bounds - >= -529 @ 299.166
299.36/300.23 c bounds - >= -528 @ 299.167
299.36/300.23 c bounds - >= -527 @ 299.167
299.36/300.23 c bounds - >= -526 @ 299.167
299.36/300.23 c bounds - >= -525 @ 299.167
299.36/300.23 c bounds - >= -524 @ 299.168
299.36/300.23 c bounds - >= -523 @ 299.168
299.36/300.23 c bounds - >= -522 @ 299.169
299.36/300.23 c bounds - >= -521 @ 299.17
299.36/300.23 c bounds - >= -520 @ 299.171
299.36/300.23 c bounds - >= -519 @ 299.171
299.36/300.23 c bounds - >= -518 @ 299.172
299.36/300.23 c bounds - >= -517 @ 299.172
299.36/300.23 c bounds - >= -516 @ 299.172
299.36/300.23 c bounds - >= -515 @ 299.173
299.36/300.23 c bounds - >= -514 @ 299.174
299.36/300.23 c bounds - >= -513 @ 299.175
299.36/300.23 c bounds - >= -512 @ 299.175
299.36/300.23 c bounds - >= -511 @ 299.175
299.36/300.23 c bounds - >= -510 @ 299.176
299.36/300.23 c bounds - >= -509 @ 299.176
299.36/300.23 c bounds - >= -508 @ 299.177
299.36/300.23 c bounds - >= -507 @ 299.177
299.36/300.23 c bounds - >= -506 @ 299.177
299.36/300.23 c bounds - >= -505 @ 299.177
299.36/300.23 c bounds - >= -504 @ 299.178
299.36/300.23 c bounds - >= -503 @ 299.18
299.36/300.23 c bounds - >= -502 @ 299.182
299.36/300.23 c bounds - >= -501 @ 299.182
299.36/300.23 c bounds - >= -500 @ 299.182
299.36/300.23 c bounds - >= -499 @ 299.183
299.36/300.23 c bounds - >= -498 @ 299.183
299.36/300.23 c bounds - >= -497 @ 299.184
299.36/300.23 c bounds - >= -496 @ 299.185
299.36/300.23 c bounds - >= -495 @ 299.185
299.36/300.23 c bounds - >= -494 @ 299.187
299.36/300.23 c finalizing WCE round: reformulating cores
331.37/332.30 c #Conflicts: 1000 | #Constraints: 20571
331.37/332.30 c #Conflicts: 2000 | #Constraints: 21616
331.37/332.30 c INPROCESSING
331.37/332.30 c GARBAGE COLLECT
331.37/332.30 c #Conflicts: 3000 | #Constraints: 21533
331.37/332.30 c #Conflicts: 4000 | #Constraints: 22537
331.37/332.30 c INPROCESSING
331.37/332.30 c GARBAGE COLLECT
331.37/332.30 c #Conflicts: 5000 | #Constraints: 21955
331.37/332.30 c bounds -265 >= -530 @ 302.04
331.37/332.30 c #Conflicts: 6000 | #Constraints: 22959
331.37/332.30 c INPROCESSING
331.37/332.30 c GARBAGE COLLECT
331.37/332.30 c #Conflicts: 7000 | #Constraints: 21924
331.37/332.30 c #Conflicts: 8000 | #Constraints: 22926
331.37/332.30 c #Conflicts: 9000 | #Constraints: 23930
331.37/332.30 c INPROCESSING
331.37/332.30 c GARBAGE COLLECT
331.37/332.30 c #Conflicts: 10000 | #Constraints: 22661
331.37/332.30 c #Conflicts: 11000 | #Constraints: 23663
331.37/332.30 c #Conflicts: 12000 | #Constraints: 24665
331.37/332.30 c INPROCESSING
331.37/332.30 c GARBAGE COLLECT
331.37/332.30 c #Conflicts: 13000 | #Constraints: 23119
331.37/332.30 c #Conflicts: 14000 | #Constraints: 24121
331.37/332.30 c #Conflicts: 15000 | #Constraints: 25123
331.37/332.30 c INPROCESSING
331.37/332.30 c GARBAGE COLLECT
331.37/332.30 c #Conflicts: 16000 | #Constraints: 23366
331.37/332.30 c #Conflicts: 17000 | #Constraints: 24368
331.37/332.30 c #Conflicts: 18000 | #Constraints: 25370
331.37/332.30 c INPROCESSING
331.37/332.30 c GARBAGE COLLECT
331.37/332.30 c #Conflicts: 19000 | #Constraints: 23392
331.37/332.30 c #Conflicts: 20000 | #Constraints: 24394
331.37/332.30 c #Conflicts: 21000 | #Constraints: 25396
331.37/332.30 c INPROCESSING
331.37/332.30 c GARBAGE COLLECT
331.37/332.30 c #Conflicts: 22000 | #Constraints: 23202
331.37/332.30 c #Conflicts: 23000 | #Constraints: 24204
331.37/332.30 c #Conflicts: 24000 | #Constraints: 25208
331.37/332.30 c #Conflicts: 25000 | #Constraints: 26210
331.37/332.30 c INPROCESSING
331.37/332.30 c GARBAGE COLLECT
331.37/332.30 c #Conflicts: 26000 | #Constraints: 23820
331.37/332.30 c #Conflicts: 27000 | #Constraints: 24822
331.37/332.30 c #Conflicts: 28000 | #Constraints: 25824
331.37/332.30 c #Conflicts: 29000 | #Constraints: 26828
331.37/332.30 c INPROCESSING
331.37/332.30 c GARBAGE COLLECT
331.37/332.30 c #Conflicts: 30000 | #Constraints: 24224
331.37/332.30 c #Conflicts: 31000 | #Constraints: 25226
331.37/332.30 c #Conflicts: 32000 | #Constraints: 26228
331.37/332.30 c #Conflicts: 33000 | #Constraints: 27232
331.37/332.30 c INPROCESSING
331.37/332.30 c GARBAGE COLLECT
331.37/332.30 c #Conflicts: 34000 | #Constraints: 24429
331.37/332.30 c #Conflicts: 35000 | #Constraints: 25431
331.37/332.30 c #Conflicts: 36000 | #Constraints: 26433
331.37/332.30 c bounds -265 >= -493 @ 330.001
331.37/332.30 c bounds -265 >= -492 @ 330.006
331.37/332.30 c bounds -265 >= -491 @ 330.009
331.37/332.30 c bounds -265 >= -490 @ 330.014
331.37/332.30 c bounds -265 >= -489 @ 330.021
331.37/332.30 c bounds -265 >= -488 @ 330.028
331.37/332.30 c bounds -265 >= -487 @ 330.032
331.37/332.30 c bounds -265 >= -486 @ 330.036
331.37/332.30 c bounds -265 >= -485 @ 330.042
331.37/332.30 c bounds -265 >= -484 @ 330.046
331.37/332.30 c bounds -265 >= -483 @ 330.052
331.37/332.30 c bounds -265 >= -482 @ 330.059
331.37/332.30 c bounds -265 >= -481 @ 330.092
331.37/332.30 c bounds -265 >= -480 @ 330.097
331.37/332.30 c bounds -265 >= -479 @ 330.102
331.37/332.30 c bounds -265 >= -478 @ 330.125
331.37/332.30 c bounds -265 >= -477 @ 330.133
331.37/332.30 c #Conflicts: 37000 | #Constraints: 27585
331.37/332.30 c bounds -265 >= -476 @ 330.199
331.37/332.30 c INPROCESSING
331.37/332.30 c GARBAGE COLLECT
331.37/332.30 c bounds -265 >= -475 @ 330.259
331.37/332.30 c bounds -265 >= -474 @ 330.265
331.37/332.30 c bounds -265 >= -473 @ 330.276
331.37/332.30 c bounds -265 >= -472 @ 330.277
331.37/332.30 c bounds -265 >= -471 @ 330.285
331.37/332.30 c #Conflicts: 38000 | #Constraints: 24664
331.37/332.30 c bounds -265 >= -470 @ 330.346
331.37/332.30 c bounds -265 >= -469 @ 330.36
331.37/332.30 c bounds -265 >= -468 @ 330.368
331.37/332.30 c bounds -265 >= -467 @ 330.374
331.37/332.30 c bounds -265 >= -466 @ 330.404
331.37/332.30 c #Conflicts: 39000 | #Constraints: 25717
331.37/332.30 c #Conflicts: 40000 | #Constraints: 26717
331.37/332.30 c #Conflicts: 41000 | #Constraints: 27717
331.37/332.30 c INPROCESSING
331.37/332.30 c GARBAGE COLLECT
331.37/332.30 c #Conflicts: 42000 | #Constraints: 24571
331.37/332.30 c bounds -265 >= -465 @ 330.806
331.37/332.30 c bounds -265 >= -464 @ 330.812
331.37/332.30 c bounds -265 >= -463 @ 330.814
331.37/332.30 c finalizing WCE round: reformulating cores
354.91/355.95 c #Conflicts: 43000 | #Constraints: 25610
354.91/355.95 c #Conflicts: 44000 | #Constraints: 26612
354.91/355.95 c bounds -280 >= -487 @ 331.024
354.91/355.95 c #Conflicts: 45000 | #Constraints: 27625
354.91/355.95 c #Conflicts: 46000 | #Constraints: 28627
354.91/355.95 c INPROCESSING
354.91/355.95 c GARBAGE COLLECT
354.91/355.95 c #Conflicts: 47000 | #Constraints: 25125
354.91/355.95 c #Conflicts: 48000 | #Constraints: 26127
354.91/355.95 c #Conflicts: 49000 | #Constraints: 27129
354.91/355.95 c #Conflicts: 50000 | #Constraints: 28133
354.91/355.95 c #Conflicts: 51000 | #Constraints: 29135
354.91/355.95 c INPROCESSING
354.91/355.95 c GARBAGE COLLECT
354.91/355.95 c bounds -284 >= -476 @ 335.424
354.91/355.95 c #Conflicts: 52000 | #Constraints: 25503
354.91/355.95 c #Conflicts: 53000 | #Constraints: 26505
354.91/355.95 c #Conflicts: 54000 | #Constraints: 27507
354.91/355.95 c #Conflicts: 55000 | #Constraints: 28511
354.91/355.95 c #Conflicts: 56000 | #Constraints: 29513
354.91/355.95 c INPROCESSING
354.91/355.95 c GARBAGE COLLECT
354.91/355.95 c #Conflicts: 57000 | #Constraints: 25720
354.91/355.95 c #Conflicts: 58000 | #Constraints: 26722
354.91/355.95 c #Conflicts: 59000 | #Constraints: 27724
354.91/355.95 c #Conflicts: 60000 | #Constraints: 28728
354.91/355.95 c #Conflicts: 61000 | #Constraints: 29730
354.91/355.95 c INPROCESSING
354.91/355.95 c GARBAGE COLLECT
354.91/355.95 c bounds -284 >= -463 @ 340.961
354.91/355.95 c #Conflicts: 62000 | #Constraints: 25725
354.91/355.95 c #Conflicts: 63000 | #Constraints: 26727
354.91/355.95 c #Conflicts: 64000 | #Constraints: 27729
354.91/355.95 c bounds -284 >= -460 @ 342.698
354.91/355.95 c bounds -284 >= -459 @ 342.701
354.91/355.95 c bounds -284 >= -458 @ 342.705
354.91/355.95 c bounds -284 >= -457 @ 342.719
354.91/355.95 c #Conflicts: 65000 | #Constraints: 28786
354.91/355.95 c #Conflicts: 66000 | #Constraints: 29786
354.91/355.95 c bounds -284 >= -456 @ 342.869
354.91/355.95 c bounds -284 >= -455 @ 342.876
354.91/355.95 c INPROCESSING
354.91/355.95 c GARBAGE COLLECT
354.91/355.95 c #Conflicts: 67000 | #Constraints: 25640
354.91/355.95 c #Conflicts: 68000 | #Constraints: 26640
354.91/355.95 c #Conflicts: 69000 | #Constraints: 27640
354.91/355.95 c #Conflicts: 70000 | #Constraints: 28640
354.91/355.95 c #Conflicts: 71000 | #Constraints: 29640
354.91/355.95 c #Conflicts: 72000 | #Constraints: 30640
354.91/355.95 c INPROCESSING
354.91/355.95 c GARBAGE COLLECT
354.91/355.95 c #Conflicts: 73000 | #Constraints: 26282
354.91/355.95 c #Conflicts: 74000 | #Constraints: 27282
354.91/355.95 c #Conflicts: 75000 | #Constraints: 28282
354.91/355.95 c #Conflicts: 76000 | #Constraints: 29282
354.91/355.95 c #Conflicts: 77000 | #Constraints: 30282
354.91/355.95 c #Conflicts: 78000 | #Constraints: 31282
354.91/355.95 c INPROCESSING
354.91/355.95 c GARBAGE COLLECT
354.91/355.95 c #Conflicts: 79000 | #Constraints: 26714
354.91/355.95 c #Conflicts: 80000 | #Constraints: 27714
354.91/355.95 c #Conflicts: 81000 | #Constraints: 28714
354.91/355.95 c #Conflicts: 82000 | #Constraints: 29714
354.91/355.95 c #Conflicts: 83000 | #Constraints: 30714
354.91/355.95 c #Conflicts: 84000 | #Constraints: 31714
354.91/355.95 c #Conflicts: 85000 | #Constraints: 32714
354.91/355.95 c #Conflicts: 86000 | #Constraints: 33714
354.91/355.95 c #Conflicts: 87000 | #Constraints: 34714
354.91/355.95 c #Conflicts: 88000 | #Constraints: 35714
354.91/355.95 c #Conflicts: 89000 | #Constraints: 36714
354.91/355.95 c #Conflicts: 90000 | #Constraints: 37714
354.91/355.95 c #Conflicts: 91000 | #Constraints: 38714
354.91/355.95 c #Conflicts: 92000 | #Constraints: 39714
354.91/355.95 c #Conflicts: 93000 | #Constraints: 40714
354.91/355.95 c #Conflicts: 94000 | #Constraints: 41714
354.91/355.95 c #Conflicts: 95000 | #Constraints: 42714
354.91/355.95 c #Conflicts: 96000 | #Constraints: 43714
354.91/355.95 c bounds -284 >= -454 @ 352.133
354.91/355.95 c bounds -284 >= -453 @ 352.149
354.91/355.95 c #Conflicts: 97000 | #Constraints: 44773
354.91/355.95 c bounds -284 >= -452 @ 352.159
354.91/355.95 c #Conflicts: 98000 | #Constraints: 45792
354.91/355.95 c bounds -284 >= -451 @ 352.215
354.91/355.95 c #Conflicts: 99000 | #Constraints: 46814
354.91/355.95 c #Conflicts: 100000 | #Constraints: 47814
354.91/355.95 c #Conflicts: 101000 | #Constraints: 48814
354.91/355.95 c #Conflicts: 102000 | #Constraints: 49814
354.91/355.95 c INPROCESSING
354.91/355.95 c GARBAGE COLLECT
354.91/355.95 c #Conflicts: 103000 | #Constraints: 35594
354.91/355.95 c #Conflicts: 104000 | #Constraints: 36594
354.91/355.95 c #Conflicts: 105000 | #Constraints: 37594
354.91/355.95 c #Conflicts: 106000 | #Constraints: 38594
354.91/355.95 c bounds -284 >= -450 @ 353.999
354.91/355.95 c bounds -284 >= -449 @ 354.016
354.91/355.95 c #Conflicts: 107000 | #Constraints: 39629
397.50/398.67 c bounds -284 >= -448 @ 354.073
397.50/398.67 c #Conflicts: 108000 | #Constraints: 40651
397.50/398.67 c #Conflicts: 109000 | #Constraints: 41651
397.50/398.67 c #Conflicts: 110000 | #Constraints: 42651
397.50/398.67 c INPROCESSING
397.50/398.67 c GARBAGE COLLECT
397.50/398.67 c #Conflicts: 111000 | #Constraints: 32494
397.50/398.67 c #Conflicts: 112000 | #Constraints: 33494
397.50/398.67 c #Conflicts: 113000 | #Constraints: 34494
397.50/398.67 c bounds -284 >= -447 @ 354.968
397.50/398.67 c #Conflicts: 114000 | #Constraints: 35513
397.50/398.67 c #Conflicts: 115000 | #Constraints: 36513
397.50/398.67 c #Conflicts: 116000 | #Constraints: 37513
397.50/398.67 c bounds -284 >= -446 @ 355.405
397.50/398.67 c #Conflicts: 117000 | #Constraints: 38529
397.50/398.67 c INPROCESSING
397.50/398.67 c GARBAGE COLLECT
397.50/398.67 c #Conflicts: 118000 | #Constraints: 30286
397.50/398.67 c #Conflicts: 119000 | #Constraints: 31286
397.50/398.67 c #Conflicts: 120000 | #Constraints: 32286
397.50/398.67 c #Conflicts: 121000 | #Constraints: 33286
397.50/398.67 c #Conflicts: 122000 | #Constraints: 34286
397.50/398.67 c #Conflicts: 123000 | #Constraints: 35286
397.50/398.67 c #Conflicts: 124000 | #Constraints: 36286
397.50/398.67 c INPROCESSING
397.50/398.67 c GARBAGE COLLECT
397.50/398.67 c #Conflicts: 125000 | #Constraints: 28930
397.50/398.67 c #Conflicts: 126000 | #Constraints: 29930
397.50/398.67 c #Conflicts: 127000 | #Constraints: 30930
397.50/398.67 c #Conflicts: 128000 | #Constraints: 31930
397.50/398.67 c #Conflicts: 129000 | #Constraints: 32930
397.50/398.67 c #Conflicts: 130000 | #Constraints: 33930
397.50/398.67 c #Conflicts: 131000 | #Constraints: 34930
397.50/398.67 c #Conflicts: 132000 | #Constraints: 35930
397.50/398.67 c #Conflicts: 133000 | #Constraints: 36930
397.50/398.67 c #Conflicts: 134000 | #Constraints: 37930
397.50/398.67 c #Conflicts: 135000 | #Constraints: 38930
397.50/398.67 c #Conflicts: 136000 | #Constraints: 39930
397.50/398.67 c #Conflicts: 137000 | #Constraints: 40930
397.50/398.67 c #Conflicts: 138000 | #Constraints: 41930
397.50/398.67 c #Conflicts: 139000 | #Constraints: 42930
397.50/398.67 c #Conflicts: 140000 | #Constraints: 43930
397.50/398.67 c #Conflicts: 141000 | #Constraints: 44930
397.50/398.67 c #Conflicts: 142000 | #Constraints: 45930
397.50/398.67 c #Conflicts: 143000 | #Constraints: 46930
397.50/398.67 c #Conflicts: 144000 | #Constraints: 47930
397.50/398.67 c #Conflicts: 145000 | #Constraints: 48930
397.50/398.67 c #Conflicts: 146000 | #Constraints: 49930
397.50/398.67 c #Conflicts: 147000 | #Constraints: 50930
397.50/398.67 c #Conflicts: 148000 | #Constraints: 51930
397.50/398.67 c #Conflicts: 149000 | #Constraints: 52930
397.50/398.67 c #Conflicts: 150000 | #Constraints: 53930
397.50/398.67 c #Conflicts: 151000 | #Constraints: 54930
397.50/398.67 c #Conflicts: 152000 | #Constraints: 55930
397.50/398.67 c #Conflicts: 153000 | #Constraints: 56930
397.50/398.67 c #Conflicts: 154000 | #Constraints: 57930
397.50/398.67 c #Conflicts: 155000 | #Constraints: 58930
397.50/398.67 c INPROCESSING
397.50/398.67 c GARBAGE COLLECT
397.50/398.67 c #Conflicts: 156000 | #Constraints: 40672
397.50/398.67 c #Conflicts: 157000 | #Constraints: 41672
397.50/398.67 c #Conflicts: 158000 | #Constraints: 42672
397.50/398.67 c #Conflicts: 159000 | #Constraints: 43672
397.50/398.67 c #Conflicts: 160000 | #Constraints: 44672
397.50/398.67 c #Conflicts: 161000 | #Constraints: 45672
397.50/398.67 c #Conflicts: 162000 | #Constraints: 46672
397.50/398.67 c #Conflicts: 163000 | #Constraints: 47672
397.50/398.67 c INPROCESSING
397.50/398.67 c GARBAGE COLLECT
397.50/398.67 c #Conflicts: 164000 | #Constraints: 34652
397.50/398.67 c #Conflicts: 165000 | #Constraints: 35652
397.50/398.67 c #Conflicts: 166000 | #Constraints: 36652
397.50/398.67 c #Conflicts: 167000 | #Constraints: 37652
397.50/398.67 c #Conflicts: 168000 | #Constraints: 38652
397.50/398.67 c #Conflicts: 169000 | #Constraints: 39652
397.50/398.67 c #Conflicts: 170000 | #Constraints: 40652
397.50/398.67 c #Conflicts: 171000 | #Constraints: 41652
397.50/398.67 c #Conflicts: 172000 | #Constraints: 42652
397.50/398.67 c INPROCESSING
397.50/398.67 c GARBAGE COLLECT
397.50/398.67 c #Conflicts: 173000 | #Constraints: 32142
397.50/398.67 c #Conflicts: 174000 | #Constraints: 33142
397.50/398.67 c #Conflicts: 175000 | #Constraints: 34142
397.50/398.67 c #Conflicts: 176000 | #Constraints: 35142
397.50/398.67 c #Conflicts: 177000 | #Constraints: 36142
397.50/398.67 c #Conflicts: 178000 | #Constraints: 37142
397.50/398.67 c #Conflicts: 179000 | #Constraints: 38142
397.50/398.67 c #Conflicts: 180000 | #Constraints: 39142
464.63/465.99 c #Conflicts: 181000 | #Constraints: 40142
464.63/465.99 c #Conflicts: 182000 | #Constraints: 41142
464.63/465.99 c INPROCESSING
464.63/465.99 c GARBAGE COLLECT
464.63/465.99 c #Conflicts: 183000 | #Constraints: 31775
464.63/465.99 c #Conflicts: 184000 | #Constraints: 32775
464.63/465.99 c #Conflicts: 185000 | #Constraints: 33775
464.63/465.99 c #Conflicts: 186000 | #Constraints: 34775
464.63/465.99 c #Conflicts: 187000 | #Constraints: 35775
464.63/465.99 c #Conflicts: 188000 | #Constraints: 36775
464.63/465.99 c #Conflicts: 189000 | #Constraints: 37775
464.63/465.99 c #Conflicts: 190000 | #Constraints: 38775
464.63/465.99 c #Conflicts: 191000 | #Constraints: 39775
464.63/465.99 c #Conflicts: 192000 | #Constraints: 40775
464.63/465.99 c #Conflicts: 193000 | #Constraints: 41775
464.63/465.99 c #Conflicts: 194000 | #Constraints: 42775
464.63/465.99 c #Conflicts: 195000 | #Constraints: 43775
464.63/465.99 c #Conflicts: 196000 | #Constraints: 44775
464.63/465.99 c #Conflicts: 197000 | #Constraints: 45775
464.63/465.99 c #Conflicts: 198000 | #Constraints: 46775
464.63/465.99 c #Conflicts: 199000 | #Constraints: 47775
464.63/465.99 c #Conflicts: 200000 | #Constraints: 48775
464.63/465.99 c #Conflicts: 201000 | #Constraints: 49775
464.63/465.99 c #Conflicts: 202000 | #Constraints: 50775
464.63/465.99 c #Conflicts: 203000 | #Constraints: 51775
464.63/465.99 c #Conflicts: 204000 | #Constraints: 52775
464.63/465.99 c #Conflicts: 205000 | #Constraints: 53775
464.63/465.99 c #Conflicts: 206000 | #Constraints: 54775
464.63/465.99 c #Conflicts: 207000 | #Constraints: 55775
464.63/465.99 c #Conflicts: 208000 | #Constraints: 56775
464.63/465.99 c #Conflicts: 209000 | #Constraints: 57775
464.63/465.99 c #Conflicts: 210000 | #Constraints: 58775
464.63/465.99 c #Conflicts: 211000 | #Constraints: 59775
464.63/465.99 c #Conflicts: 212000 | #Constraints: 60775
464.63/465.99 c #Conflicts: 213000 | #Constraints: 61775
464.63/465.99 c #Conflicts: 214000 | #Constraints: 62775
464.63/465.99 c #Conflicts: 215000 | #Constraints: 63775
464.63/465.99 c #Conflicts: 216000 | #Constraints: 64775
464.63/465.99 c #Conflicts: 217000 | #Constraints: 65775
464.63/465.99 c INPROCESSING
464.63/465.99 c GARBAGE COLLECT
464.63/465.99 c #Conflicts: 218000 | #Constraints: 43844
464.63/465.99 c #Conflicts: 219000 | #Constraints: 44844
464.63/465.99 c #Conflicts: 220000 | #Constraints: 45844
464.63/465.99 c #Conflicts: 221000 | #Constraints: 46844
464.63/465.99 c #Conflicts: 222000 | #Constraints: 47844
464.63/465.99 c #Conflicts: 223000 | #Constraints: 48844
464.63/465.99 c #Conflicts: 224000 | #Constraints: 49844
464.63/465.99 c #Conflicts: 225000 | #Constraints: 50844
464.63/465.99 c #Conflicts: 226000 | #Constraints: 51844
464.63/465.99 c #Conflicts: 227000 | #Constraints: 52844
464.63/465.99 c #Conflicts: 228000 | #Constraints: 53844
464.63/465.99 c INPROCESSING
464.63/465.99 c GARBAGE COLLECT
464.63/465.99 c #Conflicts: 229000 | #Constraints: 38130
464.63/465.99 c #Conflicts: 230000 | #Constraints: 39130
464.63/465.99 c #Conflicts: 231000 | #Constraints: 40130
464.63/465.99 c #Conflicts: 232000 | #Constraints: 41130
464.63/465.99 c #Conflicts: 233000 | #Constraints: 42130
464.63/465.99 c #Conflicts: 234000 | #Constraints: 43130
464.63/465.99 c #Conflicts: 235000 | #Constraints: 44130
464.63/465.99 c #Conflicts: 236000 | #Constraints: 45130
464.63/465.99 c #Conflicts: 237000 | #Constraints: 46130
464.63/465.99 c #Conflicts: 238000 | #Constraints: 47130
464.63/465.99 c INPROCESSING
464.63/465.99 c GARBAGE COLLECT
464.63/465.99 c #Conflicts: 239000 | #Constraints: 34434
464.63/465.99 c #Conflicts: 240000 | #Constraints: 35434
464.63/465.99 c #Conflicts: 241000 | #Constraints: 36434
464.63/465.99 c #Conflicts: 242000 | #Constraints: 37434
464.63/465.99 c #Conflicts: 243000 | #Constraints: 38434
464.63/465.99 c #Conflicts: 244000 | #Constraints: 39434
464.63/465.99 c #Conflicts: 245000 | #Constraints: 40434
464.63/465.99 c #Conflicts: 246000 | #Constraints: 41434
464.63/465.99 c #Conflicts: 247000 | #Constraints: 42434
464.63/465.99 c #Conflicts: 248000 | #Constraints: 43434
464.63/465.99 c #Conflicts: 249000 | #Constraints: 44434
464.63/465.99 c INPROCESSING
464.63/465.99 c GARBAGE COLLECT
464.63/465.99 c #Conflicts: 250000 | #Constraints: 33136
464.63/465.99 c #Conflicts: 251000 | #Constraints: 34136
464.63/465.99 c #Conflicts: 252000 | #Constraints: 35136
464.63/465.99 c #Conflicts: 253000 | #Constraints: 36136
464.63/465.99 c #Conflicts: 254000 | #Constraints: 37136
464.63/465.99 c #Conflicts: 255000 | #Constraints: 38136
464.63/465.99 c #Conflicts: 256000 | #Constraints: 39136
552.99/554.60 c #Conflicts: 257000 | #Constraints: 40136
552.99/554.60 c #Conflicts: 258000 | #Constraints: 41136
552.99/554.60 c #Conflicts: 259000 | #Constraints: 42136
552.99/554.60 c #Conflicts: 260000 | #Constraints: 43136
552.99/554.60 c INPROCESSING
552.99/554.60 c GARBAGE COLLECT
552.99/554.60 c #Conflicts: 261000 | #Constraints: 32431
552.99/554.60 c #Conflicts: 262000 | #Constraints: 33431
552.99/554.60 c #Conflicts: 263000 | #Constraints: 34431
552.99/554.60 c #Conflicts: 264000 | #Constraints: 35431
552.99/554.60 c #Conflicts: 265000 | #Constraints: 36431
552.99/554.60 c #Conflicts: 266000 | #Constraints: 37431
552.99/554.60 c #Conflicts: 267000 | #Constraints: 38431
552.99/554.60 c #Conflicts: 268000 | #Constraints: 39431
552.99/554.60 c #Conflicts: 269000 | #Constraints: 40431
552.99/554.60 c #Conflicts: 270000 | #Constraints: 41431
552.99/554.60 c #Conflicts: 271000 | #Constraints: 42431
552.99/554.60 c #Conflicts: 272000 | #Constraints: 43431
552.99/554.60 c #Conflicts: 273000 | #Constraints: 44431
552.99/554.60 c #Conflicts: 274000 | #Constraints: 45431
552.99/554.60 c #Conflicts: 275000 | #Constraints: 46431
552.99/554.60 c #Conflicts: 276000 | #Constraints: 47431
552.99/554.60 c #Conflicts: 277000 | #Constraints: 48431
552.99/554.60 c #Conflicts: 278000 | #Constraints: 49431
552.99/554.60 c #Conflicts: 279000 | #Constraints: 50431
552.99/554.60 c #Conflicts: 280000 | #Constraints: 51431
552.99/554.60 c #Conflicts: 281000 | #Constraints: 52431
552.99/554.60 c #Conflicts: 282000 | #Constraints: 53431
552.99/554.60 c #Conflicts: 283000 | #Constraints: 54431
552.99/554.60 c #Conflicts: 284000 | #Constraints: 55431
552.99/554.60 c #Conflicts: 285000 | #Constraints: 56431
552.99/554.60 c #Conflicts: 286000 | #Constraints: 57431
552.99/554.60 c #Conflicts: 287000 | #Constraints: 58431
552.99/554.60 c #Conflicts: 288000 | #Constraints: 59431
552.99/554.60 c #Conflicts: 289000 | #Constraints: 60431
552.99/554.60 c #Conflicts: 290000 | #Constraints: 61431
552.99/554.60 c #Conflicts: 291000 | #Constraints: 62431
552.99/554.60 c #Conflicts: 292000 | #Constraints: 63431
552.99/554.60 c #Conflicts: 293000 | #Constraints: 64431
552.99/554.60 c #Conflicts: 294000 | #Constraints: 65431
552.99/554.60 c #Conflicts: 295000 | #Constraints: 66431
552.99/554.60 c #Conflicts: 296000 | #Constraints: 67431
552.99/554.60 c #Conflicts: 297000 | #Constraints: 68431
552.99/554.60 c #Conflicts: 298000 | #Constraints: 69431
552.99/554.60 c #Conflicts: 299000 | #Constraints: 70431
552.99/554.60 c #Conflicts: 300000 | #Constraints: 71431
552.99/554.60 c #Conflicts: 301000 | #Constraints: 72431
552.99/554.60 c #Conflicts: 302000 | #Constraints: 73431
552.99/554.60 c INPROCESSING
552.99/554.60 c GARBAGE COLLECT
552.99/554.60 c #Conflicts: 303000 | #Constraints: 47619
552.99/554.60 c #Conflicts: 304000 | #Constraints: 48619
552.99/554.60 c #Conflicts: 305000 | #Constraints: 49619
552.99/554.60 c #Conflicts: 306000 | #Constraints: 50619
552.99/554.60 c #Conflicts: 307000 | #Constraints: 51619
552.99/554.60 c #Conflicts: 308000 | #Constraints: 52619
552.99/554.60 c #Conflicts: 309000 | #Constraints: 53619
552.99/554.60 c #Conflicts: 310000 | #Constraints: 54619
552.99/554.60 c #Conflicts: 311000 | #Constraints: 55619
552.99/554.60 c #Conflicts: 312000 | #Constraints: 56619
552.99/554.60 c #Conflicts: 313000 | #Constraints: 57619
552.99/554.60 c #Conflicts: 314000 | #Constraints: 58619
552.99/554.60 c #Conflicts: 315000 | #Constraints: 59619
552.99/554.60 c INPROCESSING
552.99/554.60 c GARBAGE COLLECT
552.99/554.60 c #Conflicts: 316000 | #Constraints: 41019
552.99/554.60 c #Conflicts: 317000 | #Constraints: 42019
552.99/554.60 c #Conflicts: 318000 | #Constraints: 43019
552.99/554.60 c #Conflicts: 319000 | #Constraints: 44019
552.99/554.60 c #Conflicts: 320000 | #Constraints: 45019
552.99/554.60 c #Conflicts: 321000 | #Constraints: 46019
552.99/554.60 c #Conflicts: 322000 | #Constraints: 47019
552.99/554.60 c #Conflicts: 323000 | #Constraints: 48019
552.99/554.60 c #Conflicts: 324000 | #Constraints: 49019
552.99/554.60 c #Conflicts: 325000 | #Constraints: 50019
552.99/554.60 c #Conflicts: 326000 | #Constraints: 51019
552.99/554.60 c #Conflicts: 327000 | #Constraints: 52019
552.99/554.60 c INPROCESSING
552.99/554.60 c GARBAGE COLLECT
552.99/554.60 c #Conflicts: 328000 | #Constraints: 36911
552.99/554.60 c #Conflicts: 329000 | #Constraints: 37911
552.99/554.60 c #Conflicts: 330000 | #Constraints: 38911
552.99/554.60 c #Conflicts: 331000 | #Constraints: 39911
552.99/554.60 c #Conflicts: 332000 | #Constraints: 40911
658.23/660.09 c #Conflicts: 333000 | #Constraints: 41911
658.23/660.09 c #Conflicts: 334000 | #Constraints: 42911
658.23/660.09 c #Conflicts: 335000 | #Constraints: 43911
658.23/660.09 c #Conflicts: 336000 | #Constraints: 44911
658.23/660.09 c #Conflicts: 337000 | #Constraints: 45911
658.23/660.09 c #Conflicts: 338000 | #Constraints: 46911
658.23/660.09 c #Conflicts: 339000 | #Constraints: 47911
658.23/660.09 c #Conflicts: 340000 | #Constraints: 48911
658.23/660.09 c INPROCESSING
658.23/660.09 c GARBAGE COLLECT
658.23/660.09 c #Conflicts: 341000 | #Constraints: 35478
658.23/660.09 c #Conflicts: 342000 | #Constraints: 36478
658.23/660.09 c #Conflicts: 343000 | #Constraints: 37478
658.23/660.09 c #Conflicts: 344000 | #Constraints: 38478
658.23/660.09 c #Conflicts: 345000 | #Constraints: 39478
658.23/660.09 c #Conflicts: 346000 | #Constraints: 40478
658.23/660.09 c #Conflicts: 347000 | #Constraints: 41478
658.23/660.09 c #Conflicts: 348000 | #Constraints: 42478
658.23/660.09 c #Conflicts: 349000 | #Constraints: 43478
658.23/660.09 c #Conflicts: 350000 | #Constraints: 44478
658.23/660.09 c #Conflicts: 351000 | #Constraints: 45478
658.23/660.09 c #Conflicts: 352000 | #Constraints: 46478
658.23/660.09 c #Conflicts: 353000 | #Constraints: 47478
658.23/660.09 c INPROCESSING
658.23/660.09 c GARBAGE COLLECT
658.23/660.09 c #Conflicts: 354000 | #Constraints: 34760
658.23/660.09 c #Conflicts: 355000 | #Constraints: 35760
658.23/660.09 c #Conflicts: 356000 | #Constraints: 36760
658.23/660.09 c #Conflicts: 357000 | #Constraints: 37760
658.23/660.09 c #Conflicts: 358000 | #Constraints: 38760
658.23/660.09 c #Conflicts: 359000 | #Constraints: 39760
658.23/660.09 c #Conflicts: 360000 | #Constraints: 40760
658.23/660.09 c #Conflicts: 361000 | #Constraints: 41760
658.23/660.09 c #Conflicts: 362000 | #Constraints: 42760
658.23/660.09 c #Conflicts: 363000 | #Constraints: 43760
658.23/660.09 c #Conflicts: 364000 | #Constraints: 44760
658.23/660.09 c #Conflicts: 365000 | #Constraints: 45760
658.23/660.09 c #Conflicts: 366000 | #Constraints: 46760
658.23/660.09 c #Conflicts: 367000 | #Constraints: 47760
658.23/660.09 c #Conflicts: 368000 | #Constraints: 48760
658.23/660.09 c #Conflicts: 369000 | #Constraints: 49760
658.23/660.09 c #Conflicts: 370000 | #Constraints: 50760
658.23/660.09 c #Conflicts: 371000 | #Constraints: 51760
658.23/660.09 c #Conflicts: 372000 | #Constraints: 52760
658.23/660.09 c #Conflicts: 373000 | #Constraints: 53760
658.23/660.09 c #Conflicts: 374000 | #Constraints: 54760
658.23/660.09 c #Conflicts: 375000 | #Constraints: 55760
658.23/660.09 c #Conflicts: 376000 | #Constraints: 56760
658.23/660.09 c #Conflicts: 377000 | #Constraints: 57760
658.23/660.09 c #Conflicts: 378000 | #Constraints: 58760
658.23/660.09 c #Conflicts: 379000 | #Constraints: 59760
658.23/660.09 c #Conflicts: 380000 | #Constraints: 60760
658.23/660.09 c #Conflicts: 381000 | #Constraints: 61760
658.23/660.09 c #Conflicts: 382000 | #Constraints: 62760
658.23/660.09 c #Conflicts: 383000 | #Constraints: 63760
658.23/660.09 c #Conflicts: 384000 | #Constraints: 64760
658.23/660.09 c #Conflicts: 385000 | #Constraints: 65760
658.23/660.09 c #Conflicts: 386000 | #Constraints: 66760
658.23/660.09 c #Conflicts: 387000 | #Constraints: 67760
658.23/660.09 c #Conflicts: 388000 | #Constraints: 68760
658.23/660.09 c #Conflicts: 389000 | #Constraints: 69760
658.23/660.09 c #Conflicts: 390000 | #Constraints: 70760
658.23/660.09 c #Conflicts: 391000 | #Constraints: 71760
658.23/660.09 c #Conflicts: 392000 | #Constraints: 72760
658.23/660.09 c #Conflicts: 393000 | #Constraints: 73760
658.23/660.09 c #Conflicts: 394000 | #Constraints: 74760
658.23/660.09 c #Conflicts: 395000 | #Constraints: 75760
658.23/660.09 c #Conflicts: 396000 | #Constraints: 76760
658.23/660.09 c #Conflicts: 397000 | #Constraints: 77760
658.23/660.09 c #Conflicts: 398000 | #Constraints: 78760
658.23/660.09 c #Conflicts: 399000 | #Constraints: 79760
658.23/660.09 c #Conflicts: 400000 | #Constraints: 80760
658.23/660.09 c #Conflicts: 401000 | #Constraints: 81760
658.23/660.09 c INPROCESSING
658.23/660.09 c GARBAGE COLLECT
658.23/660.09 c #Conflicts: 402000 | #Constraints: 51741
658.23/660.09 c #Conflicts: 403000 | #Constraints: 52741
658.23/660.09 c #Conflicts: 404000 | #Constraints: 53741
658.23/660.09 c #Conflicts: 405000 | #Constraints: 54741
658.23/660.09 c #Conflicts: 406000 | #Constraints: 55741
658.23/660.09 c #Conflicts: 407000 | #Constraints: 56741
658.23/660.09 c #Conflicts: 408000 | #Constraints: 57741
658.23/660.09 c #Conflicts: 409000 | #Constraints: 58741
752.77/754.87 c #Conflicts: 410000 | #Constraints: 59741
752.77/754.87 c #Conflicts: 411000 | #Constraints: 60741
752.77/754.87 c #Conflicts: 412000 | #Constraints: 61741
752.77/754.87 c #Conflicts: 413000 | #Constraints: 62741
752.77/754.87 c #Conflicts: 414000 | #Constraints: 63741
752.77/754.87 c #Conflicts: 415000 | #Constraints: 64741
752.77/754.87 c #Conflicts: 416000 | #Constraints: 65741
752.77/754.87 c INPROCESSING
752.77/754.87 c GARBAGE COLLECT
752.77/754.87 c #Conflicts: 417000 | #Constraints: 44088
752.77/754.87 c #Conflicts: 418000 | #Constraints: 45088
752.77/754.87 c #Conflicts: 419000 | #Constraints: 46088
752.77/754.87 c #Conflicts: 420000 | #Constraints: 47088
752.77/754.87 c #Conflicts: 421000 | #Constraints: 48088
752.77/754.87 c #Conflicts: 422000 | #Constraints: 49088
752.77/754.87 c #Conflicts: 423000 | #Constraints: 50088
752.77/754.87 c #Conflicts: 424000 | #Constraints: 51088
752.77/754.87 c #Conflicts: 425000 | #Constraints: 52088
752.77/754.87 c #Conflicts: 426000 | #Constraints: 53088
752.77/754.87 c #Conflicts: 427000 | #Constraints: 54088
752.77/754.87 c #Conflicts: 428000 | #Constraints: 55088
752.77/754.87 c #Conflicts: 429000 | #Constraints: 56088
752.77/754.87 c #Conflicts: 430000 | #Constraints: 57088
752.77/754.87 c INPROCESSING
752.77/754.87 c GARBAGE COLLECT
752.77/754.87 c #Conflicts: 431000 | #Constraints: 39513
752.77/754.87 c #Conflicts: 432000 | #Constraints: 40513
752.77/754.87 c #Conflicts: 433000 | #Constraints: 41513
752.77/754.87 c #Conflicts: 434000 | #Constraints: 42513
752.77/754.87 c #Conflicts: 435000 | #Constraints: 43513
752.77/754.87 c #Conflicts: 436000 | #Constraints: 44513
752.77/754.87 c #Conflicts: 437000 | #Constraints: 45513
752.77/754.87 c #Conflicts: 438000 | #Constraints: 46513
752.77/754.87 c #Conflicts: 439000 | #Constraints: 47513
752.77/754.87 c #Conflicts: 440000 | #Constraints: 48513
752.77/754.87 c #Conflicts: 441000 | #Constraints: 49513
752.77/754.87 c #Conflicts: 442000 | #Constraints: 50513
752.77/754.87 c #Conflicts: 443000 | #Constraints: 51513
752.77/754.87 c #Conflicts: 444000 | #Constraints: 52513
752.77/754.87 c #Conflicts: 445000 | #Constraints: 53513
752.77/754.87 c INPROCESSING
752.77/754.87 c GARBAGE COLLECT
752.77/754.87 c #Conflicts: 446000 | #Constraints: 37878
752.77/754.87 c #Conflicts: 447000 | #Constraints: 38878
752.77/754.87 c #Conflicts: 448000 | #Constraints: 39878
752.77/754.87 c #Conflicts: 449000 | #Constraints: 40878
752.77/754.87 c #Conflicts: 450000 | #Constraints: 41878
752.77/754.87 c #Conflicts: 451000 | #Constraints: 42878
752.77/754.87 c #Conflicts: 452000 | #Constraints: 43878
752.77/754.87 c #Conflicts: 453000 | #Constraints: 44878
752.77/754.87 c #Conflicts: 454000 | #Constraints: 45878
752.77/754.87 c #Conflicts: 455000 | #Constraints: 46878
752.77/754.87 c #Conflicts: 456000 | #Constraints: 47878
752.77/754.87 c #Conflicts: 457000 | #Constraints: 48878
752.77/754.87 c #Conflicts: 458000 | #Constraints: 49878
752.77/754.87 c #Conflicts: 459000 | #Constraints: 50878
752.77/754.87 c #Conflicts: 460000 | #Constraints: 51878
752.77/754.87 c INPROCESSING
752.77/754.87 c GARBAGE COLLECT
752.77/754.87 c #Conflicts: 461000 | #Constraints: 37096
752.77/754.87 c #Conflicts: 462000 | #Constraints: 38096
752.77/754.87 c #Conflicts: 463000 | #Constraints: 39096
752.77/754.87 c #Conflicts: 464000 | #Constraints: 40096
752.77/754.87 c #Conflicts: 465000 | #Constraints: 41096
752.77/754.87 c #Conflicts: 466000 | #Constraints: 42096
752.77/754.87 c #Conflicts: 467000 | #Constraints: 43096
752.77/754.87 c #Conflicts: 468000 | #Constraints: 44096
752.77/754.87 c #Conflicts: 469000 | #Constraints: 45096
752.77/754.87 c #Conflicts: 470000 | #Constraints: 46096
752.77/754.87 c #Conflicts: 471000 | #Constraints: 47096
752.77/754.87 c #Conflicts: 472000 | #Constraints: 48096
752.77/754.87 c #Conflicts: 473000 | #Constraints: 49096
752.77/754.87 c #Conflicts: 474000 | #Constraints: 50096
752.77/754.87 c #Conflicts: 475000 | #Constraints: 51096
752.77/754.87 c #Conflicts: 476000 | #Constraints: 52096
752.77/754.87 c #Conflicts: 477000 | #Constraints: 53096
752.77/754.87 c #Conflicts: 478000 | #Constraints: 54096
752.77/754.87 c #Conflicts: 479000 | #Constraints: 55096
752.77/754.87 c #Conflicts: 480000 | #Constraints: 56096
752.77/754.87 c #Conflicts: 481000 | #Constraints: 57096
752.77/754.87 c #Conflicts: 482000 | #Constraints: 58096
752.77/754.87 c #Conflicts: 483000 | #Constraints: 59096
752.77/754.87 c #Conflicts: 484000 | #Constraints: 60096
752.77/754.87 c #Conflicts: 485000 | #Constraints: 61096
914.12/916.61 c #Conflicts: 486000 | #Constraints: 62096
914.12/916.61 c #Conflicts: 487000 | #Constraints: 63096
914.12/916.61 c #Conflicts: 488000 | #Constraints: 64096
914.12/916.61 c #Conflicts: 489000 | #Constraints: 65096
914.12/916.61 c #Conflicts: 490000 | #Constraints: 66096
914.12/916.61 c #Conflicts: 491000 | #Constraints: 67096
914.12/916.61 c #Conflicts: 492000 | #Constraints: 68096
914.12/916.61 c #Conflicts: 493000 | #Constraints: 69096
914.12/916.61 c #Conflicts: 494000 | #Constraints: 70096
914.12/916.61 c #Conflicts: 495000 | #Constraints: 71096
914.12/916.61 c #Conflicts: 496000 | #Constraints: 72096
914.12/916.61 c #Conflicts: 497000 | #Constraints: 73096
914.12/916.61 c #Conflicts: 498000 | #Constraints: 74096
914.12/916.61 c #Conflicts: 499000 | #Constraints: 75096
914.12/916.61 c #Conflicts: 500000 | #Constraints: 76096
914.12/916.61 c #Conflicts: 501000 | #Constraints: 77096
914.12/916.61 c #Conflicts: 502000 | #Constraints: 78096
914.12/916.61 c #Conflicts: 503000 | #Constraints: 79096
914.12/916.61 c #Conflicts: 504000 | #Constraints: 80096
914.12/916.61 c #Conflicts: 505000 | #Constraints: 81096
914.12/916.61 c #Conflicts: 506000 | #Constraints: 82096
914.12/916.61 c #Conflicts: 507000 | #Constraints: 83096
914.12/916.61 c #Conflicts: 508000 | #Constraints: 84096
914.12/916.61 c #Conflicts: 509000 | #Constraints: 85096
914.12/916.61 c #Conflicts: 510000 | #Constraints: 86096
914.12/916.61 c #Conflicts: 511000 | #Constraints: 87096
914.12/916.61 c #Conflicts: 512000 | #Constraints: 88096
914.12/916.61 c #Conflicts: 513000 | #Constraints: 89096
914.12/916.61 c #Conflicts: 514000 | #Constraints: 90096
914.12/916.61 c INPROCESSING
914.12/916.61 c GARBAGE COLLECT
914.12/916.61 c #Conflicts: 515000 | #Constraints: 55858
914.12/916.61 c #Conflicts: 516000 | #Constraints: 56858
914.12/916.61 c #Conflicts: 517000 | #Constraints: 57858
914.12/916.61 c #Conflicts: 518000 | #Constraints: 58858
914.12/916.61 c #Conflicts: 519000 | #Constraints: 59858
914.12/916.61 c #Conflicts: 520000 | #Constraints: 60858
914.12/916.61 c #Conflicts: 521000 | #Constraints: 61858
914.12/916.61 c #Conflicts: 522000 | #Constraints: 62858
914.12/916.61 c #Conflicts: 523000 | #Constraints: 63858
914.12/916.61 c #Conflicts: 524000 | #Constraints: 64858
914.12/916.61 c #Conflicts: 525000 | #Constraints: 65858
914.12/916.61 c #Conflicts: 526000 | #Constraints: 66858
914.12/916.61 c #Conflicts: 527000 | #Constraints: 67858
914.12/916.61 c #Conflicts: 528000 | #Constraints: 68858
914.12/916.61 c #Conflicts: 529000 | #Constraints: 69858
914.12/916.61 c #Conflicts: 530000 | #Constraints: 70858
914.12/916.61 c #Conflicts: 531000 | #Constraints: 71858
914.12/916.61 c INPROCESSING
914.12/916.61 c GARBAGE COLLECT
914.12/916.61 c #Conflicts: 532000 | #Constraints: 47135
914.12/916.61 c #Conflicts: 533000 | #Constraints: 48135
914.12/916.61 c #Conflicts: 534000 | #Constraints: 49135
914.12/916.61 c #Conflicts: 535000 | #Constraints: 50135
914.12/916.61 c #Conflicts: 536000 | #Constraints: 51135
914.12/916.61 c #Conflicts: 537000 | #Constraints: 52135
914.12/916.61 c #Conflicts: 538000 | #Constraints: 53135
914.12/916.61 c #Conflicts: 539000 | #Constraints: 54135
914.12/916.61 c #Conflicts: 540000 | #Constraints: 55135
914.12/916.61 c #Conflicts: 541000 | #Constraints: 56135
914.12/916.61 c #Conflicts: 542000 | #Constraints: 57135
914.12/916.61 c #Conflicts: 543000 | #Constraints: 58135
914.12/916.61 c #Conflicts: 544000 | #Constraints: 59135
914.12/916.61 c #Conflicts: 545000 | #Constraints: 60135
914.12/916.61 c #Conflicts: 546000 | #Constraints: 61135
914.12/916.61 c #Conflicts: 547000 | #Constraints: 62135
914.12/916.61 c INPROCESSING
914.12/916.61 c GARBAGE COLLECT
914.12/916.61 c #Conflicts: 548000 | #Constraints: 42082
914.12/916.61 c #Conflicts: 549000 | #Constraints: 43082
914.12/916.61 c #Conflicts: 550000 | #Constraints: 44082
914.12/916.61 c #Conflicts: 551000 | #Constraints: 45082
914.12/916.61 c #Conflicts: 552000 | #Constraints: 46082
914.12/916.61 c #Conflicts: 553000 | #Constraints: 47082
914.12/916.61 c #Conflicts: 554000 | #Constraints: 48082
914.12/916.61 c #Conflicts: 555000 | #Constraints: 49082
914.12/916.61 c #Conflicts: 556000 | #Constraints: 50082
914.12/916.61 c #Conflicts: 557000 | #Constraints: 51082
914.12/916.61 c #Conflicts: 558000 | #Constraints: 52082
914.12/916.61 c #Conflicts: 559000 | #Constraints: 53082
914.12/916.61 c #Conflicts: 560000 | #Constraints: 54082
914.12/916.61 c #Conflicts: 561000 | #Constraints: 55082
914.12/916.61 c #Conflicts: 562000 | #Constraints: 56082
1030.32/1033.18 c #Conflicts: 563000 | #Constraints: 57082
1030.32/1033.18 c #Conflicts: 564000 | #Constraints: 58082
1030.32/1033.18 c INPROCESSING
1030.32/1033.18 c GARBAGE COLLECT
1030.32/1033.18 c #Conflicts: 565000 | #Constraints: 40268
1030.32/1033.18 c #Conflicts: 566000 | #Constraints: 41268
1030.32/1033.18 c #Conflicts: 567000 | #Constraints: 42268
1030.32/1033.18 c #Conflicts: 568000 | #Constraints: 43268
1030.32/1033.18 c #Conflicts: 569000 | #Constraints: 44268
1030.32/1033.18 c #Conflicts: 570000 | #Constraints: 45268
1030.32/1033.18 c #Conflicts: 571000 | #Constraints: 46268
1030.32/1033.18 c #Conflicts: 572000 | #Constraints: 47268
1030.32/1033.18 c #Conflicts: 573000 | #Constraints: 48268
1030.32/1033.18 c #Conflicts: 574000 | #Constraints: 49268
1030.32/1033.18 c #Conflicts: 575000 | #Constraints: 50268
1030.32/1033.18 c #Conflicts: 576000 | #Constraints: 51268
1030.32/1033.18 c #Conflicts: 577000 | #Constraints: 52268
1030.32/1033.18 c #Conflicts: 578000 | #Constraints: 53268
1030.32/1033.18 c #Conflicts: 579000 | #Constraints: 54268
1030.32/1033.18 c #Conflicts: 580000 | #Constraints: 55268
1030.32/1033.18 c INPROCESSING
1030.32/1033.18 c GARBAGE COLLECT
1030.32/1033.18 c #Conflicts: 581000 | #Constraints: 38449
1030.32/1033.18 c #Conflicts: 582000 | #Constraints: 39449
1030.32/1033.18 c #Conflicts: 583000 | #Constraints: 40449
1030.32/1033.18 c #Conflicts: 584000 | #Constraints: 41449
1030.32/1033.18 c #Conflicts: 585000 | #Constraints: 42449
1030.32/1033.18 c #Conflicts: 586000 | #Constraints: 43449
1030.32/1033.18 c #Conflicts: 587000 | #Constraints: 44449
1030.32/1033.18 c #Conflicts: 588000 | #Constraints: 45449
1030.32/1033.18 c #Conflicts: 589000 | #Constraints: 46449
1030.32/1033.18 c #Conflicts: 590000 | #Constraints: 47449
1030.32/1033.18 c #Conflicts: 591000 | #Constraints: 48449
1030.32/1033.18 c #Conflicts: 592000 | #Constraints: 49449
1030.32/1033.18 c #Conflicts: 593000 | #Constraints: 50449
1030.32/1033.18 c #Conflicts: 594000 | #Constraints: 51449
1030.32/1033.18 c #Conflicts: 595000 | #Constraints: 52449
1030.32/1033.18 c #Conflicts: 596000 | #Constraints: 53449
1030.32/1033.18 c #Conflicts: 597000 | #Constraints: 54449
1030.32/1033.18 c INPROCESSING
1030.32/1033.18 c GARBAGE COLLECT
1030.32/1033.18 c #Conflicts: 598000 | #Constraints: 38040
1030.32/1033.18 c #Conflicts: 599000 | #Constraints: 39040
1030.32/1033.18 c #Conflicts: 600000 | #Constraints: 40040
1030.32/1033.18 c #Conflicts: 601000 | #Constraints: 41040
1030.32/1033.18 c #Conflicts: 602000 | #Constraints: 42040
1030.32/1033.18 c #Conflicts: 603000 | #Constraints: 43040
1030.32/1033.18 c #Conflicts: 604000 | #Constraints: 44040
1030.32/1033.18 c #Conflicts: 605000 | #Constraints: 45040
1030.32/1033.18 c #Conflicts: 606000 | #Constraints: 46040
1030.32/1033.18 c #Conflicts: 607000 | #Constraints: 47040
1030.32/1033.18 c #Conflicts: 608000 | #Constraints: 48040
1030.32/1033.18 c #Conflicts: 609000 | #Constraints: 49040
1030.32/1033.18 c #Conflicts: 610000 | #Constraints: 50040
1030.32/1033.18 c #Conflicts: 611000 | #Constraints: 51040
1030.32/1033.18 c #Conflicts: 612000 | #Constraints: 52040
1030.32/1033.18 c #Conflicts: 613000 | #Constraints: 53040
1030.32/1033.18 c #Conflicts: 614000 | #Constraints: 54040
1030.32/1033.18 c #Conflicts: 615000 | #Constraints: 55040
1030.32/1033.18 c #Conflicts: 616000 | #Constraints: 56040
1030.32/1033.18 c #Conflicts: 617000 | #Constraints: 57040
1030.32/1033.18 c #Conflicts: 618000 | #Constraints: 58040
1030.32/1033.18 c #Conflicts: 619000 | #Constraints: 59040
1030.32/1033.18 c #Conflicts: 620000 | #Constraints: 60040
1030.32/1033.18 c #Conflicts: 621000 | #Constraints: 61040
1030.32/1033.18 c #Conflicts: 622000 | #Constraints: 62040
1030.32/1033.18 c #Conflicts: 623000 | #Constraints: 63040
1030.32/1033.18 c #Conflicts: 624000 | #Constraints: 64040
1030.32/1033.18 c #Conflicts: 625000 | #Constraints: 65040
1030.32/1033.18 c #Conflicts: 626000 | #Constraints: 66040
1030.32/1033.18 c #Conflicts: 627000 | #Constraints: 67040
1030.32/1033.18 c #Conflicts: 628000 | #Constraints: 68040
1030.32/1033.18 c #Conflicts: 629000 | #Constraints: 69040
1030.32/1033.18 c #Conflicts: 630000 | #Constraints: 70040
1030.32/1033.18 c #Conflicts: 631000 | #Constraints: 71040
1030.32/1033.18 c #Conflicts: 632000 | #Constraints: 72040
1030.32/1033.18 c #Conflicts: 633000 | #Constraints: 73040
1030.32/1033.18 c #Conflicts: 634000 | #Constraints: 74040
1030.32/1033.18 c #Conflicts: 635000 | #Constraints: 75040
1030.32/1033.18 c #Conflicts: 636000 | #Constraints: 76040
1030.32/1033.18 c #Conflicts: 637000 | #Constraints: 77040
1030.32/1033.18 c #Conflicts: 638000 | #Constraints: 78040
1030.32/1033.18 c #Conflicts: 639000 | #Constraints: 79040
1226.67/1230.02 c #Conflicts: 640000 | #Constraints: 80040
1226.67/1230.02 c #Conflicts: 641000 | #Constraints: 81040
1226.67/1230.02 c #Conflicts: 642000 | #Constraints: 82040
1226.67/1230.02 c #Conflicts: 643000 | #Constraints: 83040
1226.67/1230.02 c #Conflicts: 644000 | #Constraints: 84040
1226.67/1230.02 c #Conflicts: 645000 | #Constraints: 85040
1226.67/1230.02 c #Conflicts: 646000 | #Constraints: 86040
1226.67/1230.02 c #Conflicts: 647000 | #Constraints: 87040
1226.67/1230.02 c #Conflicts: 648000 | #Constraints: 88040
1226.67/1230.02 c #Conflicts: 649000 | #Constraints: 89040
1226.67/1230.02 c #Conflicts: 650000 | #Constraints: 90040
1226.67/1230.02 c #Conflicts: 651000 | #Constraints: 91040
1226.67/1230.02 c #Conflicts: 652000 | #Constraints: 92040
1226.67/1230.02 c #Conflicts: 653000 | #Constraints: 93040
1226.67/1230.02 c #Conflicts: 654000 | #Constraints: 94040
1226.67/1230.02 c #Conflicts: 655000 | #Constraints: 95040
1226.67/1230.02 c #Conflicts: 656000 | #Constraints: 96040
1226.67/1230.02 c #Conflicts: 657000 | #Constraints: 97040
1226.67/1230.02 c #Conflicts: 658000 | #Constraints: 98040
1226.67/1230.02 c #Conflicts: 659000 | #Constraints: 99040
1226.67/1230.02 c #Conflicts: 660000 | #Constraints: 100040
1226.67/1230.02 c INPROCESSING
1226.67/1230.02 c GARBAGE COLLECT
1226.67/1230.02 c #Conflicts: 661000 | #Constraints: 61221
1226.67/1230.02 c #Conflicts: 662000 | #Constraints: 62221
1226.67/1230.02 c #Conflicts: 663000 | #Constraints: 63221
1226.67/1230.02 c #Conflicts: 664000 | #Constraints: 64221
1226.67/1230.02 c #Conflicts: 665000 | #Constraints: 65221
1226.67/1230.02 c #Conflicts: 666000 | #Constraints: 66221
1226.67/1230.02 c #Conflicts: 667000 | #Constraints: 67221
1226.67/1230.02 c #Conflicts: 668000 | #Constraints: 68221
1226.67/1230.02 c #Conflicts: 669000 | #Constraints: 69221
1226.67/1230.02 c #Conflicts: 670000 | #Constraints: 70221
1226.67/1230.02 c #Conflicts: 671000 | #Constraints: 71221
1226.67/1230.02 c #Conflicts: 672000 | #Constraints: 72221
1226.67/1230.02 c #Conflicts: 673000 | #Constraints: 73221
1226.67/1230.02 c #Conflicts: 674000 | #Constraints: 74221
1226.67/1230.02 c #Conflicts: 675000 | #Constraints: 75221
1226.67/1230.02 c #Conflicts: 676000 | #Constraints: 76221
1226.67/1230.02 c #Conflicts: 677000 | #Constraints: 77221
1226.67/1230.02 c #Conflicts: 678000 | #Constraints: 78221
1226.67/1230.02 c INPROCESSING
1226.67/1230.02 c GARBAGE COLLECT
1226.67/1230.02 c #Conflicts: 679000 | #Constraints: 50189
1226.67/1230.02 c #Conflicts: 680000 | #Constraints: 51189
1226.67/1230.02 c #Conflicts: 681000 | #Constraints: 52189
1226.67/1230.02 c #Conflicts: 682000 | #Constraints: 53189
1226.67/1230.02 c #Conflicts: 683000 | #Constraints: 54189
1226.67/1230.02 c #Conflicts: 684000 | #Constraints: 55189
1226.67/1230.02 c #Conflicts: 685000 | #Constraints: 56189
1226.67/1230.02 c #Conflicts: 686000 | #Constraints: 57189
1226.67/1230.02 c #Conflicts: 687000 | #Constraints: 58189
1226.67/1230.02 c #Conflicts: 688000 | #Constraints: 59189
1226.67/1230.02 c #Conflicts: 689000 | #Constraints: 60189
1226.67/1230.02 c #Conflicts: 690000 | #Constraints: 61189
1226.67/1230.02 c #Conflicts: 691000 | #Constraints: 62189
1226.67/1230.02 c #Conflicts: 692000 | #Constraints: 63189
1226.67/1230.02 c #Conflicts: 693000 | #Constraints: 64189
1226.67/1230.02 c #Conflicts: 694000 | #Constraints: 65189
1226.67/1230.02 c #Conflicts: 695000 | #Constraints: 66189
1226.67/1230.02 c #Conflicts: 696000 | #Constraints: 67189
1226.67/1230.02 c INPROCESSING
1226.67/1230.02 c GARBAGE COLLECT
1226.67/1230.02 c #Conflicts: 697000 | #Constraints: 44417
1226.67/1230.02 c #Conflicts: 698000 | #Constraints: 45417
1226.67/1230.02 c #Conflicts: 699000 | #Constraints: 46417
1226.67/1230.02 c #Conflicts: 700000 | #Constraints: 47417
1226.67/1230.02 c #Conflicts: 701000 | #Constraints: 48417
1226.67/1230.02 c #Conflicts: 702000 | #Constraints: 49417
1226.67/1230.02 c #Conflicts: 703000 | #Constraints: 50417
1226.67/1230.02 c #Conflicts: 704000 | #Constraints: 51417
1226.67/1230.02 c #Conflicts: 705000 | #Constraints: 52417
1226.67/1230.02 c #Conflicts: 706000 | #Constraints: 53417
1226.67/1230.02 c #Conflicts: 707000 | #Constraints: 54417
1226.67/1230.02 c #Conflicts: 708000 | #Constraints: 55417
1226.67/1230.02 c #Conflicts: 709000 | #Constraints: 56417
1226.67/1230.02 c #Conflicts: 710000 | #Constraints: 57417
1226.67/1230.02 c #Conflicts: 711000 | #Constraints: 58417
1226.67/1230.02 c #Conflicts: 712000 | #Constraints: 59417
1226.67/1230.02 c #Conflicts: 713000 | #Constraints: 60417
1226.67/1230.02 c #Conflicts: 714000 | #Constraints: 61417
1226.67/1230.02 c #Conflicts: 715000 | #Constraints: 62417
1226.67/1230.02 c INPROCESSING
1351.44/1355.15 c GARBAGE COLLECT
1351.44/1355.15 c #Conflicts: 716000 | #Constraints: 42177
1351.44/1355.15 c #Conflicts: 717000 | #Constraints: 43177
1351.44/1355.15 c #Conflicts: 718000 | #Constraints: 44177
1351.44/1355.15 c #Conflicts: 719000 | #Constraints: 45177
1351.44/1355.15 c #Conflicts: 720000 | #Constraints: 46177
1351.44/1355.15 c #Conflicts: 721000 | #Constraints: 47177
1351.44/1355.15 c #Conflicts: 722000 | #Constraints: 48177
1351.44/1355.15 c #Conflicts: 723000 | #Constraints: 49177
1351.44/1355.15 c #Conflicts: 724000 | #Constraints: 50177
1351.44/1355.15 c #Conflicts: 725000 | #Constraints: 51177
1351.44/1355.15 c #Conflicts: 726000 | #Constraints: 52177
1351.44/1355.15 c #Conflicts: 727000 | #Constraints: 53177
1351.44/1355.15 c #Conflicts: 728000 | #Constraints: 54177
1351.44/1355.15 c #Conflicts: 729000 | #Constraints: 55177
1351.44/1355.15 c #Conflicts: 730000 | #Constraints: 56177
1351.44/1355.15 c #Conflicts: 731000 | #Constraints: 57177
1351.44/1355.15 c #Conflicts: 732000 | #Constraints: 58177
1351.44/1355.15 c #Conflicts: 733000 | #Constraints: 59177
1351.44/1355.15 c #Conflicts: 734000 | #Constraints: 60177
1351.44/1355.15 c INPROCESSING
1351.44/1355.15 c GARBAGE COLLECT
1351.44/1355.15 c #Conflicts: 735000 | #Constraints: 41096
1351.44/1355.15 c #Conflicts: 736000 | #Constraints: 42096
1351.44/1355.15 c #Conflicts: 737000 | #Constraints: 43096
1351.44/1355.15 c #Conflicts: 738000 | #Constraints: 44096
1351.44/1355.15 c #Conflicts: 739000 | #Constraints: 45096
1351.44/1355.15 c #Conflicts: 740000 | #Constraints: 46096
1351.44/1355.15 c #Conflicts: 741000 | #Constraints: 47096
1351.44/1355.15 c #Conflicts: 742000 | #Constraints: 48096
1351.44/1355.15 c #Conflicts: 743000 | #Constraints: 49096
1351.44/1355.15 c #Conflicts: 744000 | #Constraints: 50096
1351.44/1355.15 c #Conflicts: 745000 | #Constraints: 51096
1351.44/1355.15 c #Conflicts: 746000 | #Constraints: 52096
1351.44/1355.15 c #Conflicts: 747000 | #Constraints: 53096
1351.44/1355.15 c #Conflicts: 748000 | #Constraints: 54096
1351.44/1355.15 c #Conflicts: 749000 | #Constraints: 55096
1351.44/1355.15 c #Conflicts: 750000 | #Constraints: 56096
1351.44/1355.15 c #Conflicts: 751000 | #Constraints: 57096
1351.44/1355.15 c #Conflicts: 752000 | #Constraints: 58096
1351.44/1355.15 c #Conflicts: 753000 | #Constraints: 59096
1351.44/1355.15 c INPROCESSING
1351.44/1355.15 c GARBAGE COLLECT
1351.44/1355.15 c #Conflicts: 754000 | #Constraints: 40519
1351.44/1355.15 c #Conflicts: 755000 | #Constraints: 41519
1351.44/1355.15 c #Conflicts: 756000 | #Constraints: 42519
1351.44/1355.15 c #Conflicts: 757000 | #Constraints: 43519
1351.44/1355.15 c #Conflicts: 758000 | #Constraints: 44519
1351.44/1355.15 c #Conflicts: 759000 | #Constraints: 45519
1351.44/1355.15 c #Conflicts: 760000 | #Constraints: 46519
1351.44/1355.15 c #Conflicts: 761000 | #Constraints: 47519
1351.44/1355.15 c #Conflicts: 762000 | #Constraints: 48519
1351.44/1355.15 c #Conflicts: 763000 | #Constraints: 49519
1351.44/1355.15 c #Conflicts: 764000 | #Constraints: 50519
1351.44/1355.15 c #Conflicts: 765000 | #Constraints: 51519
1351.44/1355.15 c #Conflicts: 766000 | #Constraints: 52519
1351.44/1355.15 c #Conflicts: 767000 | #Constraints: 53519
1351.44/1355.15 c #Conflicts: 768000 | #Constraints: 54519
1351.44/1355.15 c #Conflicts: 769000 | #Constraints: 55519
1351.44/1355.15 c #Conflicts: 770000 | #Constraints: 56519
1351.44/1355.15 c #Conflicts: 771000 | #Constraints: 57519
1351.44/1355.15 c #Conflicts: 772000 | #Constraints: 58519
1351.44/1355.15 c #Conflicts: 773000 | #Constraints: 59519
1351.44/1355.15 c #Conflicts: 774000 | #Constraints: 60519
1351.44/1355.15 c #Conflicts: 775000 | #Constraints: 61519
1351.44/1355.15 c #Conflicts: 776000 | #Constraints: 62519
1351.44/1355.15 c #Conflicts: 777000 | #Constraints: 63519
1351.44/1355.15 c #Conflicts: 778000 | #Constraints: 64519
1351.44/1355.15 c #Conflicts: 779000 | #Constraints: 65519
1351.44/1355.15 c #Conflicts: 780000 | #Constraints: 66519
1351.44/1355.15 c #Conflicts: 781000 | #Constraints: 67519
1351.44/1355.15 c #Conflicts: 782000 | #Constraints: 68519
1351.44/1355.15 c #Conflicts: 783000 | #Constraints: 69519
1351.44/1355.15 c #Conflicts: 784000 | #Constraints: 70519
1351.44/1355.15 c #Conflicts: 785000 | #Constraints: 71519
1351.44/1355.15 c #Conflicts: 786000 | #Constraints: 72519
1351.44/1355.15 c #Conflicts: 787000 | #Constraints: 73519
1351.44/1355.15 c #Conflicts: 788000 | #Constraints: 74519
1351.44/1355.15 c #Conflicts: 789000 | #Constraints: 75519
1351.44/1355.15 c #Conflicts: 790000 | #Constraints: 76519
1351.44/1355.15 c #Conflicts: 791000 | #Constraints: 77519
1351.44/1355.15 c #Conflicts: 792000 | #Constraints: 78519
1611.89/1616.32 c #Conflicts: 793000 | #Constraints: 79519
1611.89/1616.32 c #Conflicts: 794000 | #Constraints: 80519
1611.89/1616.32 c #Conflicts: 795000 | #Constraints: 81519
1611.89/1616.32 c #Conflicts: 796000 | #Constraints: 82519
1611.89/1616.32 c #Conflicts: 797000 | #Constraints: 83519
1611.89/1616.32 c #Conflicts: 798000 | #Constraints: 84519
1611.89/1616.32 c #Conflicts: 799000 | #Constraints: 85519
1611.89/1616.32 c #Conflicts: 800000 | #Constraints: 86519
1611.89/1616.32 c #Conflicts: 801000 | #Constraints: 87519
1611.89/1616.32 c #Conflicts: 802000 | #Constraints: 88519
1611.89/1616.32 c #Conflicts: 803000 | #Constraints: 89519
1611.89/1616.32 c #Conflicts: 804000 | #Constraints: 90519
1611.89/1616.32 c #Conflicts: 805000 | #Constraints: 91519
1611.89/1616.32 c #Conflicts: 806000 | #Constraints: 92519
1611.89/1616.32 c #Conflicts: 807000 | #Constraints: 93519
1611.89/1616.32 c #Conflicts: 808000 | #Constraints: 94519
1611.89/1616.32 c #Conflicts: 809000 | #Constraints: 95519
1611.89/1616.32 c #Conflicts: 810000 | #Constraints: 96519
1611.89/1616.32 c #Conflicts: 811000 | #Constraints: 97519
1611.89/1616.32 c #Conflicts: 812000 | #Constraints: 98519
1611.89/1616.32 c #Conflicts: 813000 | #Constraints: 99519
1611.89/1616.32 c #Conflicts: 814000 | #Constraints: 100519
1611.89/1616.32 c #Conflicts: 815000 | #Constraints: 101519
1611.89/1616.32 c #Conflicts: 816000 | #Constraints: 102519
1611.89/1616.32 c #Conflicts: 817000 | #Constraints: 103519
1611.89/1616.32 c #Conflicts: 818000 | #Constraints: 104519
1611.89/1616.32 c #Conflicts: 819000 | #Constraints: 105519
1611.89/1616.32 c #Conflicts: 820000 | #Constraints: 106519
1611.89/1616.32 c #Conflicts: 821000 | #Constraints: 107519
1611.89/1616.32 c #Conflicts: 822000 | #Constraints: 108519
1611.89/1616.32 c #Conflicts: 823000 | #Constraints: 109519
1611.89/1616.32 c INPROCESSING
1611.89/1616.32 c GARBAGE COLLECT
1611.89/1616.32 c #Conflicts: 824000 | #Constraints: 65883
1611.89/1616.32 c #Conflicts: 825000 | #Constraints: 66883
1611.89/1616.32 c #Conflicts: 826000 | #Constraints: 67883
1611.89/1616.32 c #Conflicts: 827000 | #Constraints: 68883
1611.89/1616.32 c #Conflicts: 828000 | #Constraints: 69883
1611.89/1616.32 c #Conflicts: 829000 | #Constraints: 70883
1611.89/1616.32 c #Conflicts: 830000 | #Constraints: 71883
1611.89/1616.32 c #Conflicts: 831000 | #Constraints: 72883
1611.89/1616.32 c #Conflicts: 832000 | #Constraints: 73883
1611.89/1616.32 c #Conflicts: 833000 | #Constraints: 74883
1611.89/1616.32 c #Conflicts: 834000 | #Constraints: 75883
1611.89/1616.32 c #Conflicts: 835000 | #Constraints: 76883
1611.89/1616.32 c #Conflicts: 836000 | #Constraints: 77883
1611.89/1616.32 c #Conflicts: 837000 | #Constraints: 78883
1611.89/1616.32 c #Conflicts: 838000 | #Constraints: 79883
1611.89/1616.32 c #Conflicts: 839000 | #Constraints: 80883
1611.89/1616.32 c #Conflicts: 840000 | #Constraints: 81883
1611.89/1616.32 c #Conflicts: 841000 | #Constraints: 82883
1611.89/1616.32 c #Conflicts: 842000 | #Constraints: 83883
1611.89/1616.32 c #Conflicts: 843000 | #Constraints: 84883
1611.89/1616.32 c INPROCESSING
1611.89/1616.32 c GARBAGE COLLECT
1611.89/1616.32 c #Conflicts: 844000 | #Constraints: 53358
1611.89/1616.32 c #Conflicts: 845000 | #Constraints: 54358
1611.89/1616.32 c #Conflicts: 846000 | #Constraints: 55358
1611.89/1616.32 c #Conflicts: 847000 | #Constraints: 56358
1611.89/1616.32 c #Conflicts: 848000 | #Constraints: 57358
1611.89/1616.32 c #Conflicts: 849000 | #Constraints: 58358
1611.89/1616.32 c #Conflicts: 850000 | #Constraints: 59358
1611.89/1616.32 c #Conflicts: 851000 | #Constraints: 60358
1611.89/1616.32 c #Conflicts: 852000 | #Constraints: 61358
1611.89/1616.32 c #Conflicts: 853000 | #Constraints: 62358
1611.89/1616.32 c #Conflicts: 854000 | #Constraints: 63358
1611.89/1616.32 c #Conflicts: 855000 | #Constraints: 64358
1611.89/1616.32 c #Conflicts: 856000 | #Constraints: 65358
1611.89/1616.32 c #Conflicts: 857000 | #Constraints: 66358
1611.89/1616.32 c #Conflicts: 858000 | #Constraints: 67358
1611.89/1616.32 c #Conflicts: 859000 | #Constraints: 68358
1611.89/1616.32 c #Conflicts: 860000 | #Constraints: 69358
1611.89/1616.32 c #Conflicts: 861000 | #Constraints: 70358
1611.89/1616.32 c #Conflicts: 862000 | #Constraints: 71358
1611.89/1616.32 c #Conflicts: 863000 | #Constraints: 72358
1611.89/1616.32 c #Conflicts: 864000 | #Constraints: 73358
1611.89/1616.32 c INPROCESSING
1611.89/1616.32 c GARBAGE COLLECT
1611.89/1616.32 c #Conflicts: 865000 | #Constraints: 47783
1611.89/1616.32 c #Conflicts: 866000 | #Constraints: 48783
1611.89/1616.32 c #Conflicts: 867000 | #Constraints: 49783
1611.89/1616.32 c #Conflicts: 868000 | #Constraints: 50783
1611.89/1616.32 c #Conflicts: 869000 | #Constraints: 51783
1736.18/1740.95 c #Conflicts: 870000 | #Constraints: 52783
1736.18/1740.95 c #Conflicts: 871000 | #Constraints: 53783
1736.18/1740.95 c #Conflicts: 872000 | #Constraints: 54783
1736.18/1740.95 c #Conflicts: 873000 | #Constraints: 55783
1736.18/1740.95 c #Conflicts: 874000 | #Constraints: 56783
1736.18/1740.95 c #Conflicts: 875000 | #Constraints: 57783
1736.18/1740.95 c #Conflicts: 876000 | #Constraints: 58783
1736.18/1740.95 c #Conflicts: 877000 | #Constraints: 59783
1736.18/1740.95 c #Conflicts: 878000 | #Constraints: 60783
1736.18/1740.95 c #Conflicts: 879000 | #Constraints: 61783
1736.18/1740.95 c #Conflicts: 880000 | #Constraints: 62783
1736.18/1740.95 c #Conflicts: 881000 | #Constraints: 63783
1736.18/1740.95 c #Conflicts: 882000 | #Constraints: 64783
1736.18/1740.95 c #Conflicts: 883000 | #Constraints: 65783
1736.18/1740.95 c #Conflicts: 884000 | #Constraints: 66783
1736.18/1740.95 c #Conflicts: 885000 | #Constraints: 67783
1736.18/1740.95 c INPROCESSING
1736.18/1740.95 c GARBAGE COLLECT
1736.18/1740.95 c #Conflicts: 886000 | #Constraints: 45109
1736.18/1740.95 c #Conflicts: 887000 | #Constraints: 46109
1736.18/1740.95 c #Conflicts: 888000 | #Constraints: 47109
1736.18/1740.95 c #Conflicts: 889000 | #Constraints: 48109
1736.18/1740.95 c #Conflicts: 890000 | #Constraints: 49109
1736.18/1740.95 c #Conflicts: 891000 | #Constraints: 50109
1736.18/1740.95 c #Conflicts: 892000 | #Constraints: 51109
1736.18/1740.95 c #Conflicts: 893000 | #Constraints: 52109
1736.18/1740.95 c #Conflicts: 894000 | #Constraints: 53109
1736.18/1740.95 c #Conflicts: 895000 | #Constraints: 54109
1736.18/1740.95 c #Conflicts: 896000 | #Constraints: 55109
1736.18/1740.95 c #Conflicts: 897000 | #Constraints: 56109
1736.18/1740.95 c #Conflicts: 898000 | #Constraints: 57109
1736.18/1740.95 c #Conflicts: 899000 | #Constraints: 58109
1736.18/1740.95 c #Conflicts: 900000 | #Constraints: 59109
1736.18/1740.95 c #Conflicts: 901000 | #Constraints: 60109
1736.18/1740.95 c #Conflicts: 902000 | #Constraints: 61109
1736.18/1740.95 c #Conflicts: 903000 | #Constraints: 62109
1736.18/1740.95 c #Conflicts: 904000 | #Constraints: 63109
1736.18/1740.95 c #Conflicts: 905000 | #Constraints: 64109
1736.18/1740.95 c #Conflicts: 906000 | #Constraints: 65109
1736.18/1740.95 c INPROCESSING
1736.18/1740.95 c GARBAGE COLLECT
1736.18/1740.95 c #Conflicts: 907000 | #Constraints: 43766
1736.18/1740.95 c #Conflicts: 908000 | #Constraints: 44766
1736.18/1740.95 c #Conflicts: 909000 | #Constraints: 45766
1736.18/1740.95 c #Conflicts: 910000 | #Constraints: 46766
1736.18/1740.95 c #Conflicts: 911000 | #Constraints: 47766
1736.18/1740.95 c #Conflicts: 912000 | #Constraints: 48766
1736.18/1740.95 c #Conflicts: 913000 | #Constraints: 49766
1736.18/1740.95 c #Conflicts: 914000 | #Constraints: 50766
1736.18/1740.95 c #Conflicts: 915000 | #Constraints: 51766
1736.18/1740.95 c #Conflicts: 916000 | #Constraints: 52766
1736.18/1740.95 c #Conflicts: 917000 | #Constraints: 53766
1736.18/1740.95 c #Conflicts: 918000 | #Constraints: 54766
1736.18/1740.95 c #Conflicts: 919000 | #Constraints: 55766
1736.18/1740.95 c #Conflicts: 920000 | #Constraints: 56766
1736.18/1740.95 c #Conflicts: 921000 | #Constraints: 57766
1736.18/1740.95 c #Conflicts: 922000 | #Constraints: 58766
1736.18/1740.95 c #Conflicts: 923000 | #Constraints: 59766
1736.18/1740.95 c #Conflicts: 924000 | #Constraints: 60766
1736.18/1740.95 c #Conflicts: 925000 | #Constraints: 61766
1736.18/1740.95 c #Conflicts: 926000 | #Constraints: 62766
1736.18/1740.95 c #Conflicts: 927000 | #Constraints: 63766
1736.18/1740.95 c INPROCESSING
1736.18/1740.95 c GARBAGE COLLECT
1736.18/1740.95 c #Conflicts: 928000 | #Constraints: 43004
1736.18/1740.95 c #Conflicts: 929000 | #Constraints: 44004
1736.18/1740.95 c #Conflicts: 930000 | #Constraints: 45004
1736.18/1740.95 c #Conflicts: 931000 | #Constraints: 46004
1736.18/1740.95 c #Conflicts: 932000 | #Constraints: 47004
1736.18/1740.95 c #Conflicts: 933000 | #Constraints: 48004
1736.18/1740.95 c #Conflicts: 934000 | #Constraints: 49004
1736.18/1740.95 c #Conflicts: 935000 | #Constraints: 50004
1736.18/1740.95 c #Conflicts: 936000 | #Constraints: 51004
1736.18/1740.95 c #Conflicts: 937000 | #Constraints: 52004
1736.18/1740.95 c #Conflicts: 938000 | #Constraints: 53004
1736.18/1740.95 c #Conflicts: 939000 | #Constraints: 54004
1736.18/1740.95 c #Conflicts: 940000 | #Constraints: 55004
1736.18/1740.95 c #Conflicts: 941000 | #Constraints: 56004
1736.18/1740.95 c #Conflicts: 942000 | #Constraints: 57004
1736.18/1740.95 c #Conflicts: 943000 | #Constraints: 58004
1736.18/1740.95 c #Conflicts: 944000 | #Constraints: 59004
1736.18/1740.95 c #Conflicts: 945000 | #Constraints: 60004
1736.18/1740.95 c #Conflicts: 946000 | #Constraints: 61004
2009.89/2015.39 c #Conflicts: 947000 | #Constraints: 62004
2009.89/2015.39 c #Conflicts: 948000 | #Constraints: 63004
2009.89/2015.39 c #Conflicts: 949000 | #Constraints: 64004
2009.89/2015.39 c #Conflicts: 950000 | #Constraints: 65004
2009.89/2015.39 c #Conflicts: 951000 | #Constraints: 66004
2009.89/2015.39 c #Conflicts: 952000 | #Constraints: 67004
2009.89/2015.39 c #Conflicts: 953000 | #Constraints: 68004
2009.89/2015.39 c #Conflicts: 954000 | #Constraints: 69004
2009.89/2015.39 c #Conflicts: 955000 | #Constraints: 70004
2009.89/2015.39 c #Conflicts: 956000 | #Constraints: 71004
2009.89/2015.39 c #Conflicts: 957000 | #Constraints: 72004
2009.89/2015.39 c #Conflicts: 958000 | #Constraints: 73004
2009.89/2015.39 c #Conflicts: 959000 | #Constraints: 74004
2009.89/2015.39 c #Conflicts: 960000 | #Constraints: 75004
2009.89/2015.39 c #Conflicts: 961000 | #Constraints: 76004
2009.89/2015.39 c #Conflicts: 962000 | #Constraints: 77004
2009.89/2015.39 c #Conflicts: 963000 | #Constraints: 78004
2009.89/2015.39 c #Conflicts: 964000 | #Constraints: 79004
2009.89/2015.39 c #Conflicts: 965000 | #Constraints: 80004
2009.89/2015.39 c #Conflicts: 966000 | #Constraints: 81004
2009.89/2015.39 c #Conflicts: 967000 | #Constraints: 82004
2009.89/2015.39 c #Conflicts: 968000 | #Constraints: 83004
2009.89/2015.39 c #Conflicts: 969000 | #Constraints: 84004
2009.89/2015.39 c #Conflicts: 970000 | #Constraints: 85004
2009.89/2015.39 c #Conflicts: 971000 | #Constraints: 86004
2009.89/2015.39 c #Conflicts: 972000 | #Constraints: 87004
2009.89/2015.39 c #Conflicts: 973000 | #Constraints: 88004
2009.89/2015.39 c #Conflicts: 974000 | #Constraints: 89004
2009.89/2015.39 c #Conflicts: 975000 | #Constraints: 90004
2009.89/2015.39 c #Conflicts: 976000 | #Constraints: 91004
2009.89/2015.39 c #Conflicts: 977000 | #Constraints: 92004
2009.89/2015.39 c #Conflicts: 978000 | #Constraints: 93004
2009.89/2015.39 c #Conflicts: 979000 | #Constraints: 94004
2009.89/2015.39 c #Conflicts: 980000 | #Constraints: 95004
2009.89/2015.39 c #Conflicts: 981000 | #Constraints: 96004
2009.89/2015.39 c #Conflicts: 982000 | #Constraints: 97004
2009.89/2015.39 c #Conflicts: 983000 | #Constraints: 98004
2009.89/2015.39 c #Conflicts: 984000 | #Constraints: 99004
2009.89/2015.39 c #Conflicts: 985000 | #Constraints: 100004
2009.89/2015.39 c #Conflicts: 986000 | #Constraints: 101004
2009.89/2015.39 c #Conflicts: 987000 | #Constraints: 102004
2009.89/2015.39 c #Conflicts: 988000 | #Constraints: 103004
2009.89/2015.39 c #Conflicts: 989000 | #Constraints: 104004
2009.89/2015.39 c #Conflicts: 990000 | #Constraints: 105004
2009.89/2015.39 c #Conflicts: 991000 | #Constraints: 106004
2009.89/2015.39 c #Conflicts: 992000 | #Constraints: 107004
2009.89/2015.39 c #Conflicts: 993000 | #Constraints: 108004
2009.89/2015.39 c #Conflicts: 994000 | #Constraints: 109004
2009.89/2015.39 c #Conflicts: 995000 | #Constraints: 110004
2009.89/2015.39 c #Conflicts: 996000 | #Constraints: 111004
2009.89/2015.39 c #Conflicts: 997000 | #Constraints: 112004
2009.89/2015.39 c #Conflicts: 998000 | #Constraints: 113004
2009.89/2015.39 c #Conflicts: 999000 | #Constraints: 114004
2009.89/2015.39 c #Conflicts: 1000000 | #Constraints: 115004
2009.89/2015.39 c #Conflicts: 1001000 | #Constraints: 116004
2009.89/2015.39 c #Conflicts: 1002000 | #Constraints: 117004
2009.89/2015.39 c #Conflicts: 1003000 | #Constraints: 118004
2009.89/2015.39 c #Conflicts: 1004000 | #Constraints: 119004
2009.89/2015.39 c INPROCESSING
2009.89/2015.39 c GARBAGE COLLECT
2009.89/2015.39 c #Conflicts: 1005000 | #Constraints: 70519
2009.89/2015.39 c #Conflicts: 1006000 | #Constraints: 71519
2009.89/2015.39 c #Conflicts: 1007000 | #Constraints: 72519
2009.89/2015.39 c #Conflicts: 1008000 | #Constraints: 73519
2009.89/2015.39 c #Conflicts: 1009000 | #Constraints: 74519
2009.89/2015.39 c #Conflicts: 1010000 | #Constraints: 75519
2009.89/2015.39 c #Conflicts: 1011000 | #Constraints: 76519
2009.89/2015.39 c #Conflicts: 1012000 | #Constraints: 77519
2009.89/2015.39 c #Conflicts: 1013000 | #Constraints: 78519
2009.89/2015.39 c #Conflicts: 1014000 | #Constraints: 79519
2009.89/2015.39 c #Conflicts: 1015000 | #Constraints: 80519
2009.89/2015.39 c #Conflicts: 1016000 | #Constraints: 81519
2009.89/2015.39 c #Conflicts: 1017000 | #Constraints: 82519
2009.89/2015.39 c #Conflicts: 1018000 | #Constraints: 83519
2009.89/2015.39 c #Conflicts: 1019000 | #Constraints: 84519
2009.89/2015.39 c #Conflicts: 1020000 | #Constraints: 85519
2009.89/2015.39 c #Conflicts: 1021000 | #Constraints: 86519
2009.89/2015.39 c #Conflicts: 1022000 | #Constraints: 87519
2009.89/2015.39 c #Conflicts: 1023000 | #Constraints: 88519
2009.89/2015.39 c #Conflicts: 1024000 | #Constraints: 89519
2183.86/2189.77 c #Conflicts: 1025000 | #Constraints: 90519
2183.86/2189.77 c #Conflicts: 1026000 | #Constraints: 91519
2183.86/2189.77 c INPROCESSING
2183.86/2189.77 c GARBAGE COLLECT
2183.86/2189.77 c #Conflicts: 1027000 | #Constraints: 56513
2183.86/2189.77 c #Conflicts: 1028000 | #Constraints: 57513
2183.86/2189.77 c #Conflicts: 1029000 | #Constraints: 58513
2183.86/2189.77 c #Conflicts: 1030000 | #Constraints: 59513
2183.86/2189.77 c #Conflicts: 1031000 | #Constraints: 60513
2183.86/2189.77 c #Conflicts: 1032000 | #Constraints: 61513
2183.86/2189.77 c #Conflicts: 1033000 | #Constraints: 62513
2183.86/2189.77 c #Conflicts: 1034000 | #Constraints: 63513
2183.86/2189.77 c #Conflicts: 1035000 | #Constraints: 64513
2183.86/2189.77 c #Conflicts: 1036000 | #Constraints: 65513
2183.86/2189.77 c #Conflicts: 1037000 | #Constraints: 66513
2183.86/2189.77 c #Conflicts: 1038000 | #Constraints: 67513
2183.86/2189.77 c #Conflicts: 1039000 | #Constraints: 68513
2183.86/2189.77 c #Conflicts: 1040000 | #Constraints: 69513
2183.86/2189.77 c #Conflicts: 1041000 | #Constraints: 70513
2183.86/2189.77 c #Conflicts: 1042000 | #Constraints: 71513
2183.86/2189.77 c #Conflicts: 1043000 | #Constraints: 72513
2183.86/2189.77 c #Conflicts: 1044000 | #Constraints: 73513
2183.86/2189.77 c #Conflicts: 1045000 | #Constraints: 74513
2183.86/2189.77 c #Conflicts: 1046000 | #Constraints: 75513
2183.86/2189.77 c #Conflicts: 1047000 | #Constraints: 76513
2183.86/2189.77 c #Conflicts: 1048000 | #Constraints: 77513
2183.86/2189.77 c #Conflicts: 1049000 | #Constraints: 78513
2183.86/2189.77 c INPROCESSING
2183.86/2189.77 c GARBAGE COLLECT
2183.86/2189.77 c #Conflicts: 1050000 | #Constraints: 50190
2183.86/2189.77 c #Conflicts: 1051000 | #Constraints: 51190
2183.86/2189.77 c #Conflicts: 1052000 | #Constraints: 52190
2183.86/2189.77 c #Conflicts: 1053000 | #Constraints: 53190
2183.86/2189.77 c #Conflicts: 1054000 | #Constraints: 54190
2183.86/2189.77 c #Conflicts: 1055000 | #Constraints: 55190
2183.86/2189.77 c #Conflicts: 1056000 | #Constraints: 56190
2183.86/2189.77 c #Conflicts: 1057000 | #Constraints: 57190
2183.86/2189.77 c #Conflicts: 1058000 | #Constraints: 58190
2183.86/2189.77 c #Conflicts: 1059000 | #Constraints: 59190
2183.86/2189.77 c #Conflicts: 1060000 | #Constraints: 60190
2183.86/2189.77 c #Conflicts: 1061000 | #Constraints: 61190
2183.86/2189.77 c #Conflicts: 1062000 | #Constraints: 62190
2183.86/2189.77 c #Conflicts: 1063000 | #Constraints: 63190
2183.86/2189.77 c #Conflicts: 1064000 | #Constraints: 64190
2183.86/2189.77 c #Conflicts: 1065000 | #Constraints: 65190
2183.86/2189.77 c #Conflicts: 1066000 | #Constraints: 66190
2183.86/2189.77 c #Conflicts: 1067000 | #Constraints: 67190
2183.86/2189.77 c #Conflicts: 1068000 | #Constraints: 68190
2183.86/2189.77 c #Conflicts: 1069000 | #Constraints: 69190
2183.86/2189.77 c #Conflicts: 1070000 | #Constraints: 70190
2183.86/2189.77 c #Conflicts: 1071000 | #Constraints: 71190
2183.86/2189.77 c #Conflicts: 1072000 | #Constraints: 72190
2183.86/2189.77 c INPROCESSING
2183.86/2189.77 c GARBAGE COLLECT
2183.86/2189.77 c #Conflicts: 1073000 | #Constraints: 47048
2183.86/2189.77 c #Conflicts: 1074000 | #Constraints: 48048
2183.86/2189.77 c #Conflicts: 1075000 | #Constraints: 49048
2183.86/2189.77 c #Conflicts: 1076000 | #Constraints: 50048
2183.86/2189.77 c #Conflicts: 1077000 | #Constraints: 51048
2183.86/2189.77 c #Conflicts: 1078000 | #Constraints: 52048
2183.86/2189.77 c #Conflicts: 1079000 | #Constraints: 53048
2183.86/2189.77 c #Conflicts: 1080000 | #Constraints: 54048
2183.86/2189.77 c #Conflicts: 1081000 | #Constraints: 55048
2183.86/2189.77 c #Conflicts: 1082000 | #Constraints: 56048
2183.86/2189.77 c #Conflicts: 1083000 | #Constraints: 57048
2183.86/2189.77 c #Conflicts: 1084000 | #Constraints: 58048
2183.86/2189.77 c #Conflicts: 1085000 | #Constraints: 59048
2183.86/2189.77 c #Conflicts: 1086000 | #Constraints: 60048
2183.86/2189.77 c #Conflicts: 1087000 | #Constraints: 61048
2183.86/2189.77 c #Conflicts: 1088000 | #Constraints: 62048
2183.86/2189.77 c #Conflicts: 1089000 | #Constraints: 63048
2183.86/2189.77 c #Conflicts: 1090000 | #Constraints: 64048
2183.86/2189.77 c #Conflicts: 1091000 | #Constraints: 65048
2183.86/2189.77 c #Conflicts: 1092000 | #Constraints: 66048
2183.86/2189.77 c #Conflicts: 1093000 | #Constraints: 67048
2183.86/2189.77 c #Conflicts: 1094000 | #Constraints: 68048
2183.86/2189.77 c #Conflicts: 1095000 | #Constraints: 69048
2183.86/2189.77 c INPROCESSING
2183.86/2189.77 c GARBAGE COLLECT
2183.86/2189.77 c #Conflicts: 1096000 | #Constraints: 45429
2183.86/2189.77 c #Conflicts: 1097000 | #Constraints: 46429
2183.86/2189.77 c #Conflicts: 1098000 | #Constraints: 47429
2183.86/2189.77 c #Conflicts: 1099000 | #Constraints: 48429
2183.86/2189.77 c #Conflicts: 1100000 | #Constraints: 49429
2183.86/2189.77 c #Conflicts: 1101000 | #Constraints: 50429
2381.56/2387.94 c #Conflicts: 1102000 | #Constraints: 51429
2381.56/2387.94 c #Conflicts: 1103000 | #Constraints: 52429
2381.56/2387.94 c #Conflicts: 1104000 | #Constraints: 53429
2381.56/2387.94 c #Conflicts: 1105000 | #Constraints: 54429
2381.56/2387.94 c #Conflicts: 1106000 | #Constraints: 55429
2381.56/2387.94 c #Conflicts: 1107000 | #Constraints: 56429
2381.56/2387.94 c #Conflicts: 1108000 | #Constraints: 57429
2381.56/2387.94 c #Conflicts: 1109000 | #Constraints: 58429
2381.56/2387.94 c #Conflicts: 1110000 | #Constraints: 59429
2381.56/2387.94 c #Conflicts: 1111000 | #Constraints: 60429
2381.56/2387.94 c #Conflicts: 1112000 | #Constraints: 61429
2381.56/2387.94 c #Conflicts: 1113000 | #Constraints: 62429
2381.56/2387.94 c #Conflicts: 1114000 | #Constraints: 63429
2381.56/2387.94 c #Conflicts: 1115000 | #Constraints: 64429
2381.56/2387.94 c #Conflicts: 1116000 | #Constraints: 65429
2381.56/2387.94 c #Conflicts: 1117000 | #Constraints: 66429
2381.56/2387.94 c #Conflicts: 1118000 | #Constraints: 67429
2381.56/2387.94 c INPROCESSING
2381.56/2387.94 c GARBAGE COLLECT
2381.56/2387.94 c #Conflicts: 1119000 | #Constraints: 44483
2381.56/2387.94 c #Conflicts: 1120000 | #Constraints: 45483
2381.56/2387.94 c #Conflicts: 1121000 | #Constraints: 46483
2381.56/2387.94 c #Conflicts: 1122000 | #Constraints: 47483
2381.56/2387.94 c #Conflicts: 1123000 | #Constraints: 48483
2381.56/2387.94 c #Conflicts: 1124000 | #Constraints: 49483
2381.56/2387.94 c #Conflicts: 1125000 | #Constraints: 50483
2381.56/2387.94 c #Conflicts: 1126000 | #Constraints: 51483
2381.56/2387.94 c #Conflicts: 1127000 | #Constraints: 52483
2381.56/2387.94 c #Conflicts: 1128000 | #Constraints: 53483
2381.56/2387.94 c #Conflicts: 1129000 | #Constraints: 54483
2381.56/2387.94 c #Conflicts: 1130000 | #Constraints: 55483
2381.56/2387.94 c #Conflicts: 1131000 | #Constraints: 56483
2381.56/2387.94 c #Conflicts: 1132000 | #Constraints: 57483
2381.56/2387.94 c #Conflicts: 1133000 | #Constraints: 58483
2381.56/2387.94 c #Conflicts: 1134000 | #Constraints: 59483
2381.56/2387.94 c #Conflicts: 1135000 | #Constraints: 60483
2381.56/2387.94 c #Conflicts: 1136000 | #Constraints: 61483
2381.56/2387.94 c #Conflicts: 1137000 | #Constraints: 62483
2381.56/2387.94 c #Conflicts: 1138000 | #Constraints: 63483
2381.56/2387.94 c #Conflicts: 1139000 | #Constraints: 64483
2381.56/2387.94 c #Conflicts: 1140000 | #Constraints: 65483
2381.56/2387.94 c #Conflicts: 1141000 | #Constraints: 66483
2381.56/2387.94 c #Conflicts: 1142000 | #Constraints: 67483
2381.56/2387.94 c #Conflicts: 1143000 | #Constraints: 68483
2381.56/2387.94 c #Conflicts: 1144000 | #Constraints: 69483
2381.56/2387.94 c #Conflicts: 1145000 | #Constraints: 70483
2381.56/2387.94 c #Conflicts: 1146000 | #Constraints: 71483
2381.56/2387.94 c #Conflicts: 1147000 | #Constraints: 72483
2381.56/2387.94 c #Conflicts: 1148000 | #Constraints: 73483
2381.56/2387.94 c #Conflicts: 1149000 | #Constraints: 74483
2381.56/2387.94 c #Conflicts: 1150000 | #Constraints: 75483
2381.56/2387.94 c #Conflicts: 1151000 | #Constraints: 76483
2381.56/2387.94 c #Conflicts: 1152000 | #Constraints: 77483
2381.56/2387.94 c #Conflicts: 1153000 | #Constraints: 78483
2381.56/2387.94 c #Conflicts: 1154000 | #Constraints: 79483
2381.56/2387.94 c #Conflicts: 1155000 | #Constraints: 80483
2381.56/2387.94 c #Conflicts: 1156000 | #Constraints: 81483
2381.56/2387.94 c #Conflicts: 1157000 | #Constraints: 82483
2381.56/2387.94 c #Conflicts: 1158000 | #Constraints: 83483
2381.56/2387.94 c #Conflicts: 1159000 | #Constraints: 84483
2381.56/2387.94 c #Conflicts: 1160000 | #Constraints: 85483
2381.56/2387.94 c #Conflicts: 1161000 | #Constraints: 86483
2381.56/2387.94 c #Conflicts: 1162000 | #Constraints: 87483
2381.56/2387.94 c #Conflicts: 1163000 | #Constraints: 88483
2381.56/2387.94 c #Conflicts: 1164000 | #Constraints: 89483
2381.56/2387.94 c #Conflicts: 1165000 | #Constraints: 90483
2381.56/2387.94 c #Conflicts: 1166000 | #Constraints: 91483
2381.56/2387.94 c #Conflicts: 1167000 | #Constraints: 92483
2381.56/2387.94 c #Conflicts: 1168000 | #Constraints: 93483
2381.56/2387.94 c #Conflicts: 1169000 | #Constraints: 94483
2381.56/2387.94 c #Conflicts: 1170000 | #Constraints: 95483
2381.56/2387.94 c #Conflicts: 1171000 | #Constraints: 96483
2381.56/2387.94 c #Conflicts: 1172000 | #Constraints: 97483
2381.56/2387.94 c #Conflicts: 1173000 | #Constraints: 98483
2381.56/2387.94 c #Conflicts: 1174000 | #Constraints: 99483
2381.56/2387.94 c #Conflicts: 1175000 | #Constraints: 100483
2381.56/2387.94 c #Conflicts: 1176000 | #Constraints: 101483
2381.56/2387.94 c #Conflicts: 1177000 | #Constraints: 102483
2381.56/2387.94 c #Conflicts: 1178000 | #Constraints: 103483
2381.56/2387.94 c #Conflicts: 1179000 | #Constraints: 104483
2723.77/2731.07 c #Conflicts: 1180000 | #Constraints: 105483
2723.77/2731.07 c #Conflicts: 1181000 | #Constraints: 106483
2723.77/2731.07 c #Conflicts: 1182000 | #Constraints: 107483
2723.77/2731.07 c #Conflicts: 1183000 | #Constraints: 108483
2723.77/2731.07 c #Conflicts: 1184000 | #Constraints: 109483
2723.77/2731.07 c #Conflicts: 1185000 | #Constraints: 110483
2723.77/2731.07 c #Conflicts: 1186000 | #Constraints: 111483
2723.77/2731.07 c #Conflicts: 1187000 | #Constraints: 112483
2723.77/2731.07 c #Conflicts: 1188000 | #Constraints: 113483
2723.77/2731.07 c #Conflicts: 1189000 | #Constraints: 114483
2723.77/2731.07 c #Conflicts: 1190000 | #Constraints: 115483
2723.77/2731.07 c #Conflicts: 1191000 | #Constraints: 116483
2723.77/2731.07 c #Conflicts: 1192000 | #Constraints: 117483
2723.77/2731.07 c #Conflicts: 1193000 | #Constraints: 118483
2723.77/2731.07 c #Conflicts: 1194000 | #Constraints: 119483
2723.77/2731.07 c #Conflicts: 1195000 | #Constraints: 120483
2723.77/2731.07 c #Conflicts: 1196000 | #Constraints: 121483
2723.77/2731.07 c #Conflicts: 1197000 | #Constraints: 122483
2723.77/2731.07 c #Conflicts: 1198000 | #Constraints: 123483
2723.77/2731.07 c #Conflicts: 1199000 | #Constraints: 124483
2723.77/2731.07 c #Conflicts: 1200000 | #Constraints: 125483
2723.77/2731.07 c #Conflicts: 1201000 | #Constraints: 126483
2723.77/2731.07 c #Conflicts: 1202000 | #Constraints: 127483
2723.77/2731.07 c #Conflicts: 1203000 | #Constraints: 128483
2723.77/2731.07 c INPROCESSING
2723.77/2731.07 c GARBAGE COLLECT
2723.77/2731.07 c #Conflicts: 1204000 | #Constraints: 75168
2723.77/2731.07 c #Conflicts: 1205000 | #Constraints: 76168
2723.77/2731.07 c #Conflicts: 1206000 | #Constraints: 77168
2723.77/2731.07 c #Conflicts: 1207000 | #Constraints: 78168
2723.77/2731.07 c #Conflicts: 1208000 | #Constraints: 79168
2723.77/2731.07 c #Conflicts: 1209000 | #Constraints: 80168
2723.77/2731.07 c #Conflicts: 1210000 | #Constraints: 81168
2723.77/2731.07 c #Conflicts: 1211000 | #Constraints: 82168
2723.77/2731.07 c #Conflicts: 1212000 | #Constraints: 83168
2723.77/2731.07 c #Conflicts: 1213000 | #Constraints: 84168
2723.77/2731.07 c #Conflicts: 1214000 | #Constraints: 85168
2723.77/2731.07 c #Conflicts: 1215000 | #Constraints: 86168
2723.77/2731.07 c #Conflicts: 1216000 | #Constraints: 87168
2723.77/2731.07 c #Conflicts: 1217000 | #Constraints: 88168
2723.77/2731.07 c #Conflicts: 1218000 | #Constraints: 89168
2723.77/2731.07 c #Conflicts: 1219000 | #Constraints: 90168
2723.77/2731.07 c #Conflicts: 1220000 | #Constraints: 91168
2723.77/2731.07 c #Conflicts: 1221000 | #Constraints: 92168
2723.77/2731.07 c #Conflicts: 1222000 | #Constraints: 93168
2723.77/2731.07 c #Conflicts: 1223000 | #Constraints: 94168
2723.77/2731.07 c #Conflicts: 1224000 | #Constraints: 95168
2723.77/2731.07 c #Conflicts: 1225000 | #Constraints: 96168
2723.77/2731.07 c #Conflicts: 1226000 | #Constraints: 97168
2723.77/2731.07 c #Conflicts: 1227000 | #Constraints: 98168
2723.77/2731.07 c #Conflicts: 1228000 | #Constraints: 99168
2723.77/2731.07 c INPROCESSING
2723.77/2731.07 c GARBAGE COLLECT
2723.77/2731.07 c #Conflicts: 1229000 | #Constraints: 60719
2723.77/2731.07 c #Conflicts: 1230000 | #Constraints: 61719
2723.77/2731.07 c #Conflicts: 1231000 | #Constraints: 62719
2723.77/2731.07 c #Conflicts: 1232000 | #Constraints: 63719
2723.77/2731.07 c #Conflicts: 1233000 | #Constraints: 64719
2723.77/2731.07 c #Conflicts: 1234000 | #Constraints: 65719
2723.77/2731.07 c #Conflicts: 1235000 | #Constraints: 66719
2723.77/2731.07 c #Conflicts: 1236000 | #Constraints: 67719
2723.77/2731.07 c #Conflicts: 1237000 | #Constraints: 68719
2723.77/2731.07 c #Conflicts: 1238000 | #Constraints: 69719
2723.77/2731.07 c #Conflicts: 1239000 | #Constraints: 70719
2723.77/2731.07 c #Conflicts: 1240000 | #Constraints: 71719
2723.77/2731.07 c #Conflicts: 1241000 | #Constraints: 72719
2723.77/2731.07 c #Conflicts: 1242000 | #Constraints: 73719
2723.77/2731.07 c #Conflicts: 1243000 | #Constraints: 74719
2723.77/2731.07 c #Conflicts: 1244000 | #Constraints: 75719
2723.77/2731.07 c #Conflicts: 1245000 | #Constraints: 76719
2723.77/2731.07 c #Conflicts: 1246000 | #Constraints: 77719
2723.77/2731.07 c #Conflicts: 1247000 | #Constraints: 78719
2723.77/2731.07 c #Conflicts: 1248000 | #Constraints: 79719
2723.77/2731.07 c #Conflicts: 1249000 | #Constraints: 80719
2723.77/2731.07 c #Conflicts: 1250000 | #Constraints: 81719
2723.77/2731.07 c #Conflicts: 1251000 | #Constraints: 82719
2723.77/2731.07 c #Conflicts: 1252000 | #Constraints: 83719
2723.77/2731.07 c #Conflicts: 1253000 | #Constraints: 84719
2723.77/2731.07 c INPROCESSING
2723.77/2731.07 c GARBAGE COLLECT
2723.77/2731.07 c #Conflicts: 1254000 | #Constraints: 53587
2723.77/2731.07 c #Conflicts: 1255000 | #Constraints: 54587
2723.77/2731.07 c #Conflicts: 1256000 | #Constraints: 55587
2899.63/2907.39 c #Conflicts: 1257000 | #Constraints: 56587
2899.63/2907.39 c #Conflicts: 1258000 | #Constraints: 57587
2899.63/2907.39 c #Conflicts: 1259000 | #Constraints: 58587
2899.63/2907.39 c #Conflicts: 1260000 | #Constraints: 59587
2899.63/2907.39 c #Conflicts: 1261000 | #Constraints: 60587
2899.63/2907.39 c #Conflicts: 1262000 | #Constraints: 61587
2899.63/2907.39 c #Conflicts: 1263000 | #Constraints: 62587
2899.63/2907.39 c #Conflicts: 1264000 | #Constraints: 63587
2899.63/2907.39 c #Conflicts: 1265000 | #Constraints: 64587
2899.63/2907.39 c #Conflicts: 1266000 | #Constraints: 65587
2899.63/2907.39 c #Conflicts: 1267000 | #Constraints: 66587
2899.63/2907.39 c #Conflicts: 1268000 | #Constraints: 67587
2899.63/2907.39 c #Conflicts: 1269000 | #Constraints: 68587
2899.63/2907.39 c #Conflicts: 1270000 | #Constraints: 69587
2899.63/2907.39 c #Conflicts: 1271000 | #Constraints: 70587
2899.63/2907.39 c #Conflicts: 1272000 | #Constraints: 71587
2899.63/2907.39 c #Conflicts: 1273000 | #Constraints: 72587
2899.63/2907.39 c #Conflicts: 1274000 | #Constraints: 73587
2899.63/2907.39 c #Conflicts: 1275000 | #Constraints: 74587
2899.63/2907.39 c #Conflicts: 1276000 | #Constraints: 75587
2899.63/2907.39 c #Conflicts: 1277000 | #Constraints: 76587
2899.63/2907.39 c #Conflicts: 1278000 | #Constraints: 77587
2899.63/2907.39 c INPROCESSING
2899.63/2907.39 c GARBAGE COLLECT
2899.63/2907.39 c #Conflicts: 1279000 | #Constraints: 50004
2899.63/2907.39 c #Conflicts: 1280000 | #Constraints: 51004
2899.63/2907.39 c #Conflicts: 1281000 | #Constraints: 52004
2899.63/2907.39 c #Conflicts: 1282000 | #Constraints: 53004
2899.63/2907.39 c #Conflicts: 1283000 | #Constraints: 54004
2899.63/2907.39 c #Conflicts: 1284000 | #Constraints: 55004
2899.63/2907.39 c #Conflicts: 1285000 | #Constraints: 56004
2899.63/2907.39 c #Conflicts: 1286000 | #Constraints: 57004
2899.63/2907.39 c #Conflicts: 1287000 | #Constraints: 58004
2899.63/2907.39 c #Conflicts: 1288000 | #Constraints: 59004
2899.63/2907.39 c #Conflicts: 1289000 | #Constraints: 60004
2899.63/2907.39 c #Conflicts: 1290000 | #Constraints: 61004
2899.63/2907.39 c #Conflicts: 1291000 | #Constraints: 62004
2899.63/2907.39 c #Conflicts: 1292000 | #Constraints: 63004
2899.63/2907.39 c #Conflicts: 1293000 | #Constraints: 64004
2899.63/2907.39 c #Conflicts: 1294000 | #Constraints: 65004
2899.63/2907.39 c #Conflicts: 1295000 | #Constraints: 66004
2899.63/2907.39 c #Conflicts: 1296000 | #Constraints: 67004
2899.63/2907.39 c #Conflicts: 1297000 | #Constraints: 68004
2899.63/2907.39 c #Conflicts: 1298000 | #Constraints: 69004
2899.63/2907.39 c #Conflicts: 1299000 | #Constraints: 70004
2899.63/2907.39 c #Conflicts: 1300000 | #Constraints: 71004
2899.63/2907.39 c #Conflicts: 1301000 | #Constraints: 72004
2899.63/2907.39 c #Conflicts: 1302000 | #Constraints: 73004
2899.63/2907.39 c #Conflicts: 1303000 | #Constraints: 74004
2899.63/2907.39 c INPROCESSING
2899.63/2907.39 c GARBAGE COLLECT
2899.63/2907.39 c #Conflicts: 1304000 | #Constraints: 48121
2899.63/2907.39 c #Conflicts: 1305000 | #Constraints: 49121
2899.63/2907.39 c #Conflicts: 1306000 | #Constraints: 50121
2899.63/2907.39 c #Conflicts: 1307000 | #Constraints: 51121
2899.63/2907.39 c #Conflicts: 1308000 | #Constraints: 52121
2899.63/2907.39 c #Conflicts: 1309000 | #Constraints: 53121
2899.63/2907.39 c #Conflicts: 1310000 | #Constraints: 54121
2899.63/2907.39 c #Conflicts: 1311000 | #Constraints: 55121
2899.63/2907.39 c #Conflicts: 1312000 | #Constraints: 56121
2899.63/2907.39 c #Conflicts: 1313000 | #Constraints: 57121
2899.63/2907.39 c #Conflicts: 1314000 | #Constraints: 58121
2899.63/2907.39 c #Conflicts: 1315000 | #Constraints: 59121
2899.63/2907.39 c #Conflicts: 1316000 | #Constraints: 60121
2899.63/2907.39 c #Conflicts: 1317000 | #Constraints: 61121
2899.63/2907.39 c #Conflicts: 1318000 | #Constraints: 62121
2899.63/2907.39 c #Conflicts: 1319000 | #Constraints: 63121
2899.63/2907.39 c #Conflicts: 1320000 | #Constraints: 64121
2899.63/2907.39 c #Conflicts: 1321000 | #Constraints: 65121
2899.63/2907.39 c #Conflicts: 1322000 | #Constraints: 66121
2899.63/2907.39 c #Conflicts: 1323000 | #Constraints: 67121
2899.63/2907.39 c #Conflicts: 1324000 | #Constraints: 68121
2899.63/2907.39 c #Conflicts: 1325000 | #Constraints: 69121
2899.63/2907.39 c #Conflicts: 1326000 | #Constraints: 70121
2899.63/2907.39 c #Conflicts: 1327000 | #Constraints: 71121
2899.63/2907.39 c #Conflicts: 1328000 | #Constraints: 72121
2899.63/2907.39 c INPROCESSING
2899.63/2907.39 c GARBAGE COLLECT
2899.63/2907.39 c #Conflicts: 1329000 | #Constraints: 46983
2899.63/2907.39 c #Conflicts: 1330000 | #Constraints: 47983
2899.63/2907.39 c #Conflicts: 1331000 | #Constraints: 48983
2899.63/2907.39 c #Conflicts: 1332000 | #Constraints: 49983
3202.83/3211.33 c #Conflicts: 1333000 | #Constraints: 50983
3202.83/3211.33 c #Conflicts: 1334000 | #Constraints: 51983
3202.83/3211.33 c #Conflicts: 1335000 | #Constraints: 52983
3202.83/3211.33 c #Conflicts: 1336000 | #Constraints: 53983
3202.83/3211.33 c #Conflicts: 1337000 | #Constraints: 54983
3202.83/3211.33 c #Conflicts: 1338000 | #Constraints: 55983
3202.83/3211.33 c #Conflicts: 1339000 | #Constraints: 56983
3202.83/3211.33 c #Conflicts: 1340000 | #Constraints: 57983
3202.83/3211.33 c #Conflicts: 1341000 | #Constraints: 58983
3202.83/3211.33 c #Conflicts: 1342000 | #Constraints: 59983
3202.83/3211.33 c #Conflicts: 1343000 | #Constraints: 60983
3202.83/3211.33 c #Conflicts: 1344000 | #Constraints: 61983
3202.83/3211.33 c #Conflicts: 1345000 | #Constraints: 62983
3202.83/3211.33 c #Conflicts: 1346000 | #Constraints: 63983
3202.83/3211.33 c #Conflicts: 1347000 | #Constraints: 64983
3202.83/3211.33 c #Conflicts: 1348000 | #Constraints: 65983
3202.83/3211.33 c #Conflicts: 1349000 | #Constraints: 66983
3202.83/3211.33 c #Conflicts: 1350000 | #Constraints: 67983
3202.83/3211.33 c #Conflicts: 1351000 | #Constraints: 68983
3202.83/3211.33 c #Conflicts: 1352000 | #Constraints: 69983
3202.83/3211.33 c #Conflicts: 1353000 | #Constraints: 70983
3202.83/3211.33 c #Conflicts: 1354000 | #Constraints: 71983
3202.83/3211.33 c #Conflicts: 1355000 | #Constraints: 72983
3202.83/3211.33 c #Conflicts: 1356000 | #Constraints: 73983
3202.83/3211.33 c #Conflicts: 1357000 | #Constraints: 74983
3202.83/3211.33 c #Conflicts: 1358000 | #Constraints: 75983
3202.83/3211.33 c #Conflicts: 1359000 | #Constraints: 76983
3202.83/3211.33 c #Conflicts: 1360000 | #Constraints: 77983
3202.83/3211.33 c #Conflicts: 1361000 | #Constraints: 78983
3202.83/3211.33 c #Conflicts: 1362000 | #Constraints: 79983
3202.83/3211.33 c #Conflicts: 1363000 | #Constraints: 80983
3202.83/3211.33 c #Conflicts: 1364000 | #Constraints: 81983
3202.83/3211.33 c #Conflicts: 1365000 | #Constraints: 82983
3202.83/3211.33 c #Conflicts: 1366000 | #Constraints: 83983
3202.83/3211.33 c #Conflicts: 1367000 | #Constraints: 84983
3202.83/3211.33 c #Conflicts: 1368000 | #Constraints: 85983
3202.83/3211.33 c #Conflicts: 1369000 | #Constraints: 86983
3202.83/3211.33 c #Conflicts: 1370000 | #Constraints: 87983
3202.83/3211.33 c #Conflicts: 1371000 | #Constraints: 88983
3202.83/3211.33 c #Conflicts: 1372000 | #Constraints: 89983
3202.83/3211.33 c #Conflicts: 1373000 | #Constraints: 90983
3202.83/3211.33 c #Conflicts: 1374000 | #Constraints: 91983
3202.83/3211.33 c #Conflicts: 1375000 | #Constraints: 92983
3202.83/3211.33 c #Conflicts: 1376000 | #Constraints: 93983
3202.83/3211.33 c #Conflicts: 1377000 | #Constraints: 94983
3202.83/3211.33 c #Conflicts: 1378000 | #Constraints: 95983
3202.83/3211.33 c #Conflicts: 1379000 | #Constraints: 96983
3202.83/3211.33 c #Conflicts: 1380000 | #Constraints: 97983
3202.83/3211.33 c #Conflicts: 1381000 | #Constraints: 98983
3202.83/3211.33 c #Conflicts: 1382000 | #Constraints: 99983
3202.83/3211.33 c #Conflicts: 1383000 | #Constraints: 100983
3202.83/3211.33 c #Conflicts: 1384000 | #Constraints: 101983
3202.83/3211.33 c #Conflicts: 1385000 | #Constraints: 102983
3202.83/3211.33 c #Conflicts: 1386000 | #Constraints: 103983
3202.83/3211.33 c #Conflicts: 1387000 | #Constraints: 104983
3202.83/3211.33 c #Conflicts: 1388000 | #Constraints: 105983
3202.83/3211.33 c #Conflicts: 1389000 | #Constraints: 106983
3202.83/3211.33 c #Conflicts: 1390000 | #Constraints: 107983
3202.83/3211.33 c #Conflicts: 1391000 | #Constraints: 108983
3202.83/3211.33 c #Conflicts: 1392000 | #Constraints: 109983
3202.83/3211.33 c #Conflicts: 1393000 | #Constraints: 110983
3202.83/3211.33 c #Conflicts: 1394000 | #Constraints: 111983
3202.83/3211.33 c #Conflicts: 1395000 | #Constraints: 112983
3202.83/3211.33 c #Conflicts: 1396000 | #Constraints: 113983
3202.83/3211.33 c #Conflicts: 1397000 | #Constraints: 114983
3202.83/3211.33 c #Conflicts: 1398000 | #Constraints: 115983
3202.83/3211.33 c #Conflicts: 1399000 | #Constraints: 116983
3202.83/3211.33 c #Conflicts: 1400000 | #Constraints: 117983
3202.83/3211.33 c #Conflicts: 1401000 | #Constraints: 118983
3202.83/3211.33 c #Conflicts: 1402000 | #Constraints: 119983
3202.83/3211.33 c #Conflicts: 1403000 | #Constraints: 120983
3202.83/3211.33 c #Conflicts: 1404000 | #Constraints: 121983
3202.83/3211.33 c #Conflicts: 1405000 | #Constraints: 122983
3202.83/3211.33 c #Conflicts: 1406000 | #Constraints: 123983
3202.83/3211.33 c #Conflicts: 1407000 | #Constraints: 124983
3202.83/3211.33 c #Conflicts: 1408000 | #Constraints: 125983
3202.83/3211.33 c #Conflicts: 1409000 | #Constraints: 126983
3202.83/3211.33 c #Conflicts: 1410000 | #Constraints: 127983
3202.83/3211.33 c #Conflicts: 1411000 | #Constraints: 128983
3553.34/3562.75 c #Conflicts: 1412000 | #Constraints: 129983
3553.34/3562.75 c #Conflicts: 1413000 | #Constraints: 130983
3553.34/3562.75 c #Conflicts: 1414000 | #Constraints: 131983
3553.34/3562.75 c #Conflicts: 1415000 | #Constraints: 132983
3553.34/3562.75 c #Conflicts: 1416000 | #Constraints: 133983
3553.34/3562.75 c #Conflicts: 1417000 | #Constraints: 134983
3553.34/3562.75 c #Conflicts: 1418000 | #Constraints: 135983
3553.34/3562.75 c #Conflicts: 1419000 | #Constraints: 136983
3553.34/3562.75 c #Conflicts: 1420000 | #Constraints: 137983
3553.34/3562.75 c INPROCESSING
3553.34/3562.75 c GARBAGE COLLECT
3553.34/3562.75 c #Conflicts: 1421000 | #Constraints: 79806
3553.34/3562.75 c #Conflicts: 1422000 | #Constraints: 80806
3553.34/3562.75 c #Conflicts: 1423000 | #Constraints: 81806
3553.34/3562.75 c #Conflicts: 1424000 | #Constraints: 82806
3553.34/3562.75 c #Conflicts: 1425000 | #Constraints: 83806
3553.34/3562.75 c #Conflicts: 1426000 | #Constraints: 84806
3553.34/3562.75 c #Conflicts: 1427000 | #Constraints: 85806
3553.34/3562.75 c #Conflicts: 1428000 | #Constraints: 86806
3553.34/3562.75 c #Conflicts: 1429000 | #Constraints: 87806
3553.34/3562.75 c #Conflicts: 1430000 | #Constraints: 88806
3553.34/3562.75 c #Conflicts: 1431000 | #Constraints: 89806
3553.34/3562.75 c #Conflicts: 1432000 | #Constraints: 90806
3553.34/3562.75 c #Conflicts: 1433000 | #Constraints: 91806
3553.34/3562.75 c #Conflicts: 1434000 | #Constraints: 92806
3553.34/3562.75 c #Conflicts: 1435000 | #Constraints: 93806
3553.34/3562.75 c #Conflicts: 1436000 | #Constraints: 94806
3553.34/3562.75 c #Conflicts: 1437000 | #Constraints: 95806
3553.34/3562.75 c #Conflicts: 1438000 | #Constraints: 96806
3553.34/3562.75 c #Conflicts: 1439000 | #Constraints: 97806
3553.34/3562.75 c #Conflicts: 1440000 | #Constraints: 98806
3553.34/3562.75 c #Conflicts: 1441000 | #Constraints: 99806
3553.34/3562.75 c #Conflicts: 1442000 | #Constraints: 100806
3553.34/3562.75 c #Conflicts: 1443000 | #Constraints: 101806
3553.34/3562.75 c #Conflicts: 1444000 | #Constraints: 102806
3553.34/3562.75 c #Conflicts: 1445000 | #Constraints: 103806
3553.34/3562.75 c #Conflicts: 1446000 | #Constraints: 104806
3553.34/3562.75 c #Conflicts: 1447000 | #Constraints: 105806
3553.34/3562.75 c INPROCESSING
3553.34/3562.75 c GARBAGE COLLECT
3553.34/3562.75 c #Conflicts: 1448000 | #Constraints: 63882
3553.34/3562.75 c #Conflicts: 1449000 | #Constraints: 64882
3553.34/3562.75 c #Conflicts: 1450000 | #Constraints: 65882
3553.34/3562.75 c #Conflicts: 1451000 | #Constraints: 66882
3553.34/3562.75 c #Conflicts: 1452000 | #Constraints: 67882
3553.34/3562.75 c #Conflicts: 1453000 | #Constraints: 68882
3553.34/3562.75 c #Conflicts: 1454000 | #Constraints: 69882
3553.34/3562.75 c #Conflicts: 1455000 | #Constraints: 70882
3553.34/3562.75 c #Conflicts: 1456000 | #Constraints: 71882
3553.34/3562.75 c #Conflicts: 1457000 | #Constraints: 72882
3553.34/3562.75 c #Conflicts: 1458000 | #Constraints: 73882
3553.34/3562.75 c #Conflicts: 1459000 | #Constraints: 74882
3553.34/3562.75 c #Conflicts: 1460000 | #Constraints: 75882
3553.34/3562.75 c #Conflicts: 1461000 | #Constraints: 76882
3553.34/3562.75 c #Conflicts: 1462000 | #Constraints: 77882
3553.34/3562.75 c #Conflicts: 1463000 | #Constraints: 78882
3553.34/3562.75 c #Conflicts: 1464000 | #Constraints: 79882
3553.34/3562.75 c #Conflicts: 1465000 | #Constraints: 80882
3553.34/3562.75 c #Conflicts: 1466000 | #Constraints: 81882
3553.34/3562.75 c #Conflicts: 1467000 | #Constraints: 82882
3553.34/3562.75 c #Conflicts: 1468000 | #Constraints: 83882
3553.34/3562.75 c #Conflicts: 1469000 | #Constraints: 84882
3553.34/3562.75 c #Conflicts: 1470000 | #Constraints: 85882
3553.34/3562.75 c #Conflicts: 1471000 | #Constraints: 86882
3553.34/3562.75 c #Conflicts: 1472000 | #Constraints: 87882
3553.34/3562.75 c #Conflicts: 1473000 | #Constraints: 88882
3553.34/3562.75 c #Conflicts: 1474000 | #Constraints: 89882
3553.34/3562.75 c INPROCESSING
3553.34/3562.75 c GARBAGE COLLECT
3553.34/3562.75 c #Conflicts: 1475000 | #Constraints: 55960
3553.34/3562.75 c #Conflicts: 1476000 | #Constraints: 56960
3553.34/3562.75 c #Conflicts: 1477000 | #Constraints: 57960
3553.34/3562.75 c #Conflicts: 1478000 | #Constraints: 58960
3553.34/3562.75 c #Conflicts: 1479000 | #Constraints: 59960
3553.34/3562.75 c #Conflicts: 1480000 | #Constraints: 60960
3553.34/3562.75 c #Conflicts: 1481000 | #Constraints: 61960
3553.34/3562.75 c #Conflicts: 1482000 | #Constraints: 62960
3553.34/3562.75 c #Conflicts: 1483000 | #Constraints: 63960
3553.34/3562.75 c #Conflicts: 1484000 | #Constraints: 64960
3553.34/3562.75 c #Conflicts: 1485000 | #Constraints: 65960
3553.34/3562.75 c #Conflicts: 1486000 | #Constraints: 66960
3553.34/3562.75 c #Conflicts: 1487000 | #Constraints: 67960
3553.34/3562.75 c #Conflicts: 1488000 | #Constraints: 68960
3600.04/3609.50 c #Conflicts: 1489000 | #Constraints: 69960
3600.04/3609.50 c #Conflicts: 1490000 | #Constraints: 70960
3600.04/3609.50 c #Conflicts: 1491000 | #Constraints: 71960
3600.04/3609.50 c #Conflicts: 1492000 | #Constraints: 72960
3600.04/3609.50 c #Conflicts: 1493000 | #Constraints: 73960
3600.04/3609.50 c #Conflicts: 1494000 | #Constraints: 74960
3600.04/3609.50 c #Conflicts: 1495000 | #Constraints: 75960
3600.04/3609.50 c #Conflicts: 1496000 | #Constraints: 76960
3600.04/3609.50 c #Conflicts: 1497000 | #Constraints: 77960
3600.04/3609.50 c #Conflicts: 1498000 | #Constraints: 78960
3600.04/3609.50 c #Conflicts: 1499000 | #Constraints: 79960
3600.04/3609.50 c #Conflicts: 1500000 | #Constraints: 80960
3600.04/3609.50 c #Conflicts: 1501000 | #Constraints: 81960
3600.04/3609.50 c INPROCESSING
3600.04/3609.50 c GARBAGE COLLECT
3600.04/3609.50 c #Conflicts: 1502000 | #Constraints: 51955
3600.04/3609.50 c #Conflicts: 1503000 | #Constraints: 52955
3600.04/3609.50 c #Conflicts: 1504000 | #Constraints: 53955
3600.04/3609.50 c #Conflicts: 1505000 | #Constraints: 54955
3600.04/3609.50 c #Conflicts: 1506000 | #Constraints: 55955
3600.04/3609.50 c #Conflicts: 1507000 | #Constraints: 56955
3600.04/3609.50 c #Conflicts: 1508000 | #Constraints: 57955
3600.04/3609.50 c Program interrupted by user.
3600.04/3609.50 c cpu time 3590.65 s
3600.04/3609.50 c deterministic time 303516755863 3.04e+11
3600.04/3609.50 c optimization time 55.898 s
3600.04/3609.50 c total solve time 3235.61 s
3600.04/3609.50 c core-guided solve time 3235.61 s
3600.04/3609.50 c propagation time 2794.78 s
3600.04/3609.50 c conflict analysis time 476.806 s
3600.04/3609.50 c propagations 148019322
3600.04/3609.50 c resolve steps 26160645
3600.04/3609.50 c decisions 4851730
3600.04/3609.50 c conflicts 1508730
3600.04/3609.50 c restarts 2954
3600.04/3609.50 c inprocessing phases 77
3600.04/3609.50 c input clauses 19631
3600.04/3609.50 c input cardinalities 464
3600.04/3609.50 c input general constraints 243
3600.04/3609.50 c input average constraint length 16.86
3600.04/3609.50 c input average constraint degree 9.93
3600.04/3609.50 c learned clauses 1053795
3600.04/3609.50 c learned cardinalities 22368
3600.04/3609.50 c learned general constraints 432591
3600.04/3609.50 c learned average constraint length 123.88
3600.04/3609.50 c learned average constraint degree 1127.84
3600.04/3609.50 c watched constraints 405888
3600.04/3609.50 c counting constraints 26946
3600.04/3609.50 c gcd simplifications 10782
3600.04/3609.50 c detected cardinalities 965
3600.04/3609.50 c weakened non-implied lits 10378091
3600.04/3609.50 c weakened non-implying lits 13298
3600.04/3609.50 c original variables 2046
3600.04/3609.50 c clausal propagations 113917319
3600.04/3609.50 c cardinality propagations 1119231
3600.04/3609.50 c watched propagations 6945796
3600.04/3609.50 c counting propagations 23934122
3600.04/3609.50 c watch lookups 70998550591
3600.04/3609.50 c watch backjump lookups 62455026407
3600.04/3609.50 c watch checks 148932546049
3600.04/3609.50 c propagation checks 20268633655
3600.04/3609.50 c constraint additions 554748605
3600.04/3609.50 c trail pops 154379503
3600.04/3609.50 c formula constraints 18944
3600.04/3609.50 c learned constraints 1508754
3600.04/3609.50 c bound constraints 145
3600.04/3609.50 c core-guided constraints 1249
3600.04/3609.50 c encountered formula constraints 7784405
3600.04/3609.50 c encountered learned constraints 18782587
3600.04/3609.50 c encountered bound constraints 74
3600.04/3609.50 c encountered core-guided constraints 1102309
3600.04/3609.50 c LP total time 0 s
3600.04/3609.50 c LP solve time 0 s
3600.04/3609.50 c LP constraints added 0
3600.04/3609.50 c LP constraints removed 0
3600.04/3609.50 c LP pivots internal 0
3600.04/3609.50 c LP pivots root 0
3600.04/3609.50 c LP calls 0
3600.04/3609.50 c LP optimalities 0
3600.04/3609.50 c LP no pivot count 0
3600.04/3609.50 c LP infeasibilities 0
3600.04/3609.50 c LP valid Farkas constraints 0
3600.04/3609.50 c LP learned Farkas constraints 0
3600.04/3609.50 c LP basis resets 0
3600.04/3609.50 c LP cycling count 0
3600.04/3609.50 c LP singular count 0
3600.04/3609.50 c LP no primal count 0
3600.04/3609.50 c LP no farkas count 0
3600.04/3609.50 c LP other issue count 0
3600.04/3609.50 c LP Gomory cuts 0
3600.04/3609.50 c LP learned cuts 0
3600.04/3609.50 c LP deleted cuts 0
3600.04/3609.50 c LP encountered Gomory constraints 0
3600.04/3609.50 c LP encountered Farkas constraints 0
3600.04/3609.50 c LP encountered learned Farkas constraints 0
3600.04/3609.50 c CG auxiliary variables introduced 782
3600.04/3609.50 c CG solutions found 2
3600.04/3609.50 c CG cores constructed 111
3600.04/3609.50 c CG core cardinality constraints returned 0
3600.04/3609.50 c CG unit cores 0
3600.04/3609.50 c CG single cores 111
3600.04/3609.50 c CG blocks removed during cardinality reduction 0
3600.04/3609.50 c CG first core best 0
3600.04/3609.50 c CG decision core best 0
3600.04/3609.50 c CG core reduction tie 0
3600.04/3609.50 c CG core degree average 1.00
3600.04/3609.50 c CG core slack average 5.65
3600.04/3609.50 c CG exhausted 4
3600.04/3609.50 c CG exhaust time 42.6712 s
3600.04/3609.50 c CG trimmed 12
3600.04/3609.50 c CG trim time 0.002454 s
3600.04/3609.50 c CG minimized 0
3600.04/3609.50 c CG minimize time 0 s
3600.04/3609.50 c CG am1 prop time 0.007231 s
3600.04/3609.50 c CG # am1s reformulated 500
3600.04/3609.50 c CG lower bound derived from am1s 1485
3600.04/3609.50 c CG # clausal cores 111
3600.04/3609.50 c CG # cardinality cores 0
3600.04/3609.50 c CG # pb cores 0
3600.04/3609.50 c CG # pb reforms 0
3600.04/3609.50 c CG # cores discarded because of pb reform 0
3600.04/3609.50 d LOWERBOUND -446
3600.04/3609.50 d NCORES 111
3600.04/3609.50 d NPBCORES 0
3600.04/3609.50 d NPBREFORM 0
3600.04/3609.50 d NTRIMMED 12
3600.04/3609.50 d NEXHAUSTED 4
3600.04/3609.50 d NAM1S 500
3600.04/3609.50 d AM1LB 1485
3600.04/3609.50 c [Papilo Statistics]
3600.04/3609.50 c prepro time 0.0160307s
3600.04/3609.50 c # tsx applied 0
3600.04/3609.50 c # tsx conflicts 0
3600.04/3609.50 c # bound changes 0
3600.04/3609.50 c # side changes 0
3600.04/3609.50 c # coef changes 0
3600.04/3609.50 c # rounds 1
3600.04/3609.50 c # deted vars 0
3600.04/3609.50 c # deted constrs 0
3600.04/3609.50 c # consecutive rounds of only bound changes 0
3600.04/3609.50 c [STEP] postprocessing with Papilo
3600.04/3609.50 o -284
3600.04/3609.50 s SATISFIABLE
3600.04/3609.50 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 x43 -x44 -x45 x46 -x47 x48 -x49 -x50 -x51 x52 x53 x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 x228 -x229 -x230 -x231 -x232 x233 -x234 x235 x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 x331 x332 x333 -x334 -x335 -x336 x337 -x338 x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 x563 -x564 x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 x719 -x720 x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 x764 x765 x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 x786 x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 x831 -x832 x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 -x874 -x875 x876 -x877 -x878 x879 -x880 -x881 -x882 -x883 x884 x885 -x886 -x887 x888 -x889 -x890 -x891 x892 -x893 -x894 x895 x896 -x897 -x898 x899 x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 x952 x953 x954 -x955 -x956 x957 -x958 x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 -x1008 x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 -x1074 -x1075 -x1076 x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 x1088 -x1089 x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 x1182 -x1183 x1184 -x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 x1199 -x1200 -x1201 -x1202 x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1258 -x1259 x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 x1354 x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 x1443 x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 x1619 -x1620 -x1621 -x1622 x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 -x1666 -x1667 -x1668 -x1669 x1670 -x1671 -x1672 -x1673 -x1674 x1675 -x1676 -x1677 -x1678 x1679 x1680 -x1681 x1682 -x1683 x1684 -x1685 -x1686 -x1687 x1688 -x1689 x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 x1712 -x1713 -x1714 x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 -x1751 x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 x1768 -x1769 x1770 x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 x1783 -x1784 x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 x1792 -x1793 -x1794 x1795 -x1796 x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 x1805 x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 x1817 x1818 -x1819 x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 -x1863 -x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 x1886 -x1887 -x1888 -x1889 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 x1907 -x1908 -x1909 -x1910 -x1911 x1912 -x1913 -x1914 -x1915 -x1916 -x1917 x1918 -x1919 x1920 -x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 x1940 x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 x1960 x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 x2043 -x2044 -x2045 -x2046
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (54369 MiB free)
memory of node 1: 64465 MiB (49207 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529250-1752264122/watcher-4529250-1752264122 -o /tmp/evaluation-result-4529250-1752264122/solver-4529250-1752264122 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752256808-114695 --watchdog 3760 mixed-bag HOME/instance-4529250-1752264122.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=115828, runsolver pid=115825
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.09 4.12 4.09 5/266 115829
/proc/meminfo: memFree=106033920/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=124412 memory=51504 CPUtime=0.09 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 10419 0 0 0 7 2 0 0 20 0 1 0 142090795 127397888 12876 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 31103 12876 4032 2834 0 13308 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 124412 KiB
Current children cumulated memory: 51504 KiB
[startup+0.205674 s]*
/proc/loadavg: 4.09 4.12 4.09 5/266 115829
/proc/meminfo: memFree=106017792/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=137860 memory=64648 CPUtime=0.19 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 15401 0 0 0 17 2 0 0 20 0 1 0 142090795 141168640 16162 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 34465 16162 4032 2834 0 16670 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 137860 KiB
Current children cumulated memory: 64648 KiB
[startup+0.305493 s]*
/proc/loadavg: 4.09 4.12 4.09 5/266 115829
/proc/meminfo: memFree=106001916/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=154448 memory=77448 CPUtime=0.3 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 18502 0 0 0 27 3 0 0 20 0 1 0 142090795 158154752 19362 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 38612 19362 4128 2834 0 20817 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 154448 KiB
Current children cumulated memory: 77448 KiB
[startup+0.700128 s]
/proc/loadavg: 4.09 4.12 4.09 5/266 115829
/proc/meminfo: memFree=105993852/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=166992 memory=89480 CPUtime=0.68 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 21354 0 0 0 65 3 0 0 20 0 1 0 142090795 170999808 22370 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 41748 22370 4320 2834 0 23953 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 166992 KiB
Current children cumulated memory: 89480 KiB
[startup+1.50013 s]
/proc/loadavg: 4.09 4.12 4.09 5/266 115829
/proc/meminfo: memFree=105981704/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=182052 memory=101384 CPUtime=1.48 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 24335 0 0 0 144 4 0 0 20 0 1 0 142090795 186421248 25346 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 45513 25346 4320 2834 0 27718 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 182052 KiB
Current children cumulated memory: 101384 KiB
[startup+3.10531 s]
/proc/loadavg: 4.08 4.12 4.09 5/266 115829
/proc/meminfo: memFree=105981872/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=192152 memory=107784 CPUtime=3.08 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 25916 0 0 0 304 4 0 0 20 0 1 0 142090795 196763648 26946 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 48038 26946 4320 2834 0 30243 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 192152 KiB
Current children cumulated memory: 107784 KiB
[startup+6.30017 s]
/proc/loadavg: 4.08 4.12 4.09 5/266 115829
/proc/meminfo: memFree=105966504/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=211916 memory=124424 CPUtime=6.26 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 30143 0 0 0 621 5 0 0 20 0 1 0 142090795 217001984 31106 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 52979 31106 4320 2834 0 35184 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 211916 KiB
Current children cumulated memory: 124424 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.11 4.09 5/266 115829
/proc/meminfo: memFree=105937652/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=232348 memory=141960 CPUtime=12.65 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 34613 0 0 0 1259 6 0 0 20 0 1 0 142090795 237924352 35490 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 58087 35490 4320 2834 0 40292 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 232348 KiB
Current children cumulated memory: 141960 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.11 4.09 5/266 115829
/proc/meminfo: memFree=105926256/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=238404 memory=153480 CPUtime=25.41 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 37491 0 0 0 2535 6 0 0 20 0 1 0 142090795 244125696 38370 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 59601 38370 4320 2834 0 41806 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 238404 KiB
Current children cumulated memory: 153480 KiB
[startup+51.1053 s]
/proc/loadavg: 4.11 4.12 4.09 5/266 115830
/proc/meminfo: memFree=105892720/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=261272 memory=178008 CPUtime=50.94 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 44612 0 0 0 5086 8 0 0 20 0 1 0 142090795 267542528 44502 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 65318 44502 4320 2834 0 47523 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 261272 KiB
Current children cumulated memory: 178008 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 115831
/proc/meminfo: memFree=105837168/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=374192 memory=230580 CPUtime=102 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 58884 0 0 0 10189 11 0 0 20 0 1 0 142090795 383172608 57645 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 93548 57645 4320 2834 0 75753 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 374192 KiB
Current children cumulated memory: 230580 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 115833
/proc/meminfo: memFree=105780480/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=434920 memory=280996 CPUtime=161.83 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 72087 0 0 0 16170 13 0 0 20 0 1 0 142090795 445358080 70249 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 108730 70249 4320 2834 0 90935 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 434920 KiB
Current children cumulated memory: 280996 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 115835
/proc/meminfo: memFree=106762488/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=477232 memory=315764 CPUtime=221.66 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 80277 0 0 0 22152 14 0 0 20 0 1 0 142090795 488685568 78941 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 119308 78941 4320 2834 0 101513 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 477232 KiB
Current children cumulated memory: 315764 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 115838
/proc/meminfo: memFree=106498260/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=477232 memory=335220 CPUtime=281.5 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 85156 0 0 0 28134 16 0 0 20 0 1 0 142090795 488685568 83805 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 119308 83805 4320 2834 0 101513 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 477232 KiB
Current children cumulated memory: 335220 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 115841
/proc/meminfo: memFree=106371200/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=484272 memory=346344 CPUtime=341.34 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 89186 0 0 0 34065 69 0 0 20 0 1 0 142090795 495894528 86586 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 121068 86586 4480 2834 0 103273 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 484272 KiB
Current children cumulated memory: 346344 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 115843
/proc/meminfo: memFree=106246084/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=484272 memory=346344 CPUtime=401.19 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 89203 0 0 0 39984 135 0 0 20 0 1 0 142090795 495894528 86586 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 121068 86586 4480 2834 0 103273 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 484272 KiB
Current children cumulated memory: 346344 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/265 115846
/proc/meminfo: memFree=106116588/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=484272 memory=346344 CPUtime=461.04 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 89203 0 0 0 45933 171 0 0 20 0 1 0 142090795 495894528 86586 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 121068 86586 4480 2834 0 103273 0
################
# More data... #
################
Current children cumulated memory: 407144 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 115974
/proc/meminfo: memFree=104713036/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=484272 memory=407144 CPUtime=2914.59 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 89696 0 0 0 290621 838 0 0 20 0 1 0 142090795 495894528 101786 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 121068 101786 4480 2834 0 103273 0
Current children cumulated CPU time: 2914.59 s
Current children cumulated vsize: 484272 KiB
Current children cumulated memory: 407144 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 115976
/proc/meminfo: memFree=104709432/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=484272 memory=407144 CPUtime=2974.44 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 89697 0 0 0 296593 851 0 0 20 0 1 0 142090795 495894528 101786 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 121068 101786 4480 2834 0 103273 0
Current children cumulated CPU time: 2974.44 s
Current children cumulated vsize: 484272 KiB
Current children cumulated memory: 407144 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 115982
/proc/meminfo: memFree=104704988/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=484272 memory=407144 CPUtime=3034.28 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 89700 0 0 0 302568 860 0 0 20 0 1 0 142090795 495894528 101786 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 121068 101786 4480 2834 0 103273 0
Current children cumulated CPU time: 3034.28 s
Current children cumulated vsize: 484272 KiB
Current children cumulated memory: 407144 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 115984
/proc/meminfo: memFree=104700772/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=484272 memory=407144 CPUtime=3094.12 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 89702 0 0 0 308543 869 0 0 20 0 1 0 142090795 495894528 101786 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 121068 101786 4480 2834 0 103273 0
Current children cumulated CPU time: 3094.12 s
Current children cumulated vsize: 484272 KiB
Current children cumulated memory: 407144 KiB
[startup+3162.3 s]
/proc/loadavg: 4.34 4.16 4.11 5/264 115986
/proc/meminfo: memFree=104700876/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=484272 memory=407144 CPUtime=3153.96 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 89704 0 0 0 314520 876 0 0 20 0 1 0 142090795 495894528 101786 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 121068 101786 4480 2834 0 103273 0
Current children cumulated CPU time: 3153.96 s
Current children cumulated vsize: 484272 KiB
Current children cumulated memory: 407144 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/264 115989
/proc/meminfo: memFree=104704740/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=484272 memory=407144 CPUtime=3213.8 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 89706 0 0 0 320497 883 0 0 20 0 1 0 142090795 495894528 101786 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 121068 101786 4480 2834 0 103273 0
Current children cumulated CPU time: 3213.8 s
Current children cumulated vsize: 484272 KiB
Current children cumulated memory: 407144 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/264 115991
/proc/meminfo: memFree=104704368/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=484272 memory=407144 CPUtime=3273.64 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 89788 0 0 0 326474 890 0 0 20 0 1 0 142090795 495894528 101786 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 121068 101786 4480 2834 0 103273 0
Current children cumulated CPU time: 3273.64 s
Current children cumulated vsize: 484272 KiB
Current children cumulated memory: 407144 KiB
[startup+3342.3 s]
/proc/loadavg: 4.30 4.21 4.13 5/264 115993
/proc/meminfo: memFree=104696304/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=484272 memory=407144 CPUtime=3333.48 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 89788 0 0 0 332450 898 0 0 20 0 1 0 142090795 495894528 101786 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 121068 101786 4480 2834 0 103273 0
Current children cumulated CPU time: 3333.48 s
Current children cumulated vsize: 484272 KiB
Current children cumulated memory: 407144 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.20 4.13 5/264 115995
/proc/meminfo: memFree=104692112/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=484272 memory=407144 CPUtime=3393.33 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 89788 0 0 0 338429 904 0 0 20 0 1 0 142090795 495894528 101786 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 121068 101786 4480 2834 0 103273 0
Current children cumulated CPU time: 3393.33 s
Current children cumulated vsize: 484272 KiB
Current children cumulated memory: 407144 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/265 115998
/proc/meminfo: memFree=104690244/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=484272 memory=407144 CPUtime=3453.17 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 89788 0 0 0 344407 910 0 0 20 0 1 0 142090795 495894528 101786 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 121068 101786 4480 2834 0 103273 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 484272 KiB
Current children cumulated memory: 407144 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.14 4.11 5/266 116003
/proc/meminfo: memFree=104678356/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=484272 memory=407144 CPUtime=3513.02 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 89788 0 0 0 350381 921 0 0 20 0 1 0 142090795 495894528 101786 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 121068 101786 4480 2834 0 103273 0
Current children cumulated CPU time: 3513.02 s
Current children cumulated vsize: 484272 KiB
Current children cumulated memory: 407144 KiB
[startup+3582.3 s]
/proc/loadavg: 2.25 3.61 3.93 2/247 116109
/proc/meminfo: memFree=108721808/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=484272 memory=407144 CPUtime=3572.89 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 89788 0 0 0 356356 933 0 0 20 0 1 0 142090795 495894528 101786 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 121068 101786 4480 2834 0 103273 0
Current children cumulated CPU time: 3572.89 s
Current children cumulated vsize: 484272 KiB
Current children cumulated memory: 407144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 1.82 3.40 3.85 2/247 116111
/proc/meminfo: memFree=108721924/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=484272 memory=407144 CPUtime=3600.04 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 89788 0 0 0 359065 939 0 0 20 0 1 0 142090795 495894528 101786 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 121068 101786 4480 2834 0 103273 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 484272 KiB
Current children cumulated memory: 407144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.51 s]
# the end of solver process 115828 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.66 s, system=9.39884 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 1.82 3.40 3.85 2/247 116111
/proc/meminfo: memFree=108721924/131249996 swapFree=33010160/33010684
[pid=115828] ppid=115825 vsize=484272 memory=407144 CPUtime=3600.04 cores=4,6
/proc/115828/stat : 115828 (mixed-bag) R 115825 115828 114684 0 -1 4194304 89788 0 0 0 359065 939 0 0 20 0 1 0 142090795 495894528 101786 18446744073709551615 4235264 15840557 140733856094528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 39235584 140733856098714 140733856098791 140733856098791 140733856104395 0
/proc/115828/statm: 121068 101786 4480 2834 0 103273 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 484272 KiB
Current children cumulated memory: 407144 KiB
Child status: 0
Real time (s): 3609.51
CPU time (s): 3600.05
CPU user time (s): 3590.66
CPU system time (s): 9.39884
CPU usage (%): 99.7381
Max. virtual memory (cumulated for all children) (KiB): 484272
Max. memory (cumulated for all children) (KiB): 407144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.66
system time used= 9.39884
maximum resident set size= 408168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89820
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= 154
involuntary context switches= 1679
# summary of solver processes directly reported to runsolver:
# pid: 115828
# total CPU time (s): 3600.05
# total CPU user time (s): 3590.66
# total CPU system time (s): 9.39884
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.16509 second user time and 15.4072 second system time
The end
Begin job on nodeC032 at 2025-07-11 22:02:02
IDJOB=4529250
IDBENCH=178576
IDSOLVER=3386
FILE ID=nodeC032/4529250-1752264122
RUNJOBID= nodeC032-1752256808-114695
SLURM_JOB_ID= 9682604
Free space on /tmp= 428576 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-sorrell8.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529250-1752264122/watcher-4529250-1752264122 -o /tmp/evaluation-result-4529250-1752264122/solver-4529250-1752264122 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752256808-114695 --watchdog 3760 mixed-bag HOME/instance-4529250-1752264122.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3efa309da6b8ed2e5ff01ccb25d0dd51
RANDOM SEED=330204923
nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.841
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.984
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3579.262
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.677
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3759.611
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.829
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.825
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 106063396 kB
MemAvailable: 126568636 kB
Buffers: 2728 kB
Cached: 21180588 kB
SwapCached: 20 kB
Active: 3476968 kB
Inactive: 20756916 kB
Active(anon): 3065492 kB
Inactive(anon): 3124 kB
Active(file): 411476 kB
Inactive(file): 20753792 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15876 kB
Writeback: 0 kB
AnonPages: 3053616 kB
Mapped: 139300 kB
Shmem: 18048 kB
KReclaimable: 358424 kB
Slab: 455760 kB
SReclaimable: 358424 kB
SUnreclaim: 97336 kB
KernelStack: 4304 kB
PageTables: 9368 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3712632 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1105920 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 428624 MiB
End job on nodeC032 at 2025-07-11 23:02:11