0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 906 #constraints 1039
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= -553 @ 0.002831
0.00/0.01 c stratification level: 3
0.00/0.01 c bounds - >= -541 @ 0.003982
0.00/0.01 c bounds - >= -538 @ 0.004241
0.00/0.01 c bounds - >= -535 @ 0.004279
0.00/0.01 c bounds - >= -532 @ 0.004279
0.00/0.01 c bounds - >= -529 @ 0.004353
0.00/0.01 c bounds - >= -526 @ 0.00445
0.00/0.01 c bounds - >= -523 @ 0.00445
0.00/0.01 c bounds - >= -520 @ 0.00445
0.00/0.01 c bounds - >= -517 @ 0.00445
0.00/0.01 c bounds - >= -514 @ 0.00445
0.00/0.01 c finalizing WCE round: reformulating cores
3.17/3.25 c #Conflicts: 1000 | #Constraints: 2065
3.17/3.25 c #Conflicts: 2000 | #Constraints: 3067
3.17/3.25 c INPROCESSING
3.17/3.25 c GARBAGE COLLECT
3.17/3.25 c #Conflicts: 3000 | #Constraints: 3067
3.17/3.25 c #Conflicts: 4000 | #Constraints: 4069
3.17/3.25 c INPROCESSING
3.17/3.25 c GARBAGE COLLECT
3.17/3.25 c #Conflicts: 5000 | #Constraints: 3474
3.17/3.25 c #Conflicts: 6000 | #Constraints: 4476
3.17/3.25 c INPROCESSING
3.17/3.25 c GARBAGE COLLECT
3.17/3.25 c #Conflicts: 7000 | #Constraints: 3484
3.17/3.25 c #Conflicts: 8000 | #Constraints: 4486
3.17/3.25 c bounds 41 >= -514 @ 3.03389
3.17/3.25 c bounds 40 >= -514 @ 3.11658
3.17/3.25 c stratification level: 2
3.38/3.46 c bounds 40 >= -496 @ 3.12468
3.38/3.46 c bounds 40 >= -494 @ 3.1261
3.38/3.46 c bounds 40 >= -492 @ 3.12729
3.38/3.46 c bounds 40 >= -490 @ 3.12871
3.38/3.46 c bounds 40 >= -488 @ 3.12965
3.38/3.46 c bounds 40 >= -486 @ 3.13127
3.38/3.46 c bounds 40 >= -484 @ 3.1323
3.38/3.46 c bounds 40 >= -482 @ 3.13426
3.38/3.46 c bounds 40 >= -480 @ 3.13603
3.38/3.46 c bounds 40 >= -478 @ 3.13817
3.38/3.46 c bounds 40 >= -476 @ 3.13914
3.38/3.46 c bounds 40 >= -474 @ 3.14128
3.38/3.46 c bounds 40 >= -472 @ 3.14201
3.38/3.46 c bounds 40 >= -470 @ 3.14332
3.38/3.46 c bounds 40 >= -468 @ 3.14475
3.38/3.46 c bounds 40 >= -466 @ 3.14604
3.38/3.46 c bounds 40 >= -464 @ 3.14742
3.38/3.46 c bounds 40 >= -462 @ 3.14846
3.38/3.46 c bounds 40 >= -458 @ 3.14887
3.38/3.46 c bounds 40 >= -454 @ 3.14944
3.38/3.46 c bounds 40 >= -452 @ 3.15081
3.38/3.46 c bounds 40 >= -450 @ 3.15169
3.38/3.46 c bounds 40 >= -448 @ 3.15284
3.38/3.46 c bounds 40 >= -444 @ 3.15446
3.38/3.46 c bounds 40 >= -442 @ 3.15575
3.38/3.46 c bounds 40 >= -440 @ 3.15667
3.38/3.46 c bounds 40 >= -438 @ 3.15745
3.38/3.46 c bounds 40 >= -436 @ 3.15807
3.38/3.46 c bounds 40 >= -434 @ 3.15949
3.38/3.46 c bounds 40 >= -432 @ 3.16035
3.38/3.46 c bounds 40 >= -430 @ 3.16178
3.38/3.46 c bounds 40 >= -428 @ 3.16299
3.38/3.46 c bounds 40 >= -426 @ 3.16452
3.38/3.46 c bounds 40 >= -424 @ 3.16551
3.38/3.46 c bounds 40 >= -422 @ 3.1661
3.38/3.46 c bounds 40 >= -420 @ 3.16752
3.38/3.46 c bounds 40 >= -418 @ 3.16969
3.38/3.46 c bounds 40 >= -414 @ 3.17115
3.38/3.46 c bounds 40 >= -412 @ 3.17268
3.38/3.46 c bounds 40 >= -410 @ 3.17361
3.38/3.46 c bounds 40 >= -408 @ 3.17469
3.38/3.46 c bounds 40 >= -406 @ 3.1748
3.38/3.46 c bounds 40 >= -404 @ 3.17655
3.38/3.46 c bounds 40 >= -402 @ 3.17859
3.38/3.46 c bounds 40 >= -400 @ 3.18383
3.38/3.46 c bounds 40 >= -398 @ 3.19143
3.38/3.46 c finalizing WCE round: reformulating cores
21.23/21.38 c #Conflicts: 9000 | #Constraints: 5598
21.23/21.38 c INPROCESSING
21.23/21.38 c GARBAGE COLLECT
21.23/21.38 c #Conflicts: 10000 | #Constraints: 4232
21.23/21.38 c #Conflicts: 11000 | #Constraints: 5241
21.23/21.38 c #Conflicts: 12000 | #Constraints: 6250
21.23/21.38 c INPROCESSING
21.23/21.38 c GARBAGE COLLECT
21.23/21.38 c #Conflicts: 13000 | #Constraints: 4692
21.23/21.38 c #Conflicts: 14000 | #Constraints: 5694
21.23/21.38 c #Conflicts: 15000 | #Constraints: 6699
21.23/21.38 c INPROCESSING
21.23/21.38 c GARBAGE COLLECT
21.23/21.38 c #Conflicts: 16000 | #Constraints: 4921
21.23/21.38 c #Conflicts: 17000 | #Constraints: 5923
21.23/21.38 c #Conflicts: 18000 | #Constraints: 6931
21.23/21.38 c INPROCESSING
21.23/21.38 c GARBAGE COLLECT
21.23/21.38 c #Conflicts: 19000 | #Constraints: 4937
21.23/21.38 c #Conflicts: 20000 | #Constraints: 5939
21.23/21.38 c #Conflicts: 21000 | #Constraints: 6941
21.23/21.38 c INPROCESSING
21.23/21.38 c GARBAGE COLLECT
21.23/21.38 c #Conflicts: 22000 | #Constraints: 4749
21.23/21.38 c #Conflicts: 23000 | #Constraints: 5754
21.23/21.38 c #Conflicts: 24000 | #Constraints: 6756
21.23/21.38 c #Conflicts: 25000 | #Constraints: 7758
21.23/21.38 c INPROCESSING
21.23/21.38 c GARBAGE COLLECT
21.23/21.38 c #Conflicts: 26000 | #Constraints: 5367
21.23/21.38 c #Conflicts: 27000 | #Constraints: 6369
21.23/21.38 c #Conflicts: 28000 | #Constraints: 7371
21.23/21.38 c #Conflicts: 29000 | #Constraints: 8375
21.23/21.38 c INPROCESSING
21.23/21.38 c GARBAGE COLLECT
21.23/21.38 c #Conflicts: 30000 | #Constraints: 5793
21.23/21.38 c #Conflicts: 31000 | #Constraints: 6795
21.23/21.38 c #Conflicts: 32000 | #Constraints: 7797
21.23/21.38 c #Conflicts: 33000 | #Constraints: 8801
21.23/21.38 c INPROCESSING
21.23/21.38 c GARBAGE COLLECT
21.23/21.38 c #Conflicts: 34000 | #Constraints: 6007
21.23/21.38 c #Conflicts: 35000 | #Constraints: 7015
21.23/21.38 c #Conflicts: 36000 | #Constraints: 8018
21.23/21.38 c bounds 20 >= -398 @ 19.3643
21.23/21.38 c bounds 20 >= -394 @ 19.368
21.23/21.38 c bounds 20 >= -392 @ 19.3709
21.23/21.38 c bounds 20 >= -390 @ 19.3832
21.23/21.38 c bounds 20 >= -388 @ 19.3876
21.23/21.38 c bounds 20 >= -386 @ 19.3918
21.23/21.38 c bounds 20 >= -384 @ 19.3946
21.23/21.38 c bounds 20 >= -382 @ 19.4037
21.23/21.38 c bounds 20 >= -380 @ 19.4107
21.23/21.38 c bounds 20 >= -378 @ 19.4164
21.23/21.38 c bounds 20 >= -376 @ 19.4243
21.23/21.38 c bounds 20 >= -374 @ 19.4451
21.23/21.38 c bounds 20 >= -372 @ 19.4715
21.23/21.38 c bounds 20 >= -370 @ 19.4943
21.23/21.38 c bounds 20 >= -368 @ 19.5252
21.23/21.38 c #Conflicts: 37000 | #Constraints: 9123
21.23/21.38 c INPROCESSING
21.23/21.38 c GARBAGE COLLECT
21.23/21.38 c finalizing WCE round: reformulating cores
29.11/29.20 c #Conflicts: 38000 | #Constraints: 6085
29.11/29.20 c #Conflicts: 39000 | #Constraints: 7089
29.11/29.20 c #Conflicts: 40000 | #Constraints: 8091
29.11/29.20 c #Conflicts: 41000 | #Constraints: 9093
29.11/29.20 c INPROCESSING
29.11/29.20 c GARBAGE COLLECT
29.11/29.20 c #Conflicts: 42000 | #Constraints: 5891
29.11/29.20 c #Conflicts: 43000 | #Constraints: 6893
29.11/29.20 c #Conflicts: 44000 | #Constraints: 7897
29.11/29.20 c #Conflicts: 45000 | #Constraints: 8899
29.11/29.20 c #Conflicts: 46000 | #Constraints: 9901
29.11/29.20 c INPROCESSING
29.11/29.20 c GARBAGE COLLECT
29.11/29.20 c #Conflicts: 47000 | #Constraints: 6494
29.11/29.20 c #Conflicts: 48000 | #Constraints: 7496
29.11/29.20 c bounds 19 >= -368 @ 28.095
29.11/29.20 c bounds 19 >= -366 @ 28.105
29.11/29.20 c finalizing WCE round: reformulating cores
35.99/36.19 c #Conflicts: 49000 | #Constraints: 8530
35.99/36.19 c bounds 18 >= -366 @ 29.4529
35.99/36.19 c #Conflicts: 50000 | #Constraints: 9530
35.99/36.19 c #Conflicts: 51000 | #Constraints: 10530
35.99/36.19 c INPROCESSING
35.99/36.19 c GARBAGE COLLECT
35.99/36.19 c #Conflicts: 52000 | #Constraints: 6915
35.99/36.19 c #Conflicts: 53000 | #Constraints: 7915
35.99/36.19 c #Conflicts: 54000 | #Constraints: 8915
35.99/36.19 c bounds 17 >= -366 @ 35.5152
35.99/36.19 c stratification level: 1
39.38/39.50 c bounds 17 >= -339 @ 35.5501
39.38/39.50 c bounds 17 >= -336 @ 35.5522
39.38/39.50 c bounds 17 >= -335 @ 35.555
39.38/39.50 c bounds 17 >= -332 @ 35.5559
39.38/39.50 c bounds 17 >= -331 @ 35.5581
39.38/39.50 c bounds 17 >= -328 @ 35.5595
39.38/39.50 c bounds 17 >= -326 @ 35.5634
39.38/39.50 c bounds 17 >= -324 @ 35.566
39.38/39.50 c bounds 17 >= -323 @ 35.5679
39.38/39.50 c bounds 17 >= -320 @ 35.5691
39.38/39.50 c bounds 17 >= -319 @ 35.5723
39.38/39.50 c bounds 17 >= -318 @ 35.5749
39.38/39.50 c bounds 17 >= -317 @ 35.5785
39.38/39.50 c bounds 17 >= -316 @ 35.5808
39.38/39.50 c bounds 17 >= -315 @ 35.5826
39.38/39.50 c bounds 17 >= -314 @ 35.5831
39.38/39.50 c bounds 17 >= -313 @ 35.5851
39.38/39.50 c bounds 17 >= -312 @ 35.5866
39.38/39.50 c bounds 17 >= -311 @ 35.5883
39.38/39.50 c bounds 17 >= -310 @ 35.5925
39.38/39.50 c bounds 17 >= -309 @ 35.5955
39.38/39.50 c bounds 17 >= -307 @ 35.5991
39.38/39.50 c bounds 17 >= -304 @ 35.6011
39.38/39.50 c bounds 17 >= -303 @ 35.6067
39.38/39.50 c bounds 17 >= -302 @ 35.6101
39.38/39.50 c bounds 17 >= -301 @ 35.6119
39.38/39.50 c bounds 17 >= -300 @ 35.6147
39.38/39.50 c bounds 17 >= -297 @ 35.6163
39.38/39.50 c bounds 17 >= -296 @ 35.6225
39.38/39.50 c bounds 17 >= -295 @ 35.6247
39.38/39.50 c bounds 17 >= -293 @ 35.6271
39.38/39.50 c bounds 17 >= -292 @ 35.6292
39.38/39.50 c bounds 17 >= -291 @ 35.6311
39.38/39.50 c bounds 17 >= -290 @ 35.6378
39.38/39.50 c bounds 17 >= -289 @ 35.6411
39.38/39.50 c bounds 17 >= -286 @ 35.6431
39.38/39.50 c bounds 17 >= -285 @ 35.6451
39.38/39.50 c bounds 17 >= -284 @ 35.648
39.38/39.50 c bounds 17 >= -283 @ 35.6519
39.38/39.50 c bounds 17 >= -282 @ 35.6542
39.38/39.50 c bounds 17 >= -281 @ 35.6596
39.38/39.50 c bounds 17 >= -280 @ 35.6647
39.38/39.50 c bounds 17 >= -279 @ 35.6675
39.38/39.50 c bounds 17 >= -277 @ 35.6758
39.38/39.50 c bounds 17 >= -274 @ 35.6832
39.38/39.50 c bounds 17 >= -273 @ 35.6876
39.38/39.50 c bounds 17 >= -271 @ 35.6913
39.38/39.50 c bounds 17 >= -270 @ 35.6955
39.38/39.50 c bounds 17 >= -269 @ 35.6998
39.38/39.50 c bounds 17 >= -268 @ 35.7028
39.38/39.50 c bounds 17 >= -266 @ 35.7071
39.38/39.50 c bounds 17 >= -265 @ 35.711
39.38/39.50 c bounds 17 >= -264 @ 35.7142
39.38/39.50 c bounds 17 >= -263 @ 35.7181
39.38/39.50 c bounds 17 >= -262 @ 35.7232
39.38/39.50 c bounds 17 >= -261 @ 35.7254
39.38/39.50 c bounds 17 >= -260 @ 35.728
39.38/39.50 c bounds 17 >= -259 @ 35.7333
39.38/39.50 c bounds 17 >= -258 @ 35.7391
39.38/39.50 c bounds 17 >= -257 @ 35.7434
39.38/39.50 c bounds 17 >= -256 @ 35.7501
39.38/39.50 c bounds 17 >= -255 @ 35.7558
39.38/39.50 c bounds 17 >= -254 @ 35.7596
39.38/39.50 c bounds 17 >= -253 @ 35.7654
39.38/39.50 c bounds 17 >= -251 @ 35.7744
39.38/39.50 c bounds 17 >= -250 @ 35.7842
39.38/39.50 c bounds 17 >= -249 @ 35.7864
39.38/39.50 c bounds 17 >= -248 @ 35.7882
39.38/39.50 c bounds 17 >= -247 @ 35.79
39.38/39.50 c bounds 17 >= -246 @ 35.7948
39.38/39.50 c bounds 17 >= -245 @ 35.798
39.38/39.50 c bounds 17 >= -244 @ 35.8012
39.38/39.50 c bounds 17 >= -243 @ 35.8038
39.38/39.50 c bounds 17 >= -242 @ 35.8073
39.38/39.50 c bounds 17 >= -241 @ 35.8123
39.38/39.50 c bounds 17 >= -240 @ 35.82
39.38/39.50 c bounds 17 >= -239 @ 35.8229
39.38/39.50 c bounds 17 >= -238 @ 35.8261
39.38/39.50 c bounds 17 >= -237 @ 35.8279
39.38/39.50 c bounds 17 >= -236 @ 35.8316
39.38/39.50 c bounds 17 >= -235 @ 35.8367
39.38/39.50 c bounds 17 >= -234 @ 35.8422
39.38/39.50 c bounds 17 >= -233 @ 35.8474
39.38/39.50 c bounds 17 >= -232 @ 35.8523
39.38/39.50 c bounds 17 >= -231 @ 35.8577
39.38/39.50 c bounds 17 >= -230 @ 35.8614
39.38/39.50 c bounds 17 >= -229 @ 35.8661
39.38/39.50 c bounds 17 >= -228 @ 35.8713
39.38/39.50 c bounds 17 >= -227 @ 35.8761
39.38/39.50 c bounds 17 >= -226 @ 35.8887
39.38/39.50 c bounds 17 >= -225 @ 35.8917
39.38/39.50 c bounds 17 >= -224 @ 35.8954
39.38/39.50 c bounds 17 >= -223 @ 35.8998
39.38/39.50 c bounds 17 >= -222 @ 35.9061
39.38/39.50 c bounds 17 >= -221 @ 35.9135
39.38/39.50 c bounds 17 >= -220 @ 35.9255
39.38/39.50 c bounds 17 >= -219 @ 35.9318
39.38/39.50 c bounds 17 >= -218 @ 35.9491
39.38/39.50 c bounds 17 >= -217 @ 35.9728
39.38/39.50 c bounds 17 >= -216 @ 35.9835
39.38/39.50 c bounds 17 >= -215 @ 35.9922
39.38/39.50 c bounds 17 >= -214 @ 36.0079
39.38/39.50 c bounds 17 >= -213 @ 36.0766
39.38/39.50 c bounds 17 >= -212 @ 36.1265
39.38/39.50 c bounds 17 >= -211 @ 36.219
39.38/39.50 c bounds 17 >= -210 @ 36.2852
39.38/39.50 c bounds 17 >= -209 @ 36.2879
39.38/39.50 c bounds 17 >= -208 @ 36.3185
39.38/39.50 c bounds 17 >= -207 @ 36.7595
39.38/39.50 c bounds 17 >= -206 @ 36.8044
39.38/39.50 c #Conflicts: 55000 | #Constraints: 10428
39.38/39.50 c finalizing WCE round: reformulating cores
107.10/107.46 c #Conflicts: 56000 | #Constraints: 11434
107.10/107.46 c INPROCESSING
107.10/107.46 c GARBAGE COLLECT
107.10/107.46 c #Conflicts: 57000 | #Constraints: 7407
107.10/107.46 c #Conflicts: 58000 | #Constraints: 8409
107.10/107.46 c #Conflicts: 59000 | #Constraints: 9411
107.10/107.46 c #Conflicts: 60000 | #Constraints: 10415
107.10/107.46 c #Conflicts: 61000 | #Constraints: 11417
107.10/107.46 c INPROCESSING
107.10/107.46 c GARBAGE COLLECT
107.10/107.46 c #Conflicts: 62000 | #Constraints: 7376
107.10/107.46 c #Conflicts: 63000 | #Constraints: 8378
107.10/107.46 c #Conflicts: 64000 | #Constraints: 9380
107.10/107.46 c #Conflicts: 65000 | #Constraints: 10384
107.10/107.46 c #Conflicts: 66000 | #Constraints: 11386
107.10/107.46 c INPROCESSING
107.10/107.46 c GARBAGE COLLECT
107.10/107.46 c #Conflicts: 67000 | #Constraints: 7161
107.10/107.46 c #Conflicts: 68000 | #Constraints: 8163
107.10/107.46 c #Conflicts: 69000 | #Constraints: 9167
107.10/107.46 c #Conflicts: 70000 | #Constraints: 10169
107.10/107.46 c #Conflicts: 71000 | #Constraints: 11171
107.10/107.46 c #Conflicts: 72000 | #Constraints: 12175
107.10/107.46 c INPROCESSING
107.10/107.46 c GARBAGE COLLECT
107.10/107.46 c #Conflicts: 73000 | #Constraints: 7759
107.10/107.46 c #Conflicts: 74000 | #Constraints: 8761
107.10/107.46 c #Conflicts: 75000 | #Constraints: 9763
107.10/107.46 c #Conflicts: 76000 | #Constraints: 10767
107.10/107.46 c #Conflicts: 77000 | #Constraints: 11769
107.10/107.46 c #Conflicts: 78000 | #Constraints: 12771
107.10/107.46 c INPROCESSING
107.10/107.46 c GARBAGE COLLECT
107.10/107.46 c #Conflicts: 79000 | #Constraints: 8159
107.10/107.46 c #Conflicts: 80000 | #Constraints: 9161
107.10/107.46 c #Conflicts: 81000 | #Constraints: 10163
107.10/107.46 c #Conflicts: 82000 | #Constraints: 11167
107.10/107.46 c #Conflicts: 83000 | #Constraints: 12169
107.10/107.46 c #Conflicts: 84000 | #Constraints: 13171
107.10/107.46 c INPROCESSING
107.10/107.46 c GARBAGE COLLECT
107.10/107.46 c #Conflicts: 85000 | #Constraints: 8372
107.10/107.46 c #Conflicts: 86000 | #Constraints: 9374
107.10/107.46 c #Conflicts: 87000 | #Constraints: 10376
107.10/107.46 c #Conflicts: 88000 | #Constraints: 11380
107.10/107.46 c #Conflicts: 89000 | #Constraints: 12382
107.10/107.46 c #Conflicts: 90000 | #Constraints: 13384
107.10/107.46 c INPROCESSING
107.10/107.46 c GARBAGE COLLECT
107.10/107.46 c #Conflicts: 91000 | #Constraints: 8395
107.10/107.46 c #Conflicts: 92000 | #Constraints: 9397
107.10/107.46 c #Conflicts: 93000 | #Constraints: 10399
107.10/107.46 c #Conflicts: 94000 | #Constraints: 11403
107.10/107.46 c #Conflicts: 95000 | #Constraints: 12405
107.10/107.46 c #Conflicts: 96000 | #Constraints: 13407
107.10/107.46 c INPROCESSING
107.10/107.46 c GARBAGE COLLECT
107.10/107.46 c #Conflicts: 97000 | #Constraints: 8196
107.10/107.46 c #Conflicts: 98000 | #Constraints: 9198
107.10/107.46 c #Conflicts: 99000 | #Constraints: 10202
107.10/107.46 c #Conflicts: 100000 | #Constraints: 11204
107.10/107.46 c #Conflicts: 101000 | #Constraints: 12206
107.10/107.46 c bounds 15 >= -271 @ 77.3816
107.10/107.46 c bounds 15 >= -271 @ 77.4528
107.10/107.46 c #Conflicts: 102000 | #Constraints: 13214
107.10/107.46 c #Conflicts: 103000 | #Constraints: 14216
107.10/107.46 c INPROCESSING
107.10/107.46 c GARBAGE COLLECT
107.10/107.46 c #Conflicts: 104000 | #Constraints: 8805
107.10/107.46 c #Conflicts: 105000 | #Constraints: 9807
107.10/107.46 c #Conflicts: 106000 | #Constraints: 10809
107.10/107.46 c #Conflicts: 107000 | #Constraints: 11813
107.10/107.46 c #Conflicts: 108000 | #Constraints: 12815
107.10/107.46 c #Conflicts: 109000 | #Constraints: 13817
107.10/107.46 c #Conflicts: 110000 | #Constraints: 14821
107.10/107.46 c INPROCESSING
107.10/107.46 c GARBAGE COLLECT
107.10/107.46 c #Conflicts: 111000 | #Constraints: 9226
107.10/107.46 c #Conflicts: 112000 | #Constraints: 10228
107.10/107.46 c #Conflicts: 113000 | #Constraints: 11230
107.10/107.46 c #Conflicts: 114000 | #Constraints: 12234
107.10/107.46 c #Conflicts: 115000 | #Constraints: 13236
107.10/107.46 c #Conflicts: 116000 | #Constraints: 14238
107.10/107.46 c #Conflicts: 117000 | #Constraints: 15242
107.10/107.46 c INPROCESSING
107.10/107.46 c GARBAGE COLLECT
107.10/107.46 c #Conflicts: 118000 | #Constraints: 9457
107.10/107.46 c #Conflicts: 119000 | #Constraints: 10459
107.10/107.46 c #Conflicts: 120000 | #Constraints: 11461
107.10/107.46 c #Conflicts: 121000 | #Constraints: 12465
107.10/107.46 c #Conflicts: 122000 | #Constraints: 13467
107.10/107.46 c #Conflicts: 123000 | #Constraints: 14469
107.10/107.46 c #Conflicts: 124000 | #Constraints: 15473
107.10/107.46 c INPROCESSING
107.10/107.46 c GARBAGE COLLECT
107.10/107.46 c #Conflicts: 125000 | #Constraints: 9483
195.34/195.96 c #Conflicts: 126000 | #Constraints: 10485
195.34/195.96 c #Conflicts: 127000 | #Constraints: 11487
195.34/195.96 c #Conflicts: 128000 | #Constraints: 12491
195.34/195.96 c #Conflicts: 129000 | #Constraints: 13493
195.34/195.96 c #Conflicts: 130000 | #Constraints: 14495
195.34/195.96 c #Conflicts: 131000 | #Constraints: 15499
195.34/195.96 c INPROCESSING
195.34/195.96 c GARBAGE COLLECT
195.34/195.96 c #Conflicts: 132000 | #Constraints: 9292
195.34/195.96 c #Conflicts: 133000 | #Constraints: 10294
195.34/195.96 c #Conflicts: 134000 | #Constraints: 11298
195.34/195.96 c #Conflicts: 135000 | #Constraints: 12300
195.34/195.96 c #Conflicts: 136000 | #Constraints: 13302
195.34/195.96 c #Conflicts: 137000 | #Constraints: 14306
195.34/195.96 c #Conflicts: 138000 | #Constraints: 15308
195.34/195.96 c #Conflicts: 139000 | #Constraints: 16310
195.34/195.96 c INPROCESSING
195.34/195.96 c GARBAGE COLLECT
195.34/195.96 c #Conflicts: 140000 | #Constraints: 9908
195.34/195.96 c #Conflicts: 141000 | #Constraints: 10910
195.34/195.96 c #Conflicts: 142000 | #Constraints: 11912
195.34/195.96 c bounds 15 >= -204 @ 124.022
195.34/195.96 c bounds 15 >= -199 @ 124.027
195.34/195.96 c bounds 15 >= -198 @ 124.031
195.34/195.96 c bounds 15 >= -197 @ 124.034
195.34/195.96 c bounds 15 >= -196 @ 124.035
195.34/195.96 c bounds 15 >= -195 @ 124.036
195.34/195.96 c bounds 15 >= -194 @ 124.037
195.34/195.96 c bounds 15 >= -193 @ 124.042
195.34/195.96 c bounds 15 >= -192 @ 124.069
195.34/195.96 c bounds 15 >= -191 @ 124.095
195.34/195.96 c bounds 15 >= -190 @ 124.126
195.34/195.96 c bounds 15 >= -189 @ 124.202
195.34/195.96 c bounds 15 >= -188 @ 124.37
195.34/195.96 c bounds 15 >= -187 @ 124.43
195.34/195.96 c bounds 15 >= -186 @ 124.615
195.34/195.96 c bounds 15 >= -185 @ 124.705
195.34/195.96 c bounds 15 >= -184 @ 124.745
195.34/195.96 c bounds 15 >= -183 @ 125.154
195.34/195.96 c bounds 15 >= -182 @ 125.198
195.34/195.96 c bounds 15 >= -181 @ 125.213
195.34/195.96 c bounds 15 >= -180 @ 125.235
195.34/195.96 c bounds 15 >= -179 @ 125.245
195.34/195.96 c bounds 15 >= -178 @ 125.253
195.34/195.96 c bounds 15 >= -177 @ 125.273
195.34/195.96 c #Conflicts: 143000 | #Constraints: 13385
195.34/195.96 c bounds 15 >= -176 @ 125.57
195.34/195.96 c bounds 15 >= -175 @ 125.599
195.34/195.96 c bounds 15 >= -174 @ 125.674
195.34/195.96 c #Conflicts: 144000 | #Constraints: 14466
195.34/195.96 c #Conflicts: 145000 | #Constraints: 15466
195.34/195.96 c #Conflicts: 146000 | #Constraints: 16466
195.34/195.96 c #Conflicts: 147000 | #Constraints: 17466
195.34/195.96 c INPROCESSING
195.34/195.96 c GARBAGE COLLECT
195.34/195.96 c #Conflicts: 148000 | #Constraints: 10745
195.34/195.96 c #Conflicts: 149000 | #Constraints: 11745
195.34/195.96 c #Conflicts: 150000 | #Constraints: 12745
195.34/195.96 c bounds 15 >= -173 @ 134.123
195.34/195.96 c #Conflicts: 151000 | #Constraints: 13839
195.34/195.96 c bounds 15 >= -172 @ 134.924
195.34/195.96 c #Conflicts: 152000 | #Constraints: 14873
195.34/195.96 c #Conflicts: 153000 | #Constraints: 15873
195.34/195.96 c #Conflicts: 154000 | #Constraints: 16873
195.34/195.96 c #Conflicts: 155000 | #Constraints: 17873
195.34/195.96 c INPROCESSING
195.34/195.96 c GARBAGE COLLECT
195.34/195.96 c #Conflicts: 156000 | #Constraints: 11000
195.34/195.96 c #Conflicts: 157000 | #Constraints: 12000
195.34/195.96 c #Conflicts: 158000 | #Constraints: 13000
195.34/195.96 c #Conflicts: 159000 | #Constraints: 14000
195.34/195.96 c #Conflicts: 160000 | #Constraints: 15000
195.34/195.96 c #Conflicts: 161000 | #Constraints: 16000
195.34/195.96 c #Conflicts: 162000 | #Constraints: 17000
195.34/195.96 c #Conflicts: 163000 | #Constraints: 18000
195.34/195.96 c INPROCESSING
195.34/195.96 c GARBAGE COLLECT
195.34/195.96 c #Conflicts: 164000 | #Constraints: 10967
195.34/195.96 c #Conflicts: 165000 | #Constraints: 11967
195.34/195.96 c #Conflicts: 166000 | #Constraints: 12967
195.34/195.96 c #Conflicts: 167000 | #Constraints: 13967
195.34/195.96 c #Conflicts: 168000 | #Constraints: 14967
195.34/195.96 c #Conflicts: 169000 | #Constraints: 15967
195.34/195.96 c #Conflicts: 170000 | #Constraints: 16967
195.34/195.96 c #Conflicts: 171000 | #Constraints: 17967
195.34/195.96 c INPROCESSING
195.34/195.96 c GARBAGE COLLECT
195.34/195.96 c #Conflicts: 172000 | #Constraints: 10744
195.34/195.96 c #Conflicts: 173000 | #Constraints: 11744
195.34/195.96 c #Conflicts: 174000 | #Constraints: 12744
195.34/195.96 c #Conflicts: 175000 | #Constraints: 13744
195.34/195.96 c #Conflicts: 176000 | #Constraints: 14744
195.34/195.96 c #Conflicts: 177000 | #Constraints: 15744
195.34/195.96 c #Conflicts: 178000 | #Constraints: 16744
195.34/195.96 c #Conflicts: 179000 | #Constraints: 17744
195.34/195.96 c #Conflicts: 180000 | #Constraints: 18744
195.34/195.96 c INPROCESSING
195.34/195.96 c GARBAGE COLLECT
195.34/195.96 c #Conflicts: 181000 | #Constraints: 11336
195.34/195.96 c #Conflicts: 182000 | #Constraints: 12336
195.34/195.96 c #Conflicts: 183000 | #Constraints: 13336
389.17/390.31 c #Conflicts: 184000 | #Constraints: 14336
389.17/390.31 c #Conflicts: 185000 | #Constraints: 15336
389.17/390.31 c #Conflicts: 186000 | #Constraints: 16336
389.17/390.31 c #Conflicts: 187000 | #Constraints: 17336
389.17/390.31 c #Conflicts: 188000 | #Constraints: 18336
389.17/390.31 c #Conflicts: 189000 | #Constraints: 19336
389.17/390.31 c INPROCESSING
389.17/390.31 c GARBAGE COLLECT
389.17/390.31 c #Conflicts: 190000 | #Constraints: 11734
389.17/390.31 c #Conflicts: 191000 | #Constraints: 12734
389.17/390.31 c #Conflicts: 192000 | #Constraints: 13734
389.17/390.31 c #Conflicts: 193000 | #Constraints: 14734
389.17/390.31 c #Conflicts: 194000 | #Constraints: 15734
389.17/390.31 c #Conflicts: 195000 | #Constraints: 16734
389.17/390.31 c #Conflicts: 196000 | #Constraints: 17734
389.17/390.31 c #Conflicts: 197000 | #Constraints: 18734
389.17/390.31 c #Conflicts: 198000 | #Constraints: 19734
389.17/390.31 c INPROCESSING
389.17/390.31 c GARBAGE COLLECT
389.17/390.31 c #Conflicts: 199000 | #Constraints: 11947
389.17/390.31 c #Conflicts: 200000 | #Constraints: 12947
389.17/390.31 c #Conflicts: 201000 | #Constraints: 13947
389.17/390.31 c #Conflicts: 202000 | #Constraints: 14947
389.17/390.31 c #Conflicts: 203000 | #Constraints: 15947
389.17/390.31 c #Conflicts: 204000 | #Constraints: 16947
389.17/390.31 c #Conflicts: 205000 | #Constraints: 17947
389.17/390.31 c #Conflicts: 206000 | #Constraints: 18947
389.17/390.31 c #Conflicts: 207000 | #Constraints: 19947
389.17/390.31 c INPROCESSING
389.17/390.31 c GARBAGE COLLECT
389.17/390.31 c #Conflicts: 208000 | #Constraints: 11948
389.17/390.31 c #Conflicts: 209000 | #Constraints: 12948
389.17/390.31 c #Conflicts: 210000 | #Constraints: 13948
389.17/390.31 c #Conflicts: 211000 | #Constraints: 14948
389.17/390.31 c #Conflicts: 212000 | #Constraints: 15948
389.17/390.31 c #Conflicts: 213000 | #Constraints: 16948
389.17/390.31 c #Conflicts: 214000 | #Constraints: 17948
389.17/390.31 c #Conflicts: 215000 | #Constraints: 18948
389.17/390.31 c #Conflicts: 216000 | #Constraints: 19948
389.17/390.31 c INPROCESSING
389.17/390.31 c GARBAGE COLLECT
389.17/390.31 c #Conflicts: 217000 | #Constraints: 11745
389.17/390.31 c #Conflicts: 218000 | #Constraints: 12745
389.17/390.31 c #Conflicts: 219000 | #Constraints: 13745
389.17/390.31 c #Conflicts: 220000 | #Constraints: 14745
389.17/390.31 c #Conflicts: 221000 | #Constraints: 15745
389.17/390.31 c #Conflicts: 222000 | #Constraints: 16745
389.17/390.31 c #Conflicts: 223000 | #Constraints: 17745
389.17/390.31 c #Conflicts: 224000 | #Constraints: 18745
389.17/390.31 c #Conflicts: 225000 | #Constraints: 19745
389.17/390.31 c #Conflicts: 226000 | #Constraints: 20745
389.17/390.31 c INPROCESSING
389.17/390.31 c GARBAGE COLLECT
389.17/390.31 c #Conflicts: 227000 | #Constraints: 12343
389.17/390.31 c #Conflicts: 228000 | #Constraints: 13343
389.17/390.31 c #Conflicts: 229000 | #Constraints: 14343
389.17/390.31 c #Conflicts: 230000 | #Constraints: 15343
389.17/390.31 c #Conflicts: 231000 | #Constraints: 16343
389.17/390.31 c #Conflicts: 232000 | #Constraints: 17343
389.17/390.31 c #Conflicts: 233000 | #Constraints: 18343
389.17/390.31 c #Conflicts: 234000 | #Constraints: 19343
389.17/390.31 c #Conflicts: 235000 | #Constraints: 20343
389.17/390.31 c #Conflicts: 236000 | #Constraints: 21343
389.17/390.31 c INPROCESSING
389.17/390.31 c GARBAGE COLLECT
389.17/390.31 c #Conflicts: 237000 | #Constraints: 12746
389.17/390.31 c #Conflicts: 238000 | #Constraints: 13746
389.17/390.31 c #Conflicts: 239000 | #Constraints: 14746
389.17/390.31 c #Conflicts: 240000 | #Constraints: 15746
389.17/390.31 c #Conflicts: 241000 | #Constraints: 16746
389.17/390.31 c #Conflicts: 242000 | #Constraints: 17746
389.17/390.31 c #Conflicts: 243000 | #Constraints: 18746
389.17/390.31 c #Conflicts: 244000 | #Constraints: 19746
389.17/390.31 c #Conflicts: 245000 | #Constraints: 20746
389.17/390.31 c #Conflicts: 246000 | #Constraints: 21746
389.17/390.31 c INPROCESSING
389.17/390.31 c GARBAGE COLLECT
389.17/390.31 c #Conflicts: 247000 | #Constraints: 12951
389.17/390.31 c #Conflicts: 248000 | #Constraints: 13951
389.17/390.31 c #Conflicts: 249000 | #Constraints: 14951
389.17/390.31 c #Conflicts: 250000 | #Constraints: 15951
389.17/390.31 c #Conflicts: 251000 | #Constraints: 16951
389.17/390.31 c #Conflicts: 252000 | #Constraints: 17951
389.17/390.31 c #Conflicts: 253000 | #Constraints: 18951
389.17/390.31 c #Conflicts: 254000 | #Constraints: 19951
389.17/390.31 c #Conflicts: 255000 | #Constraints: 20951
389.17/390.31 c #Conflicts: 256000 | #Constraints: 21951
389.17/390.31 c INPROCESSING
389.17/390.31 c GARBAGE COLLECT
389.17/390.31 c #Conflicts: 257000 | #Constraints: 12948
603.91/605.75 c #Conflicts: 258000 | #Constraints: 13948
603.91/605.75 c #Conflicts: 259000 | #Constraints: 14948
603.91/605.75 c #Conflicts: 260000 | #Constraints: 15948
603.91/605.75 c #Conflicts: 261000 | #Constraints: 16948
603.91/605.75 c #Conflicts: 262000 | #Constraints: 17948
603.91/605.75 c #Conflicts: 263000 | #Constraints: 18948
603.91/605.75 c #Conflicts: 264000 | #Constraints: 19948
603.91/605.75 c #Conflicts: 265000 | #Constraints: 20948
603.91/605.75 c #Conflicts: 266000 | #Constraints: 21948
603.91/605.75 c INPROCESSING
603.91/605.75 c GARBAGE COLLECT
603.91/605.75 c #Conflicts: 267000 | #Constraints: 12744
603.91/605.75 c #Conflicts: 268000 | #Constraints: 13744
603.91/605.75 c #Conflicts: 269000 | #Constraints: 14744
603.91/605.75 c #Conflicts: 270000 | #Constraints: 15744
603.91/605.75 c #Conflicts: 271000 | #Constraints: 16744
603.91/605.75 c #Conflicts: 272000 | #Constraints: 17744
603.91/605.75 c #Conflicts: 273000 | #Constraints: 18744
603.91/605.75 c #Conflicts: 274000 | #Constraints: 19744
603.91/605.75 c #Conflicts: 275000 | #Constraints: 20744
603.91/605.75 c #Conflicts: 276000 | #Constraints: 21744
603.91/605.75 c #Conflicts: 277000 | #Constraints: 22744
603.91/605.75 c INPROCESSING
603.91/605.75 c GARBAGE COLLECT
603.91/605.75 c #Conflicts: 278000 | #Constraints: 13345
603.91/605.75 c #Conflicts: 279000 | #Constraints: 14345
603.91/605.75 c #Conflicts: 280000 | #Constraints: 15345
603.91/605.75 c #Conflicts: 281000 | #Constraints: 16345
603.91/605.75 c #Conflicts: 282000 | #Constraints: 17345
603.91/605.75 c #Conflicts: 283000 | #Constraints: 18345
603.91/605.75 c #Conflicts: 284000 | #Constraints: 19345
603.91/605.75 c #Conflicts: 285000 | #Constraints: 20345
603.91/605.75 c #Conflicts: 286000 | #Constraints: 21345
603.91/605.75 c #Conflicts: 287000 | #Constraints: 22345
603.91/605.75 c #Conflicts: 288000 | #Constraints: 23345
603.91/605.75 c INPROCESSING
603.91/605.75 c GARBAGE COLLECT
603.91/605.75 c #Conflicts: 289000 | #Constraints: 13748
603.91/605.75 c #Conflicts: 290000 | #Constraints: 14748
603.91/605.75 c #Conflicts: 291000 | #Constraints: 15748
603.91/605.75 c #Conflicts: 292000 | #Constraints: 16748
603.91/605.75 c #Conflicts: 293000 | #Constraints: 17748
603.91/605.75 c #Conflicts: 294000 | #Constraints: 18748
603.91/605.75 c #Conflicts: 295000 | #Constraints: 19748
603.91/605.75 c #Conflicts: 296000 | #Constraints: 20748
603.91/605.75 c #Conflicts: 297000 | #Constraints: 21748
603.91/605.75 c #Conflicts: 298000 | #Constraints: 22748
603.91/605.75 c #Conflicts: 299000 | #Constraints: 23748
603.91/605.75 c INPROCESSING
603.91/605.75 c GARBAGE COLLECT
603.91/605.75 c #Conflicts: 300000 | #Constraints: 13954
603.91/605.75 c #Conflicts: 301000 | #Constraints: 14954
603.91/605.75 c #Conflicts: 302000 | #Constraints: 15954
603.91/605.75 c #Conflicts: 303000 | #Constraints: 16954
603.91/605.75 c #Conflicts: 304000 | #Constraints: 17954
603.91/605.75 c #Conflicts: 305000 | #Constraints: 18954
603.91/605.75 c #Conflicts: 306000 | #Constraints: 19954
603.91/605.75 c #Conflicts: 307000 | #Constraints: 20954
603.91/605.75 c #Conflicts: 308000 | #Constraints: 21954
603.91/605.75 c #Conflicts: 309000 | #Constraints: 22954
603.91/605.75 c #Conflicts: 310000 | #Constraints: 23954
603.91/605.75 c INPROCESSING
603.91/605.75 c GARBAGE COLLECT
603.91/605.75 c #Conflicts: 311000 | #Constraints: 13950
603.91/605.75 c #Conflicts: 312000 | #Constraints: 14950
603.91/605.75 c #Conflicts: 313000 | #Constraints: 15950
603.91/605.75 c #Conflicts: 314000 | #Constraints: 16950
603.91/605.75 c #Conflicts: 315000 | #Constraints: 17950
603.91/605.75 c #Conflicts: 316000 | #Constraints: 18950
603.91/605.75 c #Conflicts: 317000 | #Constraints: 19950
603.91/605.75 c #Conflicts: 318000 | #Constraints: 20950
603.91/605.75 c #Conflicts: 319000 | #Constraints: 21950
603.91/605.75 c #Conflicts: 320000 | #Constraints: 22950
603.91/605.75 c #Conflicts: 321000 | #Constraints: 23950
603.91/605.75 c INPROCESSING
603.91/605.75 c GARBAGE COLLECT
603.91/605.75 c #Conflicts: 322000 | #Constraints: 13763
603.91/605.75 c #Conflicts: 323000 | #Constraints: 14763
603.91/605.75 c #Conflicts: 324000 | #Constraints: 15763
603.91/605.75 c #Conflicts: 325000 | #Constraints: 16763
603.91/605.75 c #Conflicts: 326000 | #Constraints: 17763
603.91/605.75 c #Conflicts: 327000 | #Constraints: 18763
603.91/605.75 c #Conflicts: 328000 | #Constraints: 19763
603.91/605.75 c #Conflicts: 329000 | #Constraints: 20763
603.91/605.75 c #Conflicts: 330000 | #Constraints: 21763
603.91/605.75 c #Conflicts: 331000 | #Constraints: 22763
603.91/605.75 c #Conflicts: 332000 | #Constraints: 23763
849.46/852.06 c #Conflicts: 333000 | #Constraints: 24763
849.46/852.06 c INPROCESSING
849.46/852.06 c GARBAGE COLLECT
849.46/852.06 c #Conflicts: 334000 | #Constraints: 14355
849.46/852.06 c #Conflicts: 335000 | #Constraints: 15355
849.46/852.06 c #Conflicts: 336000 | #Constraints: 16355
849.46/852.06 c #Conflicts: 337000 | #Constraints: 17355
849.46/852.06 c #Conflicts: 338000 | #Constraints: 18355
849.46/852.06 c #Conflicts: 339000 | #Constraints: 19355
849.46/852.06 c #Conflicts: 340000 | #Constraints: 20355
849.46/852.06 c #Conflicts: 341000 | #Constraints: 21355
849.46/852.06 c #Conflicts: 342000 | #Constraints: 22355
849.46/852.06 c #Conflicts: 343000 | #Constraints: 23355
849.46/852.06 c #Conflicts: 344000 | #Constraints: 24355
849.46/852.06 c #Conflicts: 345000 | #Constraints: 25355
849.46/852.06 c INPROCESSING
849.46/852.06 c GARBAGE COLLECT
849.46/852.06 c #Conflicts: 346000 | #Constraints: 14746
849.46/852.06 c #Conflicts: 347000 | #Constraints: 15746
849.46/852.06 c #Conflicts: 348000 | #Constraints: 16746
849.46/852.06 c #Conflicts: 349000 | #Constraints: 17746
849.46/852.06 c #Conflicts: 350000 | #Constraints: 18746
849.46/852.06 c #Conflicts: 351000 | #Constraints: 19746
849.46/852.06 c #Conflicts: 352000 | #Constraints: 20746
849.46/852.06 c #Conflicts: 353000 | #Constraints: 21746
849.46/852.06 c #Conflicts: 354000 | #Constraints: 22746
849.46/852.06 c #Conflicts: 355000 | #Constraints: 23746
849.46/852.06 c #Conflicts: 356000 | #Constraints: 24746
849.46/852.06 c #Conflicts: 357000 | #Constraints: 25746
849.46/852.06 c INPROCESSING
849.46/852.06 c GARBAGE COLLECT
849.46/852.06 c #Conflicts: 358000 | #Constraints: 14946
849.46/852.06 c #Conflicts: 359000 | #Constraints: 15946
849.46/852.06 c #Conflicts: 360000 | #Constraints: 16946
849.46/852.06 c #Conflicts: 361000 | #Constraints: 17946
849.46/852.06 c #Conflicts: 362000 | #Constraints: 18946
849.46/852.06 c #Conflicts: 363000 | #Constraints: 19946
849.46/852.06 c #Conflicts: 364000 | #Constraints: 20946
849.46/852.06 c #Conflicts: 365000 | #Constraints: 21946
849.46/852.06 c #Conflicts: 366000 | #Constraints: 22946
849.46/852.06 c #Conflicts: 367000 | #Constraints: 23946
849.46/852.06 c #Conflicts: 368000 | #Constraints: 24946
849.46/852.06 c #Conflicts: 369000 | #Constraints: 25946
849.46/852.06 c INPROCESSING
849.46/852.06 c GARBAGE COLLECT
849.46/852.06 c #Conflicts: 370000 | #Constraints: 14949
849.46/852.06 c #Conflicts: 371000 | #Constraints: 15949
849.46/852.06 c #Conflicts: 372000 | #Constraints: 16949
849.46/852.06 c #Conflicts: 373000 | #Constraints: 17949
849.46/852.06 c #Conflicts: 374000 | #Constraints: 18949
849.46/852.06 c #Conflicts: 375000 | #Constraints: 19949
849.46/852.06 c #Conflicts: 376000 | #Constraints: 20949
849.46/852.06 c #Conflicts: 377000 | #Constraints: 21949
849.46/852.06 c #Conflicts: 378000 | #Constraints: 22949
849.46/852.06 c #Conflicts: 379000 | #Constraints: 23949
849.46/852.06 c #Conflicts: 380000 | #Constraints: 24949
849.46/852.06 c #Conflicts: 381000 | #Constraints: 25949
849.46/852.06 c INPROCESSING
849.46/852.06 c GARBAGE COLLECT
849.46/852.06 c #Conflicts: 382000 | #Constraints: 14752
849.46/852.06 c #Conflicts: 383000 | #Constraints: 15752
849.46/852.06 c #Conflicts: 384000 | #Constraints: 16752
849.46/852.06 c #Conflicts: 385000 | #Constraints: 17752
849.46/852.06 c #Conflicts: 386000 | #Constraints: 18752
849.46/852.06 c #Conflicts: 387000 | #Constraints: 19752
849.46/852.06 c #Conflicts: 388000 | #Constraints: 20752
849.46/852.06 c #Conflicts: 389000 | #Constraints: 21752
849.46/852.06 c #Conflicts: 390000 | #Constraints: 22752
849.46/852.06 c #Conflicts: 391000 | #Constraints: 23752
849.46/852.06 c #Conflicts: 392000 | #Constraints: 24752
849.46/852.06 c #Conflicts: 393000 | #Constraints: 25752
849.46/852.06 c #Conflicts: 394000 | #Constraints: 26752
849.46/852.06 c INPROCESSING
849.46/852.06 c GARBAGE COLLECT
849.46/852.06 c #Conflicts: 395000 | #Constraints: 15361
849.46/852.06 c #Conflicts: 396000 | #Constraints: 16361
849.46/852.06 c #Conflicts: 397000 | #Constraints: 17361
849.46/852.06 c #Conflicts: 398000 | #Constraints: 18361
849.46/852.06 c #Conflicts: 399000 | #Constraints: 19361
849.46/852.06 c #Conflicts: 400000 | #Constraints: 20361
849.46/852.06 c #Conflicts: 401000 | #Constraints: 21361
849.46/852.06 c #Conflicts: 402000 | #Constraints: 22361
849.46/852.06 c #Conflicts: 403000 | #Constraints: 23361
849.46/852.06 c #Conflicts: 404000 | #Constraints: 24361
849.46/852.06 c #Conflicts: 405000 | #Constraints: 25361
849.46/852.06 c #Conflicts: 406000 | #Constraints: 26361
849.46/852.06 c #Conflicts: 407000 | #Constraints: 27361
1092.21/1095.51 c INPROCESSING
1092.21/1095.51 c GARBAGE COLLECT
1092.21/1095.51 c #Conflicts: 408000 | #Constraints: 15769
1092.21/1095.51 c #Conflicts: 409000 | #Constraints: 16769
1092.21/1095.51 c #Conflicts: 410000 | #Constraints: 17769
1092.21/1095.51 c #Conflicts: 411000 | #Constraints: 18769
1092.21/1095.51 c #Conflicts: 412000 | #Constraints: 19769
1092.21/1095.51 c #Conflicts: 413000 | #Constraints: 20769
1092.21/1095.51 c #Conflicts: 414000 | #Constraints: 21769
1092.21/1095.51 c #Conflicts: 415000 | #Constraints: 22769
1092.21/1095.51 c #Conflicts: 416000 | #Constraints: 23769
1092.21/1095.51 c #Conflicts: 417000 | #Constraints: 24769
1092.21/1095.51 c #Conflicts: 418000 | #Constraints: 25769
1092.21/1095.51 c #Conflicts: 419000 | #Constraints: 26769
1092.21/1095.51 c #Conflicts: 420000 | #Constraints: 27769
1092.21/1095.51 c INPROCESSING
1092.21/1095.51 c GARBAGE COLLECT
1092.21/1095.51 c #Conflicts: 421000 | #Constraints: 15966
1092.21/1095.51 c #Conflicts: 422000 | #Constraints: 16966
1092.21/1095.51 c #Conflicts: 423000 | #Constraints: 17966
1092.21/1095.51 c #Conflicts: 424000 | #Constraints: 18966
1092.21/1095.51 c #Conflicts: 425000 | #Constraints: 19966
1092.21/1095.51 c #Conflicts: 426000 | #Constraints: 20966
1092.21/1095.51 c #Conflicts: 427000 | #Constraints: 21966
1092.21/1095.51 c #Conflicts: 428000 | #Constraints: 22966
1092.21/1095.51 c #Conflicts: 429000 | #Constraints: 23966
1092.21/1095.51 c #Conflicts: 430000 | #Constraints: 24966
1092.21/1095.51 c #Conflicts: 431000 | #Constraints: 25966
1092.21/1095.51 c #Conflicts: 432000 | #Constraints: 26966
1092.21/1095.51 c #Conflicts: 433000 | #Constraints: 27966
1092.21/1095.51 c INPROCESSING
1092.21/1095.51 c GARBAGE COLLECT
1092.21/1095.51 c #Conflicts: 434000 | #Constraints: 15961
1092.21/1095.51 c #Conflicts: 435000 | #Constraints: 16961
1092.21/1095.51 c #Conflicts: 436000 | #Constraints: 17961
1092.21/1095.51 c #Conflicts: 437000 | #Constraints: 18961
1092.21/1095.51 c #Conflicts: 438000 | #Constraints: 19961
1092.21/1095.51 c #Conflicts: 439000 | #Constraints: 20961
1092.21/1095.51 c #Conflicts: 440000 | #Constraints: 21961
1092.21/1095.51 c #Conflicts: 441000 | #Constraints: 22961
1092.21/1095.51 c #Conflicts: 442000 | #Constraints: 23961
1092.21/1095.51 c #Conflicts: 443000 | #Constraints: 24961
1092.21/1095.51 c #Conflicts: 444000 | #Constraints: 25961
1092.21/1095.51 c #Conflicts: 445000 | #Constraints: 26961
1092.21/1095.51 c #Conflicts: 446000 | #Constraints: 27961
1092.21/1095.51 c INPROCESSING
1092.21/1095.51 c GARBAGE COLLECT
1092.21/1095.51 c #Conflicts: 447000 | #Constraints: 15758
1092.21/1095.51 c #Conflicts: 448000 | #Constraints: 16758
1092.21/1095.51 c #Conflicts: 449000 | #Constraints: 17758
1092.21/1095.51 c #Conflicts: 450000 | #Constraints: 18758
1092.21/1095.51 c #Conflicts: 451000 | #Constraints: 19758
1092.21/1095.51 c #Conflicts: 452000 | #Constraints: 20758
1092.21/1095.51 c #Conflicts: 453000 | #Constraints: 21758
1092.21/1095.51 c #Conflicts: 454000 | #Constraints: 22758
1092.21/1095.51 c #Conflicts: 455000 | #Constraints: 23758
1092.21/1095.51 c #Conflicts: 456000 | #Constraints: 24758
1092.21/1095.51 c #Conflicts: 457000 | #Constraints: 25758
1092.21/1095.51 c #Conflicts: 458000 | #Constraints: 26758
1092.21/1095.51 c #Conflicts: 459000 | #Constraints: 27758
1092.21/1095.51 c #Conflicts: 460000 | #Constraints: 28758
1092.21/1095.51 c INPROCESSING
1092.21/1095.51 c GARBAGE COLLECT
1092.21/1095.51 c #Conflicts: 461000 | #Constraints: 16362
1092.21/1095.51 c #Conflicts: 462000 | #Constraints: 17362
1092.21/1095.51 c #Conflicts: 463000 | #Constraints: 18362
1092.21/1095.51 c #Conflicts: 464000 | #Constraints: 19362
1092.21/1095.51 c #Conflicts: 465000 | #Constraints: 20362
1092.21/1095.51 c #Conflicts: 466000 | #Constraints: 21362
1092.21/1095.51 c #Conflicts: 467000 | #Constraints: 22362
1092.21/1095.51 c #Conflicts: 468000 | #Constraints: 23362
1092.21/1095.51 c #Conflicts: 469000 | #Constraints: 24362
1092.21/1095.51 c #Conflicts: 470000 | #Constraints: 25362
1092.21/1095.51 c #Conflicts: 471000 | #Constraints: 26362
1092.21/1095.51 c #Conflicts: 472000 | #Constraints: 27362
1092.21/1095.51 c #Conflicts: 473000 | #Constraints: 28362
1092.21/1095.51 c #Conflicts: 474000 | #Constraints: 29362
1092.21/1095.51 c INPROCESSING
1092.21/1095.51 c GARBAGE COLLECT
1092.21/1095.51 c #Conflicts: 475000 | #Constraints: 16766
1092.21/1095.51 c #Conflicts: 476000 | #Constraints: 17766
1092.21/1095.51 c #Conflicts: 477000 | #Constraints: 18766
1092.21/1095.51 c #Conflicts: 478000 | #Constraints: 19766
1092.21/1095.51 c #Conflicts: 479000 | #Constraints: 20766
1092.21/1095.51 c #Conflicts: 480000 | #Constraints: 21766
1092.21/1095.51 c #Conflicts: 481000 | #Constraints: 22766
1092.21/1095.51 c #Conflicts: 482000 | #Constraints: 23766
1364.78/1369.00 c #Conflicts: 483000 | #Constraints: 24766
1364.78/1369.00 c #Conflicts: 484000 | #Constraints: 25766
1364.78/1369.00 c #Conflicts: 485000 | #Constraints: 26766
1364.78/1369.00 c #Conflicts: 486000 | #Constraints: 27766
1364.78/1369.00 c #Conflicts: 487000 | #Constraints: 28766
1364.78/1369.00 c #Conflicts: 488000 | #Constraints: 29766
1364.78/1369.00 c INPROCESSING
1364.78/1369.00 c GARBAGE COLLECT
1364.78/1369.00 c #Conflicts: 489000 | #Constraints: 16965
1364.78/1369.00 c #Conflicts: 490000 | #Constraints: 17965
1364.78/1369.00 c #Conflicts: 491000 | #Constraints: 18965
1364.78/1369.00 c #Conflicts: 492000 | #Constraints: 19965
1364.78/1369.00 c #Conflicts: 493000 | #Constraints: 20965
1364.78/1369.00 c #Conflicts: 494000 | #Constraints: 21965
1364.78/1369.00 c #Conflicts: 495000 | #Constraints: 22965
1364.78/1369.00 c #Conflicts: 496000 | #Constraints: 23965
1364.78/1369.00 c #Conflicts: 497000 | #Constraints: 24965
1364.78/1369.00 c #Conflicts: 498000 | #Constraints: 25965
1364.78/1369.00 c #Conflicts: 499000 | #Constraints: 26965
1364.78/1369.00 c #Conflicts: 500000 | #Constraints: 27965
1364.78/1369.00 c #Conflicts: 501000 | #Constraints: 28965
1364.78/1369.00 c #Conflicts: 502000 | #Constraints: 29965
1364.78/1369.00 c INPROCESSING
1364.78/1369.00 c GARBAGE COLLECT
1364.78/1369.00 c #Conflicts: 503000 | #Constraints: 16966
1364.78/1369.00 c #Conflicts: 504000 | #Constraints: 17966
1364.78/1369.00 c #Conflicts: 505000 | #Constraints: 18966
1364.78/1369.00 c #Conflicts: 506000 | #Constraints: 19966
1364.78/1369.00 c #Conflicts: 507000 | #Constraints: 20966
1364.78/1369.00 c #Conflicts: 508000 | #Constraints: 21966
1364.78/1369.00 c #Conflicts: 509000 | #Constraints: 22966
1364.78/1369.00 c #Conflicts: 510000 | #Constraints: 23966
1364.78/1369.00 c #Conflicts: 511000 | #Constraints: 24966
1364.78/1369.00 c #Conflicts: 512000 | #Constraints: 25966
1364.78/1369.00 c #Conflicts: 513000 | #Constraints: 26966
1364.78/1369.00 c #Conflicts: 514000 | #Constraints: 27966
1364.78/1369.00 c #Conflicts: 515000 | #Constraints: 28966
1364.78/1369.00 c #Conflicts: 516000 | #Constraints: 29966
1364.78/1369.00 c INPROCESSING
1364.78/1369.00 c GARBAGE COLLECT
1364.78/1369.00 c #Conflicts: 517000 | #Constraints: 16770
1364.78/1369.00 c #Conflicts: 518000 | #Constraints: 17770
1364.78/1369.00 c #Conflicts: 519000 | #Constraints: 18770
1364.78/1369.00 c #Conflicts: 520000 | #Constraints: 19770
1364.78/1369.00 c #Conflicts: 521000 | #Constraints: 20770
1364.78/1369.00 c #Conflicts: 522000 | #Constraints: 21770
1364.78/1369.00 c #Conflicts: 523000 | #Constraints: 22770
1364.78/1369.00 c #Conflicts: 524000 | #Constraints: 23770
1364.78/1369.00 c #Conflicts: 525000 | #Constraints: 24770
1364.78/1369.00 c #Conflicts: 526000 | #Constraints: 25770
1364.78/1369.00 c #Conflicts: 527000 | #Constraints: 26770
1364.78/1369.00 c #Conflicts: 528000 | #Constraints: 27770
1364.78/1369.00 c #Conflicts: 529000 | #Constraints: 28770
1364.78/1369.00 c #Conflicts: 530000 | #Constraints: 29770
1364.78/1369.00 c #Conflicts: 531000 | #Constraints: 30770
1364.78/1369.00 c INPROCESSING
1364.78/1369.00 c GARBAGE COLLECT
1364.78/1369.00 c #Conflicts: 532000 | #Constraints: 17363
1364.78/1369.00 c #Conflicts: 533000 | #Constraints: 18363
1364.78/1369.00 c #Conflicts: 534000 | #Constraints: 19363
1364.78/1369.00 c #Conflicts: 535000 | #Constraints: 20363
1364.78/1369.00 c #Conflicts: 536000 | #Constraints: 21363
1364.78/1369.00 c #Conflicts: 537000 | #Constraints: 22363
1364.78/1369.00 c #Conflicts: 538000 | #Constraints: 23363
1364.78/1369.00 c #Conflicts: 539000 | #Constraints: 24363
1364.78/1369.00 c #Conflicts: 540000 | #Constraints: 25363
1364.78/1369.00 c #Conflicts: 541000 | #Constraints: 26363
1364.78/1369.00 c #Conflicts: 542000 | #Constraints: 27363
1364.78/1369.00 c #Conflicts: 543000 | #Constraints: 28363
1364.78/1369.00 c #Conflicts: 544000 | #Constraints: 29363
1364.78/1369.00 c #Conflicts: 545000 | #Constraints: 30363
1364.78/1369.00 c #Conflicts: 546000 | #Constraints: 31363
1364.78/1369.00 c INPROCESSING
1364.78/1369.00 c GARBAGE COLLECT
1364.78/1369.00 c #Conflicts: 547000 | #Constraints: 17768
1364.78/1369.00 c #Conflicts: 548000 | #Constraints: 18768
1364.78/1369.00 c #Conflicts: 549000 | #Constraints: 19768
1364.78/1369.00 c #Conflicts: 550000 | #Constraints: 20768
1364.78/1369.00 c #Conflicts: 551000 | #Constraints: 21768
1364.78/1369.00 c #Conflicts: 552000 | #Constraints: 22768
1364.78/1369.00 c #Conflicts: 553000 | #Constraints: 23768
1364.78/1369.00 c #Conflicts: 554000 | #Constraints: 24768
1364.78/1369.00 c #Conflicts: 555000 | #Constraints: 25768
1364.78/1369.00 c #Conflicts: 556000 | #Constraints: 26768
1364.78/1369.00 c #Conflicts: 557000 | #Constraints: 27768
1631.17/1636.17 c #Conflicts: 558000 | #Constraints: 28768
1631.17/1636.17 c #Conflicts: 559000 | #Constraints: 29768
1631.17/1636.17 c #Conflicts: 560000 | #Constraints: 30768
1631.17/1636.17 c #Conflicts: 561000 | #Constraints: 31768
1631.17/1636.17 c INPROCESSING
1631.17/1636.17 c GARBAGE COLLECT
1631.17/1636.17 c #Conflicts: 562000 | #Constraints: 17968
1631.17/1636.17 c #Conflicts: 563000 | #Constraints: 18968
1631.17/1636.17 c #Conflicts: 564000 | #Constraints: 19968
1631.17/1636.17 c #Conflicts: 565000 | #Constraints: 20968
1631.17/1636.17 c #Conflicts: 566000 | #Constraints: 21968
1631.17/1636.17 c #Conflicts: 567000 | #Constraints: 22968
1631.17/1636.17 c #Conflicts: 568000 | #Constraints: 23968
1631.17/1636.17 c #Conflicts: 569000 | #Constraints: 24968
1631.17/1636.17 c #Conflicts: 570000 | #Constraints: 25968
1631.17/1636.17 c #Conflicts: 571000 | #Constraints: 26968
1631.17/1636.17 c #Conflicts: 572000 | #Constraints: 27968
1631.17/1636.17 c #Conflicts: 573000 | #Constraints: 28968
1631.17/1636.17 c #Conflicts: 574000 | #Constraints: 29968
1631.17/1636.17 c #Conflicts: 575000 | #Constraints: 30968
1631.17/1636.17 c #Conflicts: 576000 | #Constraints: 31968
1631.17/1636.17 c INPROCESSING
1631.17/1636.17 c GARBAGE COLLECT
1631.17/1636.17 c #Conflicts: 577000 | #Constraints: 17961
1631.17/1636.17 c #Conflicts: 578000 | #Constraints: 18961
1631.17/1636.17 c #Conflicts: 579000 | #Constraints: 19961
1631.17/1636.17 c #Conflicts: 580000 | #Constraints: 20961
1631.17/1636.17 c #Conflicts: 581000 | #Constraints: 21961
1631.17/1636.17 c #Conflicts: 582000 | #Constraints: 22961
1631.17/1636.17 c #Conflicts: 583000 | #Constraints: 23961
1631.17/1636.17 c #Conflicts: 584000 | #Constraints: 24961
1631.17/1636.17 c #Conflicts: 585000 | #Constraints: 25961
1631.17/1636.17 c #Conflicts: 586000 | #Constraints: 26961
1631.17/1636.17 c #Conflicts: 587000 | #Constraints: 27961
1631.17/1636.17 c #Conflicts: 588000 | #Constraints: 28961
1631.17/1636.17 c #Conflicts: 589000 | #Constraints: 29961
1631.17/1636.17 c #Conflicts: 590000 | #Constraints: 30961
1631.17/1636.17 c #Conflicts: 591000 | #Constraints: 31961
1631.17/1636.17 c INPROCESSING
1631.17/1636.17 c GARBAGE COLLECT
1631.17/1636.17 c #Conflicts: 592000 | #Constraints: 17770
1631.17/1636.17 c #Conflicts: 593000 | #Constraints: 18770
1631.17/1636.17 c #Conflicts: 594000 | #Constraints: 19770
1631.17/1636.17 c #Conflicts: 595000 | #Constraints: 20770
1631.17/1636.17 c #Conflicts: 596000 | #Constraints: 21770
1631.17/1636.17 c #Conflicts: 597000 | #Constraints: 22770
1631.17/1636.17 c #Conflicts: 598000 | #Constraints: 23770
1631.17/1636.17 c #Conflicts: 599000 | #Constraints: 24770
1631.17/1636.17 c #Conflicts: 600000 | #Constraints: 25770
1631.17/1636.17 c #Conflicts: 601000 | #Constraints: 26770
1631.17/1636.17 c #Conflicts: 602000 | #Constraints: 27770
1631.17/1636.17 c #Conflicts: 603000 | #Constraints: 28770
1631.17/1636.17 c #Conflicts: 604000 | #Constraints: 29770
1631.17/1636.17 c #Conflicts: 605000 | #Constraints: 30770
1631.17/1636.17 c #Conflicts: 606000 | #Constraints: 31770
1631.17/1636.17 c #Conflicts: 607000 | #Constraints: 32770
1631.17/1636.17 c INPROCESSING
1631.17/1636.17 c GARBAGE COLLECT
1631.17/1636.17 c #Conflicts: 608000 | #Constraints: 18366
1631.17/1636.17 c #Conflicts: 609000 | #Constraints: 19366
1631.17/1636.17 c #Conflicts: 610000 | #Constraints: 20366
1631.17/1636.17 c #Conflicts: 611000 | #Constraints: 21366
1631.17/1636.17 c #Conflicts: 612000 | #Constraints: 22366
1631.17/1636.17 c #Conflicts: 613000 | #Constraints: 23366
1631.17/1636.17 c #Conflicts: 614000 | #Constraints: 24366
1631.17/1636.17 c #Conflicts: 615000 | #Constraints: 25366
1631.17/1636.17 c #Conflicts: 616000 | #Constraints: 26366
1631.17/1636.17 c #Conflicts: 617000 | #Constraints: 27366
1631.17/1636.17 c #Conflicts: 618000 | #Constraints: 28366
1631.17/1636.17 c #Conflicts: 619000 | #Constraints: 29366
1631.17/1636.17 c #Conflicts: 620000 | #Constraints: 30366
1631.17/1636.17 c #Conflicts: 621000 | #Constraints: 31366
1631.17/1636.17 c #Conflicts: 622000 | #Constraints: 32366
1631.17/1636.17 c #Conflicts: 623000 | #Constraints: 33366
1631.17/1636.17 c INPROCESSING
1631.17/1636.17 c GARBAGE COLLECT
1631.17/1636.17 c #Conflicts: 624000 | #Constraints: 18772
1631.17/1636.17 c #Conflicts: 625000 | #Constraints: 19772
1631.17/1636.17 c #Conflicts: 626000 | #Constraints: 20772
1631.17/1636.17 c #Conflicts: 627000 | #Constraints: 21772
1631.17/1636.17 c #Conflicts: 628000 | #Constraints: 22772
1631.17/1636.17 c #Conflicts: 629000 | #Constraints: 23772
1631.17/1636.17 c #Conflicts: 630000 | #Constraints: 24772
1631.17/1636.17 c #Conflicts: 631000 | #Constraints: 25772
1631.17/1636.17 c #Conflicts: 632000 | #Constraints: 26772
1631.17/1636.17 c #Conflicts: 633000 | #Constraints: 27772
1650.91/1656.00 c #Conflicts: 634000 | #Constraints: 28772
1650.91/1656.00 c #Conflicts: 635000 | #Constraints: 29772
1650.91/1656.00 c #Conflicts: 636000 | #Constraints: 30772
1650.91/1656.00 c #Conflicts: 637000 | #Constraints: 31772
1650.91/1656.00 c bounds 15 >= -171 @ 1636.02
1650.91/1656.00 c #Conflicts: 638000 | #Constraints: 32941
1650.91/1656.00 c bounds 15 >= -170 @ 1636.53
1650.91/1656.00 c #Conflicts: 639000 | #Constraints: 34032
1650.91/1656.00 c INPROCESSING
1650.91/1656.00 c GARBAGE COLLECT
1650.91/1656.00 c #Conflicts: 640000 | #Constraints: 19150
1650.91/1656.00 c #Conflicts: 641000 | #Constraints: 20150
1650.91/1656.00 c finalizing WCE round: reformulating cores
1812.90/1818.43 c #Conflicts: 642000 | #Constraints: 21155
1812.90/1818.43 c #Conflicts: 643000 | #Constraints: 22157
1812.90/1818.43 c #Conflicts: 644000 | #Constraints: 23159
1812.90/1818.43 c #Conflicts: 645000 | #Constraints: 24163
1812.90/1818.43 c bounds 14 >= -193 @ 1645.17
1812.90/1818.43 c #Conflicts: 646000 | #Constraints: 25167
1812.90/1818.43 c bounds 14 >= -191 @ 1646.4
1812.90/1818.43 c bounds 14 >= -191 @ 1646.46
1812.90/1818.43 c bounds 14 >= -191 @ 1646.6
1812.90/1818.43 c bounds 14 >= -191 @ 1646.92
1812.90/1818.43 c #Conflicts: 647000 | #Constraints: 26177
1812.90/1818.43 c #Conflicts: 648000 | #Constraints: 27179
1812.90/1818.43 c #Conflicts: 649000 | #Constraints: 28181
1812.90/1818.43 c bounds 14 >= -184 @ 1650.82
1812.90/1818.43 c #Conflicts: 650000 | #Constraints: 29185
1812.90/1818.43 c #Conflicts: 651000 | #Constraints: 30187
1812.90/1818.43 c bounds 14 >= -181 @ 1653.66
1812.90/1818.43 c #Conflicts: 652000 | #Constraints: 31193
1812.90/1818.43 c #Conflicts: 653000 | #Constraints: 32195
1812.90/1818.43 c #Conflicts: 654000 | #Constraints: 33197
1812.90/1818.43 c #Conflicts: 655000 | #Constraints: 34201
1812.90/1818.43 c INPROCESSING
1812.90/1818.43 c GARBAGE COLLECT
1812.90/1818.43 c #Conflicts: 656000 | #Constraints: 18911
1812.90/1818.43 c #Conflicts: 657000 | #Constraints: 19913
1812.90/1818.43 c #Conflicts: 658000 | #Constraints: 20915
1812.90/1818.43 c #Conflicts: 659000 | #Constraints: 21919
1812.90/1818.43 c #Conflicts: 660000 | #Constraints: 22921
1812.90/1818.43 c #Conflicts: 661000 | #Constraints: 23923
1812.90/1818.43 c #Conflicts: 662000 | #Constraints: 24927
1812.90/1818.43 c #Conflicts: 663000 | #Constraints: 25929
1812.90/1818.43 c #Conflicts: 664000 | #Constraints: 26931
1812.90/1818.43 c bounds 14 >= -163 @ 1689.56
1812.90/1818.43 c bounds 14 >= -162 @ 1689.58
1812.90/1818.43 c bounds 14 >= -161 @ 1689.7
1812.90/1818.43 c #Conflicts: 665000 | #Constraints: 27986
1812.90/1818.43 c bounds 14 >= -160 @ 1689.96
1812.90/1818.43 c bounds 14 >= -159 @ 1690.72
1812.90/1818.43 c bounds 14 >= -158 @ 1692.45
1812.90/1818.43 c #Conflicts: 666000 | #Constraints: 29121
1812.90/1818.43 c #Conflicts: 667000 | #Constraints: 30121
1812.90/1818.43 c #Conflicts: 668000 | #Constraints: 31121
1812.90/1818.43 c #Conflicts: 669000 | #Constraints: 32121
1812.90/1818.43 c #Conflicts: 670000 | #Constraints: 33121
1812.90/1818.43 c bounds 14 >= -157 @ 1710.68
1812.90/1818.43 c #Conflicts: 671000 | #Constraints: 34191
1812.90/1818.43 c INPROCESSING
1812.90/1818.43 c GARBAGE COLLECT
1812.90/1818.43 c #Conflicts: 672000 | #Constraints: 18992
1812.90/1818.43 c #Conflicts: 673000 | #Constraints: 19992
1812.90/1818.43 c #Conflicts: 674000 | #Constraints: 20992
1812.90/1818.43 c #Conflicts: 675000 | #Constraints: 21992
1812.90/1818.43 c #Conflicts: 676000 | #Constraints: 22992
1812.90/1818.43 c #Conflicts: 677000 | #Constraints: 23992
1812.90/1818.43 c #Conflicts: 678000 | #Constraints: 24992
1812.90/1818.43 c #Conflicts: 679000 | #Constraints: 25992
1812.90/1818.43 c #Conflicts: 680000 | #Constraints: 26992
1812.90/1818.43 c #Conflicts: 681000 | #Constraints: 27992
1812.90/1818.43 c #Conflicts: 682000 | #Constraints: 28992
1812.90/1818.43 c #Conflicts: 683000 | #Constraints: 29992
1812.90/1818.43 c #Conflicts: 684000 | #Constraints: 30992
1812.90/1818.43 c #Conflicts: 685000 | #Constraints: 31992
1812.90/1818.43 c #Conflicts: 686000 | #Constraints: 32992
1812.90/1818.43 c #Conflicts: 687000 | #Constraints: 33992
1812.90/1818.43 c #Conflicts: 688000 | #Constraints: 34992
1812.90/1818.43 c INPROCESSING
1812.90/1818.43 c GARBAGE COLLECT
1812.90/1818.43 c #Conflicts: 689000 | #Constraints: 19603
1812.90/1818.43 c #Conflicts: 690000 | #Constraints: 20603
1812.90/1818.43 c #Conflicts: 691000 | #Constraints: 21603
1812.90/1818.43 c #Conflicts: 692000 | #Constraints: 22603
1812.90/1818.43 c #Conflicts: 693000 | #Constraints: 23603
1812.90/1818.43 c #Conflicts: 694000 | #Constraints: 24603
1812.90/1818.43 c #Conflicts: 695000 | #Constraints: 25603
1812.90/1818.43 c #Conflicts: 696000 | #Constraints: 26603
1812.90/1818.43 c #Conflicts: 697000 | #Constraints: 27603
1812.90/1818.43 c #Conflicts: 698000 | #Constraints: 28603
1812.90/1818.43 c #Conflicts: 699000 | #Constraints: 29603
1812.90/1818.43 c #Conflicts: 700000 | #Constraints: 30603
1812.90/1818.43 c #Conflicts: 701000 | #Constraints: 31603
1812.90/1818.43 c #Conflicts: 702000 | #Constraints: 32603
1812.90/1818.43 c #Conflicts: 703000 | #Constraints: 33603
1812.90/1818.43 c #Conflicts: 704000 | #Constraints: 34603
1812.90/1818.43 c #Conflicts: 705000 | #Constraints: 35603
1812.90/1818.43 c INPROCESSING
1812.90/1818.43 c GARBAGE COLLECT
1812.90/1818.43 c #Conflicts: 706000 | #Constraints: 20015
1812.90/1818.43 c #Conflicts: 707000 | #Constraints: 21015
1812.90/1818.43 c #Conflicts: 708000 | #Constraints: 22015
1812.90/1818.43 c #Conflicts: 709000 | #Constraints: 23015
1812.90/1818.43 c #Conflicts: 710000 | #Constraints: 24015
2013.98/2020.16 c #Conflicts: 711000 | #Constraints: 25015
2013.98/2020.16 c #Conflicts: 712000 | #Constraints: 26015
2013.98/2020.16 c #Conflicts: 713000 | #Constraints: 27015
2013.98/2020.16 c #Conflicts: 714000 | #Constraints: 28015
2013.98/2020.16 c #Conflicts: 715000 | #Constraints: 29015
2013.98/2020.16 c #Conflicts: 716000 | #Constraints: 30015
2013.98/2020.16 c #Conflicts: 717000 | #Constraints: 31015
2013.98/2020.16 c #Conflicts: 718000 | #Constraints: 32015
2013.98/2020.16 c #Conflicts: 719000 | #Constraints: 33015
2013.98/2020.16 c #Conflicts: 720000 | #Constraints: 34015
2013.98/2020.16 c #Conflicts: 721000 | #Constraints: 35015
2013.98/2020.16 c #Conflicts: 722000 | #Constraints: 36015
2013.98/2020.16 c INPROCESSING
2013.98/2020.16 c GARBAGE COLLECT
2013.98/2020.16 c #Conflicts: 723000 | #Constraints: 20218
2013.98/2020.16 c #Conflicts: 724000 | #Constraints: 21218
2013.98/2020.16 c #Conflicts: 725000 | #Constraints: 22218
2013.98/2020.16 c #Conflicts: 726000 | #Constraints: 23218
2013.98/2020.16 c #Conflicts: 727000 | #Constraints: 24218
2013.98/2020.16 c #Conflicts: 728000 | #Constraints: 25218
2013.98/2020.16 c #Conflicts: 729000 | #Constraints: 26218
2013.98/2020.16 c #Conflicts: 730000 | #Constraints: 27218
2013.98/2020.16 c #Conflicts: 731000 | #Constraints: 28218
2013.98/2020.16 c #Conflicts: 732000 | #Constraints: 29218
2013.98/2020.16 c #Conflicts: 733000 | #Constraints: 30218
2013.98/2020.16 c #Conflicts: 734000 | #Constraints: 31218
2013.98/2020.16 c #Conflicts: 735000 | #Constraints: 32218
2013.98/2020.16 c #Conflicts: 736000 | #Constraints: 33218
2013.98/2020.16 c #Conflicts: 737000 | #Constraints: 34218
2013.98/2020.16 c #Conflicts: 738000 | #Constraints: 35218
2013.98/2020.16 c #Conflicts: 739000 | #Constraints: 36218
2013.98/2020.16 c INPROCESSING
2013.98/2020.16 c GARBAGE COLLECT
2013.98/2020.16 c #Conflicts: 740000 | #Constraints: 20225
2013.98/2020.16 c #Conflicts: 741000 | #Constraints: 21225
2013.98/2020.16 c #Conflicts: 742000 | #Constraints: 22225
2013.98/2020.16 c #Conflicts: 743000 | #Constraints: 23225
2013.98/2020.16 c #Conflicts: 744000 | #Constraints: 24225
2013.98/2020.16 c #Conflicts: 745000 | #Constraints: 25225
2013.98/2020.16 c #Conflicts: 746000 | #Constraints: 26225
2013.98/2020.16 c #Conflicts: 747000 | #Constraints: 27225
2013.98/2020.16 c #Conflicts: 748000 | #Constraints: 28225
2013.98/2020.16 c #Conflicts: 749000 | #Constraints: 29225
2013.98/2020.16 c #Conflicts: 750000 | #Constraints: 30225
2013.98/2020.16 c #Conflicts: 751000 | #Constraints: 31225
2013.98/2020.16 c #Conflicts: 752000 | #Constraints: 32225
2013.98/2020.16 c #Conflicts: 753000 | #Constraints: 33225
2013.98/2020.16 c #Conflicts: 754000 | #Constraints: 34225
2013.98/2020.16 c #Conflicts: 755000 | #Constraints: 35225
2013.98/2020.16 c #Conflicts: 756000 | #Constraints: 36225
2013.98/2020.16 c INPROCESSING
2013.98/2020.16 c GARBAGE COLLECT
2013.98/2020.16 c #Conflicts: 757000 | #Constraints: 20023
2013.98/2020.16 c #Conflicts: 758000 | #Constraints: 21023
2013.98/2020.16 c #Conflicts: 759000 | #Constraints: 22023
2013.98/2020.16 c #Conflicts: 760000 | #Constraints: 23023
2013.98/2020.16 c #Conflicts: 761000 | #Constraints: 24023
2013.98/2020.16 c #Conflicts: 762000 | #Constraints: 25023
2013.98/2020.16 c #Conflicts: 763000 | #Constraints: 26023
2013.98/2020.16 c #Conflicts: 764000 | #Constraints: 27023
2013.98/2020.16 c #Conflicts: 765000 | #Constraints: 28023
2013.98/2020.16 c #Conflicts: 766000 | #Constraints: 29023
2013.98/2020.16 c #Conflicts: 767000 | #Constraints: 30023
2013.98/2020.16 c #Conflicts: 768000 | #Constraints: 31023
2013.98/2020.16 c #Conflicts: 769000 | #Constraints: 32023
2013.98/2020.16 c #Conflicts: 770000 | #Constraints: 33023
2013.98/2020.16 c #Conflicts: 771000 | #Constraints: 34023
2013.98/2020.16 c #Conflicts: 772000 | #Constraints: 35023
2013.98/2020.16 c #Conflicts: 773000 | #Constraints: 36023
2013.98/2020.16 c #Conflicts: 774000 | #Constraints: 37023
2013.98/2020.16 c INPROCESSING
2013.98/2020.16 c GARBAGE COLLECT
2013.98/2020.16 c #Conflicts: 775000 | #Constraints: 20615
2013.98/2020.16 c #Conflicts: 776000 | #Constraints: 21615
2013.98/2020.16 c #Conflicts: 777000 | #Constraints: 22615
2013.98/2020.16 c #Conflicts: 778000 | #Constraints: 23615
2013.98/2020.16 c #Conflicts: 779000 | #Constraints: 24615
2013.98/2020.16 c #Conflicts: 780000 | #Constraints: 25615
2013.98/2020.16 c #Conflicts: 781000 | #Constraints: 26615
2013.98/2020.16 c #Conflicts: 782000 | #Constraints: 27615
2013.98/2020.16 c #Conflicts: 783000 | #Constraints: 28615
2013.98/2020.16 c #Conflicts: 784000 | #Constraints: 29615
2013.98/2020.16 c #Conflicts: 785000 | #Constraints: 30615
2013.98/2020.16 c #Conflicts: 786000 | #Constraints: 31615
2250.45/2257.32 c #Conflicts: 787000 | #Constraints: 32615
2250.45/2257.32 c #Conflicts: 788000 | #Constraints: 33615
2250.45/2257.32 c #Conflicts: 789000 | #Constraints: 34615
2250.45/2257.32 c #Conflicts: 790000 | #Constraints: 35615
2250.45/2257.32 c #Conflicts: 791000 | #Constraints: 36615
2250.45/2257.32 c #Conflicts: 792000 | #Constraints: 37615
2250.45/2257.32 c INPROCESSING
2250.45/2257.32 c GARBAGE COLLECT
2250.45/2257.32 c #Conflicts: 793000 | #Constraints: 21016
2250.45/2257.32 c #Conflicts: 794000 | #Constraints: 22016
2250.45/2257.32 c #Conflicts: 795000 | #Constraints: 23016
2250.45/2257.32 c #Conflicts: 796000 | #Constraints: 24016
2250.45/2257.32 c #Conflicts: 797000 | #Constraints: 25016
2250.45/2257.32 c #Conflicts: 798000 | #Constraints: 26016
2250.45/2257.32 c #Conflicts: 799000 | #Constraints: 27016
2250.45/2257.32 c #Conflicts: 800000 | #Constraints: 28016
2250.45/2257.32 c #Conflicts: 801000 | #Constraints: 29016
2250.45/2257.32 c #Conflicts: 802000 | #Constraints: 30016
2250.45/2257.32 c #Conflicts: 803000 | #Constraints: 31016
2250.45/2257.32 c #Conflicts: 804000 | #Constraints: 32016
2250.45/2257.32 c #Conflicts: 805000 | #Constraints: 33016
2250.45/2257.32 c #Conflicts: 806000 | #Constraints: 34016
2250.45/2257.32 c #Conflicts: 807000 | #Constraints: 35016
2250.45/2257.32 c #Conflicts: 808000 | #Constraints: 36016
2250.45/2257.32 c #Conflicts: 809000 | #Constraints: 37016
2250.45/2257.32 c #Conflicts: 810000 | #Constraints: 38016
2250.45/2257.32 c INPROCESSING
2250.45/2257.32 c GARBAGE COLLECT
2250.45/2257.32 c #Conflicts: 811000 | #Constraints: 21216
2250.45/2257.32 c #Conflicts: 812000 | #Constraints: 22216
2250.45/2257.32 c #Conflicts: 813000 | #Constraints: 23216
2250.45/2257.32 c #Conflicts: 814000 | #Constraints: 24216
2250.45/2257.32 c #Conflicts: 815000 | #Constraints: 25216
2250.45/2257.32 c #Conflicts: 816000 | #Constraints: 26216
2250.45/2257.32 c #Conflicts: 817000 | #Constraints: 27216
2250.45/2257.32 c #Conflicts: 818000 | #Constraints: 28216
2250.45/2257.32 c #Conflicts: 819000 | #Constraints: 29216
2250.45/2257.32 c #Conflicts: 820000 | #Constraints: 30216
2250.45/2257.32 c #Conflicts: 821000 | #Constraints: 31216
2250.45/2257.32 c #Conflicts: 822000 | #Constraints: 32216
2250.45/2257.32 c #Conflicts: 823000 | #Constraints: 33216
2250.45/2257.32 c #Conflicts: 824000 | #Constraints: 34216
2250.45/2257.32 c #Conflicts: 825000 | #Constraints: 35216
2250.45/2257.32 c #Conflicts: 826000 | #Constraints: 36216
2250.45/2257.32 c #Conflicts: 827000 | #Constraints: 37216
2250.45/2257.32 c #Conflicts: 828000 | #Constraints: 38216
2250.45/2257.32 c INPROCESSING
2250.45/2257.32 c GARBAGE COLLECT
2250.45/2257.32 c #Conflicts: 829000 | #Constraints: 21228
2250.45/2257.32 c #Conflicts: 830000 | #Constraints: 22228
2250.45/2257.32 c #Conflicts: 831000 | #Constraints: 23228
2250.45/2257.32 c #Conflicts: 832000 | #Constraints: 24228
2250.45/2257.32 c #Conflicts: 833000 | #Constraints: 25228
2250.45/2257.32 c #Conflicts: 834000 | #Constraints: 26228
2250.45/2257.32 c #Conflicts: 835000 | #Constraints: 27228
2250.45/2257.32 c #Conflicts: 836000 | #Constraints: 28228
2250.45/2257.32 c #Conflicts: 837000 | #Constraints: 29228
2250.45/2257.32 c #Conflicts: 838000 | #Constraints: 30228
2250.45/2257.32 c #Conflicts: 839000 | #Constraints: 31228
2250.45/2257.32 c #Conflicts: 840000 | #Constraints: 32228
2250.45/2257.32 c #Conflicts: 841000 | #Constraints: 33228
2250.45/2257.32 c #Conflicts: 842000 | #Constraints: 34228
2250.45/2257.32 c #Conflicts: 843000 | #Constraints: 35228
2250.45/2257.32 c #Conflicts: 844000 | #Constraints: 36228
2250.45/2257.32 c #Conflicts: 845000 | #Constraints: 37228
2250.45/2257.32 c #Conflicts: 846000 | #Constraints: 38228
2250.45/2257.32 c INPROCESSING
2250.45/2257.32 c GARBAGE COLLECT
2250.45/2257.32 c #Conflicts: 847000 | #Constraints: 21029
2250.45/2257.32 c #Conflicts: 848000 | #Constraints: 22029
2250.45/2257.32 c #Conflicts: 849000 | #Constraints: 23029
2250.45/2257.32 c #Conflicts: 850000 | #Constraints: 24029
2250.45/2257.32 c #Conflicts: 851000 | #Constraints: 25029
2250.45/2257.32 c #Conflicts: 852000 | #Constraints: 26029
2250.45/2257.32 c #Conflicts: 853000 | #Constraints: 27029
2250.45/2257.32 c #Conflicts: 854000 | #Constraints: 28029
2250.45/2257.32 c #Conflicts: 855000 | #Constraints: 29029
2250.45/2257.32 c #Conflicts: 856000 | #Constraints: 30029
2250.45/2257.32 c #Conflicts: 857000 | #Constraints: 31029
2250.45/2257.32 c #Conflicts: 858000 | #Constraints: 32029
2250.45/2257.32 c #Conflicts: 859000 | #Constraints: 33029
2250.45/2257.32 c #Conflicts: 860000 | #Constraints: 34029
2250.45/2257.32 c #Conflicts: 861000 | #Constraints: 35029
2250.45/2257.32 c #Conflicts: 862000 | #Constraints: 36029
2502.72/2510.31 c #Conflicts: 863000 | #Constraints: 37029
2502.72/2510.31 c #Conflicts: 864000 | #Constraints: 38029
2502.72/2510.31 c #Conflicts: 865000 | #Constraints: 39029
2502.72/2510.31 c INPROCESSING
2502.72/2510.31 c GARBAGE COLLECT
2502.72/2510.31 c #Conflicts: 866000 | #Constraints: 21626
2502.72/2510.31 c #Conflicts: 867000 | #Constraints: 22626
2502.72/2510.31 c #Conflicts: 868000 | #Constraints: 23626
2502.72/2510.31 c #Conflicts: 869000 | #Constraints: 24626
2502.72/2510.31 c #Conflicts: 870000 | #Constraints: 25626
2502.72/2510.31 c #Conflicts: 871000 | #Constraints: 26626
2502.72/2510.31 c #Conflicts: 872000 | #Constraints: 27626
2502.72/2510.31 c #Conflicts: 873000 | #Constraints: 28626
2502.72/2510.31 c #Conflicts: 874000 | #Constraints: 29626
2502.72/2510.31 c #Conflicts: 875000 | #Constraints: 30626
2502.72/2510.31 c #Conflicts: 876000 | #Constraints: 31626
2502.72/2510.31 c #Conflicts: 877000 | #Constraints: 32626
2502.72/2510.31 c #Conflicts: 878000 | #Constraints: 33626
2502.72/2510.31 c #Conflicts: 879000 | #Constraints: 34626
2502.72/2510.31 c #Conflicts: 880000 | #Constraints: 35626
2502.72/2510.31 c #Conflicts: 881000 | #Constraints: 36626
2502.72/2510.31 c #Conflicts: 882000 | #Constraints: 37626
2502.72/2510.31 c #Conflicts: 883000 | #Constraints: 38626
2502.72/2510.31 c #Conflicts: 884000 | #Constraints: 39626
2502.72/2510.31 c INPROCESSING
2502.72/2510.31 c GARBAGE COLLECT
2502.72/2510.31 c #Conflicts: 885000 | #Constraints: 22027
2502.72/2510.31 c #Conflicts: 886000 | #Constraints: 23027
2502.72/2510.31 c #Conflicts: 887000 | #Constraints: 24027
2502.72/2510.31 c #Conflicts: 888000 | #Constraints: 25027
2502.72/2510.31 c #Conflicts: 889000 | #Constraints: 26027
2502.72/2510.31 c #Conflicts: 890000 | #Constraints: 27027
2502.72/2510.31 c #Conflicts: 891000 | #Constraints: 28027
2502.72/2510.31 c #Conflicts: 892000 | #Constraints: 29027
2502.72/2510.31 c #Conflicts: 893000 | #Constraints: 30027
2502.72/2510.31 c #Conflicts: 894000 | #Constraints: 31027
2502.72/2510.31 c #Conflicts: 895000 | #Constraints: 32027
2502.72/2510.31 c #Conflicts: 896000 | #Constraints: 33027
2502.72/2510.31 c #Conflicts: 897000 | #Constraints: 34027
2502.72/2510.31 c #Conflicts: 898000 | #Constraints: 35027
2502.72/2510.31 c #Conflicts: 899000 | #Constraints: 36027
2502.72/2510.31 c #Conflicts: 900000 | #Constraints: 37027
2502.72/2510.31 c #Conflicts: 901000 | #Constraints: 38027
2502.72/2510.31 c #Conflicts: 902000 | #Constraints: 39027
2502.72/2510.31 c #Conflicts: 903000 | #Constraints: 40027
2502.72/2510.31 c INPROCESSING
2502.72/2510.31 c GARBAGE COLLECT
2502.72/2510.31 c #Conflicts: 904000 | #Constraints: 22226
2502.72/2510.31 c #Conflicts: 905000 | #Constraints: 23226
2502.72/2510.31 c #Conflicts: 906000 | #Constraints: 24226
2502.72/2510.31 c #Conflicts: 907000 | #Constraints: 25226
2502.72/2510.31 c #Conflicts: 908000 | #Constraints: 26226
2502.72/2510.31 c #Conflicts: 909000 | #Constraints: 27226
2502.72/2510.31 c #Conflicts: 910000 | #Constraints: 28226
2502.72/2510.31 c #Conflicts: 911000 | #Constraints: 29226
2502.72/2510.31 c #Conflicts: 912000 | #Constraints: 30226
2502.72/2510.31 c #Conflicts: 913000 | #Constraints: 31226
2502.72/2510.31 c #Conflicts: 914000 | #Constraints: 32226
2502.72/2510.31 c #Conflicts: 915000 | #Constraints: 33226
2502.72/2510.31 c #Conflicts: 916000 | #Constraints: 34226
2502.72/2510.31 c #Conflicts: 917000 | #Constraints: 35226
2502.72/2510.31 c #Conflicts: 918000 | #Constraints: 36226
2502.72/2510.31 c #Conflicts: 919000 | #Constraints: 37226
2502.72/2510.31 c #Conflicts: 920000 | #Constraints: 38226
2502.72/2510.31 c #Conflicts: 921000 | #Constraints: 39226
2502.72/2510.31 c #Conflicts: 922000 | #Constraints: 40226
2502.72/2510.31 c INPROCESSING
2502.72/2510.31 c GARBAGE COLLECT
2502.72/2510.31 c #Conflicts: 923000 | #Constraints: 22223
2502.72/2510.31 c #Conflicts: 924000 | #Constraints: 23223
2502.72/2510.31 c #Conflicts: 925000 | #Constraints: 24223
2502.72/2510.31 c #Conflicts: 926000 | #Constraints: 25223
2502.72/2510.31 c #Conflicts: 927000 | #Constraints: 26223
2502.72/2510.31 c #Conflicts: 928000 | #Constraints: 27223
2502.72/2510.31 c #Conflicts: 929000 | #Constraints: 28223
2502.72/2510.31 c #Conflicts: 930000 | #Constraints: 29223
2502.72/2510.31 c #Conflicts: 931000 | #Constraints: 30223
2502.72/2510.31 c #Conflicts: 932000 | #Constraints: 31223
2502.72/2510.31 c #Conflicts: 933000 | #Constraints: 32223
2502.72/2510.31 c #Conflicts: 934000 | #Constraints: 33223
2502.72/2510.31 c #Conflicts: 935000 | #Constraints: 34223
2502.72/2510.31 c #Conflicts: 936000 | #Constraints: 35223
2502.72/2510.31 c #Conflicts: 937000 | #Constraints: 36223
2502.72/2510.31 c #Conflicts: 938000 | #Constraints: 37223
2883.03/2891.78 c #Conflicts: 939000 | #Constraints: 38223
2883.03/2891.78 c #Conflicts: 940000 | #Constraints: 39223
2883.03/2891.78 c #Conflicts: 941000 | #Constraints: 40223
2883.03/2891.78 c INPROCESSING
2883.03/2891.78 c GARBAGE COLLECT
2883.03/2891.78 c #Conflicts: 942000 | #Constraints: 22023
2883.03/2891.78 c #Conflicts: 943000 | #Constraints: 23023
2883.03/2891.78 c #Conflicts: 944000 | #Constraints: 24023
2883.03/2891.78 c #Conflicts: 945000 | #Constraints: 25023
2883.03/2891.78 c #Conflicts: 946000 | #Constraints: 26023
2883.03/2891.78 c #Conflicts: 947000 | #Constraints: 27023
2883.03/2891.78 c #Conflicts: 948000 | #Constraints: 28023
2883.03/2891.78 c #Conflicts: 949000 | #Constraints: 29023
2883.03/2891.78 c #Conflicts: 950000 | #Constraints: 30023
2883.03/2891.78 c #Conflicts: 951000 | #Constraints: 31023
2883.03/2891.78 c #Conflicts: 952000 | #Constraints: 32023
2883.03/2891.78 c #Conflicts: 953000 | #Constraints: 33023
2883.03/2891.78 c #Conflicts: 954000 | #Constraints: 34023
2883.03/2891.78 c #Conflicts: 955000 | #Constraints: 35023
2883.03/2891.78 c #Conflicts: 956000 | #Constraints: 36023
2883.03/2891.78 c #Conflicts: 957000 | #Constraints: 37023
2883.03/2891.78 c #Conflicts: 958000 | #Constraints: 38023
2883.03/2891.78 c #Conflicts: 959000 | #Constraints: 39023
2883.03/2891.78 c #Conflicts: 960000 | #Constraints: 40023
2883.03/2891.78 c #Conflicts: 961000 | #Constraints: 41023
2883.03/2891.78 c #Conflicts: 962000 | #Constraints: 42023
2883.03/2891.78 c #Conflicts: 963000 | #Constraints: 43023
2883.03/2891.78 c #Conflicts: 964000 | #Constraints: 44023
2883.03/2891.78 c #Conflicts: 965000 | #Constraints: 45023
2883.03/2891.78 c #Conflicts: 966000 | #Constraints: 46023
2883.03/2891.78 c #Conflicts: 967000 | #Constraints: 47023
2883.03/2891.78 c #Conflicts: 968000 | #Constraints: 48023
2883.03/2891.78 c #Conflicts: 969000 | #Constraints: 49023
2883.03/2891.78 c #Conflicts: 970000 | #Constraints: 50023
2883.03/2891.78 c #Conflicts: 971000 | #Constraints: 51023
2883.03/2891.78 c #Conflicts: 972000 | #Constraints: 52023
2883.03/2891.78 c #Conflicts: 973000 | #Constraints: 53023
2883.03/2891.78 c #Conflicts: 974000 | #Constraints: 54023
2883.03/2891.78 c #Conflicts: 975000 | #Constraints: 55023
2883.03/2891.78 c #Conflicts: 976000 | #Constraints: 56023
2883.03/2891.78 c #Conflicts: 977000 | #Constraints: 57023
2883.03/2891.78 c #Conflicts: 978000 | #Constraints: 58023
2883.03/2891.78 c #Conflicts: 979000 | #Constraints: 59023
2883.03/2891.78 c #Conflicts: 980000 | #Constraints: 60023
2883.03/2891.78 c #Conflicts: 981000 | #Constraints: 61023
2883.03/2891.78 c #Conflicts: 982000 | #Constraints: 62023
2883.03/2891.78 c #Conflicts: 983000 | #Constraints: 63023
2883.03/2891.78 c #Conflicts: 984000 | #Constraints: 64023
2883.03/2891.78 c #Conflicts: 985000 | #Constraints: 65023
2883.03/2891.78 c #Conflicts: 986000 | #Constraints: 66023
2883.03/2891.78 c #Conflicts: 987000 | #Constraints: 67023
2883.03/2891.78 c #Conflicts: 988000 | #Constraints: 68023
2883.03/2891.78 c #Conflicts: 989000 | #Constraints: 69023
2883.03/2891.78 c #Conflicts: 990000 | #Constraints: 70023
2883.03/2891.78 c #Conflicts: 991000 | #Constraints: 71023
2883.03/2891.78 c #Conflicts: 992000 | #Constraints: 72023
2883.03/2891.78 c bounds 14 >= -156 @ 2759.39
2883.03/2891.78 c #Conflicts: 993000 | #Constraints: 73132
2883.03/2891.78 c #Conflicts: 994000 | #Constraints: 74132
2883.03/2891.78 c #Conflicts: 995000 | #Constraints: 75132
2883.03/2891.78 c #Conflicts: 996000 | #Constraints: 76132
2883.03/2891.78 c #Conflicts: 997000 | #Constraints: 77132
2883.03/2891.78 c #Conflicts: 998000 | #Constraints: 78132
2883.03/2891.78 c #Conflicts: 999000 | #Constraints: 79132
2883.03/2891.78 c #Conflicts: 1000000 | #Constraints: 80132
2883.03/2891.78 c #Conflicts: 1001000 | #Constraints: 81132
2883.03/2891.78 c #Conflicts: 1002000 | #Constraints: 82132
2883.03/2891.78 c #Conflicts: 1003000 | #Constraints: 83132
2883.03/2891.78 c #Conflicts: 1004000 | #Constraints: 84132
2883.03/2891.78 c #Conflicts: 1005000 | #Constraints: 85132
2883.03/2891.78 c #Conflicts: 1006000 | #Constraints: 86132
2883.03/2891.78 c #Conflicts: 1007000 | #Constraints: 87132
2883.03/2891.78 c #Conflicts: 1008000 | #Constraints: 88132
2883.03/2891.78 c #Conflicts: 1009000 | #Constraints: 89132
2883.03/2891.78 c #Conflicts: 1010000 | #Constraints: 90132
2883.03/2891.78 c #Conflicts: 1011000 | #Constraints: 91132
2883.03/2891.78 c #Conflicts: 1012000 | #Constraints: 92132
2883.03/2891.78 c #Conflicts: 1013000 | #Constraints: 93132
2883.03/2891.78 c #Conflicts: 1014000 | #Constraints: 94132
2883.03/2891.78 c #Conflicts: 1015000 | #Constraints: 95132
2883.03/2891.78 c #Conflicts: 1016000 | #Constraints: 96132
3456.47/3466.89 c #Conflicts: 1017000 | #Constraints: 97132
3456.47/3466.89 c #Conflicts: 1018000 | #Constraints: 98132
3456.47/3466.89 c #Conflicts: 1019000 | #Constraints: 99132
3456.47/3466.89 c #Conflicts: 1020000 | #Constraints: 100132
3456.47/3466.89 c #Conflicts: 1021000 | #Constraints: 101132
3456.47/3466.89 c #Conflicts: 1022000 | #Constraints: 102132
3456.47/3466.89 c #Conflicts: 1023000 | #Constraints: 103132
3456.47/3466.89 c #Conflicts: 1024000 | #Constraints: 104132
3456.47/3466.89 c #Conflicts: 1025000 | #Constraints: 105132
3456.47/3466.89 c #Conflicts: 1026000 | #Constraints: 106132
3456.47/3466.89 c #Conflicts: 1027000 | #Constraints: 107132
3456.47/3466.89 c #Conflicts: 1028000 | #Constraints: 108132
3456.47/3466.89 c #Conflicts: 1029000 | #Constraints: 109132
3456.47/3466.89 c #Conflicts: 1030000 | #Constraints: 110132
3456.47/3466.89 c #Conflicts: 1031000 | #Constraints: 111132
3456.47/3466.89 c #Conflicts: 1032000 | #Constraints: 112132
3456.47/3466.89 c #Conflicts: 1033000 | #Constraints: 113132
3456.47/3466.89 c #Conflicts: 1034000 | #Constraints: 114132
3456.47/3466.89 c #Conflicts: 1035000 | #Constraints: 115132
3456.47/3466.89 c #Conflicts: 1036000 | #Constraints: 116132
3456.47/3466.89 c #Conflicts: 1037000 | #Constraints: 117132
3456.47/3466.89 c #Conflicts: 1038000 | #Constraints: 118132
3456.47/3466.89 c #Conflicts: 1039000 | #Constraints: 119132
3456.47/3466.89 c #Conflicts: 1040000 | #Constraints: 120132
3456.47/3466.89 c #Conflicts: 1041000 | #Constraints: 121132
3456.47/3466.89 c INPROCESSING
3456.47/3466.89 c GARBAGE COLLECT
3456.47/3466.89 c #Conflicts: 1042000 | #Constraints: 62656
3456.47/3466.89 c #Conflicts: 1043000 | #Constraints: 63656
3456.47/3466.89 c #Conflicts: 1044000 | #Constraints: 64656
3456.47/3466.89 c #Conflicts: 1045000 | #Constraints: 65656
3456.47/3466.89 c #Conflicts: 1046000 | #Constraints: 66656
3456.47/3466.89 c #Conflicts: 1047000 | #Constraints: 67656
3456.47/3466.89 c #Conflicts: 1048000 | #Constraints: 68656
3456.47/3466.89 c #Conflicts: 1049000 | #Constraints: 69656
3456.47/3466.89 c #Conflicts: 1050000 | #Constraints: 70656
3456.47/3466.89 c #Conflicts: 1051000 | #Constraints: 71656
3456.47/3466.89 c #Conflicts: 1052000 | #Constraints: 72656
3456.47/3466.89 c #Conflicts: 1053000 | #Constraints: 73656
3456.47/3466.89 c #Conflicts: 1054000 | #Constraints: 74656
3456.47/3466.89 c #Conflicts: 1055000 | #Constraints: 75656
3456.47/3466.89 c #Conflicts: 1056000 | #Constraints: 76656
3456.47/3466.89 c #Conflicts: 1057000 | #Constraints: 77656
3456.47/3466.89 c #Conflicts: 1058000 | #Constraints: 78656
3456.47/3466.89 c #Conflicts: 1059000 | #Constraints: 79656
3456.47/3466.89 c #Conflicts: 1060000 | #Constraints: 80656
3456.47/3466.89 c #Conflicts: 1061000 | #Constraints: 81656
3456.47/3466.89 c #Conflicts: 1062000 | #Constraints: 82656
3456.47/3466.89 c INPROCESSING
3456.47/3466.89 c GARBAGE COLLECT
3456.47/3466.89 c #Conflicts: 1063000 | #Constraints: 43572
3456.47/3466.89 c #Conflicts: 1064000 | #Constraints: 44572
3456.47/3466.89 c #Conflicts: 1065000 | #Constraints: 45572
3456.47/3466.89 c #Conflicts: 1066000 | #Constraints: 46572
3456.47/3466.89 c #Conflicts: 1067000 | #Constraints: 47572
3456.47/3466.89 c #Conflicts: 1068000 | #Constraints: 48572
3456.47/3466.89 c #Conflicts: 1069000 | #Constraints: 49572
3456.47/3466.89 c #Conflicts: 1070000 | #Constraints: 50572
3456.47/3466.89 c #Conflicts: 1071000 | #Constraints: 51572
3456.47/3466.89 c #Conflicts: 1072000 | #Constraints: 52572
3456.47/3466.89 c #Conflicts: 1073000 | #Constraints: 53572
3456.47/3466.89 c #Conflicts: 1074000 | #Constraints: 54572
3456.47/3466.89 c #Conflicts: 1075000 | #Constraints: 55572
3456.47/3466.89 c #Conflicts: 1076000 | #Constraints: 56572
3456.47/3466.89 c #Conflicts: 1077000 | #Constraints: 57572
3456.47/3466.89 c #Conflicts: 1078000 | #Constraints: 58572
3456.47/3466.89 c #Conflicts: 1079000 | #Constraints: 59572
3456.47/3466.89 c #Conflicts: 1080000 | #Constraints: 60572
3456.47/3466.89 c #Conflicts: 1081000 | #Constraints: 61572
3456.47/3466.89 c #Conflicts: 1082000 | #Constraints: 62572
3456.47/3466.89 c INPROCESSING
3456.47/3466.89 c GARBAGE COLLECT
3456.47/3466.89 c #Conflicts: 1083000 | #Constraints: 33085
3456.47/3466.89 c #Conflicts: 1084000 | #Constraints: 34085
3456.47/3466.89 c #Conflicts: 1085000 | #Constraints: 35085
3456.47/3466.89 c #Conflicts: 1086000 | #Constraints: 36085
3456.47/3466.89 c #Conflicts: 1087000 | #Constraints: 37085
3456.47/3466.89 c #Conflicts: 1088000 | #Constraints: 38085
3456.47/3466.89 c #Conflicts: 1089000 | #Constraints: 39085
3456.47/3466.89 c #Conflicts: 1090000 | #Constraints: 40085
3456.47/3466.89 c #Conflicts: 1091000 | #Constraints: 41085
3456.47/3466.89 c #Conflicts: 1092000 | #Constraints: 42085
3456.47/3466.89 c #Conflicts: 1093000 | #Constraints: 43085
3600.07/3610.80 c #Conflicts: 1094000 | #Constraints: 44085
3600.07/3610.80 c #Conflicts: 1095000 | #Constraints: 45085
3600.07/3610.80 c #Conflicts: 1096000 | #Constraints: 46085
3600.07/3610.80 c #Conflicts: 1097000 | #Constraints: 47085
3600.07/3610.80 c #Conflicts: 1098000 | #Constraints: 48085
3600.07/3610.80 c #Conflicts: 1099000 | #Constraints: 49085
3600.07/3610.80 c #Conflicts: 1100000 | #Constraints: 50085
3600.07/3610.80 c #Conflicts: 1101000 | #Constraints: 51085
3600.07/3610.80 c #Conflicts: 1102000 | #Constraints: 52085
3600.07/3610.80 c #Conflicts: 1103000 | #Constraints: 53085
3600.07/3610.80 c #Conflicts: 1104000 | #Constraints: 54085
3600.07/3610.80 c INPROCESSING
3600.07/3610.80 c GARBAGE COLLECT
3600.07/3610.80 c #Conflicts: 1105000 | #Constraints: 29282
3600.07/3610.80 c #Conflicts: 1106000 | #Constraints: 30282
3600.07/3610.80 c #Conflicts: 1107000 | #Constraints: 31282
3600.07/3610.80 c #Conflicts: 1108000 | #Constraints: 32282
3600.07/3610.80 c #Conflicts: 1109000 | #Constraints: 33282
3600.07/3610.80 c #Conflicts: 1110000 | #Constraints: 34282
3600.07/3610.80 c #Conflicts: 1111000 | #Constraints: 35282
3600.07/3610.80 c #Conflicts: 1112000 | #Constraints: 36282
3600.07/3610.80 c #Conflicts: 1113000 | #Constraints: 37282
3600.07/3610.80 c #Conflicts: 1114000 | #Constraints: 38282
3600.07/3610.80 c #Conflicts: 1115000 | #Constraints: 39282
3600.07/3610.80 c #Conflicts: 1116000 | #Constraints: 40282
3600.07/3610.80 c #Conflicts: 1117000 | #Constraints: 41282
3600.07/3610.80 c #Conflicts: 1118000 | #Constraints: 42282
3600.07/3610.80 c #Conflicts: 1119000 | #Constraints: 43282
3600.07/3610.80 c #Conflicts: 1120000 | #Constraints: 44282
3600.07/3610.80 c #Conflicts: 1121000 | #Constraints: 45282
3600.07/3610.80 c #Conflicts: 1122000 | #Constraints: 46282
3600.07/3610.80 c #Conflicts: 1123000 | #Constraints: 47282
3600.07/3610.80 c Program interrupted by user.
3600.07/3610.80 c cpu time 3585.03 s
3600.07/3610.80 c deterministic time 353194468336 3.53e+11
3600.07/3610.80 c optimization time 248.129 s
3600.07/3610.80 c total solve time 3336.9 s
3600.07/3610.80 c core-guided solve time 3336.9 s
3600.07/3610.80 c propagation time 3136.73 s
3600.07/3610.80 c conflict analysis time 415.418 s
3600.07/3610.80 c propagations 155167036
3600.07/3610.80 c resolve steps 13492969
3600.07/3610.80 c decisions 10178009
3600.07/3610.80 c conflicts 1123964
3600.07/3610.80 c restarts 2046
3600.07/3610.80 c inprocessing phases 92
3600.07/3610.80 c input clauses 1478
3600.07/3610.80 c input cardinalities 795
3600.07/3610.80 c input general constraints 1167
3600.07/3610.80 c input average constraint length 72.42
3600.07/3610.80 c input average constraint degree 31.78
3600.07/3610.80 c learned clauses 364150
3600.07/3610.80 c learned cardinalities 258
3600.07/3610.80 c learned general constraints 759694
3600.07/3610.80 c learned average constraint length 166.40
3600.07/3610.80 c learned average constraint degree 714228.10
3600.07/3610.80 c watched constraints 621390
3600.07/3610.80 c counting constraints 139471
3600.07/3610.80 c gcd simplifications 37965
3600.07/3610.80 c detected cardinalities 4
3600.07/3610.80 c weakened non-implied lits 21128590
3600.07/3610.80 c weakened non-implying lits 66706
3600.07/3610.80 c original variables 906
3600.07/3610.80 c clausal propagations 54218150
3600.07/3610.80 c cardinality propagations 3700056
3600.07/3610.80 c watched propagations 36746590
3600.07/3610.80 c counting propagations 59660505
3600.07/3610.80 c watch lookups 75647204725
3600.07/3610.80 c watch backjump lookups 69792443891
3600.07/3610.80 c watch checks 184347507495
3600.07/3610.80 c propagation checks 22476900299
3600.07/3610.80 c constraint additions 598598401
3600.07/3610.80 c trail pops 166468479
3600.07/3610.80 c formula constraints 1039
3600.07/3610.80 c learned constraints 1124102
3600.07/3610.80 c bound constraints 247
3600.07/3610.80 c core-guided constraints 2154
3600.07/3610.80 c encountered formula constraints 3145702
3600.07/3610.80 c encountered learned constraints 8717018
3600.07/3610.80 c encountered bound constraints 178
3600.07/3610.80 c encountered core-guided constraints 2754035
3600.07/3610.80 c LP total time 0 s
3600.07/3610.80 c LP solve time 0 s
3600.07/3610.80 c LP constraints added 0
3600.07/3610.80 c LP constraints removed 0
3600.07/3610.80 c LP pivots internal 0
3600.07/3610.80 c LP pivots root 0
3600.07/3610.80 c LP calls 0
3600.07/3610.80 c LP optimalities 0
3600.07/3610.80 c LP no pivot count 0
3600.07/3610.80 c LP infeasibilities 0
3600.07/3610.80 c LP valid Farkas constraints 0
3600.07/3610.80 c LP learned Farkas constraints 0
3600.07/3610.80 c LP basis resets 0
3600.07/3610.80 c LP cycling count 0
3600.07/3610.80 c LP singular count 0
3600.07/3610.80 c LP no primal count 0
3600.07/3610.80 c LP no farkas count 0
3600.07/3610.80 c LP other issue count 0
3600.07/3610.80 c LP Gomory cuts 0
3600.07/3610.80 c LP learned cuts 0
3600.07/3610.80 c LP deleted cuts 0
3600.07/3610.80 c LP encountered Gomory constraints 0
3600.07/3610.80 c LP encountered Farkas constraints 0
3600.07/3610.80 c LP encountered learned Farkas constraints 0
3600.07/3610.80 c CG auxiliary variables introduced 811
3600.07/3610.80 c CG solutions found 8
3600.07/3610.80 c CG cores constructed 218
3600.07/3610.80 c CG core cardinality constraints returned 21
3600.07/3610.80 c CG unit cores 0
3600.07/3610.80 c CG single cores 184
3600.07/3610.80 c CG blocks removed during cardinality reduction 0
3600.07/3610.80 c CG first core best 0
3600.07/3610.80 c CG decision core best 14
3600.07/3610.80 c CG core reduction tie 20
3600.07/3610.80 c CG core degree average 1.14
3600.07/3610.80 c CG core slack average 7.65
3600.07/3610.80 c CG exhausted 9
3600.07/3610.80 c CG exhaust time 158.473 s
3600.07/3610.80 c CG trimmed 71
3600.07/3610.80 c CG trim time 0.149021 s
3600.07/3610.80 c CG minimized 0
3600.07/3610.80 c CG minimize time 0 s
3600.07/3610.80 c CG am1 prop time 0.076309 s
3600.07/3610.80 c CG # am1s reformulated 34
3600.07/3610.80 c CG lower bound derived from am1s 55
3600.07/3610.80 c CG # clausal cores 208
3600.07/3610.80 c CG # cardinality cores 24
3600.07/3610.80 c CG # pb cores 20
3600.07/3610.80 c CG # pb reforms 34
3600.07/3610.80 c CG # cores discarded because of pb reform 0
3600.07/3610.80 d LOWERBOUND -156
3600.07/3610.80 d NCORES 218
3600.07/3610.80 d NPBCORES 20
3600.07/3610.80 d NPBREFORM 34
3600.07/3610.80 d NTRIMMED 71
3600.07/3610.80 d NEXHAUSTED 9
3600.07/3610.80 d NAM1S 34
3600.07/3610.80 d AM1LB 55
3600.07/3610.80 o 14
3600.07/3610.80 s SATISFIABLE
3600.07/3610.80 v x1 -x2 -x3 -x4 -x5 x6 x7 x8 x9 -x10 -x11 -x12 x13 x14 -x15 x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 x48 x49 x50 x51 -x52 x53 x54 x55 x56 x57 x58 x59 -x60 x61 x62 -x63 -x64 -x65 x66 x67 x68 x69 -x70 -x71 -x72 -x73 x74 x75 x76 x77 x78 x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 x97 x98 -x99 x100 x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 x136 x137 x138 x139 -x140 x141 x142 -x143 -x144 -x145 x146 x147 x148 x149 -x150 x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 x161 -x162 x163 x164 x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 x177 x178 x179 x180 x181 -x182 x183 x184 x185 x186 x187 x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 x202 -x203 -x204 -x205 x206 -x207 -x208 x209 x210 x211 -x212 -x213 -x214 -x215 x216 -x217 x218 x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 x231 x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 -x249 -x250 -x251 -x252 x253 -x254 x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 x290 x291 -x292 x293 x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 x307 -x308 x309 x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 x336 x337 x338 x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 x370 x371 x372 x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 x382 x383 -x384 x385 x386 -x387 -x388 -x389 x390 x391 x392 x393 -x394 -x395 -x396 x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 x419 x420 x421 x422 x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 x431 x432 x433 x434 x435 x436 -x437 x438 x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 x455 x456 -x457 -x458 x459 x460 x461 x462 x463 x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 x481 x482 x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 x495 x496 x497 x498 x499 x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 x512 x513 -x514 x515 x516 x517 -x518 x519 x520 x521 x522 x523 x524 -x525 -x526 x527 x528 x529 -x530 x531 x532 x533 -x534 x535 x536 x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 x560 x561 x562 x563 x564 x565 -x566 x567 x568 -x569 -x570 -x571 x572 -x573 -x574 x575 x576 x577 x578 x579 x580 -x581 -x582 -x583 x584 -x585 -x586 x587 x588 x589 -x590 x591 x592 x593 -x594 -x595 -x596 x597 -x598 -x599 x600 x601 x602 x603 x604 x605 -x606 -x607 -x608 x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 x617 x618 -x619 -x620 -x621 x622 x623 -x624 x625 x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 x638 x639 x640 x641 x642 x643 x644 x645 -x646 x647 x648 x649 -x650 x651 x652 x653 x654 -x655 x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 x664 x665 -x666 -x667 x668 x669 -x670 -x671 x672 x673 -x674 -x675 x676 x677 x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 x686 -x687 -x688 x689 x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 x701 x702 x703 x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 x725 -x726 -x727 x728 x729 -x730 -x731 x732 x733 x734 x735 -x736 -x737 -x738 x739 x740 x741 x742 x743 x744 -x745 x746 x747 -x748 -x749 x750 x751 x752 -x753 x754 x755 -x756 -x757 -x758 x759 x760 -x761 -x762 x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 x784 x785 x786 x787 x788 x789 x790 x791 x792 -x793 -x794 -x795 x796 -x797 -x798 x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 x821 -x822 -x823 x824 x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 x854 -x855 -x856 -x857 x858 x859 x860 x861 x862 x863 x864 x865 x866 -x867 -x868 x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 x878 x879 x880 x881 x882 x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 x900 x901 x902 x903 x904 x905 x906
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62960 MiB free)
memory of node 1: 64507 MiB (63624 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484488-1751292654/watcher-4484488-1751292654 -o /tmp/evaluation-result-4484488-1751292654/solver-4484488-1751292654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751292654-42304 --watchdog 3760 pb-oll-rs HOME/instance-4484488-1751292654.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=42361, runsolver pid=42350
[startup+0.100057 s]*
/proc/loadavg: 0.82 1.06 1.40 5/265 42362
/proc/meminfo: memFree=129607812/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=22376 memory=11008 CPUtime=0.09 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 1148 0 0 0 8 1 0 0 20 0 1 0 44943120 22913024 2752 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 5594 2752 1312 243 0 1843 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22376 KiB
Current children cumulated memory: 11008 KiB
[startup+0.204646 s]*
/proc/loadavg: 0.82 1.06 1.40 5/265 42362
/proc/meminfo: memFree=129590204/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=24224 memory=13312 CPUtime=0.19 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 1712 0 0 0 18 1 0 0 20 0 1 0 44943120 24805376 3328 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 6056 3328 1312 243 0 2305 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 24224 KiB
Current children cumulated memory: 13312 KiB
[startup+0.305065 s]*
/proc/loadavg: 0.82 1.06 1.40 5/265 42362
/proc/meminfo: memFree=129580628/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=29508 memory=17664 CPUtime=0.29 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 2808 0 0 0 27 2 0 0 20 0 1 0 44943120 30216192 4416 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 7377 4416 1312 243 0 3626 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 29508 KiB
Current children cumulated memory: 17664 KiB
[startup+0.700172 s]
/proc/loadavg: 0.82 1.06 1.40 5/265 42362
/proc/meminfo: memFree=129571052/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=39800 memory=26912 CPUtime=0.69 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 4592 0 0 0 65 4 0 0 20 0 1 0 44943120 40755200 6728 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 9950 6728 1312 243 0 6199 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39800 KiB
Current children cumulated memory: 26912 KiB
[startup+1.50014 s]
/proc/loadavg: 0.82 1.06 1.40 5/265 42362
/proc/meminfo: memFree=129525624/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=56440 memory=40692 CPUtime=1.48 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 7026 0 0 0 142 6 0 0 20 0 1 0 44943120 57794560 10173 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 14110 10173 1312 243 0 10359 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 56440 KiB
Current children cumulated memory: 40692 KiB
[startup+3.10471 s]
/proc/loadavg: 0.82 1.06 1.40 5/265 42362
/proc/meminfo: memFree=129319980/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=60280 memory=46620 CPUtime=3.08 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 8010 0 0 0 297 11 0 0 20 0 1 0 44943120 61726720 11655 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 15070 11655 1312 243 0 11319 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 60280 KiB
Current children cumulated memory: 46620 KiB
[startup+6.30012 s]
/proc/loadavg: 1.08 1.11 1.41 5/266 42363
/proc/meminfo: memFree=129203080/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=76472 memory=54812 CPUtime=6.26 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 9543 0 0 0 607 19 0 0 20 0 1 0 44943120 78307328 13703 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 19118 13703 1312 243 0 15367 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 76472 KiB
Current children cumulated memory: 54812 KiB
[startup+12.7002 s]
/proc/loadavg: 1.31 1.16 1.43 5/266 42363
/proc/meminfo: memFree=128944388/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=93148 memory=72948 CPUtime=12.65 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 12540 0 0 0 1236 29 0 0 20 0 1 0 44943120 95383552 18237 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 23287 18237 1312 243 0 19536 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 93148 KiB
Current children cumulated memory: 72948 KiB
[startup+25.5002 s]
/proc/loadavg: 1.91 1.30 1.47 5/266 42364
/proc/meminfo: memFree=128737420/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=118132 memory=83600 CPUtime=25.42 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 14674 0 0 0 2497 45 0 0 20 0 1 0 44943120 120967168 20900 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 29533 20900 1312 243 0 25782 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 118132 KiB
Current children cumulated memory: 83600 KiB
[startup+51.1054 s]
/proc/loadavg: 2.68 1.53 1.54 5/266 42364
/proc/meminfo: memFree=128393284/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=160292 memory=127404 CPUtime=50.95 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 24106 0 0 0 5015 80 0 0 20 0 1 0 44943120 164139008 31851 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 40073 31851 1312 243 0 36322 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 160292 KiB
Current children cumulated memory: 127404 KiB
[startup+102.3 s]
/proc/loadavg: 3.48 1.93 1.68 5/266 42373
/proc/meminfo: memFree=128019512/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=174596 memory=141632 CPUtime=102.02 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 26660 0 0 0 10058 144 0 0 20 0 1 0 44943120 178786304 35408 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 43649 35408 1312 243 0 39898 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 174596 KiB
Current children cumulated memory: 141632 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 2.32 1.83 5/266 42375
/proc/meminfo: memFree=127881592/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=186768 memory=151264 CPUtime=161.83 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 28565 0 0 0 15973 210 0 0 20 0 1 0 44943120 191250432 37816 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 46692 37816 1312 243 0 42941 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 186768 KiB
Current children cumulated memory: 151264 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.65 1.97 5/265 42377
/proc/meminfo: memFree=127600848/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=186932 memory=151484 CPUtime=221.66 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 28650 0 0 0 21910 256 0 0 20 0 1 0 44943120 191418368 37871 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 46733 37871 1312 243 0 42982 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 186932 KiB
Current children cumulated memory: 151484 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.93 2.12 5/266 42380
/proc/meminfo: memFree=127501152/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=186932 memory=151484 CPUtime=281.48 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 28652 0 0 0 27847 301 0 0 20 0 1 0 44943120 191418368 37871 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 46733 37871 1312 243 0 42982 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 186932 KiB
Current children cumulated memory: 151484 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.15 2.25 5/264 42382
/proc/meminfo: memFree=127299944/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=187208 memory=151996 CPUtime=341.3 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 28797 0 0 0 33788 342 0 0 20 0 1 0 44943120 191700992 37999 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 46802 37999 1312 243 0 43051 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 187208 KiB
Current children cumulated memory: 151996 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 3.31 2.36 5/265 42385
/proc/meminfo: memFree=127165004/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=187672 memory=152380 CPUtime=401.13 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 28955 0 0 0 39727 386 0 0 20 0 1 0 44943120 192176128 38095 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 46918 38095 1312 243 0 43167 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 187672 KiB
Current children cumulated memory: 152380 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.47 2.47 5/264 42387
/proc/meminfo: memFree=127048508/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=187920 memory=152636 CPUtime=460.94 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 29072 0 0 0 45670 424 0 0 20 0 1 0 44943120 192430080 38159 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 46980 38159 1312 243 0 43229 0
Current children cumulated CPU time: 460.94 s
################
# More data... #
################
Current children cumulated memory: 215936 KiB
[startup+2862.3 s]
/proc/loadavg: 4.06 4.09 4.01 5/264 42561
/proc/meminfo: memFree=127368428/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=255796 memory=216960 CPUtime=2853.71 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 39586 0 0 0 283993 1378 0 0 20 0 1 0 44943120 261935104 54240 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 63949 54240 1312 243 0 60198 0
Current children cumulated CPU time: 2853.71 s
Current children cumulated vsize: 255796 KiB
Current children cumulated memory: 216960 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.10 4.01 5/264 42563
/proc/meminfo: memFree=127363176/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=258944 memory=223324 CPUtime=2913.54 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 40182 0 0 0 289967 1387 0 0 20 0 1 0 44943120 265158656 55831 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 64736 55831 1312 243 0 60985 0
Current children cumulated CPU time: 2913.54 s
Current children cumulated vsize: 258944 KiB
Current children cumulated memory: 223324 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.01 5/264 42565
/proc/meminfo: memFree=127348020/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=262408 memory=234372 CPUtime=2973.37 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 40871 0 0 0 295942 1395 0 0 20 0 1 0 44943120 268705792 58593 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 65602 58593 1312 243 0 61851 0
Current children cumulated CPU time: 2973.37 s
Current children cumulated vsize: 262408 KiB
Current children cumulated memory: 234372 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/264 42578
/proc/meminfo: memFree=127305652/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=265776 memory=241048 CPUtime=3033.2 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 41517 0 0 0 301918 1402 0 0 20 0 1 0 44943120 272154624 60262 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 66444 60262 1312 243 0 62693 0
Current children cumulated CPU time: 3033.2 s
Current children cumulated vsize: 265776 KiB
Current children cumulated memory: 241048 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/264 42587
/proc/meminfo: memFree=127248420/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=270184 memory=248304 CPUtime=3093.03 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 42310 0 0 0 307895 1408 0 0 20 0 1 0 44943120 276668416 62076 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 67546 62076 1312 243 0 63795 0
Current children cumulated CPU time: 3093.03 s
Current children cumulated vsize: 270184 KiB
Current children cumulated memory: 248304 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.01 5/264 42589
/proc/meminfo: memFree=127212780/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=272432 memory=252024 CPUtime=3152.85 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 42997 0 0 0 313868 1417 0 0 20 0 1 0 44943120 278970368 63006 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 68108 63006 1312 243 0 64357 0
Current children cumulated CPU time: 3152.85 s
Current children cumulated vsize: 272432 KiB
Current children cumulated memory: 252024 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/264 42592
/proc/meminfo: memFree=127178152/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=272432 memory=252024 CPUtime=3212.68 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 42997 0 0 0 319838 1430 0 0 20 0 1 0 44943120 278970368 63006 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 68108 63006 1312 243 0 64357 0
Current children cumulated CPU time: 3212.68 s
Current children cumulated vsize: 272432 KiB
Current children cumulated memory: 252024 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/265 42595
/proc/meminfo: memFree=127138240/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=272432 memory=252024 CPUtime=3272.51 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 43090 0 0 0 325816 1435 0 0 20 0 1 0 44943120 278970368 63006 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 68108 63006 1312 243 0 64357 0
Current children cumulated CPU time: 3272.51 s
Current children cumulated vsize: 272432 KiB
Current children cumulated memory: 252024 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/265 42597
/proc/meminfo: memFree=127138232/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=272104 memory=251824 CPUtime=3332.33 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 43338 0 0 0 331787 1446 0 0 20 0 1 0 44943120 278634496 62956 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 68026 62956 1312 243 0 64275 0
Current children cumulated CPU time: 3332.33 s
Current children cumulated vsize: 272104 KiB
Current children cumulated memory: 251824 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/265 42598
/proc/meminfo: memFree=127138192/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=272104 memory=251824 CPUtime=3392.16 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 43338 0 0 0 337759 1457 0 0 20 0 1 0 44943120 278634496 62956 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 68026 62956 1312 243 0 64275 0
Current children cumulated CPU time: 3392.16 s
Current children cumulated vsize: 272104 KiB
Current children cumulated memory: 251824 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.07 4.01 5/265 42600
/proc/meminfo: memFree=127135460/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=272432 memory=251952 CPUtime=3451.99 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 43388 0 0 0 343729 1470 0 0 20 0 1 0 44943120 278970368 62988 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 68108 62988 1312 243 0 64357 0
Current children cumulated CPU time: 3451.99 s
Current children cumulated vsize: 272432 KiB
Current children cumulated memory: 251952 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/265 42603
/proc/meminfo: memFree=127133540/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=272432 memory=251952 CPUtime=3511.81 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 43388 0 0 0 349698 1483 0 0 20 0 1 0 44943120 278970368 62988 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 68108 62988 1312 243 0 64357 0
Current children cumulated CPU time: 3511.81 s
Current children cumulated vsize: 272432 KiB
Current children cumulated memory: 251952 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/265 42605
/proc/meminfo: memFree=127133404/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=272432 memory=251952 CPUtime=3571.65 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 43388 0 0 0 355666 1499 0 0 20 0 1 0 44943120 278970368 62988 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 68108 62988 1312 243 0 64357 0
Current children cumulated CPU time: 3571.65 s
Current children cumulated vsize: 272432 KiB
Current children cumulated memory: 251952 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.13 4.09 4.02 5/261 42623
/proc/meminfo: memFree=128556648/131249996 swapFree=33010684/33010684
[pid=42361] ppid=42350 vsize=272432 memory=251952 CPUtime=3600.07 cores=1,3
/proc/42361/stat : 42361 (pb-oll-rs) R 42350 42361 42292 0 -1 4194304 43388 0 0 0 358502 1505 0 0 20 0 1 0 44943120 278970368 62988 18446744073709551615 4218880 5211445 140735899270608 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 15241216 140735899273628 140735899273705 140735899273705 140735899279307 0
/proc/42361/statm: 68108 62988 1312 243 0 64357 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 272432 KiB
Current children cumulated memory: 251952 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.81 s]
# the end of solver process 42361 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.03 s, system=15.055 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.81
CPU time (s): 3600.09
CPU user time (s): 3585.03
CPU system time (s): 15.055
CPU usage (%): 99.703
Max. virtual memory (cumulated for all children) (KiB): 273576
Max. memory (cumulated for all children) (KiB): 253064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.03
system time used= 15.055
maximum resident set size= 253064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43403
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= 129
involuntary context switches= 5756
# summary of solver processes directly reported to runsolver:
# pid: 42361
# total CPU time (s): 3600.09
# total CPU user time (s): 3585.03
# total CPU system time (s): 15.055
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.6886 second user time and 15.5293 second system time
The end
Begin job on nodeC021 at 2025-06-30 16:10:54
IDJOB=4484488
IDBENCH=146658
IDSOLVER=3345
FILE ID=nodeC021/4484488-1751292654
RUNJOBID= nodeC021-1751292654-42304
SLURM_JOB_ID= 9594264
Free space on /tmp= 433064 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484488-1751292654/watcher-4484488-1751292654 -o /tmp/evaluation-result-4484488-1751292654/solver-4484488-1751292654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751292654-42304 --watchdog 3760 pb-oll-rs HOME/instance-4484488-1751292654.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f3472af25f5f0fee0e9203b0329f534f
RANDOM SEED=394225421
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.894
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3603.754
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3599.789
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3599.793
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3600.161
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.948
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.837
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3599.550
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129639720 kB
MemAvailable: 129760476 kB
Buffers: 3280 kB
Cached: 927904 kB
SwapCached: 0 kB
Active: 347380 kB
Inactive: 659388 kB
Active(anon): 93644 kB
Inactive(anon): 0 kB
Active(file): 253736 kB
Inactive(file): 659388 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7208 kB
Writeback: 8 kB
AnonPages: 78744 kB
Mapped: 103124 kB
Shmem: 18060 kB
KReclaimable: 93344 kB
Slab: 179600 kB
SReclaimable: 93344 kB
SUnreclaim: 86256 kB
KernelStack: 4096 kB
PageTables: 2884 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 348872 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432584 MiB
End job on nodeC021 at 2025-06-30 17:11:05