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.001946
0.00/0.00 c stratification level: 3
0.00/0.01 c bounds - >= -541 @ 0.002194
0.00/0.01 c bounds - >= -538 @ 0.002443
0.00/0.01 c bounds - >= -535 @ 0.002727
0.00/0.01 c bounds - >= -532 @ 0.003016
0.00/0.01 c bounds - >= -529 @ 0.003205
0.00/0.01 c bounds - >= -526 @ 0.003205
0.00/0.01 c bounds - >= -523 @ 0.003205
0.00/0.01 c bounds - >= -520 @ 0.003321
0.00/0.01 c bounds - >= -517 @ 0.003652
0.00/0.01 c bounds - >= -514 @ 0.003985
0.00/0.01 c finalizing WCE round: reformulating cores
3.08/3.15 c #Conflicts: 1000 | #Constraints: 2065
3.08/3.15 c #Conflicts: 2000 | #Constraints: 3067
3.08/3.15 c INPROCESSING
3.08/3.15 c GARBAGE COLLECT
3.08/3.15 c #Conflicts: 3000 | #Constraints: 3067
3.08/3.15 c #Conflicts: 4000 | #Constraints: 4069
3.08/3.15 c INPROCESSING
3.08/3.15 c GARBAGE COLLECT
3.08/3.15 c #Conflicts: 5000 | #Constraints: 3474
3.08/3.15 c #Conflicts: 6000 | #Constraints: 4476
3.08/3.15 c INPROCESSING
3.08/3.15 c GARBAGE COLLECT
3.08/3.15 c #Conflicts: 7000 | #Constraints: 3484
3.08/3.15 c #Conflicts: 8000 | #Constraints: 4486
3.08/3.15 c bounds 41 >= -514 @ 2.96263
3.08/3.15 c bounds 40 >= -514 @ 3.04341
3.08/3.15 c stratification level: 2
3.28/3.37 c bounds 40 >= -496 @ 3.05093
3.28/3.37 c bounds 40 >= -494 @ 3.05228
3.28/3.37 c bounds 40 >= -492 @ 3.05345
3.28/3.37 c bounds 40 >= -490 @ 3.05482
3.28/3.37 c bounds 40 >= -488 @ 3.05577
3.28/3.37 c bounds 40 >= -486 @ 3.05728
3.28/3.37 c bounds 40 >= -484 @ 3.05825
3.28/3.37 c bounds 40 >= -482 @ 3.05919
3.28/3.37 c bounds 40 >= -480 @ 3.05991
3.28/3.37 c bounds 40 >= -478 @ 3.06205
3.28/3.37 c bounds 40 >= -476 @ 3.063
3.28/3.37 c bounds 40 >= -474 @ 3.06414
3.28/3.37 c bounds 40 >= -472 @ 3.06485
3.28/3.37 c bounds 40 >= -470 @ 3.06613
3.28/3.37 c bounds 40 >= -468 @ 3.06759
3.28/3.37 c bounds 40 >= -466 @ 3.06887
3.28/3.37 c bounds 40 >= -464 @ 3.07031
3.28/3.37 c bounds 40 >= -462 @ 3.07108
3.28/3.37 c bounds 40 >= -458 @ 3.07108
3.28/3.37 c bounds 40 >= -454 @ 3.07238
3.28/3.37 c bounds 40 >= -452 @ 3.07378
3.28/3.37 c bounds 40 >= -450 @ 3.07469
3.28/3.37 c bounds 40 >= -448 @ 3.07588
3.28/3.37 c bounds 40 >= -444 @ 3.07758
3.28/3.37 c bounds 40 >= -442 @ 3.07901
3.28/3.37 c bounds 40 >= -440 @ 3.0792
3.28/3.37 c bounds 40 >= -438 @ 3.08088
3.28/3.37 c bounds 40 >= -436 @ 3.08155
3.28/3.37 c bounds 40 >= -434 @ 3.08308
3.28/3.37 c bounds 40 >= -432 @ 3.08319
3.28/3.37 c bounds 40 >= -430 @ 3.08468
3.28/3.37 c bounds 40 >= -428 @ 3.08599
3.28/3.37 c bounds 40 >= -426 @ 3.08772
3.28/3.37 c bounds 40 >= -424 @ 3.0888
3.28/3.37 c bounds 40 >= -422 @ 3.08942
3.28/3.37 c bounds 40 >= -420 @ 3.09095
3.28/3.37 c bounds 40 >= -418 @ 3.0924
3.28/3.37 c bounds 40 >= -414 @ 3.09399
3.28/3.37 c bounds 40 >= -412 @ 3.09571
3.28/3.37 c bounds 40 >= -410 @ 3.09667
3.28/3.37 c bounds 40 >= -408 @ 3.09785
3.28/3.37 c bounds 40 >= -406 @ 3.09815
3.28/3.37 c bounds 40 >= -404 @ 3.09899
3.28/3.37 c bounds 40 >= -402 @ 3.10018
3.28/3.37 c bounds 40 >= -400 @ 3.10628
3.28/3.37 c bounds 40 >= -398 @ 3.11326
3.28/3.37 c finalizing WCE round: reformulating cores
20.94/21.10 c #Conflicts: 9000 | #Constraints: 5598
20.94/21.10 c INPROCESSING
20.94/21.10 c GARBAGE COLLECT
20.94/21.10 c #Conflicts: 10000 | #Constraints: 4232
20.94/21.10 c #Conflicts: 11000 | #Constraints: 5241
20.94/21.10 c #Conflicts: 12000 | #Constraints: 6250
20.94/21.10 c INPROCESSING
20.94/21.10 c GARBAGE COLLECT
20.94/21.10 c #Conflicts: 13000 | #Constraints: 4692
20.94/21.10 c #Conflicts: 14000 | #Constraints: 5694
20.94/21.10 c #Conflicts: 15000 | #Constraints: 6699
20.94/21.10 c INPROCESSING
20.94/21.10 c GARBAGE COLLECT
20.94/21.10 c #Conflicts: 16000 | #Constraints: 4921
20.94/21.10 c #Conflicts: 17000 | #Constraints: 5923
20.94/21.10 c #Conflicts: 18000 | #Constraints: 6931
20.94/21.10 c INPROCESSING
20.94/21.10 c GARBAGE COLLECT
20.94/21.10 c #Conflicts: 19000 | #Constraints: 4937
20.94/21.10 c #Conflicts: 20000 | #Constraints: 5939
20.94/21.10 c #Conflicts: 21000 | #Constraints: 6941
20.94/21.10 c INPROCESSING
20.94/21.10 c GARBAGE COLLECT
20.94/21.10 c #Conflicts: 22000 | #Constraints: 4749
20.94/21.10 c #Conflicts: 23000 | #Constraints: 5754
20.94/21.10 c #Conflicts: 24000 | #Constraints: 6756
20.94/21.10 c #Conflicts: 25000 | #Constraints: 7758
20.94/21.10 c INPROCESSING
20.94/21.10 c GARBAGE COLLECT
20.94/21.10 c #Conflicts: 26000 | #Constraints: 5367
20.94/21.10 c #Conflicts: 27000 | #Constraints: 6369
20.94/21.10 c #Conflicts: 28000 | #Constraints: 7371
20.94/21.10 c #Conflicts: 29000 | #Constraints: 8375
20.94/21.10 c INPROCESSING
20.94/21.10 c GARBAGE COLLECT
20.94/21.10 c #Conflicts: 30000 | #Constraints: 5793
20.94/21.10 c #Conflicts: 31000 | #Constraints: 6795
20.94/21.10 c #Conflicts: 32000 | #Constraints: 7797
20.94/21.10 c #Conflicts: 33000 | #Constraints: 8801
20.94/21.10 c INPROCESSING
20.94/21.10 c GARBAGE COLLECT
20.94/21.10 c #Conflicts: 34000 | #Constraints: 6007
20.94/21.10 c #Conflicts: 35000 | #Constraints: 7015
20.94/21.10 c #Conflicts: 36000 | #Constraints: 8018
20.94/21.10 c bounds 20 >= -398 @ 19.0443
20.94/21.10 c bounds 20 >= -394 @ 19.0483
20.94/21.10 c bounds 20 >= -392 @ 19.0515
20.94/21.10 c bounds 20 >= -390 @ 19.064
20.94/21.10 c bounds 20 >= -388 @ 19.0682
20.94/21.10 c bounds 20 >= -386 @ 19.072
20.94/21.10 c bounds 20 >= -384 @ 19.0754
20.94/21.10 c bounds 20 >= -382 @ 19.0843
20.94/21.10 c bounds 20 >= -380 @ 19.0923
20.94/21.10 c bounds 20 >= -378 @ 19.0962
20.94/21.10 c bounds 20 >= -376 @ 19.1038
20.94/21.10 c bounds 20 >= -374 @ 19.1255
20.94/21.10 c bounds 20 >= -372 @ 19.151
20.94/21.10 c bounds 20 >= -370 @ 19.1737
20.94/21.10 c bounds 20 >= -368 @ 19.2042
20.94/21.10 c #Conflicts: 37000 | #Constraints: 9123
20.94/21.10 c INPROCESSING
20.94/21.10 c GARBAGE COLLECT
20.94/21.10 c finalizing WCE round: reformulating cores
28.72/28.86 c #Conflicts: 38000 | #Constraints: 6085
28.72/28.86 c #Conflicts: 39000 | #Constraints: 7089
28.72/28.86 c #Conflicts: 40000 | #Constraints: 8091
28.72/28.86 c #Conflicts: 41000 | #Constraints: 9093
28.72/28.86 c INPROCESSING
28.72/28.86 c GARBAGE COLLECT
28.72/28.86 c #Conflicts: 42000 | #Constraints: 5891
28.72/28.86 c #Conflicts: 43000 | #Constraints: 6893
28.72/28.86 c #Conflicts: 44000 | #Constraints: 7897
28.72/28.86 c #Conflicts: 45000 | #Constraints: 8899
28.72/28.86 c #Conflicts: 46000 | #Constraints: 9901
28.72/28.86 c INPROCESSING
28.72/28.86 c GARBAGE COLLECT
28.72/28.86 c #Conflicts: 47000 | #Constraints: 6494
28.72/28.86 c #Conflicts: 48000 | #Constraints: 7496
28.72/28.86 c bounds 19 >= -368 @ 27.7327
28.72/28.86 c bounds 19 >= -366 @ 27.7444
28.72/28.86 c finalizing WCE round: reformulating cores
35.70/35.83 c #Conflicts: 49000 | #Constraints: 8530
35.70/35.83 c bounds 18 >= -366 @ 29.0753
35.70/35.83 c #Conflicts: 50000 | #Constraints: 9530
35.70/35.83 c #Conflicts: 51000 | #Constraints: 10530
35.70/35.83 c INPROCESSING
35.70/35.83 c GARBAGE COLLECT
35.70/35.83 c #Conflicts: 52000 | #Constraints: 6915
35.70/35.83 c #Conflicts: 53000 | #Constraints: 7915
35.70/35.83 c #Conflicts: 54000 | #Constraints: 8915
35.70/35.83 c bounds 17 >= -366 @ 35.1218
35.70/35.83 c stratification level: 1
38.99/39.17 c bounds 17 >= -339 @ 35.1559
38.99/39.17 c bounds 17 >= -336 @ 35.158
38.99/39.17 c bounds 17 >= -335 @ 35.1609
38.99/39.17 c bounds 17 >= -332 @ 35.1618
38.99/39.17 c bounds 17 >= -331 @ 35.1642
38.99/39.17 c bounds 17 >= -328 @ 35.1657
38.99/39.17 c bounds 17 >= -326 @ 35.1699
38.99/39.17 c bounds 17 >= -324 @ 35.1729
38.99/39.17 c bounds 17 >= -323 @ 35.175
38.99/39.17 c bounds 17 >= -320 @ 35.1764
38.99/39.17 c bounds 17 >= -319 @ 35.1799
38.99/39.17 c bounds 17 >= -318 @ 35.1829
38.99/39.17 c bounds 17 >= -317 @ 35.1866
38.99/39.17 c bounds 17 >= -316 @ 35.1893
38.99/39.17 c bounds 17 >= -315 @ 35.1913
38.99/39.17 c bounds 17 >= -314 @ 35.1929
38.99/39.17 c bounds 17 >= -313 @ 35.195
38.99/39.17 c bounds 17 >= -312 @ 35.1965
38.99/39.17 c bounds 17 >= -311 @ 35.1992
38.99/39.17 c bounds 17 >= -310 @ 35.2022
38.99/39.17 c bounds 17 >= -309 @ 35.2036
38.99/39.17 c bounds 17 >= -307 @ 35.2084
38.99/39.17 c bounds 17 >= -304 @ 35.2104
38.99/39.17 c bounds 17 >= -303 @ 35.2159
38.99/39.17 c bounds 17 >= -302 @ 35.2196
38.99/39.17 c bounds 17 >= -301 @ 35.2216
38.99/39.17 c bounds 17 >= -300 @ 35.2247
38.99/39.17 c bounds 17 >= -297 @ 35.2263
38.99/39.17 c bounds 17 >= -296 @ 35.2328
38.99/39.17 c bounds 17 >= -295 @ 35.2365
38.99/39.17 c bounds 17 >= -293 @ 35.2389
38.99/39.17 c bounds 17 >= -292 @ 35.2413
38.99/39.17 c bounds 17 >= -291 @ 35.2432
38.99/39.17 c bounds 17 >= -290 @ 35.2517
38.99/39.17 c bounds 17 >= -289 @ 35.2553
38.99/39.17 c bounds 17 >= -286 @ 35.2566
38.99/39.17 c bounds 17 >= -285 @ 35.2586
38.99/39.17 c bounds 17 >= -284 @ 35.2628
38.99/39.17 c bounds 17 >= -283 @ 35.2671
38.99/39.17 c bounds 17 >= -282 @ 35.2697
38.99/39.17 c bounds 17 >= -281 @ 35.2755
38.99/39.17 c bounds 17 >= -280 @ 35.2813
38.99/39.17 c bounds 17 >= -279 @ 35.2836
38.99/39.17 c bounds 17 >= -277 @ 35.2919
38.99/39.17 c bounds 17 >= -274 @ 35.2989
38.99/39.17 c bounds 17 >= -273 @ 35.3032
38.99/39.17 c bounds 17 >= -271 @ 35.3066
38.99/39.17 c bounds 17 >= -270 @ 35.3105
38.99/39.17 c bounds 17 >= -269 @ 35.3147
38.99/39.17 c bounds 17 >= -268 @ 35.318
38.99/39.17 c bounds 17 >= -266 @ 35.3225
38.99/39.17 c bounds 17 >= -265 @ 35.3269
38.99/39.17 c bounds 17 >= -264 @ 35.3303
38.99/39.17 c bounds 17 >= -263 @ 35.3343
38.99/39.17 c bounds 17 >= -262 @ 35.3403
38.99/39.17 c bounds 17 >= -261 @ 35.3427
38.99/39.17 c bounds 17 >= -260 @ 35.3455
38.99/39.17 c bounds 17 >= -259 @ 35.3513
38.99/39.17 c bounds 17 >= -258 @ 35.3576
38.99/39.17 c bounds 17 >= -257 @ 35.3635
38.99/39.17 c bounds 17 >= -256 @ 35.3708
38.99/39.17 c bounds 17 >= -255 @ 35.3783
38.99/39.17 c bounds 17 >= -254 @ 35.3836
38.99/39.17 c bounds 17 >= -253 @ 35.3904
38.99/39.17 c bounds 17 >= -251 @ 35.4007
38.99/39.17 c bounds 17 >= -250 @ 35.4113
38.99/39.17 c bounds 17 >= -249 @ 35.4148
38.99/39.17 c bounds 17 >= -248 @ 35.417
38.99/39.17 c bounds 17 >= -247 @ 35.4189
38.99/39.17 c bounds 17 >= -246 @ 35.4241
38.99/39.17 c bounds 17 >= -245 @ 35.4285
38.99/39.17 c bounds 17 >= -244 @ 35.4319
38.99/39.17 c bounds 17 >= -243 @ 35.4346
38.99/39.17 c bounds 17 >= -242 @ 35.4383
38.99/39.17 c bounds 17 >= -241 @ 35.4437
38.99/39.17 c bounds 17 >= -240 @ 35.4521
38.99/39.17 c bounds 17 >= -239 @ 35.4567
38.99/39.17 c bounds 17 >= -238 @ 35.4611
38.99/39.17 c bounds 17 >= -237 @ 35.4629
38.99/39.17 c bounds 17 >= -236 @ 35.4665
38.99/39.17 c bounds 17 >= -235 @ 35.4721
38.99/39.17 c bounds 17 >= -234 @ 35.4783
38.99/39.17 c bounds 17 >= -233 @ 35.4833
38.99/39.17 c bounds 17 >= -232 @ 35.4891
38.99/39.17 c bounds 17 >= -231 @ 35.4954
38.99/39.17 c bounds 17 >= -230 @ 35.5006
38.99/39.17 c bounds 17 >= -229 @ 35.5058
38.99/39.17 c bounds 17 >= -228 @ 35.5108
38.99/39.17 c bounds 17 >= -227 @ 35.5152
38.99/39.17 c bounds 17 >= -226 @ 35.5296
38.99/39.17 c bounds 17 >= -225 @ 35.533
38.99/39.17 c bounds 17 >= -224 @ 35.5361
38.99/39.17 c bounds 17 >= -223 @ 35.5407
38.99/39.17 c bounds 17 >= -222 @ 35.5478
38.99/39.17 c bounds 17 >= -221 @ 35.5552
38.99/39.17 c bounds 17 >= -220 @ 35.5686
38.99/39.17 c bounds 17 >= -219 @ 35.5751
38.99/39.17 c bounds 17 >= -218 @ 35.5944
38.99/39.17 c bounds 17 >= -217 @ 35.6204
38.99/39.17 c bounds 17 >= -216 @ 35.6315
38.99/39.17 c bounds 17 >= -215 @ 35.6402
38.99/39.17 c bounds 17 >= -214 @ 35.6578
38.99/39.17 c bounds 17 >= -213 @ 35.7335
38.99/39.17 c bounds 17 >= -212 @ 35.7836
38.99/39.17 c bounds 17 >= -211 @ 35.8842
38.99/39.17 c bounds 17 >= -210 @ 35.9558
38.99/39.17 c bounds 17 >= -209 @ 35.9586
38.99/39.17 c bounds 17 >= -208 @ 35.9914
38.99/39.17 c bounds 17 >= -207 @ 36.4531
38.99/39.17 c bounds 17 >= -206 @ 36.5012
38.99/39.17 c #Conflicts: 55000 | #Constraints: 10428
38.99/39.17 c finalizing WCE round: reformulating cores
106.22/106.51 c #Conflicts: 56000 | #Constraints: 11434
106.22/106.51 c INPROCESSING
106.22/106.51 c GARBAGE COLLECT
106.22/106.51 c #Conflicts: 57000 | #Constraints: 7407
106.22/106.51 c #Conflicts: 58000 | #Constraints: 8409
106.22/106.51 c #Conflicts: 59000 | #Constraints: 9411
106.22/106.51 c #Conflicts: 60000 | #Constraints: 10415
106.22/106.51 c #Conflicts: 61000 | #Constraints: 11417
106.22/106.51 c INPROCESSING
106.22/106.51 c GARBAGE COLLECT
106.22/106.51 c #Conflicts: 62000 | #Constraints: 7376
106.22/106.51 c #Conflicts: 63000 | #Constraints: 8378
106.22/106.51 c #Conflicts: 64000 | #Constraints: 9380
106.22/106.51 c #Conflicts: 65000 | #Constraints: 10384
106.22/106.51 c #Conflicts: 66000 | #Constraints: 11386
106.22/106.51 c INPROCESSING
106.22/106.51 c GARBAGE COLLECT
106.22/106.51 c #Conflicts: 67000 | #Constraints: 7161
106.22/106.51 c #Conflicts: 68000 | #Constraints: 8163
106.22/106.51 c #Conflicts: 69000 | #Constraints: 9167
106.22/106.51 c #Conflicts: 70000 | #Constraints: 10169
106.22/106.51 c #Conflicts: 71000 | #Constraints: 11171
106.22/106.51 c #Conflicts: 72000 | #Constraints: 12175
106.22/106.51 c INPROCESSING
106.22/106.51 c GARBAGE COLLECT
106.22/106.51 c #Conflicts: 73000 | #Constraints: 7759
106.22/106.51 c #Conflicts: 74000 | #Constraints: 8761
106.22/106.51 c #Conflicts: 75000 | #Constraints: 9763
106.22/106.51 c #Conflicts: 76000 | #Constraints: 10767
106.22/106.51 c #Conflicts: 77000 | #Constraints: 11769
106.22/106.51 c #Conflicts: 78000 | #Constraints: 12771
106.22/106.51 c INPROCESSING
106.22/106.51 c GARBAGE COLLECT
106.22/106.51 c #Conflicts: 79000 | #Constraints: 8159
106.22/106.51 c #Conflicts: 80000 | #Constraints: 9161
106.22/106.51 c #Conflicts: 81000 | #Constraints: 10163
106.22/106.51 c #Conflicts: 82000 | #Constraints: 11167
106.22/106.51 c #Conflicts: 83000 | #Constraints: 12169
106.22/106.51 c #Conflicts: 84000 | #Constraints: 13171
106.22/106.51 c INPROCESSING
106.22/106.51 c GARBAGE COLLECT
106.22/106.51 c #Conflicts: 85000 | #Constraints: 8372
106.22/106.51 c #Conflicts: 86000 | #Constraints: 9374
106.22/106.51 c #Conflicts: 87000 | #Constraints: 10376
106.22/106.51 c #Conflicts: 88000 | #Constraints: 11380
106.22/106.51 c #Conflicts: 89000 | #Constraints: 12382
106.22/106.51 c #Conflicts: 90000 | #Constraints: 13384
106.22/106.51 c INPROCESSING
106.22/106.51 c GARBAGE COLLECT
106.22/106.51 c #Conflicts: 91000 | #Constraints: 8395
106.22/106.51 c #Conflicts: 92000 | #Constraints: 9397
106.22/106.51 c #Conflicts: 93000 | #Constraints: 10399
106.22/106.51 c #Conflicts: 94000 | #Constraints: 11403
106.22/106.51 c #Conflicts: 95000 | #Constraints: 12405
106.22/106.51 c #Conflicts: 96000 | #Constraints: 13407
106.22/106.51 c INPROCESSING
106.22/106.51 c GARBAGE COLLECT
106.22/106.51 c #Conflicts: 97000 | #Constraints: 8196
106.22/106.51 c #Conflicts: 98000 | #Constraints: 9198
106.22/106.51 c #Conflicts: 99000 | #Constraints: 10202
106.22/106.51 c #Conflicts: 100000 | #Constraints: 11204
106.22/106.51 c #Conflicts: 101000 | #Constraints: 12206
106.22/106.51 c bounds 15 >= -271 @ 76
106.22/106.51 c bounds 15 >= -271 @ 76.0688
106.22/106.51 c #Conflicts: 102000 | #Constraints: 13214
106.22/106.51 c #Conflicts: 103000 | #Constraints: 14216
106.22/106.51 c INPROCESSING
106.22/106.51 c GARBAGE COLLECT
106.22/106.51 c #Conflicts: 104000 | #Constraints: 8805
106.22/106.51 c #Conflicts: 105000 | #Constraints: 9807
106.22/106.51 c #Conflicts: 106000 | #Constraints: 10809
106.22/106.51 c #Conflicts: 107000 | #Constraints: 11813
106.22/106.51 c #Conflicts: 108000 | #Constraints: 12815
106.22/106.51 c #Conflicts: 109000 | #Constraints: 13817
106.22/106.51 c #Conflicts: 110000 | #Constraints: 14821
106.22/106.51 c INPROCESSING
106.22/106.51 c GARBAGE COLLECT
106.22/106.51 c #Conflicts: 111000 | #Constraints: 9226
106.22/106.51 c #Conflicts: 112000 | #Constraints: 10228
106.22/106.51 c #Conflicts: 113000 | #Constraints: 11230
106.22/106.51 c #Conflicts: 114000 | #Constraints: 12234
106.22/106.51 c #Conflicts: 115000 | #Constraints: 13236
106.22/106.51 c #Conflicts: 116000 | #Constraints: 14238
106.22/106.51 c #Conflicts: 117000 | #Constraints: 15242
106.22/106.51 c INPROCESSING
106.22/106.51 c GARBAGE COLLECT
106.22/106.51 c #Conflicts: 118000 | #Constraints: 9457
106.22/106.51 c #Conflicts: 119000 | #Constraints: 10459
106.22/106.51 c #Conflicts: 120000 | #Constraints: 11461
106.22/106.51 c #Conflicts: 121000 | #Constraints: 12465
106.22/106.51 c #Conflicts: 122000 | #Constraints: 13467
106.22/106.51 c #Conflicts: 123000 | #Constraints: 14469
106.22/106.51 c #Conflicts: 124000 | #Constraints: 15473
106.22/106.51 c INPROCESSING
106.22/106.51 c GARBAGE COLLECT
106.22/106.51 c #Conflicts: 125000 | #Constraints: 9483
106.22/106.51 c #Conflicts: 126000 | #Constraints: 10485
194.91/195.47 c #Conflicts: 127000 | #Constraints: 11487
194.91/195.47 c #Conflicts: 128000 | #Constraints: 12491
194.91/195.47 c #Conflicts: 129000 | #Constraints: 13493
194.91/195.47 c #Conflicts: 130000 | #Constraints: 14495
194.91/195.47 c #Conflicts: 131000 | #Constraints: 15499
194.91/195.47 c INPROCESSING
194.91/195.47 c GARBAGE COLLECT
194.91/195.47 c #Conflicts: 132000 | #Constraints: 9292
194.91/195.47 c #Conflicts: 133000 | #Constraints: 10294
194.91/195.47 c #Conflicts: 134000 | #Constraints: 11298
194.91/195.47 c #Conflicts: 135000 | #Constraints: 12300
194.91/195.47 c #Conflicts: 136000 | #Constraints: 13302
194.91/195.47 c #Conflicts: 137000 | #Constraints: 14306
194.91/195.47 c #Conflicts: 138000 | #Constraints: 15308
194.91/195.47 c #Conflicts: 139000 | #Constraints: 16310
194.91/195.47 c INPROCESSING
194.91/195.47 c GARBAGE COLLECT
194.91/195.47 c #Conflicts: 140000 | #Constraints: 9908
194.91/195.47 c #Conflicts: 141000 | #Constraints: 10910
194.91/195.47 c #Conflicts: 142000 | #Constraints: 11912
194.91/195.47 c bounds 15 >= -204 @ 122.702
194.91/195.47 c bounds 15 >= -199 @ 122.708
194.91/195.47 c bounds 15 >= -198 @ 122.711
194.91/195.47 c bounds 15 >= -197 @ 122.715
194.91/195.47 c bounds 15 >= -196 @ 122.715
194.91/195.47 c bounds 15 >= -195 @ 122.716
194.91/195.47 c bounds 15 >= -194 @ 122.716
194.91/195.47 c bounds 15 >= -193 @ 122.722
194.91/195.47 c bounds 15 >= -192 @ 122.747
194.91/195.47 c bounds 15 >= -191 @ 122.771
194.91/195.47 c bounds 15 >= -190 @ 122.8
194.91/195.47 c bounds 15 >= -189 @ 122.873
194.91/195.47 c bounds 15 >= -188 @ 123.03
194.91/195.47 c bounds 15 >= -187 @ 123.092
194.91/195.47 c bounds 15 >= -186 @ 123.253
194.91/195.47 c bounds 15 >= -185 @ 123.336
194.91/195.47 c bounds 15 >= -184 @ 123.372
194.91/195.47 c bounds 15 >= -183 @ 123.755
194.91/195.47 c bounds 15 >= -182 @ 123.797
194.91/195.47 c bounds 15 >= -181 @ 123.811
194.91/195.47 c bounds 15 >= -180 @ 123.833
194.91/195.47 c bounds 15 >= -179 @ 123.843
194.91/195.47 c bounds 15 >= -178 @ 123.854
194.91/195.47 c bounds 15 >= -177 @ 123.872
194.91/195.47 c #Conflicts: 143000 | #Constraints: 13385
194.91/195.47 c bounds 15 >= -176 @ 124.142
194.91/195.47 c bounds 15 >= -175 @ 124.169
194.91/195.47 c bounds 15 >= -174 @ 124.241
194.91/195.47 c #Conflicts: 144000 | #Constraints: 14466
194.91/195.47 c #Conflicts: 145000 | #Constraints: 15466
194.91/195.47 c #Conflicts: 146000 | #Constraints: 16466
194.91/195.47 c #Conflicts: 147000 | #Constraints: 17466
194.91/195.47 c INPROCESSING
194.91/195.47 c GARBAGE COLLECT
194.91/195.47 c #Conflicts: 148000 | #Constraints: 10745
194.91/195.47 c #Conflicts: 149000 | #Constraints: 11745
194.91/195.47 c #Conflicts: 150000 | #Constraints: 12745
194.91/195.47 c bounds 15 >= -173 @ 132.291
194.91/195.47 c #Conflicts: 151000 | #Constraints: 13839
194.91/195.47 c bounds 15 >= -172 @ 133.08
194.91/195.47 c #Conflicts: 152000 | #Constraints: 14873
194.91/195.47 c #Conflicts: 153000 | #Constraints: 15873
194.91/195.47 c #Conflicts: 154000 | #Constraints: 16873
194.91/195.47 c #Conflicts: 155000 | #Constraints: 17873
194.91/195.47 c INPROCESSING
194.91/195.47 c GARBAGE COLLECT
194.91/195.47 c #Conflicts: 156000 | #Constraints: 11000
194.91/195.47 c #Conflicts: 157000 | #Constraints: 12000
194.91/195.47 c #Conflicts: 158000 | #Constraints: 13000
194.91/195.47 c #Conflicts: 159000 | #Constraints: 14000
194.91/195.47 c #Conflicts: 160000 | #Constraints: 15000
194.91/195.47 c #Conflicts: 161000 | #Constraints: 16000
194.91/195.47 c #Conflicts: 162000 | #Constraints: 17000
194.91/195.47 c #Conflicts: 163000 | #Constraints: 18000
194.91/195.47 c INPROCESSING
194.91/195.47 c GARBAGE COLLECT
194.91/195.47 c #Conflicts: 164000 | #Constraints: 10967
194.91/195.47 c #Conflicts: 165000 | #Constraints: 11967
194.91/195.47 c #Conflicts: 166000 | #Constraints: 12967
194.91/195.47 c #Conflicts: 167000 | #Constraints: 13967
194.91/195.47 c #Conflicts: 168000 | #Constraints: 14967
194.91/195.47 c #Conflicts: 169000 | #Constraints: 15967
194.91/195.47 c #Conflicts: 170000 | #Constraints: 16967
194.91/195.47 c #Conflicts: 171000 | #Constraints: 17967
194.91/195.47 c INPROCESSING
194.91/195.47 c GARBAGE COLLECT
194.91/195.47 c #Conflicts: 172000 | #Constraints: 10744
194.91/195.47 c #Conflicts: 173000 | #Constraints: 11744
194.91/195.47 c #Conflicts: 174000 | #Constraints: 12744
194.91/195.47 c #Conflicts: 175000 | #Constraints: 13744
194.91/195.47 c #Conflicts: 176000 | #Constraints: 14744
194.91/195.47 c #Conflicts: 177000 | #Constraints: 15744
194.91/195.47 c #Conflicts: 178000 | #Constraints: 16744
194.91/195.47 c #Conflicts: 179000 | #Constraints: 17744
194.91/195.47 c #Conflicts: 180000 | #Constraints: 18744
194.91/195.47 c INPROCESSING
194.91/195.47 c GARBAGE COLLECT
194.91/195.47 c #Conflicts: 181000 | #Constraints: 11336
194.91/195.47 c #Conflicts: 182000 | #Constraints: 12336
194.91/195.47 c #Conflicts: 183000 | #Constraints: 13336
398.12/399.13 c #Conflicts: 184000 | #Constraints: 14336
398.12/399.13 c #Conflicts: 185000 | #Constraints: 15336
398.12/399.13 c #Conflicts: 186000 | #Constraints: 16336
398.12/399.13 c #Conflicts: 187000 | #Constraints: 17336
398.12/399.13 c #Conflicts: 188000 | #Constraints: 18336
398.12/399.13 c #Conflicts: 189000 | #Constraints: 19336
398.12/399.13 c INPROCESSING
398.12/399.13 c GARBAGE COLLECT
398.12/399.13 c #Conflicts: 190000 | #Constraints: 11734
398.12/399.13 c #Conflicts: 191000 | #Constraints: 12734
398.12/399.13 c #Conflicts: 192000 | #Constraints: 13734
398.12/399.13 c #Conflicts: 193000 | #Constraints: 14734
398.12/399.13 c #Conflicts: 194000 | #Constraints: 15734
398.12/399.13 c #Conflicts: 195000 | #Constraints: 16734
398.12/399.13 c #Conflicts: 196000 | #Constraints: 17734
398.12/399.13 c #Conflicts: 197000 | #Constraints: 18734
398.12/399.13 c #Conflicts: 198000 | #Constraints: 19734
398.12/399.13 c INPROCESSING
398.12/399.13 c GARBAGE COLLECT
398.12/399.13 c #Conflicts: 199000 | #Constraints: 11947
398.12/399.13 c #Conflicts: 200000 | #Constraints: 12947
398.12/399.13 c #Conflicts: 201000 | #Constraints: 13947
398.12/399.13 c #Conflicts: 202000 | #Constraints: 14947
398.12/399.13 c #Conflicts: 203000 | #Constraints: 15947
398.12/399.13 c #Conflicts: 204000 | #Constraints: 16947
398.12/399.13 c #Conflicts: 205000 | #Constraints: 17947
398.12/399.13 c #Conflicts: 206000 | #Constraints: 18947
398.12/399.13 c #Conflicts: 207000 | #Constraints: 19947
398.12/399.13 c INPROCESSING
398.12/399.13 c GARBAGE COLLECT
398.12/399.13 c #Conflicts: 208000 | #Constraints: 11948
398.12/399.13 c #Conflicts: 209000 | #Constraints: 12948
398.12/399.13 c #Conflicts: 210000 | #Constraints: 13948
398.12/399.13 c #Conflicts: 211000 | #Constraints: 14948
398.12/399.13 c #Conflicts: 212000 | #Constraints: 15948
398.12/399.13 c #Conflicts: 213000 | #Constraints: 16948
398.12/399.13 c #Conflicts: 214000 | #Constraints: 17948
398.12/399.13 c #Conflicts: 215000 | #Constraints: 18948
398.12/399.13 c #Conflicts: 216000 | #Constraints: 19948
398.12/399.13 c INPROCESSING
398.12/399.13 c GARBAGE COLLECT
398.12/399.13 c #Conflicts: 217000 | #Constraints: 11745
398.12/399.13 c #Conflicts: 218000 | #Constraints: 12745
398.12/399.13 c #Conflicts: 219000 | #Constraints: 13745
398.12/399.13 c #Conflicts: 220000 | #Constraints: 14745
398.12/399.13 c #Conflicts: 221000 | #Constraints: 15745
398.12/399.13 c #Conflicts: 222000 | #Constraints: 16745
398.12/399.13 c #Conflicts: 223000 | #Constraints: 17745
398.12/399.13 c #Conflicts: 224000 | #Constraints: 18745
398.12/399.13 c #Conflicts: 225000 | #Constraints: 19745
398.12/399.13 c #Conflicts: 226000 | #Constraints: 20745
398.12/399.13 c INPROCESSING
398.12/399.13 c GARBAGE COLLECT
398.12/399.13 c #Conflicts: 227000 | #Constraints: 12343
398.12/399.13 c #Conflicts: 228000 | #Constraints: 13343
398.12/399.13 c #Conflicts: 229000 | #Constraints: 14343
398.12/399.13 c #Conflicts: 230000 | #Constraints: 15343
398.12/399.13 c #Conflicts: 231000 | #Constraints: 16343
398.12/399.13 c #Conflicts: 232000 | #Constraints: 17343
398.12/399.13 c #Conflicts: 233000 | #Constraints: 18343
398.12/399.13 c #Conflicts: 234000 | #Constraints: 19343
398.12/399.13 c #Conflicts: 235000 | #Constraints: 20343
398.12/399.13 c #Conflicts: 236000 | #Constraints: 21343
398.12/399.13 c INPROCESSING
398.12/399.13 c GARBAGE COLLECT
398.12/399.13 c #Conflicts: 237000 | #Constraints: 12746
398.12/399.13 c #Conflicts: 238000 | #Constraints: 13746
398.12/399.13 c #Conflicts: 239000 | #Constraints: 14746
398.12/399.13 c #Conflicts: 240000 | #Constraints: 15746
398.12/399.13 c #Conflicts: 241000 | #Constraints: 16746
398.12/399.13 c #Conflicts: 242000 | #Constraints: 17746
398.12/399.13 c #Conflicts: 243000 | #Constraints: 18746
398.12/399.13 c #Conflicts: 244000 | #Constraints: 19746
398.12/399.13 c #Conflicts: 245000 | #Constraints: 20746
398.12/399.13 c #Conflicts: 246000 | #Constraints: 21746
398.12/399.13 c INPROCESSING
398.12/399.13 c GARBAGE COLLECT
398.12/399.13 c #Conflicts: 247000 | #Constraints: 12951
398.12/399.13 c #Conflicts: 248000 | #Constraints: 13951
398.12/399.13 c #Conflicts: 249000 | #Constraints: 14951
398.12/399.13 c #Conflicts: 250000 | #Constraints: 15951
398.12/399.13 c #Conflicts: 251000 | #Constraints: 16951
398.12/399.13 c #Conflicts: 252000 | #Constraints: 17951
398.12/399.13 c #Conflicts: 253000 | #Constraints: 18951
398.12/399.13 c #Conflicts: 254000 | #Constraints: 19951
398.12/399.13 c #Conflicts: 255000 | #Constraints: 20951
398.12/399.13 c #Conflicts: 256000 | #Constraints: 21951
398.12/399.13 c INPROCESSING
398.12/399.13 c GARBAGE COLLECT
398.12/399.13 c #Conflicts: 257000 | #Constraints: 12948
614.07/615.66 c #Conflicts: 258000 | #Constraints: 13948
614.07/615.66 c #Conflicts: 259000 | #Constraints: 14948
614.07/615.66 c #Conflicts: 260000 | #Constraints: 15948
614.07/615.66 c #Conflicts: 261000 | #Constraints: 16948
614.07/615.66 c #Conflicts: 262000 | #Constraints: 17948
614.07/615.66 c #Conflicts: 263000 | #Constraints: 18948
614.07/615.66 c #Conflicts: 264000 | #Constraints: 19948
614.07/615.66 c #Conflicts: 265000 | #Constraints: 20948
614.07/615.66 c #Conflicts: 266000 | #Constraints: 21948
614.07/615.66 c INPROCESSING
614.07/615.66 c GARBAGE COLLECT
614.07/615.66 c #Conflicts: 267000 | #Constraints: 12744
614.07/615.66 c #Conflicts: 268000 | #Constraints: 13744
614.07/615.66 c #Conflicts: 269000 | #Constraints: 14744
614.07/615.66 c #Conflicts: 270000 | #Constraints: 15744
614.07/615.66 c #Conflicts: 271000 | #Constraints: 16744
614.07/615.66 c #Conflicts: 272000 | #Constraints: 17744
614.07/615.66 c #Conflicts: 273000 | #Constraints: 18744
614.07/615.66 c #Conflicts: 274000 | #Constraints: 19744
614.07/615.66 c #Conflicts: 275000 | #Constraints: 20744
614.07/615.66 c #Conflicts: 276000 | #Constraints: 21744
614.07/615.66 c #Conflicts: 277000 | #Constraints: 22744
614.07/615.66 c INPROCESSING
614.07/615.66 c GARBAGE COLLECT
614.07/615.66 c #Conflicts: 278000 | #Constraints: 13345
614.07/615.66 c #Conflicts: 279000 | #Constraints: 14345
614.07/615.66 c #Conflicts: 280000 | #Constraints: 15345
614.07/615.66 c #Conflicts: 281000 | #Constraints: 16345
614.07/615.66 c #Conflicts: 282000 | #Constraints: 17345
614.07/615.66 c #Conflicts: 283000 | #Constraints: 18345
614.07/615.66 c #Conflicts: 284000 | #Constraints: 19345
614.07/615.66 c #Conflicts: 285000 | #Constraints: 20345
614.07/615.66 c #Conflicts: 286000 | #Constraints: 21345
614.07/615.66 c #Conflicts: 287000 | #Constraints: 22345
614.07/615.66 c #Conflicts: 288000 | #Constraints: 23345
614.07/615.66 c INPROCESSING
614.07/615.66 c GARBAGE COLLECT
614.07/615.66 c #Conflicts: 289000 | #Constraints: 13748
614.07/615.66 c #Conflicts: 290000 | #Constraints: 14748
614.07/615.66 c #Conflicts: 291000 | #Constraints: 15748
614.07/615.66 c #Conflicts: 292000 | #Constraints: 16748
614.07/615.66 c #Conflicts: 293000 | #Constraints: 17748
614.07/615.66 c #Conflicts: 294000 | #Constraints: 18748
614.07/615.66 c #Conflicts: 295000 | #Constraints: 19748
614.07/615.66 c #Conflicts: 296000 | #Constraints: 20748
614.07/615.66 c #Conflicts: 297000 | #Constraints: 21748
614.07/615.66 c #Conflicts: 298000 | #Constraints: 22748
614.07/615.66 c #Conflicts: 299000 | #Constraints: 23748
614.07/615.66 c INPROCESSING
614.07/615.66 c GARBAGE COLLECT
614.07/615.66 c #Conflicts: 300000 | #Constraints: 13954
614.07/615.66 c #Conflicts: 301000 | #Constraints: 14954
614.07/615.66 c #Conflicts: 302000 | #Constraints: 15954
614.07/615.66 c #Conflicts: 303000 | #Constraints: 16954
614.07/615.66 c #Conflicts: 304000 | #Constraints: 17954
614.07/615.66 c #Conflicts: 305000 | #Constraints: 18954
614.07/615.66 c #Conflicts: 306000 | #Constraints: 19954
614.07/615.66 c #Conflicts: 307000 | #Constraints: 20954
614.07/615.66 c #Conflicts: 308000 | #Constraints: 21954
614.07/615.66 c #Conflicts: 309000 | #Constraints: 22954
614.07/615.66 c #Conflicts: 310000 | #Constraints: 23954
614.07/615.66 c INPROCESSING
614.07/615.66 c GARBAGE COLLECT
614.07/615.66 c #Conflicts: 311000 | #Constraints: 13950
614.07/615.66 c #Conflicts: 312000 | #Constraints: 14950
614.07/615.66 c #Conflicts: 313000 | #Constraints: 15950
614.07/615.66 c #Conflicts: 314000 | #Constraints: 16950
614.07/615.66 c #Conflicts: 315000 | #Constraints: 17950
614.07/615.66 c #Conflicts: 316000 | #Constraints: 18950
614.07/615.66 c #Conflicts: 317000 | #Constraints: 19950
614.07/615.66 c #Conflicts: 318000 | #Constraints: 20950
614.07/615.66 c #Conflicts: 319000 | #Constraints: 21950
614.07/615.66 c #Conflicts: 320000 | #Constraints: 22950
614.07/615.66 c #Conflicts: 321000 | #Constraints: 23950
614.07/615.66 c INPROCESSING
614.07/615.66 c GARBAGE COLLECT
614.07/615.66 c #Conflicts: 322000 | #Constraints: 13763
614.07/615.66 c #Conflicts: 323000 | #Constraints: 14763
614.07/615.66 c #Conflicts: 324000 | #Constraints: 15763
614.07/615.66 c #Conflicts: 325000 | #Constraints: 16763
614.07/615.66 c #Conflicts: 326000 | #Constraints: 17763
614.07/615.66 c #Conflicts: 327000 | #Constraints: 18763
614.07/615.66 c #Conflicts: 328000 | #Constraints: 19763
614.07/615.66 c #Conflicts: 329000 | #Constraints: 20763
614.07/615.66 c #Conflicts: 330000 | #Constraints: 21763
614.07/615.66 c #Conflicts: 331000 | #Constraints: 22763
614.07/615.66 c #Conflicts: 332000 | #Constraints: 23763
852.38/854.54 c #Conflicts: 333000 | #Constraints: 24763
852.38/854.54 c INPROCESSING
852.38/854.54 c GARBAGE COLLECT
852.38/854.54 c #Conflicts: 334000 | #Constraints: 14355
852.38/854.54 c #Conflicts: 335000 | #Constraints: 15355
852.38/854.54 c #Conflicts: 336000 | #Constraints: 16355
852.38/854.54 c #Conflicts: 337000 | #Constraints: 17355
852.38/854.54 c #Conflicts: 338000 | #Constraints: 18355
852.38/854.54 c #Conflicts: 339000 | #Constraints: 19355
852.38/854.54 c #Conflicts: 340000 | #Constraints: 20355
852.38/854.54 c #Conflicts: 341000 | #Constraints: 21355
852.38/854.54 c #Conflicts: 342000 | #Constraints: 22355
852.38/854.54 c #Conflicts: 343000 | #Constraints: 23355
852.38/854.54 c #Conflicts: 344000 | #Constraints: 24355
852.38/854.54 c #Conflicts: 345000 | #Constraints: 25355
852.38/854.54 c INPROCESSING
852.38/854.54 c GARBAGE COLLECT
852.38/854.54 c #Conflicts: 346000 | #Constraints: 14746
852.38/854.54 c #Conflicts: 347000 | #Constraints: 15746
852.38/854.54 c #Conflicts: 348000 | #Constraints: 16746
852.38/854.54 c #Conflicts: 349000 | #Constraints: 17746
852.38/854.54 c #Conflicts: 350000 | #Constraints: 18746
852.38/854.54 c #Conflicts: 351000 | #Constraints: 19746
852.38/854.54 c #Conflicts: 352000 | #Constraints: 20746
852.38/854.54 c #Conflicts: 353000 | #Constraints: 21746
852.38/854.54 c #Conflicts: 354000 | #Constraints: 22746
852.38/854.54 c #Conflicts: 355000 | #Constraints: 23746
852.38/854.54 c #Conflicts: 356000 | #Constraints: 24746
852.38/854.54 c #Conflicts: 357000 | #Constraints: 25746
852.38/854.54 c INPROCESSING
852.38/854.54 c GARBAGE COLLECT
852.38/854.54 c #Conflicts: 358000 | #Constraints: 14946
852.38/854.54 c #Conflicts: 359000 | #Constraints: 15946
852.38/854.54 c #Conflicts: 360000 | #Constraints: 16946
852.38/854.54 c #Conflicts: 361000 | #Constraints: 17946
852.38/854.54 c #Conflicts: 362000 | #Constraints: 18946
852.38/854.54 c #Conflicts: 363000 | #Constraints: 19946
852.38/854.54 c #Conflicts: 364000 | #Constraints: 20946
852.38/854.54 c #Conflicts: 365000 | #Constraints: 21946
852.38/854.54 c #Conflicts: 366000 | #Constraints: 22946
852.38/854.54 c #Conflicts: 367000 | #Constraints: 23946
852.38/854.54 c #Conflicts: 368000 | #Constraints: 24946
852.38/854.54 c #Conflicts: 369000 | #Constraints: 25946
852.38/854.54 c INPROCESSING
852.38/854.54 c GARBAGE COLLECT
852.38/854.54 c #Conflicts: 370000 | #Constraints: 14949
852.38/854.54 c #Conflicts: 371000 | #Constraints: 15949
852.38/854.54 c #Conflicts: 372000 | #Constraints: 16949
852.38/854.54 c #Conflicts: 373000 | #Constraints: 17949
852.38/854.54 c #Conflicts: 374000 | #Constraints: 18949
852.38/854.54 c #Conflicts: 375000 | #Constraints: 19949
852.38/854.54 c #Conflicts: 376000 | #Constraints: 20949
852.38/854.54 c #Conflicts: 377000 | #Constraints: 21949
852.38/854.54 c #Conflicts: 378000 | #Constraints: 22949
852.38/854.54 c #Conflicts: 379000 | #Constraints: 23949
852.38/854.54 c #Conflicts: 380000 | #Constraints: 24949
852.38/854.54 c #Conflicts: 381000 | #Constraints: 25949
852.38/854.54 c INPROCESSING
852.38/854.54 c GARBAGE COLLECT
852.38/854.54 c #Conflicts: 382000 | #Constraints: 14752
852.38/854.54 c #Conflicts: 383000 | #Constraints: 15752
852.38/854.54 c #Conflicts: 384000 | #Constraints: 16752
852.38/854.54 c #Conflicts: 385000 | #Constraints: 17752
852.38/854.54 c #Conflicts: 386000 | #Constraints: 18752
852.38/854.54 c #Conflicts: 387000 | #Constraints: 19752
852.38/854.54 c #Conflicts: 388000 | #Constraints: 20752
852.38/854.54 c #Conflicts: 389000 | #Constraints: 21752
852.38/854.54 c #Conflicts: 390000 | #Constraints: 22752
852.38/854.54 c #Conflicts: 391000 | #Constraints: 23752
852.38/854.54 c #Conflicts: 392000 | #Constraints: 24752
852.38/854.54 c #Conflicts: 393000 | #Constraints: 25752
852.38/854.54 c #Conflicts: 394000 | #Constraints: 26752
852.38/854.54 c INPROCESSING
852.38/854.54 c GARBAGE COLLECT
852.38/854.54 c #Conflicts: 395000 | #Constraints: 15361
852.38/854.54 c #Conflicts: 396000 | #Constraints: 16361
852.38/854.54 c #Conflicts: 397000 | #Constraints: 17361
852.38/854.54 c #Conflicts: 398000 | #Constraints: 18361
852.38/854.54 c #Conflicts: 399000 | #Constraints: 19361
852.38/854.54 c #Conflicts: 400000 | #Constraints: 20361
852.38/854.54 c #Conflicts: 401000 | #Constraints: 21361
852.38/854.54 c #Conflicts: 402000 | #Constraints: 22361
852.38/854.54 c #Conflicts: 403000 | #Constraints: 23361
852.38/854.54 c #Conflicts: 404000 | #Constraints: 24361
852.38/854.54 c #Conflicts: 405000 | #Constraints: 25361
852.38/854.54 c #Conflicts: 406000 | #Constraints: 26361
852.38/854.54 c #Conflicts: 407000 | #Constraints: 27361
1094.57/1097.31 c INPROCESSING
1094.57/1097.31 c GARBAGE COLLECT
1094.57/1097.31 c #Conflicts: 408000 | #Constraints: 15769
1094.57/1097.31 c #Conflicts: 409000 | #Constraints: 16769
1094.57/1097.31 c #Conflicts: 410000 | #Constraints: 17769
1094.57/1097.31 c #Conflicts: 411000 | #Constraints: 18769
1094.57/1097.31 c #Conflicts: 412000 | #Constraints: 19769
1094.57/1097.31 c #Conflicts: 413000 | #Constraints: 20769
1094.57/1097.31 c #Conflicts: 414000 | #Constraints: 21769
1094.57/1097.31 c #Conflicts: 415000 | #Constraints: 22769
1094.57/1097.31 c #Conflicts: 416000 | #Constraints: 23769
1094.57/1097.31 c #Conflicts: 417000 | #Constraints: 24769
1094.57/1097.31 c #Conflicts: 418000 | #Constraints: 25769
1094.57/1097.31 c #Conflicts: 419000 | #Constraints: 26769
1094.57/1097.31 c #Conflicts: 420000 | #Constraints: 27769
1094.57/1097.31 c INPROCESSING
1094.57/1097.31 c GARBAGE COLLECT
1094.57/1097.31 c #Conflicts: 421000 | #Constraints: 15966
1094.57/1097.31 c #Conflicts: 422000 | #Constraints: 16966
1094.57/1097.31 c #Conflicts: 423000 | #Constraints: 17966
1094.57/1097.31 c #Conflicts: 424000 | #Constraints: 18966
1094.57/1097.31 c #Conflicts: 425000 | #Constraints: 19966
1094.57/1097.31 c #Conflicts: 426000 | #Constraints: 20966
1094.57/1097.31 c #Conflicts: 427000 | #Constraints: 21966
1094.57/1097.31 c #Conflicts: 428000 | #Constraints: 22966
1094.57/1097.31 c #Conflicts: 429000 | #Constraints: 23966
1094.57/1097.31 c #Conflicts: 430000 | #Constraints: 24966
1094.57/1097.31 c #Conflicts: 431000 | #Constraints: 25966
1094.57/1097.31 c #Conflicts: 432000 | #Constraints: 26966
1094.57/1097.31 c #Conflicts: 433000 | #Constraints: 27966
1094.57/1097.31 c INPROCESSING
1094.57/1097.31 c GARBAGE COLLECT
1094.57/1097.31 c #Conflicts: 434000 | #Constraints: 15961
1094.57/1097.31 c #Conflicts: 435000 | #Constraints: 16961
1094.57/1097.31 c #Conflicts: 436000 | #Constraints: 17961
1094.57/1097.31 c #Conflicts: 437000 | #Constraints: 18961
1094.57/1097.31 c #Conflicts: 438000 | #Constraints: 19961
1094.57/1097.31 c #Conflicts: 439000 | #Constraints: 20961
1094.57/1097.31 c #Conflicts: 440000 | #Constraints: 21961
1094.57/1097.31 c #Conflicts: 441000 | #Constraints: 22961
1094.57/1097.31 c #Conflicts: 442000 | #Constraints: 23961
1094.57/1097.31 c #Conflicts: 443000 | #Constraints: 24961
1094.57/1097.31 c #Conflicts: 444000 | #Constraints: 25961
1094.57/1097.31 c #Conflicts: 445000 | #Constraints: 26961
1094.57/1097.31 c #Conflicts: 446000 | #Constraints: 27961
1094.57/1097.31 c INPROCESSING
1094.57/1097.31 c GARBAGE COLLECT
1094.57/1097.31 c #Conflicts: 447000 | #Constraints: 15758
1094.57/1097.31 c #Conflicts: 448000 | #Constraints: 16758
1094.57/1097.31 c #Conflicts: 449000 | #Constraints: 17758
1094.57/1097.31 c #Conflicts: 450000 | #Constraints: 18758
1094.57/1097.31 c #Conflicts: 451000 | #Constraints: 19758
1094.57/1097.31 c #Conflicts: 452000 | #Constraints: 20758
1094.57/1097.31 c #Conflicts: 453000 | #Constraints: 21758
1094.57/1097.31 c #Conflicts: 454000 | #Constraints: 22758
1094.57/1097.31 c #Conflicts: 455000 | #Constraints: 23758
1094.57/1097.31 c #Conflicts: 456000 | #Constraints: 24758
1094.57/1097.31 c #Conflicts: 457000 | #Constraints: 25758
1094.57/1097.31 c #Conflicts: 458000 | #Constraints: 26758
1094.57/1097.31 c #Conflicts: 459000 | #Constraints: 27758
1094.57/1097.31 c #Conflicts: 460000 | #Constraints: 28758
1094.57/1097.31 c INPROCESSING
1094.57/1097.31 c GARBAGE COLLECT
1094.57/1097.31 c #Conflicts: 461000 | #Constraints: 16362
1094.57/1097.31 c #Conflicts: 462000 | #Constraints: 17362
1094.57/1097.31 c #Conflicts: 463000 | #Constraints: 18362
1094.57/1097.31 c #Conflicts: 464000 | #Constraints: 19362
1094.57/1097.31 c #Conflicts: 465000 | #Constraints: 20362
1094.57/1097.31 c #Conflicts: 466000 | #Constraints: 21362
1094.57/1097.31 c #Conflicts: 467000 | #Constraints: 22362
1094.57/1097.31 c #Conflicts: 468000 | #Constraints: 23362
1094.57/1097.31 c #Conflicts: 469000 | #Constraints: 24362
1094.57/1097.31 c #Conflicts: 470000 | #Constraints: 25362
1094.57/1097.31 c #Conflicts: 471000 | #Constraints: 26362
1094.57/1097.31 c #Conflicts: 472000 | #Constraints: 27362
1094.57/1097.31 c #Conflicts: 473000 | #Constraints: 28362
1094.57/1097.31 c #Conflicts: 474000 | #Constraints: 29362
1094.57/1097.31 c INPROCESSING
1094.57/1097.31 c GARBAGE COLLECT
1094.57/1097.31 c #Conflicts: 475000 | #Constraints: 16766
1094.57/1097.31 c #Conflicts: 476000 | #Constraints: 17766
1094.57/1097.31 c #Conflicts: 477000 | #Constraints: 18766
1094.57/1097.31 c #Conflicts: 478000 | #Constraints: 19766
1094.57/1097.31 c #Conflicts: 479000 | #Constraints: 20766
1094.57/1097.31 c #Conflicts: 480000 | #Constraints: 21766
1094.57/1097.31 c #Conflicts: 481000 | #Constraints: 22766
1094.57/1097.31 c #Conflicts: 482000 | #Constraints: 23766
1367.07/1370.59 c #Conflicts: 483000 | #Constraints: 24766
1367.07/1370.59 c #Conflicts: 484000 | #Constraints: 25766
1367.07/1370.59 c #Conflicts: 485000 | #Constraints: 26766
1367.07/1370.59 c #Conflicts: 486000 | #Constraints: 27766
1367.07/1370.59 c #Conflicts: 487000 | #Constraints: 28766
1367.07/1370.59 c #Conflicts: 488000 | #Constraints: 29766
1367.07/1370.59 c INPROCESSING
1367.07/1370.59 c GARBAGE COLLECT
1367.07/1370.59 c #Conflicts: 489000 | #Constraints: 16965
1367.07/1370.59 c #Conflicts: 490000 | #Constraints: 17965
1367.07/1370.59 c #Conflicts: 491000 | #Constraints: 18965
1367.07/1370.59 c #Conflicts: 492000 | #Constraints: 19965
1367.07/1370.59 c #Conflicts: 493000 | #Constraints: 20965
1367.07/1370.59 c #Conflicts: 494000 | #Constraints: 21965
1367.07/1370.59 c #Conflicts: 495000 | #Constraints: 22965
1367.07/1370.59 c #Conflicts: 496000 | #Constraints: 23965
1367.07/1370.59 c #Conflicts: 497000 | #Constraints: 24965
1367.07/1370.59 c #Conflicts: 498000 | #Constraints: 25965
1367.07/1370.59 c #Conflicts: 499000 | #Constraints: 26965
1367.07/1370.59 c #Conflicts: 500000 | #Constraints: 27965
1367.07/1370.59 c #Conflicts: 501000 | #Constraints: 28965
1367.07/1370.59 c #Conflicts: 502000 | #Constraints: 29965
1367.07/1370.59 c INPROCESSING
1367.07/1370.59 c GARBAGE COLLECT
1367.07/1370.59 c #Conflicts: 503000 | #Constraints: 16966
1367.07/1370.59 c #Conflicts: 504000 | #Constraints: 17966
1367.07/1370.59 c #Conflicts: 505000 | #Constraints: 18966
1367.07/1370.59 c #Conflicts: 506000 | #Constraints: 19966
1367.07/1370.59 c #Conflicts: 507000 | #Constraints: 20966
1367.07/1370.59 c #Conflicts: 508000 | #Constraints: 21966
1367.07/1370.59 c #Conflicts: 509000 | #Constraints: 22966
1367.07/1370.59 c #Conflicts: 510000 | #Constraints: 23966
1367.07/1370.59 c #Conflicts: 511000 | #Constraints: 24966
1367.07/1370.59 c #Conflicts: 512000 | #Constraints: 25966
1367.07/1370.59 c #Conflicts: 513000 | #Constraints: 26966
1367.07/1370.59 c #Conflicts: 514000 | #Constraints: 27966
1367.07/1370.59 c #Conflicts: 515000 | #Constraints: 28966
1367.07/1370.59 c #Conflicts: 516000 | #Constraints: 29966
1367.07/1370.59 c INPROCESSING
1367.07/1370.59 c GARBAGE COLLECT
1367.07/1370.59 c #Conflicts: 517000 | #Constraints: 16770
1367.07/1370.59 c #Conflicts: 518000 | #Constraints: 17770
1367.07/1370.59 c #Conflicts: 519000 | #Constraints: 18770
1367.07/1370.59 c #Conflicts: 520000 | #Constraints: 19770
1367.07/1370.59 c #Conflicts: 521000 | #Constraints: 20770
1367.07/1370.59 c #Conflicts: 522000 | #Constraints: 21770
1367.07/1370.59 c #Conflicts: 523000 | #Constraints: 22770
1367.07/1370.59 c #Conflicts: 524000 | #Constraints: 23770
1367.07/1370.59 c #Conflicts: 525000 | #Constraints: 24770
1367.07/1370.59 c #Conflicts: 526000 | #Constraints: 25770
1367.07/1370.59 c #Conflicts: 527000 | #Constraints: 26770
1367.07/1370.59 c #Conflicts: 528000 | #Constraints: 27770
1367.07/1370.59 c #Conflicts: 529000 | #Constraints: 28770
1367.07/1370.59 c #Conflicts: 530000 | #Constraints: 29770
1367.07/1370.59 c #Conflicts: 531000 | #Constraints: 30770
1367.07/1370.59 c INPROCESSING
1367.07/1370.59 c GARBAGE COLLECT
1367.07/1370.59 c #Conflicts: 532000 | #Constraints: 17363
1367.07/1370.59 c #Conflicts: 533000 | #Constraints: 18363
1367.07/1370.59 c #Conflicts: 534000 | #Constraints: 19363
1367.07/1370.59 c #Conflicts: 535000 | #Constraints: 20363
1367.07/1370.59 c #Conflicts: 536000 | #Constraints: 21363
1367.07/1370.59 c #Conflicts: 537000 | #Constraints: 22363
1367.07/1370.59 c #Conflicts: 538000 | #Constraints: 23363
1367.07/1370.59 c #Conflicts: 539000 | #Constraints: 24363
1367.07/1370.59 c #Conflicts: 540000 | #Constraints: 25363
1367.07/1370.59 c #Conflicts: 541000 | #Constraints: 26363
1367.07/1370.59 c #Conflicts: 542000 | #Constraints: 27363
1367.07/1370.59 c #Conflicts: 543000 | #Constraints: 28363
1367.07/1370.59 c #Conflicts: 544000 | #Constraints: 29363
1367.07/1370.59 c #Conflicts: 545000 | #Constraints: 30363
1367.07/1370.59 c #Conflicts: 546000 | #Constraints: 31363
1367.07/1370.59 c INPROCESSING
1367.07/1370.59 c GARBAGE COLLECT
1367.07/1370.59 c #Conflicts: 547000 | #Constraints: 17768
1367.07/1370.59 c #Conflicts: 548000 | #Constraints: 18768
1367.07/1370.59 c #Conflicts: 549000 | #Constraints: 19768
1367.07/1370.59 c #Conflicts: 550000 | #Constraints: 20768
1367.07/1370.59 c #Conflicts: 551000 | #Constraints: 21768
1367.07/1370.59 c #Conflicts: 552000 | #Constraints: 22768
1367.07/1370.59 c #Conflicts: 553000 | #Constraints: 23768
1367.07/1370.59 c #Conflicts: 554000 | #Constraints: 24768
1367.07/1370.59 c #Conflicts: 555000 | #Constraints: 25768
1367.07/1370.59 c #Conflicts: 556000 | #Constraints: 26768
1367.07/1370.59 c #Conflicts: 557000 | #Constraints: 27768
1625.93/1630.00 c #Conflicts: 558000 | #Constraints: 28768
1625.93/1630.00 c #Conflicts: 559000 | #Constraints: 29768
1625.93/1630.00 c #Conflicts: 560000 | #Constraints: 30768
1625.93/1630.00 c #Conflicts: 561000 | #Constraints: 31768
1625.93/1630.00 c INPROCESSING
1625.93/1630.00 c GARBAGE COLLECT
1625.93/1630.00 c #Conflicts: 562000 | #Constraints: 17968
1625.93/1630.00 c #Conflicts: 563000 | #Constraints: 18968
1625.93/1630.00 c #Conflicts: 564000 | #Constraints: 19968
1625.93/1630.00 c #Conflicts: 565000 | #Constraints: 20968
1625.93/1630.00 c #Conflicts: 566000 | #Constraints: 21968
1625.93/1630.00 c #Conflicts: 567000 | #Constraints: 22968
1625.93/1630.00 c #Conflicts: 568000 | #Constraints: 23968
1625.93/1630.00 c #Conflicts: 569000 | #Constraints: 24968
1625.93/1630.00 c #Conflicts: 570000 | #Constraints: 25968
1625.93/1630.00 c #Conflicts: 571000 | #Constraints: 26968
1625.93/1630.00 c #Conflicts: 572000 | #Constraints: 27968
1625.93/1630.00 c #Conflicts: 573000 | #Constraints: 28968
1625.93/1630.00 c #Conflicts: 574000 | #Constraints: 29968
1625.93/1630.00 c #Conflicts: 575000 | #Constraints: 30968
1625.93/1630.00 c #Conflicts: 576000 | #Constraints: 31968
1625.93/1630.00 c INPROCESSING
1625.93/1630.00 c GARBAGE COLLECT
1625.93/1630.00 c #Conflicts: 577000 | #Constraints: 17961
1625.93/1630.00 c #Conflicts: 578000 | #Constraints: 18961
1625.93/1630.00 c #Conflicts: 579000 | #Constraints: 19961
1625.93/1630.00 c #Conflicts: 580000 | #Constraints: 20961
1625.93/1630.00 c #Conflicts: 581000 | #Constraints: 21961
1625.93/1630.00 c #Conflicts: 582000 | #Constraints: 22961
1625.93/1630.00 c #Conflicts: 583000 | #Constraints: 23961
1625.93/1630.00 c #Conflicts: 584000 | #Constraints: 24961
1625.93/1630.00 c #Conflicts: 585000 | #Constraints: 25961
1625.93/1630.00 c #Conflicts: 586000 | #Constraints: 26961
1625.93/1630.00 c #Conflicts: 587000 | #Constraints: 27961
1625.93/1630.00 c #Conflicts: 588000 | #Constraints: 28961
1625.93/1630.00 c #Conflicts: 589000 | #Constraints: 29961
1625.93/1630.00 c #Conflicts: 590000 | #Constraints: 30961
1625.93/1630.00 c #Conflicts: 591000 | #Constraints: 31961
1625.93/1630.00 c INPROCESSING
1625.93/1630.00 c GARBAGE COLLECT
1625.93/1630.00 c #Conflicts: 592000 | #Constraints: 17770
1625.93/1630.00 c #Conflicts: 593000 | #Constraints: 18770
1625.93/1630.00 c #Conflicts: 594000 | #Constraints: 19770
1625.93/1630.00 c #Conflicts: 595000 | #Constraints: 20770
1625.93/1630.00 c #Conflicts: 596000 | #Constraints: 21770
1625.93/1630.00 c #Conflicts: 597000 | #Constraints: 22770
1625.93/1630.00 c #Conflicts: 598000 | #Constraints: 23770
1625.93/1630.00 c #Conflicts: 599000 | #Constraints: 24770
1625.93/1630.00 c #Conflicts: 600000 | #Constraints: 25770
1625.93/1630.00 c #Conflicts: 601000 | #Constraints: 26770
1625.93/1630.00 c #Conflicts: 602000 | #Constraints: 27770
1625.93/1630.00 c #Conflicts: 603000 | #Constraints: 28770
1625.93/1630.00 c #Conflicts: 604000 | #Constraints: 29770
1625.93/1630.00 c #Conflicts: 605000 | #Constraints: 30770
1625.93/1630.00 c #Conflicts: 606000 | #Constraints: 31770
1625.93/1630.00 c #Conflicts: 607000 | #Constraints: 32770
1625.93/1630.00 c INPROCESSING
1625.93/1630.00 c GARBAGE COLLECT
1625.93/1630.00 c #Conflicts: 608000 | #Constraints: 18366
1625.93/1630.00 c #Conflicts: 609000 | #Constraints: 19366
1625.93/1630.00 c #Conflicts: 610000 | #Constraints: 20366
1625.93/1630.00 c #Conflicts: 611000 | #Constraints: 21366
1625.93/1630.00 c #Conflicts: 612000 | #Constraints: 22366
1625.93/1630.00 c #Conflicts: 613000 | #Constraints: 23366
1625.93/1630.00 c #Conflicts: 614000 | #Constraints: 24366
1625.93/1630.00 c #Conflicts: 615000 | #Constraints: 25366
1625.93/1630.00 c #Conflicts: 616000 | #Constraints: 26366
1625.93/1630.00 c #Conflicts: 617000 | #Constraints: 27366
1625.93/1630.00 c #Conflicts: 618000 | #Constraints: 28366
1625.93/1630.00 c #Conflicts: 619000 | #Constraints: 29366
1625.93/1630.00 c #Conflicts: 620000 | #Constraints: 30366
1625.93/1630.00 c #Conflicts: 621000 | #Constraints: 31366
1625.93/1630.00 c #Conflicts: 622000 | #Constraints: 32366
1625.93/1630.00 c #Conflicts: 623000 | #Constraints: 33366
1625.93/1630.00 c INPROCESSING
1625.93/1630.00 c GARBAGE COLLECT
1625.93/1630.00 c #Conflicts: 624000 | #Constraints: 18772
1625.93/1630.00 c #Conflicts: 625000 | #Constraints: 19772
1625.93/1630.00 c #Conflicts: 626000 | #Constraints: 20772
1625.93/1630.00 c #Conflicts: 627000 | #Constraints: 21772
1625.93/1630.00 c #Conflicts: 628000 | #Constraints: 22772
1625.93/1630.00 c #Conflicts: 629000 | #Constraints: 23772
1625.93/1630.00 c #Conflicts: 630000 | #Constraints: 24772
1625.93/1630.00 c #Conflicts: 631000 | #Constraints: 25772
1625.93/1630.00 c #Conflicts: 632000 | #Constraints: 26772
1625.93/1630.00 c #Conflicts: 633000 | #Constraints: 27772
1644.68/1648.83 c #Conflicts: 634000 | #Constraints: 28772
1644.68/1648.83 c #Conflicts: 635000 | #Constraints: 29772
1644.68/1648.83 c #Conflicts: 636000 | #Constraints: 30772
1644.68/1648.83 c #Conflicts: 637000 | #Constraints: 31772
1644.68/1648.83 c bounds 15 >= -171 @ 1629.74
1644.68/1648.83 c #Conflicts: 638000 | #Constraints: 32941
1644.68/1648.83 c bounds 15 >= -170 @ 1630.22
1644.68/1648.83 c #Conflicts: 639000 | #Constraints: 34032
1644.68/1648.83 c INPROCESSING
1644.68/1648.83 c GARBAGE COLLECT
1644.68/1648.83 c #Conflicts: 640000 | #Constraints: 19150
1644.68/1648.83 c #Conflicts: 641000 | #Constraints: 20150
1644.68/1648.83 c finalizing WCE round: reformulating cores
1800.78/1805.34 c #Conflicts: 642000 | #Constraints: 21155
1800.78/1805.34 c #Conflicts: 643000 | #Constraints: 22157
1800.78/1805.34 c #Conflicts: 644000 | #Constraints: 23159
1800.78/1805.34 c #Conflicts: 645000 | #Constraints: 24163
1800.78/1805.34 c bounds 14 >= -193 @ 1638.46
1800.78/1805.34 c #Conflicts: 646000 | #Constraints: 25167
1800.78/1805.34 c bounds 14 >= -191 @ 1639.64
1800.78/1805.34 c bounds 14 >= -191 @ 1639.69
1800.78/1805.34 c bounds 14 >= -191 @ 1639.83
1800.78/1805.34 c bounds 14 >= -191 @ 1640.13
1800.78/1805.34 c #Conflicts: 647000 | #Constraints: 26177
1800.78/1805.34 c #Conflicts: 648000 | #Constraints: 27179
1800.78/1805.34 c #Conflicts: 649000 | #Constraints: 28181
1800.78/1805.34 c bounds 14 >= -184 @ 1643.84
1800.78/1805.34 c #Conflicts: 650000 | #Constraints: 29185
1800.78/1805.34 c #Conflicts: 651000 | #Constraints: 30187
1800.78/1805.34 c bounds 14 >= -181 @ 1646.57
1800.78/1805.34 c #Conflicts: 652000 | #Constraints: 31193
1800.78/1805.34 c #Conflicts: 653000 | #Constraints: 32195
1800.78/1805.34 c #Conflicts: 654000 | #Constraints: 33197
1800.78/1805.34 c #Conflicts: 655000 | #Constraints: 34201
1800.78/1805.34 c INPROCESSING
1800.78/1805.34 c GARBAGE COLLECT
1800.78/1805.34 c #Conflicts: 656000 | #Constraints: 18911
1800.78/1805.34 c #Conflicts: 657000 | #Constraints: 19913
1800.78/1805.34 c #Conflicts: 658000 | #Constraints: 20915
1800.78/1805.34 c #Conflicts: 659000 | #Constraints: 21919
1800.78/1805.34 c #Conflicts: 660000 | #Constraints: 22921
1800.78/1805.34 c #Conflicts: 661000 | #Constraints: 23923
1800.78/1805.34 c #Conflicts: 662000 | #Constraints: 24927
1800.78/1805.34 c #Conflicts: 663000 | #Constraints: 25929
1800.78/1805.34 c #Conflicts: 664000 | #Constraints: 26931
1800.78/1805.34 c bounds 14 >= -163 @ 1681.07
1800.78/1805.34 c bounds 14 >= -162 @ 1681.09
1800.78/1805.34 c bounds 14 >= -161 @ 1681.21
1800.78/1805.34 c #Conflicts: 665000 | #Constraints: 27986
1800.78/1805.34 c bounds 14 >= -160 @ 1681.45
1800.78/1805.34 c bounds 14 >= -159 @ 1682.21
1800.78/1805.34 c bounds 14 >= -158 @ 1683.92
1800.78/1805.34 c #Conflicts: 666000 | #Constraints: 29121
1800.78/1805.34 c #Conflicts: 667000 | #Constraints: 30121
1800.78/1805.34 c #Conflicts: 668000 | #Constraints: 31121
1800.78/1805.34 c #Conflicts: 669000 | #Constraints: 32121
1800.78/1805.34 c #Conflicts: 670000 | #Constraints: 33121
1800.78/1805.34 c bounds 14 >= -157 @ 1701.71
1800.78/1805.34 c #Conflicts: 671000 | #Constraints: 34191
1800.78/1805.34 c INPROCESSING
1800.78/1805.34 c GARBAGE COLLECT
1800.78/1805.34 c #Conflicts: 672000 | #Constraints: 18992
1800.78/1805.34 c #Conflicts: 673000 | #Constraints: 19992
1800.78/1805.34 c #Conflicts: 674000 | #Constraints: 20992
1800.78/1805.34 c #Conflicts: 675000 | #Constraints: 21992
1800.78/1805.34 c #Conflicts: 676000 | #Constraints: 22992
1800.78/1805.34 c #Conflicts: 677000 | #Constraints: 23992
1800.78/1805.34 c #Conflicts: 678000 | #Constraints: 24992
1800.78/1805.34 c #Conflicts: 679000 | #Constraints: 25992
1800.78/1805.34 c #Conflicts: 680000 | #Constraints: 26992
1800.78/1805.34 c #Conflicts: 681000 | #Constraints: 27992
1800.78/1805.34 c #Conflicts: 682000 | #Constraints: 28992
1800.78/1805.34 c #Conflicts: 683000 | #Constraints: 29992
1800.78/1805.34 c #Conflicts: 684000 | #Constraints: 30992
1800.78/1805.34 c #Conflicts: 685000 | #Constraints: 31992
1800.78/1805.34 c #Conflicts: 686000 | #Constraints: 32992
1800.78/1805.34 c #Conflicts: 687000 | #Constraints: 33992
1800.78/1805.34 c #Conflicts: 688000 | #Constraints: 34992
1800.78/1805.34 c INPROCESSING
1800.78/1805.34 c GARBAGE COLLECT
1800.78/1805.34 c #Conflicts: 689000 | #Constraints: 19603
1800.78/1805.34 c #Conflicts: 690000 | #Constraints: 20603
1800.78/1805.34 c #Conflicts: 691000 | #Constraints: 21603
1800.78/1805.34 c #Conflicts: 692000 | #Constraints: 22603
1800.78/1805.34 c #Conflicts: 693000 | #Constraints: 23603
1800.78/1805.34 c #Conflicts: 694000 | #Constraints: 24603
1800.78/1805.34 c #Conflicts: 695000 | #Constraints: 25603
1800.78/1805.34 c #Conflicts: 696000 | #Constraints: 26603
1800.78/1805.34 c #Conflicts: 697000 | #Constraints: 27603
1800.78/1805.34 c #Conflicts: 698000 | #Constraints: 28603
1800.78/1805.34 c #Conflicts: 699000 | #Constraints: 29603
1800.78/1805.34 c #Conflicts: 700000 | #Constraints: 30603
1800.78/1805.34 c #Conflicts: 701000 | #Constraints: 31603
1800.78/1805.34 c #Conflicts: 702000 | #Constraints: 32603
1800.78/1805.34 c #Conflicts: 703000 | #Constraints: 33603
1800.78/1805.34 c #Conflicts: 704000 | #Constraints: 34603
1800.78/1805.34 c #Conflicts: 705000 | #Constraints: 35603
1800.78/1805.34 c INPROCESSING
1800.78/1805.34 c GARBAGE COLLECT
1800.78/1805.34 c #Conflicts: 706000 | #Constraints: 20015
1800.78/1805.34 c #Conflicts: 707000 | #Constraints: 21015
1800.78/1805.34 c #Conflicts: 708000 | #Constraints: 22015
1800.78/1805.34 c #Conflicts: 709000 | #Constraints: 23015
1800.78/1805.34 c #Conflicts: 710000 | #Constraints: 24015
2001.66/2006.76 c #Conflicts: 711000 | #Constraints: 25015
2001.66/2006.76 c #Conflicts: 712000 | #Constraints: 26015
2001.66/2006.76 c #Conflicts: 713000 | #Constraints: 27015
2001.66/2006.76 c #Conflicts: 714000 | #Constraints: 28015
2001.66/2006.76 c #Conflicts: 715000 | #Constraints: 29015
2001.66/2006.76 c #Conflicts: 716000 | #Constraints: 30015
2001.66/2006.76 c #Conflicts: 717000 | #Constraints: 31015
2001.66/2006.76 c #Conflicts: 718000 | #Constraints: 32015
2001.66/2006.76 c #Conflicts: 719000 | #Constraints: 33015
2001.66/2006.76 c #Conflicts: 720000 | #Constraints: 34015
2001.66/2006.76 c #Conflicts: 721000 | #Constraints: 35015
2001.66/2006.76 c #Conflicts: 722000 | #Constraints: 36015
2001.66/2006.76 c INPROCESSING
2001.66/2006.76 c GARBAGE COLLECT
2001.66/2006.76 c #Conflicts: 723000 | #Constraints: 20218
2001.66/2006.76 c #Conflicts: 724000 | #Constraints: 21218
2001.66/2006.76 c #Conflicts: 725000 | #Constraints: 22218
2001.66/2006.76 c #Conflicts: 726000 | #Constraints: 23218
2001.66/2006.76 c #Conflicts: 727000 | #Constraints: 24218
2001.66/2006.76 c #Conflicts: 728000 | #Constraints: 25218
2001.66/2006.76 c #Conflicts: 729000 | #Constraints: 26218
2001.66/2006.76 c #Conflicts: 730000 | #Constraints: 27218
2001.66/2006.76 c #Conflicts: 731000 | #Constraints: 28218
2001.66/2006.76 c #Conflicts: 732000 | #Constraints: 29218
2001.66/2006.76 c #Conflicts: 733000 | #Constraints: 30218
2001.66/2006.76 c #Conflicts: 734000 | #Constraints: 31218
2001.66/2006.76 c #Conflicts: 735000 | #Constraints: 32218
2001.66/2006.76 c #Conflicts: 736000 | #Constraints: 33218
2001.66/2006.76 c #Conflicts: 737000 | #Constraints: 34218
2001.66/2006.76 c #Conflicts: 738000 | #Constraints: 35218
2001.66/2006.76 c #Conflicts: 739000 | #Constraints: 36218
2001.66/2006.76 c INPROCESSING
2001.66/2006.76 c GARBAGE COLLECT
2001.66/2006.76 c #Conflicts: 740000 | #Constraints: 20225
2001.66/2006.76 c #Conflicts: 741000 | #Constraints: 21225
2001.66/2006.76 c #Conflicts: 742000 | #Constraints: 22225
2001.66/2006.76 c #Conflicts: 743000 | #Constraints: 23225
2001.66/2006.76 c #Conflicts: 744000 | #Constraints: 24225
2001.66/2006.76 c #Conflicts: 745000 | #Constraints: 25225
2001.66/2006.76 c #Conflicts: 746000 | #Constraints: 26225
2001.66/2006.76 c #Conflicts: 747000 | #Constraints: 27225
2001.66/2006.76 c #Conflicts: 748000 | #Constraints: 28225
2001.66/2006.76 c #Conflicts: 749000 | #Constraints: 29225
2001.66/2006.76 c #Conflicts: 750000 | #Constraints: 30225
2001.66/2006.76 c #Conflicts: 751000 | #Constraints: 31225
2001.66/2006.76 c #Conflicts: 752000 | #Constraints: 32225
2001.66/2006.76 c #Conflicts: 753000 | #Constraints: 33225
2001.66/2006.76 c #Conflicts: 754000 | #Constraints: 34225
2001.66/2006.76 c #Conflicts: 755000 | #Constraints: 35225
2001.66/2006.76 c #Conflicts: 756000 | #Constraints: 36225
2001.66/2006.76 c INPROCESSING
2001.66/2006.76 c GARBAGE COLLECT
2001.66/2006.76 c #Conflicts: 757000 | #Constraints: 20023
2001.66/2006.76 c #Conflicts: 758000 | #Constraints: 21023
2001.66/2006.76 c #Conflicts: 759000 | #Constraints: 22023
2001.66/2006.76 c #Conflicts: 760000 | #Constraints: 23023
2001.66/2006.76 c #Conflicts: 761000 | #Constraints: 24023
2001.66/2006.76 c #Conflicts: 762000 | #Constraints: 25023
2001.66/2006.76 c #Conflicts: 763000 | #Constraints: 26023
2001.66/2006.76 c #Conflicts: 764000 | #Constraints: 27023
2001.66/2006.76 c #Conflicts: 765000 | #Constraints: 28023
2001.66/2006.76 c #Conflicts: 766000 | #Constraints: 29023
2001.66/2006.76 c #Conflicts: 767000 | #Constraints: 30023
2001.66/2006.76 c #Conflicts: 768000 | #Constraints: 31023
2001.66/2006.76 c #Conflicts: 769000 | #Constraints: 32023
2001.66/2006.76 c #Conflicts: 770000 | #Constraints: 33023
2001.66/2006.76 c #Conflicts: 771000 | #Constraints: 34023
2001.66/2006.76 c #Conflicts: 772000 | #Constraints: 35023
2001.66/2006.76 c #Conflicts: 773000 | #Constraints: 36023
2001.66/2006.76 c #Conflicts: 774000 | #Constraints: 37023
2001.66/2006.76 c INPROCESSING
2001.66/2006.76 c GARBAGE COLLECT
2001.66/2006.76 c #Conflicts: 775000 | #Constraints: 20615
2001.66/2006.76 c #Conflicts: 776000 | #Constraints: 21615
2001.66/2006.76 c #Conflicts: 777000 | #Constraints: 22615
2001.66/2006.76 c #Conflicts: 778000 | #Constraints: 23615
2001.66/2006.76 c #Conflicts: 779000 | #Constraints: 24615
2001.66/2006.76 c #Conflicts: 780000 | #Constraints: 25615
2001.66/2006.76 c #Conflicts: 781000 | #Constraints: 26615
2001.66/2006.76 c #Conflicts: 782000 | #Constraints: 27615
2001.66/2006.76 c #Conflicts: 783000 | #Constraints: 28615
2001.66/2006.76 c #Conflicts: 784000 | #Constraints: 29615
2001.66/2006.76 c #Conflicts: 785000 | #Constraints: 30615
2001.66/2006.76 c #Conflicts: 786000 | #Constraints: 31615
2236.96/2242.69 c #Conflicts: 787000 | #Constraints: 32615
2236.96/2242.69 c #Conflicts: 788000 | #Constraints: 33615
2236.96/2242.69 c #Conflicts: 789000 | #Constraints: 34615
2236.96/2242.69 c #Conflicts: 790000 | #Constraints: 35615
2236.96/2242.69 c #Conflicts: 791000 | #Constraints: 36615
2236.96/2242.69 c #Conflicts: 792000 | #Constraints: 37615
2236.96/2242.69 c INPROCESSING
2236.96/2242.69 c GARBAGE COLLECT
2236.96/2242.69 c #Conflicts: 793000 | #Constraints: 21016
2236.96/2242.69 c #Conflicts: 794000 | #Constraints: 22016
2236.96/2242.69 c #Conflicts: 795000 | #Constraints: 23016
2236.96/2242.69 c #Conflicts: 796000 | #Constraints: 24016
2236.96/2242.69 c #Conflicts: 797000 | #Constraints: 25016
2236.96/2242.69 c #Conflicts: 798000 | #Constraints: 26016
2236.96/2242.69 c #Conflicts: 799000 | #Constraints: 27016
2236.96/2242.69 c #Conflicts: 800000 | #Constraints: 28016
2236.96/2242.69 c #Conflicts: 801000 | #Constraints: 29016
2236.96/2242.69 c #Conflicts: 802000 | #Constraints: 30016
2236.96/2242.69 c #Conflicts: 803000 | #Constraints: 31016
2236.96/2242.69 c #Conflicts: 804000 | #Constraints: 32016
2236.96/2242.69 c #Conflicts: 805000 | #Constraints: 33016
2236.96/2242.69 c #Conflicts: 806000 | #Constraints: 34016
2236.96/2242.69 c #Conflicts: 807000 | #Constraints: 35016
2236.96/2242.69 c #Conflicts: 808000 | #Constraints: 36016
2236.96/2242.69 c #Conflicts: 809000 | #Constraints: 37016
2236.96/2242.69 c #Conflicts: 810000 | #Constraints: 38016
2236.96/2242.69 c INPROCESSING
2236.96/2242.69 c GARBAGE COLLECT
2236.96/2242.69 c #Conflicts: 811000 | #Constraints: 21216
2236.96/2242.69 c #Conflicts: 812000 | #Constraints: 22216
2236.96/2242.69 c #Conflicts: 813000 | #Constraints: 23216
2236.96/2242.69 c #Conflicts: 814000 | #Constraints: 24216
2236.96/2242.69 c #Conflicts: 815000 | #Constraints: 25216
2236.96/2242.69 c #Conflicts: 816000 | #Constraints: 26216
2236.96/2242.69 c #Conflicts: 817000 | #Constraints: 27216
2236.96/2242.69 c #Conflicts: 818000 | #Constraints: 28216
2236.96/2242.69 c #Conflicts: 819000 | #Constraints: 29216
2236.96/2242.69 c #Conflicts: 820000 | #Constraints: 30216
2236.96/2242.69 c #Conflicts: 821000 | #Constraints: 31216
2236.96/2242.69 c #Conflicts: 822000 | #Constraints: 32216
2236.96/2242.69 c #Conflicts: 823000 | #Constraints: 33216
2236.96/2242.69 c #Conflicts: 824000 | #Constraints: 34216
2236.96/2242.69 c #Conflicts: 825000 | #Constraints: 35216
2236.96/2242.69 c #Conflicts: 826000 | #Constraints: 36216
2236.96/2242.69 c #Conflicts: 827000 | #Constraints: 37216
2236.96/2242.69 c #Conflicts: 828000 | #Constraints: 38216
2236.96/2242.69 c INPROCESSING
2236.96/2242.69 c GARBAGE COLLECT
2236.96/2242.69 c #Conflicts: 829000 | #Constraints: 21228
2236.96/2242.69 c #Conflicts: 830000 | #Constraints: 22228
2236.96/2242.69 c #Conflicts: 831000 | #Constraints: 23228
2236.96/2242.69 c #Conflicts: 832000 | #Constraints: 24228
2236.96/2242.69 c #Conflicts: 833000 | #Constraints: 25228
2236.96/2242.69 c #Conflicts: 834000 | #Constraints: 26228
2236.96/2242.69 c #Conflicts: 835000 | #Constraints: 27228
2236.96/2242.69 c #Conflicts: 836000 | #Constraints: 28228
2236.96/2242.69 c #Conflicts: 837000 | #Constraints: 29228
2236.96/2242.69 c #Conflicts: 838000 | #Constraints: 30228
2236.96/2242.69 c #Conflicts: 839000 | #Constraints: 31228
2236.96/2242.69 c #Conflicts: 840000 | #Constraints: 32228
2236.96/2242.69 c #Conflicts: 841000 | #Constraints: 33228
2236.96/2242.69 c #Conflicts: 842000 | #Constraints: 34228
2236.96/2242.69 c #Conflicts: 843000 | #Constraints: 35228
2236.96/2242.69 c #Conflicts: 844000 | #Constraints: 36228
2236.96/2242.69 c #Conflicts: 845000 | #Constraints: 37228
2236.96/2242.69 c #Conflicts: 846000 | #Constraints: 38228
2236.96/2242.69 c INPROCESSING
2236.96/2242.69 c GARBAGE COLLECT
2236.96/2242.69 c #Conflicts: 847000 | #Constraints: 21029
2236.96/2242.69 c #Conflicts: 848000 | #Constraints: 22029
2236.96/2242.69 c #Conflicts: 849000 | #Constraints: 23029
2236.96/2242.69 c #Conflicts: 850000 | #Constraints: 24029
2236.96/2242.69 c #Conflicts: 851000 | #Constraints: 25029
2236.96/2242.69 c #Conflicts: 852000 | #Constraints: 26029
2236.96/2242.69 c #Conflicts: 853000 | #Constraints: 27029
2236.96/2242.69 c #Conflicts: 854000 | #Constraints: 28029
2236.96/2242.69 c #Conflicts: 855000 | #Constraints: 29029
2236.96/2242.69 c #Conflicts: 856000 | #Constraints: 30029
2236.96/2242.69 c #Conflicts: 857000 | #Constraints: 31029
2236.96/2242.69 c #Conflicts: 858000 | #Constraints: 32029
2236.96/2242.69 c #Conflicts: 859000 | #Constraints: 33029
2236.96/2242.69 c #Conflicts: 860000 | #Constraints: 34029
2236.96/2242.69 c #Conflicts: 861000 | #Constraints: 35029
2236.96/2242.69 c #Conflicts: 862000 | #Constraints: 36029
2491.71/2498.07 c #Conflicts: 863000 | #Constraints: 37029
2491.71/2498.07 c #Conflicts: 864000 | #Constraints: 38029
2491.71/2498.07 c #Conflicts: 865000 | #Constraints: 39029
2491.71/2498.07 c INPROCESSING
2491.71/2498.07 c GARBAGE COLLECT
2491.71/2498.07 c #Conflicts: 866000 | #Constraints: 21626
2491.71/2498.07 c #Conflicts: 867000 | #Constraints: 22626
2491.71/2498.07 c #Conflicts: 868000 | #Constraints: 23626
2491.71/2498.07 c #Conflicts: 869000 | #Constraints: 24626
2491.71/2498.07 c #Conflicts: 870000 | #Constraints: 25626
2491.71/2498.07 c #Conflicts: 871000 | #Constraints: 26626
2491.71/2498.07 c #Conflicts: 872000 | #Constraints: 27626
2491.71/2498.07 c #Conflicts: 873000 | #Constraints: 28626
2491.71/2498.07 c #Conflicts: 874000 | #Constraints: 29626
2491.71/2498.07 c #Conflicts: 875000 | #Constraints: 30626
2491.71/2498.07 c #Conflicts: 876000 | #Constraints: 31626
2491.71/2498.07 c #Conflicts: 877000 | #Constraints: 32626
2491.71/2498.07 c #Conflicts: 878000 | #Constraints: 33626
2491.71/2498.07 c #Conflicts: 879000 | #Constraints: 34626
2491.71/2498.07 c #Conflicts: 880000 | #Constraints: 35626
2491.71/2498.07 c #Conflicts: 881000 | #Constraints: 36626
2491.71/2498.07 c #Conflicts: 882000 | #Constraints: 37626
2491.71/2498.07 c #Conflicts: 883000 | #Constraints: 38626
2491.71/2498.07 c #Conflicts: 884000 | #Constraints: 39626
2491.71/2498.07 c INPROCESSING
2491.71/2498.07 c GARBAGE COLLECT
2491.71/2498.07 c #Conflicts: 885000 | #Constraints: 22027
2491.71/2498.07 c #Conflicts: 886000 | #Constraints: 23027
2491.71/2498.07 c #Conflicts: 887000 | #Constraints: 24027
2491.71/2498.07 c #Conflicts: 888000 | #Constraints: 25027
2491.71/2498.07 c #Conflicts: 889000 | #Constraints: 26027
2491.71/2498.07 c #Conflicts: 890000 | #Constraints: 27027
2491.71/2498.07 c #Conflicts: 891000 | #Constraints: 28027
2491.71/2498.07 c #Conflicts: 892000 | #Constraints: 29027
2491.71/2498.07 c #Conflicts: 893000 | #Constraints: 30027
2491.71/2498.07 c #Conflicts: 894000 | #Constraints: 31027
2491.71/2498.07 c #Conflicts: 895000 | #Constraints: 32027
2491.71/2498.07 c #Conflicts: 896000 | #Constraints: 33027
2491.71/2498.07 c #Conflicts: 897000 | #Constraints: 34027
2491.71/2498.07 c #Conflicts: 898000 | #Constraints: 35027
2491.71/2498.07 c #Conflicts: 899000 | #Constraints: 36027
2491.71/2498.07 c #Conflicts: 900000 | #Constraints: 37027
2491.71/2498.07 c #Conflicts: 901000 | #Constraints: 38027
2491.71/2498.07 c #Conflicts: 902000 | #Constraints: 39027
2491.71/2498.07 c #Conflicts: 903000 | #Constraints: 40027
2491.71/2498.07 c INPROCESSING
2491.71/2498.07 c GARBAGE COLLECT
2491.71/2498.07 c #Conflicts: 904000 | #Constraints: 22226
2491.71/2498.07 c #Conflicts: 905000 | #Constraints: 23226
2491.71/2498.07 c #Conflicts: 906000 | #Constraints: 24226
2491.71/2498.07 c #Conflicts: 907000 | #Constraints: 25226
2491.71/2498.07 c #Conflicts: 908000 | #Constraints: 26226
2491.71/2498.07 c #Conflicts: 909000 | #Constraints: 27226
2491.71/2498.07 c #Conflicts: 910000 | #Constraints: 28226
2491.71/2498.07 c #Conflicts: 911000 | #Constraints: 29226
2491.71/2498.07 c #Conflicts: 912000 | #Constraints: 30226
2491.71/2498.07 c #Conflicts: 913000 | #Constraints: 31226
2491.71/2498.07 c #Conflicts: 914000 | #Constraints: 32226
2491.71/2498.07 c #Conflicts: 915000 | #Constraints: 33226
2491.71/2498.07 c #Conflicts: 916000 | #Constraints: 34226
2491.71/2498.07 c #Conflicts: 917000 | #Constraints: 35226
2491.71/2498.07 c #Conflicts: 918000 | #Constraints: 36226
2491.71/2498.07 c #Conflicts: 919000 | #Constraints: 37226
2491.71/2498.07 c #Conflicts: 920000 | #Constraints: 38226
2491.71/2498.07 c #Conflicts: 921000 | #Constraints: 39226
2491.71/2498.07 c #Conflicts: 922000 | #Constraints: 40226
2491.71/2498.07 c INPROCESSING
2491.71/2498.07 c GARBAGE COLLECT
2491.71/2498.07 c #Conflicts: 923000 | #Constraints: 22223
2491.71/2498.07 c #Conflicts: 924000 | #Constraints: 23223
2491.71/2498.07 c #Conflicts: 925000 | #Constraints: 24223
2491.71/2498.07 c #Conflicts: 926000 | #Constraints: 25223
2491.71/2498.07 c #Conflicts: 927000 | #Constraints: 26223
2491.71/2498.07 c #Conflicts: 928000 | #Constraints: 27223
2491.71/2498.07 c #Conflicts: 929000 | #Constraints: 28223
2491.71/2498.07 c #Conflicts: 930000 | #Constraints: 29223
2491.71/2498.07 c #Conflicts: 931000 | #Constraints: 30223
2491.71/2498.07 c #Conflicts: 932000 | #Constraints: 31223
2491.71/2498.07 c #Conflicts: 933000 | #Constraints: 32223
2491.71/2498.07 c #Conflicts: 934000 | #Constraints: 33223
2491.71/2498.07 c #Conflicts: 935000 | #Constraints: 34223
2491.71/2498.07 c #Conflicts: 936000 | #Constraints: 35223
2491.71/2498.07 c #Conflicts: 937000 | #Constraints: 36223
2491.71/2498.07 c #Conflicts: 938000 | #Constraints: 37223
2912.29/2919.73 c #Conflicts: 939000 | #Constraints: 38223
2912.29/2919.73 c #Conflicts: 940000 | #Constraints: 39223
2912.29/2919.73 c #Conflicts: 941000 | #Constraints: 40223
2912.29/2919.73 c INPROCESSING
2912.29/2919.73 c GARBAGE COLLECT
2912.29/2919.73 c #Conflicts: 942000 | #Constraints: 22023
2912.29/2919.73 c #Conflicts: 943000 | #Constraints: 23023
2912.29/2919.73 c #Conflicts: 944000 | #Constraints: 24023
2912.29/2919.73 c #Conflicts: 945000 | #Constraints: 25023
2912.29/2919.73 c #Conflicts: 946000 | #Constraints: 26023
2912.29/2919.73 c #Conflicts: 947000 | #Constraints: 27023
2912.29/2919.73 c #Conflicts: 948000 | #Constraints: 28023
2912.29/2919.73 c #Conflicts: 949000 | #Constraints: 29023
2912.29/2919.73 c #Conflicts: 950000 | #Constraints: 30023
2912.29/2919.73 c #Conflicts: 951000 | #Constraints: 31023
2912.29/2919.73 c #Conflicts: 952000 | #Constraints: 32023
2912.29/2919.73 c #Conflicts: 953000 | #Constraints: 33023
2912.29/2919.73 c #Conflicts: 954000 | #Constraints: 34023
2912.29/2919.73 c #Conflicts: 955000 | #Constraints: 35023
2912.29/2919.73 c #Conflicts: 956000 | #Constraints: 36023
2912.29/2919.73 c #Conflicts: 957000 | #Constraints: 37023
2912.29/2919.73 c #Conflicts: 958000 | #Constraints: 38023
2912.29/2919.73 c #Conflicts: 959000 | #Constraints: 39023
2912.29/2919.73 c #Conflicts: 960000 | #Constraints: 40023
2912.29/2919.73 c #Conflicts: 961000 | #Constraints: 41023
2912.29/2919.73 c #Conflicts: 962000 | #Constraints: 42023
2912.29/2919.73 c #Conflicts: 963000 | #Constraints: 43023
2912.29/2919.73 c #Conflicts: 964000 | #Constraints: 44023
2912.29/2919.73 c #Conflicts: 965000 | #Constraints: 45023
2912.29/2919.73 c #Conflicts: 966000 | #Constraints: 46023
2912.29/2919.73 c #Conflicts: 967000 | #Constraints: 47023
2912.29/2919.73 c #Conflicts: 968000 | #Constraints: 48023
2912.29/2919.73 c #Conflicts: 969000 | #Constraints: 49023
2912.29/2919.73 c #Conflicts: 970000 | #Constraints: 50023
2912.29/2919.73 c #Conflicts: 971000 | #Constraints: 51023
2912.29/2919.73 c #Conflicts: 972000 | #Constraints: 52023
2912.29/2919.73 c #Conflicts: 973000 | #Constraints: 53023
2912.29/2919.73 c #Conflicts: 974000 | #Constraints: 54023
2912.29/2919.73 c #Conflicts: 975000 | #Constraints: 55023
2912.29/2919.73 c #Conflicts: 976000 | #Constraints: 56023
2912.29/2919.73 c #Conflicts: 977000 | #Constraints: 57023
2912.29/2919.73 c #Conflicts: 978000 | #Constraints: 58023
2912.29/2919.73 c #Conflicts: 979000 | #Constraints: 59023
2912.29/2919.73 c #Conflicts: 980000 | #Constraints: 60023
2912.29/2919.73 c #Conflicts: 981000 | #Constraints: 61023
2912.29/2919.73 c #Conflicts: 982000 | #Constraints: 62023
2912.29/2919.73 c #Conflicts: 983000 | #Constraints: 63023
2912.29/2919.73 c #Conflicts: 984000 | #Constraints: 64023
2912.29/2919.73 c #Conflicts: 985000 | #Constraints: 65023
2912.29/2919.73 c #Conflicts: 986000 | #Constraints: 66023
2912.29/2919.73 c #Conflicts: 987000 | #Constraints: 67023
2912.29/2919.73 c #Conflicts: 988000 | #Constraints: 68023
2912.29/2919.73 c #Conflicts: 989000 | #Constraints: 69023
2912.29/2919.73 c #Conflicts: 990000 | #Constraints: 70023
2912.29/2919.73 c #Conflicts: 991000 | #Constraints: 71023
2912.29/2919.73 c #Conflicts: 992000 | #Constraints: 72023
2912.29/2919.73 c bounds 14 >= -156 @ 2774.55
2912.29/2919.73 c #Conflicts: 993000 | #Constraints: 73132
2912.29/2919.73 c #Conflicts: 994000 | #Constraints: 74132
2912.29/2919.73 c #Conflicts: 995000 | #Constraints: 75132
2912.29/2919.73 c #Conflicts: 996000 | #Constraints: 76132
2912.29/2919.73 c #Conflicts: 997000 | #Constraints: 77132
2912.29/2919.73 c #Conflicts: 998000 | #Constraints: 78132
2912.29/2919.73 c #Conflicts: 999000 | #Constraints: 79132
2912.29/2919.73 c #Conflicts: 1000000 | #Constraints: 80132
2912.29/2919.73 c #Conflicts: 1001000 | #Constraints: 81132
2912.29/2919.73 c #Conflicts: 1002000 | #Constraints: 82132
2912.29/2919.73 c #Conflicts: 1003000 | #Constraints: 83132
2912.29/2919.73 c #Conflicts: 1004000 | #Constraints: 84132
2912.29/2919.73 c #Conflicts: 1005000 | #Constraints: 85132
2912.29/2919.73 c #Conflicts: 1006000 | #Constraints: 86132
2912.29/2919.73 c #Conflicts: 1007000 | #Constraints: 87132
2912.29/2919.73 c #Conflicts: 1008000 | #Constraints: 88132
2912.29/2919.73 c #Conflicts: 1009000 | #Constraints: 89132
2912.29/2919.73 c #Conflicts: 1010000 | #Constraints: 90132
2912.29/2919.73 c #Conflicts: 1011000 | #Constraints: 91132
2912.29/2919.73 c #Conflicts: 1012000 | #Constraints: 92132
2912.29/2919.73 c #Conflicts: 1013000 | #Constraints: 93132
2912.29/2919.73 c #Conflicts: 1014000 | #Constraints: 94132
2912.29/2919.73 c #Conflicts: 1015000 | #Constraints: 95132
2912.29/2919.73 c #Conflicts: 1016000 | #Constraints: 96132
3386.59/3395.13 c #Conflicts: 1017000 | #Constraints: 97132
3386.59/3395.13 c #Conflicts: 1018000 | #Constraints: 98132
3386.59/3395.13 c #Conflicts: 1019000 | #Constraints: 99132
3386.59/3395.13 c #Conflicts: 1020000 | #Constraints: 100132
3386.59/3395.13 c #Conflicts: 1021000 | #Constraints: 101132
3386.59/3395.13 c #Conflicts: 1022000 | #Constraints: 102132
3386.59/3395.13 c #Conflicts: 1023000 | #Constraints: 103132
3386.59/3395.13 c #Conflicts: 1024000 | #Constraints: 104132
3386.59/3395.13 c #Conflicts: 1025000 | #Constraints: 105132
3386.59/3395.13 c #Conflicts: 1026000 | #Constraints: 106132
3386.59/3395.13 c #Conflicts: 1027000 | #Constraints: 107132
3386.59/3395.13 c #Conflicts: 1028000 | #Constraints: 108132
3386.59/3395.13 c #Conflicts: 1029000 | #Constraints: 109132
3386.59/3395.13 c #Conflicts: 1030000 | #Constraints: 110132
3386.59/3395.13 c #Conflicts: 1031000 | #Constraints: 111132
3386.59/3395.13 c #Conflicts: 1032000 | #Constraints: 112132
3386.59/3395.13 c #Conflicts: 1033000 | #Constraints: 113132
3386.59/3395.13 c #Conflicts: 1034000 | #Constraints: 114132
3386.59/3395.13 c #Conflicts: 1035000 | #Constraints: 115132
3386.59/3395.13 c #Conflicts: 1036000 | #Constraints: 116132
3386.59/3395.13 c #Conflicts: 1037000 | #Constraints: 117132
3386.59/3395.13 c #Conflicts: 1038000 | #Constraints: 118132
3386.59/3395.13 c #Conflicts: 1039000 | #Constraints: 119132
3386.59/3395.13 c #Conflicts: 1040000 | #Constraints: 120132
3386.59/3395.13 c #Conflicts: 1041000 | #Constraints: 121132
3386.59/3395.13 c INPROCESSING
3386.59/3395.13 c GARBAGE COLLECT
3386.59/3395.13 c #Conflicts: 1042000 | #Constraints: 62656
3386.59/3395.13 c #Conflicts: 1043000 | #Constraints: 63656
3386.59/3395.13 c #Conflicts: 1044000 | #Constraints: 64656
3386.59/3395.13 c #Conflicts: 1045000 | #Constraints: 65656
3386.59/3395.13 c #Conflicts: 1046000 | #Constraints: 66656
3386.59/3395.13 c #Conflicts: 1047000 | #Constraints: 67656
3386.59/3395.13 c #Conflicts: 1048000 | #Constraints: 68656
3386.59/3395.13 c #Conflicts: 1049000 | #Constraints: 69656
3386.59/3395.13 c #Conflicts: 1050000 | #Constraints: 70656
3386.59/3395.13 c #Conflicts: 1051000 | #Constraints: 71656
3386.59/3395.13 c #Conflicts: 1052000 | #Constraints: 72656
3386.59/3395.13 c #Conflicts: 1053000 | #Constraints: 73656
3386.59/3395.13 c #Conflicts: 1054000 | #Constraints: 74656
3386.59/3395.13 c #Conflicts: 1055000 | #Constraints: 75656
3386.59/3395.13 c #Conflicts: 1056000 | #Constraints: 76656
3386.59/3395.13 c #Conflicts: 1057000 | #Constraints: 77656
3386.59/3395.13 c #Conflicts: 1058000 | #Constraints: 78656
3386.59/3395.13 c #Conflicts: 1059000 | #Constraints: 79656
3386.59/3395.13 c #Conflicts: 1060000 | #Constraints: 80656
3386.59/3395.13 c #Conflicts: 1061000 | #Constraints: 81656
3386.59/3395.13 c #Conflicts: 1062000 | #Constraints: 82656
3386.59/3395.13 c INPROCESSING
3386.59/3395.13 c GARBAGE COLLECT
3386.59/3395.13 c #Conflicts: 1063000 | #Constraints: 43572
3386.59/3395.13 c #Conflicts: 1064000 | #Constraints: 44572
3386.59/3395.13 c #Conflicts: 1065000 | #Constraints: 45572
3386.59/3395.13 c #Conflicts: 1066000 | #Constraints: 46572
3386.59/3395.13 c #Conflicts: 1067000 | #Constraints: 47572
3386.59/3395.13 c #Conflicts: 1068000 | #Constraints: 48572
3386.59/3395.13 c #Conflicts: 1069000 | #Constraints: 49572
3386.59/3395.13 c #Conflicts: 1070000 | #Constraints: 50572
3386.59/3395.13 c #Conflicts: 1071000 | #Constraints: 51572
3386.59/3395.13 c #Conflicts: 1072000 | #Constraints: 52572
3386.59/3395.13 c #Conflicts: 1073000 | #Constraints: 53572
3386.59/3395.13 c #Conflicts: 1074000 | #Constraints: 54572
3386.59/3395.13 c #Conflicts: 1075000 | #Constraints: 55572
3386.59/3395.13 c #Conflicts: 1076000 | #Constraints: 56572
3386.59/3395.13 c #Conflicts: 1077000 | #Constraints: 57572
3386.59/3395.13 c #Conflicts: 1078000 | #Constraints: 58572
3386.59/3395.13 c #Conflicts: 1079000 | #Constraints: 59572
3386.59/3395.13 c #Conflicts: 1080000 | #Constraints: 60572
3386.59/3395.13 c #Conflicts: 1081000 | #Constraints: 61572
3386.59/3395.13 c #Conflicts: 1082000 | #Constraints: 62572
3386.59/3395.13 c INPROCESSING
3386.59/3395.13 c GARBAGE COLLECT
3386.59/3395.13 c #Conflicts: 1083000 | #Constraints: 33085
3386.59/3395.13 c #Conflicts: 1084000 | #Constraints: 34085
3386.59/3395.13 c #Conflicts: 1085000 | #Constraints: 35085
3386.59/3395.13 c #Conflicts: 1086000 | #Constraints: 36085
3386.59/3395.13 c #Conflicts: 1087000 | #Constraints: 37085
3386.59/3395.13 c #Conflicts: 1088000 | #Constraints: 38085
3386.59/3395.13 c #Conflicts: 1089000 | #Constraints: 39085
3386.59/3395.13 c #Conflicts: 1090000 | #Constraints: 40085
3386.59/3395.13 c #Conflicts: 1091000 | #Constraints: 41085
3386.59/3395.13 c #Conflicts: 1092000 | #Constraints: 42085
3386.59/3395.13 c #Conflicts: 1093000 | #Constraints: 43085
3600.07/3609.00 c #Conflicts: 1094000 | #Constraints: 44085
3600.07/3609.00 c #Conflicts: 1095000 | #Constraints: 45085
3600.07/3609.00 c #Conflicts: 1096000 | #Constraints: 46085
3600.07/3609.00 c #Conflicts: 1097000 | #Constraints: 47085
3600.07/3609.00 c #Conflicts: 1098000 | #Constraints: 48085
3600.07/3609.00 c #Conflicts: 1099000 | #Constraints: 49085
3600.07/3609.00 c #Conflicts: 1100000 | #Constraints: 50085
3600.07/3609.00 c #Conflicts: 1101000 | #Constraints: 51085
3600.07/3609.00 c #Conflicts: 1102000 | #Constraints: 52085
3600.07/3609.00 c #Conflicts: 1103000 | #Constraints: 53085
3600.07/3609.00 c #Conflicts: 1104000 | #Constraints: 54085
3600.07/3609.00 c INPROCESSING
3600.07/3609.00 c GARBAGE COLLECT
3600.07/3609.00 c #Conflicts: 1105000 | #Constraints: 29282
3600.07/3609.00 c #Conflicts: 1106000 | #Constraints: 30282
3600.07/3609.00 c #Conflicts: 1107000 | #Constraints: 31282
3600.07/3609.00 c #Conflicts: 1108000 | #Constraints: 32282
3600.07/3609.00 c #Conflicts: 1109000 | #Constraints: 33282
3600.07/3609.00 c #Conflicts: 1110000 | #Constraints: 34282
3600.07/3609.00 c #Conflicts: 1111000 | #Constraints: 35282
3600.07/3609.00 c #Conflicts: 1112000 | #Constraints: 36282
3600.07/3609.00 c #Conflicts: 1113000 | #Constraints: 37282
3600.07/3609.00 c #Conflicts: 1114000 | #Constraints: 38282
3600.07/3609.00 c #Conflicts: 1115000 | #Constraints: 39282
3600.07/3609.00 c #Conflicts: 1116000 | #Constraints: 40282
3600.07/3609.00 c #Conflicts: 1117000 | #Constraints: 41282
3600.07/3609.00 c #Conflicts: 1118000 | #Constraints: 42282
3600.07/3609.00 c #Conflicts: 1119000 | #Constraints: 43282
3600.07/3609.00 c #Conflicts: 1120000 | #Constraints: 44282
3600.07/3609.00 c #Conflicts: 1121000 | #Constraints: 45282
3600.07/3609.00 c #Conflicts: 1122000 | #Constraints: 46282
3600.07/3609.00 c #Conflicts: 1123000 | #Constraints: 47282
3600.07/3609.00 c #Conflicts: 1124000 | #Constraints: 48282
3600.07/3609.00 c #Conflicts: 1125000 | #Constraints: 49282
3600.07/3609.00 c INPROCESSING
3600.07/3609.00 c GARBAGE COLLECT
3600.07/3609.00 c #Conflicts: 1126000 | #Constraints: 26734
3600.07/3609.00 c #Conflicts: 1127000 | #Constraints: 27734
3600.07/3609.00 c #Conflicts: 1128000 | #Constraints: 28734
3600.07/3609.00 c #Conflicts: 1129000 | #Constraints: 29734
3600.07/3609.00 c #Conflicts: 1130000 | #Constraints: 30734
3600.07/3609.00 c #Conflicts: 1131000 | #Constraints: 31734
3600.07/3609.00 c #Conflicts: 1132000 | #Constraints: 32734
3600.07/3609.00 c #Conflicts: 1133000 | #Constraints: 33734
3600.07/3609.00 c #Conflicts: 1134000 | #Constraints: 34734
3600.07/3609.00 c #Conflicts: 1135000 | #Constraints: 35734
3600.07/3609.00 c #Conflicts: 1136000 | #Constraints: 36734
3600.07/3609.00 c #Conflicts: 1137000 | #Constraints: 37734
3600.07/3609.00 c #Conflicts: 1138000 | #Constraints: 38734
3600.07/3609.00 c #Conflicts: 1139000 | #Constraints: 39734
3600.07/3609.00 c #Conflicts: 1140000 | #Constraints: 40734
3600.07/3609.00 c #Conflicts: 1141000 | #Constraints: 41734
3600.07/3609.00 c #Conflicts: 1142000 | #Constraints: 42734
3600.07/3609.00 c #Conflicts: 1143000 | #Constraints: 43734
3600.07/3609.00 c #Conflicts: 1144000 | #Constraints: 44734
3600.07/3609.00 c #Conflicts: 1145000 | #Constraints: 45734
3600.07/3609.00 c #Conflicts: 1146000 | #Constraints: 46734
3600.07/3609.00 c #Conflicts: 1147000 | #Constraints: 47734
3600.07/3609.00 c #Conflicts: 1148000 | #Constraints: 48734
3600.07/3609.00 c #Conflicts: 1149000 | #Constraints: 49734
3600.07/3609.00 c #Conflicts: 1150000 | #Constraints: 50734
3600.07/3609.00 c #Conflicts: 1151000 | #Constraints: 51734
3600.07/3609.00 c #Conflicts: 1152000 | #Constraints: 52734
3600.07/3609.00 c #Conflicts: 1153000 | #Constraints: 53734
3600.07/3609.00 c Program interrupted by user.
3600.07/3609.00 c cpu time 3583.97 s
3600.07/3609.00 c deterministic time 367069131846 3.67e+11
3600.07/3609.00 c optimization time 259.648 s
3600.07/3609.00 c total solve time 3324.32 s
3600.07/3609.00 c core-guided solve time 3324.32 s
3600.07/3609.00 c propagation time 3155.7 s
3600.07/3609.00 c conflict analysis time 394.441 s
3600.07/3609.00 c propagations 159677761
3600.07/3609.00 c resolve steps 13944130
3600.07/3609.00 c decisions 10404498
3600.07/3609.00 c conflicts 1153024
3600.07/3609.00 c restarts 2140
3600.07/3609.00 c inprocessing phases 93
3600.07/3609.00 c input clauses 1478
3600.07/3609.00 c input cardinalities 795
3600.07/3609.00 c input general constraints 1167
3600.07/3609.00 c input average constraint length 72.42
3600.07/3609.00 c input average constraint degree 31.78
3600.07/3609.00 c learned clauses 375305
3600.07/3609.00 c learned cardinalities 258
3600.07/3609.00 c learned general constraints 777600
3600.07/3609.00 c learned average constraint length 165.18
3600.07/3609.00 c learned average constraint degree 752651.69
3600.07/3609.00 c watched constraints 638360
3600.07/3609.00 c counting constraints 140407
3600.07/3609.00 c gcd simplifications 39034
3600.07/3609.00 c detected cardinalities 4
3600.07/3609.00 c weakened non-implied lits 21570923
3600.07/3609.00 c weakened non-implying lits 69417
3600.07/3609.00 c original variables 906
3600.07/3609.00 c clausal propagations 56126670
3600.07/3609.00 c cardinality propagations 3761553
3600.07/3609.00 c watched propagations 37536541
3600.07/3609.00 c counting propagations 61398441
3600.07/3609.00 c watch lookups 78621326237
3600.07/3609.00 c watch backjump lookups 72485208115
3600.07/3609.00 c watch checks 192014286086
3600.07/3609.00 c propagation checks 22994685426
3600.07/3609.00 c constraint additions 612308767
3600.07/3609.00 c trail pops 171234955
3600.07/3609.00 c formula constraints 1039
3600.07/3609.00 c learned constraints 1153163
3600.07/3609.00 c bound constraints 247
3600.07/3609.00 c core-guided constraints 2154
3600.07/3609.00 c encountered formula constraints 3230559
3600.07/3609.00 c encountered learned constraints 8997467
3600.07/3609.00 c encountered bound constraints 178
3600.07/3609.00 c encountered core-guided constraints 2868950
3600.07/3609.00 c LP total time 0 s
3600.07/3609.00 c LP solve time 0 s
3600.07/3609.00 c LP constraints added 0
3600.07/3609.00 c LP constraints removed 0
3600.07/3609.00 c LP pivots internal 0
3600.07/3609.00 c LP pivots root 0
3600.07/3609.00 c LP calls 0
3600.07/3609.00 c LP optimalities 0
3600.07/3609.00 c LP no pivot count 0
3600.07/3609.00 c LP infeasibilities 0
3600.07/3609.00 c LP valid Farkas constraints 0
3600.07/3609.00 c LP learned Farkas constraints 0
3600.07/3609.00 c LP basis resets 0
3600.07/3609.00 c LP cycling count 0
3600.07/3609.00 c LP singular count 0
3600.07/3609.00 c LP no primal count 0
3600.07/3609.00 c LP no farkas count 0
3600.07/3609.00 c LP other issue count 0
3600.07/3609.00 c LP Gomory cuts 0
3600.07/3609.00 c LP learned cuts 0
3600.07/3609.00 c LP deleted cuts 0
3600.07/3609.00 c LP encountered Gomory constraints 0
3600.07/3609.00 c LP encountered Farkas constraints 0
3600.07/3609.00 c LP encountered learned Farkas constraints 0
3600.07/3609.00 c CG auxiliary variables introduced 811
3600.07/3609.00 c CG solutions found 8
3600.07/3609.00 c CG cores constructed 218
3600.07/3609.00 c CG core cardinality constraints returned 21
3600.07/3609.00 c CG unit cores 0
3600.07/3609.00 c CG single cores 184
3600.07/3609.00 c CG blocks removed during cardinality reduction 0
3600.07/3609.00 c CG first core best 0
3600.07/3609.00 c CG decision core best 14
3600.07/3609.00 c CG core reduction tie 20
3600.07/3609.00 c CG core degree average 1.14
3600.07/3609.00 c CG core slack average 7.65
3600.07/3609.00 c CG exhausted 9
3600.07/3609.00 c CG exhaust time 155.137 s
3600.07/3609.00 c CG trimmed 71
3600.07/3609.00 c CG trim time 0.154332 s
3600.07/3609.00 c CG minimized 0
3600.07/3609.00 c CG minimize time 0 s
3600.07/3609.00 c CG am1 prop time 0.075766 s
3600.07/3609.00 c CG # am1s reformulated 34
3600.07/3609.00 c CG lower bound derived from am1s 55
3600.07/3609.00 c CG # clausal cores 208
3600.07/3609.00 c CG # cardinality cores 24
3600.07/3609.00 c CG # pb cores 20
3600.07/3609.00 c CG # pb reforms 34
3600.07/3609.00 c CG # cores discarded because of pb reform 0
3600.07/3609.00 d LOWERBOUND -156
3600.07/3609.00 d NCORES 218
3600.07/3609.00 d NPBCORES 20
3600.07/3609.00 d NPBREFORM 34
3600.07/3609.00 d NTRIMMED 71
3600.07/3609.00 d NEXHAUSTED 9
3600.07/3609.00 d NAM1S 34
3600.07/3609.00 d AM1LB 55
3600.07/3609.00 o 14
3600.07/3609.00 s SATISFIABLE
3600.07/3609.00 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 (59180 MiB free)
memory of node 1: 64510 MiB (58907 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454380-1721431013/watcher-4454380-1721431013 -o /tmp/evaluation-result-4454380-1721431013/solver-4454380-1721431013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721423159-1047833 --watchdog 3760 pb-oll-rs HOME/instance-4454380-1721431013.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=1052755, runsolver pid=1052752
[startup+0.100193 s]*
/proc/loadavg: 4.14 4.13 4.09 5/254 1052756
/proc/meminfo: memFree=120914992/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=41212 memory=12000 CPUtime=0.09 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 1332 0 0 0 9 0 0 0 20 0 1 0 195271002 42201088 3000 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 10303 3000 1374 291 0 1837 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41212 KiB
Current children cumulated memory: 12000 KiB
[startup+0.205635 s]*
/proc/loadavg: 4.14 4.13 4.09 5/254 1052758
/proc/meminfo: memFree=120913008/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=43312 memory=14232 CPUtime=0.2 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 1860 0 0 0 19 1 0 0 20 0 1 0 195271002 44351488 3558 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 10828 3558 1374 291 0 2362 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43312 KiB
Current children cumulated memory: 14232 KiB
[startup+0.305624 s]*
/proc/loadavg: 4.14 4.13 4.09 5/254 1052758
/proc/meminfo: memFree=120907408/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=48476 memory=19444 CPUtime=0.29 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 2671 0 0 0 28 1 0 0 20 0 1 0 195271002 49639424 4861 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 12119 4861 1374 291 0 3653 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 48476 KiB
Current children cumulated memory: 19444 KiB
[startup+0.700219 s]
/proc/loadavg: 4.13 4.13 4.09 5/254 1052758
/proc/meminfo: memFree=120899704/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=58468 memory=27852 CPUtime=0.68 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 4216 0 0 0 66 2 0 0 20 0 1 0 195271002 59871232 6963 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 14617 6963 1374 291 0 6151 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 58468 KiB
Current children cumulated memory: 27852 KiB
[startup+1.50023 s]
/proc/loadavg: 4.13 4.13 4.09 5/254 1052758
/proc/meminfo: memFree=120896788/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=75368 memory=39572 CPUtime=1.48 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 6610 0 0 0 144 4 0 0 20 0 1 0 195271002 77176832 9893 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 18842 9893 1422 291 0 10376 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 75368 KiB
Current children cumulated memory: 39572 KiB
[startup+3.10577 s]
/proc/loadavg: 4.13 4.13 4.09 5/254 1052758
/proc/meminfo: memFree=120879352/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=78984 memory=47456 CPUtime=3.08 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 7542 0 0 0 299 9 0 0 20 0 1 0 195271002 80879616 11864 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 19746 11864 1422 291 0 11280 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 78984 KiB
Current children cumulated memory: 47456 KiB
[startup+6.30021 s]
/proc/loadavg: 4.20 4.14 4.10 5/254 1052758
/proc/meminfo: memFree=120871096/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=95752 memory=56448 CPUtime=6.27 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 9342 0 0 0 610 17 0 0 20 0 1 0 195271002 98050048 14112 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 23938 14112 1422 291 0 15472 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 95752 KiB
Current children cumulated memory: 56448 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.14 4.10 5/254 1052759
/proc/meminfo: memFree=120842192/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=113516 memory=75236 CPUtime=12.65 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 12473 0 0 0 1237 28 0 0 20 0 1 0 195271002 116240384 18809 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 28379 18809 1422 291 0 19913 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 113516 KiB
Current children cumulated memory: 75236 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.13 4.10 5/254 1052761
/proc/meminfo: memFree=120773044/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=137220 memory=84184 CPUtime=25.43 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 14180 0 0 0 2494 49 0 0 20 0 1 0 195271002 140513280 21046 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 34305 21046 1422 291 0 25839 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 137220 KiB
Current children cumulated memory: 84184 KiB
[startup+51.1059 s]
/proc/loadavg: 4.17 4.14 4.10 5/254 1052766
/proc/meminfo: memFree=120653760/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=179160 memory=128392 CPUtime=50.97 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 23726 0 0 0 5014 83 0 0 20 0 1 0 195271002 183459840 32098 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 44790 32098 1422 291 0 36324 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 179160 KiB
Current children cumulated memory: 128392 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/254 1052775
/proc/meminfo: memFree=120421796/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=194020 memory=140880 CPUtime=102.03 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 26405 0 0 0 10057 146 0 0 20 0 1 0 195271002 198676480 35220 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 48505 35220 1422 291 0 40039 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 194020 KiB
Current children cumulated memory: 140880 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/254 1052785
/proc/meminfo: memFree=120176488/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=205256 memory=152056 CPUtime=161.89 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 28204 0 0 0 15970 219 0 0 20 0 1 0 195271002 210182144 38014 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 51314 38014 1422 291 0 42848 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 205256 KiB
Current children cumulated memory: 152056 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/254 1052795
/proc/meminfo: memFree=119955076/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=205544 memory=152288 CPUtime=221.74 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 28306 0 0 0 21907 267 0 0 20 0 1 0 195271002 210477056 38072 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 51386 38072 1422 291 0 42920 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 205544 KiB
Current children cumulated memory: 152288 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.13 4.09 6/256 1052810
/proc/meminfo: memFree=119904236/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=205504 memory=152544 CPUtime=281.6 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 28407 0 0 0 27852 308 0 0 20 0 1 0 195271002 210436096 38136 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 51376 38136 1422 291 0 42910 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 205504 KiB
Current children cumulated memory: 152544 KiB
[startup+342.3 s]
/proc/loadavg: 4.32 4.19 4.12 5/256 1052821
/proc/meminfo: memFree=119765576/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=206080 memory=153032 CPUtime=341.44 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 28585 0 0 0 33793 351 0 0 20 0 1 0 195271002 211025920 38258 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 51520 38258 1422 291 0 43054 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 206080 KiB
Current children cumulated memory: 153032 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/256 1052831
/proc/meminfo: memFree=119653648/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=206480 memory=153396 CPUtime=401.3 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 28734 0 0 0 39738 392 0 0 20 0 1 0 195271002 211435520 38349 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 51620 38349 1422 291 0 43154 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 206480 KiB
Current children cumulated memory: 153396 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/256 1052843
/proc/meminfo: memFree=119570916/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=206708 memory=153632 CPUtime=461.15 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 28849 0 0 0 45686 429 0 0 20 0 1 0 195271002 211668992 38408 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 51677 38408 1422 291 0 43211 0
################
# More data... #
################
Current children cumulated memory: 193964 KiB
[startup+2862.3 s]
/proc/loadavg: 4.33 4.20 4.12 5/256 1054455
/proc/meminfo: memFree=116383340/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=273400 memory=194492 CPUtime=2855.04 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 38750 0 0 0 284064 1440 0 0 20 0 1 0 195271002 279961600 48623 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 68350 48623 1422 291 0 59884 0
Current children cumulated CPU time: 2855.04 s
Current children cumulated vsize: 273400 KiB
Current children cumulated memory: 194492 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/256 1054465
/proc/meminfo: memFree=116360440/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=275068 memory=197840 CPUtime=2914.88 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 39114 0 0 0 290033 1455 0 0 20 0 1 0 195271002 281669632 49460 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 68767 49460 1422 291 0 60301 0
Current children cumulated CPU time: 2914.88 s
Current children cumulated vsize: 275068 KiB
Current children cumulated memory: 197840 KiB
[startup+2982.3 s]
/proc/loadavg: 3.66 4.06 4.08 3/241 1054538
/proc/meminfo: memFree=121915036/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=279164 memory=207120 CPUtime=2974.73 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 39882 0 0 0 296007 1466 0 0 20 0 1 0 195271002 285863936 51780 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 69791 51780 1422 291 0 61325 0
Current children cumulated CPU time: 2974.73 s
Current children cumulated vsize: 279164 KiB
Current children cumulated memory: 207120 KiB
[startup+3042.3 s]
/proc/loadavg: 2.10 3.54 3.90 2/234 1054579
/proc/meminfo: memFree=125125432/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=282732 memory=221988 CPUtime=3034.57 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 40672 0 0 0 301980 1477 0 0 20 0 1 0 195271002 289517568 55497 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 70683 55497 1422 291 0 62217 0
Current children cumulated CPU time: 3034.57 s
Current children cumulated vsize: 282732 KiB
Current children cumulated memory: 221988 KiB
[startup+3102.3 s]
/proc/loadavg: 1.44 3.09 3.72 2/234 1054590
/proc/meminfo: memFree=125101644/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=286352 memory=244976 CPUtime=3094.4 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 41452 0 0 0 307954 1486 0 0 20 0 1 0 195271002 293224448 61244 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 71588 61244 1422 291 0 63122 0
Current children cumulated CPU time: 3094.4 s
Current children cumulated vsize: 286352 KiB
Current children cumulated memory: 244976 KiB
[startup+3162.3 s]
/proc/loadavg: 1.33 2.75 3.56 2/234 1054600
/proc/meminfo: memFree=125089312/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=290928 memory=256904 CPUtime=3154.27 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 42527 0 0 0 313933 1494 0 0 20 0 1 0 195271002 297910272 64226 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 72732 64226 1422 291 0 64266 0
Current children cumulated CPU time: 3154.27 s
Current children cumulated vsize: 290928 KiB
Current children cumulated memory: 256904 KiB
[startup+3222.3 s]
/proc/loadavg: 1.17 2.45 3.40 2/236 1054615
/proc/meminfo: memFree=125088648/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=290928 memory=256904 CPUtime=3214.14 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 42632 0 0 0 319909 1505 0 0 20 0 1 0 195271002 297910272 64226 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 72732 64226 1422 291 0 64266 0
Current children cumulated CPU time: 3214.14 s
Current children cumulated vsize: 290928 KiB
Current children cumulated memory: 256904 KiB
[startup+3282.3 s]
/proc/loadavg: 1.17 2.21 3.26 2/235 1054627
/proc/meminfo: memFree=125088560/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=290600 memory=256704 CPUtime=3274.02 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 42988 0 0 0 325885 1517 0 0 20 0 1 0 195271002 297574400 64176 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 72650 64176 1422 291 0 64184 0
Current children cumulated CPU time: 3274.02 s
Current children cumulated vsize: 290600 KiB
Current children cumulated memory: 256704 KiB
[startup+3342.3 s]
/proc/loadavg: 1.12 2.00 3.12 2/235 1054638
/proc/meminfo: memFree=125088068/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=290600 memory=256704 CPUtime=3333.9 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 43087 0 0 0 331860 1530 0 0 20 0 1 0 195271002 297574400 64176 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 72650 64176 1422 291 0 64184 0
Current children cumulated CPU time: 3333.9 s
Current children cumulated vsize: 290600 KiB
Current children cumulated memory: 256704 KiB
[startup+3402.3 s]
/proc/loadavg: 1.17 1.85 2.99 2/235 1054648
/proc/meminfo: memFree=125087660/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=290928 memory=256704 CPUtime=3393.78 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 43238 0 0 0 337830 1548 0 0 20 0 1 0 195271002 297910272 64176 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 72732 64176 1422 291 0 64266 0
Current children cumulated CPU time: 3393.78 s
Current children cumulated vsize: 290928 KiB
Current children cumulated memory: 256704 KiB
[startup+3462.3 s]
/proc/loadavg: 1.17 1.73 2.88 2/235 1054660
/proc/meminfo: memFree=125087244/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=290928 memory=256904 CPUtime=3453.66 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 43336 0 0 0 343798 1568 0 0 20 0 1 0 195271002 297910272 64226 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 72732 64226 1422 291 0 64266 0
Current children cumulated CPU time: 3453.66 s
Current children cumulated vsize: 290928 KiB
Current children cumulated memory: 256904 KiB
[startup+3522.3 s]
/proc/loadavg: 1.11 1.61 2.76 2/236 1054671
/proc/meminfo: memFree=125085268/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=290928 memory=258644 CPUtime=3513.54 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 43435 0 0 0 349764 1590 0 0 20 0 1 0 195271002 297910272 64661 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 72732 64661 1422 291 0 64266 0
Current children cumulated CPU time: 3513.54 s
Current children cumulated vsize: 290928 KiB
Current children cumulated memory: 258644 KiB
[startup+3582.3 s]
/proc/loadavg: 1.16 1.53 2.66 2/234 1054681
/proc/meminfo: memFree=125084808/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=290928 memory=258644 CPUtime=3573.42 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 43533 0 0 0 355736 1606 0 0 20 0 1 0 195271002 297910272 64661 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 72732 64661 1422 291 0 64266 0
Current children cumulated CPU time: 3573.42 s
Current children cumulated vsize: 290928 KiB
Current children cumulated memory: 258644 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 1.10 1.48 2.61 2/234 1054685
/proc/meminfo: memFree=125084648/131524600 swapFree=131071996/131071996
[pid=1052755] ppid=1052752 vsize=290928 memory=258644 CPUtime=3600.07 cores=4,6
/proc/1052755/stat : 1052755 (pb-oll-rs) R 1052752 1052755 1047822 0 -1 4194304 43635 0 0 0 358396 1611 0 0 20 0 1 0 195271002 297910272 64661 134679101440 4194304 5384485 140732283573248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14639104 140732283581461 140732283581538 140732283581538 140732283588555 0
/proc/1052755/statm: 72732 64661 1422 291 0 64266 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 290928 KiB
Current children cumulated memory: 258644 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.01 s]
# the end of solver process 1052755 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.97 s, system=16.117 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.01
CPU time (s): 3600.08
CPU user time (s): 3583.97
CPU system time (s): 16.117
CPU usage (%): 99.7527
Max. virtual memory (cumulated for all children) (KiB): 292072
Max. memory (cumulated for all children) (KiB): 258644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.97
system time used= 16.117
maximum resident set size= 258876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43652
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= 84
involuntary context switches= 2065
# summary of solver processes directly reported to runsolver:
# pid: 1052755
# total CPU time (s): 3600.08
# total CPU user time (s): 3583.97
# total CPU system time (s): 16.117
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.48637 second user time and 18.2301 second system time
The end
Begin job on nodeC033 at 2024-07-20 01:17:05
IDJOB=4454380
IDBENCH=146658
IDSOLVER=3082
FILE ID=nodeC033/4454380-1721431013
RUNJOBID= nodeC033-1721423159-1047833
SLURM_JOB_ID= 7545610
Free space on /tmp= 890076 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
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-4454380-1721431013/watcher-4454380-1721431013 -o /tmp/evaluation-result-4454380-1721431013/solver-4454380-1721431013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721423159-1047833 --watchdog 3760 pb-oll-rs HOME/instance-4454380-1721431013.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f3472af25f5f0fee0e9203b0329f534f
RANDOM SEED=205111734
nodeC033.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 : 3670.391
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3688.446
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.25
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 : 3640.651
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.009
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.25
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 : 3619.149
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3688.499
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.25
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.034
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.934
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.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 120922372 kB
MemAvailable: 125196276 kB
Buffers: 587640 kB
Cached: 4478640 kB
SwapCached: 0 kB
Active: 1051288 kB
Inactive: 8813532 kB
Active(anon): 1564 kB
Inactive(anon): 4842560 kB
Active(file): 1049724 kB
Inactive(file): 3970972 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 1776 kB
Writeback: 0 kB
AnonPages: 4795548 kB
Mapped: 111668 kB
Shmem: 45908 kB
KReclaimable: 185712 kB
Slab: 309160 kB
SReclaimable: 185712 kB
SUnreclaim: 123448 kB
KernelStack: 4056 kB
PageTables: 20080 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 6288216 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71648 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1216512 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: 273108 kB
DirectMap2M: 28860416 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 890080 MiB
End job on nodeC033 at 2024-07-20 02:17:14