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.00 c [STEP] solving
0.00/0.00 c #variables 825 #constraints 83
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= -95931 @ 0.00071
0.00/0.00 c stratification level: 236
0.00/0.00 c bounds -476 >= -95695 @ 0.000897
0.00/0.00 c stratification level: 235
0.00/0.00 c bounds -711 >= -95695 @ 0.001296
0.00/0.00 c stratification level: 234
0.00/0.00 c bounds -795 >= -95461 @ 0.001812
0.00/0.00 c stratification level: 230
0.00/0.00 c bounds -1253 >= -94538 @ 0.002379
0.00/0.00 c stratification level: 227
0.00/0.00 c bounds -1415 >= -94311 @ 0.002819
0.00/0.00 c stratification level: 218
0.00/0.00 c bounds -1600 >= -93869 @ 0.003163
0.00/0.00 c stratification level: 217
0.00/0.00 c bounds -1634 >= -93218 @ 0.003163
0.00/0.00 c stratification level: 216
0.00/0.00 c bounds -1696 >= -92786 @ 0.003323
0.00/0.00 c stratification level: 215
0.00/0.00 c bounds -1928 >= -92565 @ 0.00369
0.00/0.00 c stratification level: 214
0.00/0.00 c bounds -1996 >= -92351 @ 0.004071
0.00/0.00 c stratification level: 213
0.00/0.00 c bounds -2074 >= -92121 @ 0.004468
0.00/0.00 c stratification level: 209
0.00/0.00 c bounds -2150 >= -90653 @ 0.004969
0.00/0.00 c stratification level: 208
0.00/0.01 c bounds -2251 >= -90445 @ 0.005223
0.00/0.01 c stratification level: 207
0.00/0.01 c bounds -2366 >= -90238 @ 0.005223
0.00/0.01 c stratification level: 205
0.00/0.01 c bounds -2386 >= -90033 @ 0.005723
0.00/0.01 c stratification level: 204
0.00/0.01 c bounds -2410 >= -89829 @ 0.006566
0.00/0.01 c stratification level: 203
0.00/0.01 c bounds -2472 >= -89626 @ 0.007644
0.00/0.01 c stratification level: 201
0.00/0.01 c bounds -2491 >= -88017 @ 0.008623
0.00/0.01 c stratification level: 200
0.00/0.01 c bounds -2593 >= -87620 @ 0.009136
0.00/0.01 c stratification level: 199
0.00/0.01 c bounds -2593 >= -87404 @ 0.009136
0.00/0.01 c finalizing WCE round: reformulating cores
0.00/0.01 c bounds -2752 >= -87404 @ 0.010417
0.00/0.01 c bounds -2762 >= -87404 @ 0.010815
0.00/0.01 c stratification level: 198
0.00/0.01 c bounds -2835 >= -87206 @ 0.01153
0.00/0.01 c stratification level: 196
0.00/0.02 c bounds -2835 >= -87002 @ 0.011741
0.00/0.02 c finalizing WCE round: reformulating cores
0.00/0.02 c bounds -2923 >= -87002 @ 0.015975
0.00/0.02 c bounds -2937 >= -87002 @ 0.019044
0.00/0.02 c stratification level: 195
0.00/0.02 c bounds -2940 >= -86612 @ 0.019275
0.00/0.02 c stratification level: 194
0.00/0.02 c bounds -2961 >= -86224 @ 0.020185
0.00/0.02 c stratification level: 193
0.00/0.03 c bounds -2977 >= -86031 @ 0.024702
0.00/0.03 c stratification level: 191
0.00/0.03 c bounds -3063 >= -85267 @ 0.027665
0.00/0.03 c stratification level: 190
0.00/0.03 c bounds -3063 >= -84317 @ 0.028032
0.00/0.03 c finalizing WCE round: reformulating cores
0.09/0.10 c bounds -3113 >= -84317 @ 0.046902
0.09/0.10 c bounds -3117 >= -84317 @ 0.09273
0.09/0.10 c stratification level: 189
0.09/0.11 c bounds -3117 >= -83933 @ 0.093144
0.09/0.11 c finalizing WCE round: reformulating cores
0.20/0.21 c bounds -3158 >= -83933 @ 0.185423
0.20/0.21 c bounds -3171 >= -83933 @ 0.193577
0.20/0.21 c stratification level: 188
0.20/0.21 c bounds -3175 >= -83347 @ 0.194787
0.20/0.21 c stratification level: 187
0.20/0.23 c bounds -3200 >= -82973 @ 0.211438
0.20/0.23 c stratification level: 186
0.20/0.23 c bounds -3208 >= -82601 @ 0.217448
0.20/0.23 c stratification level: 185
0.20/0.26 c bounds -3237 >= -82601 @ 0.245994
0.20/0.26 c stratification level: 183
0.20/0.27 c bounds -3263 >= -81867 @ 0.249783
0.20/0.27 c stratification level: 182
0.20/0.30 c bounds -3268 >= -81321 @ 0.282029
0.20/0.30 c stratification level: 181
0.49/0.52 c bounds -3268 >= -80376 @ 0.282825
0.49/0.52 c #Conflicts: 1000 | #Constraints: 1220
0.49/0.52 c finalizing WCE round: reformulating cores
0.49/0.59 c bounds -3283 >= -80376 @ 0.515329
0.49/0.59 c bounds -3301 >= -80376 @ 0.569283
0.49/0.59 c stratification level: 180
0.49/0.60 c bounds -3302 >= -80016 @ 0.574279
0.49/0.60 c stratification level: 179
0.59/0.68 c bounds -3308 >= -79121 @ 0.656959
0.59/0.68 c stratification level: 178
0.78/0.84 c #Conflicts: 2000 | #Constraints: 2236
0.78/0.84 c INPROCESSING
0.78/0.84 c GARBAGE COLLECT
0.78/0.84 c bounds -3345 >= -78432 @ 0.813112
0.78/0.84 c stratification level: 177
1.38/1.44 c #Conflicts: 3000 | #Constraints: 2200
1.38/1.44 c bounds -3351 >= -77901 @ 1.39807
1.38/1.44 c stratification level: 176
3.27/3.35 c bounds -3351 >= -76840 @ 1.47955
3.27/3.35 c #Conflicts: 4000 | #Constraints: 3206
3.27/3.35 c INPROCESSING
3.27/3.35 c GARBAGE COLLECT
3.27/3.35 c #Conflicts: 5000 | #Constraints: 2611
3.27/3.35 c #Conflicts: 6000 | #Constraints: 3611
3.27/3.35 c INPROCESSING
3.27/3.35 c GARBAGE COLLECT
3.27/3.35 c finalizing WCE round: reformulating cores
4.67/4.75 c bounds -3359 >= -76840 @ 3.32021
4.67/4.75 c #Conflicts: 7000 | #Constraints: 2625
4.67/4.75 c bounds -3359 >= -76840 @ 3.64505
4.67/4.75 c bounds -3359 >= -76840 @ 3.66798
4.67/4.75 c bounds -3359 >= -76840 @ 3.90559
4.67/4.75 c bounds -3359 >= -76840 @ 3.92361
4.67/4.75 c #Conflicts: 8000 | #Constraints: 3637
4.67/4.75 c bounds -3359 >= -76840 @ 4.21679
4.67/4.75 c bounds -3359 >= -76840 @ 4.4026
4.67/4.75 c bounds -3360 >= -76669 @ 4.57864
4.67/4.75 c #Conflicts: 9000 | #Constraints: 4644
4.67/4.75 c bounds -3363 >= -76669 @ 4.67355
4.67/4.75 c stratification level: 175
15.35/15.46 c INPROCESSING
15.35/15.46 c GARBAGE COLLECT
15.35/15.46 c #Conflicts: 10000 | #Constraints: 3342
15.35/15.46 c #Conflicts: 11000 | #Constraints: 4342
15.35/15.46 c #Conflicts: 12000 | #Constraints: 5342
15.35/15.46 c INPROCESSING
15.35/15.46 c GARBAGE COLLECT
15.35/15.46 c #Conflicts: 13000 | #Constraints: 3783
15.35/15.46 c #Conflicts: 14000 | #Constraints: 4783
15.35/15.46 c #Conflicts: 15000 | #Constraints: 5783
15.35/15.46 c INPROCESSING
15.35/15.46 c GARBAGE COLLECT
15.35/15.46 c #Conflicts: 16000 | #Constraints: 4010
15.35/15.46 c #Conflicts: 17000 | #Constraints: 5010
15.35/15.46 c #Conflicts: 18000 | #Constraints: 6010
15.35/15.46 c INPROCESSING
15.35/15.46 c GARBAGE COLLECT
15.35/15.46 c #Conflicts: 19000 | #Constraints: 4030
15.35/15.46 c #Conflicts: 20000 | #Constraints: 5030
15.35/15.46 c #Conflicts: 21000 | #Constraints: 6030
15.35/15.46 c INPROCESSING
15.35/15.46 c GARBAGE COLLECT
15.35/15.46 c bounds -3391 >= -76135 @ 15.2578
15.35/15.46 c stratification level: 174
15.64/15.77 c bounds -3391 >= -75589 @ 15.2659
15.64/15.77 c #Conflicts: 22000 | #Constraints: 3843
15.64/15.77 c finalizing WCE round: reformulating cores
17.94/18.06 c #Conflicts: 23000 | #Constraints: 4846
17.94/18.06 c bounds -3400 >= -75589 @ 16.1023
17.94/18.06 c #Conflicts: 24000 | #Constraints: 5846
17.94/18.06 c bounds -3414 >= -75589 @ 17.8167
17.94/18.06 c stratification level: 173
116.69/117.05 c #Conflicts: 25000 | #Constraints: 6851
116.69/117.05 c INPROCESSING
116.69/117.05 c GARBAGE COLLECT
116.69/117.05 c #Conflicts: 26000 | #Constraints: 4459
116.69/117.05 c #Conflicts: 27000 | #Constraints: 5459
116.69/117.05 c #Conflicts: 28000 | #Constraints: 6459
116.69/117.05 c #Conflicts: 29000 | #Constraints: 7459
116.69/117.05 c INPROCESSING
116.69/117.05 c GARBAGE COLLECT
116.69/117.05 c #Conflicts: 30000 | #Constraints: 4863
116.69/117.05 c #Conflicts: 31000 | #Constraints: 5863
116.69/117.05 c #Conflicts: 32000 | #Constraints: 6863
116.69/117.05 c #Conflicts: 33000 | #Constraints: 7863
116.69/117.05 c INPROCESSING
116.69/117.05 c GARBAGE COLLECT
116.69/117.05 c #Conflicts: 34000 | #Constraints: 5060
116.69/117.05 c #Conflicts: 35000 | #Constraints: 6060
116.69/117.05 c #Conflicts: 36000 | #Constraints: 7060
116.69/117.05 c #Conflicts: 37000 | #Constraints: 8060
116.69/117.05 c INPROCESSING
116.69/117.05 c GARBAGE COLLECT
116.69/117.05 c #Conflicts: 38000 | #Constraints: 5071
116.69/117.05 c #Conflicts: 39000 | #Constraints: 6071
116.69/117.05 c #Conflicts: 40000 | #Constraints: 7071
116.69/117.05 c #Conflicts: 41000 | #Constraints: 8071
116.69/117.05 c INPROCESSING
116.69/117.05 c GARBAGE COLLECT
116.69/117.05 c #Conflicts: 42000 | #Constraints: 4874
116.69/117.05 c #Conflicts: 43000 | #Constraints: 5874
116.69/117.05 c #Conflicts: 44000 | #Constraints: 6874
116.69/117.05 c #Conflicts: 45000 | #Constraints: 7874
116.69/117.05 c #Conflicts: 46000 | #Constraints: 8874
116.69/117.05 c INPROCESSING
116.69/117.05 c GARBAGE COLLECT
116.69/117.05 c #Conflicts: 47000 | #Constraints: 5474
116.69/117.05 c #Conflicts: 48000 | #Constraints: 6474
116.69/117.05 c #Conflicts: 49000 | #Constraints: 7474
116.69/117.05 c #Conflicts: 50000 | #Constraints: 8474
116.69/117.05 c #Conflicts: 51000 | #Constraints: 9474
116.69/117.05 c INPROCESSING
116.69/117.05 c GARBAGE COLLECT
116.69/117.05 c #Conflicts: 52000 | #Constraints: 5876
116.69/117.05 c #Conflicts: 53000 | #Constraints: 6876
116.69/117.05 c #Conflicts: 54000 | #Constraints: 7876
116.69/117.05 c #Conflicts: 55000 | #Constraints: 8876
116.69/117.05 c #Conflicts: 56000 | #Constraints: 9876
116.69/117.05 c INPROCESSING
116.69/117.05 c GARBAGE COLLECT
116.69/117.05 c #Conflicts: 57000 | #Constraints: 6072
116.69/117.05 c #Conflicts: 58000 | #Constraints: 7072
116.69/117.05 c #Conflicts: 59000 | #Constraints: 8072
116.69/117.05 c #Conflicts: 60000 | #Constraints: 9072
116.69/117.05 c #Conflicts: 61000 | #Constraints: 10072
116.69/117.05 c INPROCESSING
116.69/117.05 c GARBAGE COLLECT
116.69/117.05 c #Conflicts: 62000 | #Constraints: 6079
116.69/117.05 c #Conflicts: 63000 | #Constraints: 7079
116.69/117.05 c #Conflicts: 64000 | #Constraints: 8079
116.69/117.05 c #Conflicts: 65000 | #Constraints: 9079
116.69/117.05 c #Conflicts: 66000 | #Constraints: 10079
116.69/117.05 c INPROCESSING
116.69/117.05 c GARBAGE COLLECT
116.69/117.05 c #Conflicts: 67000 | #Constraints: 5878
116.69/117.05 c #Conflicts: 68000 | #Constraints: 6878
116.69/117.05 c #Conflicts: 69000 | #Constraints: 7878
116.69/117.05 c #Conflicts: 70000 | #Constraints: 8878
116.69/117.05 c #Conflicts: 71000 | #Constraints: 9878
116.69/117.05 c #Conflicts: 72000 | #Constraints: 10878
116.69/117.05 c INPROCESSING
116.69/117.05 c GARBAGE COLLECT
116.69/117.05 c #Conflicts: 73000 | #Constraints: 6475
116.69/117.05 c #Conflicts: 74000 | #Constraints: 7475
116.69/117.05 c #Conflicts: 75000 | #Constraints: 8475
116.69/117.05 c #Conflicts: 76000 | #Constraints: 9475
116.69/117.05 c #Conflicts: 77000 | #Constraints: 10475
116.69/117.05 c #Conflicts: 78000 | #Constraints: 11475
116.69/117.05 c INPROCESSING
116.69/117.05 c GARBAGE COLLECT
116.69/117.05 c #Conflicts: 79000 | #Constraints: 6893
116.69/117.05 c #Conflicts: 80000 | #Constraints: 7893
116.69/117.05 c #Conflicts: 81000 | #Constraints: 8893
116.69/117.05 c #Conflicts: 82000 | #Constraints: 9893
116.69/117.05 c #Conflicts: 83000 | #Constraints: 10893
116.69/117.05 c #Conflicts: 84000 | #Constraints: 11893
116.69/117.05 c INPROCESSING
116.69/117.05 c GARBAGE COLLECT
116.69/117.05 c #Conflicts: 85000 | #Constraints: 7094
116.69/117.05 c #Conflicts: 86000 | #Constraints: 8094
116.69/117.05 c #Conflicts: 87000 | #Constraints: 9094
116.69/117.05 c #Conflicts: 88000 | #Constraints: 10094
116.69/117.05 c #Conflicts: 89000 | #Constraints: 11094
116.69/117.05 c bounds -3414 >= -75059 @ 115.958
116.69/117.05 c finalizing WCE round: reformulating cores
117.09/117.41 c bounds -3468 >= -75059 @ 116.055
117.09/117.41 c bounds -3469 >= -75059 @ 116.347
117.09/117.41 c stratification level: 172
117.29/117.63 c bounds -3469 >= -74363 @ 116.371
117.29/117.63 c finalizing WCE round: reformulating cores
125.77/126.18 c #Conflicts: 90000 | #Constraints: 12109
125.77/126.18 c INPROCESSING
125.77/126.18 c GARBAGE COLLECT
125.77/126.18 c bounds -3509 >= -74363 @ 117.952
125.77/126.18 c #Conflicts: 91000 | #Constraints: 7080
125.77/126.18 c #Conflicts: 92000 | #Constraints: 8080
125.77/126.18 c #Conflicts: 93000 | #Constraints: 9080
125.77/126.18 c #Conflicts: 94000 | #Constraints: 10080
125.77/126.18 c #Conflicts: 95000 | #Constraints: 11080
125.77/126.18 c #Conflicts: 96000 | #Constraints: 12080
125.77/126.18 c INPROCESSING
125.77/126.18 c GARBAGE COLLECT
125.77/126.18 c bounds -3524 >= -74363 @ 125.048
125.77/126.18 c stratification level: 171
139.83/140.20 c bounds -3524 >= -74185 @ 125.052
139.83/140.20 c #Conflicts: 97000 | #Constraints: 6885
139.83/140.20 c #Conflicts: 98000 | #Constraints: 7885
139.83/140.20 c #Conflicts: 99000 | #Constraints: 8885
139.83/140.20 c #Conflicts: 100000 | #Constraints: 9885
139.83/140.20 c #Conflicts: 101000 | #Constraints: 10885
139.83/140.20 c #Conflicts: 102000 | #Constraints: 11885
139.83/140.20 c #Conflicts: 103000 | #Constraints: 12885
139.83/140.20 c INPROCESSING
139.83/140.20 c GARBAGE COLLECT
139.83/140.20 c #Conflicts: 104000 | #Constraints: 7479
139.83/140.20 c #Conflicts: 105000 | #Constraints: 8479
139.83/140.20 c finalizing WCE round: reformulating cores
141.13/141.56 c #Conflicts: 106000 | #Constraints: 9482
141.13/141.56 c bounds -3537 >= -74185 @ 140.257
141.13/141.56 c bounds -3538 >= -74185 @ 140.294
141.13/141.56 c stratification level: 170
293.65/294.48 c bounds -3538 >= -73670 @ 140.315
293.65/294.48 c #Conflicts: 107000 | #Constraints: 10492
293.65/294.48 c #Conflicts: 108000 | #Constraints: 11492
293.65/294.48 c #Conflicts: 109000 | #Constraints: 12492
293.65/294.48 c #Conflicts: 110000 | #Constraints: 13492
293.65/294.48 c INPROCESSING
293.65/294.48 c GARBAGE COLLECT
293.65/294.48 c #Conflicts: 111000 | #Constraints: 7896
293.65/294.48 c #Conflicts: 112000 | #Constraints: 8896
293.65/294.48 c #Conflicts: 113000 | #Constraints: 9896
293.65/294.48 c #Conflicts: 114000 | #Constraints: 10896
293.65/294.48 c #Conflicts: 115000 | #Constraints: 11896
293.65/294.48 c #Conflicts: 116000 | #Constraints: 12896
293.65/294.48 c #Conflicts: 117000 | #Constraints: 13896
293.65/294.48 c INPROCESSING
293.65/294.48 c GARBAGE COLLECT
293.65/294.48 c #Conflicts: 118000 | #Constraints: 8097
293.65/294.48 c #Conflicts: 119000 | #Constraints: 9097
293.65/294.48 c #Conflicts: 120000 | #Constraints: 10097
293.65/294.48 c #Conflicts: 121000 | #Constraints: 11097
293.65/294.48 c #Conflicts: 122000 | #Constraints: 12097
293.65/294.48 c #Conflicts: 123000 | #Constraints: 13097
293.65/294.48 c #Conflicts: 124000 | #Constraints: 14097
293.65/294.48 c INPROCESSING
293.65/294.48 c GARBAGE COLLECT
293.65/294.48 c #Conflicts: 125000 | #Constraints: 8098
293.65/294.48 c #Conflicts: 126000 | #Constraints: 9098
293.65/294.48 c #Conflicts: 127000 | #Constraints: 10098
293.65/294.48 c #Conflicts: 128000 | #Constraints: 11098
293.65/294.48 c #Conflicts: 129000 | #Constraints: 12098
293.65/294.48 c #Conflicts: 130000 | #Constraints: 13098
293.65/294.48 c #Conflicts: 131000 | #Constraints: 14098
293.65/294.48 c INPROCESSING
293.65/294.48 c GARBAGE COLLECT
293.65/294.48 c #Conflicts: 132000 | #Constraints: 7901
293.65/294.48 c #Conflicts: 133000 | #Constraints: 8901
293.65/294.48 c #Conflicts: 134000 | #Constraints: 9901
293.65/294.48 c #Conflicts: 135000 | #Constraints: 10901
293.65/294.48 c #Conflicts: 136000 | #Constraints: 11901
293.65/294.48 c #Conflicts: 137000 | #Constraints: 12901
293.65/294.48 c #Conflicts: 138000 | #Constraints: 13901
293.65/294.48 c #Conflicts: 139000 | #Constraints: 14901
293.65/294.48 c INPROCESSING
293.65/294.48 c GARBAGE COLLECT
293.65/294.48 c #Conflicts: 140000 | #Constraints: 8510
293.65/294.48 c #Conflicts: 141000 | #Constraints: 9510
293.65/294.48 c #Conflicts: 142000 | #Constraints: 10510
293.65/294.48 c #Conflicts: 143000 | #Constraints: 11510
293.65/294.48 c #Conflicts: 144000 | #Constraints: 12510
293.65/294.48 c #Conflicts: 145000 | #Constraints: 13510
293.65/294.48 c #Conflicts: 146000 | #Constraints: 14510
293.65/294.48 c #Conflicts: 147000 | #Constraints: 15510
293.65/294.48 c INPROCESSING
293.65/294.48 c GARBAGE COLLECT
293.65/294.48 c #Conflicts: 148000 | #Constraints: 8910
293.65/294.48 c #Conflicts: 149000 | #Constraints: 9910
293.65/294.48 c #Conflicts: 150000 | #Constraints: 10910
293.65/294.48 c #Conflicts: 151000 | #Constraints: 11910
293.65/294.48 c #Conflicts: 152000 | #Constraints: 12910
293.65/294.48 c #Conflicts: 153000 | #Constraints: 13910
293.65/294.48 c #Conflicts: 154000 | #Constraints: 14910
293.65/294.48 c #Conflicts: 155000 | #Constraints: 15910
293.65/294.48 c INPROCESSING
293.65/294.48 c GARBAGE COLLECT
293.65/294.48 c #Conflicts: 156000 | #Constraints: 9116
293.65/294.48 c #Conflicts: 157000 | #Constraints: 10116
293.65/294.48 c #Conflicts: 158000 | #Constraints: 11116
293.65/294.48 c #Conflicts: 159000 | #Constraints: 12116
293.65/294.48 c #Conflicts: 160000 | #Constraints: 13116
293.65/294.48 c #Conflicts: 161000 | #Constraints: 14116
293.65/294.48 c #Conflicts: 162000 | #Constraints: 15116
293.65/294.48 c #Conflicts: 163000 | #Constraints: 16116
293.65/294.48 c INPROCESSING
293.65/294.48 c GARBAGE COLLECT
293.65/294.48 c #Conflicts: 164000 | #Constraints: 9108
293.65/294.48 c #Conflicts: 165000 | #Constraints: 10108
293.65/294.48 c #Conflicts: 166000 | #Constraints: 11108
293.65/294.48 c #Conflicts: 167000 | #Constraints: 12108
293.65/294.48 c #Conflicts: 168000 | #Constraints: 13108
293.65/294.48 c #Conflicts: 169000 | #Constraints: 14108
293.65/294.48 c #Conflicts: 170000 | #Constraints: 15108
293.65/294.48 c #Conflicts: 171000 | #Constraints: 16108
293.65/294.48 c INPROCESSING
293.65/294.48 c GARBAGE COLLECT
293.65/294.48 c #Conflicts: 172000 | #Constraints: 8915
293.65/294.48 c #Conflicts: 173000 | #Constraints: 9915
293.65/294.48 c #Conflicts: 174000 | #Constraints: 10915
293.65/294.48 c #Conflicts: 175000 | #Constraints: 11915
293.65/294.48 c #Conflicts: 176000 | #Constraints: 12915
293.65/294.48 c #Conflicts: 177000 | #Constraints: 13915
293.65/294.48 c #Conflicts: 178000 | #Constraints: 14915
293.65/294.48 c #Conflicts: 179000 | #Constraints: 15915
398.69/399.79 c #Conflicts: 180000 | #Constraints: 16915
398.69/399.79 c INPROCESSING
398.69/399.79 c GARBAGE COLLECT
398.69/399.79 c #Conflicts: 181000 | #Constraints: 9511
398.69/399.79 c #Conflicts: 182000 | #Constraints: 10511
398.69/399.79 c #Conflicts: 183000 | #Constraints: 11511
398.69/399.79 c #Conflicts: 184000 | #Constraints: 12511
398.69/399.79 c #Conflicts: 185000 | #Constraints: 13511
398.69/399.79 c #Conflicts: 186000 | #Constraints: 14511
398.69/399.79 c #Conflicts: 187000 | #Constraints: 15511
398.69/399.79 c #Conflicts: 188000 | #Constraints: 16511
398.69/399.79 c #Conflicts: 189000 | #Constraints: 17511
398.69/399.79 c INPROCESSING
398.69/399.79 c GARBAGE COLLECT
398.69/399.79 c #Conflicts: 190000 | #Constraints: 9913
398.69/399.79 c #Conflicts: 191000 | #Constraints: 10913
398.69/399.79 c #Conflicts: 192000 | #Constraints: 11913
398.69/399.79 c #Conflicts: 193000 | #Constraints: 12913
398.69/399.79 c #Conflicts: 194000 | #Constraints: 13913
398.69/399.79 c #Conflicts: 195000 | #Constraints: 14913
398.69/399.79 c #Conflicts: 196000 | #Constraints: 15913
398.69/399.79 c #Conflicts: 197000 | #Constraints: 16913
398.69/399.79 c #Conflicts: 198000 | #Constraints: 17913
398.69/399.79 c INPROCESSING
398.69/399.79 c GARBAGE COLLECT
398.69/399.79 c #Conflicts: 199000 | #Constraints: 10108
398.69/399.79 c #Conflicts: 200000 | #Constraints: 11108
398.69/399.79 c #Conflicts: 201000 | #Constraints: 12108
398.69/399.79 c #Conflicts: 202000 | #Constraints: 13108
398.69/399.79 c #Conflicts: 203000 | #Constraints: 14108
398.69/399.79 c #Conflicts: 204000 | #Constraints: 15108
398.69/399.79 c #Conflicts: 205000 | #Constraints: 16108
398.69/399.79 c #Conflicts: 206000 | #Constraints: 17108
398.69/399.79 c #Conflicts: 207000 | #Constraints: 18108
398.69/399.79 c INPROCESSING
398.69/399.79 c GARBAGE COLLECT
398.69/399.79 c #Conflicts: 208000 | #Constraints: 10117
398.69/399.79 c #Conflicts: 209000 | #Constraints: 11117
398.69/399.79 c #Conflicts: 210000 | #Constraints: 12117
398.69/399.79 c #Conflicts: 211000 | #Constraints: 13117
398.69/399.79 c #Conflicts: 212000 | #Constraints: 14117
398.69/399.79 c #Conflicts: 213000 | #Constraints: 15117
398.69/399.79 c #Conflicts: 214000 | #Constraints: 16117
398.69/399.79 c #Conflicts: 215000 | #Constraints: 17117
398.69/399.79 c finalizing WCE round: reformulating cores
663.62/665.31 c bounds -3544 >= -73670 @ 400.53
663.62/665.31 c #Conflicts: 216000 | #Constraints: 18120
663.62/665.31 c INPROCESSING
663.62/665.31 c GARBAGE COLLECT
663.62/665.31 c #Conflicts: 217000 | #Constraints: 9921
663.62/665.31 c #Conflicts: 218000 | #Constraints: 10921
663.62/665.31 c #Conflicts: 219000 | #Constraints: 11921
663.62/665.31 c #Conflicts: 220000 | #Constraints: 12921
663.62/665.31 c #Conflicts: 221000 | #Constraints: 13921
663.62/665.31 c #Conflicts: 222000 | #Constraints: 14921
663.62/665.31 c #Conflicts: 223000 | #Constraints: 15921
663.62/665.31 c #Conflicts: 224000 | #Constraints: 16921
663.62/665.31 c #Conflicts: 225000 | #Constraints: 17921
663.62/665.31 c #Conflicts: 226000 | #Constraints: 18921
663.62/665.31 c INPROCESSING
663.62/665.31 c GARBAGE COLLECT
663.62/665.31 c #Conflicts: 227000 | #Constraints: 10521
663.62/665.31 c #Conflicts: 228000 | #Constraints: 11521
663.62/665.31 c #Conflicts: 229000 | #Constraints: 12521
663.62/665.31 c #Conflicts: 230000 | #Constraints: 13521
663.62/665.31 c #Conflicts: 231000 | #Constraints: 14521
663.62/665.31 c #Conflicts: 232000 | #Constraints: 15521
663.62/665.31 c #Conflicts: 233000 | #Constraints: 16521
663.62/665.31 c #Conflicts: 234000 | #Constraints: 17521
663.62/665.31 c #Conflicts: 235000 | #Constraints: 18521
663.62/665.31 c #Conflicts: 236000 | #Constraints: 19521
663.62/665.31 c INPROCESSING
663.62/665.31 c GARBAGE COLLECT
663.62/665.31 c #Conflicts: 237000 | #Constraints: 10922
663.62/665.31 c #Conflicts: 238000 | #Constraints: 11922
663.62/665.31 c #Conflicts: 239000 | #Constraints: 12922
663.62/665.31 c #Conflicts: 240000 | #Constraints: 13922
663.62/665.31 c #Conflicts: 241000 | #Constraints: 14922
663.62/665.31 c #Conflicts: 242000 | #Constraints: 15922
663.62/665.31 c #Conflicts: 243000 | #Constraints: 16922
663.62/665.31 c #Conflicts: 244000 | #Constraints: 17922
663.62/665.31 c #Conflicts: 245000 | #Constraints: 18922
663.62/665.31 c #Conflicts: 246000 | #Constraints: 19922
663.62/665.31 c INPROCESSING
663.62/665.31 c GARBAGE COLLECT
663.62/665.31 c #Conflicts: 247000 | #Constraints: 11138
663.62/665.31 c #Conflicts: 248000 | #Constraints: 12138
663.62/665.31 c #Conflicts: 249000 | #Constraints: 13138
663.62/665.31 c #Conflicts: 250000 | #Constraints: 14138
663.62/665.31 c #Conflicts: 251000 | #Constraints: 15138
663.62/665.31 c #Conflicts: 252000 | #Constraints: 16138
663.62/665.31 c #Conflicts: 253000 | #Constraints: 17138
663.62/665.31 c #Conflicts: 254000 | #Constraints: 18138
663.62/665.31 c #Conflicts: 255000 | #Constraints: 19138
663.62/665.31 c #Conflicts: 256000 | #Constraints: 20138
663.62/665.31 c INPROCESSING
663.62/665.31 c GARBAGE COLLECT
663.62/665.31 c #Conflicts: 257000 | #Constraints: 11137
663.62/665.31 c #Conflicts: 258000 | #Constraints: 12137
663.62/665.31 c #Conflicts: 259000 | #Constraints: 13137
663.62/665.31 c #Conflicts: 260000 | #Constraints: 14137
663.62/665.31 c #Conflicts: 261000 | #Constraints: 15137
663.62/665.31 c #Conflicts: 262000 | #Constraints: 16137
663.62/665.31 c #Conflicts: 263000 | #Constraints: 17137
663.62/665.31 c #Conflicts: 264000 | #Constraints: 18137
663.62/665.31 c #Conflicts: 265000 | #Constraints: 19137
663.62/665.31 c #Conflicts: 266000 | #Constraints: 20137
663.62/665.31 c INPROCESSING
663.62/665.31 c GARBAGE COLLECT
663.62/665.31 c #Conflicts: 267000 | #Constraints: 10950
663.62/665.31 c #Conflicts: 268000 | #Constraints: 11950
663.62/665.31 c #Conflicts: 269000 | #Constraints: 12950
663.62/665.31 c #Conflicts: 270000 | #Constraints: 13950
663.62/665.31 c #Conflicts: 271000 | #Constraints: 14950
663.62/665.31 c #Conflicts: 272000 | #Constraints: 15950
663.62/665.31 c #Conflicts: 273000 | #Constraints: 16950
663.62/665.31 c #Conflicts: 274000 | #Constraints: 17950
663.62/665.31 c #Conflicts: 275000 | #Constraints: 18950
663.62/665.31 c #Conflicts: 276000 | #Constraints: 19950
663.62/665.31 c #Conflicts: 277000 | #Constraints: 20950
663.62/665.31 c INPROCESSING
663.62/665.31 c GARBAGE COLLECT
663.62/665.31 c #Conflicts: 278000 | #Constraints: 11537
663.62/665.31 c #Conflicts: 279000 | #Constraints: 12537
663.62/665.31 c #Conflicts: 280000 | #Constraints: 13537
663.62/665.31 c #Conflicts: 281000 | #Constraints: 14537
663.62/665.31 c #Conflicts: 282000 | #Constraints: 15537
663.62/665.31 c #Conflicts: 283000 | #Constraints: 16537
663.62/665.31 c #Conflicts: 284000 | #Constraints: 17537
663.62/665.31 c #Conflicts: 285000 | #Constraints: 18537
663.62/665.31 c #Conflicts: 286000 | #Constraints: 19537
663.62/665.31 c #Conflicts: 287000 | #Constraints: 20537
663.62/665.31 c #Conflicts: 288000 | #Constraints: 21537
663.62/665.31 c INPROCESSING
663.62/665.31 c GARBAGE COLLECT
663.62/665.31 c #Conflicts: 289000 | #Constraints: 11935
817.83/819.91 c #Conflicts: 290000 | #Constraints: 12935
817.83/819.91 c #Conflicts: 291000 | #Constraints: 13935
817.83/819.91 c #Conflicts: 292000 | #Constraints: 14935
817.83/819.91 c #Conflicts: 293000 | #Constraints: 15935
817.83/819.91 c #Conflicts: 294000 | #Constraints: 16935
817.83/819.91 c #Conflicts: 295000 | #Constraints: 17935
817.83/819.91 c #Conflicts: 296000 | #Constraints: 18935
817.83/819.91 c #Conflicts: 297000 | #Constraints: 19935
817.83/819.91 c #Conflicts: 298000 | #Constraints: 20935
817.83/819.91 c #Conflicts: 299000 | #Constraints: 21935
817.83/819.91 c INPROCESSING
817.83/819.91 c GARBAGE COLLECT
817.83/819.91 c #Conflicts: 300000 | #Constraints: 12138
817.83/819.91 c #Conflicts: 301000 | #Constraints: 13138
817.83/819.91 c #Conflicts: 302000 | #Constraints: 14138
817.83/819.91 c #Conflicts: 303000 | #Constraints: 15138
817.83/819.91 c #Conflicts: 304000 | #Constraints: 16138
817.83/819.91 c #Conflicts: 305000 | #Constraints: 17138
817.83/819.91 c #Conflicts: 306000 | #Constraints: 18138
817.83/819.91 c #Conflicts: 307000 | #Constraints: 19138
817.83/819.91 c #Conflicts: 308000 | #Constraints: 20138
817.83/819.91 c #Conflicts: 309000 | #Constraints: 21138
817.83/819.91 c #Conflicts: 310000 | #Constraints: 22138
817.83/819.91 c INPROCESSING
817.83/819.91 c GARBAGE COLLECT
817.83/819.91 c #Conflicts: 311000 | #Constraints: 12153
817.83/819.91 c #Conflicts: 312000 | #Constraints: 13153
817.83/819.91 c #Conflicts: 313000 | #Constraints: 14153
817.83/819.91 c #Conflicts: 314000 | #Constraints: 15153
817.83/819.91 c #Conflicts: 315000 | #Constraints: 16153
817.83/819.91 c #Conflicts: 316000 | #Constraints: 17153
817.83/819.91 c #Conflicts: 317000 | #Constraints: 18153
817.83/819.91 c #Conflicts: 318000 | #Constraints: 19153
817.83/819.91 c #Conflicts: 319000 | #Constraints: 20153
817.83/819.91 c #Conflicts: 320000 | #Constraints: 21153
817.83/819.91 c bounds -3544 >= -73500 @ 810.05
817.83/819.91 c #Conflicts: 321000 | #Constraints: 22154
817.83/819.91 c bounds -3547 >= -73500 @ 814.667
817.83/819.91 c stratification level: 169
1197.34/1200.44 c bounds -3547 >= -73128 @ 814.814
1197.34/1200.44 c INPROCESSING
1197.34/1200.44 c GARBAGE COLLECT
1197.34/1200.44 c #Conflicts: 322000 | #Constraints: 11785
1197.34/1200.44 c #Conflicts: 323000 | #Constraints: 12785
1197.34/1200.44 c #Conflicts: 324000 | #Constraints: 13785
1197.34/1200.44 c #Conflicts: 325000 | #Constraints: 14785
1197.34/1200.44 c #Conflicts: 326000 | #Constraints: 15785
1197.34/1200.44 c #Conflicts: 327000 | #Constraints: 16785
1197.34/1200.44 c #Conflicts: 328000 | #Constraints: 17785
1197.34/1200.44 c #Conflicts: 329000 | #Constraints: 18785
1197.34/1200.44 c #Conflicts: 330000 | #Constraints: 19785
1197.34/1200.44 c #Conflicts: 331000 | #Constraints: 20785
1197.34/1200.44 c #Conflicts: 332000 | #Constraints: 21785
1197.34/1200.44 c #Conflicts: 333000 | #Constraints: 22785
1197.34/1200.44 c INPROCESSING
1197.34/1200.44 c GARBAGE COLLECT
1197.34/1200.44 c #Conflicts: 334000 | #Constraints: 12443
1197.34/1200.44 c #Conflicts: 335000 | #Constraints: 13443
1197.34/1200.44 c #Conflicts: 336000 | #Constraints: 14443
1197.34/1200.44 c #Conflicts: 337000 | #Constraints: 15443
1197.34/1200.44 c #Conflicts: 338000 | #Constraints: 16443
1197.34/1200.44 c #Conflicts: 339000 | #Constraints: 17443
1197.34/1200.44 c #Conflicts: 340000 | #Constraints: 18443
1197.34/1200.44 c #Conflicts: 341000 | #Constraints: 19443
1197.34/1200.44 c #Conflicts: 342000 | #Constraints: 20443
1197.34/1200.44 c #Conflicts: 343000 | #Constraints: 21443
1197.34/1200.44 c #Conflicts: 344000 | #Constraints: 22443
1197.34/1200.44 c #Conflicts: 345000 | #Constraints: 23443
1197.34/1200.44 c INPROCESSING
1197.34/1200.44 c GARBAGE COLLECT
1197.34/1200.44 c #Conflicts: 346000 | #Constraints: 12883
1197.34/1200.44 c #Conflicts: 347000 | #Constraints: 13883
1197.34/1200.44 c #Conflicts: 348000 | #Constraints: 14883
1197.34/1200.44 c #Conflicts: 349000 | #Constraints: 15883
1197.34/1200.44 c #Conflicts: 350000 | #Constraints: 16883
1197.34/1200.44 c #Conflicts: 351000 | #Constraints: 17883
1197.34/1200.44 c #Conflicts: 352000 | #Constraints: 18883
1197.34/1200.44 c #Conflicts: 353000 | #Constraints: 19883
1197.34/1200.44 c #Conflicts: 354000 | #Constraints: 20883
1197.34/1200.44 c #Conflicts: 355000 | #Constraints: 21883
1197.34/1200.44 c #Conflicts: 356000 | #Constraints: 22883
1197.34/1200.44 c #Conflicts: 357000 | #Constraints: 23883
1197.34/1200.44 c INPROCESSING
1197.34/1200.44 c GARBAGE COLLECT
1197.34/1200.44 c #Conflicts: 358000 | #Constraints: 13091
1197.34/1200.44 c #Conflicts: 359000 | #Constraints: 14091
1197.34/1200.44 c #Conflicts: 360000 | #Constraints: 15091
1197.34/1200.44 c #Conflicts: 361000 | #Constraints: 16091
1197.34/1200.44 c #Conflicts: 362000 | #Constraints: 17091
1197.34/1200.44 c #Conflicts: 363000 | #Constraints: 18091
1197.34/1200.44 c #Conflicts: 364000 | #Constraints: 19091
1197.34/1200.44 c #Conflicts: 365000 | #Constraints: 20091
1197.34/1200.44 c #Conflicts: 366000 | #Constraints: 21091
1197.34/1200.44 c #Conflicts: 367000 | #Constraints: 22091
1197.34/1200.44 c #Conflicts: 368000 | #Constraints: 23091
1197.34/1200.44 c #Conflicts: 369000 | #Constraints: 24091
1197.34/1200.44 c INPROCESSING
1197.34/1200.44 c GARBAGE COLLECT
1197.34/1200.44 c #Conflicts: 370000 | #Constraints: 13106
1197.34/1200.44 c #Conflicts: 371000 | #Constraints: 14106
1197.34/1200.44 c #Conflicts: 372000 | #Constraints: 15106
1197.34/1200.44 c #Conflicts: 373000 | #Constraints: 16106
1197.34/1200.44 c #Conflicts: 374000 | #Constraints: 17106
1197.34/1200.44 c #Conflicts: 375000 | #Constraints: 18106
1197.34/1200.44 c #Conflicts: 376000 | #Constraints: 19106
1197.34/1200.44 c #Conflicts: 377000 | #Constraints: 20106
1197.34/1200.44 c #Conflicts: 378000 | #Constraints: 21106
1197.34/1200.44 c #Conflicts: 379000 | #Constraints: 22106
1197.34/1200.44 c #Conflicts: 380000 | #Constraints: 23106
1197.34/1200.44 c #Conflicts: 381000 | #Constraints: 24106
1197.34/1200.44 c INPROCESSING
1197.34/1200.44 c GARBAGE COLLECT
1197.34/1200.44 c #Conflicts: 382000 | #Constraints: 12919
1197.34/1200.44 c #Conflicts: 383000 | #Constraints: 13919
1197.34/1200.44 c #Conflicts: 384000 | #Constraints: 14919
1197.34/1200.44 c #Conflicts: 385000 | #Constraints: 15919
1197.34/1200.44 c #Conflicts: 386000 | #Constraints: 16919
1197.34/1200.44 c #Conflicts: 387000 | #Constraints: 17919
1197.34/1200.44 c #Conflicts: 388000 | #Constraints: 18919
1197.34/1200.44 c #Conflicts: 389000 | #Constraints: 19919
1197.34/1200.44 c #Conflicts: 390000 | #Constraints: 20919
1197.34/1200.44 c #Conflicts: 391000 | #Constraints: 21919
1197.34/1200.44 c #Conflicts: 392000 | #Constraints: 22919
1197.34/1200.44 c #Conflicts: 393000 | #Constraints: 23919
1197.34/1200.44 c #Conflicts: 394000 | #Constraints: 24919
1197.34/1200.44 c INPROCESSING
1197.34/1200.44 c GARBAGE COLLECT
1197.34/1200.44 c #Conflicts: 395000 | #Constraints: 13529
1371.57/1375.14 c #Conflicts: 396000 | #Constraints: 14529
1371.57/1375.14 c #Conflicts: 397000 | #Constraints: 15529
1371.57/1375.14 c #Conflicts: 398000 | #Constraints: 16529
1371.57/1375.14 c #Conflicts: 399000 | #Constraints: 17529
1371.57/1375.14 c #Conflicts: 400000 | #Constraints: 18529
1371.57/1375.14 c #Conflicts: 401000 | #Constraints: 19529
1371.57/1375.14 c #Conflicts: 402000 | #Constraints: 20529
1371.57/1375.14 c #Conflicts: 403000 | #Constraints: 21529
1371.57/1375.14 c #Conflicts: 404000 | #Constraints: 22529
1371.57/1375.14 c #Conflicts: 405000 | #Constraints: 23529
1371.57/1375.14 c #Conflicts: 406000 | #Constraints: 24529
1371.57/1375.14 c #Conflicts: 407000 | #Constraints: 25529
1371.57/1375.14 c INPROCESSING
1371.57/1375.14 c GARBAGE COLLECT
1371.57/1375.14 c #Conflicts: 408000 | #Constraints: 13936
1371.57/1375.14 c #Conflicts: 409000 | #Constraints: 14936
1371.57/1375.14 c #Conflicts: 410000 | #Constraints: 15936
1371.57/1375.14 c #Conflicts: 411000 | #Constraints: 16936
1371.57/1375.14 c #Conflicts: 412000 | #Constraints: 17936
1371.57/1375.14 c #Conflicts: 413000 | #Constraints: 18936
1371.57/1375.14 c #Conflicts: 414000 | #Constraints: 19936
1371.57/1375.14 c #Conflicts: 415000 | #Constraints: 20936
1371.57/1375.14 c #Conflicts: 416000 | #Constraints: 21936
1371.57/1375.14 c #Conflicts: 417000 | #Constraints: 22936
1371.57/1375.14 c #Conflicts: 418000 | #Constraints: 23936
1371.57/1375.14 c #Conflicts: 419000 | #Constraints: 24936
1371.57/1375.14 c #Conflicts: 420000 | #Constraints: 25936
1371.57/1375.14 c INPROCESSING
1371.57/1375.14 c GARBAGE COLLECT
1371.57/1375.14 c #Conflicts: 421000 | #Constraints: 14136
1371.57/1375.14 c #Conflicts: 422000 | #Constraints: 15136
1371.57/1375.14 c #Conflicts: 423000 | #Constraints: 16136
1371.57/1375.14 c #Conflicts: 424000 | #Constraints: 17136
1371.57/1375.14 c #Conflicts: 425000 | #Constraints: 18136
1371.57/1375.14 c #Conflicts: 426000 | #Constraints: 19136
1371.57/1375.14 c #Conflicts: 427000 | #Constraints: 20136
1371.57/1375.14 c finalizing WCE round: reformulating cores
1725.48/1729.97 c #Conflicts: 428000 | #Constraints: 21139
1725.48/1729.97 c bounds -3552 >= -73128 @ 1377.98
1725.48/1729.97 c #Conflicts: 429000 | #Constraints: 22139
1725.48/1729.97 c #Conflicts: 430000 | #Constraints: 23139
1725.48/1729.97 c #Conflicts: 431000 | #Constraints: 24139
1725.48/1729.97 c #Conflicts: 432000 | #Constraints: 25139
1725.48/1729.97 c #Conflicts: 433000 | #Constraints: 26139
1725.48/1729.97 c INPROCESSING
1725.48/1729.97 c GARBAGE COLLECT
1725.48/1729.97 c #Conflicts: 434000 | #Constraints: 14135
1725.48/1729.97 c #Conflicts: 435000 | #Constraints: 15135
1725.48/1729.97 c #Conflicts: 436000 | #Constraints: 16135
1725.48/1729.97 c #Conflicts: 437000 | #Constraints: 17135
1725.48/1729.97 c #Conflicts: 438000 | #Constraints: 18135
1725.48/1729.97 c #Conflicts: 439000 | #Constraints: 19135
1725.48/1729.97 c #Conflicts: 440000 | #Constraints: 20135
1725.48/1729.97 c #Conflicts: 441000 | #Constraints: 21135
1725.48/1729.97 c #Conflicts: 442000 | #Constraints: 22135
1725.48/1729.97 c #Conflicts: 443000 | #Constraints: 23135
1725.48/1729.97 c #Conflicts: 444000 | #Constraints: 24135
1725.48/1729.97 c #Conflicts: 445000 | #Constraints: 25135
1725.48/1729.97 c #Conflicts: 446000 | #Constraints: 26135
1725.48/1729.97 c INPROCESSING
1725.48/1729.97 c GARBAGE COLLECT
1725.48/1729.97 c #Conflicts: 447000 | #Constraints: 13939
1725.48/1729.97 c #Conflicts: 448000 | #Constraints: 14939
1725.48/1729.97 c #Conflicts: 449000 | #Constraints: 15939
1725.48/1729.97 c #Conflicts: 450000 | #Constraints: 16939
1725.48/1729.97 c #Conflicts: 451000 | #Constraints: 17939
1725.48/1729.97 c #Conflicts: 452000 | #Constraints: 18939
1725.48/1729.97 c #Conflicts: 453000 | #Constraints: 19939
1725.48/1729.97 c #Conflicts: 454000 | #Constraints: 20939
1725.48/1729.97 c #Conflicts: 455000 | #Constraints: 21939
1725.48/1729.97 c #Conflicts: 456000 | #Constraints: 22939
1725.48/1729.97 c #Conflicts: 457000 | #Constraints: 23939
1725.48/1729.97 c #Conflicts: 458000 | #Constraints: 24939
1725.48/1729.97 c #Conflicts: 459000 | #Constraints: 25939
1725.48/1729.97 c #Conflicts: 460000 | #Constraints: 26939
1725.48/1729.97 c INPROCESSING
1725.48/1729.97 c GARBAGE COLLECT
1725.48/1729.97 c #Conflicts: 461000 | #Constraints: 14550
1725.48/1729.97 c #Conflicts: 462000 | #Constraints: 15550
1725.48/1729.97 c #Conflicts: 463000 | #Constraints: 16550
1725.48/1729.97 c #Conflicts: 464000 | #Constraints: 17550
1725.48/1729.97 c #Conflicts: 465000 | #Constraints: 18550
1725.48/1729.97 c #Conflicts: 466000 | #Constraints: 19550
1725.48/1729.97 c #Conflicts: 467000 | #Constraints: 20550
1725.48/1729.97 c #Conflicts: 468000 | #Constraints: 21550
1725.48/1729.97 c #Conflicts: 469000 | #Constraints: 22550
1725.48/1729.97 c #Conflicts: 470000 | #Constraints: 23550
1725.48/1729.97 c #Conflicts: 471000 | #Constraints: 24550
1725.48/1729.97 c #Conflicts: 472000 | #Constraints: 25550
1725.48/1729.97 c #Conflicts: 473000 | #Constraints: 26550
1725.48/1729.97 c #Conflicts: 474000 | #Constraints: 27550
1725.48/1729.97 c INPROCESSING
1725.48/1729.97 c GARBAGE COLLECT
1725.48/1729.97 c #Conflicts: 475000 | #Constraints: 14948
1725.48/1729.97 c #Conflicts: 476000 | #Constraints: 15948
1725.48/1729.97 c #Conflicts: 477000 | #Constraints: 16948
1725.48/1729.97 c #Conflicts: 478000 | #Constraints: 17948
1725.48/1729.97 c #Conflicts: 479000 | #Constraints: 18948
1725.48/1729.97 c #Conflicts: 480000 | #Constraints: 19948
1725.48/1729.97 c #Conflicts: 481000 | #Constraints: 20948
1725.48/1729.97 c #Conflicts: 482000 | #Constraints: 21948
1725.48/1729.97 c #Conflicts: 483000 | #Constraints: 22948
1725.48/1729.97 c #Conflicts: 484000 | #Constraints: 23948
1725.48/1729.97 c #Conflicts: 485000 | #Constraints: 24948
1725.48/1729.97 c #Conflicts: 486000 | #Constraints: 25948
1725.48/1729.97 c #Conflicts: 487000 | #Constraints: 26948
1725.48/1729.97 c #Conflicts: 488000 | #Constraints: 27948
1725.48/1729.97 c INPROCESSING
1725.48/1729.97 c GARBAGE COLLECT
1725.48/1729.97 c #Conflicts: 489000 | #Constraints: 15149
1725.48/1729.97 c #Conflicts: 490000 | #Constraints: 16149
1725.48/1729.97 c #Conflicts: 491000 | #Constraints: 17149
1725.48/1729.97 c #Conflicts: 492000 | #Constraints: 18149
1725.48/1729.97 c #Conflicts: 493000 | #Constraints: 19149
1725.48/1729.97 c #Conflicts: 494000 | #Constraints: 20149
1725.48/1729.97 c #Conflicts: 495000 | #Constraints: 21149
1725.48/1729.97 c #Conflicts: 496000 | #Constraints: 22149
1725.48/1729.97 c #Conflicts: 497000 | #Constraints: 23149
1725.48/1729.97 c #Conflicts: 498000 | #Constraints: 24149
1725.48/1729.97 c #Conflicts: 499000 | #Constraints: 25149
1725.48/1729.97 c #Conflicts: 500000 | #Constraints: 26149
1725.48/1729.97 c #Conflicts: 501000 | #Constraints: 27149
1725.48/1729.97 c #Conflicts: 502000 | #Constraints: 28149
1746.32/1750.84 c INPROCESSING
1746.32/1750.84 c GARBAGE COLLECT
1746.32/1750.84 c #Conflicts: 503000 | #Constraints: 15155
1746.32/1750.84 c #Conflicts: 504000 | #Constraints: 16155
1746.32/1750.84 c #Conflicts: 505000 | #Constraints: 17155
1746.32/1750.84 c #Conflicts: 506000 | #Constraints: 18155
1746.32/1750.84 c #Conflicts: 507000 | #Constraints: 19155
1746.32/1750.84 c #Conflicts: 508000 | #Constraints: 20155
1746.32/1750.84 c #Conflicts: 509000 | #Constraints: 21155
1746.32/1750.84 c bounds -3559 >= -73128 @ 1741.17
1746.32/1750.84 c stratification level: 168
2146.08/2151.67 c bounds -3559 >= -72912 @ 1741.33
2146.08/2151.67 c #Conflicts: 510000 | #Constraints: 22160
2146.08/2151.67 c #Conflicts: 511000 | #Constraints: 23160
2146.08/2151.67 c #Conflicts: 512000 | #Constraints: 24160
2146.08/2151.67 c #Conflicts: 513000 | #Constraints: 25160
2146.08/2151.67 c #Conflicts: 514000 | #Constraints: 26160
2146.08/2151.67 c #Conflicts: 515000 | #Constraints: 27160
2146.08/2151.67 c #Conflicts: 516000 | #Constraints: 28160
2146.08/2151.67 c INPROCESSING
2146.08/2151.67 c GARBAGE COLLECT
2146.08/2151.67 c #Conflicts: 517000 | #Constraints: 14963
2146.08/2151.67 c #Conflicts: 518000 | #Constraints: 15963
2146.08/2151.67 c #Conflicts: 519000 | #Constraints: 16963
2146.08/2151.67 c #Conflicts: 520000 | #Constraints: 17963
2146.08/2151.67 c #Conflicts: 521000 | #Constraints: 18963
2146.08/2151.67 c #Conflicts: 522000 | #Constraints: 19963
2146.08/2151.67 c #Conflicts: 523000 | #Constraints: 20963
2146.08/2151.67 c #Conflicts: 524000 | #Constraints: 21963
2146.08/2151.67 c #Conflicts: 525000 | #Constraints: 22963
2146.08/2151.67 c #Conflicts: 526000 | #Constraints: 23963
2146.08/2151.67 c #Conflicts: 527000 | #Constraints: 24963
2146.08/2151.67 c #Conflicts: 528000 | #Constraints: 25963
2146.08/2151.67 c #Conflicts: 529000 | #Constraints: 26963
2146.08/2151.67 c #Conflicts: 530000 | #Constraints: 27963
2146.08/2151.67 c #Conflicts: 531000 | #Constraints: 28963
2146.08/2151.67 c INPROCESSING
2146.08/2151.67 c GARBAGE COLLECT
2146.08/2151.67 c #Conflicts: 532000 | #Constraints: 15541
2146.08/2151.67 c #Conflicts: 533000 | #Constraints: 16541
2146.08/2151.67 c #Conflicts: 534000 | #Constraints: 17541
2146.08/2151.67 c #Conflicts: 535000 | #Constraints: 18541
2146.08/2151.67 c #Conflicts: 536000 | #Constraints: 19541
2146.08/2151.67 c #Conflicts: 537000 | #Constraints: 20541
2146.08/2151.67 c #Conflicts: 538000 | #Constraints: 21541
2146.08/2151.67 c #Conflicts: 539000 | #Constraints: 22541
2146.08/2151.67 c #Conflicts: 540000 | #Constraints: 23541
2146.08/2151.67 c #Conflicts: 541000 | #Constraints: 24541
2146.08/2151.67 c #Conflicts: 542000 | #Constraints: 25541
2146.08/2151.67 c #Conflicts: 543000 | #Constraints: 26541
2146.08/2151.67 c #Conflicts: 544000 | #Constraints: 27541
2146.08/2151.67 c #Conflicts: 545000 | #Constraints: 28541
2146.08/2151.67 c #Conflicts: 546000 | #Constraints: 29541
2146.08/2151.67 c INPROCESSING
2146.08/2151.67 c GARBAGE COLLECT
2146.08/2151.67 c #Conflicts: 547000 | #Constraints: 15940
2146.08/2151.67 c #Conflicts: 548000 | #Constraints: 16940
2146.08/2151.67 c #Conflicts: 549000 | #Constraints: 17940
2146.08/2151.67 c #Conflicts: 550000 | #Constraints: 18940
2146.08/2151.67 c #Conflicts: 551000 | #Constraints: 19940
2146.08/2151.67 c #Conflicts: 552000 | #Constraints: 20940
2146.08/2151.67 c #Conflicts: 553000 | #Constraints: 21940
2146.08/2151.67 c #Conflicts: 554000 | #Constraints: 22940
2146.08/2151.67 c #Conflicts: 555000 | #Constraints: 23940
2146.08/2151.67 c #Conflicts: 556000 | #Constraints: 24940
2146.08/2151.67 c #Conflicts: 557000 | #Constraints: 25940
2146.08/2151.67 c #Conflicts: 558000 | #Constraints: 26940
2146.08/2151.67 c #Conflicts: 559000 | #Constraints: 27940
2146.08/2151.67 c #Conflicts: 560000 | #Constraints: 28940
2146.08/2151.67 c #Conflicts: 561000 | #Constraints: 29940
2146.08/2151.67 c INPROCESSING
2146.08/2151.67 c GARBAGE COLLECT
2146.08/2151.67 c #Conflicts: 562000 | #Constraints: 16141
2146.08/2151.67 c #Conflicts: 563000 | #Constraints: 17141
2146.08/2151.67 c #Conflicts: 564000 | #Constraints: 18141
2146.08/2151.67 c #Conflicts: 565000 | #Constraints: 19141
2146.08/2151.67 c #Conflicts: 566000 | #Constraints: 20141
2146.08/2151.67 c #Conflicts: 567000 | #Constraints: 21141
2146.08/2151.67 c #Conflicts: 568000 | #Constraints: 22141
2146.08/2151.67 c #Conflicts: 569000 | #Constraints: 23141
2146.08/2151.67 c #Conflicts: 570000 | #Constraints: 24141
2146.08/2151.67 c #Conflicts: 571000 | #Constraints: 25141
2146.08/2151.67 c #Conflicts: 572000 | #Constraints: 26141
2146.08/2151.67 c #Conflicts: 573000 | #Constraints: 27141
2146.08/2151.67 c #Conflicts: 574000 | #Constraints: 28141
2146.08/2151.67 c #Conflicts: 575000 | #Constraints: 29141
2146.08/2151.67 c #Conflicts: 576000 | #Constraints: 30141
2146.08/2151.67 c INPROCESSING
2146.08/2151.67 c GARBAGE COLLECT
2146.08/2151.67 c #Conflicts: 577000 | #Constraints: 16148
2146.08/2151.67 c #Conflicts: 578000 | #Constraints: 17148
2146.08/2151.67 c #Conflicts: 579000 | #Constraints: 18148
2146.08/2151.67 c #Conflicts: 580000 | #Constraints: 19148
2146.08/2151.67 c #Conflicts: 581000 | #Constraints: 20148
2146.08/2151.67 c #Conflicts: 582000 | #Constraints: 21148
2146.08/2151.67 c #Conflicts: 583000 | #Constraints: 22148
2146.08/2151.67 c #Conflicts: 584000 | #Constraints: 23148
2575.99/2582.79 c #Conflicts: 585000 | #Constraints: 24148
2575.99/2582.79 c #Conflicts: 586000 | #Constraints: 25148
2575.99/2582.79 c #Conflicts: 587000 | #Constraints: 26148
2575.99/2582.79 c #Conflicts: 588000 | #Constraints: 27148
2575.99/2582.79 c #Conflicts: 589000 | #Constraints: 28148
2575.99/2582.79 c #Conflicts: 590000 | #Constraints: 29148
2575.99/2582.79 c #Conflicts: 591000 | #Constraints: 30148
2575.99/2582.79 c INPROCESSING
2575.99/2582.79 c GARBAGE COLLECT
2575.99/2582.79 c #Conflicts: 592000 | #Constraints: 15958
2575.99/2582.79 c #Conflicts: 593000 | #Constraints: 16958
2575.99/2582.79 c #Conflicts: 594000 | #Constraints: 17958
2575.99/2582.79 c #Conflicts: 595000 | #Constraints: 18958
2575.99/2582.79 c #Conflicts: 596000 | #Constraints: 19958
2575.99/2582.79 c #Conflicts: 597000 | #Constraints: 20958
2575.99/2582.79 c #Conflicts: 598000 | #Constraints: 21958
2575.99/2582.79 c #Conflicts: 599000 | #Constraints: 22958
2575.99/2582.79 c #Conflicts: 600000 | #Constraints: 23958
2575.99/2582.79 c #Conflicts: 601000 | #Constraints: 24958
2575.99/2582.79 c #Conflicts: 602000 | #Constraints: 25958
2575.99/2582.79 c #Conflicts: 603000 | #Constraints: 26958
2575.99/2582.79 c #Conflicts: 604000 | #Constraints: 27958
2575.99/2582.79 c #Conflicts: 605000 | #Constraints: 28958
2575.99/2582.79 c #Conflicts: 606000 | #Constraints: 29958
2575.99/2582.79 c #Conflicts: 607000 | #Constraints: 30958
2575.99/2582.79 c INPROCESSING
2575.99/2582.79 c GARBAGE COLLECT
2575.99/2582.79 c #Conflicts: 608000 | #Constraints: 16563
2575.99/2582.79 c #Conflicts: 609000 | #Constraints: 17563
2575.99/2582.79 c #Conflicts: 610000 | #Constraints: 18563
2575.99/2582.79 c #Conflicts: 611000 | #Constraints: 19563
2575.99/2582.79 c #Conflicts: 612000 | #Constraints: 20563
2575.99/2582.79 c #Conflicts: 613000 | #Constraints: 21563
2575.99/2582.79 c #Conflicts: 614000 | #Constraints: 22563
2575.99/2582.79 c #Conflicts: 615000 | #Constraints: 23563
2575.99/2582.79 c #Conflicts: 616000 | #Constraints: 24563
2575.99/2582.79 c #Conflicts: 617000 | #Constraints: 25563
2575.99/2582.79 c #Conflicts: 618000 | #Constraints: 26563
2575.99/2582.79 c #Conflicts: 619000 | #Constraints: 27563
2575.99/2582.79 c #Conflicts: 620000 | #Constraints: 28563
2575.99/2582.79 c #Conflicts: 621000 | #Constraints: 29563
2575.99/2582.79 c #Conflicts: 622000 | #Constraints: 30563
2575.99/2582.79 c #Conflicts: 623000 | #Constraints: 31563
2575.99/2582.79 c INPROCESSING
2575.99/2582.79 c GARBAGE COLLECT
2575.99/2582.79 c #Conflicts: 624000 | #Constraints: 16953
2575.99/2582.79 c #Conflicts: 625000 | #Constraints: 17953
2575.99/2582.79 c #Conflicts: 626000 | #Constraints: 18953
2575.99/2582.79 c #Conflicts: 627000 | #Constraints: 19953
2575.99/2582.79 c #Conflicts: 628000 | #Constraints: 20953
2575.99/2582.79 c #Conflicts: 629000 | #Constraints: 21953
2575.99/2582.79 c #Conflicts: 630000 | #Constraints: 22953
2575.99/2582.79 c #Conflicts: 631000 | #Constraints: 23953
2575.99/2582.79 c #Conflicts: 632000 | #Constraints: 24953
2575.99/2582.79 c #Conflicts: 633000 | #Constraints: 25953
2575.99/2582.79 c #Conflicts: 634000 | #Constraints: 26953
2575.99/2582.79 c #Conflicts: 635000 | #Constraints: 27953
2575.99/2582.79 c #Conflicts: 636000 | #Constraints: 28953
2575.99/2582.79 c #Conflicts: 637000 | #Constraints: 29953
2575.99/2582.79 c #Conflicts: 638000 | #Constraints: 30953
2575.99/2582.79 c #Conflicts: 639000 | #Constraints: 31953
2575.99/2582.79 c INPROCESSING
2575.99/2582.79 c GARBAGE COLLECT
2575.99/2582.79 c #Conflicts: 640000 | #Constraints: 17150
2575.99/2582.79 c #Conflicts: 641000 | #Constraints: 18150
2575.99/2582.79 c #Conflicts: 642000 | #Constraints: 19150
2575.99/2582.79 c #Conflicts: 643000 | #Constraints: 20150
2575.99/2582.79 c #Conflicts: 644000 | #Constraints: 21150
2575.99/2582.79 c #Conflicts: 645000 | #Constraints: 22150
2575.99/2582.79 c #Conflicts: 646000 | #Constraints: 23150
2575.99/2582.79 c #Conflicts: 647000 | #Constraints: 24150
2575.99/2582.79 c #Conflicts: 648000 | #Constraints: 25150
2575.99/2582.79 c #Conflicts: 649000 | #Constraints: 26150
2575.99/2582.79 c #Conflicts: 650000 | #Constraints: 27150
2575.99/2582.79 c #Conflicts: 651000 | #Constraints: 28150
2575.99/2582.79 c #Conflicts: 652000 | #Constraints: 29150
2575.99/2582.79 c #Conflicts: 653000 | #Constraints: 30150
2575.99/2582.79 c #Conflicts: 654000 | #Constraints: 31150
2575.99/2582.79 c #Conflicts: 655000 | #Constraints: 32150
2575.99/2582.79 c INPROCESSING
2575.99/2582.79 c GARBAGE COLLECT
2575.99/2582.79 c #Conflicts: 656000 | #Constraints: 17142
2575.99/2582.79 c #Conflicts: 657000 | #Constraints: 18142
2575.99/2582.79 c #Conflicts: 658000 | #Constraints: 19142
2575.99/2582.79 c #Conflicts: 659000 | #Constraints: 20142
2575.99/2582.79 c #Conflicts: 660000 | #Constraints: 21142
3036.11/3044.14 c #Conflicts: 661000 | #Constraints: 22142
3036.11/3044.14 c #Conflicts: 662000 | #Constraints: 23142
3036.11/3044.14 c #Conflicts: 663000 | #Constraints: 24142
3036.11/3044.14 c #Conflicts: 664000 | #Constraints: 25142
3036.11/3044.14 c #Conflicts: 665000 | #Constraints: 26142
3036.11/3044.14 c #Conflicts: 666000 | #Constraints: 27142
3036.11/3044.14 c #Conflicts: 667000 | #Constraints: 28142
3036.11/3044.14 c #Conflicts: 668000 | #Constraints: 29142
3036.11/3044.14 c #Conflicts: 669000 | #Constraints: 30142
3036.11/3044.14 c #Conflicts: 670000 | #Constraints: 31142
3036.11/3044.14 c #Conflicts: 671000 | #Constraints: 32142
3036.11/3044.14 c INPROCESSING
3036.11/3044.14 c GARBAGE COLLECT
3036.11/3044.14 c #Conflicts: 672000 | #Constraints: 16944
3036.11/3044.14 c #Conflicts: 673000 | #Constraints: 17944
3036.11/3044.14 c #Conflicts: 674000 | #Constraints: 18944
3036.11/3044.14 c #Conflicts: 675000 | #Constraints: 19944
3036.11/3044.14 c #Conflicts: 676000 | #Constraints: 20944
3036.11/3044.14 c #Conflicts: 677000 | #Constraints: 21944
3036.11/3044.14 c #Conflicts: 678000 | #Constraints: 22944
3036.11/3044.14 c #Conflicts: 679000 | #Constraints: 23944
3036.11/3044.14 c #Conflicts: 680000 | #Constraints: 24944
3036.11/3044.14 c #Conflicts: 681000 | #Constraints: 25944
3036.11/3044.14 c #Conflicts: 682000 | #Constraints: 26944
3036.11/3044.14 c #Conflicts: 683000 | #Constraints: 27944
3036.11/3044.14 c #Conflicts: 684000 | #Constraints: 28944
3036.11/3044.14 c #Conflicts: 685000 | #Constraints: 29944
3036.11/3044.14 c #Conflicts: 686000 | #Constraints: 30944
3036.11/3044.14 c #Conflicts: 687000 | #Constraints: 31944
3036.11/3044.14 c #Conflicts: 688000 | #Constraints: 32944
3036.11/3044.14 c INPROCESSING
3036.11/3044.14 c GARBAGE COLLECT
3036.11/3044.14 c #Conflicts: 689000 | #Constraints: 17536
3036.11/3044.14 c #Conflicts: 690000 | #Constraints: 18536
3036.11/3044.14 c #Conflicts: 691000 | #Constraints: 19536
3036.11/3044.14 c #Conflicts: 692000 | #Constraints: 20536
3036.11/3044.14 c #Conflicts: 693000 | #Constraints: 21536
3036.11/3044.14 c #Conflicts: 694000 | #Constraints: 22536
3036.11/3044.14 c #Conflicts: 695000 | #Constraints: 23536
3036.11/3044.14 c #Conflicts: 696000 | #Constraints: 24536
3036.11/3044.14 c #Conflicts: 697000 | #Constraints: 25536
3036.11/3044.14 c #Conflicts: 698000 | #Constraints: 26536
3036.11/3044.14 c #Conflicts: 699000 | #Constraints: 27536
3036.11/3044.14 c #Conflicts: 700000 | #Constraints: 28536
3036.11/3044.14 c #Conflicts: 701000 | #Constraints: 29536
3036.11/3044.14 c #Conflicts: 702000 | #Constraints: 30536
3036.11/3044.14 c #Conflicts: 703000 | #Constraints: 31536
3036.11/3044.14 c #Conflicts: 704000 | #Constraints: 32536
3036.11/3044.14 c #Conflicts: 705000 | #Constraints: 33536
3036.11/3044.14 c INPROCESSING
3036.11/3044.14 c GARBAGE COLLECT
3036.11/3044.14 c #Conflicts: 706000 | #Constraints: 17956
3036.11/3044.14 c #Conflicts: 707000 | #Constraints: 18956
3036.11/3044.14 c #Conflicts: 708000 | #Constraints: 19956
3036.11/3044.14 c #Conflicts: 709000 | #Constraints: 20956
3036.11/3044.14 c #Conflicts: 710000 | #Constraints: 21956
3036.11/3044.14 c #Conflicts: 711000 | #Constraints: 22956
3036.11/3044.14 c #Conflicts: 712000 | #Constraints: 23956
3036.11/3044.14 c #Conflicts: 713000 | #Constraints: 24956
3036.11/3044.14 c #Conflicts: 714000 | #Constraints: 25956
3036.11/3044.14 c #Conflicts: 715000 | #Constraints: 26956
3036.11/3044.14 c #Conflicts: 716000 | #Constraints: 27956
3036.11/3044.14 c #Conflicts: 717000 | #Constraints: 28956
3036.11/3044.14 c #Conflicts: 718000 | #Constraints: 29956
3036.11/3044.14 c #Conflicts: 719000 | #Constraints: 30956
3036.11/3044.14 c #Conflicts: 720000 | #Constraints: 31956
3036.11/3044.14 c #Conflicts: 721000 | #Constraints: 32956
3036.11/3044.14 c #Conflicts: 722000 | #Constraints: 33956
3036.11/3044.14 c INPROCESSING
3036.11/3044.14 c GARBAGE COLLECT
3036.11/3044.14 c #Conflicts: 723000 | #Constraints: 18168
3036.11/3044.14 c #Conflicts: 724000 | #Constraints: 19168
3036.11/3044.14 c #Conflicts: 725000 | #Constraints: 20168
3036.11/3044.14 c #Conflicts: 726000 | #Constraints: 21168
3036.11/3044.14 c #Conflicts: 727000 | #Constraints: 22168
3036.11/3044.14 c #Conflicts: 728000 | #Constraints: 23168
3036.11/3044.14 c #Conflicts: 729000 | #Constraints: 24168
3036.11/3044.14 c #Conflicts: 730000 | #Constraints: 25168
3036.11/3044.14 c #Conflicts: 731000 | #Constraints: 26168
3036.11/3044.14 c #Conflicts: 732000 | #Constraints: 27168
3036.11/3044.14 c #Conflicts: 733000 | #Constraints: 28168
3036.11/3044.14 c #Conflicts: 734000 | #Constraints: 29168
3036.11/3044.14 c #Conflicts: 735000 | #Constraints: 30168
3036.11/3044.14 c #Conflicts: 736000 | #Constraints: 31168
3564.26/3573.82 c #Conflicts: 737000 | #Constraints: 32168
3564.26/3573.82 c #Conflicts: 738000 | #Constraints: 33168
3564.26/3573.82 c #Conflicts: 739000 | #Constraints: 34168
3564.26/3573.82 c INPROCESSING
3564.26/3573.82 c GARBAGE COLLECT
3564.26/3573.82 c #Conflicts: 740000 | #Constraints: 18175
3564.26/3573.82 c #Conflicts: 741000 | #Constraints: 19175
3564.26/3573.82 c #Conflicts: 742000 | #Constraints: 20175
3564.26/3573.82 c #Conflicts: 743000 | #Constraints: 21175
3564.26/3573.82 c #Conflicts: 744000 | #Constraints: 22175
3564.26/3573.82 c #Conflicts: 745000 | #Constraints: 23175
3564.26/3573.82 c #Conflicts: 746000 | #Constraints: 24175
3564.26/3573.82 c #Conflicts: 747000 | #Constraints: 25175
3564.26/3573.82 c #Conflicts: 748000 | #Constraints: 26175
3564.26/3573.82 c #Conflicts: 749000 | #Constraints: 27175
3564.26/3573.82 c #Conflicts: 750000 | #Constraints: 28175
3564.26/3573.82 c #Conflicts: 751000 | #Constraints: 29175
3564.26/3573.82 c #Conflicts: 752000 | #Constraints: 30175
3564.26/3573.82 c #Conflicts: 753000 | #Constraints: 31175
3564.26/3573.82 c #Conflicts: 754000 | #Constraints: 32175
3564.26/3573.82 c #Conflicts: 755000 | #Constraints: 33175
3564.26/3573.82 c #Conflicts: 756000 | #Constraints: 34175
3564.26/3573.82 c INPROCESSING
3564.26/3573.82 c GARBAGE COLLECT
3564.26/3573.82 c #Conflicts: 757000 | #Constraints: 17952
3564.26/3573.82 c #Conflicts: 758000 | #Constraints: 18952
3564.26/3573.82 c #Conflicts: 759000 | #Constraints: 19952
3564.26/3573.82 c #Conflicts: 760000 | #Constraints: 20952
3564.26/3573.82 c #Conflicts: 761000 | #Constraints: 21952
3564.26/3573.82 c #Conflicts: 762000 | #Constraints: 22952
3564.26/3573.82 c #Conflicts: 763000 | #Constraints: 23952
3564.26/3573.82 c #Conflicts: 764000 | #Constraints: 24952
3564.26/3573.82 c #Conflicts: 765000 | #Constraints: 25952
3564.26/3573.82 c #Conflicts: 766000 | #Constraints: 26952
3564.26/3573.82 c #Conflicts: 767000 | #Constraints: 27952
3564.26/3573.82 c #Conflicts: 768000 | #Constraints: 28952
3564.26/3573.82 c #Conflicts: 769000 | #Constraints: 29952
3564.26/3573.82 c #Conflicts: 770000 | #Constraints: 30952
3564.26/3573.82 c #Conflicts: 771000 | #Constraints: 31952
3564.26/3573.82 c #Conflicts: 772000 | #Constraints: 32952
3564.26/3573.82 c #Conflicts: 773000 | #Constraints: 33952
3564.26/3573.82 c #Conflicts: 774000 | #Constraints: 34952
3564.26/3573.82 c INPROCESSING
3564.26/3573.82 c GARBAGE COLLECT
3564.26/3573.82 c #Conflicts: 775000 | #Constraints: 18554
3564.26/3573.82 c #Conflicts: 776000 | #Constraints: 19554
3564.26/3573.82 c #Conflicts: 777000 | #Constraints: 20554
3564.26/3573.82 c #Conflicts: 778000 | #Constraints: 21554
3564.26/3573.82 c #Conflicts: 779000 | #Constraints: 22554
3564.26/3573.82 c #Conflicts: 780000 | #Constraints: 23554
3564.26/3573.82 c #Conflicts: 781000 | #Constraints: 24554
3564.26/3573.82 c #Conflicts: 782000 | #Constraints: 25554
3564.26/3573.82 c #Conflicts: 783000 | #Constraints: 26554
3564.26/3573.82 c #Conflicts: 784000 | #Constraints: 27554
3564.26/3573.82 c #Conflicts: 785000 | #Constraints: 28554
3564.26/3573.82 c #Conflicts: 786000 | #Constraints: 29554
3564.26/3573.82 c #Conflicts: 787000 | #Constraints: 30554
3564.26/3573.82 c #Conflicts: 788000 | #Constraints: 31554
3564.26/3573.82 c #Conflicts: 789000 | #Constraints: 32554
3564.26/3573.82 c #Conflicts: 790000 | #Constraints: 33554
3564.26/3573.82 c #Conflicts: 791000 | #Constraints: 34554
3564.26/3573.82 c #Conflicts: 792000 | #Constraints: 35554
3564.26/3573.82 c INPROCESSING
3564.26/3573.82 c GARBAGE COLLECT
3564.26/3573.82 c #Conflicts: 793000 | #Constraints: 18940
3564.26/3573.82 c #Conflicts: 794000 | #Constraints: 19940
3564.26/3573.82 c #Conflicts: 795000 | #Constraints: 20940
3564.26/3573.82 c #Conflicts: 796000 | #Constraints: 21940
3564.26/3573.82 c #Conflicts: 797000 | #Constraints: 22940
3564.26/3573.82 c #Conflicts: 798000 | #Constraints: 23940
3564.26/3573.82 c #Conflicts: 799000 | #Constraints: 24940
3564.26/3573.82 c #Conflicts: 800000 | #Constraints: 25940
3564.26/3573.82 c #Conflicts: 801000 | #Constraints: 26940
3564.26/3573.82 c #Conflicts: 802000 | #Constraints: 27940
3564.26/3573.82 c #Conflicts: 803000 | #Constraints: 28940
3564.26/3573.82 c #Conflicts: 804000 | #Constraints: 29940
3564.26/3573.82 c #Conflicts: 805000 | #Constraints: 30940
3564.26/3573.82 c #Conflicts: 806000 | #Constraints: 31940
3564.26/3573.82 c #Conflicts: 807000 | #Constraints: 32940
3564.26/3573.82 c #Conflicts: 808000 | #Constraints: 33940
3564.26/3573.82 c #Conflicts: 809000 | #Constraints: 34940
3564.26/3573.82 c #Conflicts: 810000 | #Constraints: 35940
3564.26/3573.82 c INPROCESSING
3564.26/3573.82 c GARBAGE COLLECT
3564.26/3573.82 c #Conflicts: 811000 | #Constraints: 19142
3564.26/3573.82 c #Conflicts: 812000 | #Constraints: 20142
3600.05/3609.70 c #Conflicts: 813000 | #Constraints: 21142
3600.05/3609.70 c #Conflicts: 814000 | #Constraints: 22142
3600.05/3609.70 c #Conflicts: 815000 | #Constraints: 23142
3600.05/3609.70 c #Conflicts: 816000 | #Constraints: 24142
3600.05/3609.70 c #Conflicts: 817000 | #Constraints: 25142
3600.05/3609.70 c #Conflicts: 818000 | #Constraints: 26142
3600.05/3609.70 c Program interrupted by user.
3600.05/3609.70 c cpu time 3591.66 s
3600.05/3609.70 c deterministic time 447818093648 4.48e+11
3600.05/3609.70 c optimization time 64.7303 s
3600.05/3609.70 c total solve time 3526.93 s
3600.05/3609.70 c core-guided solve time 3526.93 s
3600.05/3609.70 c propagation time 2727.09 s
3600.05/3609.70 c conflict analysis time 801.438 s
3600.05/3609.70 c propagations 89156890
3600.05/3609.70 c resolve steps 5637609
3600.05/3609.70 c decisions 3386855
3600.05/3609.70 c conflicts 818324
3600.05/3609.70 c restarts 1772
3600.05/3609.70 c inprocessing phases 81
3600.05/3609.70 c input clauses 144
3600.05/3609.70 c input cardinalities 80
3600.05/3609.70 c input general constraints 116
3600.05/3609.70 c input average constraint length 203.21
3600.05/3609.70 c input average constraint degree 1335.99
3600.05/3609.70 c learned clauses 37354
3600.05/3609.70 c learned cardinalities 1033
3600.05/3609.70 c learned general constraints 779938
3600.05/3609.70 c learned average constraint length 522.63
3600.05/3609.70 c learned average constraint degree 41824715.40
3600.05/3609.70 c watched constraints 279380
3600.05/3609.70 c counting constraints 500674
3600.05/3609.70 c gcd simplifications 17474
3600.05/3609.70 c detected cardinalities 18
3600.05/3609.70 c weakened non-implied lits 182900554
3600.05/3609.70 c weakened non-implying lits 839588
3600.05/3609.70 c original variables 825
3600.05/3609.70 c clausal propagations 8307349
3600.05/3609.70 c cardinality propagations 16854385
3600.05/3609.70 c watched propagations 2664477
3600.05/3609.70 c counting propagations 60068189
3600.05/3609.70 c watch lookups 74557265349
3600.05/3609.70 c watch backjump lookups 73607094263
3600.05/3609.70 c watch checks 63793640676
3600.05/3609.70 c propagation checks 232728173280
3600.05/3609.70 c constraint additions 2946014975
3600.05/3609.70 c trail pops 93361359
3600.05/3609.70 c formula constraints 83
3600.05/3609.70 c learned constraints 818325
3600.05/3609.70 c bound constraints 80
3600.05/3609.70 c core-guided constraints 177
3600.05/3609.70 c encountered formula constraints 2324173
3600.05/3609.70 c encountered learned constraints 4089009
3600.05/3609.70 c encountered bound constraints 13423
3600.05/3609.70 c encountered core-guided constraints 29328
3600.05/3609.70 c LP total time 0 s
3600.05/3609.70 c LP solve time 0 s
3600.05/3609.70 c LP constraints added 0
3600.05/3609.70 c LP constraints removed 0
3600.05/3609.70 c LP pivots internal 0
3600.05/3609.70 c LP pivots root 0
3600.05/3609.70 c LP calls 0
3600.05/3609.70 c LP optimalities 0
3600.05/3609.70 c LP no pivot count 0
3600.05/3609.70 c LP infeasibilities 0
3600.05/3609.70 c LP valid Farkas constraints 0
3600.05/3609.70 c LP learned Farkas constraints 0
3600.05/3609.70 c LP basis resets 0
3600.05/3609.70 c LP cycling count 0
3600.05/3609.70 c LP singular count 0
3600.05/3609.70 c LP no primal count 0
3600.05/3609.70 c LP no farkas count 0
3600.05/3609.70 c LP other issue count 0
3600.05/3609.70 c LP Gomory cuts 0
3600.05/3609.70 c LP learned cuts 0
3600.05/3609.70 c LP deleted cuts 0
3600.05/3609.70 c LP encountered Gomory constraints 0
3600.05/3609.70 c LP encountered Farkas constraints 0
3600.05/3609.70 c LP encountered learned Farkas constraints 0
3600.05/3609.70 c CG auxiliary variables introduced 145
3600.05/3609.70 c CG solutions found 59
3600.05/3609.70 c CG cores constructed 14
3600.05/3609.70 c CG core cardinality constraints returned 0
3600.05/3609.70 c CG unit cores 1
3600.05/3609.70 c CG single cores 13
3600.05/3609.70 c CG blocks removed during cardinality reduction 0
3600.05/3609.70 c CG first core best 0
3600.05/3609.70 c CG decision core best 0
3600.05/3609.70 c CG core reduction tie 0
3600.05/3609.70 c CG core degree average 1.00
3600.05/3609.70 c CG core slack average 2.08
3600.05/3609.70 c CG exhausted 7
3600.05/3609.70 c CG exhaust time 19.2351 s
3600.05/3609.70 c CG trimmed 0
3600.05/3609.70 c CG trim time 0.061194 s
3600.05/3609.70 c CG minimized 0
3600.05/3609.70 c CG minimize time 0 s
3600.05/3609.70 c CG am1 prop time 0.256518 s
3600.05/3609.70 c CG # am1s reformulated 123
3600.05/3609.70 c CG lower bound derived from am1s 21153
3600.05/3609.70 c CG # clausal cores 13
3600.05/3609.70 c CG # cardinality cores 0
3600.05/3609.70 c CG # pb cores 0
3600.05/3609.70 c CG # pb reforms 8
3600.05/3609.70 c CG # cores discarded because of pb reform 0
3600.05/3609.70 d LOWERBOUND -72912
3600.05/3609.70 d NCORES 14
3600.05/3609.70 d NPBCORES 0
3600.05/3609.70 d NPBREFORM 8
3600.05/3609.70 d NTRIMMED 0
3600.05/3609.70 d NEXHAUSTED 7
3600.05/3609.70 d NAM1S 123
3600.05/3609.70 d AM1LB 21153
3600.05/3609.70 o -3559
3600.05/3609.70 s SATISFIABLE
3600.05/3609.70 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
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: 63968 MiB (57231 MiB free)
memory of node 1: 64473 MiB (49394 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462296-1722236576/watcher-4462296-1722236576 -o /tmp/evaluation-result-4462296-1722236576/solver-4462296-1722236576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722236576-465755 --watchdog 3760 pb-oll-rs HOME/instance-4462296-1722236576.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=465795, runsolver pid=465792
[startup+0.100754 s]*
/proc/loadavg: 0.04 0.07 0.08 5/257 465811
/proc/meminfo: memFree=109164836/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=39600 memory=8368 CPUtime=0.09 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 904 0 0 0 9 0 0 0 20 0 1 0 60187091 40550400 2092 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 9900 2092 1374 291 0 1434 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39600 KiB
Current children cumulated memory: 8368 KiB
[startup+0.205403 s]*
/proc/loadavg: 0.04 0.07 0.08 5/260 465817
/proc/meminfo: memFree=109084708/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=40220 memory=11232 CPUtime=0.2 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 1095 0 0 0 19 1 0 0 20 0 1 0 60187091 41185280 2808 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 10055 2808 1374 291 0 1589 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40220 KiB
Current children cumulated memory: 11232 KiB
[startup+0.305419 s]*
/proc/loadavg: 0.04 0.07 0.08 5/260 465817
/proc/meminfo: memFree=109095748/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=43192 memory=12092 CPUtime=0.3 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 1352 0 0 0 29 1 0 0 20 0 1 0 60187091 44228608 3023 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 10798 3023 1374 291 0 2332 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43192 KiB
Current children cumulated memory: 12092 KiB
[startup+0.700196 s]
/proc/loadavg: 0.04 0.07 0.08 5/260 465817
/proc/meminfo: memFree=109069644/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=48516 memory=18668 CPUtime=0.69 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 1939 0 0 0 67 2 0 0 20 0 1 0 60187091 49680384 4667 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 12129 4667 1374 291 0 3663 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48516 KiB
Current children cumulated memory: 18668 KiB
[startup+1.50023 s]
/proc/loadavg: 0.04 0.07 0.08 5/260 465817
/proc/meminfo: memFree=109004920/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=50344 memory=20676 CPUtime=1.48 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 2406 0 0 0 145 3 0 0 20 0 1 0 60187091 51552256 5169 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 12586 5169 1434 291 0 4120 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50344 KiB
Current children cumulated memory: 20676 KiB
[startup+3.10549 s]
/proc/loadavg: 0.04 0.07 0.08 5/260 465817
/proc/meminfo: memFree=108902872/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=64396 memory=32924 CPUtime=3.08 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 4469 0 0 0 304 4 0 0 20 0 1 0 60187091 65941504 8231 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 16099 8231 1434 291 0 7633 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 64396 KiB
Current children cumulated memory: 32924 KiB
[startup+6.30022 s]
/proc/loadavg: 0.44 0.15 0.11 5/260 465819
/proc/meminfo: memFree=108798596/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=68800 memory=39128 CPUtime=6.27 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 5482 0 0 0 619 8 0 0 20 0 1 0 60187091 70451200 9782 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 17200 9782 1434 291 0 8734 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 68800 KiB
Current children cumulated memory: 39128 KiB
[startup+12.7002 s]
/proc/loadavg: 0.72 0.22 0.13 5/260 465819
/proc/meminfo: memFree=108572728/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=88856 memory=49656 CPUtime=12.65 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 7601 0 0 0 1252 13 0 0 20 0 1 0 60187091 90988544 12414 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 22214 12414 1434 291 0 13748 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 88856 KiB
Current children cumulated memory: 49656 KiB
[startup+25.5002 s]
/proc/loadavg: 1.45 0.40 0.20 5/260 465822
/proc/meminfo: memFree=108184432/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=94524 memory=58748 CPUtime=25.42 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 8878 0 0 0 2518 24 0 0 20 0 1 0 60187091 96792576 14687 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 23631 14687 1434 291 0 15165 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 94524 KiB
Current children cumulated memory: 58748 KiB
[startup+51.1055 s]
/proc/loadavg: 2.40 0.71 0.30 5/257 465825
/proc/meminfo: memFree=107607732/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=103900 memory=70372 CPUtime=50.96 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 11280 0 0 0 5056 40 0 0 20 0 1 0 60187091 106393600 17593 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 25975 17593 1434 291 0 17509 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 103900 KiB
Current children cumulated memory: 70372 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 1.25 0.51 5/257 465834
/proc/meminfo: memFree=106552920/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=138236 memory=92016 CPUtime=102.02 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 14612 0 0 0 10133 69 0 0 20 0 1 0 60187091 141553664 23004 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 34559 23004 1434 291 0 26093 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 138236 KiB
Current children cumulated memory: 92016 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 1.77 0.74 5/257 465845
/proc/meminfo: memFree=105799304/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=175844 memory=108572 CPUtime=161.88 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 16258 0 0 0 16086 102 0 0 20 0 1 0 60187091 180064256 27143 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 43961 27143 1434 291 0 35495 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 175844 KiB
Current children cumulated memory: 108572 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.21 0.95 5/255 465856
/proc/meminfo: memFree=105037804/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=183368 memory=120584 CPUtime=221.73 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 18215 0 0 0 22042 131 0 0 20 0 1 0 60187091 187768832 30146 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 45842 30146 1434 291 0 37376 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 183368 KiB
Current children cumulated memory: 120584 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.56 1.15 5/255 465866
/proc/meminfo: memFree=104149152/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=192968 memory=131688 CPUtime=281.57 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 19980 0 0 0 28003 154 0 0 20 0 1 0 60187091 197599232 32922 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 48242 32922 1434 291 0 39776 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 192968 KiB
Current children cumulated memory: 131688 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 2.84 1.34 5/255 465877
/proc/meminfo: memFree=103703672/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=199832 memory=140780 CPUtime=341.43 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 21213 0 0 0 33968 175 0 0 20 0 1 0 60187091 204627968 35195 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 49958 35195 1434 291 0 41492 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 199832 KiB
Current children cumulated memory: 140780 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.07 1.51 5/255 465888
/proc/meminfo: memFree=103339984/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=209864 memory=152484 CPUtime=401.28 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 23159 0 0 0 39934 194 0 0 20 0 1 0 60187091 214900736 38121 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 52466 38121 1434 291 0 44000 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 209864 KiB
Current children cumulated memory: 152484 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.27 1.68 5/258 465903
/proc/meminfo: memFree=103165224/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=211712 memory=156080 CPUtime=461.13 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 23526 0 0 0 45898 215 0 0 20 0 1 0 60187091 216793088 39020 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 52928 39020 1434 291 0 44462 0
################
# More data... #
################
Current children cumulated memory: 287768 KiB
[startup+2922.3 s]
/proc/loadavg: 4.22 4.19 4.04 5/259 466975
/proc/meminfo: memFree=96618472/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=352372 memory=288184 CPUtime=2914.64 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 50835 0 0 0 290739 725 0 0 20 0 1 0 60187091 360828928 72046 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 88093 72046 1434 291 0 79627 0
Current children cumulated CPU time: 2914.64 s
Current children cumulated vsize: 352372 KiB
Current children cumulated memory: 288184 KiB
[startup+2982.3 s]
/proc/loadavg: 4.72 4.31 4.09 5/259 466987
/proc/meminfo: memFree=96556320/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=353016 memory=290448 CPUtime=2974.48 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 51123 0 0 0 296714 734 0 0 20 0 1 0 60187091 361488384 72612 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 88254 72612 1434 291 0 79788 0
Current children cumulated CPU time: 2974.48 s
Current children cumulated vsize: 353016 KiB
Current children cumulated memory: 290448 KiB
[startup+3042.3 s]
/proc/loadavg: 4.26 4.25 4.08 5/259 466998
/proc/meminfo: memFree=96349308/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=353016 memory=290448 CPUtime=3034.31 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 51153 0 0 0 302687 744 0 0 20 0 1 0 60187091 361488384 72612 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 88254 72612 1434 291 0 79788 0
Current children cumulated CPU time: 3034.31 s
Current children cumulated vsize: 353016 KiB
Current children cumulated memory: 290448 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.22 4.08 5/259 467008
/proc/meminfo: memFree=96093760/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=357020 memory=293384 CPUtime=3094.15 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 52226 0 0 0 308659 756 0 0 20 0 1 0 60187091 365588480 73346 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 89255 73346 1434 291 0 80789 0
Current children cumulated CPU time: 3094.15 s
Current children cumulated vsize: 357020 KiB
Current children cumulated memory: 293384 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.21 4.09 5/260 467401
/proc/meminfo: memFree=95878628/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=357020 memory=293388 CPUtime=3153.98 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 52333 0 0 0 314634 764 0 0 20 0 1 0 60187091 365588480 73347 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 89255 73347 1434 291 0 80789 0
Current children cumulated CPU time: 3153.98 s
Current children cumulated vsize: 357020 KiB
Current children cumulated memory: 293388 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.20 4.09 5/258 467412
/proc/meminfo: memFree=95804388/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=357924 memory=293688 CPUtime=3213.8 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 52618 0 0 0 320608 772 0 0 20 0 1 0 60187091 366514176 73422 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 89481 73422 1434 291 0 81015 0
Current children cumulated CPU time: 3213.8 s
Current children cumulated vsize: 357924 KiB
Current children cumulated memory: 293688 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.18 4.09 5/258 467424
/proc/meminfo: memFree=95725140/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=357924 memory=293688 CPUtime=3273.64 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 52728 0 0 0 326583 781 0 0 20 0 1 0 60187091 366514176 73422 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 89481 73422 1434 291 0 81015 0
Current children cumulated CPU time: 3273.64 s
Current children cumulated vsize: 357924 KiB
Current children cumulated memory: 293688 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.09 5/257 467602
/proc/meminfo: memFree=95681304/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=441128 memory=299400 CPUtime=3333.46 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 53347 0 0 0 332551 795 0 0 20 0 1 0 60187091 451715072 74850 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 110282 74850 1434 291 0 101816 0
Current children cumulated CPU time: 3333.46 s
Current children cumulated vsize: 441128 KiB
Current children cumulated memory: 299400 KiB
[startup+3402.3 s]
/proc/loadavg: 4.25 4.19 4.10 5/258 467613
/proc/meminfo: memFree=95630032/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=441128 memory=299552 CPUtime=3393.28 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 53447 0 0 0 338524 804 0 0 20 0 1 0 60187091 451715072 74888 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 110282 74888 1434 291 0 101816 0
Current children cumulated CPU time: 3393.28 s
Current children cumulated vsize: 441128 KiB
Current children cumulated memory: 299552 KiB
[startup+3462.3 s]
/proc/loadavg: 4.35 4.24 4.12 5/259 467628
/proc/meminfo: memFree=95568196/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=441388 memory=299740 CPUtime=3453.1 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 53594 0 0 0 344496 814 0 0 20 0 1 0 60187091 451981312 74935 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 110347 74935 1434 291 0 101881 0
Current children cumulated CPU time: 3453.1 s
Current children cumulated vsize: 441388 KiB
Current children cumulated memory: 299740 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.21 4.12 5/259 467649
/proc/meminfo: memFree=95265708/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=441388 memory=299740 CPUtime=3512.92 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 53694 0 0 0 350467 825 0 0 20 0 1 0 60187091 451981312 74935 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 110347 74935 1434 291 0 101881 0
Current children cumulated CPU time: 3512.92 s
Current children cumulated vsize: 441388 KiB
Current children cumulated memory: 299740 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.20 4.12 5/259 467661
/proc/meminfo: memFree=95032332/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=441644 memory=299800 CPUtime=3572.74 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 53878 0 0 0 356439 835 0 0 20 0 1 0 60187091 452243456 74950 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 110411 74950 1434 291 0 101945 0
Current children cumulated CPU time: 3572.74 s
Current children cumulated vsize: 441644 KiB
Current children cumulated memory: 299800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.12 4.18 4.11 5/259 467667
/proc/meminfo: memFree=94926436/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=441644 memory=299800 CPUtime=3600.05 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 53928 0 0 0 359165 840 0 0 20 0 1 0 60187091 452243456 74950 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 110411 74950 1434 291 0 101945 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 441644 KiB
Current children cumulated memory: 299800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 465795 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.66 s, system=8.41771 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.12 4.18 4.11 5/259 467667
/proc/meminfo: memFree=94926436/131524600 swapFree=131060148/131071996
[pid=465795] ppid=465792 vsize=441644 memory=299800 CPUtime=3600.05 cores=4,6
/proc/465795/stat : 465795 (pb-oll-rs) R 465792 465795 465744 0 -1 4194304 53928 0 0 0 359165 840 0 0 20 0 1 0 60187091 452243456 74950 134679101440 4194304 5384005 140722075275328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34160640 140722075284502 140722075284579 140722075284579 140722075291595 0
/proc/465795/statm: 110411 74950 1434 291 0 101945 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 441644 KiB
Current children cumulated memory: 299800 KiB
Child status: 0
Real time (s): 3609.71
CPU time (s): 3600.08
CPU user time (s): 3591.66
CPU system time (s): 8.41771
CPU usage (%): 99.7332
Max. virtual memory (cumulated for all children) (KiB): 441644
Max. memory (cumulated for all children) (KiB): 299800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.66
system time used= 8.41771
maximum resident set size= 299976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53945
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= 67
involuntary context switches= 3682
# summary of solver processes directly reported to runsolver:
# pid: 465795
# total CPU time (s): 3600.08
# total CPU user time (s): 3591.66
# total CPU system time (s): 8.41771
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72425 second user time and 17.0937 second system time
The end
Begin job on nodeC029 at 2024-07-29 09:02:57
IDJOB=4462296
IDBENCH=178882
IDSOLVER=3067
FILE ID=nodeC029/4462296-1722236576
RUNJOBID= nodeC029-1722236576-465755
SLURM_JOB_ID= 8248764
Free space on /tmp= 890076 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_140_005.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462296-1722236576/watcher-4462296-1722236576 -o /tmp/evaluation-result-4462296-1722236576/solver-4462296-1722236576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722236576-465755 --watchdog 3760 pb-oll-rs HOME/instance-4462296-1722236576.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b2b4e88ed7bd22b4979581e55620e687
RANDOM SEED=697437227
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 : 3656.920
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 : 6999.50
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 : 3624.636
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 : 7005.34
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 : 3684.346
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 : 6999.50
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 : 3647.503
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 : 7005.34
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 : 3649.292
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 : 6999.50
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 : 3588.775
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 : 7005.34
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 : 3630.146
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 : 6999.50
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 : 3623.497
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 : 7005.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 109195524 kB
MemAvailable: 129576372 kB
Buffers: 399416 kB
Cached: 20706972 kB
SwapCached: 1328 kB
Active: 2978952 kB
Inactive: 18516108 kB
Active(anon): 1720 kB
Inactive(anon): 448940 kB
Active(file): 2977232 kB
Inactive(file): 18067168 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131060148 kB
Dirty: 9716 kB
Writeback: 8 kB
AnonPages: 387512 kB
Mapped: 123620 kB
Shmem: 61932 kB
KReclaimable: 352544 kB
Slab: 476432 kB
SReclaimable: 352544 kB
SUnreclaim: 123888 kB
KernelStack: 4016 kB
PageTables: 9928 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 854436 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 21472 kB
HardwareCorrupted: 0 kB
AnonHugePages: 237568 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: 350932 kB
DirectMap2M: 44511232 kB
DirectMap1G: 91226112 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC029 at 2024-07-29 10:03:06