0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.09 c [STEP] solving
0.00/0.09 c #variables 2023 #constraints 31798
0.00/0.09 c SMALL=int, LARGE=long long
0.00/0.09 c bounds - >= -109612 @ 0.065166
0.00/0.09 c stratification level: 332
0.00/0.09 c bounds - >= -109280 @ 0.069384
0.00/0.09 c finalizing WCE round: reformulating cores
0.00/0.10 c bounds -3138 >= -109280 @ 0.07275
0.00/0.10 c bounds -3511 >= -109280 @ 0.075068
0.00/0.10 c stratification level: 319
0.10/0.11 c bounds -3511 >= -108952 @ 0.080031
0.10/0.11 c bounds -3511 >= -108633 @ 0.084767
0.10/0.11 c finalizing WCE round: reformulating cores
1.39/1.43 c bounds -4951 >= -108633 @ 0.65246
1.39/1.43 c #Conflicts: 1000 | #Constraints: 32814
1.39/1.43 c bounds -4952 >= -108633 @ 1.38306
1.39/1.43 c stratification level: 312
1.39/1.49 c bounds -4952 >= -108315 @ 1.41027
1.39/1.49 c bounds -4952 >= -108003 @ 1.4184
1.39/1.49 c bounds -4952 >= -107691 @ 1.42783
1.39/1.49 c finalizing WCE round: reformulating cores
3.38/3.42 c #Conflicts: 2000 | #Constraints: 33826
3.38/3.42 c INPROCESSING
3.38/3.42 c GARBAGE COLLECT
3.38/3.42 c #Conflicts: 3000 | #Constraints: 33829
3.38/3.42 c bounds -5546 >= -107691 @ 3.33349
3.38/3.42 c bounds -5602 >= -107691 @ 3.35336
3.38/3.42 c stratification level: 309
3.38/3.48 c bounds -5602 >= -107379 @ 3.37623
3.38/3.48 c finalizing WCE round: reformulating cores
177.84/178.31 c bounds -5626 >= -107379 @ 3.43562
177.84/178.31 c #Conflicts: 4000 | #Constraints: 34836
177.84/178.31 c INPROCESSING
177.84/178.31 c GARBAGE COLLECT
177.84/178.31 c #Conflicts: 5000 | #Constraints: 34230
177.84/178.31 c #Conflicts: 6000 | #Constraints: 35230
177.84/178.31 c INPROCESSING
177.84/178.31 c GARBAGE COLLECT
177.84/178.31 c #Conflicts: 7000 | #Constraints: 34229
177.84/178.31 c #Conflicts: 8000 | #Constraints: 35229
177.84/178.31 c #Conflicts: 9000 | #Constraints: 36229
177.84/178.31 c INPROCESSING
177.84/178.31 c GARBAGE COLLECT
177.84/178.31 c #Conflicts: 10000 | #Constraints: 34932
177.84/178.31 c #Conflicts: 11000 | #Constraints: 35932
177.84/178.31 c #Conflicts: 12000 | #Constraints: 36932
177.84/178.31 c INPROCESSING
177.84/178.31 c GARBAGE COLLECT
177.84/178.31 c #Conflicts: 13000 | #Constraints: 35384
177.84/178.31 c #Conflicts: 14000 | #Constraints: 36384
177.84/178.31 c #Conflicts: 15000 | #Constraints: 37384
177.84/178.31 c INPROCESSING
177.84/178.31 c GARBAGE COLLECT
177.84/178.31 c #Conflicts: 16000 | #Constraints: 35615
177.84/178.31 c #Conflicts: 17000 | #Constraints: 36615
177.84/178.31 c #Conflicts: 18000 | #Constraints: 37615
177.84/178.31 c INPROCESSING
177.84/178.31 c GARBAGE COLLECT
177.84/178.31 c #Conflicts: 19000 | #Constraints: 35630
177.84/178.31 c #Conflicts: 20000 | #Constraints: 36630
177.84/178.31 c #Conflicts: 21000 | #Constraints: 37630
177.84/178.31 c INPROCESSING
177.84/178.31 c GARBAGE COLLECT
177.84/178.31 c #Conflicts: 22000 | #Constraints: 35432
177.84/178.31 c #Conflicts: 23000 | #Constraints: 36432
177.84/178.31 c #Conflicts: 24000 | #Constraints: 37432
177.84/178.31 c #Conflicts: 25000 | #Constraints: 38432
177.84/178.31 c INPROCESSING
177.84/178.31 c GARBAGE COLLECT
177.84/178.31 c #Conflicts: 26000 | #Constraints: 36047
177.84/178.31 c #Conflicts: 27000 | #Constraints: 37047
177.84/178.31 c #Conflicts: 28000 | #Constraints: 38047
177.84/178.31 c #Conflicts: 29000 | #Constraints: 39047
177.84/178.31 c INPROCESSING
177.84/178.31 c GARBAGE COLLECT
177.84/178.31 c #Conflicts: 30000 | #Constraints: 36452
177.84/178.31 c #Conflicts: 31000 | #Constraints: 37452
177.84/178.31 c #Conflicts: 32000 | #Constraints: 38452
177.84/178.31 c #Conflicts: 33000 | #Constraints: 39452
177.84/178.31 c INPROCESSING
177.84/178.31 c GARBAGE COLLECT
177.84/178.31 c #Conflicts: 34000 | #Constraints: 36638
177.84/178.31 c #Conflicts: 35000 | #Constraints: 37638
177.84/178.31 c #Conflicts: 36000 | #Constraints: 38638
177.84/178.31 c #Conflicts: 37000 | #Constraints: 39638
177.84/178.31 c INPROCESSING
177.84/178.31 c GARBAGE COLLECT
177.84/178.31 c #Conflicts: 38000 | #Constraints: 36639
177.84/178.31 c #Conflicts: 39000 | #Constraints: 37639
177.84/178.31 c #Conflicts: 40000 | #Constraints: 38639
177.84/178.31 c #Conflicts: 41000 | #Constraints: 39639
177.84/178.31 c INPROCESSING
177.84/178.31 c GARBAGE COLLECT
177.84/178.31 c #Conflicts: 42000 | #Constraints: 36442
177.84/178.31 c #Conflicts: 43000 | #Constraints: 37442
177.84/178.31 c #Conflicts: 44000 | #Constraints: 38442
177.84/178.31 c #Conflicts: 45000 | #Constraints: 39442
177.84/178.31 c #Conflicts: 46000 | #Constraints: 40442
177.84/178.31 c INPROCESSING
177.84/178.31 c GARBAGE COLLECT
177.84/178.31 c #Conflicts: 47000 | #Constraints: 37034
177.84/178.31 c #Conflicts: 48000 | #Constraints: 38034
177.84/178.31 c #Conflicts: 49000 | #Constraints: 39034
177.84/178.31 c #Conflicts: 50000 | #Constraints: 40034
177.84/178.31 c #Conflicts: 51000 | #Constraints: 41034
177.84/178.31 c INPROCESSING
177.84/178.31 c GARBAGE COLLECT
177.84/178.31 c #Conflicts: 52000 | #Constraints: 37439
177.84/178.31 c #Conflicts: 53000 | #Constraints: 38439
177.84/178.31 c #Conflicts: 54000 | #Constraints: 39439
177.84/178.31 c #Conflicts: 55000 | #Constraints: 40439
177.84/178.31 c #Conflicts: 56000 | #Constraints: 41439
177.84/178.31 c INPROCESSING
177.84/178.31 c GARBAGE COLLECT
177.84/178.31 c #Conflicts: 57000 | #Constraints: 37637
177.84/178.31 c #Conflicts: 58000 | #Constraints: 38637
177.84/178.31 c #Conflicts: 59000 | #Constraints: 39637
177.84/178.31 c #Conflicts: 60000 | #Constraints: 40637
177.84/178.31 c #Conflicts: 61000 | #Constraints: 41637
177.84/178.31 c INPROCESSING
177.84/178.31 c GARBAGE COLLECT
177.84/178.31 c #Conflicts: 62000 | #Constraints: 37636
177.84/178.31 c #Conflicts: 63000 | #Constraints: 38636
177.84/178.31 c #Conflicts: 64000 | #Constraints: 39636
177.84/178.31 c #Conflicts: 65000 | #Constraints: 40636
177.84/178.31 c #Conflicts: 66000 | #Constraints: 41636
177.84/178.31 c INPROCESSING
177.84/178.31 c GARBAGE COLLECT
177.84/178.31 c #Conflicts: 67000 | #Constraints: 37434
177.84/178.31 c #Conflicts: 68000 | #Constraints: 38434
177.84/178.31 c #Conflicts: 69000 | #Constraints: 39434
177.84/178.31 c #Conflicts: 70000 | #Constraints: 40434
177.84/178.31 c #Conflicts: 71000 | #Constraints: 41434
510.80/512.16 c #Conflicts: 72000 | #Constraints: 42434
510.80/512.16 c INPROCESSING
510.80/512.16 c GARBAGE COLLECT
510.80/512.16 c #Conflicts: 73000 | #Constraints: 38031
510.80/512.16 c #Conflicts: 74000 | #Constraints: 39031
510.80/512.16 c #Conflicts: 75000 | #Constraints: 40031
510.80/512.16 c #Conflicts: 76000 | #Constraints: 41031
510.80/512.16 c #Conflicts: 77000 | #Constraints: 42031
510.80/512.16 c #Conflicts: 78000 | #Constraints: 43031
510.80/512.16 c INPROCESSING
510.80/512.16 c GARBAGE COLLECT
510.80/512.16 c #Conflicts: 79000 | #Constraints: 38435
510.80/512.16 c #Conflicts: 80000 | #Constraints: 39435
510.80/512.16 c #Conflicts: 81000 | #Constraints: 40435
510.80/512.16 c #Conflicts: 82000 | #Constraints: 41435
510.80/512.16 c #Conflicts: 83000 | #Constraints: 42435
510.80/512.16 c #Conflicts: 84000 | #Constraints: 43435
510.80/512.16 c INPROCESSING
510.80/512.16 c GARBAGE COLLECT
510.80/512.16 c #Conflicts: 85000 | #Constraints: 38647
510.80/512.16 c #Conflicts: 86000 | #Constraints: 39647
510.80/512.16 c #Conflicts: 87000 | #Constraints: 40647
510.80/512.16 c #Conflicts: 88000 | #Constraints: 41647
510.80/512.16 c #Conflicts: 89000 | #Constraints: 42647
510.80/512.16 c #Conflicts: 90000 | #Constraints: 43647
510.80/512.16 c INPROCESSING
510.80/512.16 c GARBAGE COLLECT
510.80/512.16 c #Conflicts: 91000 | #Constraints: 38643
510.80/512.16 c #Conflicts: 92000 | #Constraints: 39643
510.80/512.16 c #Conflicts: 93000 | #Constraints: 40643
510.80/512.16 c #Conflicts: 94000 | #Constraints: 41643
510.80/512.16 c #Conflicts: 95000 | #Constraints: 42643
510.80/512.16 c #Conflicts: 96000 | #Constraints: 43643
510.80/512.16 c INPROCESSING
510.80/512.16 c GARBAGE COLLECT
510.80/512.16 c #Conflicts: 97000 | #Constraints: 38446
510.80/512.16 c #Conflicts: 98000 | #Constraints: 39446
510.80/512.16 c #Conflicts: 99000 | #Constraints: 40446
510.80/512.16 c #Conflicts: 100000 | #Constraints: 41446
510.80/512.16 c #Conflicts: 101000 | #Constraints: 42446
510.80/512.16 c #Conflicts: 102000 | #Constraints: 43446
510.80/512.16 c #Conflicts: 103000 | #Constraints: 44446
510.80/512.16 c INPROCESSING
510.80/512.16 c GARBAGE COLLECT
510.80/512.16 c #Conflicts: 104000 | #Constraints: 39039
510.80/512.16 c #Conflicts: 105000 | #Constraints: 40039
510.80/512.16 c #Conflicts: 106000 | #Constraints: 41039
510.80/512.16 c #Conflicts: 107000 | #Constraints: 42039
510.80/512.16 c #Conflicts: 108000 | #Constraints: 43039
510.80/512.16 c #Conflicts: 109000 | #Constraints: 44039
510.80/512.16 c #Conflicts: 110000 | #Constraints: 45039
510.80/512.16 c INPROCESSING
510.80/512.16 c GARBAGE COLLECT
510.80/512.16 c #Conflicts: 111000 | #Constraints: 39443
510.80/512.16 c #Conflicts: 112000 | #Constraints: 40443
510.80/512.16 c #Conflicts: 113000 | #Constraints: 41443
510.80/512.16 c #Conflicts: 114000 | #Constraints: 42443
510.80/512.16 c #Conflicts: 115000 | #Constraints: 43443
510.80/512.16 c #Conflicts: 116000 | #Constraints: 44443
510.80/512.16 c #Conflicts: 117000 | #Constraints: 45443
510.80/512.16 c INPROCESSING
510.80/512.16 c GARBAGE COLLECT
510.80/512.16 c #Conflicts: 118000 | #Constraints: 39641
510.80/512.16 c #Conflicts: 119000 | #Constraints: 40641
510.80/512.16 c #Conflicts: 120000 | #Constraints: 41641
510.80/512.16 c #Conflicts: 121000 | #Constraints: 42641
510.80/512.16 c #Conflicts: 122000 | #Constraints: 43641
510.80/512.16 c #Conflicts: 123000 | #Constraints: 44641
510.80/512.16 c #Conflicts: 124000 | #Constraints: 45641
510.80/512.16 c INPROCESSING
510.80/512.16 c GARBAGE COLLECT
510.80/512.16 c #Conflicts: 125000 | #Constraints: 39637
510.80/512.16 c #Conflicts: 126000 | #Constraints: 40637
510.80/512.16 c bounds -5664 >= -107379 @ 509.315
510.80/512.16 c stratification level: 306
510.88/512.22 c bounds -5664 >= -107073 @ 509.354
510.88/512.22 c bounds -5664 >= -106767 @ 509.363
510.88/512.22 c finalizing WCE round: reformulating cores
511.69/513.10 c #Conflicts: 127000 | #Constraints: 41650
511.69/513.10 c bounds -5686 >= -106767 @ 510.226
511.69/513.10 c bounds -5708 >= -106767 @ 510.249
511.69/513.10 c stratification level: 300
512.39/513.79 c bounds -5708 >= -106467 @ 510.288
512.39/513.79 c #Conflicts: 128000 | #Constraints: 42652
512.39/513.79 c finalizing WCE round: reformulating cores
513.38/514.73 c bounds -5723 >= -106467 @ 511.804
513.38/514.73 c bounds -5724 >= -106467 @ 511.869
513.38/514.73 c stratification level: 246
513.88/515.28 c bounds -5724 >= -106168 @ 512.12
513.88/515.28 c bounds -5724 >= -105882 @ 512.138
513.88/515.28 c bounds -5724 >= -105627 @ 512.167
513.88/515.28 c bounds -5724 >= -105344 @ 512.203
513.88/515.28 c bounds -5724 >= -105064 @ 512.239
513.88/515.28 c bounds -5724 >= -104800 @ 512.266
513.88/515.28 c bounds -5724 >= -104548 @ 512.298
513.88/515.28 c bounds -5724 >= -104302 @ 512.325
513.88/515.28 c bounds -5724 >= -104047 @ 512.35
513.88/515.28 c bounds -5724 >= -103798 @ 512.364
513.88/515.28 c finalizing WCE round: reformulating cores
519.68/521.05 c #Conflicts: 129000 | #Constraints: 43676
519.68/521.05 c #Conflicts: 130000 | #Constraints: 44678
519.68/521.05 c bounds -7350 >= -105465 @ 514.464
519.68/521.05 c bounds -7350 >= -105465 @ 514.465
519.68/521.05 c bounds -7350 >= -105465 @ 514.475
519.68/521.05 c bounds -7350 >= -105465 @ 514.484
519.68/521.05 c bounds -7350 >= -105465 @ 514.5
519.68/521.05 c bounds -7350 >= -105465 @ 514.515
519.68/521.05 c bounds -7350 >= -105465 @ 514.525
519.68/521.05 c bounds -7350 >= -105465 @ 514.544
519.68/521.05 c bounds -7350 >= -105465 @ 514.57
519.68/521.05 c bounds -7350 >= -105465 @ 514.59
519.68/521.05 c bounds -7350 >= -105465 @ 514.604
519.68/521.05 c bounds -7350 >= -105465 @ 514.62
519.68/521.05 c bounds -7350 >= -105465 @ 514.632
519.68/521.05 c bounds -7350 >= -105465 @ 514.648
519.68/521.05 c bounds -7350 >= -105465 @ 514.661
519.68/521.05 c bounds -7350 >= -105465 @ 514.679
519.68/521.05 c bounds -7350 >= -105465 @ 514.693
519.68/521.05 c bounds -7350 >= -105465 @ 514.723
519.68/521.05 c bounds -7350 >= -105465 @ 514.752
519.68/521.05 c bounds -7350 >= -105465 @ 514.781
519.68/521.05 c bounds -7350 >= -105465 @ 514.81
519.68/521.05 c bounds -7350 >= -105465 @ 514.829
519.68/521.05 c bounds -7350 >= -105465 @ 514.839
519.68/521.05 c bounds -7350 >= -105465 @ 514.858
519.68/521.05 c bounds -7350 >= -105465 @ 514.885
519.68/521.05 c bounds -7350 >= -105465 @ 514.909
519.68/521.05 c bounds -7350 >= -105465 @ 514.933
519.68/521.05 c bounds -7350 >= -105465 @ 514.961
519.68/521.05 c bounds -7350 >= -105465 @ 515.002
519.68/521.05 c bounds -7350 >= -105465 @ 515.046
519.68/521.05 c bounds -7350 >= -105465 @ 515.087
519.68/521.05 c bounds -7350 >= -105465 @ 515.125
519.68/521.05 c bounds -7350 >= -105465 @ 515.164
519.68/521.05 c bounds -7350 >= -105465 @ 515.202
519.68/521.05 c bounds -7350 >= -105465 @ 515.239
519.68/521.05 c bounds -7350 >= -105465 @ 515.263
519.68/521.05 c bounds -7350 >= -105465 @ 515.297
519.68/521.05 c bounds -7350 >= -105465 @ 515.318
519.68/521.05 c bounds -7350 >= -105465 @ 515.35
519.68/521.05 c bounds -7350 >= -105465 @ 515.37
519.68/521.05 c bounds -7350 >= -105465 @ 515.4
519.68/521.05 c bounds -7350 >= -105465 @ 515.42
519.68/521.05 c bounds -7350 >= -105465 @ 515.452
519.68/521.05 c bounds -7350 >= -105465 @ 515.472
519.68/521.05 c bounds -7350 >= -105465 @ 515.504
519.68/521.05 c bounds -7350 >= -105465 @ 515.524
519.68/521.05 c bounds -7350 >= -105465 @ 515.557
519.68/521.05 c bounds -7350 >= -105465 @ 515.577
519.68/521.05 c bounds -7350 >= -105465 @ 515.609
519.68/521.05 c bounds -7350 >= -105465 @ 515.629
519.68/521.05 c bounds -7350 >= -105465 @ 515.661
519.68/521.05 c bounds -7350 >= -105465 @ 515.681
519.68/521.05 c bounds -7350 >= -105465 @ 515.714
519.68/521.05 c bounds -7350 >= -105465 @ 515.735
519.68/521.05 c bounds -7350 >= -105465 @ 515.766
519.68/521.05 c bounds -7350 >= -105465 @ 515.795
519.68/521.05 c bounds -7350 >= -105465 @ 515.825
519.68/521.05 c bounds -7350 >= -105465 @ 515.858
519.68/521.05 c bounds -7350 >= -105465 @ 515.889
519.68/521.05 c bounds -7350 >= -105465 @ 515.916
519.68/521.05 c bounds -7350 >= -105465 @ 515.968
519.68/521.05 c bounds -7350 >= -105465 @ 516.018
519.68/521.05 c bounds -7350 >= -105465 @ 516.052
519.68/521.05 c bounds -7350 >= -105465 @ 516.099
519.68/521.05 c bounds -7350 >= -105465 @ 516.143
519.68/521.05 c bounds -7350 >= -105465 @ 516.192
519.68/521.05 c bounds -7350 >= -105465 @ 516.224
519.68/521.05 c bounds -7350 >= -105465 @ 516.272
519.68/521.05 c bounds -7350 >= -105465 @ 516.328
519.68/521.05 c bounds -7350 >= -105465 @ 516.377
519.68/521.05 c bounds -7350 >= -105465 @ 516.418
519.68/521.05 c bounds -7350 >= -105465 @ 516.458
519.68/521.05 c bounds -7350 >= -105465 @ 516.499
519.68/521.05 c bounds -7350 >= -105465 @ 516.544
519.68/521.05 c bounds -7350 >= -105465 @ 516.582
519.68/521.05 c bounds -7350 >= -105465 @ 516.629
519.68/521.05 c bounds -7350 >= -105465 @ 516.671
519.68/521.05 c bounds -7350 >= -105465 @ 516.72
519.68/521.05 c bounds -7350 >= -105465 @ 516.751
519.68/521.05 c bounds -7350 >= -105465 @ 516.79
519.68/521.05 c bounds -7350 >= -105465 @ 516.82
519.68/521.05 c bounds -7350 >= -105465 @ 516.859
519.68/521.05 c bounds -7350 >= -105465 @ 516.89
519.68/521.05 c bounds -7350 >= -105465 @ 516.939
519.68/521.05 c bounds -7350 >= -105465 @ 516.971
519.68/521.05 c bounds -7350 >= -105465 @ 517.018
519.68/521.05 c bounds -7350 >= -105465 @ 517.054
519.68/521.05 c bounds -7350 >= -105465 @ 517.103
519.68/521.05 c bounds -7350 >= -105465 @ 517.14
519.68/521.05 c bounds -7350 >= -105465 @ 517.187
519.68/521.05 c bounds -7350 >= -105465 @ 517.224
519.68/521.05 c bounds -7350 >= -105465 @ 517.272
519.68/521.05 c bounds -7350 >= -105465 @ 517.309
519.68/521.05 c bounds -7350 >= -105465 @ 517.357
519.68/521.05 c bounds -7350 >= -105465 @ 517.393
519.68/521.05 c bounds -7350 >= -105465 @ 517.441
519.68/521.05 c bounds -7350 >= -105465 @ 517.477
519.68/521.05 c bounds -7350 >= -105465 @ 517.524
519.68/521.05 c bounds -7350 >= -105465 @ 517.553
519.68/521.05 c bounds -7350 >= -105465 @ 517.594
519.68/521.05 c bounds -7350 >= -105465 @ 517.632
519.68/521.05 c bounds -7350 >= -105465 @ 517.671
519.68/521.05 c bounds -7350 >= -105465 @ 517.71
519.68/521.05 c bounds -7350 >= -105465 @ 517.749
519.68/521.05 c bounds -7350 >= -105465 @ 517.795
519.68/521.05 c bounds -7350 >= -105465 @ 517.836
519.68/521.05 c bounds -7350 >= -105465 @ 517.88
519.68/521.05 c bounds -7350 >= -105465 @ 517.932
519.68/521.05 c bounds -7350 >= -105465 @ 517.978
519.68/521.05 c bounds -7350 >= -105465 @ 518.036
519.68/521.05 c bounds -7350 >= -105465 @ 518.1
519.68/521.05 c bounds -7350 >= -105465 @ 518.155
527.45/528.86 c bounds -7350 >= -105465 @ 518.239
527.45/528.86 c bounds -7350 >= -105465 @ 518.302
527.45/528.86 c bounds -7350 >= -105465 @ 518.381
527.45/528.86 c bounds -7350 >= -105465 @ 518.446
527.45/528.86 c bounds -7350 >= -105465 @ 518.513
527.45/528.86 c bounds -7350 >= -105465 @ 518.569
527.45/528.86 c bounds -7350 >= -105465 @ 518.649
527.45/528.86 c bounds -7350 >= -105465 @ 518.707
527.45/528.86 c bounds -7350 >= -105465 @ 518.776
527.45/528.86 c bounds -7350 >= -105465 @ 518.852
527.45/528.86 c bounds -7350 >= -105465 @ 518.915
527.45/528.86 c bounds -7350 >= -105465 @ 518.984
527.45/528.86 c bounds -7350 >= -105465 @ 519.063
527.45/528.86 c bounds -7350 >= -105465 @ 519.126
527.45/528.86 c bounds -7350 >= -105465 @ 519.194
527.45/528.86 c bounds -7350 >= -105465 @ 519.24
527.45/528.86 c bounds -7350 >= -105465 @ 519.282
527.45/528.86 c bounds -7350 >= -105465 @ 519.33
527.45/528.86 c bounds -7350 >= -105465 @ 519.367
527.45/528.86 c bounds -7350 >= -105465 @ 519.412
527.45/528.86 c bounds -7350 >= -105465 @ 519.45
527.45/528.86 c bounds -7350 >= -105465 @ 519.49
527.45/528.86 c bounds -7350 >= -105465 @ 519.529
527.45/528.86 c bounds -7350 >= -105465 @ 519.564
527.45/528.86 c bounds -7350 >= -105465 @ 519.596
527.45/528.86 c bounds -7350 >= -105465 @ 519.637
527.45/528.86 c bounds -7350 >= -105465 @ 519.677
527.45/528.86 c bounds -7350 >= -105465 @ 519.719
527.45/528.86 c bounds -7350 >= -105465 @ 519.75
527.45/528.86 c bounds -7350 >= -105465 @ 519.797
527.45/528.86 c bounds -7350 >= -105465 @ 519.829
527.45/528.86 c bounds -7350 >= -105465 @ 519.879
527.45/528.86 c bounds -7350 >= -105465 @ 519.921
527.45/528.86 c bounds -7350 >= -105465 @ 519.975
527.45/528.86 c bounds -7350 >= -105465 @ 520.022
527.45/528.86 c bounds -7350 >= -105465 @ 520.082
527.45/528.86 c bounds -7350 >= -105465 @ 520.122
527.45/528.86 c bounds -7350 >= -105465 @ 520.192
527.45/528.86 c bounds -7350 >= -105465 @ 520.252
527.45/528.86 c bounds -7350 >= -105465 @ 520.316
527.45/528.86 c bounds -7350 >= -105465 @ 520.387
527.45/528.86 c bounds -7350 >= -105465 @ 520.46
527.45/528.86 c bounds -7350 >= -105465 @ 520.537
527.45/528.86 c bounds -7350 >= -105465 @ 520.628
527.45/528.86 c bounds -7350 >= -105465 @ 520.697
527.45/528.86 c #Conflicts: 131000 | #Constraints: 46002
527.45/528.86 c bounds -7350 >= -105465 @ 520.775
527.45/528.86 c bounds -7350 >= -105465 @ 520.869
527.45/528.86 c bounds -7350 >= -105465 @ 520.927
527.45/528.86 c bounds -7350 >= -105465 @ 521.011
527.45/528.86 c bounds -7350 >= -105465 @ 521.095
527.45/528.86 c bounds -7350 >= -105465 @ 521.201
527.45/528.86 c bounds -7350 >= -105465 @ 521.272
527.45/528.86 c bounds -7350 >= -105465 @ 521.349
527.45/528.86 c bounds -7350 >= -105465 @ 521.419
527.45/528.86 c bounds -7350 >= -105465 @ 521.49
527.45/528.86 c bounds -7350 >= -105465 @ 521.539
527.45/528.86 c bounds -7350 >= -105465 @ 521.59
527.45/528.86 c bounds -7350 >= -105465 @ 521.647
527.45/528.86 c bounds -7350 >= -105465 @ 521.709
527.45/528.86 c bounds -7350 >= -105465 @ 521.811
527.45/528.86 c bounds -7350 >= -105465 @ 521.891
527.45/528.86 c bounds -7350 >= -105465 @ 521.974
527.45/528.86 c bounds -7350 >= -105465 @ 522.047
527.45/528.86 c bounds -7350 >= -105465 @ 522.141
527.45/528.86 c bounds -7350 >= -105465 @ 522.227
527.45/528.86 c bounds -7350 >= -105465 @ 522.295
527.45/528.86 c bounds -7350 >= -105465 @ 522.366
527.45/528.86 c bounds -7350 >= -105465 @ 522.434
527.45/528.86 c bounds -7350 >= -105465 @ 522.489
527.45/528.86 c bounds -7350 >= -105465 @ 522.548
527.45/528.86 c bounds -7350 >= -105465 @ 522.605
527.45/528.86 c bounds -7350 >= -105465 @ 522.668
527.45/528.86 c bounds -7350 >= -105465 @ 522.742
527.45/528.86 c bounds -7350 >= -105465 @ 522.833
527.45/528.86 c bounds -7350 >= -105465 @ 522.909
527.45/528.86 c bounds -7350 >= -105465 @ 522.962
527.45/528.86 c bounds -7350 >= -105465 @ 523.024
527.45/528.86 c bounds -7350 >= -105465 @ 523.092
527.45/528.86 c bounds -7350 >= -105465 @ 523.153
527.45/528.86 c bounds -7350 >= -105465 @ 523.225
527.45/528.86 c bounds -7350 >= -105465 @ 523.299
527.45/528.86 c bounds -7350 >= -105465 @ 523.368
527.45/528.86 c bounds -7350 >= -105465 @ 523.451
527.45/528.86 c bounds -7350 >= -105465 @ 523.556
527.45/528.86 c bounds -7350 >= -105465 @ 523.609
527.45/528.86 c bounds -7350 >= -105465 @ 523.694
527.45/528.86 c bounds -7350 >= -105465 @ 523.776
527.45/528.86 c bounds -7350 >= -105465 @ 523.858
527.45/528.86 c bounds -7350 >= -105465 @ 523.922
527.45/528.86 c bounds -7350 >= -105465 @ 524.006
527.45/528.86 c bounds -7350 >= -105465 @ 524.101
527.45/528.86 c bounds -7350 >= -105465 @ 524.185
527.45/528.86 c bounds -7350 >= -105465 @ 524.281
527.45/528.86 c bounds -7350 >= -105465 @ 524.372
527.45/528.86 c bounds -7350 >= -105465 @ 524.466
527.45/528.86 c bounds -7350 >= -105465 @ 524.563
527.45/528.86 c bounds -7350 >= -105465 @ 524.666
527.45/528.86 c bounds -7350 >= -105465 @ 524.781
527.45/528.86 c bounds -7350 >= -105465 @ 524.884
527.45/528.86 c bounds -7350 >= -105465 @ 524.976
527.45/528.86 c bounds -7350 >= -105465 @ 525.082
527.45/528.86 c bounds -7350 >= -105465 @ 525.171
527.45/528.86 c bounds -7350 >= -105465 @ 525.264
527.45/528.86 c bounds -7350 >= -105465 @ 525.338
527.45/528.86 c bounds -7350 >= -105465 @ 525.42
527.45/528.86 c bounds -7350 >= -105465 @ 525.517
527.45/528.86 c bounds -7350 >= -105465 @ 525.603
527.45/528.86 c bounds -7350 >= -105465 @ 525.691
527.45/528.86 c bounds -7350 >= -105465 @ 525.788
527.45/528.86 c INPROCESSING
527.45/528.86 c GARBAGE COLLECT
527.45/528.86 c bounds -7350 >= -105465 @ 525.906
527.45/528.86 c bounds -7350 >= -105465 @ 525.928
527.45/528.86 c bounds -7350 >= -105465 @ 525.943
616.15/617.78 c bounds -7350 >= -105465 @ 525.956
616.15/617.78 c bounds -7350 >= -105465 @ 525.97
616.15/617.78 c bounds -7350 >= -105465 @ 525.982
616.15/617.78 c bounds -7350 >= -105465 @ 526.001
616.15/617.78 c bounds -7350 >= -105465 @ 526.013
616.15/617.78 c bounds -7350 >= -105465 @ 526.044
616.15/617.78 c bounds -7350 >= -105465 @ 526.066
616.15/617.78 c bounds -7350 >= -105465 @ 526.086
616.15/617.78 c bounds -7350 >= -105465 @ 526.107
616.15/617.78 c bounds -7350 >= -105465 @ 526.123
616.15/617.78 c bounds -7350 >= -105465 @ 526.148
616.15/617.78 c bounds -7350 >= -105465 @ 526.164
616.15/617.78 c bounds -7350 >= -105465 @ 526.187
616.15/617.78 c bounds -7350 >= -105465 @ 526.208
616.15/617.78 c bounds -7350 >= -105465 @ 526.22
616.15/617.78 c bounds -7350 >= -105465 @ 526.24
616.15/617.78 c bounds -7350 >= -105465 @ 526.256
616.15/617.78 c bounds -7350 >= -105465 @ 526.267
616.15/617.78 c bounds -7350 >= -105465 @ 526.289
616.15/617.78 c bounds -7350 >= -105465 @ 526.319
616.15/617.78 c bounds -7350 >= -105465 @ 526.331
616.15/617.78 c bounds -7350 >= -105465 @ 526.359
616.15/617.78 c bounds -7350 >= -105465 @ 526.37
616.15/617.78 c bounds -7350 >= -105465 @ 526.394
616.15/617.78 c bounds -7350 >= -105465 @ 526.425
616.15/617.78 c bounds -7350 >= -105465 @ 526.437
616.15/617.78 c bounds -7350 >= -105465 @ 526.45
616.15/617.78 c bounds -7350 >= -105465 @ 526.461
616.15/617.78 c bounds -7350 >= -105465 @ 526.471
616.15/617.78 c bounds -7350 >= -105465 @ 526.481
616.15/617.78 c bounds -7350 >= -105465 @ 526.501
616.15/617.78 c bounds -7350 >= -105465 @ 526.512
616.15/617.78 c bounds -7350 >= -105465 @ 526.525
616.15/617.78 c bounds -7350 >= -105465 @ 526.538
616.15/617.78 c bounds -7350 >= -105465 @ 526.55
616.15/617.78 c #Conflicts: 132000 | #Constraints: 39268
616.15/617.78 c bounds -7350 >= -105465 @ 526.57
616.15/617.78 c bounds -7350 >= -105465 @ 526.584
616.15/617.78 c bounds -7350 >= -105465 @ 526.606
616.15/617.78 c bounds -7350 >= -105465 @ 526.622
616.15/617.78 c bounds -7350 >= -105465 @ 526.635
616.15/617.78 c bounds -7350 >= -105465 @ 526.652
616.15/617.78 c #Conflicts: 133000 | #Constraints: 40282
616.15/617.78 c #Conflicts: 134000 | #Constraints: 41284
616.15/617.78 c #Conflicts: 135000 | #Constraints: 42286
616.15/617.78 c #Conflicts: 136000 | #Constraints: 43290
616.15/617.78 c #Conflicts: 137000 | #Constraints: 44292
616.15/617.78 c bounds -7350 >= -101981 @ 532.32
616.15/617.78 c #Conflicts: 138000 | #Constraints: 45292
616.15/617.78 c #Conflicts: 139000 | #Constraints: 46292
616.15/617.78 c INPROCESSING
616.15/617.78 c GARBAGE COLLECT
616.15/617.78 c #Conflicts: 140000 | #Constraints: 39882
616.15/617.78 c #Conflicts: 141000 | #Constraints: 40882
616.15/617.78 c #Conflicts: 142000 | #Constraints: 41882
616.15/617.78 c #Conflicts: 143000 | #Constraints: 42882
616.15/617.78 c #Conflicts: 144000 | #Constraints: 43882
616.15/617.78 c #Conflicts: 145000 | #Constraints: 44882
616.15/617.78 c #Conflicts: 146000 | #Constraints: 45882
616.15/617.78 c #Conflicts: 147000 | #Constraints: 46882
616.15/617.78 c INPROCESSING
616.15/617.78 c GARBAGE COLLECT
616.15/617.78 c bounds -7353 >= -101981 @ 614.417
616.15/617.78 c stratification level: 245
903.53/905.84 c bounds -7353 >= -101736 @ 614.439
903.53/905.84 c #Conflicts: 148000 | #Constraints: 40518
903.53/905.84 c #Conflicts: 149000 | #Constraints: 41518
903.53/905.84 c #Conflicts: 150000 | #Constraints: 42518
903.53/905.84 c #Conflicts: 151000 | #Constraints: 43518
903.53/905.84 c #Conflicts: 152000 | #Constraints: 44518
903.53/905.84 c #Conflicts: 153000 | #Constraints: 45518
903.53/905.84 c #Conflicts: 154000 | #Constraints: 46518
903.53/905.84 c #Conflicts: 155000 | #Constraints: 47518
903.53/905.84 c INPROCESSING
903.53/905.84 c GARBAGE COLLECT
903.53/905.84 c #Conflicts: 156000 | #Constraints: 40835
903.53/905.84 c #Conflicts: 157000 | #Constraints: 41835
903.53/905.84 c #Conflicts: 158000 | #Constraints: 42835
903.53/905.84 c #Conflicts: 159000 | #Constraints: 43835
903.53/905.84 c #Conflicts: 160000 | #Constraints: 44835
903.53/905.84 c #Conflicts: 161000 | #Constraints: 45835
903.53/905.84 c #Conflicts: 162000 | #Constraints: 46835
903.53/905.84 c #Conflicts: 163000 | #Constraints: 47835
903.53/905.84 c INPROCESSING
903.53/905.84 c GARBAGE COLLECT
903.53/905.84 c #Conflicts: 164000 | #Constraints: 40888
903.53/905.84 c #Conflicts: 165000 | #Constraints: 41888
903.53/905.84 c #Conflicts: 166000 | #Constraints: 42888
903.53/905.84 c #Conflicts: 167000 | #Constraints: 43888
903.53/905.84 c #Conflicts: 168000 | #Constraints: 44888
903.53/905.84 c #Conflicts: 169000 | #Constraints: 45888
903.53/905.84 c #Conflicts: 170000 | #Constraints: 46888
903.53/905.84 c #Conflicts: 171000 | #Constraints: 47888
903.53/905.84 c INPROCESSING
903.53/905.84 c GARBAGE COLLECT
903.53/905.84 c #Conflicts: 172000 | #Constraints: 40709
903.53/905.84 c #Conflicts: 173000 | #Constraints: 41709
903.53/905.84 c #Conflicts: 174000 | #Constraints: 42709
903.53/905.84 c #Conflicts: 175000 | #Constraints: 43709
903.53/905.84 c #Conflicts: 176000 | #Constraints: 44709
903.53/905.84 c #Conflicts: 177000 | #Constraints: 45709
903.53/905.84 c #Conflicts: 178000 | #Constraints: 46709
903.53/905.84 c #Conflicts: 179000 | #Constraints: 47709
903.53/905.84 c #Conflicts: 180000 | #Constraints: 48709
903.53/905.84 c INPROCESSING
903.53/905.84 c GARBAGE COLLECT
903.53/905.84 c #Conflicts: 181000 | #Constraints: 41329
903.53/905.84 c #Conflicts: 182000 | #Constraints: 42329
903.53/905.84 c #Conflicts: 183000 | #Constraints: 43329
903.53/905.84 c #Conflicts: 184000 | #Constraints: 44329
903.53/905.84 c #Conflicts: 185000 | #Constraints: 45329
903.53/905.84 c #Conflicts: 186000 | #Constraints: 46329
903.53/905.84 c #Conflicts: 187000 | #Constraints: 47329
903.53/905.84 c #Conflicts: 188000 | #Constraints: 48329
903.53/905.84 c #Conflicts: 189000 | #Constraints: 49329
903.53/905.84 c INPROCESSING
903.53/905.84 c GARBAGE COLLECT
903.53/905.84 c #Conflicts: 190000 | #Constraints: 41759
903.53/905.84 c #Conflicts: 191000 | #Constraints: 42759
903.53/905.84 c #Conflicts: 192000 | #Constraints: 43759
903.53/905.84 c #Conflicts: 193000 | #Constraints: 44759
903.53/905.84 c #Conflicts: 194000 | #Constraints: 45759
903.53/905.84 c #Conflicts: 195000 | #Constraints: 46759
903.53/905.84 c #Conflicts: 196000 | #Constraints: 47759
903.53/905.84 c #Conflicts: 197000 | #Constraints: 48759
903.53/905.84 c #Conflicts: 198000 | #Constraints: 49759
903.53/905.84 c INPROCESSING
903.53/905.84 c GARBAGE COLLECT
903.53/905.84 c #Conflicts: 199000 | #Constraints: 41999
903.53/905.84 c #Conflicts: 200000 | #Constraints: 42999
903.53/905.84 c #Conflicts: 201000 | #Constraints: 43999
903.53/905.84 c #Conflicts: 202000 | #Constraints: 44999
903.53/905.84 c #Conflicts: 203000 | #Constraints: 45999
903.53/905.84 c #Conflicts: 204000 | #Constraints: 46999
903.53/905.84 c #Conflicts: 205000 | #Constraints: 47999
903.53/905.84 c #Conflicts: 206000 | #Constraints: 48999
903.53/905.84 c #Conflicts: 207000 | #Constraints: 49999
903.53/905.84 c INPROCESSING
903.53/905.84 c GARBAGE COLLECT
903.53/905.84 c #Conflicts: 208000 | #Constraints: 42009
903.53/905.84 c #Conflicts: 209000 | #Constraints: 43009
903.53/905.84 c #Conflicts: 210000 | #Constraints: 44009
903.53/905.84 c #Conflicts: 211000 | #Constraints: 45009
903.53/905.84 c #Conflicts: 212000 | #Constraints: 46009
903.53/905.84 c #Conflicts: 213000 | #Constraints: 47009
903.53/905.84 c #Conflicts: 214000 | #Constraints: 48009
903.53/905.84 c #Conflicts: 215000 | #Constraints: 49009
903.53/905.84 c #Conflicts: 216000 | #Constraints: 50009
903.53/905.84 c INPROCESSING
903.53/905.84 c GARBAGE COLLECT
903.53/905.84 c #Conflicts: 217000 | #Constraints: 41803
903.53/905.84 c #Conflicts: 218000 | #Constraints: 42803
903.53/905.84 c #Conflicts: 219000 | #Constraints: 43803
903.53/905.84 c #Conflicts: 220000 | #Constraints: 44803
1294.57/1297.84 c #Conflicts: 221000 | #Constraints: 45803
1294.57/1297.84 c #Conflicts: 222000 | #Constraints: 46803
1294.57/1297.84 c #Conflicts: 223000 | #Constraints: 47803
1294.57/1297.84 c #Conflicts: 224000 | #Constraints: 48803
1294.57/1297.84 c #Conflicts: 225000 | #Constraints: 49803
1294.57/1297.84 c #Conflicts: 226000 | #Constraints: 50803
1294.57/1297.84 c INPROCESSING
1294.57/1297.84 c GARBAGE COLLECT
1294.57/1297.84 c #Conflicts: 227000 | #Constraints: 42388
1294.57/1297.84 c #Conflicts: 228000 | #Constraints: 43388
1294.57/1297.84 c #Conflicts: 229000 | #Constraints: 44388
1294.57/1297.84 c #Conflicts: 230000 | #Constraints: 45388
1294.57/1297.84 c #Conflicts: 231000 | #Constraints: 46388
1294.57/1297.84 c #Conflicts: 232000 | #Constraints: 47388
1294.57/1297.84 c #Conflicts: 233000 | #Constraints: 48388
1294.57/1297.84 c #Conflicts: 234000 | #Constraints: 49388
1294.57/1297.84 c #Conflicts: 235000 | #Constraints: 50388
1294.57/1297.84 c #Conflicts: 236000 | #Constraints: 51388
1294.57/1297.84 c INPROCESSING
1294.57/1297.84 c GARBAGE COLLECT
1294.57/1297.84 c #Conflicts: 237000 | #Constraints: 42799
1294.57/1297.84 c #Conflicts: 238000 | #Constraints: 43799
1294.57/1297.84 c #Conflicts: 239000 | #Constraints: 44799
1294.57/1297.84 c #Conflicts: 240000 | #Constraints: 45799
1294.57/1297.84 c #Conflicts: 241000 | #Constraints: 46799
1294.57/1297.84 c #Conflicts: 242000 | #Constraints: 47799
1294.57/1297.84 c #Conflicts: 243000 | #Constraints: 48799
1294.57/1297.84 c #Conflicts: 244000 | #Constraints: 49799
1294.57/1297.84 c #Conflicts: 245000 | #Constraints: 50799
1294.57/1297.84 c #Conflicts: 246000 | #Constraints: 51799
1294.57/1297.84 c INPROCESSING
1294.57/1297.84 c GARBAGE COLLECT
1294.57/1297.84 c #Conflicts: 247000 | #Constraints: 42980
1294.57/1297.84 c #Conflicts: 248000 | #Constraints: 43980
1294.57/1297.84 c #Conflicts: 249000 | #Constraints: 44980
1294.57/1297.84 c #Conflicts: 250000 | #Constraints: 45980
1294.57/1297.84 c #Conflicts: 251000 | #Constraints: 46980
1294.57/1297.84 c #Conflicts: 252000 | #Constraints: 47980
1294.57/1297.84 c #Conflicts: 253000 | #Constraints: 48980
1294.57/1297.84 c #Conflicts: 254000 | #Constraints: 49980
1294.57/1297.84 c #Conflicts: 255000 | #Constraints: 50980
1294.57/1297.84 c #Conflicts: 256000 | #Constraints: 51980
1294.57/1297.84 c INPROCESSING
1294.57/1297.84 c GARBAGE COLLECT
1294.57/1297.84 c #Conflicts: 257000 | #Constraints: 42960
1294.57/1297.84 c #Conflicts: 258000 | #Constraints: 43960
1294.57/1297.84 c #Conflicts: 259000 | #Constraints: 44960
1294.57/1297.84 c #Conflicts: 260000 | #Constraints: 45960
1294.57/1297.84 c #Conflicts: 261000 | #Constraints: 46960
1294.57/1297.84 c #Conflicts: 262000 | #Constraints: 47960
1294.57/1297.84 c #Conflicts: 263000 | #Constraints: 48960
1294.57/1297.84 c #Conflicts: 264000 | #Constraints: 49960
1294.57/1297.84 c #Conflicts: 265000 | #Constraints: 50960
1294.57/1297.84 c #Conflicts: 266000 | #Constraints: 51960
1294.57/1297.84 c INPROCESSING
1294.57/1297.84 c GARBAGE COLLECT
1294.57/1297.84 c #Conflicts: 267000 | #Constraints: 42776
1294.57/1297.84 c #Conflicts: 268000 | #Constraints: 43776
1294.57/1297.84 c #Conflicts: 269000 | #Constraints: 44776
1294.57/1297.84 c #Conflicts: 270000 | #Constraints: 45776
1294.57/1297.84 c #Conflicts: 271000 | #Constraints: 46776
1294.57/1297.84 c #Conflicts: 272000 | #Constraints: 47776
1294.57/1297.84 c #Conflicts: 273000 | #Constraints: 48776
1294.57/1297.84 c #Conflicts: 274000 | #Constraints: 49776
1294.57/1297.84 c #Conflicts: 275000 | #Constraints: 50776
1294.57/1297.84 c #Conflicts: 276000 | #Constraints: 51776
1294.57/1297.84 c #Conflicts: 277000 | #Constraints: 52776
1294.57/1297.84 c INPROCESSING
1294.57/1297.84 c GARBAGE COLLECT
1294.57/1297.84 c #Conflicts: 278000 | #Constraints: 43387
1294.57/1297.84 c #Conflicts: 279000 | #Constraints: 44387
1294.57/1297.84 c #Conflicts: 280000 | #Constraints: 45387
1294.57/1297.84 c #Conflicts: 281000 | #Constraints: 46387
1294.57/1297.84 c #Conflicts: 282000 | #Constraints: 47387
1294.57/1297.84 c #Conflicts: 283000 | #Constraints: 48387
1294.57/1297.84 c #Conflicts: 284000 | #Constraints: 49387
1294.57/1297.84 c #Conflicts: 285000 | #Constraints: 50387
1294.57/1297.84 c #Conflicts: 286000 | #Constraints: 51387
1294.57/1297.84 c #Conflicts: 287000 | #Constraints: 52387
1294.57/1297.84 c #Conflicts: 288000 | #Constraints: 53387
1294.57/1297.84 c INPROCESSING
1294.57/1297.84 c GARBAGE COLLECT
1294.57/1297.84 c #Conflicts: 289000 | #Constraints: 43784
1294.57/1297.84 c #Conflicts: 290000 | #Constraints: 44784
1294.57/1297.84 c #Conflicts: 291000 | #Constraints: 45784
1294.57/1297.84 c #Conflicts: 292000 | #Constraints: 46784
1294.57/1297.84 c #Conflicts: 293000 | #Constraints: 47784
1294.57/1297.84 c #Conflicts: 294000 | #Constraints: 48784
1294.57/1297.84 c #Conflicts: 295000 | #Constraints: 49784
1596.42/1600.46 c #Conflicts: 296000 | #Constraints: 50784
1596.42/1600.46 c #Conflicts: 297000 | #Constraints: 51784
1596.42/1600.46 c #Conflicts: 298000 | #Constraints: 52784
1596.42/1600.46 c #Conflicts: 299000 | #Constraints: 53784
1596.42/1600.46 c INPROCESSING
1596.42/1600.46 c GARBAGE COLLECT
1596.42/1600.46 c #Conflicts: 300000 | #Constraints: 43972
1596.42/1600.46 c #Conflicts: 301000 | #Constraints: 44972
1596.42/1600.46 c #Conflicts: 302000 | #Constraints: 45972
1596.42/1600.46 c #Conflicts: 303000 | #Constraints: 46972
1596.42/1600.46 c #Conflicts: 304000 | #Constraints: 47972
1596.42/1600.46 c #Conflicts: 305000 | #Constraints: 48972
1596.42/1600.46 c #Conflicts: 306000 | #Constraints: 49972
1596.42/1600.46 c #Conflicts: 307000 | #Constraints: 50972
1596.42/1600.46 c #Conflicts: 308000 | #Constraints: 51972
1596.42/1600.46 c #Conflicts: 309000 | #Constraints: 52972
1596.42/1600.46 c #Conflicts: 310000 | #Constraints: 53972
1596.42/1600.46 c INPROCESSING
1596.42/1600.46 c GARBAGE COLLECT
1596.42/1600.46 c #Conflicts: 311000 | #Constraints: 43987
1596.42/1600.46 c #Conflicts: 312000 | #Constraints: 44987
1596.42/1600.46 c #Conflicts: 313000 | #Constraints: 45987
1596.42/1600.46 c #Conflicts: 314000 | #Constraints: 46987
1596.42/1600.46 c #Conflicts: 315000 | #Constraints: 47987
1596.42/1600.46 c #Conflicts: 316000 | #Constraints: 48987
1596.42/1600.46 c #Conflicts: 317000 | #Constraints: 49987
1596.42/1600.46 c #Conflicts: 318000 | #Constraints: 50987
1596.42/1600.46 c #Conflicts: 319000 | #Constraints: 51987
1596.42/1600.46 c #Conflicts: 320000 | #Constraints: 52987
1596.42/1600.46 c #Conflicts: 321000 | #Constraints: 53987
1596.42/1600.46 c INPROCESSING
1596.42/1600.46 c GARBAGE COLLECT
1596.42/1600.46 c #Conflicts: 322000 | #Constraints: 43780
1596.42/1600.46 c #Conflicts: 323000 | #Constraints: 44780
1596.42/1600.46 c #Conflicts: 324000 | #Constraints: 45780
1596.42/1600.46 c #Conflicts: 325000 | #Constraints: 46780
1596.42/1600.46 c #Conflicts: 326000 | #Constraints: 47780
1596.42/1600.46 c #Conflicts: 327000 | #Constraints: 48780
1596.42/1600.46 c #Conflicts: 328000 | #Constraints: 49780
1596.42/1600.46 c #Conflicts: 329000 | #Constraints: 50780
1596.42/1600.46 c #Conflicts: 330000 | #Constraints: 51780
1596.42/1600.46 c #Conflicts: 331000 | #Constraints: 52780
1596.42/1600.46 c #Conflicts: 332000 | #Constraints: 53780
1596.42/1600.46 c #Conflicts: 333000 | #Constraints: 54780
1596.42/1600.46 c INPROCESSING
1596.42/1600.46 c GARBAGE COLLECT
1596.42/1600.46 c #Conflicts: 334000 | #Constraints: 44362
1596.42/1600.46 c #Conflicts: 335000 | #Constraints: 45362
1596.42/1600.46 c #Conflicts: 336000 | #Constraints: 46362
1596.42/1600.46 c #Conflicts: 337000 | #Constraints: 47362
1596.42/1600.46 c #Conflicts: 338000 | #Constraints: 48362
1596.42/1600.46 c #Conflicts: 339000 | #Constraints: 49362
1596.42/1600.46 c #Conflicts: 340000 | #Constraints: 50362
1596.42/1600.46 c #Conflicts: 341000 | #Constraints: 51362
1596.42/1600.46 c #Conflicts: 342000 | #Constraints: 52362
1596.42/1600.46 c #Conflicts: 343000 | #Constraints: 53362
1596.42/1600.46 c #Conflicts: 344000 | #Constraints: 54362
1596.42/1600.46 c #Conflicts: 345000 | #Constraints: 55362
1596.42/1600.46 c INPROCESSING
1596.42/1600.46 c GARBAGE COLLECT
1596.42/1600.46 c #Conflicts: 346000 | #Constraints: 44754
1596.42/1600.46 c #Conflicts: 347000 | #Constraints: 45754
1596.42/1600.46 c #Conflicts: 348000 | #Constraints: 46754
1596.42/1600.46 c #Conflicts: 349000 | #Constraints: 47754
1596.42/1600.46 c #Conflicts: 350000 | #Constraints: 48754
1596.42/1600.46 c #Conflicts: 351000 | #Constraints: 49754
1596.42/1600.46 c #Conflicts: 352000 | #Constraints: 50754
1596.42/1600.46 c #Conflicts: 353000 | #Constraints: 51754
1596.42/1600.46 c #Conflicts: 354000 | #Constraints: 52754
1596.42/1600.46 c #Conflicts: 355000 | #Constraints: 53754
1596.42/1600.46 c #Conflicts: 356000 | #Constraints: 54754
1596.42/1600.46 c #Conflicts: 357000 | #Constraints: 55754
1596.42/1600.46 c INPROCESSING
1596.42/1600.46 c GARBAGE COLLECT
1596.42/1600.46 c #Conflicts: 358000 | #Constraints: 44951
1596.42/1600.46 c #Conflicts: 359000 | #Constraints: 45951
1596.42/1600.46 c #Conflicts: 360000 | #Constraints: 46951
1596.42/1600.46 c #Conflicts: 361000 | #Constraints: 47951
1596.42/1600.46 c #Conflicts: 362000 | #Constraints: 48951
1596.42/1600.46 c #Conflicts: 363000 | #Constraints: 49951
1596.42/1600.46 c #Conflicts: 364000 | #Constraints: 50951
1596.42/1600.46 c #Conflicts: 365000 | #Constraints: 51951
1596.42/1600.46 c #Conflicts: 366000 | #Constraints: 52951
1596.42/1600.46 c #Conflicts: 367000 | #Constraints: 53951
1596.42/1600.46 c #Conflicts: 368000 | #Constraints: 54951
1596.42/1600.46 c #Conflicts: 369000 | #Constraints: 55951
1596.42/1600.46 c INPROCESSING
1817.27/1821.90 c GARBAGE COLLECT
1817.27/1821.90 c #Conflicts: 370000 | #Constraints: 44952
1817.27/1821.90 c #Conflicts: 371000 | #Constraints: 45952
1817.27/1821.90 c #Conflicts: 372000 | #Constraints: 46952
1817.27/1821.90 c #Conflicts: 373000 | #Constraints: 47952
1817.27/1821.90 c #Conflicts: 374000 | #Constraints: 48952
1817.27/1821.90 c #Conflicts: 375000 | #Constraints: 49952
1817.27/1821.90 c #Conflicts: 376000 | #Constraints: 50952
1817.27/1821.90 c #Conflicts: 377000 | #Constraints: 51952
1817.27/1821.90 c #Conflicts: 378000 | #Constraints: 52952
1817.27/1821.90 c #Conflicts: 379000 | #Constraints: 53952
1817.27/1821.90 c #Conflicts: 380000 | #Constraints: 54952
1817.27/1821.90 c #Conflicts: 381000 | #Constraints: 55952
1817.27/1821.90 c INPROCESSING
1817.27/1821.90 c GARBAGE COLLECT
1817.27/1821.90 c #Conflicts: 382000 | #Constraints: 44747
1817.27/1821.90 c #Conflicts: 383000 | #Constraints: 45747
1817.27/1821.90 c #Conflicts: 384000 | #Constraints: 46747
1817.27/1821.90 c #Conflicts: 385000 | #Constraints: 47747
1817.27/1821.90 c #Conflicts: 386000 | #Constraints: 48747
1817.27/1821.90 c #Conflicts: 387000 | #Constraints: 49747
1817.27/1821.90 c #Conflicts: 388000 | #Constraints: 50747
1817.27/1821.90 c #Conflicts: 389000 | #Constraints: 51747
1817.27/1821.90 c #Conflicts: 390000 | #Constraints: 52747
1817.27/1821.90 c #Conflicts: 391000 | #Constraints: 53747
1817.27/1821.90 c #Conflicts: 392000 | #Constraints: 54747
1817.27/1821.90 c #Conflicts: 393000 | #Constraints: 55747
1817.27/1821.90 c #Conflicts: 394000 | #Constraints: 56747
1817.27/1821.90 c INPROCESSING
1817.27/1821.90 c GARBAGE COLLECT
1817.27/1821.90 c #Conflicts: 395000 | #Constraints: 45358
1817.27/1821.90 c #Conflicts: 396000 | #Constraints: 46358
1817.27/1821.90 c #Conflicts: 397000 | #Constraints: 47358
1817.27/1821.90 c #Conflicts: 398000 | #Constraints: 48358
1817.27/1821.90 c #Conflicts: 399000 | #Constraints: 49358
1817.27/1821.90 c #Conflicts: 400000 | #Constraints: 50358
1817.27/1821.90 c #Conflicts: 401000 | #Constraints: 51358
1817.27/1821.90 c #Conflicts: 402000 | #Constraints: 52358
1817.27/1821.90 c #Conflicts: 403000 | #Constraints: 53358
1817.27/1821.90 c #Conflicts: 404000 | #Constraints: 54358
1817.27/1821.90 c #Conflicts: 405000 | #Constraints: 55358
1817.27/1821.90 c #Conflicts: 406000 | #Constraints: 56358
1817.27/1821.90 c #Conflicts: 407000 | #Constraints: 57358
1817.27/1821.90 c INPROCESSING
1817.27/1821.90 c GARBAGE COLLECT
1817.27/1821.90 c #Conflicts: 408000 | #Constraints: 45752
1817.27/1821.90 c #Conflicts: 409000 | #Constraints: 46752
1817.27/1821.90 c #Conflicts: 410000 | #Constraints: 47752
1817.27/1821.90 c #Conflicts: 411000 | #Constraints: 48752
1817.27/1821.90 c #Conflicts: 412000 | #Constraints: 49752
1817.27/1821.90 c #Conflicts: 413000 | #Constraints: 50752
1817.27/1821.90 c #Conflicts: 414000 | #Constraints: 51752
1817.27/1821.90 c #Conflicts: 415000 | #Constraints: 52752
1817.27/1821.90 c #Conflicts: 416000 | #Constraints: 53752
1817.27/1821.90 c #Conflicts: 417000 | #Constraints: 54752
1817.27/1821.90 c #Conflicts: 418000 | #Constraints: 55752
1817.27/1821.90 c #Conflicts: 419000 | #Constraints: 56752
1817.27/1821.90 c #Conflicts: 420000 | #Constraints: 57752
1817.27/1821.90 c INPROCESSING
1817.27/1821.90 c GARBAGE COLLECT
1817.27/1821.90 c #Conflicts: 421000 | #Constraints: 45969
1817.27/1821.90 c #Conflicts: 422000 | #Constraints: 46969
1817.27/1821.90 c #Conflicts: 423000 | #Constraints: 47969
1817.27/1821.90 c #Conflicts: 424000 | #Constraints: 48969
1817.27/1821.90 c #Conflicts: 425000 | #Constraints: 49969
1817.27/1821.90 c #Conflicts: 426000 | #Constraints: 50969
1817.27/1821.90 c #Conflicts: 427000 | #Constraints: 51969
1817.27/1821.90 c #Conflicts: 428000 | #Constraints: 52969
1817.27/1821.90 c #Conflicts: 429000 | #Constraints: 53969
1817.27/1821.90 c #Conflicts: 430000 | #Constraints: 54969
1817.27/1821.90 c #Conflicts: 431000 | #Constraints: 55969
1817.27/1821.90 c #Conflicts: 432000 | #Constraints: 56969
1817.27/1821.90 c #Conflicts: 433000 | #Constraints: 57969
1817.27/1821.90 c INPROCESSING
1817.27/1821.90 c GARBAGE COLLECT
1817.27/1821.90 c #Conflicts: 434000 | #Constraints: 45969
1817.27/1821.90 c #Conflicts: 435000 | #Constraints: 46969
1817.27/1821.90 c #Conflicts: 436000 | #Constraints: 47969
1817.27/1821.90 c #Conflicts: 437000 | #Constraints: 48969
1817.27/1821.90 c #Conflicts: 438000 | #Constraints: 49969
1817.27/1821.90 c #Conflicts: 439000 | #Constraints: 50969
1817.27/1821.90 c #Conflicts: 440000 | #Constraints: 51969
1817.27/1821.90 c #Conflicts: 441000 | #Constraints: 52969
1817.27/1821.90 c #Conflicts: 442000 | #Constraints: 53969
1817.27/1821.90 c #Conflicts: 443000 | #Constraints: 54969
1817.27/1821.90 c #Conflicts: 444000 | #Constraints: 55969
1817.27/1821.90 c #Conflicts: 445000 | #Constraints: 56969
2283.24/2289.11 c #Conflicts: 446000 | #Constraints: 57969
2283.24/2289.11 c INPROCESSING
2283.24/2289.11 c GARBAGE COLLECT
2283.24/2289.11 c #Conflicts: 447000 | #Constraints: 45803
2283.24/2289.11 c #Conflicts: 448000 | #Constraints: 46803
2283.24/2289.11 c #Conflicts: 449000 | #Constraints: 47803
2283.24/2289.11 c #Conflicts: 450000 | #Constraints: 48803
2283.24/2289.11 c #Conflicts: 451000 | #Constraints: 49803
2283.24/2289.11 c #Conflicts: 452000 | #Constraints: 50803
2283.24/2289.11 c #Conflicts: 453000 | #Constraints: 51803
2283.24/2289.11 c #Conflicts: 454000 | #Constraints: 52803
2283.24/2289.11 c #Conflicts: 455000 | #Constraints: 53803
2283.24/2289.11 c #Conflicts: 456000 | #Constraints: 54803
2283.24/2289.11 c #Conflicts: 457000 | #Constraints: 55803
2283.24/2289.11 c #Conflicts: 458000 | #Constraints: 56803
2283.24/2289.11 c #Conflicts: 459000 | #Constraints: 57803
2283.24/2289.11 c #Conflicts: 460000 | #Constraints: 58803
2283.24/2289.11 c INPROCESSING
2283.24/2289.11 c GARBAGE COLLECT
2283.24/2289.11 c #Conflicts: 461000 | #Constraints: 46421
2283.24/2289.11 c #Conflicts: 462000 | #Constraints: 47421
2283.24/2289.11 c #Conflicts: 463000 | #Constraints: 48421
2283.24/2289.11 c #Conflicts: 464000 | #Constraints: 49421
2283.24/2289.11 c #Conflicts: 465000 | #Constraints: 50421
2283.24/2289.11 c #Conflicts: 466000 | #Constraints: 51421
2283.24/2289.11 c #Conflicts: 467000 | #Constraints: 52421
2283.24/2289.11 c #Conflicts: 468000 | #Constraints: 53421
2283.24/2289.11 c #Conflicts: 469000 | #Constraints: 54421
2283.24/2289.11 c #Conflicts: 470000 | #Constraints: 55421
2283.24/2289.11 c #Conflicts: 471000 | #Constraints: 56421
2283.24/2289.11 c #Conflicts: 472000 | #Constraints: 57421
2283.24/2289.11 c #Conflicts: 473000 | #Constraints: 58421
2283.24/2289.11 c #Conflicts: 474000 | #Constraints: 59421
2283.24/2289.11 c INPROCESSING
2283.24/2289.11 c GARBAGE COLLECT
2283.24/2289.11 c #Conflicts: 475000 | #Constraints: 46795
2283.24/2289.11 c #Conflicts: 476000 | #Constraints: 47795
2283.24/2289.11 c #Conflicts: 477000 | #Constraints: 48795
2283.24/2289.11 c #Conflicts: 478000 | #Constraints: 49795
2283.24/2289.11 c #Conflicts: 479000 | #Constraints: 50795
2283.24/2289.11 c #Conflicts: 480000 | #Constraints: 51795
2283.24/2289.11 c #Conflicts: 481000 | #Constraints: 52795
2283.24/2289.11 c #Conflicts: 482000 | #Constraints: 53795
2283.24/2289.11 c #Conflicts: 483000 | #Constraints: 54795
2283.24/2289.11 c #Conflicts: 484000 | #Constraints: 55795
2283.24/2289.11 c #Conflicts: 485000 | #Constraints: 56795
2283.24/2289.11 c #Conflicts: 486000 | #Constraints: 57795
2283.24/2289.11 c #Conflicts: 487000 | #Constraints: 58795
2283.24/2289.11 c #Conflicts: 488000 | #Constraints: 59795
2283.24/2289.11 c INPROCESSING
2283.24/2289.11 c GARBAGE COLLECT
2283.24/2289.11 c #Conflicts: 489000 | #Constraints: 47004
2283.24/2289.11 c #Conflicts: 490000 | #Constraints: 48004
2283.24/2289.11 c #Conflicts: 491000 | #Constraints: 49004
2283.24/2289.11 c #Conflicts: 492000 | #Constraints: 50004
2283.24/2289.11 c #Conflicts: 493000 | #Constraints: 51004
2283.24/2289.11 c #Conflicts: 494000 | #Constraints: 52004
2283.24/2289.11 c #Conflicts: 495000 | #Constraints: 53004
2283.24/2289.11 c #Conflicts: 496000 | #Constraints: 54004
2283.24/2289.11 c #Conflicts: 497000 | #Constraints: 55004
2283.24/2289.11 c #Conflicts: 498000 | #Constraints: 56004
2283.24/2289.11 c #Conflicts: 499000 | #Constraints: 57004
2283.24/2289.11 c #Conflicts: 500000 | #Constraints: 58004
2283.24/2289.11 c #Conflicts: 501000 | #Constraints: 59004
2283.24/2289.11 c #Conflicts: 502000 | #Constraints: 60004
2283.24/2289.11 c INPROCESSING
2283.24/2289.11 c GARBAGE COLLECT
2283.24/2289.11 c #Conflicts: 503000 | #Constraints: 47013
2283.24/2289.11 c #Conflicts: 504000 | #Constraints: 48013
2283.24/2289.11 c #Conflicts: 505000 | #Constraints: 49013
2283.24/2289.11 c #Conflicts: 506000 | #Constraints: 50013
2283.24/2289.11 c #Conflicts: 507000 | #Constraints: 51013
2283.24/2289.11 c #Conflicts: 508000 | #Constraints: 52013
2283.24/2289.11 c #Conflicts: 509000 | #Constraints: 53013
2283.24/2289.11 c #Conflicts: 510000 | #Constraints: 54013
2283.24/2289.11 c #Conflicts: 511000 | #Constraints: 55013
2283.24/2289.11 c #Conflicts: 512000 | #Constraints: 56013
2283.24/2289.11 c #Conflicts: 513000 | #Constraints: 57013
2283.24/2289.11 c #Conflicts: 514000 | #Constraints: 58013
2283.24/2289.11 c #Conflicts: 515000 | #Constraints: 59013
2283.24/2289.11 c #Conflicts: 516000 | #Constraints: 60013
2283.24/2289.11 c INPROCESSING
2283.24/2289.11 c GARBAGE COLLECT
2283.24/2289.11 c #Conflicts: 517000 | #Constraints: 46800
2283.24/2289.11 c #Conflicts: 518000 | #Constraints: 47800
2283.24/2289.11 c #Conflicts: 519000 | #Constraints: 48800
2283.24/2289.11 c #Conflicts: 520000 | #Constraints: 49800
2585.69/2592.41 c #Conflicts: 521000 | #Constraints: 50800
2585.69/2592.41 c #Conflicts: 522000 | #Constraints: 51800
2585.69/2592.41 c #Conflicts: 523000 | #Constraints: 52800
2585.69/2592.41 c #Conflicts: 524000 | #Constraints: 53800
2585.69/2592.41 c #Conflicts: 525000 | #Constraints: 54800
2585.69/2592.41 c #Conflicts: 526000 | #Constraints: 55800
2585.69/2592.41 c #Conflicts: 527000 | #Constraints: 56800
2585.69/2592.41 c #Conflicts: 528000 | #Constraints: 57800
2585.69/2592.41 c #Conflicts: 529000 | #Constraints: 58800
2585.69/2592.41 c #Conflicts: 530000 | #Constraints: 59800
2585.69/2592.41 c #Conflicts: 531000 | #Constraints: 60800
2585.69/2592.41 c INPROCESSING
2585.69/2592.41 c GARBAGE COLLECT
2585.69/2592.41 c #Conflicts: 532000 | #Constraints: 47417
2585.69/2592.41 c #Conflicts: 533000 | #Constraints: 48417
2585.69/2592.41 c #Conflicts: 534000 | #Constraints: 49417
2585.69/2592.41 c #Conflicts: 535000 | #Constraints: 50417
2585.69/2592.41 c #Conflicts: 536000 | #Constraints: 51417
2585.69/2592.41 c #Conflicts: 537000 | #Constraints: 52417
2585.69/2592.41 c #Conflicts: 538000 | #Constraints: 53417
2585.69/2592.41 c #Conflicts: 539000 | #Constraints: 54417
2585.69/2592.41 c #Conflicts: 540000 | #Constraints: 55417
2585.69/2592.41 c #Conflicts: 541000 | #Constraints: 56417
2585.69/2592.41 c #Conflicts: 542000 | #Constraints: 57417
2585.69/2592.41 c #Conflicts: 543000 | #Constraints: 58417
2585.69/2592.41 c #Conflicts: 544000 | #Constraints: 59417
2585.69/2592.41 c #Conflicts: 545000 | #Constraints: 60417
2585.69/2592.41 c #Conflicts: 546000 | #Constraints: 61417
2585.69/2592.41 c INPROCESSING
2585.69/2592.41 c GARBAGE COLLECT
2585.69/2592.41 c #Conflicts: 547000 | #Constraints: 47799
2585.69/2592.41 c #Conflicts: 548000 | #Constraints: 48799
2585.69/2592.41 c #Conflicts: 549000 | #Constraints: 49799
2585.69/2592.41 c #Conflicts: 550000 | #Constraints: 50799
2585.69/2592.41 c #Conflicts: 551000 | #Constraints: 51799
2585.69/2592.41 c #Conflicts: 552000 | #Constraints: 52799
2585.69/2592.41 c #Conflicts: 553000 | #Constraints: 53799
2585.69/2592.41 c #Conflicts: 554000 | #Constraints: 54799
2585.69/2592.41 c #Conflicts: 555000 | #Constraints: 55799
2585.69/2592.41 c #Conflicts: 556000 | #Constraints: 56799
2585.69/2592.41 c #Conflicts: 557000 | #Constraints: 57799
2585.69/2592.41 c #Conflicts: 558000 | #Constraints: 58799
2585.69/2592.41 c #Conflicts: 559000 | #Constraints: 59799
2585.69/2592.41 c #Conflicts: 560000 | #Constraints: 60799
2585.69/2592.41 c #Conflicts: 561000 | #Constraints: 61799
2585.69/2592.41 c INPROCESSING
2585.69/2592.41 c GARBAGE COLLECT
2585.69/2592.41 c #Conflicts: 562000 | #Constraints: 47998
2585.69/2592.41 c #Conflicts: 563000 | #Constraints: 48998
2585.69/2592.41 c #Conflicts: 564000 | #Constraints: 49998
2585.69/2592.41 c #Conflicts: 565000 | #Constraints: 50998
2585.69/2592.41 c #Conflicts: 566000 | #Constraints: 51998
2585.69/2592.41 c #Conflicts: 567000 | #Constraints: 52998
2585.69/2592.41 c #Conflicts: 568000 | #Constraints: 53998
2585.69/2592.41 c #Conflicts: 569000 | #Constraints: 54998
2585.69/2592.41 c #Conflicts: 570000 | #Constraints: 55998
2585.69/2592.41 c #Conflicts: 571000 | #Constraints: 56998
2585.69/2592.41 c #Conflicts: 572000 | #Constraints: 57998
2585.69/2592.41 c #Conflicts: 573000 | #Constraints: 58998
2585.69/2592.41 c #Conflicts: 574000 | #Constraints: 59998
2585.69/2592.41 c #Conflicts: 575000 | #Constraints: 60998
2585.69/2592.41 c #Conflicts: 576000 | #Constraints: 61998
2585.69/2592.41 c INPROCESSING
2585.69/2592.41 c GARBAGE COLLECT
2585.69/2592.41 c #Conflicts: 577000 | #Constraints: 47999
2585.69/2592.41 c #Conflicts: 578000 | #Constraints: 48999
2585.69/2592.41 c #Conflicts: 579000 | #Constraints: 49999
2585.69/2592.41 c #Conflicts: 580000 | #Constraints: 50999
2585.69/2592.41 c #Conflicts: 581000 | #Constraints: 51999
2585.69/2592.41 c #Conflicts: 582000 | #Constraints: 52999
2585.69/2592.41 c #Conflicts: 583000 | #Constraints: 53999
2585.69/2592.41 c #Conflicts: 584000 | #Constraints: 54999
2585.69/2592.41 c #Conflicts: 585000 | #Constraints: 55999
2585.69/2592.41 c #Conflicts: 586000 | #Constraints: 56999
2585.69/2592.41 c #Conflicts: 587000 | #Constraints: 57999
2585.69/2592.41 c #Conflicts: 588000 | #Constraints: 58999
2585.69/2592.41 c #Conflicts: 589000 | #Constraints: 59999
2585.69/2592.41 c #Conflicts: 590000 | #Constraints: 60999
2585.69/2592.41 c #Conflicts: 591000 | #Constraints: 61999
2585.69/2592.41 c INPROCESSING
2585.69/2592.41 c GARBAGE COLLECT
2585.69/2592.41 c #Conflicts: 592000 | #Constraints: 47802
2585.69/2592.41 c #Conflicts: 593000 | #Constraints: 48802
2585.69/2592.41 c #Conflicts: 594000 | #Constraints: 49802
2585.69/2592.41 c #Conflicts: 595000 | #Constraints: 50802
2905.52/2913.18 c #Conflicts: 596000 | #Constraints: 51802
2905.52/2913.18 c #Conflicts: 597000 | #Constraints: 52802
2905.52/2913.18 c #Conflicts: 598000 | #Constraints: 53802
2905.52/2913.18 c #Conflicts: 599000 | #Constraints: 54802
2905.52/2913.18 c #Conflicts: 600000 | #Constraints: 55802
2905.52/2913.18 c #Conflicts: 601000 | #Constraints: 56802
2905.52/2913.18 c #Conflicts: 602000 | #Constraints: 57802
2905.52/2913.18 c #Conflicts: 603000 | #Constraints: 58802
2905.52/2913.18 c #Conflicts: 604000 | #Constraints: 59802
2905.52/2913.18 c #Conflicts: 605000 | #Constraints: 60802
2905.52/2913.18 c #Conflicts: 606000 | #Constraints: 61802
2905.52/2913.18 c #Conflicts: 607000 | #Constraints: 62802
2905.52/2913.18 c INPROCESSING
2905.52/2913.18 c GARBAGE COLLECT
2905.52/2913.18 c #Conflicts: 608000 | #Constraints: 48414
2905.52/2913.18 c #Conflicts: 609000 | #Constraints: 49414
2905.52/2913.18 c #Conflicts: 610000 | #Constraints: 50414
2905.52/2913.18 c #Conflicts: 611000 | #Constraints: 51414
2905.52/2913.18 c #Conflicts: 612000 | #Constraints: 52414
2905.52/2913.18 c #Conflicts: 613000 | #Constraints: 53414
2905.52/2913.18 c #Conflicts: 614000 | #Constraints: 54414
2905.52/2913.18 c #Conflicts: 615000 | #Constraints: 55414
2905.52/2913.18 c #Conflicts: 616000 | #Constraints: 56414
2905.52/2913.18 c #Conflicts: 617000 | #Constraints: 57414
2905.52/2913.18 c #Conflicts: 618000 | #Constraints: 58414
2905.52/2913.18 c #Conflicts: 619000 | #Constraints: 59414
2905.52/2913.18 c #Conflicts: 620000 | #Constraints: 60414
2905.52/2913.18 c #Conflicts: 621000 | #Constraints: 61414
2905.52/2913.18 c #Conflicts: 622000 | #Constraints: 62414
2905.52/2913.18 c #Conflicts: 623000 | #Constraints: 63414
2905.52/2913.18 c INPROCESSING
2905.52/2913.18 c GARBAGE COLLECT
2905.52/2913.18 c #Conflicts: 624000 | #Constraints: 48811
2905.52/2913.18 c #Conflicts: 625000 | #Constraints: 49811
2905.52/2913.18 c #Conflicts: 626000 | #Constraints: 50811
2905.52/2913.18 c #Conflicts: 627000 | #Constraints: 51811
2905.52/2913.18 c #Conflicts: 628000 | #Constraints: 52811
2905.52/2913.18 c #Conflicts: 629000 | #Constraints: 53811
2905.52/2913.18 c #Conflicts: 630000 | #Constraints: 54811
2905.52/2913.18 c #Conflicts: 631000 | #Constraints: 55811
2905.52/2913.18 c #Conflicts: 632000 | #Constraints: 56811
2905.52/2913.18 c #Conflicts: 633000 | #Constraints: 57811
2905.52/2913.18 c #Conflicts: 634000 | #Constraints: 58811
2905.52/2913.18 c #Conflicts: 635000 | #Constraints: 59811
2905.52/2913.18 c #Conflicts: 636000 | #Constraints: 60811
2905.52/2913.18 c #Conflicts: 637000 | #Constraints: 61811
2905.52/2913.18 c #Conflicts: 638000 | #Constraints: 62811
2905.52/2913.18 c #Conflicts: 639000 | #Constraints: 63811
2905.52/2913.18 c INPROCESSING
2905.52/2913.18 c GARBAGE COLLECT
2905.52/2913.18 c #Conflicts: 640000 | #Constraints: 49024
2905.52/2913.18 c #Conflicts: 641000 | #Constraints: 50024
2905.52/2913.18 c #Conflicts: 642000 | #Constraints: 51024
2905.52/2913.18 c #Conflicts: 643000 | #Constraints: 52024
2905.52/2913.18 c #Conflicts: 644000 | #Constraints: 53024
2905.52/2913.18 c #Conflicts: 645000 | #Constraints: 54024
2905.52/2913.18 c #Conflicts: 646000 | #Constraints: 55024
2905.52/2913.18 c #Conflicts: 647000 | #Constraints: 56024
2905.52/2913.18 c #Conflicts: 648000 | #Constraints: 57024
2905.52/2913.18 c #Conflicts: 649000 | #Constraints: 58024
2905.52/2913.18 c #Conflicts: 650000 | #Constraints: 59024
2905.52/2913.18 c #Conflicts: 651000 | #Constraints: 60024
2905.52/2913.18 c #Conflicts: 652000 | #Constraints: 61024
2905.52/2913.18 c #Conflicts: 653000 | #Constraints: 62024
2905.52/2913.18 c #Conflicts: 654000 | #Constraints: 63024
2905.52/2913.18 c #Conflicts: 655000 | #Constraints: 64024
2905.52/2913.18 c INPROCESSING
2905.52/2913.18 c GARBAGE COLLECT
2905.52/2913.18 c #Conflicts: 656000 | #Constraints: 49058
2905.52/2913.18 c #Conflicts: 657000 | #Constraints: 50058
2905.52/2913.18 c #Conflicts: 658000 | #Constraints: 51058
2905.52/2913.18 c #Conflicts: 659000 | #Constraints: 52058
2905.52/2913.18 c #Conflicts: 660000 | #Constraints: 53058
2905.52/2913.18 c #Conflicts: 661000 | #Constraints: 54058
2905.52/2913.18 c bounds -7353 >= -101491 @ 2868.88
2905.52/2913.18 c #Conflicts: 662000 | #Constraints: 55059
2905.52/2913.18 c #Conflicts: 663000 | #Constraints: 56059
2905.52/2913.18 c #Conflicts: 664000 | #Constraints: 57059
2905.52/2913.18 c #Conflicts: 665000 | #Constraints: 58059
2905.52/2913.18 c #Conflicts: 666000 | #Constraints: 59059
2905.52/2913.18 c #Conflicts: 667000 | #Constraints: 60059
2905.52/2913.18 c #Conflicts: 668000 | #Constraints: 61059
2905.52/2913.18 c #Conflicts: 669000 | #Constraints: 62059
2905.52/2913.18 c #Conflicts: 670000 | #Constraints: 63059
2905.52/2913.18 c #Conflicts: 671000 | #Constraints: 64059
2959.27/2967.04 c INPROCESSING
2959.27/2967.04 c GARBAGE COLLECT
2959.27/2967.04 c #Conflicts: 672000 | #Constraints: 42992
2959.27/2967.04 c #Conflicts: 673000 | #Constraints: 43992
2959.27/2967.04 c #Conflicts: 674000 | #Constraints: 44992
2959.27/2967.04 c #Conflicts: 675000 | #Constraints: 45992
2959.27/2967.04 c #Conflicts: 676000 | #Constraints: 46992
2959.27/2967.04 c #Conflicts: 677000 | #Constraints: 47992
2959.27/2967.04 c #Conflicts: 678000 | #Constraints: 48992
2959.27/2967.04 c #Conflicts: 679000 | #Constraints: 49992
2959.27/2967.04 c finalizing WCE round: reformulating cores
2962.54/2970.33 c #Conflicts: 680000 | #Constraints: 50995
2962.54/2970.33 c bounds -7358 >= -101491 @ 2955.74
2962.54/2970.33 c bounds -7366 >= -101491 @ 2955.75
2962.54/2970.33 c stratification level: 243
3072.83/3080.99 c bounds -7366 >= -101248 @ 2955.79
3072.83/3080.99 c #Conflicts: 681000 | #Constraints: 51997
3072.83/3080.99 c #Conflicts: 682000 | #Constraints: 52997
3072.83/3080.99 c #Conflicts: 683000 | #Constraints: 53997
3072.83/3080.99 c #Conflicts: 684000 | #Constraints: 54997
3072.83/3080.99 c #Conflicts: 685000 | #Constraints: 55997
3072.83/3080.99 c #Conflicts: 686000 | #Constraints: 56997
3072.83/3080.99 c #Conflicts: 687000 | #Constraints: 57997
3072.83/3080.99 c #Conflicts: 688000 | #Constraints: 58997
3072.83/3080.99 c INPROCESSING
3072.83/3080.99 c GARBAGE COLLECT
3072.83/3080.99 c #Conflicts: 689000 | #Constraints: 46437
3072.83/3080.99 c #Conflicts: 690000 | #Constraints: 47437
3072.83/3080.99 c finalizing WCE round: reformulating cores
3600.02/3609.60 c #Conflicts: 691000 | #Constraints: 48440
3600.02/3609.60 c bounds -7381 >= -101248 @ 3069.11
3600.02/3609.60 c #Conflicts: 692000 | #Constraints: 49440
3600.02/3609.60 c #Conflicts: 693000 | #Constraints: 50440
3600.02/3609.60 c #Conflicts: 694000 | #Constraints: 51440
3600.02/3609.60 c #Conflicts: 695000 | #Constraints: 52440
3600.02/3609.60 c #Conflicts: 696000 | #Constraints: 53440
3600.02/3609.60 c #Conflicts: 697000 | #Constraints: 54440
3600.02/3609.60 c #Conflicts: 698000 | #Constraints: 55440
3600.02/3609.60 c #Conflicts: 699000 | #Constraints: 56440
3600.02/3609.60 c #Conflicts: 700000 | #Constraints: 57440
3600.02/3609.60 c #Conflicts: 701000 | #Constraints: 58440
3600.02/3609.60 c #Conflicts: 702000 | #Constraints: 59440
3600.02/3609.60 c #Conflicts: 703000 | #Constraints: 60440
3600.02/3609.60 c #Conflicts: 704000 | #Constraints: 61440
3600.02/3609.60 c #Conflicts: 705000 | #Constraints: 62440
3600.02/3609.60 c INPROCESSING
3600.02/3609.60 c GARBAGE COLLECT
3600.02/3609.60 c #Conflicts: 706000 | #Constraints: 48276
3600.02/3609.60 c #Conflicts: 707000 | #Constraints: 49276
3600.02/3609.60 c #Conflicts: 708000 | #Constraints: 50276
3600.02/3609.60 c #Conflicts: 709000 | #Constraints: 51276
3600.02/3609.60 c #Conflicts: 710000 | #Constraints: 52276
3600.02/3609.60 c #Conflicts: 711000 | #Constraints: 53276
3600.02/3609.60 c #Conflicts: 712000 | #Constraints: 54276
3600.02/3609.60 c #Conflicts: 713000 | #Constraints: 55276
3600.02/3609.60 c #Conflicts: 714000 | #Constraints: 56276
3600.02/3609.60 c #Conflicts: 715000 | #Constraints: 57276
3600.02/3609.60 c #Conflicts: 716000 | #Constraints: 58276
3600.02/3609.60 c #Conflicts: 717000 | #Constraints: 59276
3600.02/3609.60 c #Conflicts: 718000 | #Constraints: 60276
3600.02/3609.60 c #Conflicts: 719000 | #Constraints: 61276
3600.02/3609.60 c #Conflicts: 720000 | #Constraints: 62276
3600.02/3609.60 c #Conflicts: 721000 | #Constraints: 63276
3600.02/3609.60 c #Conflicts: 722000 | #Constraints: 64276
3600.02/3609.60 c INPROCESSING
3600.02/3609.60 c GARBAGE COLLECT
3600.02/3609.60 c #Conflicts: 723000 | #Constraints: 49186
3600.02/3609.60 c #Conflicts: 724000 | #Constraints: 50186
3600.02/3609.60 c #Conflicts: 725000 | #Constraints: 51186
3600.02/3609.60 c #Conflicts: 726000 | #Constraints: 52186
3600.02/3609.60 c #Conflicts: 727000 | #Constraints: 53186
3600.02/3609.60 c #Conflicts: 728000 | #Constraints: 54186
3600.02/3609.60 c #Conflicts: 729000 | #Constraints: 55186
3600.02/3609.60 c #Conflicts: 730000 | #Constraints: 56186
3600.02/3609.60 c #Conflicts: 731000 | #Constraints: 57186
3600.02/3609.60 c #Conflicts: 732000 | #Constraints: 58186
3600.02/3609.60 c #Conflicts: 733000 | #Constraints: 59186
3600.02/3609.60 c #Conflicts: 734000 | #Constraints: 60186
3600.02/3609.60 c #Conflicts: 735000 | #Constraints: 61186
3600.02/3609.60 c #Conflicts: 736000 | #Constraints: 62186
3600.02/3609.60 c Program interrupted by user.
3600.02/3609.60 c cpu time 3592.45 s
3600.02/3609.60 c deterministic time 868251139882 8.68e+11
3600.02/3609.60 c optimization time 240.01 s
3600.02/3609.60 c total solve time 3352.37 s
3600.02/3609.60 c core-guided solve time 3352.37 s
3600.02/3609.60 c propagation time 3110.69 s
3600.02/3609.60 c conflict analysis time 441.042 s
3600.02/3609.60 c propagations 185632233
3600.02/3609.60 c resolve steps 8067526
3600.02/3609.60 c decisions 4702106
3600.02/3609.60 c conflicts 736495
3600.02/3609.60 c restarts 1533
3600.02/3609.60 c inprocessing phases 76
3600.02/3609.60 c input clauses 32060
3600.02/3609.60 c input cardinalities 3
3600.02/3609.60 c input general constraints 625
3600.02/3609.60 c input average constraint length 5.50
3600.02/3609.60 c input average constraint degree 910.00
3600.02/3609.60 c learned clauses 300724
3600.02/3609.60 c learned cardinalities 2
3600.02/3609.60 c learned general constraints 435522
3600.02/3609.60 c learned average constraint length 1227.44
3600.02/3609.60 c learned average constraint degree 175545086.66
3600.02/3609.60 c watched constraints 420955
3600.02/3609.60 c counting constraints 15192
3600.02/3609.60 c gcd simplifications 118445
3600.02/3609.60 c detected cardinalities 2
3600.02/3609.60 c weakened non-implied lits 278947204
3600.02/3609.60 c weakened non-implying lits 1606682
3600.02/3609.60 c original variables 2023
3600.02/3609.60 c clausal propagations 45046060
3600.02/3609.60 c cardinality propagations 292
3600.02/3609.60 c watched propagations 68605251
3600.02/3609.60 c counting propagations 70782655
3600.02/3609.60 c watch lookups 6046916852
3600.02/3609.60 c watch backjump lookups 3540531518
3600.02/3609.60 c watch checks 787797998734
3600.02/3609.60 c propagation checks 66088428946
3600.02/3609.60 c constraint additions 4395860881
3600.02/3609.60 c trail pops 191068611
3600.02/3609.60 c formula constraints 31798
3600.02/3609.60 c learned constraints 736248
3600.02/3609.60 c bound constraints 47
3600.02/3609.60 c core-guided constraints 843
3600.02/3609.60 c encountered formula constraints 6234702
3600.02/3609.60 c encountered learned constraints 2560842
3600.02/3609.60 c encountered bound constraints 4388
3600.02/3609.60 c encountered core-guided constraints 4089
3600.02/3609.60 c LP total time 0 s
3600.02/3609.60 c LP solve time 0 s
3600.02/3609.60 c LP constraints added 0
3600.02/3609.60 c LP constraints removed 0
3600.02/3609.60 c LP pivots internal 0
3600.02/3609.60 c LP pivots root 0
3600.02/3609.60 c LP calls 0
3600.02/3609.60 c LP optimalities 0
3600.02/3609.60 c LP no pivot count 0
3600.02/3609.60 c LP infeasibilities 0
3600.02/3609.60 c LP valid Farkas constraints 0
3600.02/3609.60 c LP learned Farkas constraints 0
3600.02/3609.60 c LP basis resets 0
3600.02/3609.60 c LP cycling count 0
3600.02/3609.60 c LP singular count 0
3600.02/3609.60 c LP no primal count 0
3600.02/3609.60 c LP no farkas count 0
3600.02/3609.60 c LP other issue count 0
3600.02/3609.60 c LP Gomory cuts 0
3600.02/3609.60 c LP learned cuts 0
3600.02/3609.60 c LP deleted cuts 0
3600.02/3609.60 c LP encountered Gomory constraints 0
3600.02/3609.60 c LP encountered Farkas constraints 0
3600.02/3609.60 c LP encountered learned Farkas constraints 0
3600.02/3609.60 c CG auxiliary variables introduced 289
3600.02/3609.60 c CG solutions found 17
3600.02/3609.60 c CG cores constructed 23
3600.02/3609.60 c CG core cardinality constraints returned 0
3600.02/3609.60 c CG unit cores 1
3600.02/3609.60 c CG single cores 12
3600.02/3609.60 c CG blocks removed during cardinality reduction 112
3600.02/3609.60 c CG first core best 1
3600.02/3609.60 c CG decision core best 2
3600.02/3609.60 c CG core reduction tie 7
3600.02/3609.60 c CG core degree average 1.00
3600.02/3609.60 c CG core slack average 1.41
3600.02/3609.60 c CG exhausted 265
3600.02/3609.60 c CG exhaust time 30.5432 s
3600.02/3609.60 c CG trimmed 1
3600.02/3609.60 c CG trim time 0.172592 s
3600.02/3609.60 c CG minimized 0
3600.02/3609.60 c CG minimize time 0 s
3600.02/3609.60 c CG am1 prop time 0.356372 s
3600.02/3609.60 c CG # am1s reformulated 1
3600.02/3609.60 c CG lower bound derived from am1s 309
3600.02/3609.60 c CG # clausal cores 10
3600.02/3609.60 c CG # cardinality cores 0
3600.02/3609.60 c CG # pb cores 22
3600.02/3609.60 c CG # pb reforms 19
3600.02/3609.60 c CG # cores discarded because of pb reform 0
3600.02/3609.60 d LOWERBOUND -101248
3600.02/3609.60 d NCORES 23
3600.02/3609.60 d NPBCORES 22
3600.02/3609.60 d NPBREFORM 19
3600.02/3609.60 d NTRIMMED 1
3600.02/3609.60 d NEXHAUSTED 265
3600.02/3609.60 d NAM1S 1
3600.02/3609.60 d AM1LB 309
3600.02/3609.60 o -7381
3600.02/3609.60 s SATISFIABLE
3600.02/3609.60 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
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62741 MiB free)
memory of node 1: 64510 MiB (62056 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454498-1721473687/watcher-4454498-1721473687 -o /tmp/evaluation-result-4454498-1721473687/solver-4454498-1721473687 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721469936-1056731 --watchdog 3760 pb-oll-rs HOME/instance-4454498-1721473687.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1059588, runsolver pid=1059585
[startup+0.100097 s]*
/proc/loadavg: 4.15 4.13 4.09 5/242 1059589
/proc/meminfo: memFree=127788476/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=41092 memory=9956 CPUtime=0.1 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 896 0 0 0 8 2 0 0 20 0 1 0 199526738 42078208 2489 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 10273 2489 1373 291 0 1807 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41092 KiB
Current children cumulated memory: 9956 KiB
[startup+0.213094 s]*
/proc/loadavg: 4.15 4.13 4.09 5/242 1059589
/proc/meminfo: memFree=127785616/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=41892 memory=12792 CPUtime=0.22 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 1091 0 0 0 20 2 0 0 20 0 1 0 199526738 42897408 3198 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 10473 3198 1373 291 0 2007 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 41892 KiB
Current children cumulated memory: 12792 KiB
[startup+0.312798 s]*
/proc/loadavg: 4.15 4.13 4.09 5/242 1059589
/proc/meminfo: memFree=127784500/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=43104 memory=14112 CPUtime=0.31 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 1405 0 0 0 29 2 0 0 20 0 1 0 199526738 44138496 3528 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 10776 3528 1373 291 0 2310 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 43104 KiB
Current children cumulated memory: 14112 KiB
[startup+0.700337 s]
/proc/loadavg: 4.15 4.13 4.09 5/242 1059589
/proc/meminfo: memFree=127779460/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=54544 memory=22308 CPUtime=0.69 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 3493 0 0 0 66 3 0 0 20 0 1 0 199526738 55853056 5577 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 13636 5577 1373 291 0 5170 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 54544 KiB
Current children cumulated memory: 22308 KiB
[startup+1.50034 s]
/proc/loadavg: 4.15 4.13 4.09 5/242 1059589
/proc/meminfo: memFree=127767696/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=69328 memory=40312 CPUtime=1.49 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 5923 0 0 0 145 4 0 0 20 0 1 0 199526738 70991872 10078 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 17332 10078 1389 291 0 8866 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 69328 KiB
Current children cumulated memory: 40312 KiB
[startup+3.11251 s]
/proc/loadavg: 4.14 4.13 4.09 5/242 1059589
/proc/meminfo: memFree=127743216/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=85408 memory=48464 CPUtime=3.1 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 7539 0 0 0 304 6 0 0 20 0 1 0 199526738 87457792 12116 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 21352 12116 1389 291 0 12886 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 85408 KiB
Current children cumulated memory: 48464 KiB
[startup+6.30033 s]
/proc/loadavg: 4.14 4.13 4.09 5/242 1059590
/proc/meminfo: memFree=127719480/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=111376 memory=65564 CPUtime=6.28 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 9843 0 0 0 619 9 0 0 20 0 1 0 199526738 114049024 16391 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 27844 16391 1438 291 0 19378 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 111376 KiB
Current children cumulated memory: 65564 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.12 4.09 5/242 1059590
/proc/meminfo: memFree=127716732/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=111376 memory=65576 CPUtime=12.66 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 10605 0 0 0 1252 14 0 0 20 0 1 0 199526738 114049024 16394 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 27844 16394 1438 291 0 19378 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 111376 KiB
Current children cumulated memory: 65576 KiB
[startup+25.5004 s]
/proc/loadavg: 4.18 4.14 4.10 5/242 1059638
/proc/meminfo: memFree=127881052/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=112788 memory=68924 CPUtime=25.43 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 11319 0 0 0 2523 20 0 0 20 0 1 0 199526738 115494912 17231 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 28197 17231 1438 291 0 19731 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 112788 KiB
Current children cumulated memory: 68924 KiB
[startup+51.1125 s]
/proc/loadavg: 4.18 4.14 4.10 5/242 1059643
/proc/meminfo: memFree=127823600/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=160436 memory=104500 CPUtime=50.98 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 15982 0 0 0 5067 31 0 0 20 0 1 0 199526738 164286464 26125 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 40109 26125 1438 291 0 31643 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 160436 KiB
Current children cumulated memory: 104500 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/242 1059653
/proc/meminfo: memFree=127578116/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=188192 memory=145460 CPUtime=102.03 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 21601 0 0 0 10147 56 0 0 20 0 1 0 199526738 192708608 36365 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 47048 36365 1438 291 0 38582 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 188192 KiB
Current children cumulated memory: 145460 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/244 1059667
/proc/meminfo: memFree=127557092/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=188196 memory=145552 CPUtime=161.88 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 21975 0 0 0 16111 77 0 0 20 0 1 0 199526738 192712704 36388 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 47049 36388 1438 291 0 38583 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 188196 KiB
Current children cumulated memory: 145552 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/244 1059677
/proc/meminfo: memFree=127528372/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=246160 memory=164920 CPUtime=221.73 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 24603 0 0 0 22076 97 0 0 20 0 1 0 199526738 252067840 41230 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 61540 41230 1438 291 0 53074 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 246160 KiB
Current children cumulated memory: 164920 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/243 1059689
/proc/meminfo: memFree=127416220/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=256020 memory=186300 CPUtime=281.57 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 27014 0 0 0 28049 108 0 0 20 0 1 0 199526738 262164480 46575 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 64005 46575 1438 291 0 55539 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 256020 KiB
Current children cumulated memory: 186300 KiB
[startup+342.3 s]
/proc/loadavg: 4.42 4.21 4.12 5/243 1059744
/proc/meminfo: memFree=127516632/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=259604 memory=196768 CPUtime=341.42 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 28241 0 0 0 34020 122 0 0 20 0 1 0 199526738 265834496 49192 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 64901 49192 1438 291 0 56435 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 259604 KiB
Current children cumulated memory: 196768 KiB
[startup+402.3 s]
/proc/loadavg: 4.72 4.35 4.17 5/244 1059755
/proc/meminfo: memFree=127388892/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=262104 memory=216856 CPUtime=401.25 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 29509 0 0 0 39994 131 0 0 20 0 1 0 199526738 268394496 54214 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 65526 54214 1438 291 0 57060 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 262104 KiB
Current children cumulated memory: 216856 KiB
[startup+462.3 s]
/proc/loadavg: 4.38 4.31 4.17 5/244 1059768
/proc/meminfo: memFree=127323620/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=262680 memory=218780 CPUtime=461.1 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 29838 0 0 0 45970 140 0 0 20 0 1 0 199526738 268984320 54695 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 65670 54695 1438 291 0 57204 0
################
# More data... #
################
Current children cumulated memory: 402828 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/245 1061208
/proc/meminfo: memFree=123511612/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=481916 memory=402832 CPUtime=2854.84 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 73443 0 0 0 284830 654 0 0 20 0 1 0 199526738 493481984 100708 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 120479 100708 1438 291 0 112013 0
Current children cumulated CPU time: 2854.84 s
Current children cumulated vsize: 481916 KiB
Current children cumulated memory: 402832 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/243 1061219
/proc/meminfo: memFree=123474472/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=494080 memory=439972 CPUtime=2914.68 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 75791 0 0 0 290793 675 0 0 20 0 1 0 199526738 505937920 109993 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 123520 109993 1438 291 0 115054 0
Current children cumulated CPU time: 2914.68 s
Current children cumulated vsize: 494080 KiB
Current children cumulated memory: 439972 KiB
[startup+2982.3 s]
/proc/loadavg: 4.64 4.26 4.19 5/243 1061229
/proc/meminfo: memFree=123460552/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=511436 memory=451860 CPUtime=2974.51 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 79005 0 0 0 296766 685 0 0 20 0 1 0 199526738 523710464 112965 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 127859 112965 1438 291 0 119393 0
Current children cumulated CPU time: 2974.51 s
Current children cumulated vsize: 511436 KiB
Current children cumulated memory: 451860 KiB
[startup+3042.3 s]
/proc/loadavg: 4.42 4.28 4.20 5/244 1061408
/proc/meminfo: memFree=123215660/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=678472 memory=523752 CPUtime=3034.34 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 86446 0 0 0 302739 695 0 0 20 0 1 0 199526738 694755328 130938 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 169618 130938 1438 291 0 161152 0
Current children cumulated CPU time: 3034.34 s
Current children cumulated vsize: 678472 KiB
Current children cumulated memory: 523752 KiB
[startup+3102.3 s]
/proc/loadavg: 4.29 4.26 4.19 5/245 1061421
/proc/meminfo: memFree=123054444/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=707948 memory=574520 CPUtime=3094.17 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 91994 0 0 0 308707 710 0 0 20 0 1 0 199526738 724938752 143630 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 176987 143630 1438 291 0 168521 0
Current children cumulated CPU time: 3094.17 s
Current children cumulated vsize: 707948 KiB
Current children cumulated memory: 574520 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.22 4.18 5/244 1061434
/proc/meminfo: memFree=123051576/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=707948 memory=574748 CPUtime=3154 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 92239 0 0 0 314682 718 0 0 20 0 1 0 199526738 724938752 143687 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 176987 143687 1438 291 0 168521 0
Current children cumulated CPU time: 3154 s
Current children cumulated vsize: 707948 KiB
Current children cumulated memory: 574748 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.21 4.18 5/244 1061455
/proc/meminfo: memFree=123006560/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=708152 memory=575300 CPUtime=3213.82 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 92552 0 0 0 320657 725 0 0 20 0 1 0 199526738 725147648 143825 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 177038 143825 1438 291 0 168572 0
Current children cumulated CPU time: 3213.82 s
Current children cumulated vsize: 708152 KiB
Current children cumulated memory: 575300 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.17 4.17 5/244 1061466
/proc/meminfo: memFree=122913496/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=708152 memory=575332 CPUtime=3273.66 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 92766 0 0 0 326637 729 0 0 20 0 1 0 199526738 725147648 143833 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 177038 143833 1438 291 0 168572 0
Current children cumulated CPU time: 3273.66 s
Current children cumulated vsize: 708152 KiB
Current children cumulated memory: 575332 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/244 1061477
/proc/meminfo: memFree=122908044/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=712148 memory=577884 CPUtime=3333.49 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 93672 0 0 0 332615 734 0 0 20 0 1 0 199526738 729239552 144471 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 178037 144471 1438 291 0 169571 0
Current children cumulated CPU time: 3333.49 s
Current children cumulated vsize: 712148 KiB
Current children cumulated memory: 577884 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/243 1061488
/proc/meminfo: memFree=122858648/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=734980 memory=626536 CPUtime=3393.32 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 98414 0 0 0 338587 745 0 0 20 0 1 0 199526738 752619520 156634 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 183745 156634 1438 291 0 175279 0
Current children cumulated CPU time: 3393.32 s
Current children cumulated vsize: 734980 KiB
Current children cumulated memory: 626536 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/241 1061500
/proc/meminfo: memFree=122833136/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=734980 memory=626700 CPUtime=3453.15 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 98602 0 0 0 344563 752 0 0 20 0 1 0 199526738 752619520 156675 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 183745 156675 1438 291 0 175279 0
Current children cumulated CPU time: 3453.15 s
Current children cumulated vsize: 734980 KiB
Current children cumulated memory: 626700 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/241 1061510
/proc/meminfo: memFree=122659564/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=734980 memory=626764 CPUtime=3512.98 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 98836 0 0 0 350544 754 0 0 20 0 1 0 199526738 752619520 156691 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 183745 156691 1438 291 0 175279 0
Current children cumulated CPU time: 3512.98 s
Current children cumulated vsize: 734980 KiB
Current children cumulated memory: 626764 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/241 1061520
/proc/meminfo: memFree=122649872/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=734980 memory=626904 CPUtime=3572.8 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 99131 0 0 0 356523 757 0 0 20 0 1 0 199526738 752619520 156726 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 183745 156726 1438 291 0 175279 0
Current children cumulated CPU time: 3572.8 s
Current children cumulated vsize: 734980 KiB
Current children cumulated memory: 626904 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.19 4.14 4.16 5/235 1061539
/proc/meminfo: memFree=122800744/131655788 swapFree=131071996/131071996
[pid=1059588] ppid=1059585 vsize=734980 memory=627028 CPUtime=3600.02 cores=1,3
/proc/1059588/stat : 1059588 (pb-oll-rs) R 1059585 1059588 1056719 0 -1 4194304 99258 0 0 0 359244 758 0 0 20 0 1 0 199526738 752619520 156757 134679101440 4194304 5384485 140720855265552 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 15667200 140720855270421 140720855270498 140720855270498 140720855277515 0
/proc/1059588/statm: 183745 156757 1438 291 0 175279 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 734980 KiB
Current children cumulated memory: 627028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.61 s]
# the end of solver process 1059588 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.45 s, system=7.59413 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.61
CPU time (s): 3600.04
CPU user time (s): 3592.45
CPU system time (s): 7.59413
CPU usage (%): 99.735
Max. virtual memory (cumulated for all children) (KiB): 734980
Max. memory (cumulated for all children) (KiB): 627028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.45
system time used= 7.59413
maximum resident set size= 627028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99288
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= 120
involuntary context switches= 2641
# summary of solver processes directly reported to runsolver:
# pid: 1059588
# total CPU time (s): 3600.04
# total CPU user time (s): 3592.45
# total CPU system time (s): 7.59413
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5115 second user time and 35.7838 second system time
The end
Begin job on nodeC002 at 2024-07-20 13:08:19
IDJOB=4454498
IDBENCH=155343
IDSOLVER=3082
FILE ID=nodeC002/4454498-1721473687
RUNJOBID= nodeC002-1721469936-1056731
SLURM_JOB_ID= 7545731
Free space on /tmp= 723768 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-opm2-z7-s2.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454498-1721473687/watcher-4454498-1721473687 -o /tmp/evaluation-result-4454498-1721473687/solver-4454498-1721473687 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721469936-1056731 --watchdog 3760 pb-oll-rs HOME/instance-4454498-1721473687.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d13cdfe545ae2728c47d5ad7db8600db
RANDOM SEED=591503689
nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3655.993
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.706
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.308
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.158
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.693
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3587.303
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.154
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.291
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127794068 kB
MemAvailable: 129265972 kB
Buffers: 590144 kB
Cached: 1716712 kB
SwapCached: 0 kB
Active: 1081160 kB
Inactive: 2196264 kB
Active(anon): 2692 kB
Inactive(anon): 1013764 kB
Active(file): 1078468 kB
Inactive(file): 1182500 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5680 kB
Writeback: 0 kB
AnonPages: 970384 kB
Mapped: 111416 kB
Shmem: 45896 kB
KReclaimable: 101936 kB
Slab: 207536 kB
SReclaimable: 101936 kB
SUnreclaim: 105600 kB
KernelStack: 4000 kB
PageTables: 11536 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1531764 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 63808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 319488 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 252744 kB
DirectMap2M: 34254848 kB
DirectMap1G: 101711872 kB
Free space on /tmp at the end= 723752 MiB
End job on nodeC002 at 2024-07-20 14:08:29