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 934 #constraints 1063
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= -546 @ 0.003533
0.00/0.00 c stratification level: 3
0.00/0.00 c bounds - >= -537 @ 0.004547
0.00/0.00 c bounds - >= -534 @ 0.004547
0.00/0.00 c bounds - >= -531 @ 0.004547
0.00/0.00 c bounds - >= -528 @ 0.004547
0.00/0.00 c bounds - >= -525 @ 0.004547
0.00/0.00 c bounds - >= -522 @ 0.004547
0.00/0.00 c bounds - >= -519 @ 0.004547
0.00/0.00 c finalizing WCE round: reformulating cores
0.09/0.18 c bounds 33 >= -519 @ 0.163504
0.09/0.18 c bounds 32 >= -519 @ 0.168857
0.09/0.18 c stratification level: 2
0.50/0.51 c bounds 32 >= -505 @ 0.170777
0.50/0.51 c bounds 32 >= -503 @ 0.171234
0.50/0.51 c bounds 32 >= -501 @ 0.171662
0.50/0.51 c bounds 32 >= -499 @ 0.172165
0.50/0.51 c bounds 32 >= -497 @ 0.172672
0.50/0.51 c bounds 32 >= -495 @ 0.173134
0.50/0.51 c bounds 32 >= -493 @ 0.173624
0.50/0.51 c bounds 32 >= -491 @ 0.174129
0.50/0.51 c bounds 32 >= -489 @ 0.174618
0.50/0.51 c bounds 32 >= -485 @ 0.17525
0.50/0.51 c bounds 32 >= -481 @ 0.175922
0.50/0.51 c bounds 32 >= -479 @ 0.176032
0.50/0.51 c bounds 32 >= -477 @ 0.176032
0.50/0.51 c bounds 32 >= -473 @ 0.176032
0.50/0.51 c bounds 32 >= -471 @ 0.176091
0.50/0.51 c bounds 32 >= -467 @ 0.176594
0.50/0.51 c bounds 32 >= -465 @ 0.177094
0.50/0.51 c bounds 32 >= -463 @ 0.177516
0.50/0.51 c bounds 32 >= -461 @ 0.178102
0.50/0.51 c bounds 32 >= -459 @ 0.178725
0.50/0.51 c bounds 32 >= -457 @ 0.17902
0.50/0.51 c bounds 32 >= -453 @ 0.17902
0.50/0.51 c bounds 32 >= -451 @ 0.17902
0.50/0.51 c bounds 32 >= -449 @ 0.179129
0.50/0.51 c bounds 32 >= -447 @ 0.179681
0.50/0.51 c bounds 32 >= -445 @ 0.180197
0.50/0.51 c bounds 32 >= -441 @ 0.180709
0.50/0.51 c bounds 32 >= -437 @ 0.181159
0.50/0.51 c bounds 32 >= -435 @ 0.181642
0.50/0.51 c bounds 32 >= -429 @ 0.182183
0.50/0.51 c bounds 32 >= -425 @ 0.182769
0.50/0.51 c bounds 32 >= -423 @ 0.183254
0.50/0.51 c bounds 32 >= -421 @ 0.183738
0.50/0.51 c bounds 32 >= -419 @ 0.183997
0.50/0.51 c bounds 32 >= -417 @ 0.183997
0.50/0.51 c bounds 32 >= -415 @ 0.184246
0.50/0.51 c bounds 32 >= -413 @ 0.184998
0.50/0.51 c bounds 32 >= -411 @ 0.185533
0.50/0.51 c bounds 32 >= -407 @ 0.186208
0.50/0.51 c bounds 32 >= -405 @ 0.186721
0.50/0.51 c bounds 32 >= -403 @ 0.187208
0.50/0.51 c bounds 32 >= -401 @ 0.187805
0.50/0.51 c bounds 32 >= -399 @ 0.187986
0.50/0.51 c bounds 32 >= -397 @ 0.187993
0.50/0.51 c bounds 32 >= -393 @ 0.188653
0.50/0.51 c bounds 32 >= -391 @ 0.189215
0.50/0.51 c bounds 32 >= -389 @ 0.189703
0.50/0.51 c bounds 32 >= -387 @ 0.190296
0.50/0.51 c bounds 32 >= -385 @ 0.190895
0.50/0.51 c bounds 32 >= -381 @ 0.191633
0.50/0.51 c bounds 32 >= -379 @ 0.191974
0.50/0.51 c bounds 32 >= -377 @ 0.192471
0.50/0.51 c #Conflicts: 1000 | #Constraints: 2175
0.50/0.51 c finalizing WCE round: reformulating cores
23.23/23.33 c #Conflicts: 2000 | #Constraints: 3178
23.23/23.33 c INPROCESSING
23.23/23.33 c GARBAGE COLLECT
23.23/23.33 c #Conflicts: 3000 | #Constraints: 3117
23.23/23.33 c #Conflicts: 4000 | #Constraints: 4137
23.23/23.33 c INPROCESSING
23.23/23.33 c GARBAGE COLLECT
23.23/23.33 c #Conflicts: 5000 | #Constraints: 3539
23.23/23.33 c #Conflicts: 6000 | #Constraints: 4541
23.23/23.33 c INPROCESSING
23.23/23.33 c GARBAGE COLLECT
23.23/23.33 c #Conflicts: 7000 | #Constraints: 3548
23.23/23.33 c #Conflicts: 8000 | #Constraints: 4550
23.23/23.33 c #Conflicts: 9000 | #Constraints: 5558
23.23/23.33 c INPROCESSING
23.23/23.33 c GARBAGE COLLECT
23.23/23.33 c #Conflicts: 10000 | #Constraints: 4256
23.23/23.33 c #Conflicts: 11000 | #Constraints: 5258
23.23/23.33 c #Conflicts: 12000 | #Constraints: 6263
23.23/23.33 c INPROCESSING
23.23/23.33 c GARBAGE COLLECT
23.23/23.33 c #Conflicts: 13000 | #Constraints: 4707
23.23/23.33 c #Conflicts: 14000 | #Constraints: 5709
23.23/23.33 c #Conflicts: 15000 | #Constraints: 6711
23.23/23.33 c INPROCESSING
23.23/23.33 c GARBAGE COLLECT
23.23/23.33 c #Conflicts: 16000 | #Constraints: 4945
23.23/23.33 c #Conflicts: 17000 | #Constraints: 5947
23.23/23.33 c #Conflicts: 18000 | #Constraints: 6949
23.23/23.33 c INPROCESSING
23.23/23.33 c GARBAGE COLLECT
23.23/23.33 c #Conflicts: 19000 | #Constraints: 4970
23.23/23.33 c #Conflicts: 20000 | #Constraints: 5972
23.23/23.33 c #Conflicts: 21000 | #Constraints: 6974
23.23/23.33 c INPROCESSING
23.23/23.33 c GARBAGE COLLECT
23.23/23.33 c #Conflicts: 22000 | #Constraints: 4786
23.23/23.33 c #Conflicts: 23000 | #Constraints: 5788
23.23/23.33 c #Conflicts: 24000 | #Constraints: 6792
23.23/23.33 c #Conflicts: 25000 | #Constraints: 7794
23.23/23.33 c INPROCESSING
23.23/23.33 c GARBAGE COLLECT
23.23/23.33 c #Conflicts: 26000 | #Constraints: 5405
23.23/23.33 c #Conflicts: 27000 | #Constraints: 6407
23.23/23.33 c #Conflicts: 28000 | #Constraints: 7412
23.23/23.33 c #Conflicts: 29000 | #Constraints: 8417
23.23/23.33 c INPROCESSING
23.23/23.33 c GARBAGE COLLECT
23.23/23.33 c #Conflicts: 30000 | #Constraints: 5815
23.23/23.33 c #Conflicts: 31000 | #Constraints: 6817
23.23/23.33 c #Conflicts: 32000 | #Constraints: 7819
23.23/23.33 c #Conflicts: 33000 | #Constraints: 8823
23.23/23.33 c INPROCESSING
23.23/23.33 c GARBAGE COLLECT
23.23/23.33 c #Conflicts: 34000 | #Constraints: 6019
23.23/23.33 c #Conflicts: 35000 | #Constraints: 7021
23.23/23.33 c bounds 14 >= -377 @ 19.7148
23.23/23.33 c bounds 14 >= -371 @ 19.7194
23.23/23.33 c bounds 14 >= -369 @ 19.723
23.23/23.33 c bounds 14 >= -367 @ 19.7286
23.23/23.33 c bounds 14 >= -365 @ 19.735
23.23/23.33 c bounds 14 >= -363 @ 19.7405
23.23/23.33 c bounds 14 >= -361 @ 19.756
23.23/23.33 c bounds 14 >= -359 @ 19.7869
23.23/23.33 c bounds 14 >= -357 @ 19.8392
23.23/23.33 c #Conflicts: 36000 | #Constraints: 8079
23.23/23.33 c #Conflicts: 37000 | #Constraints: 9079
23.23/23.33 c INPROCESSING
23.23/23.33 c GARBAGE COLLECT
23.23/23.33 c #Conflicts: 38000 | #Constraints: 6069
23.23/23.33 c #Conflicts: 39000 | #Constraints: 7069
23.23/23.33 c finalizing WCE round: reformulating cores
29.02/29.13 c #Conflicts: 40000 | #Constraints: 8074
29.02/29.13 c #Conflicts: 41000 | #Constraints: 9076
29.02/29.13 c INPROCESSING
29.02/29.13 c GARBAGE COLLECT
29.02/29.13 c #Conflicts: 42000 | #Constraints: 5874
29.02/29.13 c #Conflicts: 43000 | #Constraints: 6876
29.02/29.13 c #Conflicts: 44000 | #Constraints: 7880
29.02/29.13 c #Conflicts: 45000 | #Constraints: 8882
29.02/29.13 c bounds 13 >= -357 @ 27.5519
29.02/29.13 c bounds 13 >= -355 @ 27.7755
29.02/29.13 c finalizing WCE round: reformulating cores
30.12/30.21 c #Conflicts: 46000 | #Constraints: 9895
30.12/30.21 c INPROCESSING
30.12/30.21 c GARBAGE COLLECT
30.12/30.21 c bounds 12 >= -355 @ 29.331
30.12/30.21 c #Conflicts: 47000 | #Constraints: 6481
30.12/30.21 c bounds 11 >= -355 @ 29.5994
30.12/30.21 c stratification level: 1
30.92/31.06 c bounds 11 >= -321 @ 29.6204
30.92/31.06 c bounds 11 >= -320 @ 29.6248
30.92/31.06 c bounds 11 >= -319 @ 29.6251
30.92/31.06 c bounds 11 >= -318 @ 29.6261
30.92/31.06 c bounds 11 >= -315 @ 29.6269
30.92/31.06 c bounds 11 >= -314 @ 29.6284
30.92/31.06 c bounds 11 >= -311 @ 29.6299
30.92/31.06 c bounds 11 >= -310 @ 29.6312
30.92/31.06 c bounds 11 >= -309 @ 29.6322
30.92/31.06 c bounds 11 >= -308 @ 29.6341
30.92/31.06 c bounds 11 >= -307 @ 29.636
30.92/31.06 c bounds 11 >= -306 @ 29.6392
30.92/31.06 c bounds 11 >= -305 @ 29.6411
30.92/31.06 c bounds 11 >= -304 @ 29.6438
30.92/31.06 c bounds 11 >= -303 @ 29.6446
30.92/31.06 c bounds 11 >= -302 @ 29.6454
30.92/31.06 c bounds 11 >= -301 @ 29.6458
30.92/31.06 c bounds 11 >= -300 @ 29.648
30.92/31.06 c bounds 11 >= -299 @ 29.6493
30.92/31.06 c bounds 11 >= -298 @ 29.6548
30.92/31.06 c bounds 11 >= -296 @ 29.6585
30.92/31.06 c bounds 11 >= -295 @ 29.662
30.92/31.06 c bounds 11 >= -294 @ 29.6644
30.92/31.06 c bounds 11 >= -293 @ 29.666
30.92/31.06 c bounds 11 >= -292 @ 29.6676
30.92/31.06 c bounds 11 >= -291 @ 29.6714
30.92/31.06 c bounds 11 >= -290 @ 29.673
30.92/31.06 c bounds 11 >= -288 @ 29.6753
30.92/31.06 c bounds 11 >= -287 @ 29.6773
30.92/31.06 c bounds 11 >= -286 @ 29.6784
30.92/31.06 c bounds 11 >= -283 @ 29.6789
30.92/31.06 c bounds 11 >= -282 @ 29.6801
30.92/31.06 c bounds 11 >= -281 @ 29.6861
30.92/31.06 c bounds 11 >= -280 @ 29.6871
30.92/31.06 c bounds 11 >= -279 @ 29.688
30.92/31.06 c bounds 11 >= -278 @ 29.6898
30.92/31.06 c bounds 11 >= -277 @ 29.6906
30.92/31.06 c bounds 11 >= -274 @ 29.6934
30.92/31.06 c bounds 11 >= -272 @ 29.6945
30.92/31.06 c bounds 11 >= -271 @ 29.6959
30.92/31.06 c bounds 11 >= -270 @ 29.6975
30.92/31.06 c bounds 11 >= -269 @ 29.7034
30.92/31.06 c bounds 11 >= -268 @ 29.7063
30.92/31.06 c bounds 11 >= -267 @ 29.7066
30.92/31.06 c bounds 11 >= -265 @ 29.7109
30.92/31.06 c bounds 11 >= -263 @ 29.7133
30.92/31.06 c bounds 11 >= -262 @ 29.717
30.92/31.06 c bounds 11 >= -261 @ 29.72
30.92/31.06 c bounds 11 >= -260 @ 29.7215
30.92/31.06 c bounds 11 >= -257 @ 29.7244
30.92/31.06 c bounds 11 >= -256 @ 29.7264
30.92/31.06 c bounds 11 >= -255 @ 29.7288
30.92/31.06 c bounds 11 >= -254 @ 29.7312
30.92/31.06 c bounds 11 >= -253 @ 29.7377
30.92/31.06 c bounds 11 >= -252 @ 29.7405
30.92/31.06 c bounds 11 >= -251 @ 29.7425
30.92/31.06 c bounds 11 >= -250 @ 29.7458
30.92/31.06 c bounds 11 >= -249 @ 29.7498
30.92/31.06 c bounds 11 >= -248 @ 29.7528
30.92/31.06 c bounds 11 >= -246 @ 29.7561
30.92/31.06 c bounds 11 >= -245 @ 29.7604
30.92/31.06 c bounds 11 >= -244 @ 29.761
30.92/31.06 c bounds 11 >= -243 @ 29.7629
30.92/31.06 c bounds 11 >= -242 @ 29.7654
30.92/31.06 c bounds 11 >= -241 @ 29.7686
30.92/31.06 c bounds 11 >= -239 @ 29.772
30.92/31.06 c bounds 11 >= -238 @ 29.7757
30.92/31.06 c bounds 11 >= -237 @ 29.7782
30.92/31.06 c bounds 11 >= -236 @ 29.7792
30.92/31.06 c bounds 11 >= -235 @ 29.783
30.92/31.06 c bounds 11 >= -234 @ 29.7855
30.92/31.06 c bounds 11 >= -233 @ 29.7879
30.92/31.06 c bounds 11 >= -232 @ 29.7904
30.92/31.06 c bounds 11 >= -231 @ 29.7928
30.92/31.06 c bounds 11 >= -230 @ 29.7972
30.92/31.06 c bounds 11 >= -229 @ 29.8006
30.92/31.06 c bounds 11 >= -228 @ 29.8036
30.92/31.06 c bounds 11 >= -227 @ 29.8063
30.92/31.06 c bounds 11 >= -226 @ 29.8095
30.92/31.06 c bounds 11 >= -225 @ 29.8128
30.92/31.06 c bounds 11 >= -224 @ 29.817
30.92/31.06 c bounds 11 >= -223 @ 29.8193
30.92/31.06 c bounds 11 >= -222 @ 29.8205
30.92/31.06 c bounds 11 >= -221 @ 29.8232
30.92/31.06 c bounds 11 >= -220 @ 29.8249
30.92/31.06 c bounds 11 >= -219 @ 29.8271
30.92/31.06 c bounds 11 >= -218 @ 29.8289
30.92/31.06 c bounds 11 >= -217 @ 29.8368
30.92/31.06 c bounds 11 >= -216 @ 29.8422
30.92/31.06 c bounds 11 >= -214 @ 29.8503
30.92/31.06 c bounds 11 >= -213 @ 29.8538
30.92/31.06 c bounds 11 >= -212 @ 29.89
30.92/31.06 c bounds 11 >= -211 @ 29.8918
30.92/31.06 c bounds 11 >= -210 @ 29.9116
30.92/31.06 c bounds 11 >= -209 @ 29.9217
30.92/31.06 c bounds 11 >= -208 @ 29.9463
30.92/31.06 c bounds 11 >= -207 @ 29.95
30.92/31.06 c bounds 11 >= -206 @ 30.0412
30.92/31.06 c bounds 11 >= -205 @ 30.0598
30.92/31.06 c bounds 11 >= -204 @ 30.0685
30.92/31.06 c bounds 11 >= -203 @ 30.0938
30.92/31.06 c bounds 11 >= -202 @ 30.1047
30.92/31.06 c bounds 11 >= -201 @ 30.2695
30.92/31.06 c bounds 11 >= -200 @ 30.3474
30.92/31.06 c finalizing WCE round: reformulating cores
104.62/104.98 c #Conflicts: 48000 | #Constraints: 7911
104.62/104.98 c #Conflicts: 49000 | #Constraints: 8915
104.62/104.98 c #Conflicts: 50000 | #Constraints: 9917
104.62/104.98 c #Conflicts: 51000 | #Constraints: 10919
104.62/104.98 c INPROCESSING
104.62/104.98 c GARBAGE COLLECT
104.62/104.98 c #Conflicts: 52000 | #Constraints: 7137
104.62/104.98 c #Conflicts: 53000 | #Constraints: 8139
104.62/104.98 c #Conflicts: 54000 | #Constraints: 9141
104.62/104.98 c #Conflicts: 55000 | #Constraints: 10145
104.62/104.98 c #Conflicts: 56000 | #Constraints: 11147
104.62/104.98 c INPROCESSING
104.62/104.98 c GARBAGE COLLECT
104.62/104.98 c #Conflicts: 57000 | #Constraints: 7300
104.62/104.98 c #Conflicts: 58000 | #Constraints: 8302
104.62/104.98 c #Conflicts: 59000 | #Constraints: 9304
104.62/104.98 c #Conflicts: 60000 | #Constraints: 10308
104.62/104.98 c #Conflicts: 61000 | #Constraints: 11310
104.62/104.98 c INPROCESSING
104.62/104.98 c GARBAGE COLLECT
104.62/104.98 c #Conflicts: 62000 | #Constraints: 7290
104.62/104.98 c #Conflicts: 63000 | #Constraints: 8292
104.62/104.98 c #Conflicts: 64000 | #Constraints: 9294
104.62/104.98 c #Conflicts: 65000 | #Constraints: 10298
104.62/104.99 c #Conflicts: 66000 | #Constraints: 11300
104.62/104.99 c INPROCESSING
104.62/104.99 c GARBAGE COLLECT
104.62/104.99 c #Conflicts: 67000 | #Constraints: 7078
104.62/104.99 c #Conflicts: 68000 | #Constraints: 8080
104.62/104.99 c #Conflicts: 69000 | #Constraints: 9084
104.62/104.99 c #Conflicts: 70000 | #Constraints: 10086
104.62/104.99 c #Conflicts: 71000 | #Constraints: 11088
104.62/104.99 c #Conflicts: 72000 | #Constraints: 12092
104.62/104.99 c INPROCESSING
104.62/104.99 c GARBAGE COLLECT
104.62/104.99 c #Conflicts: 73000 | #Constraints: 7694
104.62/104.99 c #Conflicts: 74000 | #Constraints: 8696
104.62/104.99 c #Conflicts: 75000 | #Constraints: 9698
104.62/104.99 c #Conflicts: 76000 | #Constraints: 10702
104.62/104.99 c #Conflicts: 77000 | #Constraints: 11704
104.62/104.99 c #Conflicts: 78000 | #Constraints: 12706
104.62/104.99 c INPROCESSING
104.62/104.99 c GARBAGE COLLECT
104.62/104.99 c #Conflicts: 79000 | #Constraints: 8099
104.62/104.99 c #Conflicts: 80000 | #Constraints: 9101
104.62/104.99 c #Conflicts: 81000 | #Constraints: 10103
104.62/104.99 c #Conflicts: 82000 | #Constraints: 11107
104.62/104.99 c #Conflicts: 83000 | #Constraints: 12109
104.62/104.99 c #Conflicts: 84000 | #Constraints: 13111
104.62/104.99 c INPROCESSING
104.62/104.99 c GARBAGE COLLECT
104.62/104.99 c #Conflicts: 85000 | #Constraints: 8310
104.62/104.99 c #Conflicts: 86000 | #Constraints: 9312
104.62/104.99 c #Conflicts: 87000 | #Constraints: 10314
104.62/104.99 c #Conflicts: 88000 | #Constraints: 11318
104.62/104.99 c bounds 10 >= -268 @ 71.2616
104.62/104.99 c #Conflicts: 89000 | #Constraints: 12322
104.62/104.99 c #Conflicts: 90000 | #Constraints: 13324
104.62/104.99 c INPROCESSING
104.62/104.99 c GARBAGE COLLECT
104.62/104.99 c #Conflicts: 91000 | #Constraints: 8336
104.62/104.99 c #Conflicts: 92000 | #Constraints: 9338
104.62/104.99 c #Conflicts: 93000 | #Constraints: 10340
104.62/104.99 c #Conflicts: 94000 | #Constraints: 11344
104.62/104.99 c #Conflicts: 95000 | #Constraints: 12346
104.62/104.99 c #Conflicts: 96000 | #Constraints: 13348
104.62/104.99 c INPROCESSING
104.62/104.99 c GARBAGE COLLECT
104.62/104.99 c #Conflicts: 97000 | #Constraints: 8158
104.62/104.99 c #Conflicts: 98000 | #Constraints: 9160
104.62/104.99 c #Conflicts: 99000 | #Constraints: 10164
104.62/104.99 c #Conflicts: 100000 | #Constraints: 11166
104.62/104.99 c #Conflicts: 101000 | #Constraints: 12168
104.62/104.99 c #Conflicts: 102000 | #Constraints: 13172
104.62/104.99 c #Conflicts: 103000 | #Constraints: 14174
104.62/104.99 c INPROCESSING
104.62/104.99 c GARBAGE COLLECT
104.62/104.99 c #Conflicts: 104000 | #Constraints: 8775
104.62/104.99 c #Conflicts: 105000 | #Constraints: 9777
104.62/104.99 c #Conflicts: 106000 | #Constraints: 10779
104.62/104.99 c #Conflicts: 107000 | #Constraints: 11783
104.62/104.99 c #Conflicts: 108000 | #Constraints: 12785
104.62/104.99 c #Conflicts: 109000 | #Constraints: 13787
104.62/104.99 c #Conflicts: 110000 | #Constraints: 14791
104.62/104.99 c INPROCESSING
104.62/104.99 c GARBAGE COLLECT
104.62/104.99 c #Conflicts: 111000 | #Constraints: 9192
104.62/104.99 c #Conflicts: 112000 | #Constraints: 10194
104.62/104.99 c #Conflicts: 113000 | #Constraints: 11196
104.62/104.99 c #Conflicts: 114000 | #Constraints: 12200
104.62/104.99 c #Conflicts: 115000 | #Constraints: 13202
104.62/104.99 c #Conflicts: 116000 | #Constraints: 14204
104.62/104.99 c #Conflicts: 117000 | #Constraints: 15208
104.62/104.99 c INPROCESSING
104.62/104.99 c GARBAGE COLLECT
104.62/104.99 c #Conflicts: 118000 | #Constraints: 9413
137.64/138.03 c #Conflicts: 119000 | #Constraints: 10415
137.64/138.03 c #Conflicts: 120000 | #Constraints: 11417
137.64/138.03 c #Conflicts: 121000 | #Constraints: 12421
137.64/138.03 c #Conflicts: 122000 | #Constraints: 13423
137.64/138.03 c #Conflicts: 123000 | #Constraints: 14425
137.64/138.03 c #Conflicts: 124000 | #Constraints: 15429
137.64/138.03 c INPROCESSING
137.64/138.03 c GARBAGE COLLECT
137.64/138.03 c #Conflicts: 125000 | #Constraints: 9438
137.64/138.03 c #Conflicts: 126000 | #Constraints: 10440
137.64/138.03 c #Conflicts: 127000 | #Constraints: 11442
137.64/138.03 c #Conflicts: 128000 | #Constraints: 12446
137.64/138.03 c bounds 10 >= -201 @ 113.212
137.64/138.03 c #Conflicts: 129000 | #Constraints: 13450
137.64/138.03 c #Conflicts: 130000 | #Constraints: 14452
137.64/138.03 c #Conflicts: 131000 | #Constraints: 15454
137.64/138.03 c bounds 10 >= -198 @ 115.402
137.64/138.03 c bounds 10 >= -195 @ 115.416
137.64/138.03 c bounds 10 >= -194 @ 115.42
137.64/138.03 c bounds 10 >= -193 @ 115.424
137.64/138.03 c bounds 10 >= -192 @ 115.428
137.64/138.03 c bounds 10 >= -191 @ 115.432
137.64/138.03 c bounds 10 >= -190 @ 115.438
137.64/138.03 c bounds 10 >= -189 @ 115.442
137.64/138.03 c bounds 10 >= -188 @ 115.449
137.64/138.03 c bounds 10 >= -187 @ 115.454
137.64/138.03 c bounds 10 >= -186 @ 115.459
137.64/138.03 c bounds 10 >= -185 @ 115.463
137.64/138.03 c bounds 10 >= -184 @ 115.464
137.64/138.03 c bounds 10 >= -183 @ 115.466
137.64/138.03 c bounds 10 >= -182 @ 115.469
137.64/138.03 c bounds 10 >= -181 @ 115.475
137.64/138.03 c bounds 10 >= -180 @ 115.479
137.64/138.03 c bounds 10 >= -179 @ 115.481
137.64/138.03 c bounds 10 >= -178 @ 115.488
137.64/138.03 c bounds 10 >= -177 @ 115.499
137.64/138.03 c bounds 10 >= -176 @ 115.5
137.64/138.03 c bounds 10 >= -175 @ 115.504
137.64/138.03 c bounds 10 >= -174 @ 115.532
137.64/138.03 c bounds 10 >= -173 @ 115.561
137.64/138.03 c bounds 10 >= -172 @ 115.563
137.64/138.03 c bounds 10 >= -171 @ 115.566
137.64/138.03 c bounds 10 >= -170 @ 115.579
137.64/138.03 c bounds 10 >= -169 @ 115.591
137.64/138.03 c bounds 10 >= -168 @ 115.645
137.64/138.03 c bounds 10 >= -167 @ 115.675
137.64/138.03 c bounds 10 >= -166 @ 115.686
137.64/138.03 c bounds 10 >= -165 @ 115.705
137.64/138.03 c bounds 10 >= -164 @ 115.793
137.64/138.03 c bounds 10 >= -163 @ 115.879
137.64/138.03 c bounds 10 >= -162 @ 115.923
137.64/138.03 c bounds 10 >= -161 @ 116.028
137.64/138.03 c bounds 10 >= -160 @ 116.043
137.64/138.03 c bounds 10 >= -159 @ 116.1
137.64/138.03 c bounds 10 >= -158 @ 116.128
137.64/138.03 c bounds 10 >= -157 @ 116.141
137.64/138.03 c bounds 10 >= -156 @ 116.16
137.64/138.03 c bounds 10 >= -155 @ 116.169
137.64/138.03 c bounds 10 >= -154 @ 116.194
137.64/138.03 c INPROCESSING
137.64/138.03 c GARBAGE COLLECT
137.64/138.03 c #Conflicts: 132000 | #Constraints: 9619
137.64/138.03 c bounds 10 >= -153 @ 117.32
137.64/138.03 c bounds 10 >= -152 @ 117.333
137.64/138.03 c bounds 10 >= -151 @ 117.345
137.64/138.03 c #Conflicts: 133000 | #Constraints: 10664
137.64/138.03 c bounds 10 >= -150 @ 117.42
137.64/138.03 c bounds 10 >= -149 @ 118.157
137.64/138.03 c #Conflicts: 134000 | #Constraints: 11813
137.64/138.03 c #Conflicts: 135000 | #Constraints: 12813
137.64/138.03 c #Conflicts: 136000 | #Constraints: 13813
137.64/138.03 c #Conflicts: 137000 | #Constraints: 14813
137.64/138.03 c #Conflicts: 138000 | #Constraints: 15813
137.64/138.03 c #Conflicts: 139000 | #Constraints: 16813
137.64/138.03 c INPROCESSING
137.64/138.03 c GARBAGE COLLECT
137.64/138.03 c finalizing WCE round: reformulating cores
187.51/188.09 c #Conflicts: 140000 | #Constraints: 10352
187.51/188.09 c #Conflicts: 141000 | #Constraints: 11354
187.51/188.09 c #Conflicts: 142000 | #Constraints: 12356
187.51/188.09 c #Conflicts: 143000 | #Constraints: 13360
187.51/188.09 c #Conflicts: 144000 | #Constraints: 14362
187.51/188.09 c #Conflicts: 145000 | #Constraints: 15364
187.51/188.09 c #Conflicts: 146000 | #Constraints: 16368
187.51/188.09 c #Conflicts: 147000 | #Constraints: 17370
187.51/188.09 c INPROCESSING
187.51/188.09 c GARBAGE COLLECT
187.51/188.09 c #Conflicts: 148000 | #Constraints: 10708
187.51/188.09 c #Conflicts: 149000 | #Constraints: 11710
187.51/188.09 c #Conflicts: 150000 | #Constraints: 12712
187.51/188.09 c bounds 9 >= -182 @ 141.8
187.51/188.09 c #Conflicts: 151000 | #Constraints: 13718
187.51/188.09 c #Conflicts: 152000 | #Constraints: 14720
187.51/188.09 c #Conflicts: 153000 | #Constraints: 15722
187.51/188.09 c #Conflicts: 154000 | #Constraints: 16726
187.51/188.09 c #Conflicts: 155000 | #Constraints: 17728
187.51/188.09 c INPROCESSING
187.51/188.09 c GARBAGE COLLECT
187.51/188.09 c #Conflicts: 156000 | #Constraints: 10902
187.51/188.09 c #Conflicts: 157000 | #Constraints: 11904
187.51/188.09 c bounds 9 >= -172 @ 149.252
187.51/188.09 c #Conflicts: 158000 | #Constraints: 12908
187.51/188.09 c #Conflicts: 159000 | #Constraints: 13912
187.51/188.09 c #Conflicts: 160000 | #Constraints: 14914
187.51/188.09 c #Conflicts: 161000 | #Constraints: 15916
187.51/188.09 c #Conflicts: 162000 | #Constraints: 16920
187.51/188.09 c #Conflicts: 163000 | #Constraints: 17922
187.51/188.09 c INPROCESSING
187.51/188.09 c GARBAGE COLLECT
187.51/188.09 c #Conflicts: 164000 | #Constraints: 10914
187.51/188.09 c #Conflicts: 165000 | #Constraints: 11916
187.51/188.09 c #Conflicts: 166000 | #Constraints: 12918
187.51/188.09 c #Conflicts: 167000 | #Constraints: 13922
187.51/188.09 c #Conflicts: 168000 | #Constraints: 14924
187.51/188.09 c #Conflicts: 169000 | #Constraints: 15926
187.51/188.09 c #Conflicts: 170000 | #Constraints: 16930
187.51/188.09 c #Conflicts: 171000 | #Constraints: 17932
187.51/188.09 c INPROCESSING
187.51/188.09 c GARBAGE COLLECT
187.51/188.09 c #Conflicts: 172000 | #Constraints: 10732
187.51/188.09 c #Conflicts: 173000 | #Constraints: 11734
187.51/188.09 c #Conflicts: 174000 | #Constraints: 12738
187.51/188.09 c bounds 9 >= -150 @ 163.806
187.51/188.09 c #Conflicts: 175000 | #Constraints: 13740
187.51/188.09 c #Conflicts: 176000 | #Constraints: 14744
187.51/188.09 c bounds 9 >= -147 @ 165.11
187.51/188.09 c #Conflicts: 177000 | #Constraints: 15748
187.51/188.09 c bounds 9 >= -145 @ 166.712
187.51/188.09 c bounds 9 >= -144 @ 166.717
187.51/188.09 c bounds 9 >= -143 @ 166.721
187.51/188.09 c bounds 9 >= -142 @ 166.727
187.51/188.09 c bounds 9 >= -141 @ 166.73
187.51/188.09 c bounds 9 >= -140 @ 166.734
187.51/188.09 c bounds 9 >= -139 @ 166.742
187.51/188.09 c bounds 9 >= -138 @ 166.771
187.51/188.09 c bounds 9 >= -137 @ 166.808
187.51/188.09 c #Conflicts: 178000 | #Constraints: 16978
187.51/188.09 c bounds 9 >= -136 @ 166.851
187.51/188.09 c bounds 9 >= -135 @ 166.953
187.51/188.09 c #Conflicts: 179000 | #Constraints: 18073
187.51/188.09 c #Conflicts: 180000 | #Constraints: 19073
187.51/188.09 c INPROCESSING
187.51/188.09 c GARBAGE COLLECT
187.51/188.09 c #Conflicts: 181000 | #Constraints: 11512
187.51/188.09 c bounds 9 >= -134 @ 168.288
187.51/188.09 c bounds 9 >= -133 @ 168.322
187.51/188.09 c bounds 9 >= -132 @ 168.355
187.51/188.09 c bounds 9 >= -131 @ 168.379
187.51/188.09 c bounds 9 >= -130 @ 168.392
187.51/188.09 c #Conflicts: 182000 | #Constraints: 12784
187.51/188.09 c bounds 9 >= -129 @ 168.551
187.51/188.09 c #Conflicts: 183000 | #Constraints: 13830
187.51/188.09 c #Conflicts: 184000 | #Constraints: 14830
187.51/188.09 c #Conflicts: 185000 | #Constraints: 15830
187.51/188.09 c #Conflicts: 186000 | #Constraints: 16830
187.51/188.09 c #Conflicts: 187000 | #Constraints: 17830
187.51/188.09 c #Conflicts: 188000 | #Constraints: 18830
187.51/188.09 c #Conflicts: 189000 | #Constraints: 19830
187.51/188.09 c INPROCESSING
187.51/188.09 c GARBAGE COLLECT
187.51/188.09 c #Conflicts: 190000 | #Constraints: 12171
187.51/188.09 c #Conflicts: 191000 | #Constraints: 13171
187.51/188.09 c #Conflicts: 192000 | #Constraints: 14171
187.51/188.09 c #Conflicts: 193000 | #Constraints: 15171
187.51/188.09 c #Conflicts: 194000 | #Constraints: 16171
187.51/188.09 c #Conflicts: 195000 | #Constraints: 17171
187.51/188.09 c #Conflicts: 196000 | #Constraints: 18171
187.51/188.09 c #Conflicts: 197000 | #Constraints: 19171
187.51/188.09 c #Conflicts: 198000 | #Constraints: 20171
187.51/188.09 c INPROCESSING
187.51/188.09 c GARBAGE COLLECT
187.51/188.09 c #Conflicts: 199000 | #Constraints: 12354
187.51/188.09 c #Conflicts: 200000 | #Constraints: 13354
187.51/188.09 c #Conflicts: 201000 | #Constraints: 14354
187.51/188.09 c #Conflicts: 202000 | #Constraints: 15354
302.02/302.85 c #Conflicts: 203000 | #Constraints: 16354
302.02/302.85 c #Conflicts: 204000 | #Constraints: 17354
302.02/302.85 c #Conflicts: 205000 | #Constraints: 18354
302.02/302.85 c #Conflicts: 206000 | #Constraints: 19354
302.02/302.85 c #Conflicts: 207000 | #Constraints: 20354
302.02/302.85 c INPROCESSING
302.02/302.85 c GARBAGE COLLECT
302.02/302.85 c #Conflicts: 208000 | #Constraints: 12337
302.02/302.85 c #Conflicts: 209000 | #Constraints: 13337
302.02/302.85 c #Conflicts: 210000 | #Constraints: 14337
302.02/302.85 c #Conflicts: 211000 | #Constraints: 15337
302.02/302.85 c #Conflicts: 212000 | #Constraints: 16337
302.02/302.85 c #Conflicts: 213000 | #Constraints: 17337
302.02/302.85 c #Conflicts: 214000 | #Constraints: 18337
302.02/302.85 c #Conflicts: 215000 | #Constraints: 19337
302.02/302.85 c #Conflicts: 216000 | #Constraints: 20337
302.02/302.85 c INPROCESSING
302.02/302.85 c GARBAGE COLLECT
302.02/302.85 c #Conflicts: 217000 | #Constraints: 12140
302.02/302.85 c #Conflicts: 218000 | #Constraints: 13140
302.02/302.85 c #Conflicts: 219000 | #Constraints: 14140
302.02/302.85 c #Conflicts: 220000 | #Constraints: 15140
302.02/302.85 c #Conflicts: 221000 | #Constraints: 16140
302.02/302.85 c #Conflicts: 222000 | #Constraints: 17140
302.02/302.85 c #Conflicts: 223000 | #Constraints: 18140
302.02/302.85 c #Conflicts: 224000 | #Constraints: 19140
302.02/302.85 c #Conflicts: 225000 | #Constraints: 20140
302.02/302.85 c #Conflicts: 226000 | #Constraints: 21140
302.02/302.85 c INPROCESSING
302.02/302.85 c GARBAGE COLLECT
302.02/302.85 c #Conflicts: 227000 | #Constraints: 12738
302.02/302.85 c #Conflicts: 228000 | #Constraints: 13738
302.02/302.85 c #Conflicts: 229000 | #Constraints: 14738
302.02/302.85 c #Conflicts: 230000 | #Constraints: 15738
302.02/302.85 c #Conflicts: 231000 | #Constraints: 16738
302.02/302.85 c #Conflicts: 232000 | #Constraints: 17738
302.02/302.85 c #Conflicts: 233000 | #Constraints: 18738
302.02/302.85 c #Conflicts: 234000 | #Constraints: 19738
302.02/302.85 c #Conflicts: 235000 | #Constraints: 20738
302.02/302.85 c #Conflicts: 236000 | #Constraints: 21738
302.02/302.85 c INPROCESSING
302.02/302.85 c GARBAGE COLLECT
302.02/302.85 c #Conflicts: 237000 | #Constraints: 13129
302.02/302.85 c #Conflicts: 238000 | #Constraints: 14129
302.02/302.85 c #Conflicts: 239000 | #Constraints: 15129
302.02/302.85 c #Conflicts: 240000 | #Constraints: 16129
302.02/302.85 c #Conflicts: 241000 | #Constraints: 17129
302.02/302.85 c #Conflicts: 242000 | #Constraints: 18129
302.02/302.85 c #Conflicts: 243000 | #Constraints: 19129
302.02/302.85 c #Conflicts: 244000 | #Constraints: 20129
302.02/302.85 c #Conflicts: 245000 | #Constraints: 21129
302.02/302.85 c #Conflicts: 246000 | #Constraints: 22129
302.02/302.85 c INPROCESSING
302.02/302.85 c GARBAGE COLLECT
302.02/302.85 c #Conflicts: 247000 | #Constraints: 13323
302.02/302.85 c #Conflicts: 248000 | #Constraints: 14323
302.02/302.85 c #Conflicts: 249000 | #Constraints: 15323
302.02/302.85 c #Conflicts: 250000 | #Constraints: 16323
302.02/302.85 c #Conflicts: 251000 | #Constraints: 17323
302.02/302.85 c #Conflicts: 252000 | #Constraints: 18323
302.02/302.85 c #Conflicts: 253000 | #Constraints: 19323
302.02/302.85 c #Conflicts: 254000 | #Constraints: 20323
302.02/302.85 c #Conflicts: 255000 | #Constraints: 21323
302.02/302.85 c #Conflicts: 256000 | #Constraints: 22323
302.02/302.85 c INPROCESSING
302.02/302.85 c GARBAGE COLLECT
302.02/302.85 c #Conflicts: 257000 | #Constraints: 13331
302.02/302.85 c #Conflicts: 258000 | #Constraints: 14331
302.02/302.85 c #Conflicts: 259000 | #Constraints: 15331
302.02/302.85 c #Conflicts: 260000 | #Constraints: 16331
302.02/302.85 c #Conflicts: 261000 | #Constraints: 17331
302.02/302.85 c #Conflicts: 262000 | #Constraints: 18331
302.02/302.85 c #Conflicts: 263000 | #Constraints: 19331
302.02/302.85 c #Conflicts: 264000 | #Constraints: 20331
302.02/302.85 c #Conflicts: 265000 | #Constraints: 21331
302.02/302.85 c #Conflicts: 266000 | #Constraints: 22331
302.02/302.85 c INPROCESSING
302.02/302.85 c GARBAGE COLLECT
302.02/302.85 c #Conflicts: 267000 | #Constraints: 13145
302.02/302.85 c #Conflicts: 268000 | #Constraints: 14145
302.02/302.85 c #Conflicts: 269000 | #Constraints: 15145
302.02/302.85 c #Conflicts: 270000 | #Constraints: 16145
302.02/302.85 c #Conflicts: 271000 | #Constraints: 17145
302.02/302.85 c #Conflicts: 272000 | #Constraints: 18145
302.02/302.85 c #Conflicts: 273000 | #Constraints: 19145
302.02/302.85 c #Conflicts: 274000 | #Constraints: 20145
302.02/302.85 c #Conflicts: 275000 | #Constraints: 21145
302.02/302.85 c #Conflicts: 276000 | #Constraints: 22145
302.02/302.85 c #Conflicts: 277000 | #Constraints: 23145
449.34/450.54 c INPROCESSING
449.34/450.54 c GARBAGE COLLECT
449.34/450.54 c #Conflicts: 278000 | #Constraints: 13752
449.34/450.54 c #Conflicts: 279000 | #Constraints: 14752
449.34/450.54 c #Conflicts: 280000 | #Constraints: 15752
449.34/450.54 c #Conflicts: 281000 | #Constraints: 16752
449.34/450.54 c #Conflicts: 282000 | #Constraints: 17752
449.34/450.54 c #Conflicts: 283000 | #Constraints: 18752
449.34/450.54 c #Conflicts: 284000 | #Constraints: 19752
449.34/450.54 c #Conflicts: 285000 | #Constraints: 20752
449.34/450.54 c #Conflicts: 286000 | #Constraints: 21752
449.34/450.54 c #Conflicts: 287000 | #Constraints: 22752
449.34/450.54 c #Conflicts: 288000 | #Constraints: 23752
449.34/450.54 c INPROCESSING
449.34/450.54 c GARBAGE COLLECT
449.34/450.54 c #Conflicts: 289000 | #Constraints: 14147
449.34/450.54 c #Conflicts: 290000 | #Constraints: 15147
449.34/450.54 c #Conflicts: 291000 | #Constraints: 16147
449.34/450.54 c #Conflicts: 292000 | #Constraints: 17147
449.34/450.54 c #Conflicts: 293000 | #Constraints: 18147
449.34/450.54 c #Conflicts: 294000 | #Constraints: 19147
449.34/450.54 c #Conflicts: 295000 | #Constraints: 20147
449.34/450.54 c #Conflicts: 296000 | #Constraints: 21147
449.34/450.54 c #Conflicts: 297000 | #Constraints: 22147
449.34/450.54 c #Conflicts: 298000 | #Constraints: 23147
449.34/450.54 c #Conflicts: 299000 | #Constraints: 24147
449.34/450.54 c INPROCESSING
449.34/450.54 c GARBAGE COLLECT
449.34/450.54 c #Conflicts: 300000 | #Constraints: 14340
449.34/450.54 c #Conflicts: 301000 | #Constraints: 15340
449.34/450.54 c #Conflicts: 302000 | #Constraints: 16340
449.34/450.54 c #Conflicts: 303000 | #Constraints: 17340
449.34/450.54 c #Conflicts: 304000 | #Constraints: 18340
449.34/450.54 c #Conflicts: 305000 | #Constraints: 19340
449.34/450.54 c #Conflicts: 306000 | #Constraints: 20340
449.34/450.54 c #Conflicts: 307000 | #Constraints: 21340
449.34/450.54 c #Conflicts: 308000 | #Constraints: 22340
449.34/450.54 c #Conflicts: 309000 | #Constraints: 23340
449.34/450.54 c #Conflicts: 310000 | #Constraints: 24340
449.34/450.54 c INPROCESSING
449.34/450.54 c GARBAGE COLLECT
449.34/450.54 c #Conflicts: 311000 | #Constraints: 14343
449.34/450.54 c #Conflicts: 312000 | #Constraints: 15343
449.34/450.54 c #Conflicts: 313000 | #Constraints: 16343
449.34/450.54 c #Conflicts: 314000 | #Constraints: 17343
449.34/450.54 c #Conflicts: 315000 | #Constraints: 18343
449.34/450.54 c #Conflicts: 316000 | #Constraints: 19343
449.34/450.54 c #Conflicts: 317000 | #Constraints: 20343
449.34/450.54 c #Conflicts: 318000 | #Constraints: 21343
449.34/450.54 c #Conflicts: 319000 | #Constraints: 22343
449.34/450.54 c #Conflicts: 320000 | #Constraints: 23343
449.34/450.54 c #Conflicts: 321000 | #Constraints: 24343
449.34/450.54 c INPROCESSING
449.34/450.54 c GARBAGE COLLECT
449.34/450.54 c #Conflicts: 322000 | #Constraints: 14135
449.34/450.54 c #Conflicts: 323000 | #Constraints: 15135
449.34/450.54 c #Conflicts: 324000 | #Constraints: 16135
449.34/450.54 c #Conflicts: 325000 | #Constraints: 17135
449.34/450.54 c #Conflicts: 326000 | #Constraints: 18135
449.34/450.54 c #Conflicts: 327000 | #Constraints: 19135
449.34/450.54 c #Conflicts: 328000 | #Constraints: 20135
449.34/450.54 c #Conflicts: 329000 | #Constraints: 21135
449.34/450.54 c #Conflicts: 330000 | #Constraints: 22135
449.34/450.54 c #Conflicts: 331000 | #Constraints: 23135
449.34/450.54 c #Conflicts: 332000 | #Constraints: 24135
449.34/450.54 c #Conflicts: 333000 | #Constraints: 25135
449.34/450.54 c INPROCESSING
449.34/450.54 c GARBAGE COLLECT
449.34/450.54 c #Conflicts: 334000 | #Constraints: 14747
449.34/450.54 c #Conflicts: 335000 | #Constraints: 15747
449.34/450.54 c #Conflicts: 336000 | #Constraints: 16747
449.34/450.54 c #Conflicts: 337000 | #Constraints: 17747
449.34/450.54 c #Conflicts: 338000 | #Constraints: 18747
449.34/450.54 c #Conflicts: 339000 | #Constraints: 19747
449.34/450.54 c #Conflicts: 340000 | #Constraints: 20747
449.34/450.54 c #Conflicts: 341000 | #Constraints: 21747
449.34/450.54 c #Conflicts: 342000 | #Constraints: 22747
449.34/450.54 c #Conflicts: 343000 | #Constraints: 23747
449.34/450.54 c #Conflicts: 344000 | #Constraints: 24747
449.34/450.54 c #Conflicts: 345000 | #Constraints: 25747
449.34/450.54 c INPROCESSING
449.34/450.54 c GARBAGE COLLECT
449.34/450.54 c #Conflicts: 346000 | #Constraints: 15147
449.34/450.54 c #Conflicts: 347000 | #Constraints: 16147
449.34/450.54 c #Conflicts: 348000 | #Constraints: 17147
449.34/450.54 c #Conflicts: 349000 | #Constraints: 18147
449.34/450.54 c #Conflicts: 350000 | #Constraints: 19147
449.34/450.54 c #Conflicts: 351000 | #Constraints: 20147
1028.42/1031.34 c #Conflicts: 352000 | #Constraints: 21147
1028.42/1031.34 c #Conflicts: 353000 | #Constraints: 22147
1028.42/1031.34 c #Conflicts: 354000 | #Constraints: 23147
1028.42/1031.34 c #Conflicts: 355000 | #Constraints: 24147
1028.42/1031.34 c #Conflicts: 356000 | #Constraints: 25147
1028.42/1031.34 c #Conflicts: 357000 | #Constraints: 26147
1028.42/1031.34 c #Conflicts: 358000 | #Constraints: 27147
1028.42/1031.34 c #Conflicts: 359000 | #Constraints: 28147
1028.42/1031.34 c #Conflicts: 360000 | #Constraints: 29147
1028.42/1031.34 c #Conflicts: 361000 | #Constraints: 30147
1028.42/1031.34 c #Conflicts: 362000 | #Constraints: 31147
1028.42/1031.34 c #Conflicts: 363000 | #Constraints: 32147
1028.42/1031.34 c #Conflicts: 364000 | #Constraints: 33147
1028.42/1031.34 c #Conflicts: 365000 | #Constraints: 34147
1028.42/1031.34 c #Conflicts: 366000 | #Constraints: 35147
1028.42/1031.34 c #Conflicts: 367000 | #Constraints: 36147
1028.42/1031.34 c #Conflicts: 368000 | #Constraints: 37147
1028.42/1031.34 c #Conflicts: 369000 | #Constraints: 38147
1028.42/1031.34 c #Conflicts: 370000 | #Constraints: 39147
1028.42/1031.34 c #Conflicts: 371000 | #Constraints: 40147
1028.42/1031.34 c #Conflicts: 372000 | #Constraints: 41147
1028.42/1031.34 c #Conflicts: 373000 | #Constraints: 42147
1028.42/1031.34 c #Conflicts: 374000 | #Constraints: 43147
1028.42/1031.34 c #Conflicts: 375000 | #Constraints: 44147
1028.42/1031.34 c #Conflicts: 376000 | #Constraints: 45147
1028.42/1031.34 c #Conflicts: 377000 | #Constraints: 46147
1028.42/1031.34 c #Conflicts: 378000 | #Constraints: 47147
1028.42/1031.34 c #Conflicts: 379000 | #Constraints: 48147
1028.42/1031.34 c #Conflicts: 380000 | #Constraints: 49147
1028.42/1031.34 c #Conflicts: 381000 | #Constraints: 50147
1028.42/1031.34 c #Conflicts: 382000 | #Constraints: 51147
1028.42/1031.34 c #Conflicts: 383000 | #Constraints: 52147
1028.42/1031.34 c #Conflicts: 384000 | #Constraints: 53147
1028.42/1031.34 c #Conflicts: 385000 | #Constraints: 54147
1028.42/1031.34 c #Conflicts: 386000 | #Constraints: 55147
1028.42/1031.34 c #Conflicts: 387000 | #Constraints: 56147
1028.42/1031.34 c #Conflicts: 388000 | #Constraints: 57147
1028.42/1031.34 c #Conflicts: 389000 | #Constraints: 58147
1028.42/1031.34 c #Conflicts: 390000 | #Constraints: 59147
1028.42/1031.34 c #Conflicts: 391000 | #Constraints: 60147
1028.42/1031.34 c #Conflicts: 392000 | #Constraints: 61147
1028.42/1031.34 c #Conflicts: 393000 | #Constraints: 62147
1028.42/1031.34 c #Conflicts: 394000 | #Constraints: 63147
1028.42/1031.34 c #Conflicts: 395000 | #Constraints: 64147
1028.42/1031.34 c #Conflicts: 396000 | #Constraints: 65147
1028.42/1031.34 c #Conflicts: 397000 | #Constraints: 66147
1028.42/1031.34 c #Conflicts: 398000 | #Constraints: 67147
1028.42/1031.34 c #Conflicts: 399000 | #Constraints: 68147
1028.42/1031.34 c #Conflicts: 400000 | #Constraints: 69147
1028.42/1031.34 c #Conflicts: 401000 | #Constraints: 70147
1028.42/1031.34 c #Conflicts: 402000 | #Constraints: 71147
1028.42/1031.34 c INPROCESSING
1028.42/1031.34 c GARBAGE COLLECT
1028.42/1031.34 c #Conflicts: 403000 | #Constraints: 37391
1028.42/1031.34 c #Conflicts: 404000 | #Constraints: 38391
1028.42/1031.34 c #Conflicts: 405000 | #Constraints: 39391
1028.42/1031.34 c #Conflicts: 406000 | #Constraints: 40391
1028.42/1031.34 c #Conflicts: 407000 | #Constraints: 41391
1028.42/1031.34 c #Conflicts: 408000 | #Constraints: 42391
1028.42/1031.34 c #Conflicts: 409000 | #Constraints: 43391
1028.42/1031.34 c #Conflicts: 410000 | #Constraints: 44391
1028.42/1031.34 c #Conflicts: 411000 | #Constraints: 45391
1028.42/1031.34 c #Conflicts: 412000 | #Constraints: 46391
1028.42/1031.34 c #Conflicts: 413000 | #Constraints: 47391
1028.42/1031.34 c #Conflicts: 414000 | #Constraints: 48391
1028.42/1031.34 c #Conflicts: 415000 | #Constraints: 49391
1028.42/1031.34 c #Conflicts: 416000 | #Constraints: 50391
1028.42/1031.34 c INPROCESSING
1028.42/1031.34 c GARBAGE COLLECT
1028.42/1031.34 c #Conflicts: 417000 | #Constraints: 27472
1028.42/1031.34 c #Conflicts: 418000 | #Constraints: 28472
1028.42/1031.34 c #Conflicts: 419000 | #Constraints: 29472
1028.42/1031.34 c #Conflicts: 420000 | #Constraints: 30472
1028.42/1031.34 c #Conflicts: 421000 | #Constraints: 31472
1028.42/1031.34 c #Conflicts: 422000 | #Constraints: 32472
1028.42/1031.34 c #Conflicts: 423000 | #Constraints: 33472
1028.42/1031.34 c #Conflicts: 424000 | #Constraints: 34472
1028.42/1031.34 c #Conflicts: 425000 | #Constraints: 35472
1028.42/1031.34 c #Conflicts: 426000 | #Constraints: 36472
1028.42/1031.34 c #Conflicts: 427000 | #Constraints: 37472
1028.42/1031.34 c #Conflicts: 428000 | #Constraints: 38472
1347.33/1351.13 c #Conflicts: 429000 | #Constraints: 39472
1347.33/1351.13 c INPROCESSING
1347.33/1351.13 c GARBAGE COLLECT
1347.33/1351.13 c #Conflicts: 430000 | #Constraints: 21867
1347.33/1351.13 c #Conflicts: 431000 | #Constraints: 22867
1347.33/1351.13 c #Conflicts: 432000 | #Constraints: 23867
1347.33/1351.13 c #Conflicts: 433000 | #Constraints: 24867
1347.33/1351.13 c #Conflicts: 434000 | #Constraints: 25867
1347.33/1351.13 c #Conflicts: 435000 | #Constraints: 26867
1347.33/1351.13 c #Conflicts: 436000 | #Constraints: 27867
1347.33/1351.13 c #Conflicts: 437000 | #Constraints: 28867
1347.33/1351.13 c #Conflicts: 438000 | #Constraints: 29867
1347.33/1351.13 c #Conflicts: 439000 | #Constraints: 30867
1347.33/1351.13 c #Conflicts: 440000 | #Constraints: 31867
1347.33/1351.13 c #Conflicts: 441000 | #Constraints: 32867
1347.33/1351.13 c #Conflicts: 442000 | #Constraints: 33867
1347.33/1351.13 c INPROCESSING
1347.33/1351.13 c GARBAGE COLLECT
1347.33/1351.13 c #Conflicts: 443000 | #Constraints: 18810
1347.33/1351.13 c #Conflicts: 444000 | #Constraints: 19810
1347.33/1351.13 c #Conflicts: 445000 | #Constraints: 20810
1347.33/1351.13 c #Conflicts: 446000 | #Constraints: 21810
1347.33/1351.13 c #Conflicts: 447000 | #Constraints: 22810
1347.33/1351.13 c #Conflicts: 448000 | #Constraints: 23810
1347.33/1351.13 c #Conflicts: 449000 | #Constraints: 24810
1347.33/1351.13 c #Conflicts: 450000 | #Constraints: 25810
1347.33/1351.13 c #Conflicts: 451000 | #Constraints: 26810
1347.33/1351.13 c #Conflicts: 452000 | #Constraints: 27810
1347.33/1351.13 c #Conflicts: 453000 | #Constraints: 28810
1347.33/1351.13 c #Conflicts: 454000 | #Constraints: 29810
1347.33/1351.13 c #Conflicts: 455000 | #Constraints: 30810
1347.33/1351.13 c #Conflicts: 456000 | #Constraints: 31810
1347.33/1351.13 c INPROCESSING
1347.33/1351.13 c GARBAGE COLLECT
1347.33/1351.13 c #Conflicts: 457000 | #Constraints: 17942
1347.33/1351.13 c #Conflicts: 458000 | #Constraints: 18942
1347.33/1351.13 c #Conflicts: 459000 | #Constraints: 19942
1347.33/1351.13 c #Conflicts: 460000 | #Constraints: 20942
1347.33/1351.13 c #Conflicts: 461000 | #Constraints: 21942
1347.33/1351.13 c #Conflicts: 462000 | #Constraints: 22942
1347.33/1351.13 c #Conflicts: 463000 | #Constraints: 23942
1347.33/1351.13 c #Conflicts: 464000 | #Constraints: 24942
1347.33/1351.13 c #Conflicts: 465000 | #Constraints: 25942
1347.33/1351.13 c #Conflicts: 466000 | #Constraints: 26942
1347.33/1351.13 c #Conflicts: 467000 | #Constraints: 27942
1347.33/1351.13 c #Conflicts: 468000 | #Constraints: 28942
1347.33/1351.13 c #Conflicts: 469000 | #Constraints: 29942
1347.33/1351.13 c #Conflicts: 470000 | #Constraints: 30942
1347.33/1351.13 c INPROCESSING
1347.33/1351.13 c GARBAGE COLLECT
1347.33/1351.13 c #Conflicts: 471000 | #Constraints: 17564
1347.33/1351.13 c #Conflicts: 472000 | #Constraints: 18564
1347.33/1351.13 c #Conflicts: 473000 | #Constraints: 19564
1347.33/1351.13 c #Conflicts: 474000 | #Constraints: 20564
1347.33/1351.13 c #Conflicts: 475000 | #Constraints: 21564
1347.33/1351.13 c #Conflicts: 476000 | #Constraints: 22564
1347.33/1351.13 c #Conflicts: 477000 | #Constraints: 23564
1347.33/1351.13 c #Conflicts: 478000 | #Constraints: 24564
1347.33/1351.13 c #Conflicts: 479000 | #Constraints: 25564
1347.33/1351.13 c #Conflicts: 480000 | #Constraints: 26564
1347.33/1351.13 c #Conflicts: 481000 | #Constraints: 27564
1347.33/1351.13 c #Conflicts: 482000 | #Constraints: 28564
1347.33/1351.13 c #Conflicts: 483000 | #Constraints: 29564
1347.33/1351.13 c #Conflicts: 484000 | #Constraints: 30564
1347.33/1351.13 c #Conflicts: 485000 | #Constraints: 31564
1347.33/1351.13 c #Conflicts: 486000 | #Constraints: 32564
1347.33/1351.13 c #Conflicts: 487000 | #Constraints: 33564
1347.33/1351.13 c #Conflicts: 488000 | #Constraints: 34564
1347.33/1351.13 c #Conflicts: 489000 | #Constraints: 35564
1347.33/1351.13 c #Conflicts: 490000 | #Constraints: 36564
1347.33/1351.13 c #Conflicts: 491000 | #Constraints: 37564
1347.33/1351.13 c #Conflicts: 492000 | #Constraints: 38564
1347.33/1351.13 c #Conflicts: 493000 | #Constraints: 39564
1347.33/1351.13 c #Conflicts: 494000 | #Constraints: 40564
1347.33/1351.13 c #Conflicts: 495000 | #Constraints: 41564
1347.33/1351.13 c #Conflicts: 496000 | #Constraints: 42564
1347.33/1351.13 c #Conflicts: 497000 | #Constraints: 43564
1347.33/1351.13 c #Conflicts: 498000 | #Constraints: 44564
1347.33/1351.13 c #Conflicts: 499000 | #Constraints: 45564
1347.33/1351.13 c #Conflicts: 500000 | #Constraints: 46564
1347.33/1351.13 c #Conflicts: 501000 | #Constraints: 47564
1347.33/1351.13 c #Conflicts: 502000 | #Constraints: 48564
1347.33/1351.13 c #Conflicts: 503000 | #Constraints: 49564
1347.33/1351.13 c #Conflicts: 504000 | #Constraints: 50564
1347.33/1351.13 c #Conflicts: 505000 | #Constraints: 51564
1989.36/1995.07 c #Conflicts: 506000 | #Constraints: 52564
1989.36/1995.07 c #Conflicts: 507000 | #Constraints: 53564
1989.36/1995.07 c #Conflicts: 508000 | #Constraints: 54564
1989.36/1995.07 c #Conflicts: 509000 | #Constraints: 55564
1989.36/1995.07 c #Conflicts: 510000 | #Constraints: 56564
1989.36/1995.07 c #Conflicts: 511000 | #Constraints: 57564
1989.36/1995.07 c #Conflicts: 512000 | #Constraints: 58564
1989.36/1995.07 c #Conflicts: 513000 | #Constraints: 59564
1989.36/1995.07 c #Conflicts: 514000 | #Constraints: 60564
1989.36/1995.07 c #Conflicts: 515000 | #Constraints: 61564
1989.36/1995.07 c #Conflicts: 516000 | #Constraints: 62564
1989.36/1995.07 c #Conflicts: 517000 | #Constraints: 63564
1989.36/1995.07 c #Conflicts: 518000 | #Constraints: 64564
1989.36/1995.07 c #Conflicts: 519000 | #Constraints: 65564
1989.36/1995.07 c #Conflicts: 520000 | #Constraints: 66564
1989.36/1995.07 c #Conflicts: 521000 | #Constraints: 67564
1989.36/1995.07 c #Conflicts: 522000 | #Constraints: 68564
1989.36/1995.07 c #Conflicts: 523000 | #Constraints: 69564
1989.36/1995.07 c #Conflicts: 524000 | #Constraints: 70564
1989.36/1995.07 c #Conflicts: 525000 | #Constraints: 71564
1989.36/1995.07 c #Conflicts: 526000 | #Constraints: 72564
1989.36/1995.07 c #Conflicts: 527000 | #Constraints: 73564
1989.36/1995.07 c #Conflicts: 528000 | #Constraints: 74564
1989.36/1995.07 c #Conflicts: 529000 | #Constraints: 75564
1989.36/1995.07 c #Conflicts: 530000 | #Constraints: 76564
1989.36/1995.07 c #Conflicts: 531000 | #Constraints: 77564
1989.36/1995.07 c #Conflicts: 532000 | #Constraints: 78564
1989.36/1995.07 c #Conflicts: 533000 | #Constraints: 79564
1989.36/1995.07 c #Conflicts: 534000 | #Constraints: 80564
1989.36/1995.07 c #Conflicts: 535000 | #Constraints: 81564
1989.36/1995.07 c INPROCESSING
1989.36/1995.07 c GARBAGE COLLECT
1989.36/1995.07 c #Conflicts: 536000 | #Constraints: 42668
1989.36/1995.07 c #Conflicts: 537000 | #Constraints: 43668
1989.36/1995.07 c #Conflicts: 538000 | #Constraints: 44668
1989.36/1995.07 c #Conflicts: 539000 | #Constraints: 45668
1989.36/1995.07 c #Conflicts: 540000 | #Constraints: 46668
1989.36/1995.07 c #Conflicts: 541000 | #Constraints: 47668
1989.36/1995.07 c #Conflicts: 542000 | #Constraints: 48668
1989.36/1995.07 c #Conflicts: 543000 | #Constraints: 49668
1989.36/1995.07 c #Conflicts: 544000 | #Constraints: 50668
1989.36/1995.07 c #Conflicts: 545000 | #Constraints: 51668
1989.36/1995.07 c #Conflicts: 546000 | #Constraints: 52668
1989.36/1995.07 c #Conflicts: 547000 | #Constraints: 53668
1989.36/1995.07 c #Conflicts: 548000 | #Constraints: 54668
1989.36/1995.07 c #Conflicts: 549000 | #Constraints: 55668
1989.36/1995.07 c #Conflicts: 550000 | #Constraints: 56668
1989.36/1995.07 c #Conflicts: 551000 | #Constraints: 57668
1989.36/1995.07 c INPROCESSING
1989.36/1995.07 c GARBAGE COLLECT
1989.36/1995.07 c #Conflicts: 552000 | #Constraints: 31115
1989.36/1995.07 c #Conflicts: 553000 | #Constraints: 32115
1989.36/1995.07 c #Conflicts: 554000 | #Constraints: 33115
1989.36/1995.07 c #Conflicts: 555000 | #Constraints: 34115
1989.36/1995.07 c #Conflicts: 556000 | #Constraints: 35115
1989.36/1995.07 c #Conflicts: 557000 | #Constraints: 36115
1989.36/1995.07 c #Conflicts: 558000 | #Constraints: 37115
1989.36/1995.07 c #Conflicts: 559000 | #Constraints: 38115
1989.36/1995.07 c #Conflicts: 560000 | #Constraints: 39115
1989.36/1995.07 c #Conflicts: 561000 | #Constraints: 40115
1989.36/1995.07 c #Conflicts: 562000 | #Constraints: 41115
1989.36/1995.07 c #Conflicts: 563000 | #Constraints: 42115
1989.36/1995.07 c #Conflicts: 564000 | #Constraints: 43115
1989.36/1995.07 c #Conflicts: 565000 | #Constraints: 44115
1989.36/1995.07 c #Conflicts: 566000 | #Constraints: 45115
1989.36/1995.07 c INPROCESSING
1989.36/1995.07 c GARBAGE COLLECT
1989.36/1995.07 c #Conflicts: 567000 | #Constraints: 24651
1989.36/1995.07 c #Conflicts: 568000 | #Constraints: 25651
1989.36/1995.07 c #Conflicts: 569000 | #Constraints: 26651
1989.36/1995.07 c #Conflicts: 570000 | #Constraints: 27651
1989.36/1995.07 c #Conflicts: 571000 | #Constraints: 28651
1989.36/1995.07 c #Conflicts: 572000 | #Constraints: 29651
1989.36/1995.07 c #Conflicts: 573000 | #Constraints: 30651
1989.36/1995.07 c #Conflicts: 574000 | #Constraints: 31651
1989.36/1995.07 c #Conflicts: 575000 | #Constraints: 32651
1989.36/1995.07 c #Conflicts: 576000 | #Constraints: 33651
1989.36/1995.07 c #Conflicts: 577000 | #Constraints: 34651
1989.36/1995.07 c #Conflicts: 578000 | #Constraints: 35651
1989.36/1995.07 c #Conflicts: 579000 | #Constraints: 36651
1989.36/1995.07 c #Conflicts: 580000 | #Constraints: 37651
1989.36/1995.07 c #Conflicts: 581000 | #Constraints: 38651
2538.22/2545.44 c #Conflicts: 582000 | #Constraints: 39651
2538.22/2545.44 c INPROCESSING
2538.22/2545.44 c GARBAGE COLLECT
2538.22/2545.44 c #Conflicts: 583000 | #Constraints: 22102
2538.22/2545.44 c #Conflicts: 584000 | #Constraints: 23102
2538.22/2545.44 c #Conflicts: 585000 | #Constraints: 24102
2538.22/2545.44 c #Conflicts: 586000 | #Constraints: 25102
2538.22/2545.44 c #Conflicts: 587000 | #Constraints: 26102
2538.22/2545.44 c #Conflicts: 588000 | #Constraints: 27102
2538.22/2545.44 c #Conflicts: 589000 | #Constraints: 28102
2538.22/2545.44 c #Conflicts: 590000 | #Constraints: 29102
2538.22/2545.44 c #Conflicts: 591000 | #Constraints: 30102
2538.22/2545.44 c #Conflicts: 592000 | #Constraints: 31102
2538.22/2545.44 c #Conflicts: 593000 | #Constraints: 32102
2538.22/2545.44 c #Conflicts: 594000 | #Constraints: 33102
2538.22/2545.44 c #Conflicts: 595000 | #Constraints: 34102
2538.22/2545.44 c #Conflicts: 596000 | #Constraints: 35102
2538.22/2545.44 c #Conflicts: 597000 | #Constraints: 36102
2538.22/2545.44 c INPROCESSING
2538.22/2545.44 c GARBAGE COLLECT
2538.22/2545.44 c #Conflicts: 598000 | #Constraints: 19932
2538.22/2545.44 c #Conflicts: 599000 | #Constraints: 20932
2538.22/2545.44 c #Conflicts: 600000 | #Constraints: 21932
2538.22/2545.44 c #Conflicts: 601000 | #Constraints: 22932
2538.22/2545.44 c #Conflicts: 602000 | #Constraints: 23932
2538.22/2545.44 c #Conflicts: 603000 | #Constraints: 24932
2538.22/2545.44 c #Conflicts: 604000 | #Constraints: 25932
2538.22/2545.44 c #Conflicts: 605000 | #Constraints: 26932
2538.22/2545.44 c #Conflicts: 606000 | #Constraints: 27932
2538.22/2545.44 c #Conflicts: 607000 | #Constraints: 28932
2538.22/2545.44 c #Conflicts: 608000 | #Constraints: 29932
2538.22/2545.44 c #Conflicts: 609000 | #Constraints: 30932
2538.22/2545.44 c #Conflicts: 610000 | #Constraints: 31932
2538.22/2545.44 c #Conflicts: 611000 | #Constraints: 32932
2538.22/2545.44 c #Conflicts: 612000 | #Constraints: 33932
2538.22/2545.44 c #Conflicts: 613000 | #Constraints: 34932
2538.22/2545.44 c #Conflicts: 614000 | #Constraints: 35932
2538.22/2545.44 c #Conflicts: 615000 | #Constraints: 36932
2538.22/2545.44 c #Conflicts: 616000 | #Constraints: 37932
2538.22/2545.44 c #Conflicts: 617000 | #Constraints: 38932
2538.22/2545.44 c #Conflicts: 618000 | #Constraints: 39932
2538.22/2545.44 c #Conflicts: 619000 | #Constraints: 40932
2538.22/2545.44 c #Conflicts: 620000 | #Constraints: 41932
2538.22/2545.44 c #Conflicts: 621000 | #Constraints: 42932
2538.22/2545.44 c #Conflicts: 622000 | #Constraints: 43932
2538.22/2545.44 c #Conflicts: 623000 | #Constraints: 44932
2538.22/2545.44 c #Conflicts: 624000 | #Constraints: 45932
2538.22/2545.44 c #Conflicts: 625000 | #Constraints: 46932
2538.22/2545.44 c #Conflicts: 626000 | #Constraints: 47932
2538.22/2545.44 c #Conflicts: 627000 | #Constraints: 48932
2538.22/2545.44 c #Conflicts: 628000 | #Constraints: 49932
2538.22/2545.44 c #Conflicts: 629000 | #Constraints: 50932
2538.22/2545.44 c #Conflicts: 630000 | #Constraints: 51932
2538.22/2545.44 c #Conflicts: 631000 | #Constraints: 52932
2538.22/2545.44 c #Conflicts: 632000 | #Constraints: 53932
2538.22/2545.44 c #Conflicts: 633000 | #Constraints: 54932
2538.22/2545.44 c #Conflicts: 634000 | #Constraints: 55932
2538.22/2545.44 c #Conflicts: 635000 | #Constraints: 56932
2538.22/2545.44 c #Conflicts: 636000 | #Constraints: 57932
2538.22/2545.44 c #Conflicts: 637000 | #Constraints: 58932
2538.22/2545.44 c #Conflicts: 638000 | #Constraints: 59932
2538.22/2545.44 c #Conflicts: 639000 | #Constraints: 60932
2538.22/2545.44 c #Conflicts: 640000 | #Constraints: 61932
2538.22/2545.44 c #Conflicts: 641000 | #Constraints: 62932
2538.22/2545.44 c #Conflicts: 642000 | #Constraints: 63932
2538.22/2545.44 c #Conflicts: 643000 | #Constraints: 64932
2538.22/2545.44 c #Conflicts: 644000 | #Constraints: 65932
2538.22/2545.44 c #Conflicts: 645000 | #Constraints: 66932
2538.22/2545.44 c #Conflicts: 646000 | #Constraints: 67932
2538.22/2545.44 c #Conflicts: 647000 | #Constraints: 68932
2538.22/2545.44 c #Conflicts: 648000 | #Constraints: 69932
2538.22/2545.44 c #Conflicts: 649000 | #Constraints: 70932
2538.22/2545.44 c #Conflicts: 650000 | #Constraints: 71932
2538.22/2545.44 c #Conflicts: 651000 | #Constraints: 72932
2538.22/2545.44 c #Conflicts: 652000 | #Constraints: 73932
2538.22/2545.44 c #Conflicts: 653000 | #Constraints: 74932
2538.22/2545.44 c #Conflicts: 654000 | #Constraints: 75932
2538.22/2545.44 c #Conflicts: 655000 | #Constraints: 76932
2538.22/2545.44 c #Conflicts: 656000 | #Constraints: 77932
2538.22/2545.44 c #Conflicts: 657000 | #Constraints: 78932
2538.22/2545.44 c #Conflicts: 658000 | #Constraints: 79932
2538.22/2545.44 c #Conflicts: 659000 | #Constraints: 80932
3074.30/3083.12 c #Conflicts: 660000 | #Constraints: 81932
3074.30/3083.12 c #Conflicts: 661000 | #Constraints: 82932
3074.30/3083.12 c #Conflicts: 662000 | #Constraints: 83932
3074.30/3083.12 c #Conflicts: 663000 | #Constraints: 84932
3074.30/3083.12 c #Conflicts: 664000 | #Constraints: 85932
3074.30/3083.12 c #Conflicts: 665000 | #Constraints: 86932
3074.30/3083.12 c #Conflicts: 666000 | #Constraints: 87932
3074.30/3083.12 c #Conflicts: 667000 | #Constraints: 88932
3074.30/3083.12 c #Conflicts: 668000 | #Constraints: 89932
3074.30/3083.12 c #Conflicts: 669000 | #Constraints: 90932
3074.30/3083.12 c INPROCESSING
3074.30/3083.12 c GARBAGE COLLECT
3074.30/3083.12 c #Conflicts: 670000 | #Constraints: 47445
3074.30/3083.12 c #Conflicts: 671000 | #Constraints: 48445
3074.30/3083.12 c #Conflicts: 672000 | #Constraints: 49445
3074.30/3083.12 c #Conflicts: 673000 | #Constraints: 50445
3074.30/3083.12 c #Conflicts: 674000 | #Constraints: 51445
3074.30/3083.12 c #Conflicts: 675000 | #Constraints: 52445
3074.30/3083.12 c #Conflicts: 676000 | #Constraints: 53445
3074.30/3083.12 c #Conflicts: 677000 | #Constraints: 54445
3074.30/3083.12 c #Conflicts: 678000 | #Constraints: 55445
3074.30/3083.12 c #Conflicts: 679000 | #Constraints: 56445
3074.30/3083.12 c #Conflicts: 680000 | #Constraints: 57445
3074.30/3083.12 c #Conflicts: 681000 | #Constraints: 58445
3074.30/3083.12 c #Conflicts: 682000 | #Constraints: 59445
3074.30/3083.12 c #Conflicts: 683000 | #Constraints: 60445
3074.30/3083.12 c #Conflicts: 684000 | #Constraints: 61445
3074.30/3083.12 c #Conflicts: 685000 | #Constraints: 62445
3074.30/3083.12 c #Conflicts: 686000 | #Constraints: 63445
3074.30/3083.12 c INPROCESSING
3074.30/3083.12 c GARBAGE COLLECT
3074.30/3083.12 c #Conflicts: 687000 | #Constraints: 33651
3074.30/3083.12 c #Conflicts: 688000 | #Constraints: 34651
3074.30/3083.12 c #Conflicts: 689000 | #Constraints: 35651
3074.30/3083.12 c #Conflicts: 690000 | #Constraints: 36651
3074.30/3083.12 c #Conflicts: 691000 | #Constraints: 37651
3074.30/3083.12 c #Conflicts: 692000 | #Constraints: 38651
3074.30/3083.12 c #Conflicts: 693000 | #Constraints: 39651
3074.30/3083.12 c #Conflicts: 694000 | #Constraints: 40651
3074.30/3083.12 c #Conflicts: 695000 | #Constraints: 41651
3074.30/3083.12 c #Conflicts: 696000 | #Constraints: 42651
3074.30/3083.12 c #Conflicts: 697000 | #Constraints: 43651
3074.30/3083.12 c #Conflicts: 698000 | #Constraints: 44651
3074.30/3083.12 c #Conflicts: 699000 | #Constraints: 45651
3074.30/3083.12 c #Conflicts: 700000 | #Constraints: 46651
3074.30/3083.12 c #Conflicts: 701000 | #Constraints: 47651
3074.30/3083.12 c #Conflicts: 702000 | #Constraints: 48651
3074.30/3083.12 c #Conflicts: 703000 | #Constraints: 49651
3074.30/3083.12 c #Conflicts: 704000 | #Constraints: 50651
3074.30/3083.12 c INPROCESSING
3074.30/3083.12 c GARBAGE COLLECT
3074.30/3083.12 c #Conflicts: 705000 | #Constraints: 27603
3074.30/3083.12 c #Conflicts: 706000 | #Constraints: 28603
3074.30/3083.12 c #Conflicts: 707000 | #Constraints: 29603
3074.30/3083.12 c #Conflicts: 708000 | #Constraints: 30603
3074.30/3083.12 c #Conflicts: 709000 | #Constraints: 31603
3074.30/3083.12 c #Conflicts: 710000 | #Constraints: 32603
3074.30/3083.12 c #Conflicts: 711000 | #Constraints: 33603
3074.30/3083.12 c #Conflicts: 712000 | #Constraints: 34603
3074.30/3083.12 c #Conflicts: 713000 | #Constraints: 35603
3074.30/3083.12 c #Conflicts: 714000 | #Constraints: 36603
3074.30/3083.12 c #Conflicts: 715000 | #Constraints: 37603
3074.30/3083.12 c #Conflicts: 716000 | #Constraints: 38603
3074.30/3083.12 c #Conflicts: 717000 | #Constraints: 39603
3074.30/3083.12 c #Conflicts: 718000 | #Constraints: 40603
3074.30/3083.12 c #Conflicts: 719000 | #Constraints: 41603
3074.30/3083.12 c #Conflicts: 720000 | #Constraints: 42603
3074.30/3083.12 c #Conflicts: 721000 | #Constraints: 43603
3074.30/3083.12 c INPROCESSING
3074.30/3083.12 c GARBAGE COLLECT
3074.30/3083.12 c #Conflicts: 722000 | #Constraints: 23839
3074.30/3083.12 c #Conflicts: 723000 | #Constraints: 24839
3074.30/3083.12 c #Conflicts: 724000 | #Constraints: 25839
3074.30/3083.12 c #Conflicts: 725000 | #Constraints: 26839
3074.30/3083.12 c #Conflicts: 726000 | #Constraints: 27839
3074.30/3083.12 c #Conflicts: 727000 | #Constraints: 28839
3074.30/3083.12 c #Conflicts: 728000 | #Constraints: 29839
3074.30/3083.12 c #Conflicts: 729000 | #Constraints: 30839
3074.30/3083.12 c #Conflicts: 730000 | #Constraints: 31839
3074.30/3083.12 c #Conflicts: 731000 | #Constraints: 32839
3074.30/3083.12 c #Conflicts: 732000 | #Constraints: 33839
3074.30/3083.12 c #Conflicts: 733000 | #Constraints: 34839
3074.30/3083.12 c #Conflicts: 734000 | #Constraints: 35839
3074.30/3083.12 c #Conflicts: 735000 | #Constraints: 36839
3600.01/3610.30 c #Conflicts: 736000 | #Constraints: 37839
3600.01/3610.30 c #Conflicts: 737000 | #Constraints: 38839
3600.01/3610.30 c #Conflicts: 738000 | #Constraints: 39839
3600.01/3610.30 c #Conflicts: 739000 | #Constraints: 40839
3600.01/3610.30 c INPROCESSING
3600.01/3610.30 c GARBAGE COLLECT
3600.01/3610.30 c #Conflicts: 740000 | #Constraints: 22602
3600.01/3610.30 c #Conflicts: 741000 | #Constraints: 23602
3600.01/3610.30 c #Conflicts: 742000 | #Constraints: 24602
3600.01/3610.30 c #Conflicts: 743000 | #Constraints: 25602
3600.01/3610.30 c #Conflicts: 744000 | #Constraints: 26602
3600.01/3610.30 c #Conflicts: 745000 | #Constraints: 27602
3600.01/3610.30 c #Conflicts: 746000 | #Constraints: 28602
3600.01/3610.30 c #Conflicts: 747000 | #Constraints: 29602
3600.01/3610.30 c #Conflicts: 748000 | #Constraints: 30602
3600.01/3610.30 c #Conflicts: 749000 | #Constraints: 31602
3600.01/3610.30 c #Conflicts: 750000 | #Constraints: 32602
3600.01/3610.30 c #Conflicts: 751000 | #Constraints: 33602
3600.01/3610.30 c #Conflicts: 752000 | #Constraints: 34602
3600.01/3610.30 c #Conflicts: 753000 | #Constraints: 35602
3600.01/3610.30 c #Conflicts: 754000 | #Constraints: 36602
3600.01/3610.30 c #Conflicts: 755000 | #Constraints: 37602
3600.01/3610.30 c #Conflicts: 756000 | #Constraints: 38602
3600.01/3610.30 c #Conflicts: 757000 | #Constraints: 39602
3600.01/3610.30 c #Conflicts: 758000 | #Constraints: 40602
3600.01/3610.30 c #Conflicts: 759000 | #Constraints: 41602
3600.01/3610.30 c #Conflicts: 760000 | #Constraints: 42602
3600.01/3610.30 c #Conflicts: 761000 | #Constraints: 43602
3600.01/3610.30 c #Conflicts: 762000 | #Constraints: 44602
3600.01/3610.30 c #Conflicts: 763000 | #Constraints: 45602
3600.01/3610.30 c #Conflicts: 764000 | #Constraints: 46602
3600.01/3610.30 c #Conflicts: 765000 | #Constraints: 47602
3600.01/3610.30 c #Conflicts: 766000 | #Constraints: 48602
3600.01/3610.30 c #Conflicts: 767000 | #Constraints: 49602
3600.01/3610.30 c #Conflicts: 768000 | #Constraints: 50602
3600.01/3610.30 c #Conflicts: 769000 | #Constraints: 51602
3600.01/3610.30 c #Conflicts: 770000 | #Constraints: 52602
3600.01/3610.30 c #Conflicts: 771000 | #Constraints: 53602
3600.01/3610.30 c #Conflicts: 772000 | #Constraints: 54602
3600.01/3610.30 c #Conflicts: 773000 | #Constraints: 55602
3600.01/3610.30 c #Conflicts: 774000 | #Constraints: 56602
3600.01/3610.30 c #Conflicts: 775000 | #Constraints: 57602
3600.01/3610.30 c #Conflicts: 776000 | #Constraints: 58602
3600.01/3610.30 c #Conflicts: 777000 | #Constraints: 59602
3600.01/3610.30 c #Conflicts: 778000 | #Constraints: 60602
3600.01/3610.30 c #Conflicts: 779000 | #Constraints: 61602
3600.01/3610.30 c #Conflicts: 780000 | #Constraints: 62602
3600.01/3610.30 c #Conflicts: 781000 | #Constraints: 63602
3600.01/3610.30 c #Conflicts: 782000 | #Constraints: 64602
3600.01/3610.30 c #Conflicts: 783000 | #Constraints: 65602
3600.01/3610.30 c #Conflicts: 784000 | #Constraints: 66602
3600.01/3610.30 c #Conflicts: 785000 | #Constraints: 67602
3600.01/3610.30 c #Conflicts: 786000 | #Constraints: 68602
3600.01/3610.30 c #Conflicts: 787000 | #Constraints: 69602
3600.01/3610.30 c #Conflicts: 788000 | #Constraints: 70602
3600.01/3610.30 c #Conflicts: 789000 | #Constraints: 71602
3600.01/3610.30 c #Conflicts: 790000 | #Constraints: 72602
3600.01/3610.30 c #Conflicts: 791000 | #Constraints: 73602
3600.01/3610.30 c #Conflicts: 792000 | #Constraints: 74602
3600.01/3610.30 c #Conflicts: 793000 | #Constraints: 75602
3600.01/3610.30 c #Conflicts: 794000 | #Constraints: 76602
3600.01/3610.30 c #Conflicts: 795000 | #Constraints: 77602
3600.01/3610.30 c #Conflicts: 796000 | #Constraints: 78602
3600.01/3610.30 c #Conflicts: 797000 | #Constraints: 79602
3600.01/3610.30 c #Conflicts: 798000 | #Constraints: 80602
3600.01/3610.30 c #Conflicts: 799000 | #Constraints: 81602
3600.01/3610.30 c #Conflicts: 800000 | #Constraints: 82602
3600.01/3610.30 c #Conflicts: 801000 | #Constraints: 83602
3600.01/3610.30 c Program interrupted by user.
3600.01/3610.30 c cpu time 3585.54 s
3600.01/3610.30 c deterministic time 319952250546 3.20e+11
3600.01/3610.30 c optimization time 644.096 s
3600.01/3610.30 c total solve time 2941.44 s
3600.01/3610.30 c core-guided solve time 2941.44 s
3600.01/3610.30 c propagation time 3226 s
3600.01/3610.30 c conflict analysis time 328.163 s
3600.01/3610.30 c propagations 102492205
3600.01/3610.30 c resolve steps 8901923
3600.01/3610.30 c decisions 10175554
3600.01/3610.30 c conflicts 801023
3600.01/3610.30 c restarts 1720
3600.01/3610.30 c inprocessing phases 66
3600.01/3610.30 c input clauses 1477
3600.01/3610.30 c input cardinalities 743
3600.01/3610.30 c input general constraints 1152
3600.01/3610.30 c input average constraint length 80.23
3600.01/3610.30 c input average constraint degree 35.73
3600.01/3610.30 c learned clauses 207335
3600.01/3610.30 c learned cardinalities 301
3600.01/3610.30 c learned general constraints 593509
3600.01/3610.30 c learned average constraint length 192.67
3600.01/3610.30 c learned average constraint degree 1243489.18
3600.01/3610.30 c watched constraints 420721
3600.01/3610.30 c counting constraints 173940
3600.01/3610.30 c gcd simplifications 19692
3600.01/3610.30 c detected cardinalities 9
3600.01/3610.30 c weakened non-implied lits 13850033
3600.01/3610.30 c weakened non-implying lits 35742
3600.01/3610.30 c original variables 934
3600.01/3610.30 c clausal propagations 34565180
3600.01/3610.30 c cardinality propagations 4686276
3600.01/3610.30 c watched propagations 15095133
3600.01/3610.30 c counting propagations 47529440
3600.01/3610.30 c watch lookups 67069351211
3600.01/3610.30 c watch backjump lookups 62874856478
3600.01/3610.30 c watch checks 166282198402
3600.01/3610.30 c propagation checks 23056367072
3600.01/3610.30 c constraint additions 443341160
3600.01/3610.30 c trail pops 113468463
3600.01/3610.30 c formula constraints 1063
3600.01/3610.30 c learned constraints 801145
3600.01/3610.30 c bound constraints 266
3600.01/3610.30 c core-guided constraints 2043
3600.01/3610.30 c encountered formula constraints 2027513
3600.01/3610.30 c encountered learned constraints 6215410
3600.01/3610.30 c encountered bound constraints 94
3600.01/3610.30 c encountered core-guided constraints 1459929
3600.01/3610.30 c LP total time 0 s
3600.01/3610.30 c LP solve time 0 s
3600.01/3610.30 c LP constraints added 0
3600.01/3610.30 c LP constraints removed 0
3600.01/3610.30 c LP pivots internal 0
3600.01/3610.30 c LP pivots root 0
3600.01/3610.30 c LP calls 0
3600.01/3610.30 c LP optimalities 0
3600.01/3610.30 c LP no pivot count 0
3600.01/3610.30 c LP infeasibilities 0
3600.01/3610.30 c LP valid Farkas constraints 0
3600.01/3610.30 c LP learned Farkas constraints 0
3600.01/3610.30 c LP basis resets 0
3600.01/3610.30 c LP cycling count 0
3600.01/3610.30 c LP singular count 0
3600.01/3610.30 c LP no primal count 0
3600.01/3610.30 c LP no farkas count 0
3600.01/3610.30 c LP other issue count 0
3600.01/3610.30 c LP Gomory cuts 0
3600.01/3610.30 c LP learned cuts 0
3600.01/3610.30 c LP deleted cuts 0
3600.01/3610.30 c LP encountered Gomory constraints 0
3600.01/3610.30 c LP encountered Farkas constraints 0
3600.01/3610.30 c LP encountered learned Farkas constraints 0
3600.01/3610.30 c CG auxiliary variables introduced 778
3600.01/3610.30 c CG solutions found 8
3600.01/3610.30 c CG cores constructed 235
3600.01/3610.30 c CG core cardinality constraints returned 27
3600.01/3610.30 c CG unit cores 0
3600.01/3610.30 c CG single cores 200
3600.01/3610.30 c CG blocks removed during cardinality reduction 0
3600.01/3610.30 c CG first core best 0
3600.01/3610.30 c CG decision core best 15
3600.01/3610.30 c CG core reduction tie 20
3600.01/3610.30 c CG core degree average 1.14
3600.01/3610.30 c CG core slack average 7.11
3600.01/3610.30 c CG exhausted 6
3600.01/3610.30 c CG exhaust time 138.178 s
3600.01/3610.30 c CG trimmed 100
3600.01/3610.30 c CG trim time 0.104019 s
3600.01/3610.30 c CG minimized 0
3600.01/3610.30 c CG minimize time 0 s
3600.01/3610.30 c CG am1 prop time 0.05317 s
3600.01/3610.30 c CG # am1s reformulated 36
3600.01/3610.30 c CG lower bound derived from am1s 51
3600.01/3610.30 c CG # clausal cores 223
3600.01/3610.30 c CG # cardinality cores 29
3600.01/3610.30 c CG # pb cores 18
3600.01/3610.30 c CG # pb reforms 39
3600.01/3610.30 c CG # cores discarded because of pb reform 0
3600.01/3610.30 d LOWERBOUND -129
3600.01/3610.30 d NCORES 235
3600.01/3610.30 d NPBCORES 18
3600.01/3610.30 d NPBREFORM 39
3600.01/3610.30 d NTRIMMED 100
3600.01/3610.30 d NEXHAUSTED 6
3600.01/3610.30 d NAM1S 36
3600.01/3610.30 d AM1LB 51
3600.01/3610.30 o 9
3600.01/3610.30 s SATISFIABLE
3600.01/3610.30 v x1 -x2 -x3 x4 x5 x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 x35 x36 x37 x38 -x39 -x40 -x41 x42 x43 x44 x45 x46 -x47 -x48 -x49 x50 -x51 -x52 x53 x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 x75 -x76 -x77 x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 x89 x90 x91 -x92 x93 x94 -x95 -x96 -x97 x98 -x99 -x100 x101 x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 x116 -x117 x118 x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 x132 -x133 -x134 x135 x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 x149 x150 -x151 x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 x164 x165 -x166 -x167 -x168 -x169 x170 x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 x181 -x182 x183 x184 -x185 -x186 -x187 x188 x189 x190 x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 x201 x202 x203 x204 x205 -x206 x207 x208 -x209 -x210 x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 x229 -x230 -x231 x232 x233 -x234 -x235 x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 x246 -x247 -x248 x249 x250 -x251 -x252 x253 x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 x266 -x267 -x268 -x269 x270 x271 -x272 -x273 x274 x275 -x276 -x277 x278 x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 x326 x327 x328 x329 x330 -x331 x332 x333 x334 -x335 x336 x337 x338 -x339 x340 x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 x349 x350 -x351 -x352 -x353 -x354 x355 -x356 x357 x358 x359 x360 x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 x373 x374 x375 -x376 x377 x378 -x379 -x380 -x381 x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 x407 x408 -x409 x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 x419 x420 x421 x422 x423 x424 x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 x438 x439 x440 -x441 -x442 x443 x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 x459 x460 -x461 -x462 x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 x517 x518 x519 x520 x521 x522 x523 x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 x568 x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 x608 -x609 -x610 x611 x612 x613 -x614 x615 x616 x617 x618 x619 x620 x621 -x622 x623 x624 -x625 -x626 -x627 -x628 x629 x630 x631 x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 x658 x659 x660 x661 x662 -x663 x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 -x687 -x688 x689 x690 -x691 -x692 -x693 -x694 x695 -x696 x697 x698 x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 x707 x708 x709 x710 x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 x720 x721 x722 x723 x724 -x725 -x726 -x727 -x728 x729 x730 x731 x732 x733 -x734 x735 -x736 x737 x738 x739 -x740 x741 x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 x752 -x753 x754 x755 -x756 -x757 -x758 x759 x760 x761 x762 -x763 -x764 x765 x766 x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 x779 -x780 x781 x782 x783 x784 x785 -x786 -x787 x788 x789 -x790 -x791 x792 x793 x794 -x795 x796 x797 -x798 -x799 -x800 x801 x802 x803 x804 x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 x818 -x819 -x820 x821 x822 -x823 -x824 -x825 -x826 x827 -x828 x829 x830 x831 x832 -x833 x834 x835 -x836 -x837 -x838 -x839 x840 -x841 x842 x843 x844 -x845 x846 x847 -x848 -x849 x850 x851 -x852 x853 x854 x855 x856 x857 x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 x875 x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 x884 -x885 -x886 -x887 x888 -x889 x890 x891 -x892 -x893 x894 x895 -x896 -x897 -x898 x899 -x900 -x901 x902 x903 x904 x905 x906 x907 -x908 -x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 x930 x931 x932 x933 x934
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 (59968 MiB free)
memory of node 1: 64510 MiB (60620 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454379-1721434063/watcher-4454379-1721434063 -o /tmp/evaluation-result-4454379-1721434063/solver-4454379-1721434063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721434076-1063215 --watchdog 3760 pb-oll-rs HOME/instance-4454379-1721434063.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=1063269, runsolver pid=1063264
Current StackSize limit: 8192 KiB
[startup+0.100083 s]*
/proc/loadavg: 1.06 1.50 2.09 7/256 1063276
/proc/meminfo: memFree=123467184/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=41692 memory=11080 CPUtime=0.09 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 1082 0 0 0 9 0 0 0 20 0 1 0 195571695 42692608 2770 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 10423 2770 1352 291 0 1957 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41692 KiB
Current children cumulated memory: 11080 KiB
[startup+0.205099 s]*
/proc/loadavg: 1.06 1.50 2.09 7/256 1063276
/proc/meminfo: memFree=123448332/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=48296 memory=17080 CPUtime=0.2 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 2628 0 0 0 19 1 0 0 20 0 1 0 195571695 49455104 4270 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 12074 4270 1352 291 0 3608 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48296 KiB
Current children cumulated memory: 17080 KiB
[startup+0.304975 s]*
/proc/loadavg: 1.06 1.50 2.09 7/256 1063276
/proc/meminfo: memFree=123437684/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=49836 memory=20248 CPUtime=0.3 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 3415 0 0 0 28 2 0 0 20 0 1 0 195571695 51032064 5062 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 12459 5062 1352 291 0 3993 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49836 KiB
Current children cumulated memory: 20248 KiB
[startup+0.700174 s]
/proc/loadavg: 1.06 1.50 2.09 7/256 1063276
/proc/meminfo: memFree=123417404/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=60124 memory=30036 CPUtime=0.69 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 5318 0 0 0 65 4 0 0 20 0 1 0 195571695 61566976 7509 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 15031 7509 1352 291 0 6565 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 60124 KiB
Current children cumulated memory: 30036 KiB
[startup+1.50018 s]
/proc/loadavg: 1.06 1.50 2.09 7/256 1063278
/proc/meminfo: memFree=123387012/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=78992 memory=45952 CPUtime=1.49 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 8196 0 0 0 143 6 0 0 20 0 1 0 195571695 80887808 11488 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 19748 11488 1410 291 0 11282 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 78992 KiB
Current children cumulated memory: 45952 KiB
[startup+3.1048 s]
/proc/loadavg: 1.06 1.50 2.09 7/256 1063278
/proc/meminfo: memFree=123255840/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=81840 memory=50048 CPUtime=3.09 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 9233 0 0 0 298 11 0 0 20 0 1 0 195571695 83804160 12512 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 20460 12512 1410 291 0 11994 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 81840 KiB
Current children cumulated memory: 50048 KiB
[startup+6.30017 s]
/proc/loadavg: 1.30 1.54 2.10 7/256 1063278
/proc/meminfo: memFree=123196444/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=98160 memory=61464 CPUtime=6.27 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 11095 0 0 0 610 17 0 0 20 0 1 0 195571695 100515840 15366 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 24540 15366 1410 291 0 16074 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 98160 KiB
Current children cumulated memory: 61464 KiB
[startup+12.7002 s]
/proc/loadavg: 1.52 1.58 2.11 7/256 1063279
/proc/meminfo: memFree=123040608/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=115380 memory=78200 CPUtime=12.66 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 14242 0 0 0 1238 28 0 0 20 0 1 0 195571695 118149120 19550 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 28845 19550 1410 291 0 20379 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 115380 KiB
Current children cumulated memory: 78200 KiB
[startup+25.5002 s]
/proc/loadavg: 2.14 1.72 2.15 7/256 1063281
/proc/meminfo: memFree=122857416/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=142284 memory=94376 CPUtime=25.43 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 16768 0 0 0 2497 46 0 0 20 0 1 0 195571695 145698816 23594 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 35571 23594 1410 291 0 27105 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 142284 KiB
Current children cumulated memory: 94376 KiB
[startup+51.1048 s]
/proc/loadavg: 2.78 1.90 2.20 7/256 1063286
/proc/meminfo: memFree=122659484/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=195812 memory=140612 CPUtime=50.97 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 27809 0 0 0 5021 76 0 0 20 0 1 0 195571695 200511488 35153 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 48953 35153 1410 291 0 40487 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 195812 KiB
Current children cumulated memory: 140612 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 2.24 2.30 7/256 1063294
/proc/meminfo: memFree=122360756/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=202716 memory=152560 CPUtime=102.02 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 29852 0 0 0 10070 132 0 0 20 0 1 0 195571695 207581184 38140 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 50679 38140 1410 291 0 42213 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 202716 KiB
Current children cumulated memory: 152560 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 2.61 2.43 7/258 1063309
/proc/meminfo: memFree=122300596/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=205036 memory=154516 CPUtime=161.87 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 30310 0 0 0 15980 207 0 0 20 0 1 0 195571695 209956864 38629 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 51259 38629 1410 291 0 42793 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 205036 KiB
Current children cumulated memory: 154516 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 2.87 2.53 7/258 1063320
/proc/meminfo: memFree=122143620/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=209500 memory=158612 CPUtime=221.73 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 31556 0 0 0 21866 307 0 0 20 0 1 0 195571695 214528000 39653 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 52375 39653 1410 291 0 43909 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 209500 KiB
Current children cumulated memory: 158612 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.11 2.63 7/258 1063331
/proc/meminfo: memFree=122074644/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=210084 memory=159244 CPUtime=281.58 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 31836 0 0 0 27780 378 0 0 20 0 1 0 195571695 215126016 39811 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 52521 39811 1410 291 0 44055 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 210084 KiB
Current children cumulated memory: 159244 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.29 2.73 7/258 1063343
/proc/meminfo: memFree=121959604/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=211004 memory=160100 CPUtime=341.42 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 32129 0 0 0 33709 433 0 0 20 0 1 0 195571695 216068096 40025 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 52751 40025 1410 291 0 44285 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 211004 KiB
Current children cumulated memory: 160100 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.43 2.81 7/258 1063354
/proc/meminfo: memFree=121846744/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=211464 memory=160600 CPUtime=401.26 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 32340 0 0 0 39639 487 0 0 20 0 1 0 195571695 216539136 40150 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 52866 40150 1410 291 0 44400 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 211464 KiB
Current children cumulated memory: 160600 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 3.57 2.90 7/258 1063366
/proc/meminfo: memFree=121777764/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=211568 memory=160808 CPUtime=461.1 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 32453 0 0 0 45568 542 0 0 20 0 1 0 195571695 216645632 40202 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 52892 40202 1410 291 0 44426 0
################
# More data... #
################
Current children cumulated memory: 237232 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.16 4.06 7/259 1064825
/proc/meminfo: memFree=119398848/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=279836 memory=237464 CPUtime=2913.93 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 43770 0 0 0 290137 1256 0 0 20 0 1 0 195571695 286552064 59366 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 69959 59366 1410 291 0 61493 0
Current children cumulated CPU time: 2913.93 s
Current children cumulated vsize: 279836 KiB
Current children cumulated memory: 237464 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.17 4.07 7/257 1064836
/proc/meminfo: memFree=119357272/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=279836 memory=237464 CPUtime=2973.76 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 43871 0 0 0 296098 1278 0 0 20 0 1 0 195571695 286552064 59366 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 69959 59366 1410 291 0 61493 0
Current children cumulated CPU time: 2973.76 s
Current children cumulated vsize: 279836 KiB
Current children cumulated memory: 237464 KiB
[startup+3042.3 s]
/proc/loadavg: 4.35 4.22 4.09 7/258 1065015
/proc/meminfo: memFree=119264396/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=279836 memory=237516 CPUtime=3033.6 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 43956 0 0 0 302060 1300 0 0 20 0 1 0 195571695 286552064 59379 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 69959 59379 1410 291 0 61493 0
Current children cumulated CPU time: 3033.6 s
Current children cumulated vsize: 279836 KiB
Current children cumulated memory: 237516 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.19 4.09 7/258 1065026
/proc/meminfo: memFree=119220276/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=279836 memory=237516 CPUtime=3093.44 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 44039 0 0 0 308015 1329 0 0 20 0 1 0 195571695 286552064 59379 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 69959 59379 1410 291 0 61493 0
Current children cumulated CPU time: 3093.44 s
Current children cumulated vsize: 279836 KiB
Current children cumulated memory: 237516 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.17 4.09 7/258 1065040
/proc/meminfo: memFree=119169836/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=279836 memory=237516 CPUtime=3153.28 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 44123 0 0 0 313966 1362 0 0 20 0 1 0 195571695 286552064 59379 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 69959 59379 1410 291 0 61493 0
Current children cumulated CPU time: 3153.28 s
Current children cumulated vsize: 279836 KiB
Current children cumulated memory: 237516 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.18 4.10 7/259 1065064
/proc/meminfo: memFree=119112456/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=279836 memory=237516 CPUtime=3213.12 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 44212 0 0 0 319932 1380 0 0 20 0 1 0 195571695 286552064 59379 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 69959 59379 1410 291 0 61493 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 279836 KiB
Current children cumulated memory: 237516 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.15 4.09 7/260 1065075
/proc/meminfo: memFree=119069600/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=279836 memory=237516 CPUtime=3272.95 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 44303 0 0 0 325900 1395 0 0 20 0 1 0 195571695 286552064 59379 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 69959 59379 1410 291 0 61493 0
Current children cumulated CPU time: 3272.95 s
Current children cumulated vsize: 279836 KiB
Current children cumulated memory: 237516 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.09 7/259 1065086
/proc/meminfo: memFree=119023792/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=279836 memory=237516 CPUtime=3332.78 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 44397 0 0 0 331872 1406 0 0 20 0 1 0 195571695 286552064 59379 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 69959 59379 1410 291 0 61493 0
Current children cumulated CPU time: 3332.78 s
Current children cumulated vsize: 279836 KiB
Current children cumulated memory: 237516 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.09 7/259 1065099
/proc/meminfo: memFree=118862156/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=279836 memory=237516 CPUtime=3392.61 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 44493 0 0 0 337845 1416 0 0 20 0 1 0 195571695 286552064 59379 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 69959 59379 1410 291 0 61493 0
Current children cumulated CPU time: 3392.61 s
Current children cumulated vsize: 279836 KiB
Current children cumulated memory: 237516 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.09 7/257 1065109
/proc/meminfo: memFree=118827736/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=279836 memory=237516 CPUtime=3452.44 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 44592 0 0 0 343818 1426 0 0 20 0 1 0 195571695 286552064 59379 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 69959 59379 1410 291 0 61493 0
Current children cumulated CPU time: 3452.44 s
Current children cumulated vsize: 279836 KiB
Current children cumulated memory: 237516 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.15 4.10 7/257 1065119
/proc/meminfo: memFree=118784932/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=279836 memory=237516 CPUtime=3512.27 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 44692 0 0 0 349791 1436 0 0 20 0 1 0 195571695 286552064 59379 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 69959 59379 1410 291 0 61493 0
Current children cumulated CPU time: 3512.27 s
Current children cumulated vsize: 279836 KiB
Current children cumulated memory: 237516 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.09 7/256 1065130
/proc/meminfo: memFree=118740968/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=279836 memory=237516 CPUtime=3572.09 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 44794 0 0 0 355765 1444 0 0 20 0 1 0 195571695 286552064 59379 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 69959 59379 1410 291 0 61493 0
Current children cumulated CPU time: 3572.09 s
Current children cumulated vsize: 279836 KiB
Current children cumulated memory: 237516 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.13 4.14 4.09 7/256 1065180
/proc/meminfo: memFree=122966744/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=279836 memory=237524 CPUtime=3600.01 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 44898 0 0 0 358553 1448 0 0 20 0 1 0 195571695 286552064 59381 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 69959 59381 1410 291 0 61493 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 279836 KiB
Current children cumulated memory: 237524 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 1063269 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.54 s, system=14.4928 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.13 4.14 4.09 7/256 1065180
/proc/meminfo: memFree=122966744/131524600 swapFree=131071996/131071996
[pid=1063269] ppid=1063264 vsize=279836 memory=237524 CPUtime=3600.01 cores=5,7
/proc/1063269/stat : 1063269 (pb-oll-rs) R 1063264 1063269 1063202 0 -1 4194304 44898 0 0 0 358553 1448 0 0 20 0 1 0 195571695 286552064 59381 134679101440 4194304 5384485 140725627366768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36515840 140725627372565 140725627372642 140725627372642 140725627379659 0
/proc/1063269/statm: 69959 59381 1410 291 0 61493 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 279836 KiB
Current children cumulated memory: 237524 KiB
Child status: 0
Real time (s): 3610.31
CPU time (s): 3600.03
CPU user time (s): 3585.54
CPU system time (s): 14.4928
CPU usage (%): 99.7154
Max. virtual memory (cumulated for all children) (KiB): 280624
Max. memory (cumulated for all children) (KiB): 238220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.54
system time used= 14.4928
maximum resident set size= 238220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44913
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= 64
involuntary context switches= 3440
# summary of solver processes directly reported to runsolver:
# pid: 1063269
# total CPU time (s): 3600.03
# total CPU user time (s): 3585.54
# total CPU system time (s): 14.4928
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62792 second user time and 14.7677 second system time
The end
Begin job on nodeC025 at 2024-07-20 02:07:56
IDJOB=4454379
IDBENCH=146663
IDSOLVER=3082
FILE ID=nodeC025/4454379-1721434063
RUNJOBID= nodeC025-1721434076-1063215
SLURM_JOB_ID= 7545633
Free space on /tmp= 890028 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:100.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454379-1721434063/watcher-4454379-1721434063 -o /tmp/evaluation-result-4454379-1721434063/solver-4454379-1721434063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721434076-1063215 --watchdog 3760 pb-oll-rs HOME/instance-4454379-1721434063.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0c08209891d9f5241a74237055766898
RANDOM SEED=2034756044
nodeC025.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 : 3594.001
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.72
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 : 3499.466
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 : 7007.09
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 : 3598.509
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.72
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 : 3221.278
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 : 7007.09
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 : 3599.214
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.72
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 : 3384.116
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 : 7007.09
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 : 3515.829
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.72
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 : 3551.888
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 : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123490412 kB
MemAvailable: 129602312 kB
Buffers: 560328 kB
Cached: 6321636 kB
SwapCached: 0 kB
Active: 1138432 kB
Inactive: 6114072 kB
Active(anon): 1420 kB
Inactive(anon): 415028 kB
Active(file): 1137012 kB
Inactive(file): 5699044 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 7416 kB
Writeback: 0 kB
AnonPages: 368632 kB
Mapped: 107020 kB
Shmem: 45912 kB
KReclaimable: 230980 kB
Slab: 360472 kB
SReclaimable: 230980 kB
SUnreclaim: 129492 kB
KernelStack: 3940 kB
PageTables: 9856 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 789756 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73248 kB
HardwareCorrupted: 0 kB
AnonHugePages: 241664 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: 318164 kB
DirectMap2M: 43495424 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 890024 MiB
End job on nodeC025 at 2024-07-20 03:08:06