0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 906 #constraints 1039
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= -553 @ 0.002155
0.00/0.00 c stratification level: 3
0.00/0.01 c bounds - >= -541 @ 0.003273
0.00/0.01 c bounds - >= -538 @ 0.003527
0.00/0.01 c bounds - >= -535 @ 0.003793
0.00/0.01 c bounds - >= -532 @ 0.003862
0.00/0.01 c bounds - >= -529 @ 0.003862
0.00/0.01 c bounds - >= -526 @ 0.003862
0.00/0.01 c bounds - >= -523 @ 0.003918
0.00/0.01 c bounds - >= -520 @ 0.003918
0.00/0.01 c bounds - >= -517 @ 0.003918
0.00/0.01 c bounds - >= -514 @ 0.003963
0.00/0.01 c finalizing WCE round: reformulating cores
3.16/3.25 c #Conflicts: 1000 | #Constraints: 2065
3.16/3.25 c #Conflicts: 2000 | #Constraints: 3067
3.16/3.25 c INPROCESSING
3.16/3.25 c GARBAGE COLLECT
3.16/3.25 c #Conflicts: 3000 | #Constraints: 3067
3.16/3.25 c #Conflicts: 4000 | #Constraints: 4069
3.16/3.25 c INPROCESSING
3.16/3.25 c GARBAGE COLLECT
3.16/3.25 c #Conflicts: 5000 | #Constraints: 3474
3.16/3.25 c #Conflicts: 6000 | #Constraints: 4476
3.16/3.25 c INPROCESSING
3.16/3.25 c GARBAGE COLLECT
3.16/3.25 c #Conflicts: 7000 | #Constraints: 3484
3.16/3.25 c #Conflicts: 8000 | #Constraints: 4486
3.16/3.25 c bounds 41 >= -514 @ 3.01486
3.16/3.25 c bounds 40 >= -514 @ 3.10357
3.16/3.25 c stratification level: 2
3.36/3.48 c bounds 40 >= -496 @ 3.11248
3.36/3.48 c bounds 40 >= -494 @ 3.1139
3.36/3.48 c bounds 40 >= -492 @ 3.11419
3.36/3.48 c bounds 40 >= -490 @ 3.11558
3.36/3.48 c bounds 40 >= -488 @ 3.11651
3.36/3.48 c bounds 40 >= -486 @ 3.11809
3.36/3.48 c bounds 40 >= -484 @ 3.11912
3.36/3.48 c bounds 40 >= -482 @ 3.12116
3.36/3.48 c bounds 40 >= -480 @ 3.12298
3.36/3.48 c bounds 40 >= -478 @ 3.12417
3.36/3.48 c bounds 40 >= -476 @ 3.12515
3.36/3.48 c bounds 40 >= -474 @ 3.12734
3.36/3.48 c bounds 40 >= -472 @ 3.1281
3.36/3.48 c bounds 40 >= -470 @ 3.12947
3.36/3.48 c bounds 40 >= -468 @ 3.13091
3.36/3.48 c bounds 40 >= -466 @ 3.13128
3.36/3.48 c bounds 40 >= -464 @ 3.13269
3.36/3.48 c bounds 40 >= -462 @ 3.13374
3.36/3.48 c bounds 40 >= -458 @ 3.13395
3.36/3.48 c bounds 40 >= -454 @ 3.13487
3.36/3.48 c bounds 40 >= -452 @ 3.13534
3.36/3.48 c bounds 40 >= -450 @ 3.13624
3.36/3.48 c bounds 40 >= -448 @ 3.13746
3.36/3.48 c bounds 40 >= -444 @ 3.13921
3.36/3.48 c bounds 40 >= -442 @ 3.14068
3.36/3.48 c bounds 40 >= -440 @ 3.1417
3.36/3.48 c bounds 40 >= -438 @ 3.14369
3.36/3.48 c bounds 40 >= -436 @ 3.14435
3.36/3.48 c bounds 40 >= -434 @ 3.14596
3.36/3.48 c bounds 40 >= -432 @ 3.14698
3.36/3.48 c bounds 40 >= -430 @ 3.14866
3.36/3.48 c bounds 40 >= -428 @ 3.14908
3.36/3.48 c bounds 40 >= -426 @ 3.15086
3.36/3.48 c bounds 40 >= -424 @ 3.15199
3.36/3.48 c bounds 40 >= -422 @ 3.1526
3.36/3.48 c bounds 40 >= -420 @ 3.15412
3.36/3.48 c bounds 40 >= -418 @ 3.15663
3.36/3.48 c bounds 40 >= -414 @ 3.15827
3.36/3.48 c bounds 40 >= -412 @ 3.16006
3.36/3.48 c bounds 40 >= -410 @ 3.16105
3.36/3.48 c bounds 40 >= -408 @ 3.16222
3.36/3.48 c bounds 40 >= -406 @ 3.16326
3.36/3.48 c bounds 40 >= -404 @ 3.16544
3.36/3.48 c bounds 40 >= -402 @ 3.16774
3.36/3.48 c bounds 40 >= -400 @ 3.17461
3.36/3.48 c bounds 40 >= -398 @ 3.18235
3.36/3.48 c finalizing WCE round: reformulating cores
21.42/21.57 c #Conflicts: 9000 | #Constraints: 5598
21.42/21.57 c INPROCESSING
21.42/21.57 c GARBAGE COLLECT
21.42/21.57 c #Conflicts: 10000 | #Constraints: 4232
21.42/21.57 c #Conflicts: 11000 | #Constraints: 5241
21.42/21.57 c #Conflicts: 12000 | #Constraints: 6250
21.42/21.57 c INPROCESSING
21.42/21.57 c GARBAGE COLLECT
21.42/21.57 c #Conflicts: 13000 | #Constraints: 4692
21.42/21.57 c #Conflicts: 14000 | #Constraints: 5694
21.42/21.57 c #Conflicts: 15000 | #Constraints: 6699
21.42/21.57 c INPROCESSING
21.42/21.57 c GARBAGE COLLECT
21.42/21.57 c #Conflicts: 16000 | #Constraints: 4921
21.42/21.57 c #Conflicts: 17000 | #Constraints: 5923
21.42/21.57 c #Conflicts: 18000 | #Constraints: 6931
21.42/21.57 c INPROCESSING
21.42/21.57 c GARBAGE COLLECT
21.42/21.57 c #Conflicts: 19000 | #Constraints: 4937
21.42/21.57 c #Conflicts: 20000 | #Constraints: 5939
21.42/21.57 c #Conflicts: 21000 | #Constraints: 6941
21.42/21.57 c INPROCESSING
21.42/21.57 c GARBAGE COLLECT
21.42/21.57 c #Conflicts: 22000 | #Constraints: 4749
21.42/21.57 c #Conflicts: 23000 | #Constraints: 5754
21.42/21.57 c #Conflicts: 24000 | #Constraints: 6756
21.42/21.57 c #Conflicts: 25000 | #Constraints: 7758
21.42/21.57 c INPROCESSING
21.42/21.57 c GARBAGE COLLECT
21.42/21.57 c #Conflicts: 26000 | #Constraints: 5367
21.42/21.57 c #Conflicts: 27000 | #Constraints: 6369
21.42/21.57 c #Conflicts: 28000 | #Constraints: 7371
21.42/21.57 c #Conflicts: 29000 | #Constraints: 8375
21.42/21.57 c INPROCESSING
21.42/21.57 c GARBAGE COLLECT
21.42/21.57 c #Conflicts: 30000 | #Constraints: 5793
21.42/21.57 c #Conflicts: 31000 | #Constraints: 6795
21.42/21.57 c #Conflicts: 32000 | #Constraints: 7797
21.42/21.57 c #Conflicts: 33000 | #Constraints: 8801
21.42/21.57 c INPROCESSING
21.42/21.57 c GARBAGE COLLECT
21.42/21.57 c #Conflicts: 34000 | #Constraints: 6007
21.42/21.57 c #Conflicts: 35000 | #Constraints: 7015
21.42/21.57 c #Conflicts: 36000 | #Constraints: 8018
21.42/21.57 c bounds 20 >= -398 @ 19.5094
21.42/21.57 c bounds 20 >= -394 @ 19.5133
21.42/21.57 c bounds 20 >= -392 @ 19.5162
21.42/21.57 c bounds 20 >= -390 @ 19.5284
21.42/21.57 c bounds 20 >= -388 @ 19.5326
21.42/21.57 c bounds 20 >= -386 @ 19.5355
21.42/21.57 c bounds 20 >= -384 @ 19.5389
21.42/21.57 c bounds 20 >= -382 @ 19.5469
21.42/21.57 c bounds 20 >= -380 @ 19.5557
21.42/21.57 c bounds 20 >= -378 @ 19.5612
21.42/21.57 c bounds 20 >= -376 @ 19.5692
21.42/21.57 c bounds 20 >= -374 @ 19.5898
21.42/21.57 c bounds 20 >= -372 @ 19.6158
21.42/21.57 c bounds 20 >= -370 @ 19.6381
21.42/21.57 c bounds 20 >= -368 @ 19.6715
21.42/21.57 c #Conflicts: 37000 | #Constraints: 9123
21.42/21.57 c INPROCESSING
21.42/21.57 c GARBAGE COLLECT
21.42/21.57 c finalizing WCE round: reformulating cores
29.09/29.24 c #Conflicts: 38000 | #Constraints: 6085
29.09/29.24 c #Conflicts: 39000 | #Constraints: 7089
29.09/29.24 c #Conflicts: 40000 | #Constraints: 8091
29.09/29.24 c #Conflicts: 41000 | #Constraints: 9093
29.09/29.24 c INPROCESSING
29.09/29.24 c GARBAGE COLLECT
29.09/29.24 c #Conflicts: 42000 | #Constraints: 5891
29.09/29.24 c #Conflicts: 43000 | #Constraints: 6893
29.09/29.24 c #Conflicts: 44000 | #Constraints: 7897
29.09/29.24 c #Conflicts: 45000 | #Constraints: 8899
29.09/29.24 c #Conflicts: 46000 | #Constraints: 9901
29.09/29.24 c INPROCESSING
29.09/29.24 c GARBAGE COLLECT
29.09/29.24 c #Conflicts: 47000 | #Constraints: 6494
29.09/29.24 c #Conflicts: 48000 | #Constraints: 7496
29.09/29.24 c bounds 19 >= -368 @ 28.1208
29.09/29.24 c bounds 19 >= -366 @ 28.1322
29.09/29.24 c finalizing WCE round: reformulating cores
36.08/36.23 c #Conflicts: 49000 | #Constraints: 8530
36.08/36.23 c bounds 18 >= -366 @ 29.4571
36.08/36.23 c #Conflicts: 50000 | #Constraints: 9530
36.08/36.23 c #Conflicts: 51000 | #Constraints: 10530
36.08/36.23 c INPROCESSING
36.08/36.23 c GARBAGE COLLECT
36.08/36.23 c #Conflicts: 52000 | #Constraints: 6915
36.08/36.23 c #Conflicts: 53000 | #Constraints: 7915
36.08/36.23 c #Conflicts: 54000 | #Constraints: 8915
36.08/36.23 c bounds 17 >= -366 @ 35.5324
36.08/36.23 c stratification level: 1
39.57/39.74 c bounds 17 >= -339 @ 35.5685
39.57/39.74 c bounds 17 >= -336 @ 35.5707
39.57/39.74 c bounds 17 >= -335 @ 35.5737
39.57/39.74 c bounds 17 >= -332 @ 35.5738
39.57/39.74 c bounds 17 >= -331 @ 35.5762
39.57/39.74 c bounds 17 >= -328 @ 35.5769
39.57/39.74 c bounds 17 >= -326 @ 35.5811
39.57/39.74 c bounds 17 >= -324 @ 35.5844
39.57/39.74 c bounds 17 >= -323 @ 35.5866
39.57/39.74 c bounds 17 >= -320 @ 35.5879
39.57/39.74 c bounds 17 >= -319 @ 35.5915
39.57/39.74 c bounds 17 >= -318 @ 35.5947
39.57/39.74 c bounds 17 >= -317 @ 35.5987
39.57/39.74 c bounds 17 >= -316 @ 35.6007
39.57/39.74 c bounds 17 >= -315 @ 35.6028
39.57/39.74 c bounds 17 >= -314 @ 35.6044
39.57/39.74 c bounds 17 >= -313 @ 35.6065
39.57/39.74 c bounds 17 >= -312 @ 35.6081
39.57/39.74 c bounds 17 >= -311 @ 35.6107
39.57/39.74 c bounds 17 >= -310 @ 35.6147
39.57/39.74 c bounds 17 >= -309 @ 35.6166
39.57/39.74 c bounds 17 >= -307 @ 35.6202
39.57/39.74 c bounds 17 >= -304 @ 35.6224
39.57/39.74 c bounds 17 >= -303 @ 35.6281
39.57/39.74 c bounds 17 >= -302 @ 35.6318
39.57/39.74 c bounds 17 >= -301 @ 35.6339
39.57/39.74 c bounds 17 >= -300 @ 35.6371
39.57/39.74 c bounds 17 >= -297 @ 35.6387
39.57/39.74 c bounds 17 >= -296 @ 35.6453
39.57/39.74 c bounds 17 >= -295 @ 35.6493
39.57/39.74 c bounds 17 >= -293 @ 35.6518
39.57/39.74 c bounds 17 >= -292 @ 35.6543
39.57/39.74 c bounds 17 >= -291 @ 35.6563
39.57/39.74 c bounds 17 >= -290 @ 35.6651
39.57/39.74 c bounds 17 >= -289 @ 35.6692
39.57/39.74 c bounds 17 >= -286 @ 35.6718
39.57/39.74 c bounds 17 >= -285 @ 35.674
39.57/39.74 c bounds 17 >= -284 @ 35.6776
39.57/39.74 c bounds 17 >= -283 @ 35.6827
39.57/39.74 c bounds 17 >= -282 @ 35.6858
39.57/39.74 c bounds 17 >= -281 @ 35.6919
39.57/39.74 c bounds 17 >= -280 @ 35.6984
39.57/39.74 c bounds 17 >= -279 @ 35.7018
39.57/39.74 c bounds 17 >= -277 @ 35.7103
39.57/39.74 c bounds 17 >= -274 @ 35.7174
39.57/39.74 c bounds 17 >= -273 @ 35.7219
39.57/39.74 c bounds 17 >= -271 @ 35.7261
39.57/39.74 c bounds 17 >= -270 @ 35.7304
39.57/39.74 c bounds 17 >= -269 @ 35.7356
39.57/39.74 c bounds 17 >= -268 @ 35.7391
39.57/39.74 c bounds 17 >= -266 @ 35.744
39.57/39.74 c bounds 17 >= -265 @ 35.749
39.57/39.74 c bounds 17 >= -264 @ 35.7528
39.57/39.74 c bounds 17 >= -263 @ 35.7578
39.57/39.74 c bounds 17 >= -262 @ 35.764
39.57/39.74 c bounds 17 >= -261 @ 35.7668
39.57/39.74 c bounds 17 >= -260 @ 35.7698
39.57/39.74 c bounds 17 >= -259 @ 35.7749
39.57/39.74 c bounds 17 >= -258 @ 35.7816
39.57/39.74 c bounds 17 >= -257 @ 35.7878
39.57/39.74 c bounds 17 >= -256 @ 35.7943
39.57/39.74 c bounds 17 >= -255 @ 35.801
39.57/39.74 c bounds 17 >= -254 @ 35.8065
39.57/39.74 c bounds 17 >= -253 @ 35.8123
39.57/39.74 c bounds 17 >= -251 @ 35.8223
39.57/39.74 c bounds 17 >= -250 @ 35.8335
39.57/39.74 c bounds 17 >= -249 @ 35.837
39.57/39.74 c bounds 17 >= -248 @ 35.839
39.57/39.74 c bounds 17 >= -247 @ 35.8409
39.57/39.74 c bounds 17 >= -246 @ 35.8462
39.57/39.74 c bounds 17 >= -245 @ 35.8511
39.57/39.74 c bounds 17 >= -244 @ 35.8548
39.57/39.74 c bounds 17 >= -243 @ 35.8569
39.57/39.74 c bounds 17 >= -242 @ 35.8607
39.57/39.74 c bounds 17 >= -241 @ 35.8662
39.57/39.74 c bounds 17 >= -240 @ 35.8748
39.57/39.74 c bounds 17 >= -239 @ 35.8791
39.57/39.74 c bounds 17 >= -238 @ 35.8841
39.57/39.74 c bounds 17 >= -237 @ 35.886
39.57/39.74 c bounds 17 >= -236 @ 35.8891
39.57/39.74 c bounds 17 >= -235 @ 35.8955
39.57/39.74 c bounds 17 >= -234 @ 35.9017
39.57/39.74 c bounds 17 >= -233 @ 35.9077
39.57/39.74 c bounds 17 >= -232 @ 35.9134
39.57/39.74 c bounds 17 >= -231 @ 35.9196
39.57/39.74 c bounds 17 >= -230 @ 35.9254
39.57/39.74 c bounds 17 >= -229 @ 35.9307
39.57/39.74 c bounds 17 >= -228 @ 35.9365
39.57/39.74 c bounds 17 >= -227 @ 35.9421
39.57/39.74 c bounds 17 >= -226 @ 35.9559
39.57/39.74 c bounds 17 >= -225 @ 35.9596
39.57/39.74 c bounds 17 >= -224 @ 35.9635
39.57/39.74 c bounds 17 >= -223 @ 35.9686
39.57/39.74 c bounds 17 >= -222 @ 35.9758
39.57/39.74 c bounds 17 >= -221 @ 35.9843
39.57/39.74 c bounds 17 >= -220 @ 35.9981
39.57/39.74 c bounds 17 >= -219 @ 36.0055
39.57/39.74 c bounds 17 >= -218 @ 36.0248
39.57/39.74 c bounds 17 >= -217 @ 36.0504
39.57/39.74 c bounds 17 >= -216 @ 36.0622
39.57/39.74 c bounds 17 >= -215 @ 36.0719
39.57/39.74 c bounds 17 >= -214 @ 36.0891
39.57/39.74 c bounds 17 >= -213 @ 36.166
39.57/39.74 c bounds 17 >= -212 @ 36.2178
39.57/39.74 c bounds 17 >= -211 @ 36.3195
39.57/39.74 c bounds 17 >= -210 @ 36.3929
39.57/39.74 c bounds 17 >= -209 @ 36.3957
39.57/39.74 c bounds 17 >= -208 @ 36.4291
39.57/39.74 c bounds 17 >= -207 @ 36.904
39.57/39.74 c bounds 17 >= -206 @ 36.9496
39.57/39.74 c #Conflicts: 55000 | #Constraints: 10428
39.57/39.74 c finalizing WCE round: reformulating cores
107.71/108.04 c #Conflicts: 56000 | #Constraints: 11434
107.71/108.04 c INPROCESSING
107.71/108.04 c GARBAGE COLLECT
107.71/108.04 c #Conflicts: 57000 | #Constraints: 7407
107.71/108.04 c #Conflicts: 58000 | #Constraints: 8409
107.71/108.04 c #Conflicts: 59000 | #Constraints: 9411
107.71/108.04 c #Conflicts: 60000 | #Constraints: 10415
107.71/108.04 c #Conflicts: 61000 | #Constraints: 11417
107.71/108.04 c INPROCESSING
107.71/108.04 c GARBAGE COLLECT
107.71/108.04 c #Conflicts: 62000 | #Constraints: 7376
107.71/108.04 c #Conflicts: 63000 | #Constraints: 8378
107.71/108.04 c #Conflicts: 64000 | #Constraints: 9380
107.71/108.04 c #Conflicts: 65000 | #Constraints: 10384
107.71/108.04 c #Conflicts: 66000 | #Constraints: 11386
107.71/108.04 c INPROCESSING
107.71/108.04 c GARBAGE COLLECT
107.71/108.04 c #Conflicts: 67000 | #Constraints: 7161
107.71/108.04 c #Conflicts: 68000 | #Constraints: 8163
107.71/108.04 c #Conflicts: 69000 | #Constraints: 9167
107.71/108.04 c #Conflicts: 70000 | #Constraints: 10169
107.71/108.04 c #Conflicts: 71000 | #Constraints: 11171
107.71/108.04 c #Conflicts: 72000 | #Constraints: 12175
107.71/108.04 c INPROCESSING
107.71/108.04 c GARBAGE COLLECT
107.71/108.04 c #Conflicts: 73000 | #Constraints: 7759
107.71/108.04 c #Conflicts: 74000 | #Constraints: 8761
107.71/108.04 c #Conflicts: 75000 | #Constraints: 9763
107.71/108.04 c #Conflicts: 76000 | #Constraints: 10767
107.71/108.04 c #Conflicts: 77000 | #Constraints: 11769
107.71/108.04 c #Conflicts: 78000 | #Constraints: 12771
107.71/108.04 c INPROCESSING
107.71/108.04 c GARBAGE COLLECT
107.71/108.04 c #Conflicts: 79000 | #Constraints: 8159
107.71/108.04 c #Conflicts: 80000 | #Constraints: 9161
107.71/108.04 c #Conflicts: 81000 | #Constraints: 10163
107.71/108.04 c #Conflicts: 82000 | #Constraints: 11167
107.71/108.04 c #Conflicts: 83000 | #Constraints: 12169
107.71/108.04 c #Conflicts: 84000 | #Constraints: 13171
107.71/108.04 c INPROCESSING
107.71/108.04 c GARBAGE COLLECT
107.71/108.04 c #Conflicts: 85000 | #Constraints: 8372
107.71/108.04 c #Conflicts: 86000 | #Constraints: 9374
107.71/108.04 c #Conflicts: 87000 | #Constraints: 10376
107.71/108.04 c #Conflicts: 88000 | #Constraints: 11380
107.71/108.04 c #Conflicts: 89000 | #Constraints: 12382
107.71/108.04 c #Conflicts: 90000 | #Constraints: 13384
107.71/108.04 c INPROCESSING
107.71/108.04 c GARBAGE COLLECT
107.71/108.04 c #Conflicts: 91000 | #Constraints: 8395
107.71/108.04 c #Conflicts: 92000 | #Constraints: 9397
107.71/108.04 c #Conflicts: 93000 | #Constraints: 10399
107.71/108.04 c #Conflicts: 94000 | #Constraints: 11403
107.71/108.04 c #Conflicts: 95000 | #Constraints: 12405
107.71/108.04 c #Conflicts: 96000 | #Constraints: 13407
107.71/108.04 c INPROCESSING
107.71/108.04 c GARBAGE COLLECT
107.71/108.04 c #Conflicts: 97000 | #Constraints: 8196
107.71/108.04 c #Conflicts: 98000 | #Constraints: 9198
107.71/108.04 c #Conflicts: 99000 | #Constraints: 10202
107.71/108.04 c #Conflicts: 100000 | #Constraints: 11204
107.71/108.04 c #Conflicts: 101000 | #Constraints: 12206
107.71/108.04 c bounds 15 >= -271 @ 77.7255
107.71/108.04 c bounds 15 >= -271 @ 77.7922
107.71/108.04 c #Conflicts: 102000 | #Constraints: 13214
107.71/108.04 c #Conflicts: 103000 | #Constraints: 14216
107.71/108.04 c INPROCESSING
107.71/108.04 c GARBAGE COLLECT
107.71/108.04 c #Conflicts: 104000 | #Constraints: 8805
107.71/108.04 c #Conflicts: 105000 | #Constraints: 9807
107.71/108.04 c #Conflicts: 106000 | #Constraints: 10809
107.71/108.04 c #Conflicts: 107000 | #Constraints: 11813
107.71/108.04 c #Conflicts: 108000 | #Constraints: 12815
107.71/108.04 c #Conflicts: 109000 | #Constraints: 13817
107.71/108.04 c #Conflicts: 110000 | #Constraints: 14821
107.71/108.04 c INPROCESSING
107.71/108.04 c GARBAGE COLLECT
107.71/108.04 c #Conflicts: 111000 | #Constraints: 9226
107.71/108.04 c #Conflicts: 112000 | #Constraints: 10228
107.71/108.04 c #Conflicts: 113000 | #Constraints: 11230
107.71/108.04 c #Conflicts: 114000 | #Constraints: 12234
107.71/108.04 c #Conflicts: 115000 | #Constraints: 13236
107.71/108.04 c #Conflicts: 116000 | #Constraints: 14238
107.71/108.04 c #Conflicts: 117000 | #Constraints: 15242
107.71/108.04 c INPROCESSING
107.71/108.04 c GARBAGE COLLECT
107.71/108.04 c #Conflicts: 118000 | #Constraints: 9457
107.71/108.04 c #Conflicts: 119000 | #Constraints: 10459
107.71/108.04 c #Conflicts: 120000 | #Constraints: 11461
107.71/108.04 c #Conflicts: 121000 | #Constraints: 12465
107.71/108.04 c #Conflicts: 122000 | #Constraints: 13467
107.71/108.04 c #Conflicts: 123000 | #Constraints: 14469
107.71/108.04 c #Conflicts: 124000 | #Constraints: 15473
107.71/108.04 c INPROCESSING
107.71/108.04 c GARBAGE COLLECT
107.71/108.04 c #Conflicts: 125000 | #Constraints: 9483
198.08/198.65 c #Conflicts: 126000 | #Constraints: 10485
198.08/198.65 c #Conflicts: 127000 | #Constraints: 11487
198.08/198.65 c #Conflicts: 128000 | #Constraints: 12491
198.08/198.65 c #Conflicts: 129000 | #Constraints: 13493
198.08/198.65 c #Conflicts: 130000 | #Constraints: 14495
198.08/198.65 c #Conflicts: 131000 | #Constraints: 15499
198.08/198.65 c INPROCESSING
198.08/198.65 c GARBAGE COLLECT
198.08/198.65 c #Conflicts: 132000 | #Constraints: 9292
198.08/198.65 c #Conflicts: 133000 | #Constraints: 10294
198.08/198.65 c #Conflicts: 134000 | #Constraints: 11298
198.08/198.65 c #Conflicts: 135000 | #Constraints: 12300
198.08/198.65 c #Conflicts: 136000 | #Constraints: 13302
198.08/198.65 c #Conflicts: 137000 | #Constraints: 14306
198.08/198.65 c #Conflicts: 138000 | #Constraints: 15308
198.08/198.65 c #Conflicts: 139000 | #Constraints: 16310
198.08/198.65 c INPROCESSING
198.08/198.65 c GARBAGE COLLECT
198.08/198.65 c #Conflicts: 140000 | #Constraints: 9908
198.08/198.65 c #Conflicts: 141000 | #Constraints: 10910
198.08/198.65 c #Conflicts: 142000 | #Constraints: 11912
198.08/198.65 c bounds 15 >= -204 @ 124.748
198.08/198.65 c bounds 15 >= -199 @ 124.754
198.08/198.65 c bounds 15 >= -198 @ 124.757
198.08/198.65 c bounds 15 >= -197 @ 124.76
198.08/198.65 c bounds 15 >= -196 @ 124.761
198.08/198.65 c bounds 15 >= -195 @ 124.762
198.08/198.65 c bounds 15 >= -194 @ 124.763
198.08/198.65 c bounds 15 >= -193 @ 124.769
198.08/198.65 c bounds 15 >= -192 @ 124.796
198.08/198.65 c bounds 15 >= -191 @ 124.822
198.08/198.65 c bounds 15 >= -190 @ 124.85
198.08/198.65 c bounds 15 >= -189 @ 124.924
198.08/198.65 c bounds 15 >= -188 @ 125.097
198.08/198.65 c bounds 15 >= -187 @ 125.163
198.08/198.65 c bounds 15 >= -186 @ 125.355
198.08/198.65 c bounds 15 >= -185 @ 125.447
198.08/198.65 c bounds 15 >= -184 @ 125.489
198.08/198.65 c bounds 15 >= -183 @ 125.89
198.08/198.65 c bounds 15 >= -182 @ 125.934
198.08/198.65 c bounds 15 >= -181 @ 125.947
198.08/198.65 c bounds 15 >= -180 @ 125.969
198.08/198.65 c bounds 15 >= -179 @ 125.979
198.08/198.65 c bounds 15 >= -178 @ 125.987
198.08/198.65 c bounds 15 >= -177 @ 126.007
198.08/198.65 c #Conflicts: 143000 | #Constraints: 13385
198.08/198.65 c bounds 15 >= -176 @ 126.307
198.08/198.65 c bounds 15 >= -175 @ 126.339
198.08/198.65 c bounds 15 >= -174 @ 126.418
198.08/198.65 c #Conflicts: 144000 | #Constraints: 14466
198.08/198.65 c #Conflicts: 145000 | #Constraints: 15466
198.08/198.65 c #Conflicts: 146000 | #Constraints: 16466
198.08/198.65 c #Conflicts: 147000 | #Constraints: 17466
198.08/198.65 c INPROCESSING
198.08/198.65 c GARBAGE COLLECT
198.08/198.65 c #Conflicts: 148000 | #Constraints: 10745
198.08/198.65 c #Conflicts: 149000 | #Constraints: 11745
198.08/198.65 c #Conflicts: 150000 | #Constraints: 12745
198.08/198.65 c bounds 15 >= -173 @ 134.737
198.08/198.65 c #Conflicts: 151000 | #Constraints: 13839
198.08/198.65 c bounds 15 >= -172 @ 135.517
198.08/198.65 c #Conflicts: 152000 | #Constraints: 14873
198.08/198.65 c #Conflicts: 153000 | #Constraints: 15873
198.08/198.65 c #Conflicts: 154000 | #Constraints: 16873
198.08/198.65 c #Conflicts: 155000 | #Constraints: 17873
198.08/198.65 c INPROCESSING
198.08/198.65 c GARBAGE COLLECT
198.08/198.65 c #Conflicts: 156000 | #Constraints: 11000
198.08/198.65 c #Conflicts: 157000 | #Constraints: 12000
198.08/198.65 c #Conflicts: 158000 | #Constraints: 13000
198.08/198.65 c #Conflicts: 159000 | #Constraints: 14000
198.08/198.65 c #Conflicts: 160000 | #Constraints: 15000
198.08/198.65 c #Conflicts: 161000 | #Constraints: 16000
198.08/198.65 c #Conflicts: 162000 | #Constraints: 17000
198.08/198.65 c #Conflicts: 163000 | #Constraints: 18000
198.08/198.65 c INPROCESSING
198.08/198.65 c GARBAGE COLLECT
198.08/198.65 c #Conflicts: 164000 | #Constraints: 10967
198.08/198.65 c #Conflicts: 165000 | #Constraints: 11967
198.08/198.65 c #Conflicts: 166000 | #Constraints: 12967
198.08/198.65 c #Conflicts: 167000 | #Constraints: 13967
198.08/198.65 c #Conflicts: 168000 | #Constraints: 14967
198.08/198.65 c #Conflicts: 169000 | #Constraints: 15967
198.08/198.65 c #Conflicts: 170000 | #Constraints: 16967
198.08/198.65 c #Conflicts: 171000 | #Constraints: 17967
198.08/198.65 c INPROCESSING
198.08/198.65 c GARBAGE COLLECT
198.08/198.65 c #Conflicts: 172000 | #Constraints: 10744
198.08/198.65 c #Conflicts: 173000 | #Constraints: 11744
198.08/198.65 c #Conflicts: 174000 | #Constraints: 12744
198.08/198.65 c #Conflicts: 175000 | #Constraints: 13744
198.08/198.65 c #Conflicts: 176000 | #Constraints: 14744
198.08/198.65 c #Conflicts: 177000 | #Constraints: 15744
198.08/198.65 c #Conflicts: 178000 | #Constraints: 16744
198.08/198.65 c #Conflicts: 179000 | #Constraints: 17744
198.08/198.65 c #Conflicts: 180000 | #Constraints: 18744
198.08/198.65 c INPROCESSING
198.08/198.65 c GARBAGE COLLECT
198.08/198.65 c #Conflicts: 181000 | #Constraints: 11336
198.08/198.65 c #Conflicts: 182000 | #Constraints: 12336
198.08/198.65 c #Conflicts: 183000 | #Constraints: 13336
407.08/408.10 c #Conflicts: 184000 | #Constraints: 14336
407.08/408.10 c #Conflicts: 185000 | #Constraints: 15336
407.08/408.10 c #Conflicts: 186000 | #Constraints: 16336
407.08/408.10 c #Conflicts: 187000 | #Constraints: 17336
407.08/408.10 c #Conflicts: 188000 | #Constraints: 18336
407.08/408.10 c #Conflicts: 189000 | #Constraints: 19336
407.08/408.10 c INPROCESSING
407.08/408.10 c GARBAGE COLLECT
407.08/408.10 c #Conflicts: 190000 | #Constraints: 11734
407.08/408.10 c #Conflicts: 191000 | #Constraints: 12734
407.08/408.10 c #Conflicts: 192000 | #Constraints: 13734
407.08/408.10 c #Conflicts: 193000 | #Constraints: 14734
407.08/408.10 c #Conflicts: 194000 | #Constraints: 15734
407.08/408.10 c #Conflicts: 195000 | #Constraints: 16734
407.08/408.10 c #Conflicts: 196000 | #Constraints: 17734
407.08/408.10 c #Conflicts: 197000 | #Constraints: 18734
407.08/408.10 c #Conflicts: 198000 | #Constraints: 19734
407.08/408.10 c INPROCESSING
407.08/408.10 c GARBAGE COLLECT
407.08/408.10 c #Conflicts: 199000 | #Constraints: 11947
407.08/408.10 c #Conflicts: 200000 | #Constraints: 12947
407.08/408.10 c #Conflicts: 201000 | #Constraints: 13947
407.08/408.10 c #Conflicts: 202000 | #Constraints: 14947
407.08/408.10 c #Conflicts: 203000 | #Constraints: 15947
407.08/408.10 c #Conflicts: 204000 | #Constraints: 16947
407.08/408.10 c #Conflicts: 205000 | #Constraints: 17947
407.08/408.10 c #Conflicts: 206000 | #Constraints: 18947
407.08/408.10 c #Conflicts: 207000 | #Constraints: 19947
407.08/408.10 c INPROCESSING
407.08/408.10 c GARBAGE COLLECT
407.08/408.10 c #Conflicts: 208000 | #Constraints: 11948
407.08/408.10 c #Conflicts: 209000 | #Constraints: 12948
407.08/408.10 c #Conflicts: 210000 | #Constraints: 13948
407.08/408.10 c #Conflicts: 211000 | #Constraints: 14948
407.08/408.10 c #Conflicts: 212000 | #Constraints: 15948
407.08/408.10 c #Conflicts: 213000 | #Constraints: 16948
407.08/408.10 c #Conflicts: 214000 | #Constraints: 17948
407.08/408.10 c #Conflicts: 215000 | #Constraints: 18948
407.08/408.10 c #Conflicts: 216000 | #Constraints: 19948
407.08/408.10 c INPROCESSING
407.08/408.10 c GARBAGE COLLECT
407.08/408.10 c #Conflicts: 217000 | #Constraints: 11745
407.08/408.10 c #Conflicts: 218000 | #Constraints: 12745
407.08/408.10 c #Conflicts: 219000 | #Constraints: 13745
407.08/408.10 c #Conflicts: 220000 | #Constraints: 14745
407.08/408.10 c #Conflicts: 221000 | #Constraints: 15745
407.08/408.10 c #Conflicts: 222000 | #Constraints: 16745
407.08/408.10 c #Conflicts: 223000 | #Constraints: 17745
407.08/408.10 c #Conflicts: 224000 | #Constraints: 18745
407.08/408.10 c #Conflicts: 225000 | #Constraints: 19745
407.08/408.10 c #Conflicts: 226000 | #Constraints: 20745
407.08/408.10 c INPROCESSING
407.08/408.10 c GARBAGE COLLECT
407.08/408.10 c #Conflicts: 227000 | #Constraints: 12343
407.08/408.10 c #Conflicts: 228000 | #Constraints: 13343
407.08/408.10 c #Conflicts: 229000 | #Constraints: 14343
407.08/408.10 c #Conflicts: 230000 | #Constraints: 15343
407.08/408.10 c #Conflicts: 231000 | #Constraints: 16343
407.08/408.10 c #Conflicts: 232000 | #Constraints: 17343
407.08/408.10 c #Conflicts: 233000 | #Constraints: 18343
407.08/408.10 c #Conflicts: 234000 | #Constraints: 19343
407.08/408.10 c #Conflicts: 235000 | #Constraints: 20343
407.08/408.10 c #Conflicts: 236000 | #Constraints: 21343
407.08/408.10 c INPROCESSING
407.08/408.10 c GARBAGE COLLECT
407.08/408.10 c #Conflicts: 237000 | #Constraints: 12746
407.08/408.10 c #Conflicts: 238000 | #Constraints: 13746
407.08/408.10 c #Conflicts: 239000 | #Constraints: 14746
407.08/408.10 c #Conflicts: 240000 | #Constraints: 15746
407.08/408.10 c #Conflicts: 241000 | #Constraints: 16746
407.08/408.10 c #Conflicts: 242000 | #Constraints: 17746
407.08/408.10 c #Conflicts: 243000 | #Constraints: 18746
407.08/408.10 c #Conflicts: 244000 | #Constraints: 19746
407.08/408.10 c #Conflicts: 245000 | #Constraints: 20746
407.08/408.10 c #Conflicts: 246000 | #Constraints: 21746
407.08/408.10 c INPROCESSING
407.08/408.10 c GARBAGE COLLECT
407.08/408.10 c #Conflicts: 247000 | #Constraints: 12951
407.08/408.10 c #Conflicts: 248000 | #Constraints: 13951
407.08/408.10 c #Conflicts: 249000 | #Constraints: 14951
407.08/408.10 c #Conflicts: 250000 | #Constraints: 15951
407.08/408.10 c #Conflicts: 251000 | #Constraints: 16951
407.08/408.10 c #Conflicts: 252000 | #Constraints: 17951
407.08/408.10 c #Conflicts: 253000 | #Constraints: 18951
407.08/408.10 c #Conflicts: 254000 | #Constraints: 19951
407.08/408.10 c #Conflicts: 255000 | #Constraints: 20951
407.08/408.10 c #Conflicts: 256000 | #Constraints: 21951
407.08/408.10 c INPROCESSING
407.08/408.10 c GARBAGE COLLECT
407.08/408.10 c #Conflicts: 257000 | #Constraints: 12948
626.23/627.86 c #Conflicts: 258000 | #Constraints: 13948
626.23/627.86 c #Conflicts: 259000 | #Constraints: 14948
626.23/627.86 c #Conflicts: 260000 | #Constraints: 15948
626.23/627.86 c #Conflicts: 261000 | #Constraints: 16948
626.23/627.86 c #Conflicts: 262000 | #Constraints: 17948
626.23/627.86 c #Conflicts: 263000 | #Constraints: 18948
626.23/627.86 c #Conflicts: 264000 | #Constraints: 19948
626.23/627.86 c #Conflicts: 265000 | #Constraints: 20948
626.23/627.86 c #Conflicts: 266000 | #Constraints: 21948
626.23/627.86 c INPROCESSING
626.23/627.86 c GARBAGE COLLECT
626.23/627.86 c #Conflicts: 267000 | #Constraints: 12744
626.23/627.86 c #Conflicts: 268000 | #Constraints: 13744
626.23/627.86 c #Conflicts: 269000 | #Constraints: 14744
626.23/627.86 c #Conflicts: 270000 | #Constraints: 15744
626.23/627.86 c #Conflicts: 271000 | #Constraints: 16744
626.23/627.86 c #Conflicts: 272000 | #Constraints: 17744
626.23/627.86 c #Conflicts: 273000 | #Constraints: 18744
626.23/627.86 c #Conflicts: 274000 | #Constraints: 19744
626.23/627.86 c #Conflicts: 275000 | #Constraints: 20744
626.23/627.86 c #Conflicts: 276000 | #Constraints: 21744
626.23/627.86 c #Conflicts: 277000 | #Constraints: 22744
626.23/627.86 c INPROCESSING
626.23/627.86 c GARBAGE COLLECT
626.23/627.86 c #Conflicts: 278000 | #Constraints: 13345
626.23/627.86 c #Conflicts: 279000 | #Constraints: 14345
626.23/627.86 c #Conflicts: 280000 | #Constraints: 15345
626.23/627.86 c #Conflicts: 281000 | #Constraints: 16345
626.23/627.86 c #Conflicts: 282000 | #Constraints: 17345
626.23/627.86 c #Conflicts: 283000 | #Constraints: 18345
626.23/627.86 c #Conflicts: 284000 | #Constraints: 19345
626.23/627.86 c #Conflicts: 285000 | #Constraints: 20345
626.23/627.86 c #Conflicts: 286000 | #Constraints: 21345
626.23/627.86 c #Conflicts: 287000 | #Constraints: 22345
626.23/627.86 c #Conflicts: 288000 | #Constraints: 23345
626.23/627.86 c INPROCESSING
626.23/627.86 c GARBAGE COLLECT
626.23/627.86 c #Conflicts: 289000 | #Constraints: 13748
626.23/627.86 c #Conflicts: 290000 | #Constraints: 14748
626.23/627.86 c #Conflicts: 291000 | #Constraints: 15748
626.23/627.86 c #Conflicts: 292000 | #Constraints: 16748
626.23/627.86 c #Conflicts: 293000 | #Constraints: 17748
626.23/627.86 c #Conflicts: 294000 | #Constraints: 18748
626.23/627.86 c #Conflicts: 295000 | #Constraints: 19748
626.23/627.86 c #Conflicts: 296000 | #Constraints: 20748
626.23/627.86 c #Conflicts: 297000 | #Constraints: 21748
626.23/627.86 c #Conflicts: 298000 | #Constraints: 22748
626.23/627.86 c #Conflicts: 299000 | #Constraints: 23748
626.23/627.86 c INPROCESSING
626.23/627.86 c GARBAGE COLLECT
626.23/627.86 c #Conflicts: 300000 | #Constraints: 13954
626.23/627.86 c #Conflicts: 301000 | #Constraints: 14954
626.23/627.86 c #Conflicts: 302000 | #Constraints: 15954
626.23/627.86 c #Conflicts: 303000 | #Constraints: 16954
626.23/627.86 c #Conflicts: 304000 | #Constraints: 17954
626.23/627.86 c #Conflicts: 305000 | #Constraints: 18954
626.23/627.86 c #Conflicts: 306000 | #Constraints: 19954
626.23/627.86 c #Conflicts: 307000 | #Constraints: 20954
626.23/627.86 c #Conflicts: 308000 | #Constraints: 21954
626.23/627.86 c #Conflicts: 309000 | #Constraints: 22954
626.23/627.86 c #Conflicts: 310000 | #Constraints: 23954
626.23/627.86 c INPROCESSING
626.23/627.86 c GARBAGE COLLECT
626.23/627.86 c #Conflicts: 311000 | #Constraints: 13950
626.23/627.86 c #Conflicts: 312000 | #Constraints: 14950
626.23/627.86 c #Conflicts: 313000 | #Constraints: 15950
626.23/627.86 c #Conflicts: 314000 | #Constraints: 16950
626.23/627.86 c #Conflicts: 315000 | #Constraints: 17950
626.23/627.86 c #Conflicts: 316000 | #Constraints: 18950
626.23/627.86 c #Conflicts: 317000 | #Constraints: 19950
626.23/627.86 c #Conflicts: 318000 | #Constraints: 20950
626.23/627.86 c #Conflicts: 319000 | #Constraints: 21950
626.23/627.86 c #Conflicts: 320000 | #Constraints: 22950
626.23/627.86 c #Conflicts: 321000 | #Constraints: 23950
626.23/627.86 c INPROCESSING
626.23/627.86 c GARBAGE COLLECT
626.23/627.86 c #Conflicts: 322000 | #Constraints: 13763
626.23/627.86 c #Conflicts: 323000 | #Constraints: 14763
626.23/627.86 c #Conflicts: 324000 | #Constraints: 15763
626.23/627.86 c #Conflicts: 325000 | #Constraints: 16763
626.23/627.86 c #Conflicts: 326000 | #Constraints: 17763
626.23/627.86 c #Conflicts: 327000 | #Constraints: 18763
626.23/627.86 c #Conflicts: 328000 | #Constraints: 19763
626.23/627.86 c #Conflicts: 329000 | #Constraints: 20763
626.23/627.86 c #Conflicts: 330000 | #Constraints: 21763
626.23/627.86 c #Conflicts: 331000 | #Constraints: 22763
626.23/627.86 c #Conflicts: 332000 | #Constraints: 23763
865.43/867.67 c #Conflicts: 333000 | #Constraints: 24763
865.43/867.67 c INPROCESSING
865.43/867.67 c GARBAGE COLLECT
865.43/867.67 c #Conflicts: 334000 | #Constraints: 14355
865.43/867.67 c #Conflicts: 335000 | #Constraints: 15355
865.43/867.67 c #Conflicts: 336000 | #Constraints: 16355
865.43/867.67 c #Conflicts: 337000 | #Constraints: 17355
865.43/867.67 c #Conflicts: 338000 | #Constraints: 18355
865.43/867.67 c #Conflicts: 339000 | #Constraints: 19355
865.43/867.67 c #Conflicts: 340000 | #Constraints: 20355
865.43/867.67 c #Conflicts: 341000 | #Constraints: 21355
865.43/867.67 c #Conflicts: 342000 | #Constraints: 22355
865.43/867.67 c #Conflicts: 343000 | #Constraints: 23355
865.43/867.67 c #Conflicts: 344000 | #Constraints: 24355
865.43/867.67 c #Conflicts: 345000 | #Constraints: 25355
865.43/867.67 c INPROCESSING
865.43/867.67 c GARBAGE COLLECT
865.43/867.67 c #Conflicts: 346000 | #Constraints: 14746
865.43/867.67 c #Conflicts: 347000 | #Constraints: 15746
865.43/867.67 c #Conflicts: 348000 | #Constraints: 16746
865.43/867.67 c #Conflicts: 349000 | #Constraints: 17746
865.43/867.67 c #Conflicts: 350000 | #Constraints: 18746
865.43/867.67 c #Conflicts: 351000 | #Constraints: 19746
865.43/867.67 c #Conflicts: 352000 | #Constraints: 20746
865.43/867.67 c #Conflicts: 353000 | #Constraints: 21746
865.43/867.67 c #Conflicts: 354000 | #Constraints: 22746
865.43/867.67 c #Conflicts: 355000 | #Constraints: 23746
865.43/867.67 c #Conflicts: 356000 | #Constraints: 24746
865.43/867.67 c #Conflicts: 357000 | #Constraints: 25746
865.43/867.67 c INPROCESSING
865.43/867.67 c GARBAGE COLLECT
865.43/867.67 c #Conflicts: 358000 | #Constraints: 14946
865.43/867.67 c #Conflicts: 359000 | #Constraints: 15946
865.43/867.67 c #Conflicts: 360000 | #Constraints: 16946
865.43/867.67 c #Conflicts: 361000 | #Constraints: 17946
865.43/867.67 c #Conflicts: 362000 | #Constraints: 18946
865.43/867.67 c #Conflicts: 363000 | #Constraints: 19946
865.43/867.67 c #Conflicts: 364000 | #Constraints: 20946
865.43/867.67 c #Conflicts: 365000 | #Constraints: 21946
865.43/867.67 c #Conflicts: 366000 | #Constraints: 22946
865.43/867.67 c #Conflicts: 367000 | #Constraints: 23946
865.43/867.67 c #Conflicts: 368000 | #Constraints: 24946
865.43/867.67 c #Conflicts: 369000 | #Constraints: 25946
865.43/867.67 c INPROCESSING
865.43/867.67 c GARBAGE COLLECT
865.43/867.67 c #Conflicts: 370000 | #Constraints: 14949
865.43/867.67 c #Conflicts: 371000 | #Constraints: 15949
865.43/867.67 c #Conflicts: 372000 | #Constraints: 16949
865.43/867.67 c #Conflicts: 373000 | #Constraints: 17949
865.43/867.67 c #Conflicts: 374000 | #Constraints: 18949
865.43/867.67 c #Conflicts: 375000 | #Constraints: 19949
865.43/867.67 c #Conflicts: 376000 | #Constraints: 20949
865.43/867.67 c #Conflicts: 377000 | #Constraints: 21949
865.43/867.67 c #Conflicts: 378000 | #Constraints: 22949
865.43/867.67 c #Conflicts: 379000 | #Constraints: 23949
865.43/867.67 c #Conflicts: 380000 | #Constraints: 24949
865.43/867.67 c #Conflicts: 381000 | #Constraints: 25949
865.43/867.67 c INPROCESSING
865.43/867.67 c GARBAGE COLLECT
865.43/867.67 c #Conflicts: 382000 | #Constraints: 14752
865.43/867.67 c #Conflicts: 383000 | #Constraints: 15752
865.43/867.67 c #Conflicts: 384000 | #Constraints: 16752
865.43/867.67 c #Conflicts: 385000 | #Constraints: 17752
865.43/867.67 c #Conflicts: 386000 | #Constraints: 18752
865.43/867.67 c #Conflicts: 387000 | #Constraints: 19752
865.43/867.67 c #Conflicts: 388000 | #Constraints: 20752
865.43/867.67 c #Conflicts: 389000 | #Constraints: 21752
865.43/867.67 c #Conflicts: 390000 | #Constraints: 22752
865.43/867.67 c #Conflicts: 391000 | #Constraints: 23752
865.43/867.67 c #Conflicts: 392000 | #Constraints: 24752
865.43/867.67 c #Conflicts: 393000 | #Constraints: 25752
865.43/867.67 c #Conflicts: 394000 | #Constraints: 26752
865.43/867.67 c INPROCESSING
865.43/867.67 c GARBAGE COLLECT
865.43/867.67 c #Conflicts: 395000 | #Constraints: 15361
865.43/867.67 c #Conflicts: 396000 | #Constraints: 16361
865.43/867.67 c #Conflicts: 397000 | #Constraints: 17361
865.43/867.67 c #Conflicts: 398000 | #Constraints: 18361
865.43/867.67 c #Conflicts: 399000 | #Constraints: 19361
865.43/867.67 c #Conflicts: 400000 | #Constraints: 20361
865.43/867.67 c #Conflicts: 401000 | #Constraints: 21361
865.43/867.67 c #Conflicts: 402000 | #Constraints: 22361
865.43/867.67 c #Conflicts: 403000 | #Constraints: 23361
865.43/867.67 c #Conflicts: 404000 | #Constraints: 24361
865.43/867.67 c #Conflicts: 405000 | #Constraints: 25361
865.43/867.67 c #Conflicts: 406000 | #Constraints: 26361
865.43/867.67 c #Conflicts: 407000 | #Constraints: 27361
1107.93/1110.78 c INPROCESSING
1107.93/1110.78 c GARBAGE COLLECT
1107.93/1110.78 c #Conflicts: 408000 | #Constraints: 15769
1107.93/1110.78 c #Conflicts: 409000 | #Constraints: 16769
1107.93/1110.78 c #Conflicts: 410000 | #Constraints: 17769
1107.93/1110.78 c #Conflicts: 411000 | #Constraints: 18769
1107.93/1110.78 c #Conflicts: 412000 | #Constraints: 19769
1107.93/1110.78 c #Conflicts: 413000 | #Constraints: 20769
1107.93/1110.78 c #Conflicts: 414000 | #Constraints: 21769
1107.93/1110.78 c #Conflicts: 415000 | #Constraints: 22769
1107.93/1110.78 c #Conflicts: 416000 | #Constraints: 23769
1107.93/1110.78 c #Conflicts: 417000 | #Constraints: 24769
1107.93/1110.78 c #Conflicts: 418000 | #Constraints: 25769
1107.93/1110.78 c #Conflicts: 419000 | #Constraints: 26769
1107.93/1110.78 c #Conflicts: 420000 | #Constraints: 27769
1107.93/1110.78 c INPROCESSING
1107.93/1110.78 c GARBAGE COLLECT
1107.93/1110.78 c #Conflicts: 421000 | #Constraints: 15966
1107.93/1110.78 c #Conflicts: 422000 | #Constraints: 16966
1107.93/1110.78 c #Conflicts: 423000 | #Constraints: 17966
1107.93/1110.78 c #Conflicts: 424000 | #Constraints: 18966
1107.93/1110.78 c #Conflicts: 425000 | #Constraints: 19966
1107.93/1110.78 c #Conflicts: 426000 | #Constraints: 20966
1107.93/1110.78 c #Conflicts: 427000 | #Constraints: 21966
1107.93/1110.78 c #Conflicts: 428000 | #Constraints: 22966
1107.93/1110.78 c #Conflicts: 429000 | #Constraints: 23966
1107.93/1110.78 c #Conflicts: 430000 | #Constraints: 24966
1107.93/1110.78 c #Conflicts: 431000 | #Constraints: 25966
1107.93/1110.78 c #Conflicts: 432000 | #Constraints: 26966
1107.93/1110.78 c #Conflicts: 433000 | #Constraints: 27966
1107.93/1110.78 c INPROCESSING
1107.93/1110.78 c GARBAGE COLLECT
1107.93/1110.78 c #Conflicts: 434000 | #Constraints: 15961
1107.93/1110.78 c #Conflicts: 435000 | #Constraints: 16961
1107.93/1110.78 c #Conflicts: 436000 | #Constraints: 17961
1107.93/1110.78 c #Conflicts: 437000 | #Constraints: 18961
1107.93/1110.78 c #Conflicts: 438000 | #Constraints: 19961
1107.93/1110.78 c #Conflicts: 439000 | #Constraints: 20961
1107.93/1110.78 c #Conflicts: 440000 | #Constraints: 21961
1107.93/1110.78 c #Conflicts: 441000 | #Constraints: 22961
1107.93/1110.78 c #Conflicts: 442000 | #Constraints: 23961
1107.93/1110.78 c #Conflicts: 443000 | #Constraints: 24961
1107.93/1110.78 c #Conflicts: 444000 | #Constraints: 25961
1107.93/1110.78 c #Conflicts: 445000 | #Constraints: 26961
1107.93/1110.78 c #Conflicts: 446000 | #Constraints: 27961
1107.93/1110.78 c INPROCESSING
1107.93/1110.78 c GARBAGE COLLECT
1107.93/1110.78 c #Conflicts: 447000 | #Constraints: 15758
1107.93/1110.78 c #Conflicts: 448000 | #Constraints: 16758
1107.93/1110.78 c #Conflicts: 449000 | #Constraints: 17758
1107.93/1110.78 c #Conflicts: 450000 | #Constraints: 18758
1107.93/1110.78 c #Conflicts: 451000 | #Constraints: 19758
1107.93/1110.78 c #Conflicts: 452000 | #Constraints: 20758
1107.93/1110.78 c #Conflicts: 453000 | #Constraints: 21758
1107.93/1110.78 c #Conflicts: 454000 | #Constraints: 22758
1107.93/1110.78 c #Conflicts: 455000 | #Constraints: 23758
1107.93/1110.78 c #Conflicts: 456000 | #Constraints: 24758
1107.93/1110.78 c #Conflicts: 457000 | #Constraints: 25758
1107.93/1110.78 c #Conflicts: 458000 | #Constraints: 26758
1107.93/1110.78 c #Conflicts: 459000 | #Constraints: 27758
1107.93/1110.78 c #Conflicts: 460000 | #Constraints: 28758
1107.93/1110.78 c INPROCESSING
1107.93/1110.78 c GARBAGE COLLECT
1107.93/1110.78 c #Conflicts: 461000 | #Constraints: 16362
1107.93/1110.78 c #Conflicts: 462000 | #Constraints: 17362
1107.93/1110.78 c #Conflicts: 463000 | #Constraints: 18362
1107.93/1110.78 c #Conflicts: 464000 | #Constraints: 19362
1107.93/1110.78 c #Conflicts: 465000 | #Constraints: 20362
1107.93/1110.78 c #Conflicts: 466000 | #Constraints: 21362
1107.93/1110.78 c #Conflicts: 467000 | #Constraints: 22362
1107.93/1110.78 c #Conflicts: 468000 | #Constraints: 23362
1107.93/1110.78 c #Conflicts: 469000 | #Constraints: 24362
1107.93/1110.78 c #Conflicts: 470000 | #Constraints: 25362
1107.93/1110.78 c #Conflicts: 471000 | #Constraints: 26362
1107.93/1110.78 c #Conflicts: 472000 | #Constraints: 27362
1107.93/1110.78 c #Conflicts: 473000 | #Constraints: 28362
1107.93/1110.78 c #Conflicts: 474000 | #Constraints: 29362
1107.93/1110.78 c INPROCESSING
1107.93/1110.78 c GARBAGE COLLECT
1107.93/1110.78 c #Conflicts: 475000 | #Constraints: 16766
1107.93/1110.78 c #Conflicts: 476000 | #Constraints: 17766
1107.93/1110.78 c #Conflicts: 477000 | #Constraints: 18766
1107.93/1110.78 c #Conflicts: 478000 | #Constraints: 19766
1107.93/1110.78 c #Conflicts: 479000 | #Constraints: 20766
1107.93/1110.78 c #Conflicts: 480000 | #Constraints: 21766
1107.93/1110.78 c #Conflicts: 481000 | #Constraints: 22766
1107.93/1110.78 c #Conflicts: 482000 | #Constraints: 23766
1383.23/1386.71 c #Conflicts: 483000 | #Constraints: 24766
1383.23/1386.71 c #Conflicts: 484000 | #Constraints: 25766
1383.23/1386.71 c #Conflicts: 485000 | #Constraints: 26766
1383.23/1386.71 c #Conflicts: 486000 | #Constraints: 27766
1383.23/1386.71 c #Conflicts: 487000 | #Constraints: 28766
1383.23/1386.71 c #Conflicts: 488000 | #Constraints: 29766
1383.23/1386.71 c INPROCESSING
1383.23/1386.71 c GARBAGE COLLECT
1383.23/1386.71 c #Conflicts: 489000 | #Constraints: 16965
1383.23/1386.71 c #Conflicts: 490000 | #Constraints: 17965
1383.23/1386.71 c #Conflicts: 491000 | #Constraints: 18965
1383.23/1386.71 c #Conflicts: 492000 | #Constraints: 19965
1383.23/1386.71 c #Conflicts: 493000 | #Constraints: 20965
1383.23/1386.71 c #Conflicts: 494000 | #Constraints: 21965
1383.23/1386.71 c #Conflicts: 495000 | #Constraints: 22965
1383.23/1386.71 c #Conflicts: 496000 | #Constraints: 23965
1383.23/1386.71 c #Conflicts: 497000 | #Constraints: 24965
1383.23/1386.71 c #Conflicts: 498000 | #Constraints: 25965
1383.23/1386.71 c #Conflicts: 499000 | #Constraints: 26965
1383.23/1386.71 c #Conflicts: 500000 | #Constraints: 27965
1383.23/1386.71 c #Conflicts: 501000 | #Constraints: 28965
1383.23/1386.71 c #Conflicts: 502000 | #Constraints: 29965
1383.23/1386.71 c INPROCESSING
1383.23/1386.71 c GARBAGE COLLECT
1383.23/1386.71 c #Conflicts: 503000 | #Constraints: 16966
1383.23/1386.71 c #Conflicts: 504000 | #Constraints: 17966
1383.23/1386.71 c #Conflicts: 505000 | #Constraints: 18966
1383.23/1386.71 c #Conflicts: 506000 | #Constraints: 19966
1383.23/1386.71 c #Conflicts: 507000 | #Constraints: 20966
1383.23/1386.71 c #Conflicts: 508000 | #Constraints: 21966
1383.23/1386.71 c #Conflicts: 509000 | #Constraints: 22966
1383.23/1386.71 c #Conflicts: 510000 | #Constraints: 23966
1383.23/1386.71 c #Conflicts: 511000 | #Constraints: 24966
1383.23/1386.71 c #Conflicts: 512000 | #Constraints: 25966
1383.23/1386.71 c #Conflicts: 513000 | #Constraints: 26966
1383.23/1386.71 c #Conflicts: 514000 | #Constraints: 27966
1383.23/1386.71 c #Conflicts: 515000 | #Constraints: 28966
1383.23/1386.71 c #Conflicts: 516000 | #Constraints: 29966
1383.23/1386.71 c INPROCESSING
1383.23/1386.71 c GARBAGE COLLECT
1383.23/1386.71 c #Conflicts: 517000 | #Constraints: 16770
1383.23/1386.71 c #Conflicts: 518000 | #Constraints: 17770
1383.23/1386.71 c #Conflicts: 519000 | #Constraints: 18770
1383.23/1386.71 c #Conflicts: 520000 | #Constraints: 19770
1383.23/1386.71 c #Conflicts: 521000 | #Constraints: 20770
1383.23/1386.71 c #Conflicts: 522000 | #Constraints: 21770
1383.23/1386.71 c #Conflicts: 523000 | #Constraints: 22770
1383.23/1386.71 c #Conflicts: 524000 | #Constraints: 23770
1383.23/1386.71 c #Conflicts: 525000 | #Constraints: 24770
1383.23/1386.71 c #Conflicts: 526000 | #Constraints: 25770
1383.23/1386.71 c #Conflicts: 527000 | #Constraints: 26770
1383.23/1386.71 c #Conflicts: 528000 | #Constraints: 27770
1383.23/1386.71 c #Conflicts: 529000 | #Constraints: 28770
1383.23/1386.71 c #Conflicts: 530000 | #Constraints: 29770
1383.23/1386.71 c #Conflicts: 531000 | #Constraints: 30770
1383.23/1386.71 c INPROCESSING
1383.23/1386.71 c GARBAGE COLLECT
1383.23/1386.71 c #Conflicts: 532000 | #Constraints: 17363
1383.23/1386.71 c #Conflicts: 533000 | #Constraints: 18363
1383.23/1386.71 c #Conflicts: 534000 | #Constraints: 19363
1383.23/1386.71 c #Conflicts: 535000 | #Constraints: 20363
1383.23/1386.71 c #Conflicts: 536000 | #Constraints: 21363
1383.23/1386.71 c #Conflicts: 537000 | #Constraints: 22363
1383.23/1386.71 c #Conflicts: 538000 | #Constraints: 23363
1383.23/1386.71 c #Conflicts: 539000 | #Constraints: 24363
1383.23/1386.71 c #Conflicts: 540000 | #Constraints: 25363
1383.23/1386.71 c #Conflicts: 541000 | #Constraints: 26363
1383.23/1386.71 c #Conflicts: 542000 | #Constraints: 27363
1383.23/1386.71 c #Conflicts: 543000 | #Constraints: 28363
1383.23/1386.71 c #Conflicts: 544000 | #Constraints: 29363
1383.23/1386.71 c #Conflicts: 545000 | #Constraints: 30363
1383.23/1386.71 c #Conflicts: 546000 | #Constraints: 31363
1383.23/1386.71 c INPROCESSING
1383.23/1386.71 c GARBAGE COLLECT
1383.23/1386.71 c #Conflicts: 547000 | #Constraints: 17768
1383.23/1386.71 c #Conflicts: 548000 | #Constraints: 18768
1383.23/1386.71 c #Conflicts: 549000 | #Constraints: 19768
1383.23/1386.71 c #Conflicts: 550000 | #Constraints: 20768
1383.23/1386.71 c #Conflicts: 551000 | #Constraints: 21768
1383.23/1386.71 c #Conflicts: 552000 | #Constraints: 22768
1383.23/1386.71 c #Conflicts: 553000 | #Constraints: 23768
1383.23/1386.71 c #Conflicts: 554000 | #Constraints: 24768
1383.23/1386.71 c #Conflicts: 555000 | #Constraints: 25768
1383.23/1386.71 c #Conflicts: 556000 | #Constraints: 26768
1383.23/1386.71 c #Conflicts: 557000 | #Constraints: 27768
1645.77/1649.96 c #Conflicts: 558000 | #Constraints: 28768
1645.77/1649.96 c #Conflicts: 559000 | #Constraints: 29768
1645.77/1649.96 c #Conflicts: 560000 | #Constraints: 30768
1645.77/1649.96 c #Conflicts: 561000 | #Constraints: 31768
1645.77/1649.96 c INPROCESSING
1645.77/1649.96 c GARBAGE COLLECT
1645.77/1649.96 c #Conflicts: 562000 | #Constraints: 17968
1645.77/1649.96 c #Conflicts: 563000 | #Constraints: 18968
1645.77/1649.96 c #Conflicts: 564000 | #Constraints: 19968
1645.77/1649.96 c #Conflicts: 565000 | #Constraints: 20968
1645.77/1649.96 c #Conflicts: 566000 | #Constraints: 21968
1645.77/1649.96 c #Conflicts: 567000 | #Constraints: 22968
1645.77/1649.96 c #Conflicts: 568000 | #Constraints: 23968
1645.77/1649.96 c #Conflicts: 569000 | #Constraints: 24968
1645.77/1649.96 c #Conflicts: 570000 | #Constraints: 25968
1645.77/1649.96 c #Conflicts: 571000 | #Constraints: 26968
1645.77/1649.96 c #Conflicts: 572000 | #Constraints: 27968
1645.77/1649.96 c #Conflicts: 573000 | #Constraints: 28968
1645.77/1649.96 c #Conflicts: 574000 | #Constraints: 29968
1645.77/1649.96 c #Conflicts: 575000 | #Constraints: 30968
1645.77/1649.96 c #Conflicts: 576000 | #Constraints: 31968
1645.77/1649.96 c INPROCESSING
1645.77/1649.96 c GARBAGE COLLECT
1645.77/1649.96 c #Conflicts: 577000 | #Constraints: 17961
1645.77/1649.96 c #Conflicts: 578000 | #Constraints: 18961
1645.77/1649.96 c #Conflicts: 579000 | #Constraints: 19961
1645.77/1649.96 c #Conflicts: 580000 | #Constraints: 20961
1645.77/1649.96 c #Conflicts: 581000 | #Constraints: 21961
1645.77/1649.96 c #Conflicts: 582000 | #Constraints: 22961
1645.77/1649.96 c #Conflicts: 583000 | #Constraints: 23961
1645.77/1649.96 c #Conflicts: 584000 | #Constraints: 24961
1645.77/1649.96 c #Conflicts: 585000 | #Constraints: 25961
1645.77/1649.96 c #Conflicts: 586000 | #Constraints: 26961
1645.77/1649.96 c #Conflicts: 587000 | #Constraints: 27961
1645.77/1649.96 c #Conflicts: 588000 | #Constraints: 28961
1645.77/1649.96 c #Conflicts: 589000 | #Constraints: 29961
1645.77/1649.96 c #Conflicts: 590000 | #Constraints: 30961
1645.77/1649.96 c #Conflicts: 591000 | #Constraints: 31961
1645.77/1649.96 c INPROCESSING
1645.77/1649.96 c GARBAGE COLLECT
1645.77/1649.96 c #Conflicts: 592000 | #Constraints: 17770
1645.77/1649.96 c #Conflicts: 593000 | #Constraints: 18770
1645.77/1649.96 c #Conflicts: 594000 | #Constraints: 19770
1645.77/1649.96 c #Conflicts: 595000 | #Constraints: 20770
1645.77/1649.96 c #Conflicts: 596000 | #Constraints: 21770
1645.77/1649.96 c #Conflicts: 597000 | #Constraints: 22770
1645.77/1649.96 c #Conflicts: 598000 | #Constraints: 23770
1645.77/1649.96 c #Conflicts: 599000 | #Constraints: 24770
1645.77/1649.96 c #Conflicts: 600000 | #Constraints: 25770
1645.77/1649.96 c #Conflicts: 601000 | #Constraints: 26770
1645.77/1649.96 c #Conflicts: 602000 | #Constraints: 27770
1645.77/1649.96 c #Conflicts: 603000 | #Constraints: 28770
1645.77/1649.96 c #Conflicts: 604000 | #Constraints: 29770
1645.77/1649.96 c #Conflicts: 605000 | #Constraints: 30770
1645.77/1649.96 c #Conflicts: 606000 | #Constraints: 31770
1645.77/1649.96 c #Conflicts: 607000 | #Constraints: 32770
1645.77/1649.96 c INPROCESSING
1645.77/1649.96 c GARBAGE COLLECT
1645.77/1649.96 c #Conflicts: 608000 | #Constraints: 18366
1645.77/1649.96 c #Conflicts: 609000 | #Constraints: 19366
1645.77/1649.96 c #Conflicts: 610000 | #Constraints: 20366
1645.77/1649.96 c #Conflicts: 611000 | #Constraints: 21366
1645.77/1649.96 c #Conflicts: 612000 | #Constraints: 22366
1645.77/1649.96 c #Conflicts: 613000 | #Constraints: 23366
1645.77/1649.96 c #Conflicts: 614000 | #Constraints: 24366
1645.77/1649.96 c #Conflicts: 615000 | #Constraints: 25366
1645.77/1649.96 c #Conflicts: 616000 | #Constraints: 26366
1645.77/1649.96 c #Conflicts: 617000 | #Constraints: 27366
1645.77/1649.96 c #Conflicts: 618000 | #Constraints: 28366
1645.77/1649.96 c #Conflicts: 619000 | #Constraints: 29366
1645.77/1649.96 c #Conflicts: 620000 | #Constraints: 30366
1645.77/1649.96 c #Conflicts: 621000 | #Constraints: 31366
1645.77/1649.96 c #Conflicts: 622000 | #Constraints: 32366
1645.77/1649.96 c #Conflicts: 623000 | #Constraints: 33366
1645.77/1649.96 c INPROCESSING
1645.77/1649.96 c GARBAGE COLLECT
1645.77/1649.96 c #Conflicts: 624000 | #Constraints: 18772
1645.77/1649.96 c #Conflicts: 625000 | #Constraints: 19772
1645.77/1649.96 c #Conflicts: 626000 | #Constraints: 20772
1645.77/1649.96 c #Conflicts: 627000 | #Constraints: 21772
1645.77/1649.96 c #Conflicts: 628000 | #Constraints: 22772
1645.77/1649.96 c #Conflicts: 629000 | #Constraints: 23772
1645.77/1649.96 c #Conflicts: 630000 | #Constraints: 24772
1645.77/1649.96 c #Conflicts: 631000 | #Constraints: 25772
1645.77/1649.96 c #Conflicts: 632000 | #Constraints: 26772
1645.77/1649.96 c #Conflicts: 633000 | #Constraints: 27772
1665.32/1669.51 c #Conflicts: 634000 | #Constraints: 28772
1665.32/1669.51 c #Conflicts: 635000 | #Constraints: 29772
1665.32/1669.51 c #Conflicts: 636000 | #Constraints: 30772
1665.32/1669.51 c #Conflicts: 637000 | #Constraints: 31772
1665.32/1669.51 c bounds 15 >= -171 @ 1650.25
1665.32/1669.51 c #Conflicts: 638000 | #Constraints: 32941
1665.32/1669.51 c bounds 15 >= -170 @ 1650.75
1665.32/1669.51 c #Conflicts: 639000 | #Constraints: 34032
1665.32/1669.51 c INPROCESSING
1665.32/1669.51 c GARBAGE COLLECT
1665.32/1669.51 c #Conflicts: 640000 | #Constraints: 19150
1665.32/1669.51 c #Conflicts: 641000 | #Constraints: 20150
1665.32/1669.51 c finalizing WCE round: reformulating cores
1824.41/1829.01 c #Conflicts: 642000 | #Constraints: 21155
1824.41/1829.01 c #Conflicts: 643000 | #Constraints: 22157
1824.41/1829.01 c #Conflicts: 644000 | #Constraints: 23159
1824.41/1829.01 c #Conflicts: 645000 | #Constraints: 24163
1824.41/1829.01 c bounds 14 >= -193 @ 1659.25
1824.41/1829.01 c #Conflicts: 646000 | #Constraints: 25167
1824.41/1829.01 c bounds 14 >= -191 @ 1660.47
1824.41/1829.01 c bounds 14 >= -191 @ 1660.53
1824.41/1829.01 c bounds 14 >= -191 @ 1660.67
1824.41/1829.01 c bounds 14 >= -191 @ 1660.98
1824.41/1829.01 c #Conflicts: 647000 | #Constraints: 26177
1824.41/1829.01 c #Conflicts: 648000 | #Constraints: 27179
1824.41/1829.01 c #Conflicts: 649000 | #Constraints: 28181
1824.41/1829.01 c bounds 14 >= -184 @ 1664.76
1824.41/1829.01 c #Conflicts: 650000 | #Constraints: 29185
1824.41/1829.01 c #Conflicts: 651000 | #Constraints: 30187
1824.41/1829.01 c bounds 14 >= -181 @ 1667.55
1824.41/1829.01 c #Conflicts: 652000 | #Constraints: 31193
1824.41/1829.01 c #Conflicts: 653000 | #Constraints: 32195
1824.41/1829.01 c #Conflicts: 654000 | #Constraints: 33197
1824.41/1829.01 c #Conflicts: 655000 | #Constraints: 34201
1824.41/1829.01 c INPROCESSING
1824.41/1829.01 c GARBAGE COLLECT
1824.41/1829.01 c #Conflicts: 656000 | #Constraints: 18911
1824.41/1829.01 c #Conflicts: 657000 | #Constraints: 19913
1824.41/1829.01 c #Conflicts: 658000 | #Constraints: 20915
1824.41/1829.01 c #Conflicts: 659000 | #Constraints: 21919
1824.41/1829.01 c #Conflicts: 660000 | #Constraints: 22921
1824.41/1829.01 c #Conflicts: 661000 | #Constraints: 23923
1824.41/1829.01 c #Conflicts: 662000 | #Constraints: 24927
1824.41/1829.01 c #Conflicts: 663000 | #Constraints: 25929
1824.41/1829.01 c #Conflicts: 664000 | #Constraints: 26931
1824.41/1829.01 c bounds 14 >= -163 @ 1702.67
1824.41/1829.01 c bounds 14 >= -162 @ 1702.69
1824.41/1829.01 c bounds 14 >= -161 @ 1702.8
1824.41/1829.01 c #Conflicts: 665000 | #Constraints: 27986
1824.41/1829.01 c bounds 14 >= -160 @ 1703.04
1824.41/1829.01 c bounds 14 >= -159 @ 1703.77
1824.41/1829.01 c bounds 14 >= -158 @ 1705.42
1824.41/1829.01 c #Conflicts: 666000 | #Constraints: 29121
1824.41/1829.01 c #Conflicts: 667000 | #Constraints: 30121
1824.41/1829.01 c #Conflicts: 668000 | #Constraints: 31121
1824.41/1829.01 c #Conflicts: 669000 | #Constraints: 32121
1824.41/1829.01 c #Conflicts: 670000 | #Constraints: 33121
1824.41/1829.01 c bounds 14 >= -157 @ 1722.93
1824.41/1829.01 c #Conflicts: 671000 | #Constraints: 34191
1824.41/1829.01 c INPROCESSING
1824.41/1829.01 c GARBAGE COLLECT
1824.41/1829.01 c #Conflicts: 672000 | #Constraints: 18992
1824.41/1829.01 c #Conflicts: 673000 | #Constraints: 19992
1824.41/1829.01 c #Conflicts: 674000 | #Constraints: 20992
1824.41/1829.01 c #Conflicts: 675000 | #Constraints: 21992
1824.41/1829.01 c #Conflicts: 676000 | #Constraints: 22992
1824.41/1829.01 c #Conflicts: 677000 | #Constraints: 23992
1824.41/1829.01 c #Conflicts: 678000 | #Constraints: 24992
1824.41/1829.01 c #Conflicts: 679000 | #Constraints: 25992
1824.41/1829.01 c #Conflicts: 680000 | #Constraints: 26992
1824.41/1829.01 c #Conflicts: 681000 | #Constraints: 27992
1824.41/1829.01 c #Conflicts: 682000 | #Constraints: 28992
1824.41/1829.01 c #Conflicts: 683000 | #Constraints: 29992
1824.41/1829.01 c #Conflicts: 684000 | #Constraints: 30992
1824.41/1829.01 c #Conflicts: 685000 | #Constraints: 31992
1824.41/1829.01 c #Conflicts: 686000 | #Constraints: 32992
1824.41/1829.01 c #Conflicts: 687000 | #Constraints: 33992
1824.41/1829.01 c #Conflicts: 688000 | #Constraints: 34992
1824.41/1829.01 c INPROCESSING
1824.41/1829.01 c GARBAGE COLLECT
1824.41/1829.01 c #Conflicts: 689000 | #Constraints: 19603
1824.41/1829.01 c #Conflicts: 690000 | #Constraints: 20603
1824.41/1829.01 c #Conflicts: 691000 | #Constraints: 21603
1824.41/1829.01 c #Conflicts: 692000 | #Constraints: 22603
1824.41/1829.01 c #Conflicts: 693000 | #Constraints: 23603
1824.41/1829.01 c #Conflicts: 694000 | #Constraints: 24603
1824.41/1829.01 c #Conflicts: 695000 | #Constraints: 25603
1824.41/1829.01 c #Conflicts: 696000 | #Constraints: 26603
1824.41/1829.01 c #Conflicts: 697000 | #Constraints: 27603
1824.41/1829.01 c #Conflicts: 698000 | #Constraints: 28603
1824.41/1829.01 c #Conflicts: 699000 | #Constraints: 29603
1824.41/1829.01 c #Conflicts: 700000 | #Constraints: 30603
1824.41/1829.01 c #Conflicts: 701000 | #Constraints: 31603
1824.41/1829.01 c #Conflicts: 702000 | #Constraints: 32603
1824.41/1829.01 c #Conflicts: 703000 | #Constraints: 33603
1824.41/1829.01 c #Conflicts: 704000 | #Constraints: 34603
1824.41/1829.01 c #Conflicts: 705000 | #Constraints: 35603
1824.41/1829.01 c INPROCESSING
1824.41/1829.01 c GARBAGE COLLECT
1824.41/1829.01 c #Conflicts: 706000 | #Constraints: 20015
1824.41/1829.01 c #Conflicts: 707000 | #Constraints: 21015
1824.41/1829.01 c #Conflicts: 708000 | #Constraints: 22015
1824.41/1829.01 c #Conflicts: 709000 | #Constraints: 23015
1824.41/1829.01 c #Conflicts: 710000 | #Constraints: 24015
2028.29/2033.49 c #Conflicts: 711000 | #Constraints: 25015
2028.29/2033.49 c #Conflicts: 712000 | #Constraints: 26015
2028.29/2033.49 c #Conflicts: 713000 | #Constraints: 27015
2028.29/2033.49 c #Conflicts: 714000 | #Constraints: 28015
2028.29/2033.49 c #Conflicts: 715000 | #Constraints: 29015
2028.29/2033.49 c #Conflicts: 716000 | #Constraints: 30015
2028.29/2033.49 c #Conflicts: 717000 | #Constraints: 31015
2028.29/2033.49 c #Conflicts: 718000 | #Constraints: 32015
2028.29/2033.49 c #Conflicts: 719000 | #Constraints: 33015
2028.29/2033.49 c #Conflicts: 720000 | #Constraints: 34015
2028.29/2033.49 c #Conflicts: 721000 | #Constraints: 35015
2028.29/2033.49 c #Conflicts: 722000 | #Constraints: 36015
2028.29/2033.49 c INPROCESSING
2028.29/2033.49 c GARBAGE COLLECT
2028.29/2033.49 c #Conflicts: 723000 | #Constraints: 20218
2028.29/2033.49 c #Conflicts: 724000 | #Constraints: 21218
2028.29/2033.49 c #Conflicts: 725000 | #Constraints: 22218
2028.29/2033.49 c #Conflicts: 726000 | #Constraints: 23218
2028.29/2033.49 c #Conflicts: 727000 | #Constraints: 24218
2028.29/2033.49 c #Conflicts: 728000 | #Constraints: 25218
2028.29/2033.49 c #Conflicts: 729000 | #Constraints: 26218
2028.29/2033.49 c #Conflicts: 730000 | #Constraints: 27218
2028.29/2033.49 c #Conflicts: 731000 | #Constraints: 28218
2028.29/2033.49 c #Conflicts: 732000 | #Constraints: 29218
2028.29/2033.49 c #Conflicts: 733000 | #Constraints: 30218
2028.29/2033.49 c #Conflicts: 734000 | #Constraints: 31218
2028.29/2033.49 c #Conflicts: 735000 | #Constraints: 32218
2028.29/2033.49 c #Conflicts: 736000 | #Constraints: 33218
2028.29/2033.49 c #Conflicts: 737000 | #Constraints: 34218
2028.29/2033.49 c #Conflicts: 738000 | #Constraints: 35218
2028.29/2033.49 c #Conflicts: 739000 | #Constraints: 36218
2028.29/2033.49 c INPROCESSING
2028.29/2033.49 c GARBAGE COLLECT
2028.29/2033.49 c #Conflicts: 740000 | #Constraints: 20225
2028.29/2033.49 c #Conflicts: 741000 | #Constraints: 21225
2028.29/2033.49 c #Conflicts: 742000 | #Constraints: 22225
2028.29/2033.49 c #Conflicts: 743000 | #Constraints: 23225
2028.29/2033.49 c #Conflicts: 744000 | #Constraints: 24225
2028.29/2033.49 c #Conflicts: 745000 | #Constraints: 25225
2028.29/2033.49 c #Conflicts: 746000 | #Constraints: 26225
2028.29/2033.49 c #Conflicts: 747000 | #Constraints: 27225
2028.29/2033.49 c #Conflicts: 748000 | #Constraints: 28225
2028.29/2033.49 c #Conflicts: 749000 | #Constraints: 29225
2028.29/2033.49 c #Conflicts: 750000 | #Constraints: 30225
2028.29/2033.49 c #Conflicts: 751000 | #Constraints: 31225
2028.29/2033.49 c #Conflicts: 752000 | #Constraints: 32225
2028.29/2033.49 c #Conflicts: 753000 | #Constraints: 33225
2028.29/2033.49 c #Conflicts: 754000 | #Constraints: 34225
2028.29/2033.49 c #Conflicts: 755000 | #Constraints: 35225
2028.29/2033.49 c #Conflicts: 756000 | #Constraints: 36225
2028.29/2033.49 c INPROCESSING
2028.29/2033.49 c GARBAGE COLLECT
2028.29/2033.49 c #Conflicts: 757000 | #Constraints: 20023
2028.29/2033.49 c #Conflicts: 758000 | #Constraints: 21023
2028.29/2033.49 c #Conflicts: 759000 | #Constraints: 22023
2028.29/2033.49 c #Conflicts: 760000 | #Constraints: 23023
2028.29/2033.49 c #Conflicts: 761000 | #Constraints: 24023
2028.29/2033.49 c #Conflicts: 762000 | #Constraints: 25023
2028.29/2033.49 c #Conflicts: 763000 | #Constraints: 26023
2028.29/2033.49 c #Conflicts: 764000 | #Constraints: 27023
2028.29/2033.49 c #Conflicts: 765000 | #Constraints: 28023
2028.29/2033.49 c #Conflicts: 766000 | #Constraints: 29023
2028.29/2033.49 c #Conflicts: 767000 | #Constraints: 30023
2028.29/2033.49 c #Conflicts: 768000 | #Constraints: 31023
2028.29/2033.49 c #Conflicts: 769000 | #Constraints: 32023
2028.29/2033.49 c #Conflicts: 770000 | #Constraints: 33023
2028.29/2033.49 c #Conflicts: 771000 | #Constraints: 34023
2028.29/2033.49 c #Conflicts: 772000 | #Constraints: 35023
2028.29/2033.49 c #Conflicts: 773000 | #Constraints: 36023
2028.29/2033.49 c #Conflicts: 774000 | #Constraints: 37023
2028.29/2033.49 c INPROCESSING
2028.29/2033.49 c GARBAGE COLLECT
2028.29/2033.49 c #Conflicts: 775000 | #Constraints: 20615
2028.29/2033.49 c #Conflicts: 776000 | #Constraints: 21615
2028.29/2033.49 c #Conflicts: 777000 | #Constraints: 22615
2028.29/2033.49 c #Conflicts: 778000 | #Constraints: 23615
2028.29/2033.49 c #Conflicts: 779000 | #Constraints: 24615
2028.29/2033.49 c #Conflicts: 780000 | #Constraints: 25615
2028.29/2033.49 c #Conflicts: 781000 | #Constraints: 26615
2028.29/2033.49 c #Conflicts: 782000 | #Constraints: 27615
2028.29/2033.49 c #Conflicts: 783000 | #Constraints: 28615
2028.29/2033.49 c #Conflicts: 784000 | #Constraints: 29615
2028.29/2033.49 c #Conflicts: 785000 | #Constraints: 30615
2028.29/2033.49 c #Conflicts: 786000 | #Constraints: 31615
2266.28/2272.06 c #Conflicts: 787000 | #Constraints: 32615
2266.28/2272.06 c #Conflicts: 788000 | #Constraints: 33615
2266.28/2272.06 c #Conflicts: 789000 | #Constraints: 34615
2266.28/2272.06 c #Conflicts: 790000 | #Constraints: 35615
2266.28/2272.06 c #Conflicts: 791000 | #Constraints: 36615
2266.28/2272.06 c #Conflicts: 792000 | #Constraints: 37615
2266.28/2272.06 c INPROCESSING
2266.28/2272.06 c GARBAGE COLLECT
2266.28/2272.06 c #Conflicts: 793000 | #Constraints: 21016
2266.28/2272.06 c #Conflicts: 794000 | #Constraints: 22016
2266.28/2272.06 c #Conflicts: 795000 | #Constraints: 23016
2266.28/2272.06 c #Conflicts: 796000 | #Constraints: 24016
2266.28/2272.06 c #Conflicts: 797000 | #Constraints: 25016
2266.28/2272.06 c #Conflicts: 798000 | #Constraints: 26016
2266.28/2272.06 c #Conflicts: 799000 | #Constraints: 27016
2266.28/2272.06 c #Conflicts: 800000 | #Constraints: 28016
2266.28/2272.06 c #Conflicts: 801000 | #Constraints: 29016
2266.28/2272.06 c #Conflicts: 802000 | #Constraints: 30016
2266.28/2272.06 c #Conflicts: 803000 | #Constraints: 31016
2266.28/2272.06 c #Conflicts: 804000 | #Constraints: 32016
2266.28/2272.06 c #Conflicts: 805000 | #Constraints: 33016
2266.28/2272.06 c #Conflicts: 806000 | #Constraints: 34016
2266.28/2272.06 c #Conflicts: 807000 | #Constraints: 35016
2266.28/2272.06 c #Conflicts: 808000 | #Constraints: 36016
2266.28/2272.06 c #Conflicts: 809000 | #Constraints: 37016
2266.28/2272.06 c #Conflicts: 810000 | #Constraints: 38016
2266.28/2272.06 c INPROCESSING
2266.28/2272.06 c GARBAGE COLLECT
2266.28/2272.06 c #Conflicts: 811000 | #Constraints: 21216
2266.28/2272.06 c #Conflicts: 812000 | #Constraints: 22216
2266.28/2272.06 c #Conflicts: 813000 | #Constraints: 23216
2266.28/2272.06 c #Conflicts: 814000 | #Constraints: 24216
2266.28/2272.06 c #Conflicts: 815000 | #Constraints: 25216
2266.28/2272.06 c #Conflicts: 816000 | #Constraints: 26216
2266.28/2272.06 c #Conflicts: 817000 | #Constraints: 27216
2266.28/2272.06 c #Conflicts: 818000 | #Constraints: 28216
2266.28/2272.06 c #Conflicts: 819000 | #Constraints: 29216
2266.28/2272.06 c #Conflicts: 820000 | #Constraints: 30216
2266.28/2272.06 c #Conflicts: 821000 | #Constraints: 31216
2266.28/2272.06 c #Conflicts: 822000 | #Constraints: 32216
2266.28/2272.06 c #Conflicts: 823000 | #Constraints: 33216
2266.28/2272.06 c #Conflicts: 824000 | #Constraints: 34216
2266.28/2272.06 c #Conflicts: 825000 | #Constraints: 35216
2266.28/2272.06 c #Conflicts: 826000 | #Constraints: 36216
2266.28/2272.06 c #Conflicts: 827000 | #Constraints: 37216
2266.28/2272.06 c #Conflicts: 828000 | #Constraints: 38216
2266.28/2272.06 c INPROCESSING
2266.28/2272.06 c GARBAGE COLLECT
2266.28/2272.06 c #Conflicts: 829000 | #Constraints: 21228
2266.28/2272.06 c #Conflicts: 830000 | #Constraints: 22228
2266.28/2272.06 c #Conflicts: 831000 | #Constraints: 23228
2266.28/2272.06 c #Conflicts: 832000 | #Constraints: 24228
2266.28/2272.06 c #Conflicts: 833000 | #Constraints: 25228
2266.28/2272.06 c #Conflicts: 834000 | #Constraints: 26228
2266.28/2272.06 c #Conflicts: 835000 | #Constraints: 27228
2266.28/2272.06 c #Conflicts: 836000 | #Constraints: 28228
2266.28/2272.06 c #Conflicts: 837000 | #Constraints: 29228
2266.28/2272.06 c #Conflicts: 838000 | #Constraints: 30228
2266.28/2272.06 c #Conflicts: 839000 | #Constraints: 31228
2266.28/2272.06 c #Conflicts: 840000 | #Constraints: 32228
2266.28/2272.06 c #Conflicts: 841000 | #Constraints: 33228
2266.28/2272.06 c #Conflicts: 842000 | #Constraints: 34228
2266.28/2272.06 c #Conflicts: 843000 | #Constraints: 35228
2266.28/2272.06 c #Conflicts: 844000 | #Constraints: 36228
2266.28/2272.06 c #Conflicts: 845000 | #Constraints: 37228
2266.28/2272.06 c #Conflicts: 846000 | #Constraints: 38228
2266.28/2272.06 c INPROCESSING
2266.28/2272.06 c GARBAGE COLLECT
2266.28/2272.06 c #Conflicts: 847000 | #Constraints: 21029
2266.28/2272.06 c #Conflicts: 848000 | #Constraints: 22029
2266.28/2272.06 c #Conflicts: 849000 | #Constraints: 23029
2266.28/2272.06 c #Conflicts: 850000 | #Constraints: 24029
2266.28/2272.06 c #Conflicts: 851000 | #Constraints: 25029
2266.28/2272.06 c #Conflicts: 852000 | #Constraints: 26029
2266.28/2272.06 c #Conflicts: 853000 | #Constraints: 27029
2266.28/2272.06 c #Conflicts: 854000 | #Constraints: 28029
2266.28/2272.06 c #Conflicts: 855000 | #Constraints: 29029
2266.28/2272.06 c #Conflicts: 856000 | #Constraints: 30029
2266.28/2272.06 c #Conflicts: 857000 | #Constraints: 31029
2266.28/2272.06 c #Conflicts: 858000 | #Constraints: 32029
2266.28/2272.06 c #Conflicts: 859000 | #Constraints: 33029
2266.28/2272.06 c #Conflicts: 860000 | #Constraints: 34029
2266.28/2272.06 c #Conflicts: 861000 | #Constraints: 35029
2266.28/2272.06 c #Conflicts: 862000 | #Constraints: 36029
2523.51/2529.93 c #Conflicts: 863000 | #Constraints: 37029
2523.51/2529.93 c #Conflicts: 864000 | #Constraints: 38029
2523.51/2529.93 c #Conflicts: 865000 | #Constraints: 39029
2523.51/2529.93 c INPROCESSING
2523.51/2529.93 c GARBAGE COLLECT
2523.51/2529.93 c #Conflicts: 866000 | #Constraints: 21626
2523.51/2529.93 c #Conflicts: 867000 | #Constraints: 22626
2523.51/2529.93 c #Conflicts: 868000 | #Constraints: 23626
2523.51/2529.93 c #Conflicts: 869000 | #Constraints: 24626
2523.51/2529.93 c #Conflicts: 870000 | #Constraints: 25626
2523.51/2529.93 c #Conflicts: 871000 | #Constraints: 26626
2523.51/2529.93 c #Conflicts: 872000 | #Constraints: 27626
2523.51/2529.93 c #Conflicts: 873000 | #Constraints: 28626
2523.51/2529.93 c #Conflicts: 874000 | #Constraints: 29626
2523.51/2529.93 c #Conflicts: 875000 | #Constraints: 30626
2523.51/2529.93 c #Conflicts: 876000 | #Constraints: 31626
2523.51/2529.93 c #Conflicts: 877000 | #Constraints: 32626
2523.51/2529.93 c #Conflicts: 878000 | #Constraints: 33626
2523.51/2529.93 c #Conflicts: 879000 | #Constraints: 34626
2523.51/2529.93 c #Conflicts: 880000 | #Constraints: 35626
2523.51/2529.93 c #Conflicts: 881000 | #Constraints: 36626
2523.51/2529.93 c #Conflicts: 882000 | #Constraints: 37626
2523.51/2529.93 c #Conflicts: 883000 | #Constraints: 38626
2523.51/2529.93 c #Conflicts: 884000 | #Constraints: 39626
2523.51/2529.93 c INPROCESSING
2523.51/2529.93 c GARBAGE COLLECT
2523.51/2529.93 c #Conflicts: 885000 | #Constraints: 22027
2523.51/2529.93 c #Conflicts: 886000 | #Constraints: 23027
2523.51/2529.93 c #Conflicts: 887000 | #Constraints: 24027
2523.51/2529.93 c #Conflicts: 888000 | #Constraints: 25027
2523.51/2529.93 c #Conflicts: 889000 | #Constraints: 26027
2523.51/2529.93 c #Conflicts: 890000 | #Constraints: 27027
2523.51/2529.93 c #Conflicts: 891000 | #Constraints: 28027
2523.51/2529.93 c #Conflicts: 892000 | #Constraints: 29027
2523.51/2529.93 c #Conflicts: 893000 | #Constraints: 30027
2523.51/2529.93 c #Conflicts: 894000 | #Constraints: 31027
2523.51/2529.93 c #Conflicts: 895000 | #Constraints: 32027
2523.51/2529.93 c #Conflicts: 896000 | #Constraints: 33027
2523.51/2529.93 c #Conflicts: 897000 | #Constraints: 34027
2523.51/2529.93 c #Conflicts: 898000 | #Constraints: 35027
2523.51/2529.93 c #Conflicts: 899000 | #Constraints: 36027
2523.51/2529.93 c #Conflicts: 900000 | #Constraints: 37027
2523.51/2529.93 c #Conflicts: 901000 | #Constraints: 38027
2523.51/2529.93 c #Conflicts: 902000 | #Constraints: 39027
2523.51/2529.93 c #Conflicts: 903000 | #Constraints: 40027
2523.51/2529.93 c INPROCESSING
2523.51/2529.93 c GARBAGE COLLECT
2523.51/2529.93 c #Conflicts: 904000 | #Constraints: 22226
2523.51/2529.93 c #Conflicts: 905000 | #Constraints: 23226
2523.51/2529.93 c #Conflicts: 906000 | #Constraints: 24226
2523.51/2529.93 c #Conflicts: 907000 | #Constraints: 25226
2523.51/2529.93 c #Conflicts: 908000 | #Constraints: 26226
2523.51/2529.93 c #Conflicts: 909000 | #Constraints: 27226
2523.51/2529.93 c #Conflicts: 910000 | #Constraints: 28226
2523.51/2529.93 c #Conflicts: 911000 | #Constraints: 29226
2523.51/2529.93 c #Conflicts: 912000 | #Constraints: 30226
2523.51/2529.93 c #Conflicts: 913000 | #Constraints: 31226
2523.51/2529.93 c #Conflicts: 914000 | #Constraints: 32226
2523.51/2529.93 c #Conflicts: 915000 | #Constraints: 33226
2523.51/2529.93 c #Conflicts: 916000 | #Constraints: 34226
2523.51/2529.93 c #Conflicts: 917000 | #Constraints: 35226
2523.51/2529.93 c #Conflicts: 918000 | #Constraints: 36226
2523.51/2529.93 c #Conflicts: 919000 | #Constraints: 37226
2523.51/2529.93 c #Conflicts: 920000 | #Constraints: 38226
2523.51/2529.93 c #Conflicts: 921000 | #Constraints: 39226
2523.51/2529.93 c #Conflicts: 922000 | #Constraints: 40226
2523.51/2529.93 c INPROCESSING
2523.51/2529.93 c GARBAGE COLLECT
2523.51/2529.93 c #Conflicts: 923000 | #Constraints: 22223
2523.51/2529.93 c #Conflicts: 924000 | #Constraints: 23223
2523.51/2529.93 c #Conflicts: 925000 | #Constraints: 24223
2523.51/2529.93 c #Conflicts: 926000 | #Constraints: 25223
2523.51/2529.93 c #Conflicts: 927000 | #Constraints: 26223
2523.51/2529.93 c #Conflicts: 928000 | #Constraints: 27223
2523.51/2529.93 c #Conflicts: 929000 | #Constraints: 28223
2523.51/2529.93 c #Conflicts: 930000 | #Constraints: 29223
2523.51/2529.93 c #Conflicts: 931000 | #Constraints: 30223
2523.51/2529.93 c #Conflicts: 932000 | #Constraints: 31223
2523.51/2529.93 c #Conflicts: 933000 | #Constraints: 32223
2523.51/2529.93 c #Conflicts: 934000 | #Constraints: 33223
2523.51/2529.93 c #Conflicts: 935000 | #Constraints: 34223
2523.51/2529.93 c #Conflicts: 936000 | #Constraints: 35223
2523.51/2529.93 c #Conflicts: 937000 | #Constraints: 36223
2523.51/2529.93 c #Conflicts: 938000 | #Constraints: 37223
2947.50/2955.09 c #Conflicts: 939000 | #Constraints: 38223
2947.50/2955.09 c #Conflicts: 940000 | #Constraints: 39223
2947.50/2955.09 c #Conflicts: 941000 | #Constraints: 40223
2947.50/2955.09 c INPROCESSING
2947.50/2955.09 c GARBAGE COLLECT
2947.50/2955.09 c #Conflicts: 942000 | #Constraints: 22023
2947.50/2955.09 c #Conflicts: 943000 | #Constraints: 23023
2947.50/2955.09 c #Conflicts: 944000 | #Constraints: 24023
2947.50/2955.09 c #Conflicts: 945000 | #Constraints: 25023
2947.50/2955.09 c #Conflicts: 946000 | #Constraints: 26023
2947.50/2955.09 c #Conflicts: 947000 | #Constraints: 27023
2947.50/2955.09 c #Conflicts: 948000 | #Constraints: 28023
2947.50/2955.09 c #Conflicts: 949000 | #Constraints: 29023
2947.50/2955.09 c #Conflicts: 950000 | #Constraints: 30023
2947.50/2955.09 c #Conflicts: 951000 | #Constraints: 31023
2947.50/2955.09 c #Conflicts: 952000 | #Constraints: 32023
2947.50/2955.09 c #Conflicts: 953000 | #Constraints: 33023
2947.50/2955.09 c #Conflicts: 954000 | #Constraints: 34023
2947.50/2955.09 c #Conflicts: 955000 | #Constraints: 35023
2947.50/2955.09 c #Conflicts: 956000 | #Constraints: 36023
2947.50/2955.09 c #Conflicts: 957000 | #Constraints: 37023
2947.50/2955.09 c #Conflicts: 958000 | #Constraints: 38023
2947.50/2955.09 c #Conflicts: 959000 | #Constraints: 39023
2947.50/2955.09 c #Conflicts: 960000 | #Constraints: 40023
2947.50/2955.09 c #Conflicts: 961000 | #Constraints: 41023
2947.50/2955.09 c #Conflicts: 962000 | #Constraints: 42023
2947.50/2955.09 c #Conflicts: 963000 | #Constraints: 43023
2947.50/2955.09 c #Conflicts: 964000 | #Constraints: 44023
2947.50/2955.09 c #Conflicts: 965000 | #Constraints: 45023
2947.50/2955.09 c #Conflicts: 966000 | #Constraints: 46023
2947.50/2955.09 c #Conflicts: 967000 | #Constraints: 47023
2947.50/2955.09 c #Conflicts: 968000 | #Constraints: 48023
2947.50/2955.09 c #Conflicts: 969000 | #Constraints: 49023
2947.50/2955.09 c #Conflicts: 970000 | #Constraints: 50023
2947.50/2955.09 c #Conflicts: 971000 | #Constraints: 51023
2947.50/2955.09 c #Conflicts: 972000 | #Constraints: 52023
2947.50/2955.09 c #Conflicts: 973000 | #Constraints: 53023
2947.50/2955.09 c #Conflicts: 974000 | #Constraints: 54023
2947.50/2955.09 c #Conflicts: 975000 | #Constraints: 55023
2947.50/2955.09 c #Conflicts: 976000 | #Constraints: 56023
2947.50/2955.09 c #Conflicts: 977000 | #Constraints: 57023
2947.50/2955.09 c #Conflicts: 978000 | #Constraints: 58023
2947.50/2955.09 c #Conflicts: 979000 | #Constraints: 59023
2947.50/2955.09 c #Conflicts: 980000 | #Constraints: 60023
2947.50/2955.09 c #Conflicts: 981000 | #Constraints: 61023
2947.50/2955.09 c #Conflicts: 982000 | #Constraints: 62023
2947.50/2955.09 c #Conflicts: 983000 | #Constraints: 63023
2947.50/2955.09 c #Conflicts: 984000 | #Constraints: 64023
2947.50/2955.09 c #Conflicts: 985000 | #Constraints: 65023
2947.50/2955.09 c #Conflicts: 986000 | #Constraints: 66023
2947.50/2955.09 c #Conflicts: 987000 | #Constraints: 67023
2947.50/2955.09 c #Conflicts: 988000 | #Constraints: 68023
2947.50/2955.09 c #Conflicts: 989000 | #Constraints: 69023
2947.50/2955.09 c #Conflicts: 990000 | #Constraints: 70023
2947.50/2955.09 c #Conflicts: 991000 | #Constraints: 71023
2947.50/2955.09 c #Conflicts: 992000 | #Constraints: 72023
2947.50/2955.09 c bounds 14 >= -156 @ 2808.28
2947.50/2955.09 c #Conflicts: 993000 | #Constraints: 73132
2947.50/2955.09 c #Conflicts: 994000 | #Constraints: 74132
2947.50/2955.09 c #Conflicts: 995000 | #Constraints: 75132
2947.50/2955.09 c #Conflicts: 996000 | #Constraints: 76132
2947.50/2955.09 c #Conflicts: 997000 | #Constraints: 77132
2947.50/2955.09 c #Conflicts: 998000 | #Constraints: 78132
2947.50/2955.09 c #Conflicts: 999000 | #Constraints: 79132
2947.50/2955.09 c #Conflicts: 1000000 | #Constraints: 80132
2947.50/2955.09 c #Conflicts: 1001000 | #Constraints: 81132
2947.50/2955.09 c #Conflicts: 1002000 | #Constraints: 82132
2947.50/2955.09 c #Conflicts: 1003000 | #Constraints: 83132
2947.50/2955.09 c #Conflicts: 1004000 | #Constraints: 84132
2947.50/2955.09 c #Conflicts: 1005000 | #Constraints: 85132
2947.50/2955.09 c #Conflicts: 1006000 | #Constraints: 86132
2947.50/2955.09 c #Conflicts: 1007000 | #Constraints: 87132
2947.50/2955.09 c #Conflicts: 1008000 | #Constraints: 88132
2947.50/2955.09 c #Conflicts: 1009000 | #Constraints: 89132
2947.50/2955.09 c #Conflicts: 1010000 | #Constraints: 90132
2947.50/2955.09 c #Conflicts: 1011000 | #Constraints: 91132
2947.50/2955.09 c #Conflicts: 1012000 | #Constraints: 92132
2947.50/2955.09 c #Conflicts: 1013000 | #Constraints: 93132
2947.50/2955.09 c #Conflicts: 1014000 | #Constraints: 94132
2947.50/2955.09 c #Conflicts: 1015000 | #Constraints: 95132
2947.50/2955.09 c #Conflicts: 1016000 | #Constraints: 96132
3494.72/3503.73 c #Conflicts: 1017000 | #Constraints: 97132
3494.72/3503.73 c #Conflicts: 1018000 | #Constraints: 98132
3494.72/3503.73 c #Conflicts: 1019000 | #Constraints: 99132
3494.72/3503.73 c #Conflicts: 1020000 | #Constraints: 100132
3494.72/3503.73 c #Conflicts: 1021000 | #Constraints: 101132
3494.72/3503.73 c #Conflicts: 1022000 | #Constraints: 102132
3494.72/3503.73 c #Conflicts: 1023000 | #Constraints: 103132
3494.72/3503.73 c #Conflicts: 1024000 | #Constraints: 104132
3494.72/3503.73 c #Conflicts: 1025000 | #Constraints: 105132
3494.72/3503.73 c #Conflicts: 1026000 | #Constraints: 106132
3494.72/3503.73 c #Conflicts: 1027000 | #Constraints: 107132
3494.72/3503.73 c #Conflicts: 1028000 | #Constraints: 108132
3494.72/3503.73 c #Conflicts: 1029000 | #Constraints: 109132
3494.72/3503.73 c #Conflicts: 1030000 | #Constraints: 110132
3494.72/3503.73 c #Conflicts: 1031000 | #Constraints: 111132
3494.72/3503.73 c #Conflicts: 1032000 | #Constraints: 112132
3494.72/3503.73 c #Conflicts: 1033000 | #Constraints: 113132
3494.72/3503.73 c #Conflicts: 1034000 | #Constraints: 114132
3494.72/3503.73 c #Conflicts: 1035000 | #Constraints: 115132
3494.72/3503.73 c #Conflicts: 1036000 | #Constraints: 116132
3494.72/3503.73 c #Conflicts: 1037000 | #Constraints: 117132
3494.72/3503.73 c #Conflicts: 1038000 | #Constraints: 118132
3494.72/3503.73 c #Conflicts: 1039000 | #Constraints: 119132
3494.72/3503.73 c #Conflicts: 1040000 | #Constraints: 120132
3494.72/3503.73 c #Conflicts: 1041000 | #Constraints: 121132
3494.72/3503.73 c INPROCESSING
3494.72/3503.73 c GARBAGE COLLECT
3494.72/3503.73 c #Conflicts: 1042000 | #Constraints: 62656
3494.72/3503.73 c #Conflicts: 1043000 | #Constraints: 63656
3494.72/3503.73 c #Conflicts: 1044000 | #Constraints: 64656
3494.72/3503.73 c #Conflicts: 1045000 | #Constraints: 65656
3494.72/3503.73 c #Conflicts: 1046000 | #Constraints: 66656
3494.72/3503.73 c #Conflicts: 1047000 | #Constraints: 67656
3494.72/3503.73 c #Conflicts: 1048000 | #Constraints: 68656
3494.72/3503.73 c #Conflicts: 1049000 | #Constraints: 69656
3494.72/3503.73 c #Conflicts: 1050000 | #Constraints: 70656
3494.72/3503.73 c #Conflicts: 1051000 | #Constraints: 71656
3494.72/3503.73 c #Conflicts: 1052000 | #Constraints: 72656
3494.72/3503.73 c #Conflicts: 1053000 | #Constraints: 73656
3494.72/3503.73 c #Conflicts: 1054000 | #Constraints: 74656
3494.72/3503.73 c #Conflicts: 1055000 | #Constraints: 75656
3494.72/3503.73 c #Conflicts: 1056000 | #Constraints: 76656
3494.72/3503.73 c #Conflicts: 1057000 | #Constraints: 77656
3494.72/3503.73 c #Conflicts: 1058000 | #Constraints: 78656
3494.72/3503.73 c #Conflicts: 1059000 | #Constraints: 79656
3494.72/3503.73 c #Conflicts: 1060000 | #Constraints: 80656
3494.72/3503.73 c #Conflicts: 1061000 | #Constraints: 81656
3494.72/3503.73 c #Conflicts: 1062000 | #Constraints: 82656
3494.72/3503.73 c INPROCESSING
3494.72/3503.73 c GARBAGE COLLECT
3494.72/3503.73 c #Conflicts: 1063000 | #Constraints: 43572
3494.72/3503.73 c #Conflicts: 1064000 | #Constraints: 44572
3494.72/3503.73 c #Conflicts: 1065000 | #Constraints: 45572
3494.72/3503.73 c #Conflicts: 1066000 | #Constraints: 46572
3494.72/3503.73 c #Conflicts: 1067000 | #Constraints: 47572
3494.72/3503.73 c #Conflicts: 1068000 | #Constraints: 48572
3494.72/3503.73 c #Conflicts: 1069000 | #Constraints: 49572
3494.72/3503.73 c #Conflicts: 1070000 | #Constraints: 50572
3494.72/3503.73 c #Conflicts: 1071000 | #Constraints: 51572
3494.72/3503.73 c #Conflicts: 1072000 | #Constraints: 52572
3494.72/3503.73 c #Conflicts: 1073000 | #Constraints: 53572
3494.72/3503.73 c #Conflicts: 1074000 | #Constraints: 54572
3494.72/3503.73 c #Conflicts: 1075000 | #Constraints: 55572
3494.72/3503.73 c #Conflicts: 1076000 | #Constraints: 56572
3494.72/3503.73 c #Conflicts: 1077000 | #Constraints: 57572
3494.72/3503.73 c #Conflicts: 1078000 | #Constraints: 58572
3494.72/3503.73 c #Conflicts: 1079000 | #Constraints: 59572
3494.72/3503.73 c #Conflicts: 1080000 | #Constraints: 60572
3494.72/3503.73 c #Conflicts: 1081000 | #Constraints: 61572
3494.72/3503.73 c #Conflicts: 1082000 | #Constraints: 62572
3494.72/3503.73 c INPROCESSING
3494.72/3503.73 c GARBAGE COLLECT
3494.72/3503.73 c #Conflicts: 1083000 | #Constraints: 33085
3494.72/3503.73 c #Conflicts: 1084000 | #Constraints: 34085
3494.72/3503.73 c #Conflicts: 1085000 | #Constraints: 35085
3494.72/3503.73 c #Conflicts: 1086000 | #Constraints: 36085
3494.72/3503.73 c #Conflicts: 1087000 | #Constraints: 37085
3494.72/3503.73 c #Conflicts: 1088000 | #Constraints: 38085
3494.72/3503.73 c #Conflicts: 1089000 | #Constraints: 39085
3494.72/3503.73 c #Conflicts: 1090000 | #Constraints: 40085
3494.72/3503.73 c #Conflicts: 1091000 | #Constraints: 41085
3494.72/3503.73 c #Conflicts: 1092000 | #Constraints: 42085
3494.72/3503.73 c #Conflicts: 1093000 | #Constraints: 43085
3600.03/3609.30 c #Conflicts: 1094000 | #Constraints: 44085
3600.03/3609.30 c #Conflicts: 1095000 | #Constraints: 45085
3600.03/3609.30 c #Conflicts: 1096000 | #Constraints: 46085
3600.03/3609.30 c #Conflicts: 1097000 | #Constraints: 47085
3600.03/3609.30 c #Conflicts: 1098000 | #Constraints: 48085
3600.03/3609.30 c #Conflicts: 1099000 | #Constraints: 49085
3600.03/3609.30 c #Conflicts: 1100000 | #Constraints: 50085
3600.03/3609.30 c #Conflicts: 1101000 | #Constraints: 51085
3600.03/3609.30 c #Conflicts: 1102000 | #Constraints: 52085
3600.03/3609.30 c #Conflicts: 1103000 | #Constraints: 53085
3600.03/3609.30 c #Conflicts: 1104000 | #Constraints: 54085
3600.03/3609.30 c INPROCESSING
3600.03/3609.30 c GARBAGE COLLECT
3600.03/3609.30 c #Conflicts: 1105000 | #Constraints: 29282
3600.03/3609.30 c #Conflicts: 1106000 | #Constraints: 30282
3600.03/3609.30 c #Conflicts: 1107000 | #Constraints: 31282
3600.03/3609.30 c #Conflicts: 1108000 | #Constraints: 32282
3600.03/3609.30 c #Conflicts: 1109000 | #Constraints: 33282
3600.03/3609.30 c #Conflicts: 1110000 | #Constraints: 34282
3600.03/3609.30 c #Conflicts: 1111000 | #Constraints: 35282
3600.03/3609.30 c #Conflicts: 1112000 | #Constraints: 36282
3600.03/3609.30 c #Conflicts: 1113000 | #Constraints: 37282
3600.03/3609.30 c #Conflicts: 1114000 | #Constraints: 38282
3600.03/3609.30 c #Conflicts: 1115000 | #Constraints: 39282
3600.03/3609.30 c #Conflicts: 1116000 | #Constraints: 40282
3600.03/3609.30 c #Conflicts: 1117000 | #Constraints: 41282
3600.03/3609.30 c #Conflicts: 1118000 | #Constraints: 42282
3600.03/3609.30 c Program interrupted by user.
3600.03/3609.30 c cpu time 3584.49 s
3600.03/3609.30 c deterministic time 350228627479 3.50e+11
3600.03/3609.30 c optimization time 211.489 s
3600.03/3609.30 c total solve time 3373 s
3600.03/3609.30 c core-guided solve time 3373 s
3600.03/3609.30 c propagation time 3159.63 s
3600.03/3609.30 c conflict analysis time 391.623 s
3600.03/3609.30 c propagations 154310515
3600.03/3609.30 c resolve steps 13403106
3600.03/3609.30 c decisions 10141887
3600.03/3609.30 c conflicts 1118534
3600.03/3609.30 c restarts 2046
3600.03/3609.30 c inprocessing phases 92
3600.03/3609.30 c input clauses 1478
3600.03/3609.30 c input cardinalities 795
3600.03/3609.30 c input general constraints 1167
3600.03/3609.30 c input average constraint length 72.42
3600.03/3609.30 c input average constraint degree 31.78
3600.03/3609.30 c learned clauses 361952
3600.03/3609.30 c learned cardinalities 258
3600.03/3609.30 c learned general constraints 756463
3600.03/3609.30 c learned average constraint length 166.61
3600.03/3609.30 c learned average constraint degree 705223.90
3600.03/3609.30 c watched constraints 618272
3600.03/3609.30 c counting constraints 139358
3600.03/3609.30 c gcd simplifications 37750
3600.03/3609.30 c detected cardinalities 4
3600.03/3609.30 c weakened non-implied lits 21038743
3600.03/3609.30 c weakened non-implying lits 66131
3600.03/3609.30 c original variables 906
3600.03/3609.30 c clausal propagations 53855372
3600.03/3609.30 c cardinality propagations 3689015
3600.03/3609.30 c watched propagations 36584747
3600.03/3609.30 c counting propagations 59342139
3600.03/3609.30 c watch lookups 75033053171
3600.03/3609.30 c watch backjump lookups 69241835696
3600.03/3609.30 c watch checks 182661691189
3600.03/3609.30 c propagation checks 22366183431
3600.03/3609.30 c constraint additions 595841089
3600.03/3609.30 c trail pops 165570500
3600.03/3609.30 c formula constraints 1039
3600.03/3609.30 c learned constraints 1118673
3600.03/3609.30 c bound constraints 247
3600.03/3609.30 c core-guided constraints 2154
3600.03/3609.30 c encountered formula constraints 3127590
3600.03/3609.30 c encountered learned constraints 8662024
3600.03/3609.30 c encountered bound constraints 178
3600.03/3609.30 c encountered core-guided constraints 2731848
3600.03/3609.30 c LP total time 0 s
3600.03/3609.30 c LP solve time 0 s
3600.03/3609.30 c LP constraints added 0
3600.03/3609.30 c LP constraints removed 0
3600.03/3609.30 c LP pivots internal 0
3600.03/3609.30 c LP pivots root 0
3600.03/3609.30 c LP calls 0
3600.03/3609.30 c LP optimalities 0
3600.03/3609.30 c LP no pivot count 0
3600.03/3609.30 c LP infeasibilities 0
3600.03/3609.30 c LP valid Farkas constraints 0
3600.03/3609.30 c LP learned Farkas constraints 0
3600.03/3609.30 c LP basis resets 0
3600.03/3609.30 c LP cycling count 0
3600.03/3609.30 c LP singular count 0
3600.03/3609.30 c LP no primal count 0
3600.03/3609.30 c LP no farkas count 0
3600.03/3609.30 c LP other issue count 0
3600.03/3609.30 c LP Gomory cuts 0
3600.03/3609.30 c LP learned cuts 0
3600.03/3609.30 c LP deleted cuts 0
3600.03/3609.30 c LP encountered Gomory constraints 0
3600.03/3609.30 c LP encountered Farkas constraints 0
3600.03/3609.30 c LP encountered learned Farkas constraints 0
3600.03/3609.30 c CG auxiliary variables introduced 811
3600.03/3609.30 c CG solutions found 8
3600.03/3609.30 c CG cores constructed 218
3600.03/3609.30 c CG core cardinality constraints returned 21
3600.03/3609.30 c CG unit cores 0
3600.03/3609.30 c CG single cores 184
3600.03/3609.30 c CG blocks removed during cardinality reduction 0
3600.03/3609.30 c CG first core best 0
3600.03/3609.30 c CG decision core best 14
3600.03/3609.30 c CG core reduction tie 20
3600.03/3609.30 c CG core degree average 1.14
3600.03/3609.30 c CG core slack average 7.65
3600.03/3609.30 c CG exhausted 9
3600.03/3609.30 c CG exhaust time 157.852 s
3600.03/3609.30 c CG trimmed 71
3600.03/3609.30 c CG trim time 0.156669 s
3600.03/3609.30 c CG minimized 0
3600.03/3609.30 c CG minimize time 0 s
3600.03/3609.30 c CG am1 prop time 0.078571 s
3600.03/3609.30 c CG # am1s reformulated 34
3600.03/3609.30 c CG lower bound derived from am1s 55
3600.03/3609.30 c CG # clausal cores 208
3600.03/3609.30 c CG # cardinality cores 24
3600.03/3609.30 c CG # pb cores 20
3600.03/3609.30 c CG # pb reforms 34
3600.03/3609.30 c CG # cores discarded because of pb reform 0
3600.03/3609.30 d LOWERBOUND -156
3600.03/3609.30 d NCORES 218
3600.03/3609.30 d NPBCORES 20
3600.03/3609.30 d NPBREFORM 34
3600.03/3609.30 d NTRIMMED 71
3600.03/3609.30 d NEXHAUSTED 9
3600.03/3609.30 d NAM1S 34
3600.03/3609.30 d AM1LB 55
3600.03/3609.30 o 14
3600.03/3609.30 s SATISFIABLE
3600.03/3609.30 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: 63931 MiB (62242 MiB free)
memory of node 1: 64510 MiB (58996 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435938-1721063105/watcher-4435938-1721063105 -o /tmp/evaluation-result-4435938-1721063105/solver-4435938-1721063105 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721058885-807327 --watchdog 3760 pb-oll-rs HOME/instance-4435938-1721063105.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=810214, runsolver pid=810211
[startup+0.100894 s]*
/proc/loadavg: 4.29 4.20 4.12 5/255 810215
/proc/meminfo: memFree=124140676/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=41212 memory=11972 CPUtime=0.09 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 1323 0 0 0 8 1 0 0 20 0 1 0 158474681 42201088 2993 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 10303 2993 1367 291 0 1837 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41212 KiB
Current children cumulated memory: 11972 KiB
[startup+0.205894 s]*
/proc/loadavg: 4.29 4.20 4.12 5/255 810215
/proc/meminfo: memFree=124138660/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=43312 memory=14220 CPUtime=0.18 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 1834 0 0 0 17 1 0 0 20 0 1 0 158474681 44351488 3555 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 10828 3555 1367 291 0 2362 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 43312 KiB
Current children cumulated memory: 14220 KiB
[startup+0.305898 s]*
/proc/loadavg: 4.29 4.20 4.12 5/255 810215
/proc/meminfo: memFree=124133056/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=48340 memory=19420 CPUtime=0.28 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 2674 0 0 0 26 2 0 0 20 0 1 0 158474681 49500160 4855 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 12085 4855 1367 291 0 3619 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 48340 KiB
Current children cumulated memory: 19420 KiB
[startup+0.700226 s]
/proc/loadavg: 4.29 4.20 4.12 5/255 810215
/proc/meminfo: memFree=124129612/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=58468 memory=27840 CPUtime=0.67 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 4221 0 0 0 63 4 0 0 20 0 1 0 158474681 59871232 6960 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 14617 6960 1367 291 0 6151 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 58468 KiB
Current children cumulated memory: 27840 KiB
[startup+1.50022 s]
/proc/loadavg: 4.29 4.20 4.12 5/255 810215
/proc/meminfo: memFree=124123392/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=75368 memory=39608 CPUtime=1.47 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 6615 0 0 0 140 7 0 0 20 0 1 0 158474681 77176832 9902 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 18842 9902 1427 291 0 10376 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 75368 KiB
Current children cumulated memory: 39608 KiB
[startup+3.10552 s]
/proc/loadavg: 4.29 4.20 4.12 5/255 810215
/proc/meminfo: memFree=124104880/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=78984 memory=47492 CPUtime=3.06 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 7543 0 0 0 295 11 0 0 20 0 1 0 158474681 80879616 11873 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 19746 11873 1427 291 0 11280 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 78984 KiB
Current children cumulated memory: 47492 KiB
[startup+6.30021 s]
/proc/loadavg: 4.27 4.19 4.12 5/255 810216
/proc/meminfo: memFree=124096480/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=95080 memory=55700 CPUtime=6.26 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 9134 0 0 0 609 17 0 0 20 0 1 0 158474681 97361920 13925 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 23770 13925 1427 291 0 15304 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 95080 KiB
Current children cumulated memory: 55700 KiB
[startup+12.7002 s]
/proc/loadavg: 4.25 4.19 4.12 5/255 810216
/proc/meminfo: memFree=124074192/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=110828 memory=73160 CPUtime=12.63 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 11968 0 0 0 1238 25 0 0 20 0 1 0 158474681 113487872 18290 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 27707 18290 1427 291 0 19241 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 110828 KiB
Current children cumulated memory: 73160 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.18 4.12 5/254 810219
/proc/meminfo: memFree=123983656/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=137220 memory=84204 CPUtime=25.41 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 14183 0 0 0 2496 45 0 0 20 0 1 0 158474681 140513280 21051 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 34305 21051 1427 291 0 25839 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 137220 KiB
Current children cumulated memory: 84204 KiB
[startup+51.1055 s]
/proc/loadavg: 4.20 4.18 4.12 5/254 810222
/proc/meminfo: memFree=123866320/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=179160 memory=128428 CPUtime=50.95 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 23731 0 0 0 5017 78 0 0 20 0 1 0 158474681 183459840 32107 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 44790 32107 1427 291 0 36324 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 179160 KiB
Current children cumulated memory: 128428 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.17 4.11 5/254 810231
/proc/meminfo: memFree=123661640/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=193740 memory=140652 CPUtime=102.02 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 26368 0 0 0 10062 140 0 0 20 0 1 0 158474681 198389760 35163 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 48435 35163 1427 291 0 39969 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 193740 KiB
Current children cumulated memory: 140652 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/255 810243
/proc/meminfo: memFree=123458560/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=205256 memory=152092 CPUtime=161.87 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 28211 0 0 0 15975 212 0 0 20 0 1 0 158474681 210182144 38023 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 51314 38023 1427 291 0 42848 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 205256 KiB
Current children cumulated memory: 152092 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/256 810254
/proc/meminfo: memFree=123174076/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=205544 memory=152324 CPUtime=221.72 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 28313 0 0 0 21910 262 0 0 20 0 1 0 158474681 210477056 38081 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 51386 38081 1427 291 0 42920 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 205544 KiB
Current children cumulated memory: 152324 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 810264
/proc/meminfo: memFree=123139504/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=205500 memory=152572 CPUtime=281.58 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 28383 0 0 0 27850 308 0 0 20 0 1 0 158474681 210432000 38143 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 51375 38143 1427 291 0 42909 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 205500 KiB
Current children cumulated memory: 152572 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/259 810281
/proc/meminfo: memFree=122959196/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=205956 memory=152932 CPUtime=341.43 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 28530 0 0 0 33798 345 0 0 20 0 1 0 158474681 210898944 38233 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 51489 38233 1427 291 0 43023 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 205956 KiB
Current children cumulated memory: 152932 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/259 810291
/proc/meminfo: memFree=122896832/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=206376 memory=153328 CPUtime=401.29 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 28686 0 0 0 39742 387 0 0 20 0 1 0 158474681 211329024 38332 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 51594 38332 1427 291 0 43128 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 206376 KiB
Current children cumulated memory: 153328 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/258 810301
/proc/meminfo: memFree=122852788/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=206612 memory=153568 CPUtime=461.14 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 28803 0 0 0 45688 426 0 0 20 0 1 0 158474681 211570688 38392 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 51653 38392 1427 291 0 43187 0
################
# More data... #
################
Current children cumulated memory: 194252 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 811361
/proc/meminfo: memFree=119593796/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=274428 memory=195296 CPUtime=2914.88 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 39293 0 0 0 290061 1427 0 0 20 0 1 0 158474681 281014272 48824 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 68607 48824 1427 291 0 60141 0
Current children cumulated CPU time: 2914.88 s
Current children cumulated vsize: 274428 KiB
Current children cumulated memory: 195296 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 811373
/proc/meminfo: memFree=119569072/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=276988 memory=201480 CPUtime=2974.73 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 39807 0 0 0 296033 1440 0 0 20 0 1 0 158474681 283635712 50370 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 69247 50370 1427 291 0 60781 0
Current children cumulated CPU time: 2974.73 s
Current children cumulated vsize: 276988 KiB
Current children cumulated memory: 201480 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 811904
/proc/meminfo: memFree=128162516/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=280728 memory=216844 CPUtime=3034.56 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 40577 0 0 0 302006 1450 0 0 20 0 1 0 158474681 287465472 54211 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 70182 54211 1427 291 0 61716 0
Current children cumulated CPU time: 3034.56 s
Current children cumulated vsize: 280728 KiB
Current children cumulated memory: 216844 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 811914
/proc/meminfo: memFree=128131812/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=284272 memory=239036 CPUtime=3094.41 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 41363 0 0 0 307981 1460 0 0 20 0 1 0 158474681 291094528 59759 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 71068 59759 1427 291 0 62602 0
Current children cumulated CPU time: 3094.41 s
Current children cumulated vsize: 284272 KiB
Current children cumulated memory: 239036 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 811925
/proc/meminfo: memFree=128110064/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=288168 memory=254456 CPUtime=3154.26 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 42045 0 0 0 313959 1467 0 0 20 0 1 0 158474681 295084032 63614 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 72042 63614 1427 291 0 63576 0
Current children cumulated CPU time: 3154.26 s
Current children cumulated vsize: 288168 KiB
Current children cumulated memory: 254456 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 812105
/proc/meminfo: memFree=128102576/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=290928 memory=256444 CPUtime=3214.08 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 42867 0 0 0 319933 1475 0 0 20 0 1 0 158474681 297910272 64111 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 72732 64111 1427 291 0 64266 0
Current children cumulated CPU time: 3214.08 s
Current children cumulated vsize: 290928 KiB
Current children cumulated memory: 256444 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 812115
/proc/meminfo: memFree=128098792/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=290928 memory=256444 CPUtime=3273.92 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 42970 0 0 0 325909 1483 0 0 20 0 1 0 158474681 297910272 64111 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 72732 64111 1427 291 0 64266 0
Current children cumulated CPU time: 3273.92 s
Current children cumulated vsize: 290928 KiB
Current children cumulated memory: 256444 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 812130
/proc/meminfo: memFree=128092312/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=290600 memory=256244 CPUtime=3333.76 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 43324 0 0 0 331883 1493 0 0 20 0 1 0 158474681 297574400 64061 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 72650 64061 1427 291 0 64184 0
Current children cumulated CPU time: 3333.76 s
Current children cumulated vsize: 290600 KiB
Current children cumulated memory: 256244 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/258 812151
/proc/meminfo: memFree=128090268/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=290600 memory=256244 CPUtime=3393.59 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 43420 0 0 0 337856 1503 0 0 20 0 1 0 158474681 297574400 64061 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 72650 64061 1427 291 0 64184 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 290600 KiB
Current children cumulated memory: 256244 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/259 812162
/proc/meminfo: memFree=128083880/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=290600 memory=256244 CPUtime=3453.43 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 43519 0 0 0 343831 1512 0 0 20 0 1 0 158474681 297574400 64061 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 72650 64061 1427 291 0 64184 0
Current children cumulated CPU time: 3453.43 s
Current children cumulated vsize: 290600 KiB
Current children cumulated memory: 256244 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 812172
/proc/meminfo: memFree=128082880/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=290928 memory=256444 CPUtime=3513.26 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 43663 0 0 0 349792 1534 0 0 20 0 1 0 158474681 297910272 64111 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 72732 64111 1427 291 0 64266 0
Current children cumulated CPU time: 3513.26 s
Current children cumulated vsize: 290928 KiB
Current children cumulated memory: 256444 KiB
[startup+3582.3 s]
/proc/loadavg: 4.53 4.19 4.12 5/257 812184
/proc/meminfo: memFree=128078080/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=290928 memory=256444 CPUtime=3573.09 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 43761 0 0 0 355760 1549 0 0 20 0 1 0 158474681 297910272 64111 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 72732 64111 1427 291 0 64266 0
Current children cumulated CPU time: 3573.09 s
Current children cumulated vsize: 290928 KiB
Current children cumulated memory: 256444 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.35 4.18 4.12 5/257 812190
/proc/meminfo: memFree=128075864/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=290928 memory=258200 CPUtime=3600.03 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 43855 0 0 0 358448 1555 0 0 20 0 1 0 158474681 297910272 64550 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 72732 64550 1427 291 0 64266 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 290928 KiB
Current children cumulated memory: 258200 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 810214 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.49 s, system=15.5576 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.35 4.18 4.12 5/257 812190
/proc/meminfo: memFree=128075864/131524600 swapFree=131071996/131071996
[pid=810214] ppid=810211 vsize=290928 memory=258200 CPUtime=3600.03 cores=4,6
/proc/810214/stat : 810214 (pb-oll-rs) R 810211 810214 807316 0 -1 4194304 43855 0 0 0 358448 1555 0 0 20 0 1 0 158474681 297910272 64550 134679101440 4194304 5384005 140725031768528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 32661504 140725031777303 140725031777380 140725031777380 140725031784395 0
/proc/810214/statm: 72732 64550 1427 291 0 64266 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 290928 KiB
Current children cumulated memory: 258200 KiB
Child status: 0
Real time (s): 3609.31
CPU time (s): 3600.05
CPU user time (s): 3584.49
CPU system time (s): 15.5576
CPU usage (%): 99.7434
Max. virtual memory (cumulated for all children) (KiB): 292072
Max. memory (cumulated for all children) (KiB): 258200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.49
system time used= 15.5576
maximum resident set size= 258408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43873
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= 86
involuntary context switches= 2121
# summary of solver processes directly reported to runsolver:
# pid: 810214
# total CPU time (s): 3600.05
# total CPU user time (s): 3584.49
# total CPU system time (s): 15.5576
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7476 second user time and 16.7652 second system time
The end
Begin job on nodeC022 at 2024-07-15 19:05:18
IDJOB=4435938
IDBENCH=146658
IDSOLVER=3067
FILE ID=nodeC022/4435938-1721063105
RUNJOBID= nodeC022-1721058885-807327
SLURM_JOB_ID= 7505493
Free space on /tmp= 890076 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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 --file-size-limit 102400 -w /tmp/evaluation-result-4435938-1721063105/watcher-4435938-1721063105 -o /tmp/evaluation-result-4435938-1721063105/solver-4435938-1721063105 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721058885-807327 --watchdog 3760 pb-oll-rs HOME/instance-4435938-1721063105.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f3472af25f5f0fee0e9203b0329f534f
RANDOM SEED=1695901820
nodeC022.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3679.469
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3678.351
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
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 : 3637.212
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.992
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
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 : 3647.987
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3678.411
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
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 : 3638.121
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.856
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124148372 kB
MemAvailable: 125313188 kB
Buffers: 369472 kB
Cached: 1626508 kB
SwapCached: 0 kB
Active: 632700 kB
Inactive: 6134988 kB
Active(anon): 1548 kB
Inactive(anon): 4807872 kB
Active(file): 631152 kB
Inactive(file): 1327116 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 1980 kB
Writeback: 0 kB
AnonPages: 4771048 kB
Mapped: 107232 kB
Shmem: 37720 kB
KReclaimable: 92392 kB
Slab: 196192 kB
SReclaimable: 92392 kB
SUnreclaim: 103800 kB
KernelStack: 4112 kB
PageTables: 19900 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 6395652 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59584 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1161216 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 228052 kB
DirectMap2M: 22614016 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 890068 MiB
End job on nodeC022 at 2024-07-15 20:05:27