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.08 c [STEP] solving
0.00/0.08 c #variables 2023 #constraints 31798
0.00/0.08 c SMALL=int, LARGE=long long
0.00/0.08 c bounds - >= -109612 @ 0.056442
0.00/0.08 c stratification level: 332
0.00/0.08 c bounds - >= -109280 @ 0.06138
0.00/0.08 c finalizing WCE round: reformulating cores
0.00/0.09 c bounds -3138 >= -109280 @ 0.064566
0.00/0.09 c bounds -3511 >= -109280 @ 0.066763
0.00/0.09 c stratification level: 319
0.09/0.10 c bounds -3511 >= -108952 @ 0.071322
0.09/0.10 c bounds -3511 >= -108633 @ 0.075645
0.09/0.10 c finalizing WCE round: reformulating cores
1.28/1.38 c bounds -4951 >= -108633 @ 0.615422
1.28/1.38 c #Conflicts: 1000 | #Constraints: 32814
1.28/1.38 c bounds -4952 >= -108633 @ 1.32206
1.28/1.38 c stratification level: 312
1.37/1.44 c bounds -4952 >= -108315 @ 1.34665
1.37/1.44 c bounds -4952 >= -108003 @ 1.35374
1.37/1.44 c bounds -4952 >= -107691 @ 1.3612
1.37/1.44 c finalizing WCE round: reformulating cores
3.27/3.31 c #Conflicts: 2000 | #Constraints: 33826
3.27/3.31 c INPROCESSING
3.27/3.31 c GARBAGE COLLECT
3.27/3.31 c #Conflicts: 3000 | #Constraints: 33829
3.27/3.31 c bounds -5546 >= -107691 @ 3.21375
3.27/3.31 c bounds -5602 >= -107691 @ 3.23121
3.27/3.31 c stratification level: 309
3.27/3.37 c bounds -5602 >= -107379 @ 3.25182
3.27/3.37 c finalizing WCE round: reformulating cores
172.56/173.05 c bounds -5626 >= -107379 @ 3.306
172.56/173.05 c #Conflicts: 4000 | #Constraints: 34836
172.56/173.05 c INPROCESSING
172.56/173.05 c GARBAGE COLLECT
172.56/173.05 c #Conflicts: 5000 | #Constraints: 34230
172.56/173.05 c #Conflicts: 6000 | #Constraints: 35230
172.56/173.05 c INPROCESSING
172.56/173.05 c GARBAGE COLLECT
172.56/173.05 c #Conflicts: 7000 | #Constraints: 34229
172.56/173.05 c #Conflicts: 8000 | #Constraints: 35229
172.56/173.05 c #Conflicts: 9000 | #Constraints: 36229
172.56/173.05 c INPROCESSING
172.56/173.05 c GARBAGE COLLECT
172.56/173.05 c #Conflicts: 10000 | #Constraints: 34932
172.56/173.05 c #Conflicts: 11000 | #Constraints: 35932
172.56/173.05 c #Conflicts: 12000 | #Constraints: 36932
172.56/173.05 c INPROCESSING
172.56/173.05 c GARBAGE COLLECT
172.56/173.05 c #Conflicts: 13000 | #Constraints: 35384
172.56/173.05 c #Conflicts: 14000 | #Constraints: 36384
172.56/173.05 c #Conflicts: 15000 | #Constraints: 37384
172.56/173.05 c INPROCESSING
172.56/173.05 c GARBAGE COLLECT
172.56/173.05 c #Conflicts: 16000 | #Constraints: 35615
172.56/173.05 c #Conflicts: 17000 | #Constraints: 36615
172.56/173.05 c #Conflicts: 18000 | #Constraints: 37615
172.56/173.05 c INPROCESSING
172.56/173.05 c GARBAGE COLLECT
172.56/173.05 c #Conflicts: 19000 | #Constraints: 35630
172.56/173.05 c #Conflicts: 20000 | #Constraints: 36630
172.56/173.05 c #Conflicts: 21000 | #Constraints: 37630
172.56/173.05 c INPROCESSING
172.56/173.05 c GARBAGE COLLECT
172.56/173.05 c #Conflicts: 22000 | #Constraints: 35432
172.56/173.05 c #Conflicts: 23000 | #Constraints: 36432
172.56/173.05 c #Conflicts: 24000 | #Constraints: 37432
172.56/173.05 c #Conflicts: 25000 | #Constraints: 38432
172.56/173.05 c INPROCESSING
172.56/173.05 c GARBAGE COLLECT
172.56/173.05 c #Conflicts: 26000 | #Constraints: 36047
172.56/173.05 c #Conflicts: 27000 | #Constraints: 37047
172.56/173.05 c #Conflicts: 28000 | #Constraints: 38047
172.56/173.05 c #Conflicts: 29000 | #Constraints: 39047
172.56/173.05 c INPROCESSING
172.56/173.05 c GARBAGE COLLECT
172.56/173.05 c #Conflicts: 30000 | #Constraints: 36452
172.56/173.05 c #Conflicts: 31000 | #Constraints: 37452
172.56/173.05 c #Conflicts: 32000 | #Constraints: 38452
172.56/173.05 c #Conflicts: 33000 | #Constraints: 39452
172.56/173.05 c INPROCESSING
172.56/173.05 c GARBAGE COLLECT
172.56/173.05 c #Conflicts: 34000 | #Constraints: 36638
172.56/173.05 c #Conflicts: 35000 | #Constraints: 37638
172.56/173.05 c #Conflicts: 36000 | #Constraints: 38638
172.56/173.05 c #Conflicts: 37000 | #Constraints: 39638
172.56/173.05 c INPROCESSING
172.56/173.05 c GARBAGE COLLECT
172.56/173.05 c #Conflicts: 38000 | #Constraints: 36639
172.56/173.05 c #Conflicts: 39000 | #Constraints: 37639
172.56/173.05 c #Conflicts: 40000 | #Constraints: 38639
172.56/173.05 c #Conflicts: 41000 | #Constraints: 39639
172.56/173.05 c INPROCESSING
172.56/173.05 c GARBAGE COLLECT
172.56/173.05 c #Conflicts: 42000 | #Constraints: 36442
172.56/173.05 c #Conflicts: 43000 | #Constraints: 37442
172.56/173.05 c #Conflicts: 44000 | #Constraints: 38442
172.56/173.05 c #Conflicts: 45000 | #Constraints: 39442
172.56/173.05 c #Conflicts: 46000 | #Constraints: 40442
172.56/173.05 c INPROCESSING
172.56/173.05 c GARBAGE COLLECT
172.56/173.05 c #Conflicts: 47000 | #Constraints: 37034
172.56/173.05 c #Conflicts: 48000 | #Constraints: 38034
172.56/173.05 c #Conflicts: 49000 | #Constraints: 39034
172.56/173.05 c #Conflicts: 50000 | #Constraints: 40034
172.56/173.05 c #Conflicts: 51000 | #Constraints: 41034
172.56/173.05 c INPROCESSING
172.56/173.05 c GARBAGE COLLECT
172.56/173.05 c #Conflicts: 52000 | #Constraints: 37439
172.56/173.05 c #Conflicts: 53000 | #Constraints: 38439
172.56/173.05 c #Conflicts: 54000 | #Constraints: 39439
172.56/173.05 c #Conflicts: 55000 | #Constraints: 40439
172.56/173.05 c #Conflicts: 56000 | #Constraints: 41439
172.56/173.05 c INPROCESSING
172.56/173.05 c GARBAGE COLLECT
172.56/173.05 c #Conflicts: 57000 | #Constraints: 37637
172.56/173.05 c #Conflicts: 58000 | #Constraints: 38637
172.56/173.05 c #Conflicts: 59000 | #Constraints: 39637
172.56/173.05 c #Conflicts: 60000 | #Constraints: 40637
172.56/173.05 c #Conflicts: 61000 | #Constraints: 41637
172.56/173.05 c INPROCESSING
172.56/173.05 c GARBAGE COLLECT
172.56/173.05 c #Conflicts: 62000 | #Constraints: 37636
172.56/173.05 c #Conflicts: 63000 | #Constraints: 38636
172.56/173.05 c #Conflicts: 64000 | #Constraints: 39636
172.56/173.05 c #Conflicts: 65000 | #Constraints: 40636
172.56/173.05 c #Conflicts: 66000 | #Constraints: 41636
172.56/173.05 c INPROCESSING
172.56/173.05 c GARBAGE COLLECT
172.56/173.05 c #Conflicts: 67000 | #Constraints: 37434
172.56/173.05 c #Conflicts: 68000 | #Constraints: 38434
172.56/173.05 c #Conflicts: 69000 | #Constraints: 39434
172.56/173.05 c #Conflicts: 70000 | #Constraints: 40434
172.56/173.05 c #Conflicts: 71000 | #Constraints: 41434
496.19/497.59 c #Conflicts: 72000 | #Constraints: 42434
496.19/497.59 c INPROCESSING
496.19/497.59 c GARBAGE COLLECT
496.19/497.59 c #Conflicts: 73000 | #Constraints: 38031
496.19/497.59 c #Conflicts: 74000 | #Constraints: 39031
496.19/497.59 c #Conflicts: 75000 | #Constraints: 40031
496.19/497.59 c #Conflicts: 76000 | #Constraints: 41031
496.19/497.59 c #Conflicts: 77000 | #Constraints: 42031
496.19/497.59 c #Conflicts: 78000 | #Constraints: 43031
496.19/497.59 c INPROCESSING
496.19/497.59 c GARBAGE COLLECT
496.19/497.59 c #Conflicts: 79000 | #Constraints: 38435
496.19/497.59 c #Conflicts: 80000 | #Constraints: 39435
496.19/497.59 c #Conflicts: 81000 | #Constraints: 40435
496.19/497.59 c #Conflicts: 82000 | #Constraints: 41435
496.19/497.59 c #Conflicts: 83000 | #Constraints: 42435
496.19/497.59 c #Conflicts: 84000 | #Constraints: 43435
496.19/497.59 c INPROCESSING
496.19/497.59 c GARBAGE COLLECT
496.19/497.59 c #Conflicts: 85000 | #Constraints: 38647
496.19/497.59 c #Conflicts: 86000 | #Constraints: 39647
496.19/497.59 c #Conflicts: 87000 | #Constraints: 40647
496.19/497.59 c #Conflicts: 88000 | #Constraints: 41647
496.19/497.59 c #Conflicts: 89000 | #Constraints: 42647
496.19/497.59 c #Conflicts: 90000 | #Constraints: 43647
496.19/497.59 c INPROCESSING
496.19/497.59 c GARBAGE COLLECT
496.19/497.59 c #Conflicts: 91000 | #Constraints: 38643
496.19/497.59 c #Conflicts: 92000 | #Constraints: 39643
496.19/497.59 c #Conflicts: 93000 | #Constraints: 40643
496.19/497.59 c #Conflicts: 94000 | #Constraints: 41643
496.19/497.59 c #Conflicts: 95000 | #Constraints: 42643
496.19/497.59 c #Conflicts: 96000 | #Constraints: 43643
496.19/497.59 c INPROCESSING
496.19/497.59 c GARBAGE COLLECT
496.19/497.59 c #Conflicts: 97000 | #Constraints: 38446
496.19/497.59 c #Conflicts: 98000 | #Constraints: 39446
496.19/497.59 c #Conflicts: 99000 | #Constraints: 40446
496.19/497.59 c #Conflicts: 100000 | #Constraints: 41446
496.19/497.59 c #Conflicts: 101000 | #Constraints: 42446
496.19/497.59 c #Conflicts: 102000 | #Constraints: 43446
496.19/497.59 c #Conflicts: 103000 | #Constraints: 44446
496.19/497.59 c INPROCESSING
496.19/497.59 c GARBAGE COLLECT
496.19/497.59 c #Conflicts: 104000 | #Constraints: 39039
496.19/497.59 c #Conflicts: 105000 | #Constraints: 40039
496.19/497.59 c #Conflicts: 106000 | #Constraints: 41039
496.19/497.59 c #Conflicts: 107000 | #Constraints: 42039
496.19/497.59 c #Conflicts: 108000 | #Constraints: 43039
496.19/497.59 c #Conflicts: 109000 | #Constraints: 44039
496.19/497.59 c #Conflicts: 110000 | #Constraints: 45039
496.19/497.59 c INPROCESSING
496.19/497.59 c GARBAGE COLLECT
496.19/497.59 c #Conflicts: 111000 | #Constraints: 39443
496.19/497.59 c #Conflicts: 112000 | #Constraints: 40443
496.19/497.59 c #Conflicts: 113000 | #Constraints: 41443
496.19/497.59 c #Conflicts: 114000 | #Constraints: 42443
496.19/497.59 c #Conflicts: 115000 | #Constraints: 43443
496.19/497.59 c #Conflicts: 116000 | #Constraints: 44443
496.19/497.59 c #Conflicts: 117000 | #Constraints: 45443
496.19/497.59 c INPROCESSING
496.19/497.59 c GARBAGE COLLECT
496.19/497.59 c #Conflicts: 118000 | #Constraints: 39641
496.19/497.59 c #Conflicts: 119000 | #Constraints: 40641
496.19/497.59 c #Conflicts: 120000 | #Constraints: 41641
496.19/497.59 c #Conflicts: 121000 | #Constraints: 42641
496.19/497.59 c #Conflicts: 122000 | #Constraints: 43641
496.19/497.59 c #Conflicts: 123000 | #Constraints: 44641
496.19/497.59 c #Conflicts: 124000 | #Constraints: 45641
496.19/497.59 c INPROCESSING
496.19/497.59 c GARBAGE COLLECT
496.19/497.59 c #Conflicts: 125000 | #Constraints: 39637
496.19/497.59 c #Conflicts: 126000 | #Constraints: 40637
496.19/497.59 c bounds -5664 >= -107379 @ 494.94
496.19/497.59 c stratification level: 306
496.29/497.66 c bounds -5664 >= -107073 @ 494.977
496.29/497.66 c bounds -5664 >= -106767 @ 494.987
496.29/497.66 c finalizing WCE round: reformulating cores
497.18/498.51 c #Conflicts: 127000 | #Constraints: 41650
497.18/498.51 c bounds -5686 >= -106767 @ 495.834
497.18/498.51 c bounds -5708 >= -106767 @ 495.857
497.18/498.51 c stratification level: 300
497.88/499.21 c bounds -5708 >= -106467 @ 495.895
497.88/499.21 c #Conflicts: 128000 | #Constraints: 42652
497.88/499.21 c finalizing WCE round: reformulating cores
498.78/500.13 c bounds -5723 >= -106467 @ 497.382
498.78/500.13 c bounds -5724 >= -106467 @ 497.443
498.78/500.13 c stratification level: 246
499.27/500.65 c bounds -5724 >= -106168 @ 497.677
499.27/500.65 c bounds -5724 >= -105882 @ 497.693
499.27/500.65 c bounds -5724 >= -105627 @ 497.719
499.27/500.65 c bounds -5724 >= -105344 @ 497.752
499.27/500.65 c bounds -5724 >= -105064 @ 497.788
499.27/500.65 c bounds -5724 >= -104800 @ 497.816
499.27/500.65 c bounds -5724 >= -104548 @ 497.848
499.27/500.65 c bounds -5724 >= -104302 @ 497.876
499.27/500.65 c bounds -5724 >= -104047 @ 497.901
499.27/500.65 c bounds -5724 >= -103798 @ 497.917
499.27/500.65 c finalizing WCE round: reformulating cores
504.77/506.12 c #Conflicts: 129000 | #Constraints: 43676
504.77/506.12 c #Conflicts: 130000 | #Constraints: 44678
504.77/506.12 c bounds -7350 >= -105465 @ 499.961
504.77/506.12 c bounds -7350 >= -105465 @ 499.962
504.77/506.12 c bounds -7350 >= -105465 @ 499.972
504.77/506.12 c bounds -7350 >= -105465 @ 499.98
504.77/506.12 c bounds -7350 >= -105465 @ 499.995
504.77/506.12 c bounds -7350 >= -105465 @ 500.009
504.77/506.12 c bounds -7350 >= -105465 @ 500.017
504.77/506.12 c bounds -7350 >= -105465 @ 500.035
504.77/506.12 c bounds -7350 >= -105465 @ 500.058
504.77/506.12 c bounds -7350 >= -105465 @ 500.079
504.77/506.12 c bounds -7350 >= -105465 @ 500.093
504.77/506.12 c bounds -7350 >= -105465 @ 500.107
504.77/506.12 c bounds -7350 >= -105465 @ 500.119
504.77/506.12 c bounds -7350 >= -105465 @ 500.133
504.77/506.12 c bounds -7350 >= -105465 @ 500.145
504.77/506.12 c bounds -7350 >= -105465 @ 500.163
504.77/506.12 c bounds -7350 >= -105465 @ 500.175
504.77/506.12 c bounds -7350 >= -105465 @ 500.204
504.77/506.12 c bounds -7350 >= -105465 @ 500.231
504.77/506.12 c bounds -7350 >= -105465 @ 500.259
504.77/506.12 c bounds -7350 >= -105465 @ 500.286
504.77/506.12 c bounds -7350 >= -105465 @ 500.304
504.77/506.12 c bounds -7350 >= -105465 @ 500.313
504.77/506.12 c bounds -7350 >= -105465 @ 500.331
504.77/506.12 c bounds -7350 >= -105465 @ 500.354
504.77/506.12 c bounds -7350 >= -105465 @ 500.376
504.77/506.12 c bounds -7350 >= -105465 @ 500.399
504.77/506.12 c bounds -7350 >= -105465 @ 500.424
504.77/506.12 c bounds -7350 >= -105465 @ 500.464
504.77/506.12 c bounds -7350 >= -105465 @ 500.507
504.77/506.12 c bounds -7350 >= -105465 @ 500.545
504.77/506.12 c bounds -7350 >= -105465 @ 500.581
504.77/506.12 c bounds -7350 >= -105465 @ 500.617
504.77/506.12 c bounds -7350 >= -105465 @ 500.652
504.77/506.12 c bounds -7350 >= -105465 @ 500.687
504.77/506.12 c bounds -7350 >= -105465 @ 500.709
504.77/506.12 c bounds -7350 >= -105465 @ 500.738
504.77/506.12 c bounds -7350 >= -105465 @ 500.757
504.77/506.12 c bounds -7350 >= -105465 @ 500.786
504.77/506.12 c bounds -7350 >= -105465 @ 500.804
504.77/506.12 c bounds -7350 >= -105465 @ 500.833
504.77/506.12 c bounds -7350 >= -105465 @ 500.851
504.77/506.12 c bounds -7350 >= -105465 @ 500.881
504.77/506.12 c bounds -7350 >= -105465 @ 500.899
504.77/506.12 c bounds -7350 >= -105465 @ 500.928
504.77/506.12 c bounds -7350 >= -105465 @ 500.947
504.77/506.12 c bounds -7350 >= -105465 @ 500.976
504.77/506.12 c bounds -7350 >= -105465 @ 500.994
504.77/506.12 c bounds -7350 >= -105465 @ 501.023
504.77/506.12 c bounds -7350 >= -105465 @ 501.042
504.77/506.12 c bounds -7350 >= -105465 @ 501.071
504.77/506.12 c bounds -7350 >= -105465 @ 501.089
504.77/506.12 c bounds -7350 >= -105465 @ 501.118
504.77/506.12 c bounds -7350 >= -105465 @ 501.136
504.77/506.12 c bounds -7350 >= -105465 @ 501.166
504.77/506.12 c bounds -7350 >= -105465 @ 501.193
504.77/506.12 c bounds -7350 >= -105465 @ 501.221
504.77/506.12 c bounds -7350 >= -105465 @ 501.251
504.77/506.12 c bounds -7350 >= -105465 @ 501.279
504.77/506.12 c bounds -7350 >= -105465 @ 501.304
504.77/506.12 c bounds -7350 >= -105465 @ 501.351
504.77/506.12 c bounds -7350 >= -105465 @ 501.397
504.77/506.12 c bounds -7350 >= -105465 @ 501.429
504.77/506.12 c bounds -7350 >= -105465 @ 501.472
504.77/506.12 c bounds -7350 >= -105465 @ 501.512
504.77/506.12 c bounds -7350 >= -105465 @ 501.558
504.77/506.12 c bounds -7350 >= -105465 @ 501.588
504.77/506.12 c bounds -7350 >= -105465 @ 501.633
504.77/506.12 c bounds -7350 >= -105465 @ 501.685
504.77/506.12 c bounds -7350 >= -105465 @ 501.731
504.77/506.12 c bounds -7350 >= -105465 @ 501.769
504.77/506.12 c bounds -7350 >= -105465 @ 501.806
504.77/506.12 c bounds -7350 >= -105465 @ 501.843
504.77/506.12 c bounds -7350 >= -105465 @ 501.885
504.77/506.12 c bounds -7350 >= -105465 @ 501.92
504.77/506.12 c bounds -7350 >= -105465 @ 501.965
504.77/506.12 c bounds -7350 >= -105465 @ 502.006
504.77/506.12 c bounds -7350 >= -105465 @ 502.052
504.77/506.12 c bounds -7350 >= -105465 @ 502.08
504.77/506.12 c bounds -7350 >= -105465 @ 502.116
504.77/506.12 c bounds -7350 >= -105465 @ 502.144
504.77/506.12 c bounds -7350 >= -105465 @ 502.181
504.77/506.12 c bounds -7350 >= -105465 @ 502.209
504.77/506.12 c bounds -7350 >= -105465 @ 502.254
504.77/506.12 c bounds -7350 >= -105465 @ 502.283
504.77/506.12 c bounds -7350 >= -105465 @ 502.327
504.77/506.12 c bounds -7350 >= -105465 @ 502.361
504.77/506.12 c bounds -7350 >= -105465 @ 502.405
504.77/506.12 c bounds -7350 >= -105465 @ 502.438
504.77/506.12 c bounds -7350 >= -105465 @ 502.482
504.77/506.12 c bounds -7350 >= -105465 @ 502.516
504.77/506.12 c bounds -7350 >= -105465 @ 502.559
504.77/506.12 c bounds -7350 >= -105465 @ 502.593
504.77/506.12 c bounds -7350 >= -105465 @ 502.636
504.77/506.12 c bounds -7350 >= -105465 @ 502.67
504.77/506.12 c bounds -7350 >= -105465 @ 502.714
504.77/506.12 c bounds -7350 >= -105465 @ 502.748
504.77/506.12 c bounds -7350 >= -105465 @ 502.792
504.77/506.12 c bounds -7350 >= -105465 @ 502.818
504.77/506.12 c bounds -7350 >= -105465 @ 502.856
504.77/506.12 c bounds -7350 >= -105465 @ 502.893
504.77/506.12 c bounds -7350 >= -105465 @ 502.929
504.77/506.12 c bounds -7350 >= -105465 @ 502.965
504.77/506.12 c bounds -7350 >= -105465 @ 503.002
504.77/506.12 c bounds -7350 >= -105465 @ 503.045
504.77/506.12 c bounds -7350 >= -105465 @ 503.085
504.77/506.12 c bounds -7350 >= -105465 @ 503.129
504.77/506.12 c bounds -7350 >= -105465 @ 503.179
504.77/506.12 c bounds -7350 >= -105465 @ 503.223
504.77/506.12 c bounds -7350 >= -105465 @ 503.278
504.77/506.12 c bounds -7350 >= -105465 @ 503.34
504.77/506.12 c bounds -7350 >= -105465 @ 503.393
512.14/513.58 c bounds -7350 >= -105465 @ 503.473
512.14/513.58 c bounds -7350 >= -105465 @ 503.534
512.14/513.58 c bounds -7350 >= -105465 @ 503.609
512.14/513.58 c bounds -7350 >= -105465 @ 503.671
512.14/513.58 c bounds -7350 >= -105465 @ 503.734
512.14/513.58 c bounds -7350 >= -105465 @ 503.788
512.14/513.58 c bounds -7350 >= -105465 @ 503.862
512.14/513.58 c bounds -7350 >= -105465 @ 503.915
512.14/513.58 c bounds -7350 >= -105465 @ 503.981
512.14/513.58 c bounds -7350 >= -105465 @ 504.053
512.14/513.58 c bounds -7350 >= -105465 @ 504.112
512.14/513.58 c bounds -7350 >= -105465 @ 504.177
512.14/513.58 c bounds -7350 >= -105465 @ 504.25
512.14/513.58 c bounds -7350 >= -105465 @ 504.308
512.14/513.58 c bounds -7350 >= -105465 @ 504.372
512.14/513.58 c bounds -7350 >= -105465 @ 504.416
512.14/513.58 c bounds -7350 >= -105465 @ 504.455
512.14/513.58 c bounds -7350 >= -105465 @ 504.499
512.14/513.58 c bounds -7350 >= -105465 @ 504.537
512.14/513.58 c bounds -7350 >= -105465 @ 504.58
512.14/513.58 c bounds -7350 >= -105465 @ 504.618
512.14/513.58 c bounds -7350 >= -105465 @ 504.662
512.14/513.58 c bounds -7350 >= -105465 @ 504.701
512.14/513.58 c bounds -7350 >= -105465 @ 504.745
512.14/513.58 c bounds -7350 >= -105465 @ 504.784
512.14/513.58 c bounds -7350 >= -105465 @ 504.828
512.14/513.58 c bounds -7350 >= -105465 @ 504.868
512.14/513.58 c bounds -7350 >= -105465 @ 504.912
512.14/513.58 c bounds -7350 >= -105465 @ 504.95
512.14/513.58 c bounds -7350 >= -105465 @ 505.005
512.14/513.58 c bounds -7350 >= -105465 @ 505.044
512.14/513.58 c bounds -7350 >= -105465 @ 505.098
512.14/513.58 c bounds -7350 >= -105465 @ 505.143
512.14/513.58 c bounds -7350 >= -105465 @ 505.196
512.14/513.58 c bounds -7350 >= -105465 @ 505.241
512.14/513.58 c bounds -7350 >= -105465 @ 505.309
512.14/513.58 c bounds -7350 >= -105465 @ 505.355
512.14/513.58 c bounds -7350 >= -105465 @ 505.422
512.14/513.58 c bounds -7350 >= -105465 @ 505.48
512.14/513.58 c bounds -7350 >= -105465 @ 505.542
512.14/513.58 c bounds -7350 >= -105465 @ 505.613
512.14/513.58 c bounds -7350 >= -105465 @ 505.687
512.14/513.58 c bounds -7350 >= -105465 @ 505.762
512.14/513.58 c bounds -7350 >= -105465 @ 505.848
512.14/513.58 c bounds -7350 >= -105465 @ 505.914
512.14/513.58 c #Conflicts: 131000 | #Constraints: 46002
512.14/513.58 c bounds -7350 >= -105465 @ 505.989
512.14/513.58 c bounds -7350 >= -105465 @ 506.08
512.14/513.58 c bounds -7350 >= -105465 @ 506.136
512.14/513.58 c bounds -7350 >= -105465 @ 506.218
512.14/513.58 c bounds -7350 >= -105465 @ 506.301
512.14/513.58 c bounds -7350 >= -105465 @ 506.403
512.14/513.58 c bounds -7350 >= -105465 @ 506.471
512.14/513.58 c bounds -7350 >= -105465 @ 506.544
512.14/513.58 c bounds -7350 >= -105465 @ 506.61
512.14/513.58 c bounds -7350 >= -105465 @ 506.681
512.14/513.58 c bounds -7350 >= -105465 @ 506.741
512.14/513.58 c bounds -7350 >= -105465 @ 506.797
512.14/513.58 c bounds -7350 >= -105465 @ 506.855
512.14/513.58 c bounds -7350 >= -105465 @ 506.914
512.14/513.58 c bounds -7350 >= -105465 @ 507.016
512.14/513.58 c bounds -7350 >= -105465 @ 507.099
512.14/513.58 c bounds -7350 >= -105465 @ 507.174
512.14/513.58 c bounds -7350 >= -105465 @ 507.239
512.14/513.58 c bounds -7350 >= -105465 @ 507.329
512.14/513.58 c bounds -7350 >= -105465 @ 507.407
512.14/513.58 c bounds -7350 >= -105465 @ 507.471
512.14/513.58 c bounds -7350 >= -105465 @ 507.535
512.14/513.58 c bounds -7350 >= -105465 @ 507.596
512.14/513.58 c bounds -7350 >= -105465 @ 507.645
512.14/513.58 c bounds -7350 >= -105465 @ 507.698
512.14/513.58 c bounds -7350 >= -105465 @ 507.751
512.14/513.58 c bounds -7350 >= -105465 @ 507.809
512.14/513.58 c bounds -7350 >= -105465 @ 507.875
512.14/513.58 c bounds -7350 >= -105465 @ 507.959
512.14/513.58 c bounds -7350 >= -105465 @ 508.026
512.14/513.58 c bounds -7350 >= -105465 @ 508.077
512.14/513.58 c bounds -7350 >= -105465 @ 508.134
512.14/513.58 c bounds -7350 >= -105465 @ 508.196
512.14/513.58 c bounds -7350 >= -105465 @ 508.252
512.14/513.58 c bounds -7350 >= -105465 @ 508.319
512.14/513.58 c bounds -7350 >= -105465 @ 508.386
512.14/513.58 c bounds -7350 >= -105465 @ 508.448
512.14/513.58 c bounds -7350 >= -105465 @ 508.525
512.14/513.58 c bounds -7350 >= -105465 @ 508.621
512.14/513.58 c bounds -7350 >= -105465 @ 508.67
512.14/513.58 c bounds -7350 >= -105465 @ 508.747
512.14/513.58 c bounds -7350 >= -105465 @ 508.823
512.14/513.58 c bounds -7350 >= -105465 @ 508.897
512.14/513.58 c bounds -7350 >= -105465 @ 508.955
512.14/513.58 c bounds -7350 >= -105465 @ 509.034
512.14/513.58 c bounds -7350 >= -105465 @ 509.124
512.14/513.58 c bounds -7350 >= -105465 @ 509.204
512.14/513.58 c bounds -7350 >= -105465 @ 509.295
512.14/513.58 c bounds -7350 >= -105465 @ 509.381
512.14/513.58 c bounds -7350 >= -105465 @ 509.47
512.14/513.58 c bounds -7350 >= -105465 @ 509.563
512.14/513.58 c bounds -7350 >= -105465 @ 509.66
512.14/513.58 c bounds -7350 >= -105465 @ 509.766
512.14/513.58 c bounds -7350 >= -105465 @ 509.863
512.14/513.58 c bounds -7350 >= -105465 @ 509.949
512.14/513.58 c bounds -7350 >= -105465 @ 510.049
512.14/513.58 c bounds -7350 >= -105465 @ 510.134
512.14/513.58 c bounds -7350 >= -105465 @ 510.221
512.14/513.58 c bounds -7350 >= -105465 @ 510.289
512.14/513.58 c bounds -7350 >= -105465 @ 510.365
512.14/513.58 c bounds -7350 >= -105465 @ 510.453
512.14/513.58 c bounds -7350 >= -105465 @ 510.531
512.14/513.58 c bounds -7350 >= -105465 @ 510.611
512.14/513.58 c bounds -7350 >= -105465 @ 510.699
512.14/513.58 c INPROCESSING
512.14/513.58 c GARBAGE COLLECT
512.14/513.58 c bounds -7350 >= -105465 @ 510.813
512.14/513.58 c bounds -7350 >= -105465 @ 510.833
599.89/601.53 c bounds -7350 >= -105465 @ 510.846
599.89/601.53 c bounds -7350 >= -105465 @ 510.858
599.89/601.53 c bounds -7350 >= -105465 @ 510.871
599.89/601.53 c bounds -7350 >= -105465 @ 510.882
599.89/601.53 c bounds -7350 >= -105465 @ 510.899
599.89/601.53 c bounds -7350 >= -105465 @ 510.909
599.89/601.53 c bounds -7350 >= -105465 @ 510.938
599.89/601.53 c bounds -7350 >= -105465 @ 510.958
599.89/601.53 c bounds -7350 >= -105465 @ 510.975
599.89/601.53 c bounds -7350 >= -105465 @ 510.993
599.89/601.53 c bounds -7350 >= -105465 @ 511.007
599.89/601.53 c bounds -7350 >= -105465 @ 511.03
599.89/601.53 c bounds -7350 >= -105465 @ 511.044
599.89/601.53 c bounds -7350 >= -105465 @ 511.065
599.89/601.53 c bounds -7350 >= -105465 @ 511.083
599.89/601.53 c bounds -7350 >= -105465 @ 511.094
599.89/601.53 c bounds -7350 >= -105465 @ 511.112
599.89/601.53 c bounds -7350 >= -105465 @ 511.126
599.89/601.53 c bounds -7350 >= -105465 @ 511.136
599.89/601.53 c bounds -7350 >= -105465 @ 511.157
599.89/601.53 c bounds -7350 >= -105465 @ 511.184
599.89/601.53 c bounds -7350 >= -105465 @ 511.194
599.89/601.53 c bounds -7350 >= -105465 @ 511.218
599.89/601.53 c bounds -7350 >= -105465 @ 511.229
599.89/601.53 c bounds -7350 >= -105465 @ 511.25
599.89/601.53 c bounds -7350 >= -105465 @ 511.279
599.89/601.53 c bounds -7350 >= -105465 @ 511.289
599.89/601.53 c bounds -7350 >= -105465 @ 511.301
599.89/601.53 c bounds -7350 >= -105465 @ 511.31
599.89/601.53 c bounds -7350 >= -105465 @ 511.319
599.89/601.53 c bounds -7350 >= -105465 @ 511.329
599.89/601.53 c bounds -7350 >= -105465 @ 511.347
599.89/601.53 c bounds -7350 >= -105465 @ 511.357
599.89/601.53 c bounds -7350 >= -105465 @ 511.369
599.89/601.53 c bounds -7350 >= -105465 @ 511.381
599.89/601.53 c bounds -7350 >= -105465 @ 511.392
599.89/601.53 c #Conflicts: 132000 | #Constraints: 39268
599.89/601.53 c bounds -7350 >= -105465 @ 511.409
599.89/601.53 c bounds -7350 >= -105465 @ 511.423
599.89/601.53 c bounds -7350 >= -105465 @ 511.443
599.89/601.53 c bounds -7350 >= -105465 @ 511.454
599.89/601.53 c bounds -7350 >= -105465 @ 511.467
599.89/601.53 c bounds -7350 >= -105465 @ 511.481
599.89/601.53 c #Conflicts: 133000 | #Constraints: 40282
599.89/601.53 c #Conflicts: 134000 | #Constraints: 41284
599.89/601.53 c #Conflicts: 135000 | #Constraints: 42286
599.89/601.53 c #Conflicts: 136000 | #Constraints: 43290
599.89/601.53 c #Conflicts: 137000 | #Constraints: 44292
599.89/601.53 c bounds -7350 >= -101981 @ 516.999
599.89/601.53 c #Conflicts: 138000 | #Constraints: 45292
599.89/601.53 c #Conflicts: 139000 | #Constraints: 46292
599.89/601.53 c INPROCESSING
599.89/601.53 c GARBAGE COLLECT
599.89/601.53 c #Conflicts: 140000 | #Constraints: 39882
599.89/601.53 c #Conflicts: 141000 | #Constraints: 40882
599.89/601.53 c #Conflicts: 142000 | #Constraints: 41882
599.89/601.53 c #Conflicts: 143000 | #Constraints: 42882
599.89/601.53 c #Conflicts: 144000 | #Constraints: 43882
599.89/601.53 c #Conflicts: 145000 | #Constraints: 44882
599.89/601.53 c #Conflicts: 146000 | #Constraints: 45882
599.89/601.53 c #Conflicts: 147000 | #Constraints: 46882
599.89/601.53 c INPROCESSING
599.89/601.53 c GARBAGE COLLECT
599.89/601.53 c bounds -7353 >= -101981 @ 598.28
599.89/601.53 c stratification level: 245
881.90/884.49 c bounds -7353 >= -101736 @ 598.3
881.90/884.49 c #Conflicts: 148000 | #Constraints: 40518
881.90/884.49 c #Conflicts: 149000 | #Constraints: 41518
881.90/884.49 c #Conflicts: 150000 | #Constraints: 42518
881.90/884.49 c #Conflicts: 151000 | #Constraints: 43518
881.90/884.49 c #Conflicts: 152000 | #Constraints: 44518
881.90/884.49 c #Conflicts: 153000 | #Constraints: 45518
881.90/884.49 c #Conflicts: 154000 | #Constraints: 46518
881.90/884.49 c #Conflicts: 155000 | #Constraints: 47518
881.90/884.49 c INPROCESSING
881.90/884.49 c GARBAGE COLLECT
881.90/884.49 c #Conflicts: 156000 | #Constraints: 40835
881.90/884.49 c #Conflicts: 157000 | #Constraints: 41835
881.90/884.49 c #Conflicts: 158000 | #Constraints: 42835
881.90/884.49 c #Conflicts: 159000 | #Constraints: 43835
881.90/884.49 c #Conflicts: 160000 | #Constraints: 44835
881.90/884.49 c #Conflicts: 161000 | #Constraints: 45835
881.90/884.49 c #Conflicts: 162000 | #Constraints: 46835
881.90/884.49 c #Conflicts: 163000 | #Constraints: 47835
881.90/884.49 c INPROCESSING
881.90/884.49 c GARBAGE COLLECT
881.90/884.49 c #Conflicts: 164000 | #Constraints: 40888
881.90/884.49 c #Conflicts: 165000 | #Constraints: 41888
881.90/884.49 c #Conflicts: 166000 | #Constraints: 42888
881.90/884.49 c #Conflicts: 167000 | #Constraints: 43888
881.90/884.49 c #Conflicts: 168000 | #Constraints: 44888
881.90/884.49 c #Conflicts: 169000 | #Constraints: 45888
881.90/884.49 c #Conflicts: 170000 | #Constraints: 46888
881.90/884.49 c #Conflicts: 171000 | #Constraints: 47888
881.90/884.49 c INPROCESSING
881.90/884.49 c GARBAGE COLLECT
881.90/884.49 c #Conflicts: 172000 | #Constraints: 40709
881.90/884.49 c #Conflicts: 173000 | #Constraints: 41709
881.90/884.49 c #Conflicts: 174000 | #Constraints: 42709
881.90/884.49 c #Conflicts: 175000 | #Constraints: 43709
881.90/884.49 c #Conflicts: 176000 | #Constraints: 44709
881.90/884.49 c #Conflicts: 177000 | #Constraints: 45709
881.90/884.49 c #Conflicts: 178000 | #Constraints: 46709
881.90/884.49 c #Conflicts: 179000 | #Constraints: 47709
881.90/884.49 c #Conflicts: 180000 | #Constraints: 48709
881.90/884.49 c INPROCESSING
881.90/884.49 c GARBAGE COLLECT
881.90/884.49 c #Conflicts: 181000 | #Constraints: 41329
881.90/884.49 c #Conflicts: 182000 | #Constraints: 42329
881.90/884.49 c #Conflicts: 183000 | #Constraints: 43329
881.90/884.49 c #Conflicts: 184000 | #Constraints: 44329
881.90/884.49 c #Conflicts: 185000 | #Constraints: 45329
881.90/884.49 c #Conflicts: 186000 | #Constraints: 46329
881.90/884.49 c #Conflicts: 187000 | #Constraints: 47329
881.90/884.49 c #Conflicts: 188000 | #Constraints: 48329
881.90/884.49 c #Conflicts: 189000 | #Constraints: 49329
881.90/884.49 c INPROCESSING
881.90/884.49 c GARBAGE COLLECT
881.90/884.49 c #Conflicts: 190000 | #Constraints: 41759
881.90/884.49 c #Conflicts: 191000 | #Constraints: 42759
881.90/884.49 c #Conflicts: 192000 | #Constraints: 43759
881.90/884.49 c #Conflicts: 193000 | #Constraints: 44759
881.90/884.49 c #Conflicts: 194000 | #Constraints: 45759
881.90/884.49 c #Conflicts: 195000 | #Constraints: 46759
881.90/884.49 c #Conflicts: 196000 | #Constraints: 47759
881.90/884.49 c #Conflicts: 197000 | #Constraints: 48759
881.90/884.49 c #Conflicts: 198000 | #Constraints: 49759
881.90/884.49 c INPROCESSING
881.90/884.49 c GARBAGE COLLECT
881.90/884.49 c #Conflicts: 199000 | #Constraints: 41999
881.90/884.49 c #Conflicts: 200000 | #Constraints: 42999
881.90/884.49 c #Conflicts: 201000 | #Constraints: 43999
881.90/884.49 c #Conflicts: 202000 | #Constraints: 44999
881.90/884.49 c #Conflicts: 203000 | #Constraints: 45999
881.90/884.49 c #Conflicts: 204000 | #Constraints: 46999
881.90/884.49 c #Conflicts: 205000 | #Constraints: 47999
881.90/884.49 c #Conflicts: 206000 | #Constraints: 48999
881.90/884.49 c #Conflicts: 207000 | #Constraints: 49999
881.90/884.49 c INPROCESSING
881.90/884.49 c GARBAGE COLLECT
881.90/884.49 c #Conflicts: 208000 | #Constraints: 42009
881.90/884.49 c #Conflicts: 209000 | #Constraints: 43009
881.90/884.49 c #Conflicts: 210000 | #Constraints: 44009
881.90/884.49 c #Conflicts: 211000 | #Constraints: 45009
881.90/884.49 c #Conflicts: 212000 | #Constraints: 46009
881.90/884.49 c #Conflicts: 213000 | #Constraints: 47009
881.90/884.49 c #Conflicts: 214000 | #Constraints: 48009
881.90/884.49 c #Conflicts: 215000 | #Constraints: 49009
881.90/884.49 c #Conflicts: 216000 | #Constraints: 50009
881.90/884.49 c INPROCESSING
881.90/884.49 c GARBAGE COLLECT
881.90/884.49 c #Conflicts: 217000 | #Constraints: 41803
881.90/884.49 c #Conflicts: 218000 | #Constraints: 42803
881.90/884.49 c #Conflicts: 219000 | #Constraints: 43803
881.90/884.49 c #Conflicts: 220000 | #Constraints: 44803
881.90/884.49 c #Conflicts: 221000 | #Constraints: 45803
1263.06/1266.69 c #Conflicts: 222000 | #Constraints: 46803
1263.06/1266.69 c #Conflicts: 223000 | #Constraints: 47803
1263.06/1266.69 c #Conflicts: 224000 | #Constraints: 48803
1263.06/1266.69 c #Conflicts: 225000 | #Constraints: 49803
1263.06/1266.69 c #Conflicts: 226000 | #Constraints: 50803
1263.06/1266.69 c INPROCESSING
1263.06/1266.69 c GARBAGE COLLECT
1263.06/1266.69 c #Conflicts: 227000 | #Constraints: 42388
1263.06/1266.69 c #Conflicts: 228000 | #Constraints: 43388
1263.06/1266.69 c #Conflicts: 229000 | #Constraints: 44388
1263.06/1266.69 c #Conflicts: 230000 | #Constraints: 45388
1263.06/1266.69 c #Conflicts: 231000 | #Constraints: 46388
1263.06/1266.69 c #Conflicts: 232000 | #Constraints: 47388
1263.06/1266.69 c #Conflicts: 233000 | #Constraints: 48388
1263.06/1266.69 c #Conflicts: 234000 | #Constraints: 49388
1263.06/1266.69 c #Conflicts: 235000 | #Constraints: 50388
1263.06/1266.69 c #Conflicts: 236000 | #Constraints: 51388
1263.06/1266.69 c INPROCESSING
1263.06/1266.69 c GARBAGE COLLECT
1263.06/1266.69 c #Conflicts: 237000 | #Constraints: 42799
1263.06/1266.69 c #Conflicts: 238000 | #Constraints: 43799
1263.06/1266.69 c #Conflicts: 239000 | #Constraints: 44799
1263.06/1266.69 c #Conflicts: 240000 | #Constraints: 45799
1263.06/1266.69 c #Conflicts: 241000 | #Constraints: 46799
1263.06/1266.69 c #Conflicts: 242000 | #Constraints: 47799
1263.06/1266.69 c #Conflicts: 243000 | #Constraints: 48799
1263.06/1266.69 c #Conflicts: 244000 | #Constraints: 49799
1263.06/1266.69 c #Conflicts: 245000 | #Constraints: 50799
1263.06/1266.69 c #Conflicts: 246000 | #Constraints: 51799
1263.06/1266.69 c INPROCESSING
1263.06/1266.69 c GARBAGE COLLECT
1263.06/1266.69 c #Conflicts: 247000 | #Constraints: 42980
1263.06/1266.69 c #Conflicts: 248000 | #Constraints: 43980
1263.06/1266.69 c #Conflicts: 249000 | #Constraints: 44980
1263.06/1266.69 c #Conflicts: 250000 | #Constraints: 45980
1263.06/1266.69 c #Conflicts: 251000 | #Constraints: 46980
1263.06/1266.69 c #Conflicts: 252000 | #Constraints: 47980
1263.06/1266.69 c #Conflicts: 253000 | #Constraints: 48980
1263.06/1266.69 c #Conflicts: 254000 | #Constraints: 49980
1263.06/1266.69 c #Conflicts: 255000 | #Constraints: 50980
1263.06/1266.69 c #Conflicts: 256000 | #Constraints: 51980
1263.06/1266.69 c INPROCESSING
1263.06/1266.69 c GARBAGE COLLECT
1263.06/1266.69 c #Conflicts: 257000 | #Constraints: 42960
1263.06/1266.69 c #Conflicts: 258000 | #Constraints: 43960
1263.06/1266.69 c #Conflicts: 259000 | #Constraints: 44960
1263.06/1266.69 c #Conflicts: 260000 | #Constraints: 45960
1263.06/1266.69 c #Conflicts: 261000 | #Constraints: 46960
1263.06/1266.69 c #Conflicts: 262000 | #Constraints: 47960
1263.06/1266.69 c #Conflicts: 263000 | #Constraints: 48960
1263.06/1266.69 c #Conflicts: 264000 | #Constraints: 49960
1263.06/1266.69 c #Conflicts: 265000 | #Constraints: 50960
1263.06/1266.69 c #Conflicts: 266000 | #Constraints: 51960
1263.06/1266.69 c INPROCESSING
1263.06/1266.69 c GARBAGE COLLECT
1263.06/1266.69 c #Conflicts: 267000 | #Constraints: 42776
1263.06/1266.69 c #Conflicts: 268000 | #Constraints: 43776
1263.06/1266.69 c #Conflicts: 269000 | #Constraints: 44776
1263.06/1266.69 c #Conflicts: 270000 | #Constraints: 45776
1263.06/1266.69 c #Conflicts: 271000 | #Constraints: 46776
1263.06/1266.69 c #Conflicts: 272000 | #Constraints: 47776
1263.06/1266.69 c #Conflicts: 273000 | #Constraints: 48776
1263.06/1266.69 c #Conflicts: 274000 | #Constraints: 49776
1263.06/1266.69 c #Conflicts: 275000 | #Constraints: 50776
1263.06/1266.69 c #Conflicts: 276000 | #Constraints: 51776
1263.06/1266.69 c #Conflicts: 277000 | #Constraints: 52776
1263.06/1266.69 c INPROCESSING
1263.06/1266.69 c GARBAGE COLLECT
1263.06/1266.69 c #Conflicts: 278000 | #Constraints: 43387
1263.06/1266.69 c #Conflicts: 279000 | #Constraints: 44387
1263.06/1266.69 c #Conflicts: 280000 | #Constraints: 45387
1263.06/1266.69 c #Conflicts: 281000 | #Constraints: 46387
1263.06/1266.69 c #Conflicts: 282000 | #Constraints: 47387
1263.06/1266.69 c #Conflicts: 283000 | #Constraints: 48387
1263.06/1266.69 c #Conflicts: 284000 | #Constraints: 49387
1263.06/1266.69 c #Conflicts: 285000 | #Constraints: 50387
1263.06/1266.69 c #Conflicts: 286000 | #Constraints: 51387
1263.06/1266.69 c #Conflicts: 287000 | #Constraints: 52387
1263.06/1266.69 c #Conflicts: 288000 | #Constraints: 53387
1263.06/1266.69 c INPROCESSING
1263.06/1266.69 c GARBAGE COLLECT
1263.06/1266.69 c #Conflicts: 289000 | #Constraints: 43784
1263.06/1266.69 c #Conflicts: 290000 | #Constraints: 44784
1263.06/1266.69 c #Conflicts: 291000 | #Constraints: 45784
1263.06/1266.69 c #Conflicts: 292000 | #Constraints: 46784
1263.06/1266.69 c #Conflicts: 293000 | #Constraints: 47784
1263.06/1266.69 c #Conflicts: 294000 | #Constraints: 48784
1263.06/1266.69 c #Conflicts: 295000 | #Constraints: 49784
1549.61/1553.84 c #Conflicts: 296000 | #Constraints: 50784
1549.61/1553.84 c #Conflicts: 297000 | #Constraints: 51784
1549.61/1553.84 c #Conflicts: 298000 | #Constraints: 52784
1549.61/1553.84 c #Conflicts: 299000 | #Constraints: 53784
1549.61/1553.84 c INPROCESSING
1549.61/1553.84 c GARBAGE COLLECT
1549.61/1553.84 c #Conflicts: 300000 | #Constraints: 43972
1549.61/1553.84 c #Conflicts: 301000 | #Constraints: 44972
1549.61/1553.84 c #Conflicts: 302000 | #Constraints: 45972
1549.61/1553.84 c #Conflicts: 303000 | #Constraints: 46972
1549.61/1553.84 c #Conflicts: 304000 | #Constraints: 47972
1549.61/1553.84 c #Conflicts: 305000 | #Constraints: 48972
1549.61/1553.84 c #Conflicts: 306000 | #Constraints: 49972
1549.61/1553.84 c #Conflicts: 307000 | #Constraints: 50972
1549.61/1553.84 c #Conflicts: 308000 | #Constraints: 51972
1549.61/1553.84 c #Conflicts: 309000 | #Constraints: 52972
1549.61/1553.84 c #Conflicts: 310000 | #Constraints: 53972
1549.61/1553.84 c INPROCESSING
1549.61/1553.84 c GARBAGE COLLECT
1549.61/1553.84 c #Conflicts: 311000 | #Constraints: 43987
1549.61/1553.84 c #Conflicts: 312000 | #Constraints: 44987
1549.61/1553.84 c #Conflicts: 313000 | #Constraints: 45987
1549.61/1553.84 c #Conflicts: 314000 | #Constraints: 46987
1549.61/1553.84 c #Conflicts: 315000 | #Constraints: 47987
1549.61/1553.84 c #Conflicts: 316000 | #Constraints: 48987
1549.61/1553.84 c #Conflicts: 317000 | #Constraints: 49987
1549.61/1553.84 c #Conflicts: 318000 | #Constraints: 50987
1549.61/1553.84 c #Conflicts: 319000 | #Constraints: 51987
1549.61/1553.84 c #Conflicts: 320000 | #Constraints: 52987
1549.61/1553.84 c #Conflicts: 321000 | #Constraints: 53987
1549.61/1553.84 c INPROCESSING
1549.61/1553.84 c GARBAGE COLLECT
1549.61/1553.84 c #Conflicts: 322000 | #Constraints: 43780
1549.61/1553.84 c #Conflicts: 323000 | #Constraints: 44780
1549.61/1553.84 c #Conflicts: 324000 | #Constraints: 45780
1549.61/1553.84 c #Conflicts: 325000 | #Constraints: 46780
1549.61/1553.84 c #Conflicts: 326000 | #Constraints: 47780
1549.61/1553.84 c #Conflicts: 327000 | #Constraints: 48780
1549.61/1553.84 c #Conflicts: 328000 | #Constraints: 49780
1549.61/1553.84 c #Conflicts: 329000 | #Constraints: 50780
1549.61/1553.84 c #Conflicts: 330000 | #Constraints: 51780
1549.61/1553.84 c #Conflicts: 331000 | #Constraints: 52780
1549.61/1553.84 c #Conflicts: 332000 | #Constraints: 53780
1549.61/1553.84 c #Conflicts: 333000 | #Constraints: 54780
1549.61/1553.84 c INPROCESSING
1549.61/1553.84 c GARBAGE COLLECT
1549.61/1553.84 c #Conflicts: 334000 | #Constraints: 44362
1549.61/1553.84 c #Conflicts: 335000 | #Constraints: 45362
1549.61/1553.84 c #Conflicts: 336000 | #Constraints: 46362
1549.61/1553.84 c #Conflicts: 337000 | #Constraints: 47362
1549.61/1553.84 c #Conflicts: 338000 | #Constraints: 48362
1549.61/1553.84 c #Conflicts: 339000 | #Constraints: 49362
1549.61/1553.84 c #Conflicts: 340000 | #Constraints: 50362
1549.61/1553.84 c #Conflicts: 341000 | #Constraints: 51362
1549.61/1553.84 c #Conflicts: 342000 | #Constraints: 52362
1549.61/1553.84 c #Conflicts: 343000 | #Constraints: 53362
1549.61/1553.84 c #Conflicts: 344000 | #Constraints: 54362
1549.61/1553.84 c #Conflicts: 345000 | #Constraints: 55362
1549.61/1553.84 c INPROCESSING
1549.61/1553.84 c GARBAGE COLLECT
1549.61/1553.84 c #Conflicts: 346000 | #Constraints: 44754
1549.61/1553.84 c #Conflicts: 347000 | #Constraints: 45754
1549.61/1553.84 c #Conflicts: 348000 | #Constraints: 46754
1549.61/1553.84 c #Conflicts: 349000 | #Constraints: 47754
1549.61/1553.84 c #Conflicts: 350000 | #Constraints: 48754
1549.61/1553.84 c #Conflicts: 351000 | #Constraints: 49754
1549.61/1553.84 c #Conflicts: 352000 | #Constraints: 50754
1549.61/1553.84 c #Conflicts: 353000 | #Constraints: 51754
1549.61/1553.84 c #Conflicts: 354000 | #Constraints: 52754
1549.61/1553.84 c #Conflicts: 355000 | #Constraints: 53754
1549.61/1553.84 c #Conflicts: 356000 | #Constraints: 54754
1549.61/1553.84 c #Conflicts: 357000 | #Constraints: 55754
1549.61/1553.84 c INPROCESSING
1549.61/1553.84 c GARBAGE COLLECT
1549.61/1553.84 c #Conflicts: 358000 | #Constraints: 44951
1549.61/1553.84 c #Conflicts: 359000 | #Constraints: 45951
1549.61/1553.84 c #Conflicts: 360000 | #Constraints: 46951
1549.61/1553.84 c #Conflicts: 361000 | #Constraints: 47951
1549.61/1553.84 c #Conflicts: 362000 | #Constraints: 48951
1549.61/1553.84 c #Conflicts: 363000 | #Constraints: 49951
1549.61/1553.84 c #Conflicts: 364000 | #Constraints: 50951
1549.61/1553.84 c #Conflicts: 365000 | #Constraints: 51951
1549.61/1553.84 c #Conflicts: 366000 | #Constraints: 52951
1549.61/1553.84 c #Conflicts: 367000 | #Constraints: 53951
1549.61/1553.84 c #Conflicts: 368000 | #Constraints: 54951
1549.61/1553.84 c #Conflicts: 369000 | #Constraints: 55951
1549.61/1553.84 c INPROCESSING
1549.61/1553.84 c GARBAGE COLLECT
1759.53/1764.23 c #Conflicts: 370000 | #Constraints: 44952
1759.53/1764.23 c #Conflicts: 371000 | #Constraints: 45952
1759.53/1764.23 c #Conflicts: 372000 | #Constraints: 46952
1759.53/1764.23 c #Conflicts: 373000 | #Constraints: 47952
1759.53/1764.23 c #Conflicts: 374000 | #Constraints: 48952
1759.53/1764.23 c #Conflicts: 375000 | #Constraints: 49952
1759.53/1764.23 c #Conflicts: 376000 | #Constraints: 50952
1759.53/1764.23 c #Conflicts: 377000 | #Constraints: 51952
1759.53/1764.23 c #Conflicts: 378000 | #Constraints: 52952
1759.53/1764.23 c #Conflicts: 379000 | #Constraints: 53952
1759.53/1764.23 c #Conflicts: 380000 | #Constraints: 54952
1759.53/1764.23 c #Conflicts: 381000 | #Constraints: 55952
1759.53/1764.23 c INPROCESSING
1759.53/1764.23 c GARBAGE COLLECT
1759.53/1764.23 c #Conflicts: 382000 | #Constraints: 44747
1759.53/1764.23 c #Conflicts: 383000 | #Constraints: 45747
1759.53/1764.23 c #Conflicts: 384000 | #Constraints: 46747
1759.53/1764.23 c #Conflicts: 385000 | #Constraints: 47747
1759.53/1764.23 c #Conflicts: 386000 | #Constraints: 48747
1759.53/1764.23 c #Conflicts: 387000 | #Constraints: 49747
1759.53/1764.23 c #Conflicts: 388000 | #Constraints: 50747
1759.53/1764.23 c #Conflicts: 389000 | #Constraints: 51747
1759.53/1764.23 c #Conflicts: 390000 | #Constraints: 52747
1759.53/1764.23 c #Conflicts: 391000 | #Constraints: 53747
1759.53/1764.23 c #Conflicts: 392000 | #Constraints: 54747
1759.53/1764.23 c #Conflicts: 393000 | #Constraints: 55747
1759.53/1764.23 c #Conflicts: 394000 | #Constraints: 56747
1759.53/1764.23 c INPROCESSING
1759.53/1764.23 c GARBAGE COLLECT
1759.53/1764.23 c #Conflicts: 395000 | #Constraints: 45358
1759.53/1764.23 c #Conflicts: 396000 | #Constraints: 46358
1759.53/1764.23 c #Conflicts: 397000 | #Constraints: 47358
1759.53/1764.23 c #Conflicts: 398000 | #Constraints: 48358
1759.53/1764.23 c #Conflicts: 399000 | #Constraints: 49358
1759.53/1764.23 c #Conflicts: 400000 | #Constraints: 50358
1759.53/1764.23 c #Conflicts: 401000 | #Constraints: 51358
1759.53/1764.23 c #Conflicts: 402000 | #Constraints: 52358
1759.53/1764.23 c #Conflicts: 403000 | #Constraints: 53358
1759.53/1764.23 c #Conflicts: 404000 | #Constraints: 54358
1759.53/1764.23 c #Conflicts: 405000 | #Constraints: 55358
1759.53/1764.23 c #Conflicts: 406000 | #Constraints: 56358
1759.53/1764.23 c #Conflicts: 407000 | #Constraints: 57358
1759.53/1764.23 c INPROCESSING
1759.53/1764.23 c GARBAGE COLLECT
1759.53/1764.23 c #Conflicts: 408000 | #Constraints: 45752
1759.53/1764.23 c #Conflicts: 409000 | #Constraints: 46752
1759.53/1764.23 c #Conflicts: 410000 | #Constraints: 47752
1759.53/1764.23 c #Conflicts: 411000 | #Constraints: 48752
1759.53/1764.23 c #Conflicts: 412000 | #Constraints: 49752
1759.53/1764.23 c #Conflicts: 413000 | #Constraints: 50752
1759.53/1764.23 c #Conflicts: 414000 | #Constraints: 51752
1759.53/1764.23 c #Conflicts: 415000 | #Constraints: 52752
1759.53/1764.23 c #Conflicts: 416000 | #Constraints: 53752
1759.53/1764.23 c #Conflicts: 417000 | #Constraints: 54752
1759.53/1764.23 c #Conflicts: 418000 | #Constraints: 55752
1759.53/1764.23 c #Conflicts: 419000 | #Constraints: 56752
1759.53/1764.23 c #Conflicts: 420000 | #Constraints: 57752
1759.53/1764.23 c INPROCESSING
1759.53/1764.23 c GARBAGE COLLECT
1759.53/1764.23 c #Conflicts: 421000 | #Constraints: 45969
1759.53/1764.23 c #Conflicts: 422000 | #Constraints: 46969
1759.53/1764.23 c #Conflicts: 423000 | #Constraints: 47969
1759.53/1764.23 c #Conflicts: 424000 | #Constraints: 48969
1759.53/1764.23 c #Conflicts: 425000 | #Constraints: 49969
1759.53/1764.23 c #Conflicts: 426000 | #Constraints: 50969
1759.53/1764.23 c #Conflicts: 427000 | #Constraints: 51969
1759.53/1764.23 c #Conflicts: 428000 | #Constraints: 52969
1759.53/1764.23 c #Conflicts: 429000 | #Constraints: 53969
1759.53/1764.23 c #Conflicts: 430000 | #Constraints: 54969
1759.53/1764.23 c #Conflicts: 431000 | #Constraints: 55969
1759.53/1764.23 c #Conflicts: 432000 | #Constraints: 56969
1759.53/1764.23 c #Conflicts: 433000 | #Constraints: 57969
1759.53/1764.23 c INPROCESSING
1759.53/1764.23 c GARBAGE COLLECT
1759.53/1764.23 c #Conflicts: 434000 | #Constraints: 45969
1759.53/1764.23 c #Conflicts: 435000 | #Constraints: 46969
1759.53/1764.23 c #Conflicts: 436000 | #Constraints: 47969
1759.53/1764.23 c #Conflicts: 437000 | #Constraints: 48969
1759.53/1764.23 c #Conflicts: 438000 | #Constraints: 49969
1759.53/1764.23 c #Conflicts: 439000 | #Constraints: 50969
1759.53/1764.23 c #Conflicts: 440000 | #Constraints: 51969
1759.53/1764.23 c #Conflicts: 441000 | #Constraints: 52969
1759.53/1764.23 c #Conflicts: 442000 | #Constraints: 53969
1759.53/1764.23 c #Conflicts: 443000 | #Constraints: 54969
1759.53/1764.23 c #Conflicts: 444000 | #Constraints: 55969
1759.53/1764.23 c #Conflicts: 445000 | #Constraints: 56969
2209.19/2215.00 c #Conflicts: 446000 | #Constraints: 57969
2209.19/2215.00 c INPROCESSING
2209.19/2215.00 c GARBAGE COLLECT
2209.19/2215.00 c #Conflicts: 447000 | #Constraints: 45803
2209.19/2215.00 c #Conflicts: 448000 | #Constraints: 46803
2209.19/2215.00 c #Conflicts: 449000 | #Constraints: 47803
2209.19/2215.00 c #Conflicts: 450000 | #Constraints: 48803
2209.19/2215.00 c #Conflicts: 451000 | #Constraints: 49803
2209.19/2215.00 c #Conflicts: 452000 | #Constraints: 50803
2209.19/2215.00 c #Conflicts: 453000 | #Constraints: 51803
2209.19/2215.00 c #Conflicts: 454000 | #Constraints: 52803
2209.19/2215.00 c #Conflicts: 455000 | #Constraints: 53803
2209.19/2215.00 c #Conflicts: 456000 | #Constraints: 54803
2209.19/2215.00 c #Conflicts: 457000 | #Constraints: 55803
2209.19/2215.00 c #Conflicts: 458000 | #Constraints: 56803
2209.19/2215.00 c #Conflicts: 459000 | #Constraints: 57803
2209.19/2215.00 c #Conflicts: 460000 | #Constraints: 58803
2209.19/2215.00 c INPROCESSING
2209.19/2215.00 c GARBAGE COLLECT
2209.19/2215.00 c #Conflicts: 461000 | #Constraints: 46421
2209.19/2215.00 c #Conflicts: 462000 | #Constraints: 47421
2209.19/2215.00 c #Conflicts: 463000 | #Constraints: 48421
2209.19/2215.00 c #Conflicts: 464000 | #Constraints: 49421
2209.19/2215.00 c #Conflicts: 465000 | #Constraints: 50421
2209.19/2215.00 c #Conflicts: 466000 | #Constraints: 51421
2209.19/2215.00 c #Conflicts: 467000 | #Constraints: 52421
2209.19/2215.00 c #Conflicts: 468000 | #Constraints: 53421
2209.19/2215.00 c #Conflicts: 469000 | #Constraints: 54421
2209.19/2215.00 c #Conflicts: 470000 | #Constraints: 55421
2209.19/2215.00 c #Conflicts: 471000 | #Constraints: 56421
2209.19/2215.00 c #Conflicts: 472000 | #Constraints: 57421
2209.19/2215.00 c #Conflicts: 473000 | #Constraints: 58421
2209.19/2215.00 c #Conflicts: 474000 | #Constraints: 59421
2209.19/2215.00 c INPROCESSING
2209.19/2215.00 c GARBAGE COLLECT
2209.19/2215.00 c #Conflicts: 475000 | #Constraints: 46795
2209.19/2215.00 c #Conflicts: 476000 | #Constraints: 47795
2209.19/2215.00 c #Conflicts: 477000 | #Constraints: 48795
2209.19/2215.00 c #Conflicts: 478000 | #Constraints: 49795
2209.19/2215.00 c #Conflicts: 479000 | #Constraints: 50795
2209.19/2215.00 c #Conflicts: 480000 | #Constraints: 51795
2209.19/2215.00 c #Conflicts: 481000 | #Constraints: 52795
2209.19/2215.00 c #Conflicts: 482000 | #Constraints: 53795
2209.19/2215.00 c #Conflicts: 483000 | #Constraints: 54795
2209.19/2215.00 c #Conflicts: 484000 | #Constraints: 55795
2209.19/2215.00 c #Conflicts: 485000 | #Constraints: 56795
2209.19/2215.00 c #Conflicts: 486000 | #Constraints: 57795
2209.19/2215.00 c #Conflicts: 487000 | #Constraints: 58795
2209.19/2215.00 c #Conflicts: 488000 | #Constraints: 59795
2209.19/2215.00 c INPROCESSING
2209.19/2215.00 c GARBAGE COLLECT
2209.19/2215.00 c #Conflicts: 489000 | #Constraints: 47004
2209.19/2215.00 c #Conflicts: 490000 | #Constraints: 48004
2209.19/2215.00 c #Conflicts: 491000 | #Constraints: 49004
2209.19/2215.00 c #Conflicts: 492000 | #Constraints: 50004
2209.19/2215.00 c #Conflicts: 493000 | #Constraints: 51004
2209.19/2215.00 c #Conflicts: 494000 | #Constraints: 52004
2209.19/2215.00 c #Conflicts: 495000 | #Constraints: 53004
2209.19/2215.00 c #Conflicts: 496000 | #Constraints: 54004
2209.19/2215.00 c #Conflicts: 497000 | #Constraints: 55004
2209.19/2215.00 c #Conflicts: 498000 | #Constraints: 56004
2209.19/2215.00 c #Conflicts: 499000 | #Constraints: 57004
2209.19/2215.00 c #Conflicts: 500000 | #Constraints: 58004
2209.19/2215.00 c #Conflicts: 501000 | #Constraints: 59004
2209.19/2215.00 c #Conflicts: 502000 | #Constraints: 60004
2209.19/2215.00 c INPROCESSING
2209.19/2215.00 c GARBAGE COLLECT
2209.19/2215.00 c #Conflicts: 503000 | #Constraints: 47013
2209.19/2215.00 c #Conflicts: 504000 | #Constraints: 48013
2209.19/2215.00 c #Conflicts: 505000 | #Constraints: 49013
2209.19/2215.00 c #Conflicts: 506000 | #Constraints: 50013
2209.19/2215.00 c #Conflicts: 507000 | #Constraints: 51013
2209.19/2215.00 c #Conflicts: 508000 | #Constraints: 52013
2209.19/2215.00 c #Conflicts: 509000 | #Constraints: 53013
2209.19/2215.00 c #Conflicts: 510000 | #Constraints: 54013
2209.19/2215.00 c #Conflicts: 511000 | #Constraints: 55013
2209.19/2215.00 c #Conflicts: 512000 | #Constraints: 56013
2209.19/2215.00 c #Conflicts: 513000 | #Constraints: 57013
2209.19/2215.00 c #Conflicts: 514000 | #Constraints: 58013
2209.19/2215.00 c #Conflicts: 515000 | #Constraints: 59013
2209.19/2215.00 c #Conflicts: 516000 | #Constraints: 60013
2209.19/2215.00 c INPROCESSING
2209.19/2215.00 c GARBAGE COLLECT
2209.19/2215.00 c #Conflicts: 517000 | #Constraints: 46800
2209.19/2215.00 c #Conflicts: 518000 | #Constraints: 47800
2209.19/2215.00 c #Conflicts: 519000 | #Constraints: 48800
2209.19/2215.00 c #Conflicts: 520000 | #Constraints: 49800
2493.98/2500.62 c #Conflicts: 521000 | #Constraints: 50800
2493.98/2500.62 c #Conflicts: 522000 | #Constraints: 51800
2493.98/2500.62 c #Conflicts: 523000 | #Constraints: 52800
2493.98/2500.62 c #Conflicts: 524000 | #Constraints: 53800
2493.98/2500.62 c #Conflicts: 525000 | #Constraints: 54800
2493.98/2500.62 c #Conflicts: 526000 | #Constraints: 55800
2493.98/2500.62 c #Conflicts: 527000 | #Constraints: 56800
2493.98/2500.62 c #Conflicts: 528000 | #Constraints: 57800
2493.98/2500.62 c #Conflicts: 529000 | #Constraints: 58800
2493.98/2500.62 c #Conflicts: 530000 | #Constraints: 59800
2493.98/2500.62 c #Conflicts: 531000 | #Constraints: 60800
2493.98/2500.62 c INPROCESSING
2493.98/2500.62 c GARBAGE COLLECT
2493.98/2500.62 c #Conflicts: 532000 | #Constraints: 47417
2493.98/2500.62 c #Conflicts: 533000 | #Constraints: 48417
2493.98/2500.62 c #Conflicts: 534000 | #Constraints: 49417
2493.98/2500.62 c #Conflicts: 535000 | #Constraints: 50417
2493.98/2500.62 c #Conflicts: 536000 | #Constraints: 51417
2493.98/2500.62 c #Conflicts: 537000 | #Constraints: 52417
2493.98/2500.62 c #Conflicts: 538000 | #Constraints: 53417
2493.98/2500.62 c #Conflicts: 539000 | #Constraints: 54417
2493.98/2500.62 c #Conflicts: 540000 | #Constraints: 55417
2493.98/2500.62 c #Conflicts: 541000 | #Constraints: 56417
2493.98/2500.62 c #Conflicts: 542000 | #Constraints: 57417
2493.98/2500.62 c #Conflicts: 543000 | #Constraints: 58417
2493.98/2500.62 c #Conflicts: 544000 | #Constraints: 59417
2493.98/2500.62 c #Conflicts: 545000 | #Constraints: 60417
2493.98/2500.62 c #Conflicts: 546000 | #Constraints: 61417
2493.98/2500.62 c INPROCESSING
2493.98/2500.62 c GARBAGE COLLECT
2493.98/2500.62 c #Conflicts: 547000 | #Constraints: 47799
2493.98/2500.62 c #Conflicts: 548000 | #Constraints: 48799
2493.98/2500.62 c #Conflicts: 549000 | #Constraints: 49799
2493.98/2500.62 c #Conflicts: 550000 | #Constraints: 50799
2493.98/2500.62 c #Conflicts: 551000 | #Constraints: 51799
2493.98/2500.62 c #Conflicts: 552000 | #Constraints: 52799
2493.98/2500.62 c #Conflicts: 553000 | #Constraints: 53799
2493.98/2500.62 c #Conflicts: 554000 | #Constraints: 54799
2493.98/2500.62 c #Conflicts: 555000 | #Constraints: 55799
2493.98/2500.62 c #Conflicts: 556000 | #Constraints: 56799
2493.98/2500.62 c #Conflicts: 557000 | #Constraints: 57799
2493.98/2500.62 c #Conflicts: 558000 | #Constraints: 58799
2493.98/2500.62 c #Conflicts: 559000 | #Constraints: 59799
2493.98/2500.62 c #Conflicts: 560000 | #Constraints: 60799
2493.98/2500.62 c #Conflicts: 561000 | #Constraints: 61799
2493.98/2500.62 c INPROCESSING
2493.98/2500.62 c GARBAGE COLLECT
2493.98/2500.62 c #Conflicts: 562000 | #Constraints: 47998
2493.98/2500.62 c #Conflicts: 563000 | #Constraints: 48998
2493.98/2500.62 c #Conflicts: 564000 | #Constraints: 49998
2493.98/2500.62 c #Conflicts: 565000 | #Constraints: 50998
2493.98/2500.62 c #Conflicts: 566000 | #Constraints: 51998
2493.98/2500.62 c #Conflicts: 567000 | #Constraints: 52998
2493.98/2500.62 c #Conflicts: 568000 | #Constraints: 53998
2493.98/2500.62 c #Conflicts: 569000 | #Constraints: 54998
2493.98/2500.62 c #Conflicts: 570000 | #Constraints: 55998
2493.98/2500.62 c #Conflicts: 571000 | #Constraints: 56998
2493.98/2500.62 c #Conflicts: 572000 | #Constraints: 57998
2493.98/2500.62 c #Conflicts: 573000 | #Constraints: 58998
2493.98/2500.62 c #Conflicts: 574000 | #Constraints: 59998
2493.98/2500.62 c #Conflicts: 575000 | #Constraints: 60998
2493.98/2500.62 c #Conflicts: 576000 | #Constraints: 61998
2493.98/2500.62 c INPROCESSING
2493.98/2500.62 c GARBAGE COLLECT
2493.98/2500.62 c #Conflicts: 577000 | #Constraints: 47999
2493.98/2500.62 c #Conflicts: 578000 | #Constraints: 48999
2493.98/2500.62 c #Conflicts: 579000 | #Constraints: 49999
2493.98/2500.62 c #Conflicts: 580000 | #Constraints: 50999
2493.98/2500.62 c #Conflicts: 581000 | #Constraints: 51999
2493.98/2500.62 c #Conflicts: 582000 | #Constraints: 52999
2493.98/2500.62 c #Conflicts: 583000 | #Constraints: 53999
2493.98/2500.62 c #Conflicts: 584000 | #Constraints: 54999
2493.98/2500.62 c #Conflicts: 585000 | #Constraints: 55999
2493.98/2500.62 c #Conflicts: 586000 | #Constraints: 56999
2493.98/2500.62 c #Conflicts: 587000 | #Constraints: 57999
2493.98/2500.62 c #Conflicts: 588000 | #Constraints: 58999
2493.98/2500.62 c #Conflicts: 589000 | #Constraints: 59999
2493.98/2500.62 c #Conflicts: 590000 | #Constraints: 60999
2493.98/2500.62 c #Conflicts: 591000 | #Constraints: 61999
2493.98/2500.62 c INPROCESSING
2493.98/2500.62 c GARBAGE COLLECT
2493.98/2500.62 c #Conflicts: 592000 | #Constraints: 47802
2493.98/2500.62 c #Conflicts: 593000 | #Constraints: 48802
2493.98/2500.62 c #Conflicts: 594000 | #Constraints: 49802
2493.98/2500.62 c #Conflicts: 595000 | #Constraints: 50802
2794.93/2802.48 c #Conflicts: 596000 | #Constraints: 51802
2794.93/2802.48 c #Conflicts: 597000 | #Constraints: 52802
2794.93/2802.48 c #Conflicts: 598000 | #Constraints: 53802
2794.93/2802.48 c #Conflicts: 599000 | #Constraints: 54802
2794.93/2802.48 c #Conflicts: 600000 | #Constraints: 55802
2794.93/2802.48 c #Conflicts: 601000 | #Constraints: 56802
2794.93/2802.48 c #Conflicts: 602000 | #Constraints: 57802
2794.93/2802.48 c #Conflicts: 603000 | #Constraints: 58802
2794.93/2802.48 c #Conflicts: 604000 | #Constraints: 59802
2794.93/2802.48 c #Conflicts: 605000 | #Constraints: 60802
2794.93/2802.48 c #Conflicts: 606000 | #Constraints: 61802
2794.93/2802.48 c #Conflicts: 607000 | #Constraints: 62802
2794.93/2802.48 c INPROCESSING
2794.93/2802.48 c GARBAGE COLLECT
2794.93/2802.48 c #Conflicts: 608000 | #Constraints: 48414
2794.93/2802.48 c #Conflicts: 609000 | #Constraints: 49414
2794.93/2802.48 c #Conflicts: 610000 | #Constraints: 50414
2794.93/2802.48 c #Conflicts: 611000 | #Constraints: 51414
2794.93/2802.48 c #Conflicts: 612000 | #Constraints: 52414
2794.93/2802.48 c #Conflicts: 613000 | #Constraints: 53414
2794.93/2802.48 c #Conflicts: 614000 | #Constraints: 54414
2794.93/2802.48 c #Conflicts: 615000 | #Constraints: 55414
2794.93/2802.48 c #Conflicts: 616000 | #Constraints: 56414
2794.93/2802.48 c #Conflicts: 617000 | #Constraints: 57414
2794.93/2802.48 c #Conflicts: 618000 | #Constraints: 58414
2794.93/2802.48 c #Conflicts: 619000 | #Constraints: 59414
2794.93/2802.48 c #Conflicts: 620000 | #Constraints: 60414
2794.93/2802.48 c #Conflicts: 621000 | #Constraints: 61414
2794.93/2802.48 c #Conflicts: 622000 | #Constraints: 62414
2794.93/2802.48 c #Conflicts: 623000 | #Constraints: 63414
2794.93/2802.48 c INPROCESSING
2794.93/2802.48 c GARBAGE COLLECT
2794.93/2802.48 c #Conflicts: 624000 | #Constraints: 48811
2794.93/2802.48 c #Conflicts: 625000 | #Constraints: 49811
2794.93/2802.48 c #Conflicts: 626000 | #Constraints: 50811
2794.93/2802.48 c #Conflicts: 627000 | #Constraints: 51811
2794.93/2802.48 c #Conflicts: 628000 | #Constraints: 52811
2794.93/2802.48 c #Conflicts: 629000 | #Constraints: 53811
2794.93/2802.48 c #Conflicts: 630000 | #Constraints: 54811
2794.93/2802.48 c #Conflicts: 631000 | #Constraints: 55811
2794.93/2802.48 c #Conflicts: 632000 | #Constraints: 56811
2794.93/2802.48 c #Conflicts: 633000 | #Constraints: 57811
2794.93/2802.48 c #Conflicts: 634000 | #Constraints: 58811
2794.93/2802.48 c #Conflicts: 635000 | #Constraints: 59811
2794.93/2802.48 c #Conflicts: 636000 | #Constraints: 60811
2794.93/2802.48 c #Conflicts: 637000 | #Constraints: 61811
2794.93/2802.48 c #Conflicts: 638000 | #Constraints: 62811
2794.93/2802.48 c #Conflicts: 639000 | #Constraints: 63811
2794.93/2802.48 c INPROCESSING
2794.93/2802.48 c GARBAGE COLLECT
2794.93/2802.48 c #Conflicts: 640000 | #Constraints: 49024
2794.93/2802.48 c #Conflicts: 641000 | #Constraints: 50024
2794.93/2802.48 c #Conflicts: 642000 | #Constraints: 51024
2794.93/2802.48 c #Conflicts: 643000 | #Constraints: 52024
2794.93/2802.48 c #Conflicts: 644000 | #Constraints: 53024
2794.93/2802.48 c #Conflicts: 645000 | #Constraints: 54024
2794.93/2802.48 c #Conflicts: 646000 | #Constraints: 55024
2794.93/2802.48 c #Conflicts: 647000 | #Constraints: 56024
2794.93/2802.48 c #Conflicts: 648000 | #Constraints: 57024
2794.93/2802.48 c #Conflicts: 649000 | #Constraints: 58024
2794.93/2802.48 c #Conflicts: 650000 | #Constraints: 59024
2794.93/2802.48 c #Conflicts: 651000 | #Constraints: 60024
2794.93/2802.48 c #Conflicts: 652000 | #Constraints: 61024
2794.93/2802.48 c #Conflicts: 653000 | #Constraints: 62024
2794.93/2802.48 c #Conflicts: 654000 | #Constraints: 63024
2794.93/2802.48 c #Conflicts: 655000 | #Constraints: 64024
2794.93/2802.48 c INPROCESSING
2794.93/2802.48 c GARBAGE COLLECT
2794.93/2802.48 c #Conflicts: 656000 | #Constraints: 49058
2794.93/2802.48 c #Conflicts: 657000 | #Constraints: 50058
2794.93/2802.48 c #Conflicts: 658000 | #Constraints: 51058
2794.93/2802.48 c #Conflicts: 659000 | #Constraints: 52058
2794.93/2802.48 c #Conflicts: 660000 | #Constraints: 53058
2794.93/2802.48 c #Conflicts: 661000 | #Constraints: 54058
2794.93/2802.48 c bounds -7353 >= -101491 @ 2760.59
2794.93/2802.48 c #Conflicts: 662000 | #Constraints: 55059
2794.93/2802.48 c #Conflicts: 663000 | #Constraints: 56059
2794.93/2802.48 c #Conflicts: 664000 | #Constraints: 57059
2794.93/2802.48 c #Conflicts: 665000 | #Constraints: 58059
2794.93/2802.48 c #Conflicts: 666000 | #Constraints: 59059
2794.93/2802.48 c #Conflicts: 667000 | #Constraints: 60059
2794.93/2802.48 c #Conflicts: 668000 | #Constraints: 61059
2794.93/2802.48 c #Conflicts: 669000 | #Constraints: 62059
2794.93/2802.48 c #Conflicts: 670000 | #Constraints: 63059
2794.93/2802.48 c #Conflicts: 671000 | #Constraints: 64059
2846.29/2853.93 c INPROCESSING
2846.29/2853.93 c GARBAGE COLLECT
2846.29/2853.93 c #Conflicts: 672000 | #Constraints: 42992
2846.29/2853.93 c #Conflicts: 673000 | #Constraints: 43992
2846.29/2853.93 c #Conflicts: 674000 | #Constraints: 44992
2846.29/2853.93 c #Conflicts: 675000 | #Constraints: 45992
2846.29/2853.93 c #Conflicts: 676000 | #Constraints: 46992
2846.29/2853.93 c #Conflicts: 677000 | #Constraints: 47992
2846.29/2853.93 c #Conflicts: 678000 | #Constraints: 48992
2846.29/2853.93 c #Conflicts: 679000 | #Constraints: 49992
2846.29/2853.93 c finalizing WCE round: reformulating cores
2849.39/2857.10 c #Conflicts: 680000 | #Constraints: 50995
2849.39/2857.10 c bounds -7358 >= -101491 @ 2843.27
2849.39/2857.10 c bounds -7366 >= -101491 @ 2843.28
2849.39/2857.10 c stratification level: 243
2956.39/2964.37 c bounds -7366 >= -101248 @ 2843.32
2956.39/2964.37 c #Conflicts: 681000 | #Constraints: 51997
2956.39/2964.37 c #Conflicts: 682000 | #Constraints: 52997
2956.39/2964.37 c #Conflicts: 683000 | #Constraints: 53997
2956.39/2964.37 c #Conflicts: 684000 | #Constraints: 54997
2956.39/2964.37 c #Conflicts: 685000 | #Constraints: 55997
2956.39/2964.37 c #Conflicts: 686000 | #Constraints: 56997
2956.39/2964.37 c #Conflicts: 687000 | #Constraints: 57997
2956.39/2964.37 c #Conflicts: 688000 | #Constraints: 58997
2956.39/2964.37 c INPROCESSING
2956.39/2964.37 c GARBAGE COLLECT
2956.39/2964.37 c #Conflicts: 689000 | #Constraints: 46437
2956.39/2964.37 c #Conflicts: 690000 | #Constraints: 47437
2956.39/2964.37 c finalizing WCE round: reformulating cores
3600.08/3609.61 c #Conflicts: 691000 | #Constraints: 48440
3600.08/3609.61 c bounds -7381 >= -101248 @ 2953.12
3600.08/3609.61 c #Conflicts: 692000 | #Constraints: 49440
3600.08/3609.61 c #Conflicts: 693000 | #Constraints: 50440
3600.08/3609.61 c #Conflicts: 694000 | #Constraints: 51440
3600.08/3609.61 c #Conflicts: 695000 | #Constraints: 52440
3600.08/3609.61 c #Conflicts: 696000 | #Constraints: 53440
3600.08/3609.61 c #Conflicts: 697000 | #Constraints: 54440
3600.08/3609.61 c #Conflicts: 698000 | #Constraints: 55440
3600.08/3609.61 c #Conflicts: 699000 | #Constraints: 56440
3600.08/3609.61 c #Conflicts: 700000 | #Constraints: 57440
3600.08/3609.61 c #Conflicts: 701000 | #Constraints: 58440
3600.08/3609.61 c #Conflicts: 702000 | #Constraints: 59440
3600.08/3609.61 c #Conflicts: 703000 | #Constraints: 60440
3600.08/3609.61 c #Conflicts: 704000 | #Constraints: 61440
3600.08/3609.61 c #Conflicts: 705000 | #Constraints: 62440
3600.08/3609.61 c INPROCESSING
3600.08/3609.61 c GARBAGE COLLECT
3600.08/3609.61 c #Conflicts: 706000 | #Constraints: 48276
3600.08/3609.61 c #Conflicts: 707000 | #Constraints: 49276
3600.08/3609.61 c #Conflicts: 708000 | #Constraints: 50276
3600.08/3609.61 c #Conflicts: 709000 | #Constraints: 51276
3600.08/3609.61 c #Conflicts: 710000 | #Constraints: 52276
3600.08/3609.61 c #Conflicts: 711000 | #Constraints: 53276
3600.08/3609.61 c #Conflicts: 712000 | #Constraints: 54276
3600.08/3609.61 c #Conflicts: 713000 | #Constraints: 55276
3600.08/3609.61 c #Conflicts: 714000 | #Constraints: 56276
3600.08/3609.61 c #Conflicts: 715000 | #Constraints: 57276
3600.08/3609.61 c #Conflicts: 716000 | #Constraints: 58276
3600.08/3609.61 c #Conflicts: 717000 | #Constraints: 59276
3600.08/3609.61 c #Conflicts: 718000 | #Constraints: 60276
3600.08/3609.61 c #Conflicts: 719000 | #Constraints: 61276
3600.08/3609.61 c #Conflicts: 720000 | #Constraints: 62276
3600.08/3609.61 c #Conflicts: 721000 | #Constraints: 63276
3600.08/3609.61 c #Conflicts: 722000 | #Constraints: 64276
3600.08/3609.61 c INPROCESSING
3600.08/3609.61 c GARBAGE COLLECT
3600.08/3609.61 c #Conflicts: 723000 | #Constraints: 49186
3600.08/3609.61 c #Conflicts: 724000 | #Constraints: 50186
3600.08/3609.61 c #Conflicts: 725000 | #Constraints: 51186
3600.08/3609.61 c #Conflicts: 726000 | #Constraints: 52186
3600.08/3609.61 c #Conflicts: 727000 | #Constraints: 53186
3600.08/3609.61 c #Conflicts: 728000 | #Constraints: 54186
3600.08/3609.61 c #Conflicts: 729000 | #Constraints: 55186
3600.08/3609.61 c #Conflicts: 730000 | #Constraints: 56186
3600.08/3609.61 c #Conflicts: 731000 | #Constraints: 57186
3600.08/3609.61 c #Conflicts: 732000 | #Constraints: 58186
3600.08/3609.61 c #Conflicts: 733000 | #Constraints: 59186
3600.08/3609.61 c #Conflicts: 734000 | #Constraints: 60186
3600.08/3609.61 c #Conflicts: 735000 | #Constraints: 61186
3600.08/3609.61 c #Conflicts: 736000 | #Constraints: 62186
3600.08/3609.61 c #Conflicts: 737000 | #Constraints: 63186
3600.08/3609.61 c #Conflicts: 738000 | #Constraints: 64186
3600.08/3609.61 c #Conflicts: 739000 | #Constraints: 65186
3600.08/3609.61 c INPROCESSING
3600.08/3609.61 c GARBAGE COLLECT
3600.08/3609.61 c #Conflicts: 740000 | #Constraints: 49545
3600.08/3609.61 c #Conflicts: 741000 | #Constraints: 50545
3600.08/3609.61 c #Conflicts: 742000 | #Constraints: 51545
3600.08/3609.61 c #Conflicts: 743000 | #Constraints: 52545
3600.08/3609.61 c #Conflicts: 744000 | #Constraints: 53545
3600.08/3609.61 c #Conflicts: 745000 | #Constraints: 54545
3600.08/3609.61 c Program interrupted by user.
3600.08/3609.61 c cpu time 3593.05 s
3600.08/3609.61 c deterministic time 904020787386 9.04e+11
3600.08/3609.61 c optimization time 83.4284 s
3600.08/3609.61 c total solve time 3509.57 s
3600.08/3609.61 c core-guided solve time 3509.57 s
3600.08/3609.61 c propagation time 3115.11 s
3600.08/3609.61 c conflict analysis time 438.203 s
3600.08/3609.61 c propagations 187313701
3600.08/3609.61 c resolve steps 8125312
3600.08/3609.61 c decisions 4789455
3600.08/3609.61 c conflicts 745741
3600.08/3609.61 c restarts 1548
3600.08/3609.61 c inprocessing phases 77
3600.08/3609.61 c input clauses 32060
3600.08/3609.61 c input cardinalities 3
3600.08/3609.61 c input general constraints 625
3600.08/3609.61 c input average constraint length 5.50
3600.08/3609.61 c input average constraint degree 910.00
3600.08/3609.61 c learned clauses 301117
3600.08/3609.61 c learned cardinalities 2
3600.08/3609.61 c learned general constraints 444374
3600.08/3609.61 c learned average constraint length 1234.71
3600.08/3609.61 c learned average constraint degree 179663521.74
3600.08/3609.61 c watched constraints 429804
3600.08/3609.61 c counting constraints 15195
3600.08/3609.61 c gcd simplifications 118605
3600.08/3609.61 c detected cardinalities 2
3600.08/3609.61 c weakened non-implied lits 279614066
3600.08/3609.61 c weakened non-implying lits 1607751
3600.08/3609.61 c original variables 2023
3600.08/3609.61 c clausal propagations 45383575
3600.08/3609.61 c cardinality propagations 292
3600.08/3609.61 c watched propagations 69940017
3600.08/3609.61 c counting propagations 70789163
3600.08/3609.61 c watch lookups 6221954769
3600.08/3609.61 c watch backjump lookups 3668449457
3600.08/3609.61 c watch checks 819853741176
3600.08/3609.61 c propagation checks 69439162766
3600.08/3609.61 c constraint additions 4452529334
3600.08/3609.61 c trail pops 192846727
3600.08/3609.61 c formula constraints 31798
3600.08/3609.61 c learned constraints 745493
3600.08/3609.61 c bound constraints 47
3600.08/3609.61 c core-guided constraints 843
3600.08/3609.61 c encountered formula constraints 6272899
3600.08/3609.61 c encountered learned constraints 2589521
3600.08/3609.61 c encountered bound constraints 4544
3600.08/3609.61 c encountered core-guided constraints 4089
3600.08/3609.61 c LP total time 0 s
3600.08/3609.61 c LP solve time 0 s
3600.08/3609.61 c LP constraints added 0
3600.08/3609.61 c LP constraints removed 0
3600.08/3609.61 c LP pivots internal 0
3600.08/3609.61 c LP pivots root 0
3600.08/3609.61 c LP calls 0
3600.08/3609.61 c LP optimalities 0
3600.08/3609.61 c LP no pivot count 0
3600.08/3609.61 c LP infeasibilities 0
3600.08/3609.61 c LP valid Farkas constraints 0
3600.08/3609.61 c LP learned Farkas constraints 0
3600.08/3609.61 c LP basis resets 0
3600.08/3609.61 c LP cycling count 0
3600.08/3609.61 c LP singular count 0
3600.08/3609.61 c LP no primal count 0
3600.08/3609.61 c LP no farkas count 0
3600.08/3609.61 c LP other issue count 0
3600.08/3609.61 c LP Gomory cuts 0
3600.08/3609.61 c LP learned cuts 0
3600.08/3609.61 c LP deleted cuts 0
3600.08/3609.61 c LP encountered Gomory constraints 0
3600.08/3609.61 c LP encountered Farkas constraints 0
3600.08/3609.61 c LP encountered learned Farkas constraints 0
3600.08/3609.61 c CG auxiliary variables introduced 289
3600.08/3609.61 c CG solutions found 17
3600.08/3609.61 c CG cores constructed 23
3600.08/3609.61 c CG core cardinality constraints returned 0
3600.08/3609.61 c CG unit cores 1
3600.08/3609.61 c CG single cores 12
3600.08/3609.61 c CG blocks removed during cardinality reduction 112
3600.08/3609.61 c CG first core best 1
3600.08/3609.61 c CG decision core best 2
3600.08/3609.61 c CG core reduction tie 7
3600.08/3609.61 c CG core degree average 1.00
3600.08/3609.61 c CG core slack average 1.41
3600.08/3609.61 c CG exhausted 265
3600.08/3609.61 c CG exhaust time 29.2708 s
3600.08/3609.61 c CG trimmed 1
3600.08/3609.61 c CG trim time 0.165436 s
3600.08/3609.61 c CG minimized 0
3600.08/3609.61 c CG minimize time 0 s
3600.08/3609.61 c CG am1 prop time 0.333305 s
3600.08/3609.61 c CG # am1s reformulated 1
3600.08/3609.61 c CG lower bound derived from am1s 309
3600.08/3609.61 c CG # clausal cores 10
3600.08/3609.61 c CG # cardinality cores 0
3600.08/3609.61 c CG # pb cores 22
3600.08/3609.61 c CG # pb reforms 19
3600.08/3609.61 c CG # cores discarded because of pb reform 0
3600.08/3609.61 d LOWERBOUND -101248
3600.08/3609.61 d NCORES 23
3600.08/3609.61 d NPBCORES 22
3600.08/3609.61 d NPBREFORM 19
3600.08/3609.61 d NTRIMMED 1
3600.08/3609.61 d NEXHAUSTED 265
3600.08/3609.61 d NAM1S 1
3600.08/3609.61 d AM1LB 309
3600.08/3609.61 o -7381
3600.08/3609.61 s SATISFIABLE
3600.08/3609.61 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: 63931 MiB (58827 MiB free)
memory of node 1: 64510 MiB (61530 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436056-1721126768/watcher-4436056-1721126768 -o /tmp/evaluation-result-4436056-1721126768/solver-4436056-1721126768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721119560-865521 --watchdog 3760 pb-oll-rs HOME/instance-4436056-1721126768.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=871812, runsolver pid=871809
[startup+0.100644 s]*
/proc/loadavg: 4.13 4.12 4.09 5/254 871813
/proc/meminfo: memFree=123241732/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=41092 memory=10472 CPUtime=0.09 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 1036 0 0 0 7 2 0 0 20 0 1 0 164844236 42078208 2618 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 10273 2618 1373 291 0 1807 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41092 KiB
Current children cumulated memory: 10472 KiB
[startup+0.205628 s]*
/proc/loadavg: 4.13 4.12 4.09 5/254 871813
/proc/meminfo: memFree=123241060/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=41756 memory=11264 CPUtime=0.19 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 1201 0 0 0 17 2 0 0 20 0 1 0 164844236 42758144 2816 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 10439 2816 1373 291 0 1973 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41756 KiB
Current children cumulated memory: 11264 KiB
[startup+0.305478 s]*
/proc/loadavg: 4.13 4.12 4.09 5/254 871813
/proc/meminfo: memFree=123238372/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=43104 memory=13640 CPUtime=0.29 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 1811 0 0 0 27 2 0 0 20 0 1 0 164844236 44138496 3410 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 10776 3410 1373 291 0 2310 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43104 KiB
Current children cumulated memory: 13640 KiB
[startup+0.70019 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 871813
/proc/meminfo: memFree=123232948/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=54816 memory=23100 CPUtime=0.67 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 4214 0 0 0 65 2 0 0 20 0 1 0 164844236 56131584 5775 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 13704 5775 1373 291 0 5238 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 54816 KiB
Current children cumulated memory: 23100 KiB
[startup+1.50021 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 871813
/proc/meminfo: memFree=123222528/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=69600 memory=39000 CPUtime=1.47 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 6654 0 0 0 143 4 0 0 20 0 1 0 164844236 71270400 9750 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 17400 9750 1373 291 0 8934 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 69600 KiB
Current children cumulated memory: 39000 KiB
[startup+3.10546 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 871814
/proc/meminfo: memFree=123202292/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=85408 memory=48948 CPUtime=3.08 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 8188 0 0 0 302 6 0 0 20 0 1 0 164844236 87457792 12237 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 21352 12237 1373 291 0 12886 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 85408 KiB
Current children cumulated memory: 48948 KiB
[startup+6.30019 s]
/proc/loadavg: 4.12 4.12 4.09 4/249 871846
/proc/meminfo: memFree=123325468/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=111376 memory=66080 CPUtime=6.27 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 10492 0 0 0 618 9 0 0 20 0 1 0 164844236 114049024 16520 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 27844 16520 1430 291 0 19378 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 111376 KiB
Current children cumulated memory: 66080 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 871861
/proc/meminfo: memFree=123211264/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=111376 memory=66092 CPUtime=12.65 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 10755 0 0 0 1251 14 0 0 20 0 1 0 164844236 114049024 16523 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 27844 16523 1430 291 0 19378 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 111376 KiB
Current children cumulated memory: 66092 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.09 5/255 871864
/proc/meminfo: memFree=123175232/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=112968 memory=69612 CPUtime=25.41 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 11626 0 0 0 2520 21 0 0 20 0 1 0 164844236 115679232 17403 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 28242 17403 1430 291 0 19776 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 112968 KiB
Current children cumulated memory: 69612 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 871867
/proc/meminfo: memFree=123106824/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=160436 memory=105016 CPUtime=50.96 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 16137 0 0 0 5065 31 0 0 20 0 1 0 164844236 164286464 26254 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 40109 26254 1430 291 0 31643 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 160436 KiB
Current children cumulated memory: 105016 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/255 871877
/proc/meminfo: memFree=122983128/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=188192 memory=145976 CPUtime=102.02 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 21746 0 0 0 10152 50 0 0 20 0 1 0 164844236 192708608 36494 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 47048 36494 1430 291 0 38582 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 188192 KiB
Current children cumulated memory: 145976 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 871887
/proc/meminfo: memFree=122941788/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=188900 memory=150432 CPUtime=161.88 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 22767 0 0 0 16119 69 0 0 20 0 1 0 164844236 193433600 37608 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 47225 37608 1430 291 0 38759 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 188900 KiB
Current children cumulated memory: 150432 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/255 871897
/proc/meminfo: memFree=122842876/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=246160 memory=174736 CPUtime=221.72 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 24788 0 0 0 22087 85 0 0 20 0 1 0 164844236 252067840 43684 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 61540 43684 1430 291 0 53074 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 246160 KiB
Current children cumulated memory: 174736 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/258 871913
/proc/meminfo: memFree=122814612/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=256020 memory=192380 CPUtime=281.58 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 26622 0 0 0 28062 96 0 0 20 0 1 0 164844236 262164480 48095 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 64005 48095 1430 291 0 55539 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 256020 KiB
Current children cumulated memory: 192380 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/257 871923
/proc/meminfo: memFree=122763728/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=259604 memory=203340 CPUtime=341.43 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 27528 0 0 0 34037 106 0 0 20 0 1 0 164844236 265834496 50835 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 64901 50835 1430 291 0 56435 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 259604 KiB
Current children cumulated memory: 203340 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 871933
/proc/meminfo: memFree=122707884/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=262104 memory=214108 CPUtime=401.26 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 28374 0 0 0 40013 113 0 0 20 0 1 0 164844236 268394496 53527 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 65526 53527 1430 291 0 57060 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 262104 KiB
Current children cumulated memory: 214108 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/257 871944
/proc/meminfo: memFree=122667676/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=262592 memory=214476 CPUtime=461.09 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 28774 0 0 0 45985 124 0 0 20 0 1 0 164844236 268894208 53619 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 65648 53619 1430 291 0 57182 0
################
# More data... #
################
Current children cumulated memory: 423928 KiB
[startup+2862.3 s]
/proc/loadavg: 4.19 4.15 4.14 5/257 873645
/proc/meminfo: memFree=120126968/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=508444 memory=446208 CPUtime=2854.67 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 76997 0 0 0 284846 621 0 0 20 0 1 0 164844236 520646656 111552 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 127111 111552 1430 291 0 118645 0
Current children cumulated CPU time: 2854.67 s
Current children cumulated vsize: 508444 KiB
Current children cumulated memory: 446208 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/257 873656
/proc/meminfo: memFree=120046504/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=677140 memory=517228 CPUtime=2914.5 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 84660 0 0 0 290820 630 0 0 20 0 1 0 164844236 693391360 129307 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 169285 129307 1430 291 0 160819 0
Current children cumulated CPU time: 2914.5 s
Current children cumulated vsize: 677140 KiB
Current children cumulated memory: 517228 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/254 873666
/proc/meminfo: memFree=119950220/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=707948 memory=573456 CPUtime=2974.34 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 90709 0 0 0 296789 645 0 0 20 0 1 0 164844236 724938752 143364 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 176987 143364 1430 291 0 168521 0
Current children cumulated CPU time: 2974.34 s
Current children cumulated vsize: 707948 KiB
Current children cumulated memory: 573456 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.15 4.13 5/254 873676
/proc/meminfo: memFree=119893520/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=707948 memory=573800 CPUtime=3034.16 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 90965 0 0 0 302764 652 0 0 20 0 1 0 164844236 724938752 143450 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 176987 143450 1430 291 0 168521 0
Current children cumulated CPU time: 3034.16 s
Current children cumulated vsize: 707948 KiB
Current children cumulated memory: 573800 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/254 873687
/proc/meminfo: memFree=119846476/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=708152 memory=577316 CPUtime=3093.99 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 91290 0 0 0 308740 659 0 0 20 0 1 0 164844236 725147648 144329 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 177038 144329 1430 291 0 168572 0
Current children cumulated CPU time: 3093.99 s
Current children cumulated vsize: 708152 KiB
Current children cumulated memory: 577316 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/254 873697
/proc/meminfo: memFree=119667416/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=708152 memory=603324 CPUtime=3153.85 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 91558 0 0 0 314722 663 0 0 20 0 1 0 164844236 725147648 150831 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 177038 150831 1430 291 0 168572 0
Current children cumulated CPU time: 3153.85 s
Current children cumulated vsize: 708152 KiB
Current children cumulated memory: 603324 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/255 873708
/proc/meminfo: memFree=119048716/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=712964 memory=612360 CPUtime=3213.7 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 92534 0 0 0 320703 667 0 0 20 0 1 0 164844236 730075136 153090 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 178241 153090 1430 291 0 169775 0
Current children cumulated CPU time: 3213.7 s
Current children cumulated vsize: 712964 KiB
Current children cumulated memory: 612360 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/257 873723
/proc/meminfo: memFree=118895824/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=734980 memory=656652 CPUtime=3273.56 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 96185 0 0 0 326679 677 0 0 20 0 1 0 164844236 752619520 164163 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 183745 164163 1430 291 0 175279 0
Current children cumulated CPU time: 3273.56 s
Current children cumulated vsize: 734980 KiB
Current children cumulated memory: 656652 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.14 4.12 5/257 873733
/proc/meminfo: memFree=118638808/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=734980 memory=656652 CPUtime=3333.42 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 96453 0 0 0 332658 684 0 0 20 0 1 0 164844236 752619520 164163 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 183745 164163 1430 291 0 175279 0
Current children cumulated CPU time: 3333.42 s
Current children cumulated vsize: 734980 KiB
Current children cumulated memory: 656652 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/257 873743
/proc/meminfo: memFree=118404092/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=734980 memory=656676 CPUtime=3393.28 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 96734 0 0 0 338640 688 0 0 20 0 1 0 164844236 752619520 164169 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 183745 164169 1430 291 0 175279 0
Current children cumulated CPU time: 3393.28 s
Current children cumulated vsize: 734980 KiB
Current children cumulated memory: 656676 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/257 873754
/proc/meminfo: memFree=118384132/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=734980 memory=656760 CPUtime=3453.13 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 97048 0 0 0 344623 690 0 0 20 0 1 0 164844236 752619520 164190 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 183745 164190 1430 291 0 175279 0
Current children cumulated CPU time: 3453.13 s
Current children cumulated vsize: 734980 KiB
Current children cumulated memory: 656760 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.15 4.12 5/257 873765
/proc/meminfo: memFree=118254076/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=741228 memory=670636 CPUtime=3513 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 98259 0 0 0 350606 694 0 0 20 0 1 0 164844236 759017472 167659 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 185307 167659 1430 291 0 176841 0
Current children cumulated CPU time: 3513 s
Current children cumulated vsize: 741228 KiB
Current children cumulated memory: 670636 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/254 873775
/proc/meminfo: memFree=118110412/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=749908 memory=690384 CPUtime=3572.85 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 100175 0 0 0 356585 700 0 0 20 0 1 0 164844236 767905792 172596 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 187477 172596 1430 291 0 179011 0
Current children cumulated CPU time: 3572.85 s
Current children cumulated vsize: 749908 KiB
Current children cumulated memory: 690384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.14 4.14 4.12 5/254 873780
/proc/meminfo: memFree=118032920/131524600 swapFree=131071996/131071996
[pid=871812] ppid=871809 vsize=749908 memory=690384 CPUtime=3600.08 cores=4,6
/proc/871812/stat : 871812 (pb-oll-rs) R 871809 871812 865510 0 -1 4194304 100200 0 0 0 359303 705 0 0 20 0 1 0 164844236 767905792 172596 134679101440 4194304 5384005 140731070289264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14790656 140731070293015 140731070293092 140731070293092 140731070300107 0
/proc/871812/statm: 187477 172596 1430 291 0 179011 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 749908 KiB
Current children cumulated memory: 690384 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.62 s]
# the end of solver process 871812 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.05 s, system=7.05991 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.62
CPU time (s): 3600.11
CPU user time (s): 3593.05
CPU system time (s): 7.05991
CPU usage (%): 99.7367
Max. virtual memory (cumulated for all children) (KiB): 750164
Max. memory (cumulated for all children) (KiB): 690384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.05
system time used= 7.05991
maximum resident set size= 691204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100224
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= 89
involuntary context switches= 2349
# summary of solver processes directly reported to runsolver:
# pid: 871812
# total CPU time (s): 3600.11
# total CPU user time (s): 3593.05
# total CPU system time (s): 7.05991
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.73222 second user time and 15.8698 second system time
The end
Begin job on nodeC029 at 2024-07-16 12:46:21
IDJOB=4436056
IDBENCH=155343
IDSOLVER=3067
FILE ID=nodeC029/4436056-1721126768
RUNJOBID= nodeC029-1721119560-865521
SLURM_JOB_ID= 7505669
Free space on /tmp= 890052 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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-4436056-1721126768/watcher-4436056-1721126768 -o /tmp/evaluation-result-4436056-1721126768/solver-4436056-1721126768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721119560-865521 --watchdog 3760 pb-oll-rs HOME/instance-4436056-1721126768.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d13cdfe545ae2728c47d5ad7db8600db
RANDOM SEED=1828152217
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3674.033
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3691.187
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3616.170
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.189
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.039
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3691.302
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3653.195
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.136
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123247172 kB
MemAvailable: 129296096 kB
Buffers: 406268 kB
Cached: 6406056 kB
SwapCached: 0 kB
Active: 740472 kB
Inactive: 6781328 kB
Active(anon): 1488 kB
Inactive(anon): 745700 kB
Active(file): 738984 kB
Inactive(file): 6035628 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 2784 kB
Writeback: 0 kB
AnonPages: 703404 kB
Mapped: 108756 kB
Shmem: 37720 kB
KReclaimable: 227920 kB
Slab: 349512 kB
SReclaimable: 227920 kB
SUnreclaim: 121592 kB
KernelStack: 4092 kB
PageTables: 10848 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1195676 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 684032 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: 279252 kB
DirectMap2M: 36194304 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890024 MiB
End job on nodeC029 at 2024-07-16 13:46:31