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.07 c Papilo could not simplify the problem
0.00/0.07 c [STEP] solving with SCIP
298.97/300.13 c [STEP] preprocessing done, loading into solver
298.97/300.16 c [STEP] solving
298.97/300.16 c #variables 2047 #constraints 18944
298.97/300.16 c SMALL=int, LARGE=long long
298.97/300.17 d SCIPUB 0
298.97/300.17 c bounds - >= -2046 @ 298.837
298.97/300.17 c stratification level: 0
299.06/300.25 c bounds - >= -560 @ 298.853
299.06/300.25 c bounds - >= -559 @ 298.855
299.06/300.25 c bounds - >= -558 @ 298.855
299.06/300.25 c bounds - >= -557 @ 298.855
299.06/300.25 c bounds - >= -556 @ 298.855
299.06/300.25 c bounds - >= -555 @ 298.855
299.06/300.25 c bounds - >= -554 @ 298.856
299.06/300.25 c bounds - >= -553 @ 298.856
299.06/300.25 c bounds - >= -552 @ 298.856
299.06/300.25 c bounds - >= -551 @ 298.856
299.06/300.25 c bounds - >= -550 @ 298.856
299.06/300.25 c bounds - >= -549 @ 298.857
299.06/300.25 c bounds - >= -548 @ 298.857
299.06/300.25 c bounds - >= -547 @ 298.857
299.06/300.25 c bounds - >= -546 @ 298.857
299.06/300.25 c bounds - >= -545 @ 298.858
299.06/300.25 c bounds - >= -544 @ 298.858
299.06/300.25 c bounds - >= -543 @ 298.858
299.06/300.25 c bounds - >= -542 @ 298.858
299.06/300.25 c bounds - >= -541 @ 298.859
299.06/300.25 c bounds - >= -540 @ 298.859
299.06/300.25 c bounds - >= -539 @ 298.859
299.06/300.25 c bounds - >= -538 @ 298.86
299.06/300.25 c bounds - >= -537 @ 298.86
299.06/300.25 c bounds - >= -536 @ 298.86
299.06/300.25 c bounds - >= -535 @ 298.86
299.06/300.25 c bounds - >= -534 @ 298.861
299.06/300.25 c bounds - >= -533 @ 298.861
299.06/300.25 c bounds - >= -532 @ 298.861
299.06/300.25 c bounds - >= -531 @ 298.861
299.06/300.25 c bounds - >= -530 @ 298.862
299.06/300.25 c bounds - >= -529 @ 298.862
299.06/300.25 c bounds - >= -528 @ 298.864
299.06/300.25 c bounds - >= -527 @ 298.865
299.06/300.25 c bounds - >= -526 @ 298.866
299.06/300.25 c bounds - >= -525 @ 298.867
299.06/300.25 c bounds - >= -524 @ 298.867
299.06/300.25 c bounds - >= -523 @ 298.868
299.06/300.25 c bounds - >= -522 @ 298.868
299.06/300.25 c bounds - >= -521 @ 298.869
299.06/300.25 c bounds - >= -520 @ 298.869
299.06/300.25 c bounds - >= -519 @ 298.87
299.06/300.25 c bounds - >= -518 @ 298.87
299.06/300.25 c bounds - >= -517 @ 298.871
299.06/300.25 c bounds - >= -516 @ 298.871
299.06/300.25 c bounds - >= -515 @ 298.871
299.06/300.25 c bounds - >= -514 @ 298.872
299.06/300.25 c bounds - >= -513 @ 298.873
299.06/300.25 c bounds - >= -512 @ 298.874
299.06/300.25 c bounds - >= -511 @ 298.875
299.06/300.25 c bounds - >= -510 @ 298.875
299.06/300.25 c bounds - >= -509 @ 298.876
299.06/300.25 c bounds - >= -508 @ 298.877
299.06/300.25 c bounds - >= -507 @ 298.877
299.06/300.25 c bounds - >= -506 @ 298.877
299.06/300.25 c bounds - >= -505 @ 298.877
299.06/300.25 c bounds - >= -504 @ 298.879
299.06/300.25 c bounds - >= -503 @ 298.88
299.06/300.25 c bounds - >= -502 @ 298.882
299.06/300.25 c bounds - >= -501 @ 298.883
299.06/300.25 c bounds - >= -500 @ 298.883
299.06/300.25 c bounds - >= -499 @ 298.884
299.06/300.25 c bounds - >= -498 @ 298.885
299.06/300.25 c bounds - >= -497 @ 298.886
299.06/300.25 c bounds - >= -496 @ 298.886
299.06/300.25 c bounds - >= -495 @ 298.886
299.06/300.25 c bounds - >= -494 @ 298.889
299.06/300.25 c finalizing WCE round: reformulating cores
335.53/336.83 c #Conflicts: 1000 | #Constraints: 20571
335.53/336.83 c #Conflicts: 2000 | #Constraints: 21616
335.53/336.83 c INPROCESSING
335.53/336.83 c GARBAGE COLLECT
335.53/336.83 c #Conflicts: 3000 | #Constraints: 21533
335.53/336.83 c #Conflicts: 4000 | #Constraints: 22537
335.53/336.83 c INPROCESSING
335.53/336.83 c GARBAGE COLLECT
335.53/336.83 c #Conflicts: 5000 | #Constraints: 21955
335.53/336.83 c bounds -265 >= -530 @ 301.96
335.53/336.83 c #Conflicts: 6000 | #Constraints: 22959
335.53/336.83 c INPROCESSING
335.53/336.83 c GARBAGE COLLECT
335.53/336.83 c #Conflicts: 7000 | #Constraints: 21924
335.53/336.83 c #Conflicts: 8000 | #Constraints: 22926
335.53/336.83 c #Conflicts: 9000 | #Constraints: 23930
335.53/336.83 c INPROCESSING
335.53/336.83 c GARBAGE COLLECT
335.53/336.83 c #Conflicts: 10000 | #Constraints: 22661
335.53/336.83 c #Conflicts: 11000 | #Constraints: 23663
335.53/336.83 c #Conflicts: 12000 | #Constraints: 24665
335.53/336.83 c INPROCESSING
335.53/336.83 c GARBAGE COLLECT
335.53/336.83 c #Conflicts: 13000 | #Constraints: 23119
335.53/336.83 c #Conflicts: 14000 | #Constraints: 24121
335.53/336.83 c #Conflicts: 15000 | #Constraints: 25123
335.53/336.83 c INPROCESSING
335.53/336.83 c GARBAGE COLLECT
335.53/336.83 c #Conflicts: 16000 | #Constraints: 23366
335.53/336.83 c #Conflicts: 17000 | #Constraints: 24368
335.53/336.83 c #Conflicts: 18000 | #Constraints: 25370
335.53/336.83 c INPROCESSING
335.53/336.83 c GARBAGE COLLECT
335.53/336.83 c #Conflicts: 19000 | #Constraints: 23392
335.53/336.83 c #Conflicts: 20000 | #Constraints: 24394
335.53/336.83 c #Conflicts: 21000 | #Constraints: 25396
335.53/336.83 c INPROCESSING
335.53/336.83 c GARBAGE COLLECT
335.53/336.83 c #Conflicts: 22000 | #Constraints: 23202
335.53/336.83 c #Conflicts: 23000 | #Constraints: 24204
335.53/336.83 c #Conflicts: 24000 | #Constraints: 25208
335.53/336.83 c #Conflicts: 25000 | #Constraints: 26210
335.53/336.83 c INPROCESSING
335.53/336.83 c GARBAGE COLLECT
335.53/336.83 c #Conflicts: 26000 | #Constraints: 23820
335.53/336.83 c #Conflicts: 27000 | #Constraints: 24822
335.53/336.83 c #Conflicts: 28000 | #Constraints: 25824
335.53/336.83 c #Conflicts: 29000 | #Constraints: 26828
335.53/336.83 c INPROCESSING
335.53/336.83 c GARBAGE COLLECT
335.53/336.83 c #Conflicts: 30000 | #Constraints: 24224
335.53/336.83 c #Conflicts: 31000 | #Constraints: 25226
335.53/336.83 c #Conflicts: 32000 | #Constraints: 26228
335.53/336.83 c #Conflicts: 33000 | #Constraints: 27232
335.53/336.83 c INPROCESSING
335.53/336.83 c GARBAGE COLLECT
335.53/336.83 c #Conflicts: 34000 | #Constraints: 24429
335.53/336.83 c #Conflicts: 35000 | #Constraints: 25431
335.53/336.83 c #Conflicts: 36000 | #Constraints: 26433
335.53/336.83 c bounds -265 >= -493 @ 334.095
335.53/336.83 c bounds -265 >= -492 @ 334.1
335.53/336.83 c bounds -265 >= -491 @ 334.102
335.53/336.83 c bounds -265 >= -490 @ 334.107
335.53/336.83 c bounds -265 >= -489 @ 334.115
335.53/336.83 c bounds -265 >= -488 @ 334.123
335.53/336.83 c bounds -265 >= -487 @ 334.128
335.53/336.83 c bounds -265 >= -486 @ 334.135
335.53/336.83 c bounds -265 >= -485 @ 334.144
335.53/336.83 c bounds -265 >= -484 @ 334.148
335.53/336.83 c bounds -265 >= -483 @ 334.153
335.53/336.83 c bounds -265 >= -482 @ 334.162
335.53/336.83 c bounds -265 >= -481 @ 334.197
335.53/336.83 c bounds -265 >= -480 @ 334.204
335.53/336.83 c bounds -265 >= -479 @ 334.209
335.53/336.83 c bounds -265 >= -478 @ 334.236
335.53/336.83 c bounds -265 >= -477 @ 334.244
335.53/336.83 c #Conflicts: 37000 | #Constraints: 27585
335.53/336.83 c bounds -265 >= -476 @ 334.319
335.53/336.83 c INPROCESSING
335.53/336.83 c GARBAGE COLLECT
335.53/336.83 c bounds -265 >= -475 @ 334.382
335.53/336.83 c bounds -265 >= -474 @ 334.389
335.53/336.83 c bounds -265 >= -473 @ 334.401
335.53/336.83 c bounds -265 >= -472 @ 334.403
335.53/336.83 c bounds -265 >= -471 @ 334.411
335.53/336.84 c #Conflicts: 38000 | #Constraints: 24664
335.53/336.84 c bounds -265 >= -470 @ 334.478
335.53/336.84 c bounds -265 >= -469 @ 334.498
335.53/336.84 c bounds -265 >= -468 @ 334.508
335.53/336.84 c bounds -265 >= -467 @ 334.513
335.53/336.84 c bounds -265 >= -466 @ 334.542
335.53/336.84 c #Conflicts: 39000 | #Constraints: 25717
335.53/336.84 c #Conflicts: 40000 | #Constraints: 26717
335.53/336.84 c #Conflicts: 41000 | #Constraints: 27717
335.53/336.84 c INPROCESSING
335.53/336.84 c GARBAGE COLLECT
335.53/336.84 c #Conflicts: 42000 | #Constraints: 24571
335.53/336.84 c bounds -265 >= -465 @ 334.96
335.53/336.84 c bounds -265 >= -464 @ 334.965
335.53/336.84 c bounds -265 >= -463 @ 334.965
335.53/336.84 c finalizing WCE round: reformulating cores
361.05/362.46 c #Conflicts: 43000 | #Constraints: 25610
361.05/362.46 c #Conflicts: 44000 | #Constraints: 26612
361.05/362.46 c bounds -280 >= -487 @ 335.177
361.05/362.46 c #Conflicts: 45000 | #Constraints: 27625
361.05/362.46 c #Conflicts: 46000 | #Constraints: 28627
361.05/362.46 c INPROCESSING
361.05/362.46 c GARBAGE COLLECT
361.05/362.46 c #Conflicts: 47000 | #Constraints: 25125
361.05/362.46 c #Conflicts: 48000 | #Constraints: 26127
361.05/362.46 c #Conflicts: 49000 | #Constraints: 27129
361.05/362.46 c #Conflicts: 50000 | #Constraints: 28133
361.05/362.46 c #Conflicts: 51000 | #Constraints: 29135
361.05/362.46 c INPROCESSING
361.05/362.46 c GARBAGE COLLECT
361.05/362.46 c bounds -284 >= -476 @ 339.95
361.05/362.46 c #Conflicts: 52000 | #Constraints: 25503
361.05/362.46 c #Conflicts: 53000 | #Constraints: 26505
361.05/362.46 c #Conflicts: 54000 | #Constraints: 27507
361.05/362.46 c #Conflicts: 55000 | #Constraints: 28511
361.05/362.46 c #Conflicts: 56000 | #Constraints: 29513
361.05/362.46 c INPROCESSING
361.05/362.46 c GARBAGE COLLECT
361.05/362.46 c #Conflicts: 57000 | #Constraints: 25720
361.05/362.46 c #Conflicts: 58000 | #Constraints: 26722
361.05/362.46 c #Conflicts: 59000 | #Constraints: 27724
361.05/362.46 c #Conflicts: 60000 | #Constraints: 28728
361.05/362.46 c #Conflicts: 61000 | #Constraints: 29730
361.05/362.46 c INPROCESSING
361.05/362.46 c GARBAGE COLLECT
361.05/362.46 c bounds -284 >= -463 @ 346.115
361.05/362.46 c #Conflicts: 62000 | #Constraints: 25725
361.05/362.46 c #Conflicts: 63000 | #Constraints: 26727
361.05/362.46 c #Conflicts: 64000 | #Constraints: 27729
361.05/362.46 c bounds -284 >= -460 @ 347.992
361.05/362.46 c bounds -284 >= -459 @ 347.996
361.05/362.46 c bounds -284 >= -458 @ 348.002
361.05/362.46 c bounds -284 >= -457 @ 348.015
361.05/362.46 c #Conflicts: 65000 | #Constraints: 28786
361.05/362.46 c #Conflicts: 66000 | #Constraints: 29786
361.05/362.46 c bounds -284 >= -456 @ 348.181
361.05/362.46 c bounds -284 >= -455 @ 348.19
361.05/362.46 c INPROCESSING
361.05/362.46 c GARBAGE COLLECT
361.05/362.46 c #Conflicts: 67000 | #Constraints: 25640
361.05/362.46 c #Conflicts: 68000 | #Constraints: 26640
361.05/362.46 c #Conflicts: 69000 | #Constraints: 27640
361.05/362.46 c #Conflicts: 70000 | #Constraints: 28640
361.05/362.46 c #Conflicts: 71000 | #Constraints: 29640
361.05/362.46 c #Conflicts: 72000 | #Constraints: 30640
361.05/362.46 c INPROCESSING
361.05/362.46 c GARBAGE COLLECT
361.05/362.46 c #Conflicts: 73000 | #Constraints: 26282
361.05/362.46 c #Conflicts: 74000 | #Constraints: 27282
361.05/362.46 c #Conflicts: 75000 | #Constraints: 28282
361.05/362.46 c #Conflicts: 76000 | #Constraints: 29282
361.05/362.46 c #Conflicts: 77000 | #Constraints: 30282
361.05/362.46 c #Conflicts: 78000 | #Constraints: 31282
361.05/362.46 c INPROCESSING
361.05/362.46 c GARBAGE COLLECT
361.05/362.46 c #Conflicts: 79000 | #Constraints: 26714
361.05/362.46 c #Conflicts: 80000 | #Constraints: 27714
361.05/362.46 c #Conflicts: 81000 | #Constraints: 28714
361.05/362.46 c #Conflicts: 82000 | #Constraints: 29714
361.05/362.46 c #Conflicts: 83000 | #Constraints: 30714
361.05/362.46 c #Conflicts: 84000 | #Constraints: 31714
361.05/362.46 c #Conflicts: 85000 | #Constraints: 32714
361.05/362.46 c #Conflicts: 86000 | #Constraints: 33714
361.05/362.46 c #Conflicts: 87000 | #Constraints: 34714
361.05/362.46 c #Conflicts: 88000 | #Constraints: 35714
361.05/362.46 c #Conflicts: 89000 | #Constraints: 36714
361.05/362.46 c #Conflicts: 90000 | #Constraints: 37714
361.05/362.46 c #Conflicts: 91000 | #Constraints: 38714
361.05/362.46 c #Conflicts: 92000 | #Constraints: 39714
361.05/362.46 c #Conflicts: 93000 | #Constraints: 40714
361.05/362.46 c #Conflicts: 94000 | #Constraints: 41714
361.05/362.46 c #Conflicts: 95000 | #Constraints: 42714
361.05/362.46 c #Conflicts: 96000 | #Constraints: 43714
361.05/362.46 c bounds -284 >= -454 @ 358.171
361.05/362.46 c bounds -284 >= -453 @ 358.19
361.05/362.46 c #Conflicts: 97000 | #Constraints: 44773
361.05/362.46 c bounds -284 >= -452 @ 358.201
361.05/362.46 c #Conflicts: 98000 | #Constraints: 45792
361.05/362.46 c bounds -284 >= -451 @ 358.259
361.05/362.46 c #Conflicts: 99000 | #Constraints: 46814
361.05/362.46 c #Conflicts: 100000 | #Constraints: 47814
361.05/362.46 c #Conflicts: 101000 | #Constraints: 48814
361.05/362.46 c #Conflicts: 102000 | #Constraints: 49814
361.05/362.46 c INPROCESSING
361.05/362.46 c GARBAGE COLLECT
361.05/362.46 c #Conflicts: 103000 | #Constraints: 35594
361.05/362.46 c #Conflicts: 104000 | #Constraints: 36594
361.05/362.46 c #Conflicts: 105000 | #Constraints: 37594
361.05/362.46 c #Conflicts: 106000 | #Constraints: 38594
361.05/362.46 c bounds -284 >= -450 @ 360.121
361.05/362.46 c bounds -284 >= -449 @ 360.142
361.05/362.46 c #Conflicts: 107000 | #Constraints: 39629
408.00/409.56 c bounds -284 >= -448 @ 360.2
408.00/409.56 c #Conflicts: 108000 | #Constraints: 40651
408.00/409.56 c #Conflicts: 109000 | #Constraints: 41651
408.00/409.56 c #Conflicts: 110000 | #Constraints: 42651
408.00/409.56 c INPROCESSING
408.00/409.56 c GARBAGE COLLECT
408.00/409.56 c #Conflicts: 111000 | #Constraints: 32494
408.00/409.56 c #Conflicts: 112000 | #Constraints: 33494
408.00/409.56 c #Conflicts: 113000 | #Constraints: 34494
408.00/409.56 c bounds -284 >= -447 @ 361.122
408.00/409.56 c #Conflicts: 114000 | #Constraints: 35513
408.00/409.56 c #Conflicts: 115000 | #Constraints: 36513
408.00/409.56 c #Conflicts: 116000 | #Constraints: 37513
408.00/409.56 c bounds -284 >= -446 @ 361.567
408.00/409.56 c #Conflicts: 117000 | #Constraints: 38529
408.00/409.56 c INPROCESSING
408.00/409.56 c GARBAGE COLLECT
408.00/409.56 c #Conflicts: 118000 | #Constraints: 30286
408.00/409.56 c #Conflicts: 119000 | #Constraints: 31286
408.00/409.56 c #Conflicts: 120000 | #Constraints: 32286
408.00/409.56 c #Conflicts: 121000 | #Constraints: 33286
408.00/409.56 c #Conflicts: 122000 | #Constraints: 34286
408.00/409.56 c #Conflicts: 123000 | #Constraints: 35286
408.00/409.56 c #Conflicts: 124000 | #Constraints: 36286
408.00/409.56 c INPROCESSING
408.00/409.56 c GARBAGE COLLECT
408.00/409.56 c #Conflicts: 125000 | #Constraints: 28930
408.00/409.56 c #Conflicts: 126000 | #Constraints: 29930
408.00/409.56 c #Conflicts: 127000 | #Constraints: 30930
408.00/409.56 c #Conflicts: 128000 | #Constraints: 31930
408.00/409.56 c #Conflicts: 129000 | #Constraints: 32930
408.00/409.56 c #Conflicts: 130000 | #Constraints: 33930
408.00/409.56 c #Conflicts: 131000 | #Constraints: 34930
408.00/409.56 c #Conflicts: 132000 | #Constraints: 35930
408.00/409.56 c #Conflicts: 133000 | #Constraints: 36930
408.00/409.56 c #Conflicts: 134000 | #Constraints: 37930
408.00/409.56 c #Conflicts: 135000 | #Constraints: 38930
408.00/409.56 c #Conflicts: 136000 | #Constraints: 39930
408.00/409.56 c #Conflicts: 137000 | #Constraints: 40930
408.00/409.56 c #Conflicts: 138000 | #Constraints: 41930
408.00/409.56 c #Conflicts: 139000 | #Constraints: 42930
408.00/409.56 c #Conflicts: 140000 | #Constraints: 43930
408.00/409.56 c #Conflicts: 141000 | #Constraints: 44930
408.00/409.56 c #Conflicts: 142000 | #Constraints: 45930
408.00/409.56 c #Conflicts: 143000 | #Constraints: 46930
408.00/409.56 c #Conflicts: 144000 | #Constraints: 47930
408.00/409.56 c #Conflicts: 145000 | #Constraints: 48930
408.00/409.56 c #Conflicts: 146000 | #Constraints: 49930
408.00/409.56 c #Conflicts: 147000 | #Constraints: 50930
408.00/409.56 c #Conflicts: 148000 | #Constraints: 51930
408.00/409.56 c #Conflicts: 149000 | #Constraints: 52930
408.00/409.56 c #Conflicts: 150000 | #Constraints: 53930
408.00/409.56 c #Conflicts: 151000 | #Constraints: 54930
408.00/409.56 c #Conflicts: 152000 | #Constraints: 55930
408.00/409.56 c #Conflicts: 153000 | #Constraints: 56930
408.00/409.56 c #Conflicts: 154000 | #Constraints: 57930
408.00/409.56 c #Conflicts: 155000 | #Constraints: 58930
408.00/409.56 c INPROCESSING
408.00/409.56 c GARBAGE COLLECT
408.00/409.56 c #Conflicts: 156000 | #Constraints: 40672
408.00/409.56 c #Conflicts: 157000 | #Constraints: 41672
408.00/409.56 c #Conflicts: 158000 | #Constraints: 42672
408.00/409.56 c #Conflicts: 159000 | #Constraints: 43672
408.00/409.56 c #Conflicts: 160000 | #Constraints: 44672
408.00/409.56 c #Conflicts: 161000 | #Constraints: 45672
408.00/409.56 c #Conflicts: 162000 | #Constraints: 46672
408.00/409.56 c #Conflicts: 163000 | #Constraints: 47672
408.00/409.56 c INPROCESSING
408.00/409.56 c GARBAGE COLLECT
408.00/409.56 c #Conflicts: 164000 | #Constraints: 34652
408.00/409.56 c #Conflicts: 165000 | #Constraints: 35652
408.00/409.56 c #Conflicts: 166000 | #Constraints: 36652
408.00/409.56 c #Conflicts: 167000 | #Constraints: 37652
408.00/409.56 c #Conflicts: 168000 | #Constraints: 38652
408.00/409.56 c #Conflicts: 169000 | #Constraints: 39652
408.00/409.56 c #Conflicts: 170000 | #Constraints: 40652
408.00/409.56 c #Conflicts: 171000 | #Constraints: 41652
408.00/409.56 c #Conflicts: 172000 | #Constraints: 42652
408.00/409.56 c INPROCESSING
408.00/409.56 c GARBAGE COLLECT
408.00/409.56 c #Conflicts: 173000 | #Constraints: 32142
408.00/409.56 c #Conflicts: 174000 | #Constraints: 33142
408.00/409.56 c #Conflicts: 175000 | #Constraints: 34142
408.00/409.56 c #Conflicts: 176000 | #Constraints: 35142
408.00/409.56 c #Conflicts: 177000 | #Constraints: 36142
408.00/409.56 c #Conflicts: 178000 | #Constraints: 37142
408.00/409.56 c #Conflicts: 179000 | #Constraints: 38142
408.00/409.56 c #Conflicts: 180000 | #Constraints: 39142
483.75/485.52 c #Conflicts: 181000 | #Constraints: 40142
483.75/485.52 c #Conflicts: 182000 | #Constraints: 41142
483.75/485.52 c INPROCESSING
483.75/485.52 c GARBAGE COLLECT
483.75/485.52 c #Conflicts: 183000 | #Constraints: 31775
483.75/485.52 c #Conflicts: 184000 | #Constraints: 32775
483.75/485.52 c #Conflicts: 185000 | #Constraints: 33775
483.75/485.52 c #Conflicts: 186000 | #Constraints: 34775
483.75/485.52 c #Conflicts: 187000 | #Constraints: 35775
483.75/485.52 c #Conflicts: 188000 | #Constraints: 36775
483.75/485.52 c #Conflicts: 189000 | #Constraints: 37775
483.75/485.52 c #Conflicts: 190000 | #Constraints: 38775
483.75/485.52 c #Conflicts: 191000 | #Constraints: 39775
483.75/485.52 c #Conflicts: 192000 | #Constraints: 40775
483.75/485.52 c #Conflicts: 193000 | #Constraints: 41775
483.75/485.52 c #Conflicts: 194000 | #Constraints: 42775
483.75/485.52 c #Conflicts: 195000 | #Constraints: 43775
483.75/485.52 c #Conflicts: 196000 | #Constraints: 44775
483.75/485.52 c #Conflicts: 197000 | #Constraints: 45775
483.75/485.52 c #Conflicts: 198000 | #Constraints: 46775
483.75/485.52 c #Conflicts: 199000 | #Constraints: 47775
483.75/485.52 c #Conflicts: 200000 | #Constraints: 48775
483.75/485.52 c #Conflicts: 201000 | #Constraints: 49775
483.75/485.52 c #Conflicts: 202000 | #Constraints: 50775
483.75/485.52 c #Conflicts: 203000 | #Constraints: 51775
483.75/485.52 c #Conflicts: 204000 | #Constraints: 52775
483.75/485.52 c #Conflicts: 205000 | #Constraints: 53775
483.75/485.52 c #Conflicts: 206000 | #Constraints: 54775
483.75/485.52 c #Conflicts: 207000 | #Constraints: 55775
483.75/485.52 c #Conflicts: 208000 | #Constraints: 56775
483.75/485.52 c #Conflicts: 209000 | #Constraints: 57775
483.75/485.52 c #Conflicts: 210000 | #Constraints: 58775
483.75/485.52 c #Conflicts: 211000 | #Constraints: 59775
483.75/485.52 c #Conflicts: 212000 | #Constraints: 60775
483.75/485.52 c #Conflicts: 213000 | #Constraints: 61775
483.75/485.52 c #Conflicts: 214000 | #Constraints: 62775
483.75/485.52 c #Conflicts: 215000 | #Constraints: 63775
483.75/485.52 c #Conflicts: 216000 | #Constraints: 64775
483.75/485.52 c #Conflicts: 217000 | #Constraints: 65775
483.75/485.52 c INPROCESSING
483.75/485.52 c GARBAGE COLLECT
483.75/485.52 c #Conflicts: 218000 | #Constraints: 43844
483.75/485.52 c #Conflicts: 219000 | #Constraints: 44844
483.75/485.52 c #Conflicts: 220000 | #Constraints: 45844
483.75/485.52 c #Conflicts: 221000 | #Constraints: 46844
483.75/485.52 c #Conflicts: 222000 | #Constraints: 47844
483.75/485.52 c #Conflicts: 223000 | #Constraints: 48844
483.75/485.52 c #Conflicts: 224000 | #Constraints: 49844
483.75/485.52 c #Conflicts: 225000 | #Constraints: 50844
483.75/485.52 c #Conflicts: 226000 | #Constraints: 51844
483.75/485.52 c #Conflicts: 227000 | #Constraints: 52844
483.75/485.52 c #Conflicts: 228000 | #Constraints: 53844
483.75/485.52 c INPROCESSING
483.75/485.52 c GARBAGE COLLECT
483.75/485.52 c #Conflicts: 229000 | #Constraints: 38130
483.75/485.52 c #Conflicts: 230000 | #Constraints: 39130
483.75/485.52 c #Conflicts: 231000 | #Constraints: 40130
483.75/485.52 c #Conflicts: 232000 | #Constraints: 41130
483.75/485.52 c #Conflicts: 233000 | #Constraints: 42130
483.75/485.52 c #Conflicts: 234000 | #Constraints: 43130
483.75/485.52 c #Conflicts: 235000 | #Constraints: 44130
483.75/485.52 c #Conflicts: 236000 | #Constraints: 45130
483.75/485.52 c #Conflicts: 237000 | #Constraints: 46130
483.75/485.52 c #Conflicts: 238000 | #Constraints: 47130
483.75/485.52 c INPROCESSING
483.75/485.52 c GARBAGE COLLECT
483.75/485.52 c #Conflicts: 239000 | #Constraints: 34434
483.75/485.52 c #Conflicts: 240000 | #Constraints: 35434
483.75/485.52 c #Conflicts: 241000 | #Constraints: 36434
483.75/485.52 c #Conflicts: 242000 | #Constraints: 37434
483.75/485.52 c #Conflicts: 243000 | #Constraints: 38434
483.75/485.52 c #Conflicts: 244000 | #Constraints: 39434
483.75/485.52 c #Conflicts: 245000 | #Constraints: 40434
483.75/485.52 c #Conflicts: 246000 | #Constraints: 41434
483.75/485.52 c #Conflicts: 247000 | #Constraints: 42434
483.75/485.52 c #Conflicts: 248000 | #Constraints: 43434
483.75/485.52 c #Conflicts: 249000 | #Constraints: 44434
483.75/485.52 c INPROCESSING
483.75/485.52 c GARBAGE COLLECT
483.75/485.52 c #Conflicts: 250000 | #Constraints: 33136
483.75/485.52 c #Conflicts: 251000 | #Constraints: 34136
483.75/485.52 c #Conflicts: 252000 | #Constraints: 35136
483.75/485.52 c #Conflicts: 253000 | #Constraints: 36136
483.75/485.52 c #Conflicts: 254000 | #Constraints: 37136
483.75/485.52 c #Conflicts: 255000 | #Constraints: 38136
483.75/485.52 c #Conflicts: 256000 | #Constraints: 39136
586.63/588.80 c #Conflicts: 257000 | #Constraints: 40136
586.63/588.80 c #Conflicts: 258000 | #Constraints: 41136
586.63/588.80 c #Conflicts: 259000 | #Constraints: 42136
586.63/588.80 c #Conflicts: 260000 | #Constraints: 43136
586.63/588.80 c INPROCESSING
586.63/588.80 c GARBAGE COLLECT
586.63/588.80 c #Conflicts: 261000 | #Constraints: 32431
586.63/588.80 c #Conflicts: 262000 | #Constraints: 33431
586.63/588.80 c #Conflicts: 263000 | #Constraints: 34431
586.63/588.80 c #Conflicts: 264000 | #Constraints: 35431
586.63/588.80 c #Conflicts: 265000 | #Constraints: 36431
586.63/588.80 c #Conflicts: 266000 | #Constraints: 37431
586.63/588.80 c #Conflicts: 267000 | #Constraints: 38431
586.63/588.80 c #Conflicts: 268000 | #Constraints: 39431
586.63/588.80 c #Conflicts: 269000 | #Constraints: 40431
586.63/588.80 c #Conflicts: 270000 | #Constraints: 41431
586.63/588.80 c #Conflicts: 271000 | #Constraints: 42431
586.63/588.80 c #Conflicts: 272000 | #Constraints: 43431
586.63/588.80 c #Conflicts: 273000 | #Constraints: 44431
586.63/588.80 c #Conflicts: 274000 | #Constraints: 45431
586.63/588.80 c #Conflicts: 275000 | #Constraints: 46431
586.63/588.80 c #Conflicts: 276000 | #Constraints: 47431
586.63/588.80 c #Conflicts: 277000 | #Constraints: 48431
586.63/588.80 c #Conflicts: 278000 | #Constraints: 49431
586.63/588.80 c #Conflicts: 279000 | #Constraints: 50431
586.63/588.80 c #Conflicts: 280000 | #Constraints: 51431
586.63/588.80 c #Conflicts: 281000 | #Constraints: 52431
586.63/588.80 c #Conflicts: 282000 | #Constraints: 53431
586.63/588.80 c #Conflicts: 283000 | #Constraints: 54431
586.63/588.80 c #Conflicts: 284000 | #Constraints: 55431
586.63/588.80 c #Conflicts: 285000 | #Constraints: 56431
586.63/588.80 c #Conflicts: 286000 | #Constraints: 57431
586.63/588.80 c #Conflicts: 287000 | #Constraints: 58431
586.63/588.80 c #Conflicts: 288000 | #Constraints: 59431
586.63/588.80 c #Conflicts: 289000 | #Constraints: 60431
586.63/588.80 c #Conflicts: 290000 | #Constraints: 61431
586.63/588.80 c #Conflicts: 291000 | #Constraints: 62431
586.63/588.80 c #Conflicts: 292000 | #Constraints: 63431
586.63/588.80 c #Conflicts: 293000 | #Constraints: 64431
586.63/588.80 c #Conflicts: 294000 | #Constraints: 65431
586.63/588.80 c #Conflicts: 295000 | #Constraints: 66431
586.63/588.80 c #Conflicts: 296000 | #Constraints: 67431
586.63/588.80 c #Conflicts: 297000 | #Constraints: 68431
586.63/588.80 c #Conflicts: 298000 | #Constraints: 69431
586.63/588.80 c #Conflicts: 299000 | #Constraints: 70431
586.63/588.80 c #Conflicts: 300000 | #Constraints: 71431
586.63/588.80 c #Conflicts: 301000 | #Constraints: 72431
586.63/588.80 c #Conflicts: 302000 | #Constraints: 73431
586.63/588.80 c INPROCESSING
586.63/588.80 c GARBAGE COLLECT
586.63/588.80 c #Conflicts: 303000 | #Constraints: 47619
586.63/588.80 c #Conflicts: 304000 | #Constraints: 48619
586.63/588.80 c #Conflicts: 305000 | #Constraints: 49619
586.63/588.80 c #Conflicts: 306000 | #Constraints: 50619
586.63/588.80 c #Conflicts: 307000 | #Constraints: 51619
586.63/588.80 c #Conflicts: 308000 | #Constraints: 52619
586.63/588.80 c #Conflicts: 309000 | #Constraints: 53619
586.63/588.80 c #Conflicts: 310000 | #Constraints: 54619
586.63/588.80 c #Conflicts: 311000 | #Constraints: 55619
586.63/588.80 c #Conflicts: 312000 | #Constraints: 56619
586.63/588.80 c #Conflicts: 313000 | #Constraints: 57619
586.63/588.80 c #Conflicts: 314000 | #Constraints: 58619
586.63/588.80 c #Conflicts: 315000 | #Constraints: 59619
586.63/588.80 c INPROCESSING
586.63/588.80 c GARBAGE COLLECT
586.63/588.80 c #Conflicts: 316000 | #Constraints: 41019
586.63/588.80 c #Conflicts: 317000 | #Constraints: 42019
586.63/588.80 c #Conflicts: 318000 | #Constraints: 43019
586.63/588.80 c #Conflicts: 319000 | #Constraints: 44019
586.63/588.80 c #Conflicts: 320000 | #Constraints: 45019
586.63/588.80 c #Conflicts: 321000 | #Constraints: 46019
586.63/588.80 c #Conflicts: 322000 | #Constraints: 47019
586.63/588.80 c #Conflicts: 323000 | #Constraints: 48019
586.63/588.80 c #Conflicts: 324000 | #Constraints: 49019
586.63/588.80 c #Conflicts: 325000 | #Constraints: 50019
586.63/588.80 c #Conflicts: 326000 | #Constraints: 51019
586.63/588.80 c #Conflicts: 327000 | #Constraints: 52019
586.63/588.80 c INPROCESSING
586.63/588.80 c GARBAGE COLLECT
586.63/588.80 c #Conflicts: 328000 | #Constraints: 36911
586.63/588.80 c #Conflicts: 329000 | #Constraints: 37911
586.63/588.80 c #Conflicts: 330000 | #Constraints: 38911
586.63/588.80 c #Conflicts: 331000 | #Constraints: 39911
586.63/588.80 c #Conflicts: 332000 | #Constraints: 40911
710.53/713.27 c #Conflicts: 333000 | #Constraints: 41911
710.53/713.27 c #Conflicts: 334000 | #Constraints: 42911
710.53/713.27 c #Conflicts: 335000 | #Constraints: 43911
710.53/713.27 c #Conflicts: 336000 | #Constraints: 44911
710.53/713.27 c #Conflicts: 337000 | #Constraints: 45911
710.53/713.27 c #Conflicts: 338000 | #Constraints: 46911
710.53/713.27 c #Conflicts: 339000 | #Constraints: 47911
710.53/713.27 c #Conflicts: 340000 | #Constraints: 48911
710.53/713.27 c INPROCESSING
710.53/713.27 c GARBAGE COLLECT
710.53/713.27 c #Conflicts: 341000 | #Constraints: 35478
710.53/713.27 c #Conflicts: 342000 | #Constraints: 36478
710.53/713.27 c #Conflicts: 343000 | #Constraints: 37478
710.53/713.27 c #Conflicts: 344000 | #Constraints: 38478
710.53/713.27 c #Conflicts: 345000 | #Constraints: 39478
710.53/713.27 c #Conflicts: 346000 | #Constraints: 40478
710.53/713.27 c #Conflicts: 347000 | #Constraints: 41478
710.53/713.27 c #Conflicts: 348000 | #Constraints: 42478
710.53/713.27 c #Conflicts: 349000 | #Constraints: 43478
710.53/713.27 c #Conflicts: 350000 | #Constraints: 44478
710.53/713.27 c #Conflicts: 351000 | #Constraints: 45478
710.53/713.27 c #Conflicts: 352000 | #Constraints: 46478
710.53/713.27 c #Conflicts: 353000 | #Constraints: 47478
710.53/713.27 c INPROCESSING
710.53/713.27 c GARBAGE COLLECT
710.53/713.27 c #Conflicts: 354000 | #Constraints: 34760
710.53/713.27 c #Conflicts: 355000 | #Constraints: 35760
710.53/713.27 c #Conflicts: 356000 | #Constraints: 36760
710.53/713.27 c #Conflicts: 357000 | #Constraints: 37760
710.53/713.27 c #Conflicts: 358000 | #Constraints: 38760
710.53/713.27 c #Conflicts: 359000 | #Constraints: 39760
710.53/713.27 c #Conflicts: 360000 | #Constraints: 40760
710.53/713.27 c #Conflicts: 361000 | #Constraints: 41760
710.53/713.27 c #Conflicts: 362000 | #Constraints: 42760
710.53/713.27 c #Conflicts: 363000 | #Constraints: 43760
710.53/713.27 c #Conflicts: 364000 | #Constraints: 44760
710.53/713.27 c #Conflicts: 365000 | #Constraints: 45760
710.53/713.27 c #Conflicts: 366000 | #Constraints: 46760
710.53/713.27 c #Conflicts: 367000 | #Constraints: 47760
710.53/713.27 c #Conflicts: 368000 | #Constraints: 48760
710.53/713.27 c #Conflicts: 369000 | #Constraints: 49760
710.53/713.27 c #Conflicts: 370000 | #Constraints: 50760
710.53/713.27 c #Conflicts: 371000 | #Constraints: 51760
710.53/713.27 c #Conflicts: 372000 | #Constraints: 52760
710.53/713.27 c #Conflicts: 373000 | #Constraints: 53760
710.53/713.27 c #Conflicts: 374000 | #Constraints: 54760
710.53/713.27 c #Conflicts: 375000 | #Constraints: 55760
710.53/713.27 c #Conflicts: 376000 | #Constraints: 56760
710.53/713.27 c #Conflicts: 377000 | #Constraints: 57760
710.53/713.27 c #Conflicts: 378000 | #Constraints: 58760
710.53/713.27 c #Conflicts: 379000 | #Constraints: 59760
710.53/713.27 c #Conflicts: 380000 | #Constraints: 60760
710.53/713.27 c #Conflicts: 381000 | #Constraints: 61760
710.53/713.27 c #Conflicts: 382000 | #Constraints: 62760
710.53/713.27 c #Conflicts: 383000 | #Constraints: 63760
710.53/713.27 c #Conflicts: 384000 | #Constraints: 64760
710.53/713.27 c #Conflicts: 385000 | #Constraints: 65760
710.53/713.27 c #Conflicts: 386000 | #Constraints: 66760
710.53/713.27 c #Conflicts: 387000 | #Constraints: 67760
710.53/713.27 c #Conflicts: 388000 | #Constraints: 68760
710.53/713.27 c #Conflicts: 389000 | #Constraints: 69760
710.53/713.27 c #Conflicts: 390000 | #Constraints: 70760
710.53/713.27 c #Conflicts: 391000 | #Constraints: 71760
710.53/713.27 c #Conflicts: 392000 | #Constraints: 72760
710.53/713.27 c #Conflicts: 393000 | #Constraints: 73760
710.53/713.27 c #Conflicts: 394000 | #Constraints: 74760
710.53/713.27 c #Conflicts: 395000 | #Constraints: 75760
710.53/713.27 c #Conflicts: 396000 | #Constraints: 76760
710.53/713.27 c #Conflicts: 397000 | #Constraints: 77760
710.53/713.27 c #Conflicts: 398000 | #Constraints: 78760
710.53/713.27 c #Conflicts: 399000 | #Constraints: 79760
710.53/713.27 c #Conflicts: 400000 | #Constraints: 80760
710.53/713.27 c #Conflicts: 401000 | #Constraints: 81760
710.53/713.27 c INPROCESSING
710.53/713.27 c GARBAGE COLLECT
710.53/713.27 c #Conflicts: 402000 | #Constraints: 51741
710.53/713.27 c #Conflicts: 403000 | #Constraints: 52741
710.53/713.27 c #Conflicts: 404000 | #Constraints: 53741
710.53/713.27 c #Conflicts: 405000 | #Constraints: 54741
710.53/713.27 c #Conflicts: 406000 | #Constraints: 55741
710.53/713.27 c #Conflicts: 407000 | #Constraints: 56741
710.53/713.27 c #Conflicts: 408000 | #Constraints: 57741
710.53/713.27 c #Conflicts: 409000 | #Constraints: 58741
820.19/823.36 c #Conflicts: 410000 | #Constraints: 59741
820.19/823.36 c #Conflicts: 411000 | #Constraints: 60741
820.19/823.36 c #Conflicts: 412000 | #Constraints: 61741
820.19/823.36 c #Conflicts: 413000 | #Constraints: 62741
820.19/823.36 c #Conflicts: 414000 | #Constraints: 63741
820.19/823.36 c #Conflicts: 415000 | #Constraints: 64741
820.19/823.36 c #Conflicts: 416000 | #Constraints: 65741
820.19/823.36 c INPROCESSING
820.19/823.36 c GARBAGE COLLECT
820.19/823.36 c #Conflicts: 417000 | #Constraints: 44088
820.19/823.36 c #Conflicts: 418000 | #Constraints: 45088
820.19/823.36 c #Conflicts: 419000 | #Constraints: 46088
820.19/823.36 c #Conflicts: 420000 | #Constraints: 47088
820.19/823.36 c #Conflicts: 421000 | #Constraints: 48088
820.19/823.36 c #Conflicts: 422000 | #Constraints: 49088
820.19/823.36 c #Conflicts: 423000 | #Constraints: 50088
820.19/823.36 c #Conflicts: 424000 | #Constraints: 51088
820.19/823.36 c #Conflicts: 425000 | #Constraints: 52088
820.19/823.36 c #Conflicts: 426000 | #Constraints: 53088
820.19/823.36 c #Conflicts: 427000 | #Constraints: 54088
820.19/823.36 c #Conflicts: 428000 | #Constraints: 55088
820.19/823.36 c #Conflicts: 429000 | #Constraints: 56088
820.19/823.36 c #Conflicts: 430000 | #Constraints: 57088
820.19/823.36 c INPROCESSING
820.19/823.36 c GARBAGE COLLECT
820.19/823.36 c #Conflicts: 431000 | #Constraints: 39513
820.19/823.36 c #Conflicts: 432000 | #Constraints: 40513
820.19/823.36 c #Conflicts: 433000 | #Constraints: 41513
820.19/823.36 c #Conflicts: 434000 | #Constraints: 42513
820.19/823.36 c #Conflicts: 435000 | #Constraints: 43513
820.19/823.36 c #Conflicts: 436000 | #Constraints: 44513
820.19/823.36 c #Conflicts: 437000 | #Constraints: 45513
820.19/823.36 c #Conflicts: 438000 | #Constraints: 46513
820.19/823.36 c #Conflicts: 439000 | #Constraints: 47513
820.19/823.36 c #Conflicts: 440000 | #Constraints: 48513
820.19/823.36 c #Conflicts: 441000 | #Constraints: 49513
820.19/823.36 c #Conflicts: 442000 | #Constraints: 50513
820.19/823.36 c #Conflicts: 443000 | #Constraints: 51513
820.19/823.36 c #Conflicts: 444000 | #Constraints: 52513
820.19/823.36 c #Conflicts: 445000 | #Constraints: 53513
820.19/823.36 c INPROCESSING
820.19/823.36 c GARBAGE COLLECT
820.19/823.36 c #Conflicts: 446000 | #Constraints: 37878
820.19/823.36 c #Conflicts: 447000 | #Constraints: 38878
820.19/823.36 c #Conflicts: 448000 | #Constraints: 39878
820.19/823.36 c #Conflicts: 449000 | #Constraints: 40878
820.19/823.36 c #Conflicts: 450000 | #Constraints: 41878
820.19/823.36 c #Conflicts: 451000 | #Constraints: 42878
820.19/823.36 c #Conflicts: 452000 | #Constraints: 43878
820.19/823.36 c #Conflicts: 453000 | #Constraints: 44878
820.19/823.36 c #Conflicts: 454000 | #Constraints: 45878
820.19/823.36 c #Conflicts: 455000 | #Constraints: 46878
820.19/823.36 c #Conflicts: 456000 | #Constraints: 47878
820.19/823.36 c #Conflicts: 457000 | #Constraints: 48878
820.19/823.36 c #Conflicts: 458000 | #Constraints: 49878
820.19/823.36 c #Conflicts: 459000 | #Constraints: 50878
820.19/823.36 c #Conflicts: 460000 | #Constraints: 51878
820.19/823.36 c INPROCESSING
820.19/823.36 c GARBAGE COLLECT
820.19/823.36 c #Conflicts: 461000 | #Constraints: 37096
820.19/823.36 c #Conflicts: 462000 | #Constraints: 38096
820.19/823.36 c #Conflicts: 463000 | #Constraints: 39096
820.19/823.36 c #Conflicts: 464000 | #Constraints: 40096
820.19/823.36 c #Conflicts: 465000 | #Constraints: 41096
820.19/823.36 c #Conflicts: 466000 | #Constraints: 42096
820.19/823.36 c #Conflicts: 467000 | #Constraints: 43096
820.19/823.36 c #Conflicts: 468000 | #Constraints: 44096
820.19/823.36 c #Conflicts: 469000 | #Constraints: 45096
820.19/823.36 c #Conflicts: 470000 | #Constraints: 46096
820.19/823.36 c #Conflicts: 471000 | #Constraints: 47096
820.19/823.36 c #Conflicts: 472000 | #Constraints: 48096
820.19/823.36 c #Conflicts: 473000 | #Constraints: 49096
820.19/823.36 c #Conflicts: 474000 | #Constraints: 50096
820.19/823.36 c #Conflicts: 475000 | #Constraints: 51096
820.19/823.36 c #Conflicts: 476000 | #Constraints: 52096
820.19/823.36 c #Conflicts: 477000 | #Constraints: 53096
820.19/823.36 c #Conflicts: 478000 | #Constraints: 54096
820.19/823.36 c #Conflicts: 479000 | #Constraints: 55096
820.19/823.36 c #Conflicts: 480000 | #Constraints: 56096
820.19/823.36 c #Conflicts: 481000 | #Constraints: 57096
820.19/823.36 c #Conflicts: 482000 | #Constraints: 58096
820.19/823.36 c #Conflicts: 483000 | #Constraints: 59096
820.19/823.36 c #Conflicts: 484000 | #Constraints: 60096
820.19/823.36 c #Conflicts: 485000 | #Constraints: 61096
1014.54/1018.46 c #Conflicts: 486000 | #Constraints: 62096
1014.54/1018.46 c #Conflicts: 487000 | #Constraints: 63096
1014.54/1018.46 c #Conflicts: 488000 | #Constraints: 64096
1014.54/1018.46 c #Conflicts: 489000 | #Constraints: 65096
1014.54/1018.46 c #Conflicts: 490000 | #Constraints: 66096
1014.54/1018.46 c #Conflicts: 491000 | #Constraints: 67096
1014.54/1018.46 c #Conflicts: 492000 | #Constraints: 68096
1014.54/1018.46 c #Conflicts: 493000 | #Constraints: 69096
1014.54/1018.46 c #Conflicts: 494000 | #Constraints: 70096
1014.54/1018.46 c #Conflicts: 495000 | #Constraints: 71096
1014.54/1018.46 c #Conflicts: 496000 | #Constraints: 72096
1014.54/1018.46 c #Conflicts: 497000 | #Constraints: 73096
1014.54/1018.46 c #Conflicts: 498000 | #Constraints: 74096
1014.54/1018.46 c #Conflicts: 499000 | #Constraints: 75096
1014.54/1018.46 c #Conflicts: 500000 | #Constraints: 76096
1014.54/1018.46 c #Conflicts: 501000 | #Constraints: 77096
1014.54/1018.46 c #Conflicts: 502000 | #Constraints: 78096
1014.54/1018.46 c #Conflicts: 503000 | #Constraints: 79096
1014.54/1018.46 c #Conflicts: 504000 | #Constraints: 80096
1014.54/1018.46 c #Conflicts: 505000 | #Constraints: 81096
1014.54/1018.46 c #Conflicts: 506000 | #Constraints: 82096
1014.54/1018.46 c #Conflicts: 507000 | #Constraints: 83096
1014.54/1018.46 c #Conflicts: 508000 | #Constraints: 84096
1014.54/1018.46 c #Conflicts: 509000 | #Constraints: 85096
1014.54/1018.46 c #Conflicts: 510000 | #Constraints: 86096
1014.54/1018.46 c #Conflicts: 511000 | #Constraints: 87096
1014.54/1018.46 c #Conflicts: 512000 | #Constraints: 88096
1014.54/1018.46 c #Conflicts: 513000 | #Constraints: 89096
1014.54/1018.46 c #Conflicts: 514000 | #Constraints: 90096
1014.54/1018.46 c INPROCESSING
1014.54/1018.46 c GARBAGE COLLECT
1014.54/1018.46 c #Conflicts: 515000 | #Constraints: 55858
1014.54/1018.46 c #Conflicts: 516000 | #Constraints: 56858
1014.54/1018.46 c #Conflicts: 517000 | #Constraints: 57858
1014.54/1018.46 c #Conflicts: 518000 | #Constraints: 58858
1014.54/1018.46 c #Conflicts: 519000 | #Constraints: 59858
1014.54/1018.46 c #Conflicts: 520000 | #Constraints: 60858
1014.54/1018.46 c #Conflicts: 521000 | #Constraints: 61858
1014.54/1018.46 c #Conflicts: 522000 | #Constraints: 62858
1014.54/1018.46 c #Conflicts: 523000 | #Constraints: 63858
1014.54/1018.46 c #Conflicts: 524000 | #Constraints: 64858
1014.54/1018.46 c #Conflicts: 525000 | #Constraints: 65858
1014.54/1018.46 c #Conflicts: 526000 | #Constraints: 66858
1014.54/1018.46 c #Conflicts: 527000 | #Constraints: 67858
1014.54/1018.46 c #Conflicts: 528000 | #Constraints: 68858
1014.54/1018.46 c #Conflicts: 529000 | #Constraints: 69858
1014.54/1018.46 c #Conflicts: 530000 | #Constraints: 70858
1014.54/1018.46 c #Conflicts: 531000 | #Constraints: 71858
1014.54/1018.46 c INPROCESSING
1014.54/1018.46 c GARBAGE COLLECT
1014.54/1018.46 c #Conflicts: 532000 | #Constraints: 47135
1014.54/1018.46 c #Conflicts: 533000 | #Constraints: 48135
1014.54/1018.46 c #Conflicts: 534000 | #Constraints: 49135
1014.54/1018.46 c #Conflicts: 535000 | #Constraints: 50135
1014.54/1018.46 c #Conflicts: 536000 | #Constraints: 51135
1014.54/1018.46 c #Conflicts: 537000 | #Constraints: 52135
1014.54/1018.46 c #Conflicts: 538000 | #Constraints: 53135
1014.54/1018.46 c #Conflicts: 539000 | #Constraints: 54135
1014.54/1018.46 c #Conflicts: 540000 | #Constraints: 55135
1014.54/1018.46 c #Conflicts: 541000 | #Constraints: 56135
1014.54/1018.46 c #Conflicts: 542000 | #Constraints: 57135
1014.54/1018.46 c #Conflicts: 543000 | #Constraints: 58135
1014.54/1018.46 c #Conflicts: 544000 | #Constraints: 59135
1014.54/1018.46 c #Conflicts: 545000 | #Constraints: 60135
1014.54/1018.46 c #Conflicts: 546000 | #Constraints: 61135
1014.54/1018.46 c #Conflicts: 547000 | #Constraints: 62135
1014.54/1018.46 c INPROCESSING
1014.54/1018.46 c GARBAGE COLLECT
1014.54/1018.46 c #Conflicts: 548000 | #Constraints: 42082
1014.54/1018.46 c #Conflicts: 549000 | #Constraints: 43082
1014.54/1018.46 c #Conflicts: 550000 | #Constraints: 44082
1014.54/1018.46 c #Conflicts: 551000 | #Constraints: 45082
1014.54/1018.46 c #Conflicts: 552000 | #Constraints: 46082
1014.54/1018.46 c #Conflicts: 553000 | #Constraints: 47082
1014.54/1018.46 c #Conflicts: 554000 | #Constraints: 48082
1014.54/1018.46 c #Conflicts: 555000 | #Constraints: 49082
1014.54/1018.46 c #Conflicts: 556000 | #Constraints: 50082
1014.54/1018.46 c #Conflicts: 557000 | #Constraints: 51082
1014.54/1018.46 c #Conflicts: 558000 | #Constraints: 52082
1014.54/1018.46 c #Conflicts: 559000 | #Constraints: 53082
1014.54/1018.46 c #Conflicts: 560000 | #Constraints: 54082
1014.54/1018.46 c #Conflicts: 561000 | #Constraints: 55082
1014.54/1018.46 c #Conflicts: 562000 | #Constraints: 56082
1151.01/1155.41 c #Conflicts: 563000 | #Constraints: 57082
1151.01/1155.41 c #Conflicts: 564000 | #Constraints: 58082
1151.01/1155.41 c INPROCESSING
1151.01/1155.41 c GARBAGE COLLECT
1151.01/1155.41 c #Conflicts: 565000 | #Constraints: 40268
1151.01/1155.41 c #Conflicts: 566000 | #Constraints: 41268
1151.01/1155.41 c #Conflicts: 567000 | #Constraints: 42268
1151.01/1155.41 c #Conflicts: 568000 | #Constraints: 43268
1151.01/1155.41 c #Conflicts: 569000 | #Constraints: 44268
1151.01/1155.41 c #Conflicts: 570000 | #Constraints: 45268
1151.01/1155.41 c #Conflicts: 571000 | #Constraints: 46268
1151.01/1155.41 c #Conflicts: 572000 | #Constraints: 47268
1151.01/1155.41 c #Conflicts: 573000 | #Constraints: 48268
1151.01/1155.41 c #Conflicts: 574000 | #Constraints: 49268
1151.01/1155.41 c #Conflicts: 575000 | #Constraints: 50268
1151.01/1155.41 c #Conflicts: 576000 | #Constraints: 51268
1151.01/1155.41 c #Conflicts: 577000 | #Constraints: 52268
1151.01/1155.41 c #Conflicts: 578000 | #Constraints: 53268
1151.01/1155.41 c #Conflicts: 579000 | #Constraints: 54268
1151.01/1155.41 c #Conflicts: 580000 | #Constraints: 55268
1151.01/1155.41 c INPROCESSING
1151.01/1155.41 c GARBAGE COLLECT
1151.01/1155.41 c #Conflicts: 581000 | #Constraints: 38449
1151.01/1155.41 c #Conflicts: 582000 | #Constraints: 39449
1151.01/1155.41 c #Conflicts: 583000 | #Constraints: 40449
1151.01/1155.41 c #Conflicts: 584000 | #Constraints: 41449
1151.01/1155.41 c #Conflicts: 585000 | #Constraints: 42449
1151.01/1155.41 c #Conflicts: 586000 | #Constraints: 43449
1151.01/1155.41 c #Conflicts: 587000 | #Constraints: 44449
1151.01/1155.41 c #Conflicts: 588000 | #Constraints: 45449
1151.01/1155.41 c #Conflicts: 589000 | #Constraints: 46449
1151.01/1155.41 c #Conflicts: 590000 | #Constraints: 47449
1151.01/1155.41 c #Conflicts: 591000 | #Constraints: 48449
1151.01/1155.41 c #Conflicts: 592000 | #Constraints: 49449
1151.01/1155.41 c #Conflicts: 593000 | #Constraints: 50449
1151.01/1155.41 c #Conflicts: 594000 | #Constraints: 51449
1151.01/1155.41 c #Conflicts: 595000 | #Constraints: 52449
1151.01/1155.41 c #Conflicts: 596000 | #Constraints: 53449
1151.01/1155.41 c #Conflicts: 597000 | #Constraints: 54449
1151.01/1155.41 c INPROCESSING
1151.01/1155.41 c GARBAGE COLLECT
1151.01/1155.41 c #Conflicts: 598000 | #Constraints: 38040
1151.01/1155.41 c #Conflicts: 599000 | #Constraints: 39040
1151.01/1155.41 c #Conflicts: 600000 | #Constraints: 40040
1151.01/1155.41 c #Conflicts: 601000 | #Constraints: 41040
1151.01/1155.41 c #Conflicts: 602000 | #Constraints: 42040
1151.01/1155.41 c #Conflicts: 603000 | #Constraints: 43040
1151.01/1155.41 c #Conflicts: 604000 | #Constraints: 44040
1151.01/1155.41 c #Conflicts: 605000 | #Constraints: 45040
1151.01/1155.41 c #Conflicts: 606000 | #Constraints: 46040
1151.01/1155.41 c #Conflicts: 607000 | #Constraints: 47040
1151.01/1155.41 c #Conflicts: 608000 | #Constraints: 48040
1151.01/1155.41 c #Conflicts: 609000 | #Constraints: 49040
1151.01/1155.41 c #Conflicts: 610000 | #Constraints: 50040
1151.01/1155.41 c #Conflicts: 611000 | #Constraints: 51040
1151.01/1155.41 c #Conflicts: 612000 | #Constraints: 52040
1151.01/1155.41 c #Conflicts: 613000 | #Constraints: 53040
1151.01/1155.41 c #Conflicts: 614000 | #Constraints: 54040
1151.01/1155.41 c #Conflicts: 615000 | #Constraints: 55040
1151.01/1155.41 c #Conflicts: 616000 | #Constraints: 56040
1151.01/1155.41 c #Conflicts: 617000 | #Constraints: 57040
1151.01/1155.41 c #Conflicts: 618000 | #Constraints: 58040
1151.01/1155.41 c #Conflicts: 619000 | #Constraints: 59040
1151.01/1155.41 c #Conflicts: 620000 | #Constraints: 60040
1151.01/1155.41 c #Conflicts: 621000 | #Constraints: 61040
1151.01/1155.41 c #Conflicts: 622000 | #Constraints: 62040
1151.01/1155.41 c #Conflicts: 623000 | #Constraints: 63040
1151.01/1155.41 c #Conflicts: 624000 | #Constraints: 64040
1151.01/1155.41 c #Conflicts: 625000 | #Constraints: 65040
1151.01/1155.41 c #Conflicts: 626000 | #Constraints: 66040
1151.01/1155.41 c #Conflicts: 627000 | #Constraints: 67040
1151.01/1155.41 c #Conflicts: 628000 | #Constraints: 68040
1151.01/1155.41 c #Conflicts: 629000 | #Constraints: 69040
1151.01/1155.41 c #Conflicts: 630000 | #Constraints: 70040
1151.01/1155.41 c #Conflicts: 631000 | #Constraints: 71040
1151.01/1155.41 c #Conflicts: 632000 | #Constraints: 72040
1151.01/1155.41 c #Conflicts: 633000 | #Constraints: 73040
1151.01/1155.41 c #Conflicts: 634000 | #Constraints: 74040
1151.01/1155.41 c #Conflicts: 635000 | #Constraints: 75040
1151.01/1155.41 c #Conflicts: 636000 | #Constraints: 76040
1151.01/1155.41 c #Conflicts: 637000 | #Constraints: 77040
1151.01/1155.41 c #Conflicts: 638000 | #Constraints: 78040
1151.01/1155.41 c #Conflicts: 639000 | #Constraints: 79040
1391.65/1397.09 c #Conflicts: 640000 | #Constraints: 80040
1391.65/1397.09 c #Conflicts: 641000 | #Constraints: 81040
1391.65/1397.09 c #Conflicts: 642000 | #Constraints: 82040
1391.65/1397.09 c #Conflicts: 643000 | #Constraints: 83040
1391.65/1397.09 c #Conflicts: 644000 | #Constraints: 84040
1391.65/1397.09 c #Conflicts: 645000 | #Constraints: 85040
1391.65/1397.09 c #Conflicts: 646000 | #Constraints: 86040
1391.65/1397.09 c #Conflicts: 647000 | #Constraints: 87040
1391.65/1397.09 c #Conflicts: 648000 | #Constraints: 88040
1391.65/1397.09 c #Conflicts: 649000 | #Constraints: 89040
1391.65/1397.09 c #Conflicts: 650000 | #Constraints: 90040
1391.65/1397.09 c #Conflicts: 651000 | #Constraints: 91040
1391.65/1397.09 c #Conflicts: 652000 | #Constraints: 92040
1391.65/1397.09 c #Conflicts: 653000 | #Constraints: 93040
1391.65/1397.09 c #Conflicts: 654000 | #Constraints: 94040
1391.65/1397.09 c #Conflicts: 655000 | #Constraints: 95040
1391.65/1397.09 c #Conflicts: 656000 | #Constraints: 96040
1391.65/1397.09 c #Conflicts: 657000 | #Constraints: 97040
1391.65/1397.09 c #Conflicts: 658000 | #Constraints: 98040
1391.65/1397.09 c #Conflicts: 659000 | #Constraints: 99040
1391.65/1397.09 c #Conflicts: 660000 | #Constraints: 100040
1391.65/1397.09 c INPROCESSING
1391.65/1397.09 c GARBAGE COLLECT
1391.65/1397.09 c #Conflicts: 661000 | #Constraints: 61221
1391.65/1397.09 c #Conflicts: 662000 | #Constraints: 62221
1391.65/1397.09 c #Conflicts: 663000 | #Constraints: 63221
1391.65/1397.09 c #Conflicts: 664000 | #Constraints: 64221
1391.65/1397.09 c #Conflicts: 665000 | #Constraints: 65221
1391.65/1397.09 c #Conflicts: 666000 | #Constraints: 66221
1391.65/1397.09 c #Conflicts: 667000 | #Constraints: 67221
1391.65/1397.09 c #Conflicts: 668000 | #Constraints: 68221
1391.65/1397.09 c #Conflicts: 669000 | #Constraints: 69221
1391.65/1397.09 c #Conflicts: 670000 | #Constraints: 70221
1391.65/1397.09 c #Conflicts: 671000 | #Constraints: 71221
1391.65/1397.09 c #Conflicts: 672000 | #Constraints: 72221
1391.65/1397.09 c #Conflicts: 673000 | #Constraints: 73221
1391.65/1397.09 c #Conflicts: 674000 | #Constraints: 74221
1391.65/1397.09 c #Conflicts: 675000 | #Constraints: 75221
1391.65/1397.09 c #Conflicts: 676000 | #Constraints: 76221
1391.65/1397.09 c #Conflicts: 677000 | #Constraints: 77221
1391.65/1397.09 c #Conflicts: 678000 | #Constraints: 78221
1391.65/1397.09 c INPROCESSING
1391.65/1397.09 c GARBAGE COLLECT
1391.65/1397.09 c #Conflicts: 679000 | #Constraints: 50189
1391.65/1397.09 c #Conflicts: 680000 | #Constraints: 51189
1391.65/1397.09 c #Conflicts: 681000 | #Constraints: 52189
1391.65/1397.09 c #Conflicts: 682000 | #Constraints: 53189
1391.65/1397.09 c #Conflicts: 683000 | #Constraints: 54189
1391.65/1397.09 c #Conflicts: 684000 | #Constraints: 55189
1391.65/1397.09 c #Conflicts: 685000 | #Constraints: 56189
1391.65/1397.09 c #Conflicts: 686000 | #Constraints: 57189
1391.65/1397.09 c #Conflicts: 687000 | #Constraints: 58189
1391.65/1397.09 c #Conflicts: 688000 | #Constraints: 59189
1391.65/1397.09 c #Conflicts: 689000 | #Constraints: 60189
1391.65/1397.09 c #Conflicts: 690000 | #Constraints: 61189
1391.65/1397.09 c #Conflicts: 691000 | #Constraints: 62189
1391.65/1397.09 c #Conflicts: 692000 | #Constraints: 63189
1391.65/1397.09 c #Conflicts: 693000 | #Constraints: 64189
1391.65/1397.09 c #Conflicts: 694000 | #Constraints: 65189
1391.65/1397.09 c #Conflicts: 695000 | #Constraints: 66189
1391.65/1397.09 c #Conflicts: 696000 | #Constraints: 67189
1391.65/1397.09 c INPROCESSING
1391.65/1397.09 c GARBAGE COLLECT
1391.65/1397.09 c #Conflicts: 697000 | #Constraints: 44417
1391.65/1397.09 c #Conflicts: 698000 | #Constraints: 45417
1391.65/1397.09 c #Conflicts: 699000 | #Constraints: 46417
1391.65/1397.09 c #Conflicts: 700000 | #Constraints: 47417
1391.65/1397.09 c #Conflicts: 701000 | #Constraints: 48417
1391.65/1397.09 c #Conflicts: 702000 | #Constraints: 49417
1391.65/1397.09 c #Conflicts: 703000 | #Constraints: 50417
1391.65/1397.09 c #Conflicts: 704000 | #Constraints: 51417
1391.65/1397.09 c #Conflicts: 705000 | #Constraints: 52417
1391.65/1397.09 c #Conflicts: 706000 | #Constraints: 53417
1391.65/1397.09 c #Conflicts: 707000 | #Constraints: 54417
1391.65/1397.09 c #Conflicts: 708000 | #Constraints: 55417
1391.65/1397.09 c #Conflicts: 709000 | #Constraints: 56417
1391.65/1397.09 c #Conflicts: 710000 | #Constraints: 57417
1391.65/1397.09 c #Conflicts: 711000 | #Constraints: 58417
1391.65/1397.09 c #Conflicts: 712000 | #Constraints: 59417
1391.65/1397.09 c #Conflicts: 713000 | #Constraints: 60417
1391.65/1397.09 c #Conflicts: 714000 | #Constraints: 61417
1391.65/1397.09 c #Conflicts: 715000 | #Constraints: 62417
1391.65/1397.09 c INPROCESSING
1540.97/1546.94 c GARBAGE COLLECT
1540.97/1546.94 c #Conflicts: 716000 | #Constraints: 42177
1540.97/1546.94 c #Conflicts: 717000 | #Constraints: 43177
1540.97/1546.94 c #Conflicts: 718000 | #Constraints: 44177
1540.97/1546.94 c #Conflicts: 719000 | #Constraints: 45177
1540.97/1546.94 c #Conflicts: 720000 | #Constraints: 46177
1540.97/1546.94 c #Conflicts: 721000 | #Constraints: 47177
1540.97/1546.94 c #Conflicts: 722000 | #Constraints: 48177
1540.97/1546.94 c #Conflicts: 723000 | #Constraints: 49177
1540.97/1546.94 c #Conflicts: 724000 | #Constraints: 50177
1540.97/1546.94 c #Conflicts: 725000 | #Constraints: 51177
1540.97/1546.94 c #Conflicts: 726000 | #Constraints: 52177
1540.97/1546.94 c #Conflicts: 727000 | #Constraints: 53177
1540.97/1546.94 c #Conflicts: 728000 | #Constraints: 54177
1540.97/1546.94 c #Conflicts: 729000 | #Constraints: 55177
1540.97/1546.94 c #Conflicts: 730000 | #Constraints: 56177
1540.97/1546.94 c #Conflicts: 731000 | #Constraints: 57177
1540.97/1546.94 c #Conflicts: 732000 | #Constraints: 58177
1540.97/1546.94 c #Conflicts: 733000 | #Constraints: 59177
1540.97/1546.94 c #Conflicts: 734000 | #Constraints: 60177
1540.97/1546.94 c INPROCESSING
1540.97/1546.94 c GARBAGE COLLECT
1540.97/1546.94 c #Conflicts: 735000 | #Constraints: 41096
1540.97/1546.94 c #Conflicts: 736000 | #Constraints: 42096
1540.97/1546.94 c #Conflicts: 737000 | #Constraints: 43096
1540.97/1546.94 c #Conflicts: 738000 | #Constraints: 44096
1540.97/1546.94 c #Conflicts: 739000 | #Constraints: 45096
1540.97/1546.94 c #Conflicts: 740000 | #Constraints: 46096
1540.97/1546.94 c #Conflicts: 741000 | #Constraints: 47096
1540.97/1546.94 c #Conflicts: 742000 | #Constraints: 48096
1540.97/1546.94 c #Conflicts: 743000 | #Constraints: 49096
1540.97/1546.94 c #Conflicts: 744000 | #Constraints: 50096
1540.97/1546.94 c #Conflicts: 745000 | #Constraints: 51096
1540.97/1546.94 c #Conflicts: 746000 | #Constraints: 52096
1540.97/1546.94 c #Conflicts: 747000 | #Constraints: 53096
1540.97/1546.94 c #Conflicts: 748000 | #Constraints: 54096
1540.97/1546.94 c #Conflicts: 749000 | #Constraints: 55096
1540.97/1546.94 c #Conflicts: 750000 | #Constraints: 56096
1540.97/1546.94 c #Conflicts: 751000 | #Constraints: 57096
1540.97/1546.94 c #Conflicts: 752000 | #Constraints: 58096
1540.97/1546.94 c #Conflicts: 753000 | #Constraints: 59096
1540.97/1546.94 c INPROCESSING
1540.97/1546.94 c GARBAGE COLLECT
1540.97/1546.94 c #Conflicts: 754000 | #Constraints: 40519
1540.97/1546.94 c #Conflicts: 755000 | #Constraints: 41519
1540.97/1546.94 c #Conflicts: 756000 | #Constraints: 42519
1540.97/1546.94 c #Conflicts: 757000 | #Constraints: 43519
1540.97/1546.94 c #Conflicts: 758000 | #Constraints: 44519
1540.97/1546.94 c #Conflicts: 759000 | #Constraints: 45519
1540.97/1546.94 c #Conflicts: 760000 | #Constraints: 46519
1540.97/1546.94 c #Conflicts: 761000 | #Constraints: 47519
1540.97/1546.94 c #Conflicts: 762000 | #Constraints: 48519
1540.97/1546.94 c #Conflicts: 763000 | #Constraints: 49519
1540.97/1546.94 c #Conflicts: 764000 | #Constraints: 50519
1540.97/1546.94 c #Conflicts: 765000 | #Constraints: 51519
1540.97/1546.94 c #Conflicts: 766000 | #Constraints: 52519
1540.97/1546.94 c #Conflicts: 767000 | #Constraints: 53519
1540.97/1546.94 c #Conflicts: 768000 | #Constraints: 54519
1540.97/1546.94 c #Conflicts: 769000 | #Constraints: 55519
1540.97/1546.94 c #Conflicts: 770000 | #Constraints: 56519
1540.97/1546.94 c #Conflicts: 771000 | #Constraints: 57519
1540.97/1546.94 c #Conflicts: 772000 | #Constraints: 58519
1540.97/1546.94 c #Conflicts: 773000 | #Constraints: 59519
1540.97/1546.94 c #Conflicts: 774000 | #Constraints: 60519
1540.97/1546.94 c #Conflicts: 775000 | #Constraints: 61519
1540.97/1546.94 c #Conflicts: 776000 | #Constraints: 62519
1540.97/1546.94 c #Conflicts: 777000 | #Constraints: 63519
1540.97/1546.94 c #Conflicts: 778000 | #Constraints: 64519
1540.97/1546.94 c #Conflicts: 779000 | #Constraints: 65519
1540.97/1546.94 c #Conflicts: 780000 | #Constraints: 66519
1540.97/1546.94 c #Conflicts: 781000 | #Constraints: 67519
1540.97/1546.94 c #Conflicts: 782000 | #Constraints: 68519
1540.97/1546.94 c #Conflicts: 783000 | #Constraints: 69519
1540.97/1546.94 c #Conflicts: 784000 | #Constraints: 70519
1540.97/1546.94 c #Conflicts: 785000 | #Constraints: 71519
1540.97/1546.94 c #Conflicts: 786000 | #Constraints: 72519
1540.97/1546.94 c #Conflicts: 787000 | #Constraints: 73519
1540.97/1546.94 c #Conflicts: 788000 | #Constraints: 74519
1540.97/1546.94 c #Conflicts: 789000 | #Constraints: 75519
1540.97/1546.94 c #Conflicts: 790000 | #Constraints: 76519
1540.97/1546.94 c #Conflicts: 791000 | #Constraints: 77519
1540.97/1546.94 c #Conflicts: 792000 | #Constraints: 78519
1540.97/1546.94 c #Conflicts: 793000 | #Constraints: 79519
1856.32/1863.51 c #Conflicts: 794000 | #Constraints: 80519
1856.32/1863.51 c #Conflicts: 795000 | #Constraints: 81519
1856.32/1863.51 c #Conflicts: 796000 | #Constraints: 82519
1856.32/1863.51 c #Conflicts: 797000 | #Constraints: 83519
1856.32/1863.51 c #Conflicts: 798000 | #Constraints: 84519
1856.32/1863.51 c #Conflicts: 799000 | #Constraints: 85519
1856.32/1863.51 c #Conflicts: 800000 | #Constraints: 86519
1856.32/1863.51 c #Conflicts: 801000 | #Constraints: 87519
1856.32/1863.51 c #Conflicts: 802000 | #Constraints: 88519
1856.32/1863.51 c #Conflicts: 803000 | #Constraints: 89519
1856.32/1863.51 c #Conflicts: 804000 | #Constraints: 90519
1856.32/1863.51 c #Conflicts: 805000 | #Constraints: 91519
1856.32/1863.51 c #Conflicts: 806000 | #Constraints: 92519
1856.32/1863.51 c #Conflicts: 807000 | #Constraints: 93519
1856.32/1863.51 c #Conflicts: 808000 | #Constraints: 94519
1856.32/1863.51 c #Conflicts: 809000 | #Constraints: 95519
1856.32/1863.51 c #Conflicts: 810000 | #Constraints: 96519
1856.32/1863.51 c #Conflicts: 811000 | #Constraints: 97519
1856.32/1863.51 c #Conflicts: 812000 | #Constraints: 98519
1856.32/1863.51 c #Conflicts: 813000 | #Constraints: 99519
1856.32/1863.51 c #Conflicts: 814000 | #Constraints: 100519
1856.32/1863.51 c #Conflicts: 815000 | #Constraints: 101519
1856.32/1863.51 c #Conflicts: 816000 | #Constraints: 102519
1856.32/1863.51 c #Conflicts: 817000 | #Constraints: 103519
1856.32/1863.51 c #Conflicts: 818000 | #Constraints: 104519
1856.32/1863.51 c #Conflicts: 819000 | #Constraints: 105519
1856.32/1863.51 c #Conflicts: 820000 | #Constraints: 106519
1856.32/1863.51 c #Conflicts: 821000 | #Constraints: 107519
1856.32/1863.51 c #Conflicts: 822000 | #Constraints: 108519
1856.32/1863.51 c #Conflicts: 823000 | #Constraints: 109519
1856.32/1863.51 c INPROCESSING
1856.32/1863.51 c GARBAGE COLLECT
1856.32/1863.51 c #Conflicts: 824000 | #Constraints: 65883
1856.32/1863.51 c #Conflicts: 825000 | #Constraints: 66883
1856.32/1863.51 c #Conflicts: 826000 | #Constraints: 67883
1856.32/1863.51 c #Conflicts: 827000 | #Constraints: 68883
1856.32/1863.51 c #Conflicts: 828000 | #Constraints: 69883
1856.32/1863.51 c #Conflicts: 829000 | #Constraints: 70883
1856.32/1863.51 c #Conflicts: 830000 | #Constraints: 71883
1856.32/1863.51 c #Conflicts: 831000 | #Constraints: 72883
1856.32/1863.51 c #Conflicts: 832000 | #Constraints: 73883
1856.32/1863.51 c #Conflicts: 833000 | #Constraints: 74883
1856.32/1863.51 c #Conflicts: 834000 | #Constraints: 75883
1856.32/1863.51 c #Conflicts: 835000 | #Constraints: 76883
1856.32/1863.51 c #Conflicts: 836000 | #Constraints: 77883
1856.32/1863.51 c #Conflicts: 837000 | #Constraints: 78883
1856.32/1863.51 c #Conflicts: 838000 | #Constraints: 79883
1856.32/1863.51 c #Conflicts: 839000 | #Constraints: 80883
1856.32/1863.51 c #Conflicts: 840000 | #Constraints: 81883
1856.32/1863.51 c #Conflicts: 841000 | #Constraints: 82883
1856.32/1863.51 c #Conflicts: 842000 | #Constraints: 83883
1856.32/1863.51 c #Conflicts: 843000 | #Constraints: 84883
1856.32/1863.51 c INPROCESSING
1856.32/1863.51 c GARBAGE COLLECT
1856.32/1863.51 c #Conflicts: 844000 | #Constraints: 53358
1856.32/1863.51 c #Conflicts: 845000 | #Constraints: 54358
1856.32/1863.51 c #Conflicts: 846000 | #Constraints: 55358
1856.32/1863.51 c #Conflicts: 847000 | #Constraints: 56358
1856.32/1863.51 c #Conflicts: 848000 | #Constraints: 57358
1856.32/1863.51 c #Conflicts: 849000 | #Constraints: 58358
1856.32/1863.51 c #Conflicts: 850000 | #Constraints: 59358
1856.32/1863.51 c #Conflicts: 851000 | #Constraints: 60358
1856.32/1863.51 c #Conflicts: 852000 | #Constraints: 61358
1856.32/1863.51 c #Conflicts: 853000 | #Constraints: 62358
1856.32/1863.51 c #Conflicts: 854000 | #Constraints: 63358
1856.32/1863.51 c #Conflicts: 855000 | #Constraints: 64358
1856.32/1863.51 c #Conflicts: 856000 | #Constraints: 65358
1856.32/1863.51 c #Conflicts: 857000 | #Constraints: 66358
1856.32/1863.51 c #Conflicts: 858000 | #Constraints: 67358
1856.32/1863.51 c #Conflicts: 859000 | #Constraints: 68358
1856.32/1863.51 c #Conflicts: 860000 | #Constraints: 69358
1856.32/1863.51 c #Conflicts: 861000 | #Constraints: 70358
1856.32/1863.51 c #Conflicts: 862000 | #Constraints: 71358
1856.32/1863.51 c #Conflicts: 863000 | #Constraints: 72358
1856.32/1863.51 c #Conflicts: 864000 | #Constraints: 73358
1856.32/1863.51 c INPROCESSING
1856.32/1863.51 c GARBAGE COLLECT
1856.32/1863.51 c #Conflicts: 865000 | #Constraints: 47783
1856.32/1863.51 c #Conflicts: 866000 | #Constraints: 48783
1856.32/1863.51 c #Conflicts: 867000 | #Constraints: 49783
1856.32/1863.51 c #Conflicts: 868000 | #Constraints: 50783
1856.32/1863.51 c #Conflicts: 869000 | #Constraints: 51783
2019.49/2027.39 c #Conflicts: 870000 | #Constraints: 52783
2019.49/2027.39 c #Conflicts: 871000 | #Constraints: 53783
2019.49/2027.39 c #Conflicts: 872000 | #Constraints: 54783
2019.49/2027.39 c #Conflicts: 873000 | #Constraints: 55783
2019.49/2027.39 c #Conflicts: 874000 | #Constraints: 56783
2019.49/2027.39 c #Conflicts: 875000 | #Constraints: 57783
2019.49/2027.39 c #Conflicts: 876000 | #Constraints: 58783
2019.49/2027.39 c #Conflicts: 877000 | #Constraints: 59783
2019.49/2027.39 c #Conflicts: 878000 | #Constraints: 60783
2019.49/2027.39 c #Conflicts: 879000 | #Constraints: 61783
2019.49/2027.39 c #Conflicts: 880000 | #Constraints: 62783
2019.49/2027.39 c #Conflicts: 881000 | #Constraints: 63783
2019.49/2027.39 c #Conflicts: 882000 | #Constraints: 64783
2019.49/2027.39 c #Conflicts: 883000 | #Constraints: 65783
2019.49/2027.39 c #Conflicts: 884000 | #Constraints: 66783
2019.49/2027.39 c #Conflicts: 885000 | #Constraints: 67783
2019.49/2027.39 c INPROCESSING
2019.49/2027.39 c GARBAGE COLLECT
2019.49/2027.39 c #Conflicts: 886000 | #Constraints: 45109
2019.49/2027.39 c #Conflicts: 887000 | #Constraints: 46109
2019.49/2027.39 c #Conflicts: 888000 | #Constraints: 47109
2019.49/2027.39 c #Conflicts: 889000 | #Constraints: 48109
2019.49/2027.39 c #Conflicts: 890000 | #Constraints: 49109
2019.49/2027.39 c #Conflicts: 891000 | #Constraints: 50109
2019.49/2027.39 c #Conflicts: 892000 | #Constraints: 51109
2019.49/2027.39 c #Conflicts: 893000 | #Constraints: 52109
2019.49/2027.39 c #Conflicts: 894000 | #Constraints: 53109
2019.49/2027.39 c #Conflicts: 895000 | #Constraints: 54109
2019.49/2027.39 c #Conflicts: 896000 | #Constraints: 55109
2019.49/2027.39 c #Conflicts: 897000 | #Constraints: 56109
2019.49/2027.39 c #Conflicts: 898000 | #Constraints: 57109
2019.49/2027.39 c #Conflicts: 899000 | #Constraints: 58109
2019.49/2027.39 c #Conflicts: 900000 | #Constraints: 59109
2019.49/2027.39 c #Conflicts: 901000 | #Constraints: 60109
2019.49/2027.39 c #Conflicts: 902000 | #Constraints: 61109
2019.49/2027.39 c #Conflicts: 903000 | #Constraints: 62109
2019.49/2027.39 c #Conflicts: 904000 | #Constraints: 63109
2019.49/2027.39 c #Conflicts: 905000 | #Constraints: 64109
2019.49/2027.39 c #Conflicts: 906000 | #Constraints: 65109
2019.49/2027.39 c INPROCESSING
2019.49/2027.39 c GARBAGE COLLECT
2019.49/2027.39 c #Conflicts: 907000 | #Constraints: 43766
2019.49/2027.39 c #Conflicts: 908000 | #Constraints: 44766
2019.49/2027.39 c #Conflicts: 909000 | #Constraints: 45766
2019.49/2027.39 c #Conflicts: 910000 | #Constraints: 46766
2019.49/2027.39 c #Conflicts: 911000 | #Constraints: 47766
2019.49/2027.39 c #Conflicts: 912000 | #Constraints: 48766
2019.49/2027.39 c #Conflicts: 913000 | #Constraints: 49766
2019.49/2027.39 c #Conflicts: 914000 | #Constraints: 50766
2019.49/2027.39 c #Conflicts: 915000 | #Constraints: 51766
2019.49/2027.39 c #Conflicts: 916000 | #Constraints: 52766
2019.49/2027.39 c #Conflicts: 917000 | #Constraints: 53766
2019.49/2027.39 c #Conflicts: 918000 | #Constraints: 54766
2019.49/2027.39 c #Conflicts: 919000 | #Constraints: 55766
2019.49/2027.39 c #Conflicts: 920000 | #Constraints: 56766
2019.49/2027.39 c #Conflicts: 921000 | #Constraints: 57766
2019.49/2027.39 c #Conflicts: 922000 | #Constraints: 58766
2019.49/2027.39 c #Conflicts: 923000 | #Constraints: 59766
2019.49/2027.39 c #Conflicts: 924000 | #Constraints: 60766
2019.49/2027.39 c #Conflicts: 925000 | #Constraints: 61766
2019.49/2027.39 c #Conflicts: 926000 | #Constraints: 62766
2019.49/2027.39 c #Conflicts: 927000 | #Constraints: 63766
2019.49/2027.39 c INPROCESSING
2019.49/2027.39 c GARBAGE COLLECT
2019.49/2027.39 c #Conflicts: 928000 | #Constraints: 43004
2019.49/2027.39 c #Conflicts: 929000 | #Constraints: 44004
2019.49/2027.39 c #Conflicts: 930000 | #Constraints: 45004
2019.49/2027.39 c #Conflicts: 931000 | #Constraints: 46004
2019.49/2027.39 c #Conflicts: 932000 | #Constraints: 47004
2019.49/2027.39 c #Conflicts: 933000 | #Constraints: 48004
2019.49/2027.39 c #Conflicts: 934000 | #Constraints: 49004
2019.49/2027.39 c #Conflicts: 935000 | #Constraints: 50004
2019.49/2027.39 c #Conflicts: 936000 | #Constraints: 51004
2019.49/2027.39 c #Conflicts: 937000 | #Constraints: 52004
2019.49/2027.39 c #Conflicts: 938000 | #Constraints: 53004
2019.49/2027.39 c #Conflicts: 939000 | #Constraints: 54004
2019.49/2027.39 c #Conflicts: 940000 | #Constraints: 55004
2019.49/2027.39 c #Conflicts: 941000 | #Constraints: 56004
2019.49/2027.39 c #Conflicts: 942000 | #Constraints: 57004
2019.49/2027.39 c #Conflicts: 943000 | #Constraints: 58004
2019.49/2027.39 c #Conflicts: 944000 | #Constraints: 59004
2019.49/2027.39 c #Conflicts: 945000 | #Constraints: 60004
2019.49/2027.39 c #Conflicts: 946000 | #Constraints: 61004
2394.02/2403.38 c #Conflicts: 947000 | #Constraints: 62004
2394.02/2403.38 c #Conflicts: 948000 | #Constraints: 63004
2394.02/2403.38 c #Conflicts: 949000 | #Constraints: 64004
2394.02/2403.38 c #Conflicts: 950000 | #Constraints: 65004
2394.02/2403.38 c #Conflicts: 951000 | #Constraints: 66004
2394.02/2403.38 c #Conflicts: 952000 | #Constraints: 67004
2394.02/2403.38 c #Conflicts: 953000 | #Constraints: 68004
2394.02/2403.38 c #Conflicts: 954000 | #Constraints: 69004
2394.02/2403.38 c #Conflicts: 955000 | #Constraints: 70004
2394.02/2403.38 c #Conflicts: 956000 | #Constraints: 71004
2394.02/2403.38 c #Conflicts: 957000 | #Constraints: 72004
2394.02/2403.38 c #Conflicts: 958000 | #Constraints: 73004
2394.02/2403.38 c #Conflicts: 959000 | #Constraints: 74004
2394.02/2403.38 c #Conflicts: 960000 | #Constraints: 75004
2394.02/2403.38 c #Conflicts: 961000 | #Constraints: 76004
2394.02/2403.38 c #Conflicts: 962000 | #Constraints: 77004
2394.02/2403.38 c #Conflicts: 963000 | #Constraints: 78004
2394.02/2403.38 c #Conflicts: 964000 | #Constraints: 79004
2394.02/2403.38 c #Conflicts: 965000 | #Constraints: 80004
2394.02/2403.38 c #Conflicts: 966000 | #Constraints: 81004
2394.02/2403.38 c #Conflicts: 967000 | #Constraints: 82004
2394.02/2403.38 c #Conflicts: 968000 | #Constraints: 83004
2394.02/2403.38 c #Conflicts: 969000 | #Constraints: 84004
2394.02/2403.38 c #Conflicts: 970000 | #Constraints: 85004
2394.02/2403.38 c #Conflicts: 971000 | #Constraints: 86004
2394.02/2403.38 c #Conflicts: 972000 | #Constraints: 87004
2394.02/2403.38 c #Conflicts: 973000 | #Constraints: 88004
2394.02/2403.38 c #Conflicts: 974000 | #Constraints: 89004
2394.02/2403.38 c #Conflicts: 975000 | #Constraints: 90004
2394.02/2403.38 c #Conflicts: 976000 | #Constraints: 91004
2394.02/2403.38 c #Conflicts: 977000 | #Constraints: 92004
2394.02/2403.38 c #Conflicts: 978000 | #Constraints: 93004
2394.02/2403.38 c #Conflicts: 979000 | #Constraints: 94004
2394.02/2403.38 c #Conflicts: 980000 | #Constraints: 95004
2394.02/2403.38 c #Conflicts: 981000 | #Constraints: 96004
2394.02/2403.38 c #Conflicts: 982000 | #Constraints: 97004
2394.02/2403.38 c #Conflicts: 983000 | #Constraints: 98004
2394.02/2403.38 c #Conflicts: 984000 | #Constraints: 99004
2394.02/2403.38 c #Conflicts: 985000 | #Constraints: 100004
2394.02/2403.38 c #Conflicts: 986000 | #Constraints: 101004
2394.02/2403.38 c #Conflicts: 987000 | #Constraints: 102004
2394.02/2403.38 c #Conflicts: 988000 | #Constraints: 103004
2394.02/2403.38 c #Conflicts: 989000 | #Constraints: 104004
2394.02/2403.38 c #Conflicts: 990000 | #Constraints: 105004
2394.02/2403.38 c #Conflicts: 991000 | #Constraints: 106004
2394.02/2403.38 c #Conflicts: 992000 | #Constraints: 107004
2394.02/2403.38 c #Conflicts: 993000 | #Constraints: 108004
2394.02/2403.38 c #Conflicts: 994000 | #Constraints: 109004
2394.02/2403.38 c #Conflicts: 995000 | #Constraints: 110004
2394.02/2403.38 c #Conflicts: 996000 | #Constraints: 111004
2394.02/2403.38 c #Conflicts: 997000 | #Constraints: 112004
2394.02/2403.38 c #Conflicts: 998000 | #Constraints: 113004
2394.02/2403.38 c #Conflicts: 999000 | #Constraints: 114004
2394.02/2403.38 c #Conflicts: 1000000 | #Constraints: 115004
2394.02/2403.38 c #Conflicts: 1001000 | #Constraints: 116004
2394.02/2403.38 c #Conflicts: 1002000 | #Constraints: 117004
2394.02/2403.38 c #Conflicts: 1003000 | #Constraints: 118004
2394.02/2403.38 c #Conflicts: 1004000 | #Constraints: 119004
2394.02/2403.38 c INPROCESSING
2394.02/2403.38 c GARBAGE COLLECT
2394.02/2403.38 c #Conflicts: 1005000 | #Constraints: 70519
2394.02/2403.38 c #Conflicts: 1006000 | #Constraints: 71519
2394.02/2403.38 c #Conflicts: 1007000 | #Constraints: 72519
2394.02/2403.38 c #Conflicts: 1008000 | #Constraints: 73519
2394.02/2403.38 c #Conflicts: 1009000 | #Constraints: 74519
2394.02/2403.38 c #Conflicts: 1010000 | #Constraints: 75519
2394.02/2403.38 c #Conflicts: 1011000 | #Constraints: 76519
2394.02/2403.38 c #Conflicts: 1012000 | #Constraints: 77519
2394.02/2403.38 c #Conflicts: 1013000 | #Constraints: 78519
2394.02/2403.38 c #Conflicts: 1014000 | #Constraints: 79519
2394.02/2403.38 c #Conflicts: 1015000 | #Constraints: 80519
2394.02/2403.38 c #Conflicts: 1016000 | #Constraints: 81519
2394.02/2403.38 c #Conflicts: 1017000 | #Constraints: 82519
2394.02/2403.38 c #Conflicts: 1018000 | #Constraints: 83519
2394.02/2403.38 c #Conflicts: 1019000 | #Constraints: 84519
2394.02/2403.38 c #Conflicts: 1020000 | #Constraints: 85519
2394.02/2403.38 c #Conflicts: 1021000 | #Constraints: 86519
2394.02/2403.38 c #Conflicts: 1022000 | #Constraints: 87519
2394.02/2403.38 c #Conflicts: 1023000 | #Constraints: 88519
2394.02/2403.38 c #Conflicts: 1024000 | #Constraints: 89519
2631.88/2642.16 c #Conflicts: 1025000 | #Constraints: 90519
2631.88/2642.16 c #Conflicts: 1026000 | #Constraints: 91519
2631.88/2642.16 c INPROCESSING
2631.88/2642.16 c GARBAGE COLLECT
2631.88/2642.16 c #Conflicts: 1027000 | #Constraints: 56513
2631.88/2642.16 c #Conflicts: 1028000 | #Constraints: 57513
2631.88/2642.16 c #Conflicts: 1029000 | #Constraints: 58513
2631.88/2642.16 c #Conflicts: 1030000 | #Constraints: 59513
2631.88/2642.16 c #Conflicts: 1031000 | #Constraints: 60513
2631.88/2642.16 c #Conflicts: 1032000 | #Constraints: 61513
2631.88/2642.16 c #Conflicts: 1033000 | #Constraints: 62513
2631.88/2642.16 c #Conflicts: 1034000 | #Constraints: 63513
2631.88/2642.16 c #Conflicts: 1035000 | #Constraints: 64513
2631.88/2642.16 c #Conflicts: 1036000 | #Constraints: 65513
2631.88/2642.16 c #Conflicts: 1037000 | #Constraints: 66513
2631.88/2642.16 c #Conflicts: 1038000 | #Constraints: 67513
2631.88/2642.16 c #Conflicts: 1039000 | #Constraints: 68513
2631.88/2642.16 c #Conflicts: 1040000 | #Constraints: 69513
2631.88/2642.16 c #Conflicts: 1041000 | #Constraints: 70513
2631.88/2642.16 c #Conflicts: 1042000 | #Constraints: 71513
2631.88/2642.16 c #Conflicts: 1043000 | #Constraints: 72513
2631.88/2642.16 c #Conflicts: 1044000 | #Constraints: 73513
2631.88/2642.16 c #Conflicts: 1045000 | #Constraints: 74513
2631.88/2642.16 c #Conflicts: 1046000 | #Constraints: 75513
2631.88/2642.16 c #Conflicts: 1047000 | #Constraints: 76513
2631.88/2642.16 c #Conflicts: 1048000 | #Constraints: 77513
2631.88/2642.16 c #Conflicts: 1049000 | #Constraints: 78513
2631.88/2642.16 c INPROCESSING
2631.88/2642.16 c GARBAGE COLLECT
2631.88/2642.16 c #Conflicts: 1050000 | #Constraints: 50190
2631.88/2642.16 c #Conflicts: 1051000 | #Constraints: 51190
2631.88/2642.16 c #Conflicts: 1052000 | #Constraints: 52190
2631.88/2642.16 c #Conflicts: 1053000 | #Constraints: 53190
2631.88/2642.16 c #Conflicts: 1054000 | #Constraints: 54190
2631.88/2642.16 c #Conflicts: 1055000 | #Constraints: 55190
2631.88/2642.16 c #Conflicts: 1056000 | #Constraints: 56190
2631.88/2642.16 c #Conflicts: 1057000 | #Constraints: 57190
2631.88/2642.16 c #Conflicts: 1058000 | #Constraints: 58190
2631.88/2642.16 c #Conflicts: 1059000 | #Constraints: 59190
2631.88/2642.16 c #Conflicts: 1060000 | #Constraints: 60190
2631.88/2642.16 c #Conflicts: 1061000 | #Constraints: 61190
2631.88/2642.16 c #Conflicts: 1062000 | #Constraints: 62190
2631.88/2642.16 c #Conflicts: 1063000 | #Constraints: 63190
2631.88/2642.16 c #Conflicts: 1064000 | #Constraints: 64190
2631.88/2642.16 c #Conflicts: 1065000 | #Constraints: 65190
2631.88/2642.16 c #Conflicts: 1066000 | #Constraints: 66190
2631.88/2642.16 c #Conflicts: 1067000 | #Constraints: 67190
2631.88/2642.16 c #Conflicts: 1068000 | #Constraints: 68190
2631.88/2642.16 c #Conflicts: 1069000 | #Constraints: 69190
2631.88/2642.16 c #Conflicts: 1070000 | #Constraints: 70190
2631.88/2642.16 c #Conflicts: 1071000 | #Constraints: 71190
2631.88/2642.16 c #Conflicts: 1072000 | #Constraints: 72190
2631.88/2642.16 c INPROCESSING
2631.88/2642.16 c GARBAGE COLLECT
2631.88/2642.16 c #Conflicts: 1073000 | #Constraints: 47048
2631.88/2642.16 c #Conflicts: 1074000 | #Constraints: 48048
2631.88/2642.16 c #Conflicts: 1075000 | #Constraints: 49048
2631.88/2642.16 c #Conflicts: 1076000 | #Constraints: 50048
2631.88/2642.16 c #Conflicts: 1077000 | #Constraints: 51048
2631.88/2642.16 c #Conflicts: 1078000 | #Constraints: 52048
2631.88/2642.16 c #Conflicts: 1079000 | #Constraints: 53048
2631.88/2642.16 c #Conflicts: 1080000 | #Constraints: 54048
2631.88/2642.16 c #Conflicts: 1081000 | #Constraints: 55048
2631.88/2642.16 c #Conflicts: 1082000 | #Constraints: 56048
2631.88/2642.16 c #Conflicts: 1083000 | #Constraints: 57048
2631.88/2642.16 c #Conflicts: 1084000 | #Constraints: 58048
2631.88/2642.16 c #Conflicts: 1085000 | #Constraints: 59048
2631.88/2642.16 c #Conflicts: 1086000 | #Constraints: 60048
2631.88/2642.16 c #Conflicts: 1087000 | #Constraints: 61048
2631.88/2642.16 c #Conflicts: 1088000 | #Constraints: 62048
2631.88/2642.16 c #Conflicts: 1089000 | #Constraints: 63048
2631.88/2642.16 c #Conflicts: 1090000 | #Constraints: 64048
2631.88/2642.16 c #Conflicts: 1091000 | #Constraints: 65048
2631.88/2642.16 c #Conflicts: 1092000 | #Constraints: 66048
2631.88/2642.16 c #Conflicts: 1093000 | #Constraints: 67048
2631.88/2642.16 c #Conflicts: 1094000 | #Constraints: 68048
2631.88/2642.16 c #Conflicts: 1095000 | #Constraints: 69048
2631.88/2642.16 c INPROCESSING
2631.88/2642.16 c GARBAGE COLLECT
2631.88/2642.16 c #Conflicts: 1096000 | #Constraints: 45429
2631.88/2642.16 c #Conflicts: 1097000 | #Constraints: 46429
2631.88/2642.16 c #Conflicts: 1098000 | #Constraints: 47429
2631.88/2642.16 c #Conflicts: 1099000 | #Constraints: 48429
2631.88/2642.16 c #Conflicts: 1100000 | #Constraints: 49429
2631.88/2642.16 c #Conflicts: 1101000 | #Constraints: 50429
2899.30/2910.65 c #Conflicts: 1102000 | #Constraints: 51429
2899.30/2910.65 c #Conflicts: 1103000 | #Constraints: 52429
2899.30/2910.65 c #Conflicts: 1104000 | #Constraints: 53429
2899.30/2910.65 c #Conflicts: 1105000 | #Constraints: 54429
2899.30/2910.65 c #Conflicts: 1106000 | #Constraints: 55429
2899.30/2910.65 c #Conflicts: 1107000 | #Constraints: 56429
2899.30/2910.65 c #Conflicts: 1108000 | #Constraints: 57429
2899.30/2910.65 c #Conflicts: 1109000 | #Constraints: 58429
2899.30/2910.65 c #Conflicts: 1110000 | #Constraints: 59429
2899.30/2910.65 c #Conflicts: 1111000 | #Constraints: 60429
2899.30/2910.65 c #Conflicts: 1112000 | #Constraints: 61429
2899.30/2910.65 c #Conflicts: 1113000 | #Constraints: 62429
2899.30/2910.65 c #Conflicts: 1114000 | #Constraints: 63429
2899.30/2910.65 c #Conflicts: 1115000 | #Constraints: 64429
2899.30/2910.65 c #Conflicts: 1116000 | #Constraints: 65429
2899.30/2910.65 c #Conflicts: 1117000 | #Constraints: 66429
2899.30/2910.65 c #Conflicts: 1118000 | #Constraints: 67429
2899.30/2910.65 c INPROCESSING
2899.30/2910.65 c GARBAGE COLLECT
2899.30/2910.65 c #Conflicts: 1119000 | #Constraints: 44483
2899.30/2910.65 c #Conflicts: 1120000 | #Constraints: 45483
2899.30/2910.65 c #Conflicts: 1121000 | #Constraints: 46483
2899.30/2910.65 c #Conflicts: 1122000 | #Constraints: 47483
2899.30/2910.65 c #Conflicts: 1123000 | #Constraints: 48483
2899.30/2910.65 c #Conflicts: 1124000 | #Constraints: 49483
2899.30/2910.65 c #Conflicts: 1125000 | #Constraints: 50483
2899.30/2910.65 c #Conflicts: 1126000 | #Constraints: 51483
2899.30/2910.65 c #Conflicts: 1127000 | #Constraints: 52483
2899.30/2910.65 c #Conflicts: 1128000 | #Constraints: 53483
2899.30/2910.65 c #Conflicts: 1129000 | #Constraints: 54483
2899.30/2910.65 c #Conflicts: 1130000 | #Constraints: 55483
2899.30/2910.65 c #Conflicts: 1131000 | #Constraints: 56483
2899.30/2910.65 c #Conflicts: 1132000 | #Constraints: 57483
2899.30/2910.65 c #Conflicts: 1133000 | #Constraints: 58483
2899.30/2910.65 c #Conflicts: 1134000 | #Constraints: 59483
2899.30/2910.65 c #Conflicts: 1135000 | #Constraints: 60483
2899.30/2910.65 c #Conflicts: 1136000 | #Constraints: 61483
2899.30/2910.65 c #Conflicts: 1137000 | #Constraints: 62483
2899.30/2910.65 c #Conflicts: 1138000 | #Constraints: 63483
2899.30/2910.65 c #Conflicts: 1139000 | #Constraints: 64483
2899.30/2910.65 c #Conflicts: 1140000 | #Constraints: 65483
2899.30/2910.65 c #Conflicts: 1141000 | #Constraints: 66483
2899.30/2910.65 c #Conflicts: 1142000 | #Constraints: 67483
2899.30/2910.65 c #Conflicts: 1143000 | #Constraints: 68483
2899.30/2910.65 c #Conflicts: 1144000 | #Constraints: 69483
2899.30/2910.65 c #Conflicts: 1145000 | #Constraints: 70483
2899.30/2910.65 c #Conflicts: 1146000 | #Constraints: 71483
2899.30/2910.65 c #Conflicts: 1147000 | #Constraints: 72483
2899.30/2910.65 c #Conflicts: 1148000 | #Constraints: 73483
2899.30/2910.65 c #Conflicts: 1149000 | #Constraints: 74483
2899.30/2910.65 c #Conflicts: 1150000 | #Constraints: 75483
2899.30/2910.65 c #Conflicts: 1151000 | #Constraints: 76483
2899.30/2910.65 c #Conflicts: 1152000 | #Constraints: 77483
2899.30/2910.65 c #Conflicts: 1153000 | #Constraints: 78483
2899.30/2910.65 c #Conflicts: 1154000 | #Constraints: 79483
2899.30/2910.65 c #Conflicts: 1155000 | #Constraints: 80483
2899.30/2910.65 c #Conflicts: 1156000 | #Constraints: 81483
2899.30/2910.65 c #Conflicts: 1157000 | #Constraints: 82483
2899.30/2910.65 c #Conflicts: 1158000 | #Constraints: 83483
2899.30/2910.65 c #Conflicts: 1159000 | #Constraints: 84483
2899.30/2910.65 c #Conflicts: 1160000 | #Constraints: 85483
2899.30/2910.65 c #Conflicts: 1161000 | #Constraints: 86483
2899.30/2910.65 c #Conflicts: 1162000 | #Constraints: 87483
2899.30/2910.65 c #Conflicts: 1163000 | #Constraints: 88483
2899.30/2910.65 c #Conflicts: 1164000 | #Constraints: 89483
2899.30/2910.65 c #Conflicts: 1165000 | #Constraints: 90483
2899.30/2910.65 c #Conflicts: 1166000 | #Constraints: 91483
2899.30/2910.65 c #Conflicts: 1167000 | #Constraints: 92483
2899.30/2910.65 c #Conflicts: 1168000 | #Constraints: 93483
2899.30/2910.65 c #Conflicts: 1169000 | #Constraints: 94483
2899.30/2910.65 c #Conflicts: 1170000 | #Constraints: 95483
2899.30/2910.65 c #Conflicts: 1171000 | #Constraints: 96483
2899.30/2910.65 c #Conflicts: 1172000 | #Constraints: 97483
2899.30/2910.65 c #Conflicts: 1173000 | #Constraints: 98483
2899.30/2910.65 c #Conflicts: 1174000 | #Constraints: 99483
2899.30/2910.65 c #Conflicts: 1175000 | #Constraints: 100483
2899.30/2910.65 c #Conflicts: 1176000 | #Constraints: 101483
2899.30/2910.65 c #Conflicts: 1177000 | #Constraints: 102483
2899.30/2910.65 c #Conflicts: 1178000 | #Constraints: 103483
2899.30/2910.65 c #Conflicts: 1179000 | #Constraints: 104483
3341.76/3354.88 c #Conflicts: 1180000 | #Constraints: 105483
3341.76/3354.88 c #Conflicts: 1181000 | #Constraints: 106483
3341.76/3354.88 c #Conflicts: 1182000 | #Constraints: 107483
3341.76/3354.88 c #Conflicts: 1183000 | #Constraints: 108483
3341.76/3354.88 c #Conflicts: 1184000 | #Constraints: 109483
3341.76/3354.88 c #Conflicts: 1185000 | #Constraints: 110483
3341.76/3354.88 c #Conflicts: 1186000 | #Constraints: 111483
3341.76/3354.88 c #Conflicts: 1187000 | #Constraints: 112483
3341.76/3354.88 c #Conflicts: 1188000 | #Constraints: 113483
3341.76/3354.88 c #Conflicts: 1189000 | #Constraints: 114483
3341.76/3354.88 c #Conflicts: 1190000 | #Constraints: 115483
3341.76/3354.88 c #Conflicts: 1191000 | #Constraints: 116483
3341.76/3354.88 c #Conflicts: 1192000 | #Constraints: 117483
3341.76/3354.88 c #Conflicts: 1193000 | #Constraints: 118483
3341.76/3354.88 c #Conflicts: 1194000 | #Constraints: 119483
3341.76/3354.88 c #Conflicts: 1195000 | #Constraints: 120483
3341.76/3354.88 c #Conflicts: 1196000 | #Constraints: 121483
3341.76/3354.88 c #Conflicts: 1197000 | #Constraints: 122483
3341.76/3354.88 c #Conflicts: 1198000 | #Constraints: 123483
3341.76/3354.88 c #Conflicts: 1199000 | #Constraints: 124483
3341.76/3354.88 c #Conflicts: 1200000 | #Constraints: 125483
3341.76/3354.88 c #Conflicts: 1201000 | #Constraints: 126483
3341.76/3354.88 c #Conflicts: 1202000 | #Constraints: 127483
3341.76/3354.88 c #Conflicts: 1203000 | #Constraints: 128483
3341.76/3354.88 c INPROCESSING
3341.76/3354.88 c GARBAGE COLLECT
3341.76/3354.88 c #Conflicts: 1204000 | #Constraints: 75168
3341.76/3354.88 c #Conflicts: 1205000 | #Constraints: 76168
3341.76/3354.88 c #Conflicts: 1206000 | #Constraints: 77168
3341.76/3354.88 c #Conflicts: 1207000 | #Constraints: 78168
3341.76/3354.88 c #Conflicts: 1208000 | #Constraints: 79168
3341.76/3354.88 c #Conflicts: 1209000 | #Constraints: 80168
3341.76/3354.88 c #Conflicts: 1210000 | #Constraints: 81168
3341.76/3354.88 c #Conflicts: 1211000 | #Constraints: 82168
3341.76/3354.88 c #Conflicts: 1212000 | #Constraints: 83168
3341.76/3354.88 c #Conflicts: 1213000 | #Constraints: 84168
3341.76/3354.88 c #Conflicts: 1214000 | #Constraints: 85168
3341.76/3354.88 c #Conflicts: 1215000 | #Constraints: 86168
3341.76/3354.88 c #Conflicts: 1216000 | #Constraints: 87168
3341.76/3354.88 c #Conflicts: 1217000 | #Constraints: 88168
3341.76/3354.88 c #Conflicts: 1218000 | #Constraints: 89168
3341.76/3354.88 c #Conflicts: 1219000 | #Constraints: 90168
3341.76/3354.88 c #Conflicts: 1220000 | #Constraints: 91168
3341.76/3354.88 c #Conflicts: 1221000 | #Constraints: 92168
3341.76/3354.88 c #Conflicts: 1222000 | #Constraints: 93168
3341.76/3354.88 c #Conflicts: 1223000 | #Constraints: 94168
3341.76/3354.88 c #Conflicts: 1224000 | #Constraints: 95168
3341.76/3354.88 c #Conflicts: 1225000 | #Constraints: 96168
3341.76/3354.88 c #Conflicts: 1226000 | #Constraints: 97168
3341.76/3354.88 c #Conflicts: 1227000 | #Constraints: 98168
3341.76/3354.88 c #Conflicts: 1228000 | #Constraints: 99168
3341.76/3354.88 c INPROCESSING
3341.76/3354.88 c GARBAGE COLLECT
3341.76/3354.88 c #Conflicts: 1229000 | #Constraints: 60719
3341.76/3354.88 c #Conflicts: 1230000 | #Constraints: 61719
3341.76/3354.88 c #Conflicts: 1231000 | #Constraints: 62719
3341.76/3354.88 c #Conflicts: 1232000 | #Constraints: 63719
3341.76/3354.88 c #Conflicts: 1233000 | #Constraints: 64719
3341.76/3354.88 c #Conflicts: 1234000 | #Constraints: 65719
3341.76/3354.88 c #Conflicts: 1235000 | #Constraints: 66719
3341.76/3354.88 c #Conflicts: 1236000 | #Constraints: 67719
3341.76/3354.88 c #Conflicts: 1237000 | #Constraints: 68719
3341.76/3354.88 c #Conflicts: 1238000 | #Constraints: 69719
3341.76/3354.88 c #Conflicts: 1239000 | #Constraints: 70719
3341.76/3354.88 c #Conflicts: 1240000 | #Constraints: 71719
3341.76/3354.88 c #Conflicts: 1241000 | #Constraints: 72719
3341.76/3354.88 c #Conflicts: 1242000 | #Constraints: 73719
3341.76/3354.88 c #Conflicts: 1243000 | #Constraints: 74719
3341.76/3354.88 c #Conflicts: 1244000 | #Constraints: 75719
3341.76/3354.88 c #Conflicts: 1245000 | #Constraints: 76719
3341.76/3354.88 c #Conflicts: 1246000 | #Constraints: 77719
3341.76/3354.88 c #Conflicts: 1247000 | #Constraints: 78719
3341.76/3354.88 c #Conflicts: 1248000 | #Constraints: 79719
3341.76/3354.88 c #Conflicts: 1249000 | #Constraints: 80719
3341.76/3354.88 c #Conflicts: 1250000 | #Constraints: 81719
3341.76/3354.88 c #Conflicts: 1251000 | #Constraints: 82719
3341.76/3354.88 c #Conflicts: 1252000 | #Constraints: 83719
3341.76/3354.88 c #Conflicts: 1253000 | #Constraints: 84719
3341.76/3354.88 c INPROCESSING
3341.76/3354.88 c GARBAGE COLLECT
3341.76/3354.88 c #Conflicts: 1254000 | #Constraints: 53587
3341.76/3354.88 c #Conflicts: 1255000 | #Constraints: 54587
3341.76/3354.88 c #Conflicts: 1256000 | #Constraints: 55587
3545.88/3559.66 c #Conflicts: 1257000 | #Constraints: 56587
3545.88/3559.66 c #Conflicts: 1258000 | #Constraints: 57587
3545.88/3559.66 c #Conflicts: 1259000 | #Constraints: 58587
3545.88/3559.66 c #Conflicts: 1260000 | #Constraints: 59587
3545.88/3559.66 c #Conflicts: 1261000 | #Constraints: 60587
3545.88/3559.66 c #Conflicts: 1262000 | #Constraints: 61587
3545.88/3559.66 c #Conflicts: 1263000 | #Constraints: 62587
3545.88/3559.66 c #Conflicts: 1264000 | #Constraints: 63587
3545.88/3559.66 c #Conflicts: 1265000 | #Constraints: 64587
3545.88/3559.66 c #Conflicts: 1266000 | #Constraints: 65587
3545.88/3559.66 c #Conflicts: 1267000 | #Constraints: 66587
3545.88/3559.66 c #Conflicts: 1268000 | #Constraints: 67587
3545.88/3559.66 c #Conflicts: 1269000 | #Constraints: 68587
3545.88/3559.66 c #Conflicts: 1270000 | #Constraints: 69587
3545.88/3559.66 c #Conflicts: 1271000 | #Constraints: 70587
3545.88/3559.66 c #Conflicts: 1272000 | #Constraints: 71587
3545.88/3559.66 c #Conflicts: 1273000 | #Constraints: 72587
3545.88/3559.66 c #Conflicts: 1274000 | #Constraints: 73587
3545.88/3559.66 c #Conflicts: 1275000 | #Constraints: 74587
3545.88/3559.66 c #Conflicts: 1276000 | #Constraints: 75587
3545.88/3559.66 c #Conflicts: 1277000 | #Constraints: 76587
3545.88/3559.66 c #Conflicts: 1278000 | #Constraints: 77587
3545.88/3559.66 c INPROCESSING
3545.88/3559.66 c GARBAGE COLLECT
3545.88/3559.66 c #Conflicts: 1279000 | #Constraints: 50004
3545.88/3559.66 c #Conflicts: 1280000 | #Constraints: 51004
3545.88/3559.66 c #Conflicts: 1281000 | #Constraints: 52004
3545.88/3559.66 c #Conflicts: 1282000 | #Constraints: 53004
3545.88/3559.66 c #Conflicts: 1283000 | #Constraints: 54004
3545.88/3559.66 c #Conflicts: 1284000 | #Constraints: 55004
3545.88/3559.66 c #Conflicts: 1285000 | #Constraints: 56004
3545.88/3559.66 c #Conflicts: 1286000 | #Constraints: 57004
3545.88/3559.66 c #Conflicts: 1287000 | #Constraints: 58004
3545.88/3559.66 c #Conflicts: 1288000 | #Constraints: 59004
3545.88/3559.66 c #Conflicts: 1289000 | #Constraints: 60004
3545.88/3559.66 c #Conflicts: 1290000 | #Constraints: 61004
3545.88/3559.66 c #Conflicts: 1291000 | #Constraints: 62004
3545.88/3559.66 c #Conflicts: 1292000 | #Constraints: 63004
3545.88/3559.66 c #Conflicts: 1293000 | #Constraints: 64004
3545.88/3559.66 c #Conflicts: 1294000 | #Constraints: 65004
3545.88/3559.66 c #Conflicts: 1295000 | #Constraints: 66004
3545.88/3559.66 c #Conflicts: 1296000 | #Constraints: 67004
3545.88/3559.66 c #Conflicts: 1297000 | #Constraints: 68004
3545.88/3559.66 c #Conflicts: 1298000 | #Constraints: 69004
3545.88/3559.66 c #Conflicts: 1299000 | #Constraints: 70004
3545.88/3559.66 c #Conflicts: 1300000 | #Constraints: 71004
3545.88/3559.66 c #Conflicts: 1301000 | #Constraints: 72004
3545.88/3559.66 c #Conflicts: 1302000 | #Constraints: 73004
3545.88/3559.66 c #Conflicts: 1303000 | #Constraints: 74004
3545.88/3559.66 c INPROCESSING
3545.88/3559.66 c GARBAGE COLLECT
3545.88/3559.66 c #Conflicts: 1304000 | #Constraints: 48121
3545.88/3559.66 c #Conflicts: 1305000 | #Constraints: 49121
3545.88/3559.66 c #Conflicts: 1306000 | #Constraints: 50121
3545.88/3559.66 c #Conflicts: 1307000 | #Constraints: 51121
3545.88/3559.66 c #Conflicts: 1308000 | #Constraints: 52121
3545.88/3559.66 c #Conflicts: 1309000 | #Constraints: 53121
3545.88/3559.66 c #Conflicts: 1310000 | #Constraints: 54121
3545.88/3559.66 c #Conflicts: 1311000 | #Constraints: 55121
3545.88/3559.66 c #Conflicts: 1312000 | #Constraints: 56121
3545.88/3559.66 c #Conflicts: 1313000 | #Constraints: 57121
3545.88/3559.66 c #Conflicts: 1314000 | #Constraints: 58121
3545.88/3559.66 c #Conflicts: 1315000 | #Constraints: 59121
3545.88/3559.66 c #Conflicts: 1316000 | #Constraints: 60121
3545.88/3559.66 c #Conflicts: 1317000 | #Constraints: 61121
3545.88/3559.66 c #Conflicts: 1318000 | #Constraints: 62121
3545.88/3559.66 c #Conflicts: 1319000 | #Constraints: 63121
3545.88/3559.66 c #Conflicts: 1320000 | #Constraints: 64121
3545.88/3559.66 c #Conflicts: 1321000 | #Constraints: 65121
3545.88/3559.66 c #Conflicts: 1322000 | #Constraints: 66121
3545.88/3559.66 c #Conflicts: 1323000 | #Constraints: 67121
3545.88/3559.66 c #Conflicts: 1324000 | #Constraints: 68121
3545.88/3559.66 c #Conflicts: 1325000 | #Constraints: 69121
3545.88/3559.66 c #Conflicts: 1326000 | #Constraints: 70121
3545.88/3559.66 c #Conflicts: 1327000 | #Constraints: 71121
3545.88/3559.66 c #Conflicts: 1328000 | #Constraints: 72121
3545.88/3559.66 c INPROCESSING
3545.88/3559.66 c GARBAGE COLLECT
3545.88/3559.66 c #Conflicts: 1329000 | #Constraints: 46983
3545.88/3559.66 c #Conflicts: 1330000 | #Constraints: 47983
3545.88/3559.66 c #Conflicts: 1331000 | #Constraints: 48983
3545.88/3559.66 c #Conflicts: 1332000 | #Constraints: 49983
3545.88/3559.66 c #Conflicts: 1333000 | #Constraints: 50983
3600.03/3613.90 c #Conflicts: 1334000 | #Constraints: 51983
3600.03/3613.90 c #Conflicts: 1335000 | #Constraints: 52983
3600.03/3613.90 c #Conflicts: 1336000 | #Constraints: 53983
3600.03/3613.90 c #Conflicts: 1337000 | #Constraints: 54983
3600.03/3613.90 c #Conflicts: 1338000 | #Constraints: 55983
3600.03/3613.90 c #Conflicts: 1339000 | #Constraints: 56983
3600.03/3613.90 c #Conflicts: 1340000 | #Constraints: 57983
3600.03/3613.90 c #Conflicts: 1341000 | #Constraints: 58983
3600.03/3613.90 c #Conflicts: 1342000 | #Constraints: 59983
3600.03/3613.90 c #Conflicts: 1343000 | #Constraints: 60983
3600.03/3613.90 c #Conflicts: 1344000 | #Constraints: 61983
3600.03/3613.90 c #Conflicts: 1345000 | #Constraints: 62983
3600.03/3613.90 c #Conflicts: 1346000 | #Constraints: 63983
3600.03/3613.90 c #Conflicts: 1347000 | #Constraints: 64983
3600.03/3613.90 c #Conflicts: 1348000 | #Constraints: 65983
3600.03/3613.90 c #Conflicts: 1349000 | #Constraints: 66983
3600.03/3613.90 c #Conflicts: 1350000 | #Constraints: 67983
3600.03/3613.90 c #Conflicts: 1351000 | #Constraints: 68983
3600.03/3613.90 c #Conflicts: 1352000 | #Constraints: 69983
3600.03/3613.90 c #Conflicts: 1353000 | #Constraints: 70983
3600.03/3613.90 c #Conflicts: 1354000 | #Constraints: 71983
3600.03/3613.90 c #Conflicts: 1355000 | #Constraints: 72983
3600.03/3613.90 c #Conflicts: 1356000 | #Constraints: 73983
3600.03/3613.90 c Program interrupted by user.
3600.03/3613.90 c cpu time 3589 s
3600.03/3613.90 c deterministic time 248950434923 2.49e+11
3600.03/3613.90 c optimization time 109.758 s
3600.03/3613.90 c total solve time 3180.41 s
3600.03/3613.90 c core-guided solve time 3180.41 s
3600.03/3613.90 c propagation time 2786.81 s
3600.03/3613.90 c conflict analysis time 482.175 s
3600.03/3613.90 c propagations 133302471
3600.03/3613.90 c resolve steps 23394820
3600.03/3613.90 c decisions 4427791
3600.03/3613.90 c conflicts 1356783
3600.03/3613.90 c restarts 2557
3600.03/3613.90 c inprocessing phases 73
3600.03/3613.90 c input clauses 19631
3600.03/3613.90 c input cardinalities 464
3600.03/3613.90 c input general constraints 243
3600.03/3613.90 c input average constraint length 16.86
3600.03/3613.90 c input average constraint degree 9.93
3600.03/3613.90 c learned clauses 942006
3600.03/3613.90 c learned cardinalities 22368
3600.03/3613.90 c learned general constraints 392432
3600.03/3613.90 c learned average constraint length 130.24
3600.03/3613.90 c learned average constraint degree 850.22
3600.03/3613.90 c watched constraints 367092
3600.03/3613.90 c counting constraints 25583
3600.03/3613.90 c gcd simplifications 10032
3600.03/3613.90 c detected cardinalities 965
3600.03/3613.90 c weakened non-implied lits 9643382
3600.03/3613.90 c weakened non-implying lits 12049
3600.03/3613.90 c original variables 2046
3600.03/3613.90 c clausal propagations 102689331
3600.03/3613.90 c cardinality propagations 1070059
3600.03/3613.90 c watched propagations 6160394
3600.03/3613.90 c counting propagations 21393952
3600.03/3613.90 c watch lookups 57906744308
3600.03/3613.90 c watch backjump lookups 50853727261
3600.03/3613.90 c watch checks 122758617132
3600.03/3613.90 c propagation checks 16643159205
3600.03/3613.90 c constraint additions 511370010
3600.03/3613.90 c trail pops 139086744
3600.03/3613.90 c formula constraints 18944
3600.03/3613.90 c learned constraints 1356806
3600.03/3613.90 c bound constraints 145
3600.03/3613.90 c core-guided constraints 1249
3600.03/3613.90 c encountered formula constraints 7050528
3600.03/3613.90 c encountered learned constraints 16687218
3600.03/3613.90 c encountered bound constraints 74
3600.03/3613.90 c encountered core-guided constraints 1013783
3600.03/3613.90 c LP total time 0 s
3600.03/3613.90 c LP solve time 0 s
3600.03/3613.90 c LP constraints added 0
3600.03/3613.90 c LP constraints removed 0
3600.03/3613.90 c LP pivots internal 0
3600.03/3613.90 c LP pivots root 0
3600.03/3613.90 c LP calls 0
3600.03/3613.90 c LP optimalities 0
3600.03/3613.90 c LP no pivot count 0
3600.03/3613.90 c LP infeasibilities 0
3600.03/3613.90 c LP valid Farkas constraints 0
3600.03/3613.90 c LP learned Farkas constraints 0
3600.03/3613.90 c LP basis resets 0
3600.03/3613.90 c LP cycling count 0
3600.03/3613.90 c LP singular count 0
3600.03/3613.90 c LP no primal count 0
3600.03/3613.90 c LP no farkas count 0
3600.03/3613.90 c LP other issue count 0
3600.03/3613.90 c LP Gomory cuts 0
3600.03/3613.90 c LP learned cuts 0
3600.03/3613.90 c LP deleted cuts 0
3600.03/3613.90 c LP encountered Gomory constraints 0
3600.03/3613.90 c LP encountered Farkas constraints 0
3600.03/3613.90 c LP encountered learned Farkas constraints 0
3600.03/3613.90 c CG auxiliary variables introduced 782
3600.03/3613.90 c CG solutions found 2
3600.03/3613.90 c CG cores constructed 111
3600.03/3613.90 c CG core cardinality constraints returned 0
3600.03/3613.90 c CG unit cores 0
3600.03/3613.90 c CG single cores 111
3600.03/3613.90 c CG blocks removed during cardinality reduction 0
3600.03/3613.90 c CG first core best 0
3600.03/3613.90 c CG decision core best 0
3600.03/3613.90 c CG core reduction tie 0
3600.03/3613.90 c CG core degree average 1.00
3600.03/3613.90 c CG core slack average 5.65
3600.03/3613.90 c CG exhausted 4
3600.03/3613.90 c CG exhaust time 48.2046 s
3600.03/3613.90 c CG trimmed 12
3600.03/3613.90 c CG trim time 0.003335 s
3600.03/3613.90 c CG minimized 0
3600.03/3613.90 c CG minimize time 0 s
3600.03/3613.90 c CG am1 prop time 0.0073 s
3600.03/3613.90 c CG # am1s reformulated 500
3600.03/3613.90 c CG lower bound derived from am1s 1485
3600.03/3613.90 c CG # clausal cores 111
3600.03/3613.90 c CG # cardinality cores 0
3600.03/3613.90 c CG # pb cores 0
3600.03/3613.90 c CG # pb reforms 0
3600.03/3613.90 c CG # cores discarded because of pb reform 0
3600.03/3613.90 d LOWERBOUND -446
3600.03/3613.90 d NCORES 111
3600.03/3613.90 d NPBCORES 0
3600.03/3613.90 d NPBREFORM 0
3600.03/3613.90 d NTRIMMED 12
3600.03/3613.90 d NEXHAUSTED 4
3600.03/3613.90 d NAM1S 500
3600.03/3613.90 d AM1LB 1485
3600.03/3613.90 c [Papilo Statistics]
3600.03/3613.90 c prepro time 0.0192344s
3600.03/3613.90 c # tsx applied 0
3600.03/3613.90 c # tsx conflicts 0
3600.03/3613.90 c # bound changes 0
3600.03/3613.90 c # side changes 0
3600.03/3613.90 c # coef changes 0
3600.03/3613.90 c # rounds 1
3600.03/3613.90 c # deted vars 0
3600.03/3613.90 c # deted constrs 0
3600.03/3613.90 c # consecutive rounds of only bound changes 0
3600.03/3613.90 c [STEP] postprocessing with Papilo
3600.03/3613.90 o -284
3600.03/3613.90 s SATISFIABLE
3600.03/3613.90 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: 63665 MiB (46752 MiB free)
memory of node 1: 64507 MiB (60805 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522081-1751578425/watcher-4522081-1751578425 -o /tmp/evaluation-result-4522081-1751578425/solver-4522081-1751578425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751578094-90101 --watchdog 3760 mixed-bag HOME/instance-4522081-1751578425.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=90805, runsolver pid=90802
[startup+0.100068 s]*
/proc/loadavg: 4.05 3.97 4.00 5/263 90806
/proc/meminfo: memFree=110121880/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=118180 memory=44148 CPUtime=0.08 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 8634 0 0 0 8 0 0 0 20 0 1 0 73520311 121016320 11037 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 29545 11037 4000 2842 0 11239 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 118180 KiB
Current children cumulated memory: 44148 KiB
[startup+0.205706 s]*
/proc/loadavg: 4.05 3.97 4.00 5/263 90806
/proc/meminfo: memFree=110103988/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=136584 memory=61580 CPUtime=0.2 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 13705 0 0 0 18 2 0 0 20 0 1 0 73520311 139862016 15395 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 34146 15395 4064 2842 0 15840 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 136584 KiB
Current children cumulated memory: 61580 KiB
[startup+0.305679 s]*
/proc/loadavg: 4.05 3.97 4.00 5/263 90806
/proc/meminfo: memFree=110099956/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=140096 memory=65036 CPUtime=0.29 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 14544 0 0 0 27 2 0 0 20 0 1 0 73520311 143458304 16259 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 35024 16259 4096 2842 0 16718 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 140096 KiB
Current children cumulated memory: 65036 KiB
[startup+0.700181 s]
/proc/loadavg: 4.05 3.97 4.00 5/263 90806
/proc/meminfo: memFree=110076016/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=167580 memory=87308 CPUtime=0.67 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 19925 0 0 0 65 2 0 0 20 0 1 0 73520311 171601920 21795 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 41895 21827 4288 2842 0 23589 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 167580 KiB
Current children cumulated memory: 87308 KiB
[startup+1.50017 s]
/proc/loadavg: 4.05 3.97 4.00 5/263 90806
/proc/meminfo: memFree=110068244/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=184168 memory=101132 CPUtime=1.47 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 23388 0 0 0 144 3 0 0 20 0 1 0 73520311 188588032 25283 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 46042 25283 4288 2842 0 27736 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 184168 KiB
Current children cumulated memory: 101132 KiB
[startup+3.10547 s]
/proc/loadavg: 4.05 3.97 4.00 5/263 90806
/proc/meminfo: memFree=110052596/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=194964 memory=107660 CPUtime=3.07 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 25016 0 0 0 304 3 0 0 20 0 1 0 73520311 199643136 26915 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 48741 26915 4288 2842 0 30435 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 194964 KiB
Current children cumulated memory: 107660 KiB
[startup+6.30013 s]
/proc/loadavg: 4.13 3.98 4.01 4/259 90814
/proc/meminfo: memFree=110041088/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=220536 memory=126476 CPUtime=6.25 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 29783 0 0 0 620 5 0 0 20 0 1 0 73520311 225828864 31619 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 55134 31619 4288 2842 0 36828 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 220536 KiB
Current children cumulated memory: 126476 KiB
[startup+12.7001 s]
/proc/loadavg: 4.20 4.00 4.01 5/263 90851
/proc/meminfo: memFree=109844592/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=234816 memory=139276 CPUtime=12.61 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 33093 0 0 0 1254 7 0 0 20 0 1 0 73520311 240451584 34819 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 58704 34819 4288 2842 0 40398 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 234816 KiB
Current children cumulated memory: 139276 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.00 4.01 5/263 90851
/proc/meminfo: memFree=109790136/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=238132 memory=147724 CPUtime=25.37 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 35223 0 0 0 2529 8 0 0 20 0 1 0 73520311 243847168 36931 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 59533 36931 4288 2842 0 41227 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 238132 KiB
Current children cumulated memory: 147724 KiB
[startup+51.1056 s]
/proc/loadavg: 4.18 4.02 4.01 5/263 90851
/proc/meminfo: memFree=109690544/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=262116 memory=170636 CPUtime=50.87 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 40940 0 0 0 5078 9 0 0 20 0 1 0 73520311 268406784 42659 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 65529 42659 4288 2842 0 47223 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 262116 KiB
Current children cumulated memory: 170636 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.03 4.02 5/263 90853
/proc/meminfo: memFree=109342096/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=368456 memory=230672 CPUtime=101.88 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 59419 0 0 0 10175 13 0 0 20 0 1 0 73520311 377298944 57668 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 92114 57668 4288 2842 0 73808 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 368456 KiB
Current children cumulated memory: 230672 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.02 4.01 5/264 90857
/proc/meminfo: memFree=108975212/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=424580 memory=273004 CPUtime=161.67 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 72082 0 0 0 16152 15 0 0 20 0 1 0 73520311 434769920 68251 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 106145 68251 4288 2842 0 87839 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 424580 KiB
Current children cumulated memory: 273004 KiB
[startup+222.3 s]
/proc/loadavg: 4.45 4.13 4.04 5/264 90859
/proc/meminfo: memFree=108734260/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=427536 memory=292776 CPUtime=221.44 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 77760 0 0 0 22128 16 0 0 20 0 1 0 73520311 437796864 73194 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 106884 73194 4288 2842 0 88578 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 427536 KiB
Current children cumulated memory: 292776 KiB
[startup+282.3 s]
/proc/loadavg: 4.23 4.12 4.04 5/265 90864
/proc/meminfo: memFree=108682384/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=427536 memory=308008 CPUtime=281.22 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 81565 0 0 0 28105 17 0 0 20 0 1 0 73520311 437796864 77002 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 106884 77002 4288 2842 0 88578 0
Current children cumulated CPU time: 281.22 s
Current children cumulated vsize: 427536 KiB
Current children cumulated memory: 308008 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.04 5/265 90866
/proc/meminfo: memFree=108596000/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=456556 memory=335764 CPUtime=341.02 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 86291 0 0 0 34033 69 0 0 20 0 1 0 73520311 467513344 83941 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 114139 83941 4448 2842 0 95833 0
Current children cumulated CPU time: 341.02 s
Current children cumulated vsize: 456556 KiB
Current children cumulated memory: 335764 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.04 5/265 90868
/proc/meminfo: memFree=108334336/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=456556 memory=335764 CPUtime=400.82 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 86292 0 0 0 39947 135 0 0 20 0 1 0 73520311 467513344 83941 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 114139 83941 4448 2842 0 95833 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 456556 KiB
Current children cumulated memory: 335764 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.04 5/264 90875
/proc/meminfo: memFree=108062632/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=456556 memory=335764 CPUtime=460.63 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 86292 0 0 0 45892 171 0 0 20 0 1 0 73520311 467513344 83941 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 114139 83941 4448 2842 0 95833 0
Current children cumulated CPU time: 460.63 s
################
# More data... #
################
Current children cumulated memory: 337300 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 91072
/proc/meminfo: memFree=109179472/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=456556 memory=337300 CPUtime=2910.95 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 86878 0 0 0 290139 956 0 0 20 0 1 0 73520311 467513344 84325 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 114139 84325 4448 2842 0 95833 0
Current children cumulated CPU time: 2910.95 s
Current children cumulated vsize: 456556 KiB
Current children cumulated memory: 337300 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 91074
/proc/meminfo: memFree=109176524/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=456556 memory=337300 CPUtime=2970.71 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 86879 0 0 0 296103 968 0 0 20 0 1 0 73520311 467513344 84325 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 114139 84325 4448 2842 0 95833 0
Current children cumulated CPU time: 2970.71 s
Current children cumulated vsize: 456556 KiB
Current children cumulated memory: 337300 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 91076
/proc/meminfo: memFree=109172164/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=456556 memory=337300 CPUtime=3030.49 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 86882 0 0 0 302070 979 0 0 20 0 1 0 73520311 467513344 84325 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 114139 84325 4448 2842 0 95833 0
Current children cumulated CPU time: 3030.49 s
Current children cumulated vsize: 456556 KiB
Current children cumulated memory: 337300 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 91079
/proc/meminfo: memFree=109104712/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=456556 memory=337300 CPUtime=3090.24 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 86884 0 0 0 308037 987 0 0 20 0 1 0 73520311 467513344 84325 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 114139 84325 4448 2842 0 95833 0
Current children cumulated CPU time: 3090.24 s
Current children cumulated vsize: 456556 KiB
Current children cumulated memory: 337300 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 91081
/proc/meminfo: memFree=109104576/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=456556 memory=337300 CPUtime=3150.01 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 86884 0 0 0 314003 998 0 0 20 0 1 0 73520311 467513344 84325 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 114139 84325 4448 2842 0 95833 0
Current children cumulated CPU time: 3150.01 s
Current children cumulated vsize: 456556 KiB
Current children cumulated memory: 337300 KiB
[startup+3222.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/263 91083
/proc/meminfo: memFree=109055028/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=456556 memory=337300 CPUtime=3209.77 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 86884 0 0 0 319969 1008 0 0 20 0 1 0 73520311 467513344 84325 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 114139 84325 4448 2842 0 95833 0
Current children cumulated CPU time: 3209.77 s
Current children cumulated vsize: 456556 KiB
Current children cumulated memory: 337300 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 91088
/proc/meminfo: memFree=108885192/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=456556 memory=337300 CPUtime=3269.53 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 86884 0 0 0 325934 1019 0 0 20 0 1 0 73520311 467513344 84325 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 114139 84325 4448 2842 0 95833 0
Current children cumulated CPU time: 3269.53 s
Current children cumulated vsize: 456556 KiB
Current children cumulated memory: 337300 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 91134
/proc/meminfo: memFree=122487364/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=456556 memory=337300 CPUtime=3329.3 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 86887 0 0 0 331899 1031 0 0 20 0 1 0 73520311 467513344 84325 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 114139 84325 4448 2842 0 95833 0
Current children cumulated CPU time: 3329.3 s
Current children cumulated vsize: 456556 KiB
Current children cumulated memory: 337300 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/264 91137
/proc/meminfo: memFree=120820392/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=456556 memory=342036 CPUtime=3389.1 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 86898 0 0 0 337864 1046 0 0 20 0 1 0 73520311 467513344 85509 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 114139 85509 4448 2842 0 95833 0
Current children cumulated CPU time: 3389.1 s
Current children cumulated vsize: 456556 KiB
Current children cumulated memory: 342036 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 91140
/proc/meminfo: memFree=120727920/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=456556 memory=362516 CPUtime=3448.89 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 86916 0 0 0 343824 1065 0 0 20 0 1 0 73520311 467513344 90629 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 114139 90629 4448 2842 0 95833 0
Current children cumulated CPU time: 3448.89 s
Current children cumulated vsize: 456556 KiB
Current children cumulated memory: 362516 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 91146
/proc/meminfo: memFree=120709000/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=456556 memory=375444 CPUtime=3508.7 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 86931 0 0 0 349788 1082 0 0 20 0 1 0 73520311 467513344 93861 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 114139 93861 4448 2842 0 95833 0
Current children cumulated CPU time: 3508.7 s
Current children cumulated vsize: 456556 KiB
Current children cumulated memory: 375444 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 91148
/proc/meminfo: memFree=120696176/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=456556 memory=377492 CPUtime=3568.52 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 86931 0 0 0 355755 1097 0 0 20 0 1 0 73520311 467513344 94373 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 114139 94373 4448 2842 0 95833 0
Current children cumulated CPU time: 3568.52 s
Current children cumulated vsize: 456556 KiB
Current children cumulated memory: 377492 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.9 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 91148
/proc/meminfo: memFree=120659924/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=456556 memory=377492 CPUtime=3600.03 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 86931 0 0 0 358900 1103 0 0 20 0 1 0 73520311 467513344 94373 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 114139 94373 4448 2842 0 95833 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 456556 KiB
Current children cumulated memory: 377492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.91 s]
# the end of solver process 90805 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589 s, system=11.0421 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.9 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 91148
/proc/meminfo: memFree=120659924/131250000 swapFree=33010416/33010684
[pid=90805] ppid=90802 vsize=456556 memory=377492 CPUtime=3600.03 cores=0,2
/proc/90805/stat : 90805 (mixed-bag) R 90802 90805 90091 0 -1 4194304 86931 0 0 0 358900 1103 0 0 20 0 1 0 73520311 467513344 94373 18446744073709551615 4235264 15874749 140726346831696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 42094592 140726346840476 140726346840553 140726346840553 140726346846155 0
/proc/90805/statm: 114139 94373 4448 2842 0 95833 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 456556 KiB
Current children cumulated memory: 377492 KiB
Child status: 0
Real time (s): 3613.91
CPU time (s): 3600.05
CPU user time (s): 3589
CPU system time (s): 11.0421
CPU usage (%): 99.6165
Max. virtual memory (cumulated for all children) (KiB): 456556
Max. memory (cumulated for all children) (KiB): 377492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589
system time used= 11.0421
maximum resident set size= 378388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86957
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= 172
involuntary context switches= 22056
# summary of solver processes directly reported to runsolver:
# pid: 90805
# total CPU time (s): 3600.05
# total CPU user time (s): 3589
# total CPU system time (s): 11.0421
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82451 second user time and 16.121 second system time
The end
Begin job on nodeC018 at 2025-07-03 23:33:45
IDJOB=4522081
IDBENCH=178576
IDSOLVER=3340
FILE ID=nodeC018/4522081-1751578425
RUNJOBID= nodeC018-1751578094-90101
SLURM_JOB_ID= 9598808
Free space on /tmp= 432744 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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-4522081-1751578425/watcher-4522081-1751578425 -o /tmp/evaluation-result-4522081-1751578425/solver-4522081-1751578425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751578094-90101 --watchdog 3760 mixed-bag HOME/instance-4522081-1751578425.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3efa309da6b8ed2e5ff01ccb25d0dd51
RANDOM SEED=1991198760
nodeC018 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 : 3597.785
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.66
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.825
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.66
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 : 3600.144
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.66
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 : 3597.969
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.66
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 : 3599.851
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.66
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.812
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.66
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 : 3597.394
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.66
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 110139520 kB
MemAvailable: 110567252 kB
Buffers: 2128 kB
Cached: 1191900 kB
SwapCached: 32 kB
Active: 19524076 kB
Inactive: 717028 kB
Active(anon): 19064836 kB
Inactive(anon): 288 kB
Active(file): 459240 kB
Inactive(file): 716740 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32172 kB
Writeback: 4 kB
AnonPages: 19049844 kB
Mapped: 135560 kB
Shmem: 18044 kB
KReclaimable: 181584 kB
Slab: 271792 kB
SReclaimable: 181584 kB
SUnreclaim: 90208 kB
KernelStack: 4256 kB
PageTables: 40796 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 21491464 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5818368 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432780 MiB
End job on nodeC018 at 2025-07-04 00:33:59