0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 934 #constraints 1063
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= -546 @ 0.00024
0.00/0.01 c stratification level: 3
0.00/0.02 c bounds - >= -537 @ 0.00119
0.00/0.02 c bounds - >= -534 @ 0.00119
0.00/0.02 c bounds - >= -531 @ 0.00119
0.00/0.02 c bounds - >= -528 @ 0.00119
0.00/0.02 c bounds - >= -525 @ 0.00119
0.00/0.02 c bounds - >= -522 @ 0.00119
0.00/0.02 c bounds - >= -519 @ 0.001539
0.00/0.02 c finalizing WCE round: reformulating cores
0.19/0.21 c bounds 33 >= -519 @ 0.185082
0.19/0.21 c bounds 32 >= -519 @ 0.189689
0.19/0.21 c stratification level: 2
0.49/0.56 c bounds 32 >= -505 @ 0.191551
0.49/0.56 c bounds 32 >= -503 @ 0.192016
0.49/0.56 c bounds 32 >= -501 @ 0.192456
0.49/0.56 c bounds 32 >= -499 @ 0.192968
0.49/0.56 c bounds 32 >= -497 @ 0.193491
0.49/0.56 c bounds 32 >= -495 @ 0.193962
0.49/0.56 c bounds 32 >= -493 @ 0.194466
0.49/0.56 c bounds 32 >= -491 @ 0.194984
0.49/0.56 c bounds 32 >= -489 @ 0.195484
0.49/0.56 c bounds 32 >= -485 @ 0.19613
0.49/0.56 c bounds 32 >= -481 @ 0.196818
0.49/0.56 c bounds 32 >= -479 @ 0.197302
0.49/0.56 c bounds 32 >= -477 @ 0.197847
0.49/0.56 c bounds 32 >= -473 @ 0.198441
0.49/0.56 c bounds 32 >= -471 @ 0.198978
0.49/0.56 c bounds 32 >= -467 @ 0.199499
0.49/0.56 c bounds 32 >= -465 @ 0.20004
0.49/0.56 c bounds 32 >= -463 @ 0.200248
0.49/0.56 c bounds 32 >= -461 @ 0.200248
0.49/0.56 c bounds 32 >= -459 @ 0.200249
0.49/0.56 c bounds 32 >= -457 @ 0.200318
0.49/0.56 c bounds 32 >= -453 @ 0.200998
0.49/0.56 c bounds 32 >= -451 @ 0.20155
0.49/0.56 c bounds 32 >= -449 @ 0.202096
0.49/0.56 c bounds 32 >= -447 @ 0.202656
0.49/0.56 c bounds 32 >= -445 @ 0.203194
0.49/0.56 c bounds 32 >= -441 @ 0.203238
0.49/0.56 c bounds 32 >= -437 @ 0.203238
0.49/0.56 c bounds 32 >= -435 @ 0.20367
0.49/0.56 c bounds 32 >= -429 @ 0.204196
0.49/0.56 c bounds 32 >= -425 @ 0.204231
0.49/0.56 c bounds 32 >= -423 @ 0.204298
0.49/0.56 c bounds 32 >= -421 @ 0.20479
0.49/0.56 c bounds 32 >= -419 @ 0.205213
0.49/0.56 c bounds 32 >= -417 @ 0.205754
0.49/0.56 c bounds 32 >= -415 @ 0.20624
0.49/0.56 c bounds 32 >= -413 @ 0.206977
0.49/0.56 c bounds 32 >= -411 @ 0.20722
0.49/0.56 c bounds 32 >= -407 @ 0.20722
0.49/0.56 c bounds 32 >= -405 @ 0.20722
0.49/0.56 c bounds 32 >= -403 @ 0.20722
0.49/0.56 c bounds 32 >= -401 @ 0.20722
0.49/0.56 c bounds 32 >= -399 @ 0.207285
0.49/0.56 c bounds 32 >= -397 @ 0.207902
0.49/0.56 c bounds 32 >= -393 @ 0.208171
0.49/0.56 c bounds 32 >= -391 @ 0.208171
0.49/0.56 c bounds 32 >= -389 @ 0.208539
0.49/0.56 c bounds 32 >= -387 @ 0.20908
0.49/0.56 c bounds 32 >= -385 @ 0.209201
0.49/0.56 c bounds 32 >= -381 @ 0.209384
0.49/0.56 c bounds 32 >= -379 @ 0.210079
0.49/0.56 c bounds 32 >= -377 @ 0.211049
0.49/0.56 c #Conflicts: 1000 | #Constraints: 2175
0.49/0.56 c finalizing WCE round: reformulating cores
24.61/24.73 c #Conflicts: 2000 | #Constraints: 3178
24.61/24.73 c INPROCESSING
24.61/24.73 c GARBAGE COLLECT
24.61/24.73 c #Conflicts: 3000 | #Constraints: 3117
24.61/24.73 c #Conflicts: 4000 | #Constraints: 4137
24.61/24.73 c INPROCESSING
24.61/24.73 c GARBAGE COLLECT
24.61/24.73 c #Conflicts: 5000 | #Constraints: 3539
24.61/24.73 c #Conflicts: 6000 | #Constraints: 4541
24.61/24.73 c INPROCESSING
24.61/24.73 c GARBAGE COLLECT
24.61/24.73 c #Conflicts: 7000 | #Constraints: 3548
24.61/24.73 c #Conflicts: 8000 | #Constraints: 4550
24.61/24.73 c #Conflicts: 9000 | #Constraints: 5558
24.61/24.73 c INPROCESSING
24.61/24.73 c GARBAGE COLLECT
24.61/24.73 c #Conflicts: 10000 | #Constraints: 4256
24.61/24.73 c #Conflicts: 11000 | #Constraints: 5258
24.61/24.73 c #Conflicts: 12000 | #Constraints: 6263
24.61/24.73 c INPROCESSING
24.61/24.73 c GARBAGE COLLECT
24.61/24.73 c #Conflicts: 13000 | #Constraints: 4707
24.61/24.73 c #Conflicts: 14000 | #Constraints: 5709
24.61/24.73 c #Conflicts: 15000 | #Constraints: 6711
24.61/24.73 c INPROCESSING
24.61/24.73 c GARBAGE COLLECT
24.61/24.73 c #Conflicts: 16000 | #Constraints: 4945
24.61/24.73 c #Conflicts: 17000 | #Constraints: 5947
24.61/24.73 c #Conflicts: 18000 | #Constraints: 6949
24.61/24.73 c INPROCESSING
24.61/24.73 c GARBAGE COLLECT
24.61/24.73 c #Conflicts: 19000 | #Constraints: 4970
24.61/24.73 c #Conflicts: 20000 | #Constraints: 5972
24.61/24.73 c #Conflicts: 21000 | #Constraints: 6974
24.61/24.73 c INPROCESSING
24.61/24.73 c GARBAGE COLLECT
24.61/24.73 c #Conflicts: 22000 | #Constraints: 4786
24.61/24.73 c #Conflicts: 23000 | #Constraints: 5788
24.61/24.73 c #Conflicts: 24000 | #Constraints: 6792
24.61/24.73 c #Conflicts: 25000 | #Constraints: 7794
24.61/24.73 c INPROCESSING
24.61/24.73 c GARBAGE COLLECT
24.61/24.73 c #Conflicts: 26000 | #Constraints: 5405
24.61/24.73 c #Conflicts: 27000 | #Constraints: 6407
24.61/24.73 c #Conflicts: 28000 | #Constraints: 7412
24.61/24.73 c #Conflicts: 29000 | #Constraints: 8417
24.61/24.73 c INPROCESSING
24.61/24.73 c GARBAGE COLLECT
24.61/24.73 c #Conflicts: 30000 | #Constraints: 5815
24.61/24.73 c #Conflicts: 31000 | #Constraints: 6817
24.61/24.73 c #Conflicts: 32000 | #Constraints: 7819
24.61/24.73 c #Conflicts: 33000 | #Constraints: 8823
24.61/24.73 c INPROCESSING
24.61/24.73 c GARBAGE COLLECT
24.61/24.73 c #Conflicts: 34000 | #Constraints: 6019
24.61/24.73 c #Conflicts: 35000 | #Constraints: 7021
24.61/24.73 c bounds 14 >= -377 @ 20.9841
24.61/24.73 c bounds 14 >= -371 @ 20.9876
24.61/24.73 c bounds 14 >= -369 @ 20.9922
24.61/24.73 c bounds 14 >= -367 @ 20.9978
24.61/24.73 c bounds 14 >= -365 @ 21.0043
24.61/24.73 c bounds 14 >= -363 @ 21.0097
24.61/24.73 c bounds 14 >= -361 @ 21.0252
24.61/24.73 c bounds 14 >= -359 @ 21.0572
24.61/24.73 c bounds 14 >= -357 @ 21.1054
24.61/24.73 c #Conflicts: 36000 | #Constraints: 8079
24.61/24.73 c #Conflicts: 37000 | #Constraints: 9079
24.61/24.73 c INPROCESSING
24.61/24.73 c GARBAGE COLLECT
24.61/24.73 c #Conflicts: 38000 | #Constraints: 6069
24.61/24.73 c #Conflicts: 39000 | #Constraints: 7069
24.61/24.73 c finalizing WCE round: reformulating cores
30.59/30.71 c #Conflicts: 40000 | #Constraints: 8074
30.59/30.71 c #Conflicts: 41000 | #Constraints: 9076
30.59/30.71 c INPROCESSING
30.59/30.71 c GARBAGE COLLECT
30.59/30.71 c #Conflicts: 42000 | #Constraints: 5874
30.59/30.71 c #Conflicts: 43000 | #Constraints: 6876
30.59/30.71 c #Conflicts: 44000 | #Constraints: 7880
30.59/30.71 c #Conflicts: 45000 | #Constraints: 8882
30.59/30.71 c bounds 13 >= -357 @ 29.0846
30.59/30.71 c bounds 13 >= -355 @ 29.3129
30.59/30.71 c finalizing WCE round: reformulating cores
31.69/31.86 c #Conflicts: 46000 | #Constraints: 9895
31.69/31.86 c INPROCESSING
31.69/31.86 c GARBAGE COLLECT
31.69/31.86 c bounds 12 >= -355 @ 30.9645
31.69/31.86 c #Conflicts: 47000 | #Constraints: 6481
31.69/31.86 c bounds 11 >= -355 @ 31.2545
31.69/31.86 c stratification level: 1
32.59/32.74 c bounds 11 >= -321 @ 31.2771
32.59/32.74 c bounds 11 >= -320 @ 31.2822
32.59/32.74 c bounds 11 >= -319 @ 31.2832
32.59/32.74 c bounds 11 >= -318 @ 31.2842
32.59/32.74 c bounds 11 >= -315 @ 31.285
32.59/32.74 c bounds 11 >= -314 @ 31.2856
32.59/32.74 c bounds 11 >= -311 @ 31.2872
32.59/32.74 c bounds 11 >= -310 @ 31.2885
32.59/32.74 c bounds 11 >= -309 @ 31.2896
32.59/32.74 c bounds 11 >= -308 @ 31.2916
32.59/32.74 c bounds 11 >= -307 @ 31.2936
32.59/32.74 c bounds 11 >= -306 @ 31.2971
32.59/32.74 c bounds 11 >= -305 @ 31.2991
32.59/32.74 c bounds 11 >= -304 @ 31.3021
32.59/32.74 c bounds 11 >= -303 @ 31.303
32.59/32.74 c bounds 11 >= -302 @ 31.3033
32.59/32.74 c bounds 11 >= -301 @ 31.3037
32.59/32.74 c bounds 11 >= -300 @ 31.3067
32.59/32.74 c bounds 11 >= -299 @ 31.3082
32.59/32.74 c bounds 11 >= -298 @ 31.3131
32.59/32.74 c bounds 11 >= -296 @ 31.3162
32.59/32.74 c bounds 11 >= -295 @ 31.3198
32.59/32.74 c bounds 11 >= -294 @ 31.3223
32.59/32.74 c bounds 11 >= -293 @ 31.324
32.59/32.74 c bounds 11 >= -292 @ 31.3256
32.59/32.74 c bounds 11 >= -291 @ 31.3295
32.59/32.74 c bounds 11 >= -290 @ 31.3322
32.59/32.74 c bounds 11 >= -288 @ 31.3345
32.59/32.74 c bounds 11 >= -287 @ 31.3366
32.59/32.74 c bounds 11 >= -286 @ 31.3388
32.59/32.74 c bounds 11 >= -283 @ 31.3402
32.59/32.74 c bounds 11 >= -282 @ 31.3414
32.59/32.74 c bounds 11 >= -281 @ 31.3467
32.59/32.74 c bounds 11 >= -280 @ 31.3476
32.59/32.74 c bounds 11 >= -279 @ 31.3484
32.59/32.74 c bounds 11 >= -278 @ 31.3501
32.59/32.74 c bounds 11 >= -277 @ 31.3508
32.59/32.74 c bounds 11 >= -274 @ 31.3526
32.59/32.74 c bounds 11 >= -272 @ 31.3536
32.59/32.74 c bounds 11 >= -271 @ 31.355
32.59/32.74 c bounds 11 >= -270 @ 31.3566
32.59/32.74 c bounds 11 >= -269 @ 31.3623
32.59/32.74 c bounds 11 >= -268 @ 31.3652
32.59/32.74 c bounds 11 >= -267 @ 31.366
32.59/32.74 c bounds 11 >= -265 @ 31.3706
32.59/32.74 c bounds 11 >= -263 @ 31.3731
32.59/32.74 c bounds 11 >= -262 @ 31.3767
32.59/32.74 c bounds 11 >= -261 @ 31.3801
32.59/32.74 c bounds 11 >= -260 @ 31.3808
32.59/32.74 c bounds 11 >= -257 @ 31.3837
32.59/32.74 c bounds 11 >= -256 @ 31.3855
32.59/32.74 c bounds 11 >= -255 @ 31.3879
32.59/32.74 c bounds 11 >= -254 @ 31.3891
32.59/32.74 c bounds 11 >= -253 @ 31.395
32.59/32.74 c bounds 11 >= -252 @ 31.3974
32.59/32.74 c bounds 11 >= -251 @ 31.3992
32.59/32.74 c bounds 11 >= -250 @ 31.4027
32.59/32.74 c bounds 11 >= -249 @ 31.4069
32.59/32.74 c bounds 11 >= -248 @ 31.4092
32.59/32.74 c bounds 11 >= -246 @ 31.4126
32.59/32.74 c bounds 11 >= -245 @ 31.415
32.59/32.74 c bounds 11 >= -244 @ 31.4154
32.59/32.74 c bounds 11 >= -243 @ 31.4172
32.59/32.74 c bounds 11 >= -242 @ 31.4197
32.59/32.74 c bounds 11 >= -241 @ 31.4228
32.59/32.74 c bounds 11 >= -239 @ 31.426
32.59/32.74 c bounds 11 >= -238 @ 31.4296
32.59/32.74 c bounds 11 >= -237 @ 31.4311
32.59/32.74 c bounds 11 >= -236 @ 31.4331
32.59/32.74 c bounds 11 >= -235 @ 31.4368
32.59/32.74 c bounds 11 >= -234 @ 31.4391
32.59/32.74 c bounds 11 >= -233 @ 31.4415
32.59/32.74 c bounds 11 >= -232 @ 31.4441
32.59/32.74 c bounds 11 >= -231 @ 31.4465
32.59/32.74 c bounds 11 >= -230 @ 31.4509
32.59/32.74 c bounds 11 >= -229 @ 31.4544
32.59/32.74 c bounds 11 >= -228 @ 31.4572
32.59/32.74 c bounds 11 >= -227 @ 31.46
32.59/32.74 c bounds 11 >= -226 @ 31.4629
32.59/32.74 c bounds 11 >= -225 @ 31.4659
32.59/32.74 c bounds 11 >= -224 @ 31.4696
32.59/32.74 c bounds 11 >= -223 @ 31.4718
32.59/32.74 c bounds 11 >= -222 @ 31.4739
32.59/32.74 c bounds 11 >= -221 @ 31.4765
32.59/32.74 c bounds 11 >= -220 @ 31.479
32.59/32.74 c bounds 11 >= -219 @ 31.4811
32.59/32.74 c bounds 11 >= -218 @ 31.4829
32.59/32.74 c bounds 11 >= -217 @ 31.491
32.59/32.74 c bounds 11 >= -216 @ 31.4958
32.59/32.74 c bounds 11 >= -214 @ 31.5042
32.59/32.74 c bounds 11 >= -213 @ 31.5075
32.59/32.74 c bounds 11 >= -212 @ 31.5432
32.59/32.74 c bounds 11 >= -211 @ 31.545
32.59/32.74 c bounds 11 >= -210 @ 31.5651
32.59/32.74 c bounds 11 >= -209 @ 31.5756
32.59/32.74 c bounds 11 >= -208 @ 31.6026
32.59/32.74 c bounds 11 >= -207 @ 31.6066
32.59/32.74 c bounds 11 >= -206 @ 31.7011
32.59/32.74 c bounds 11 >= -205 @ 31.7209
32.59/32.74 c bounds 11 >= -204 @ 31.7304
32.59/32.74 c bounds 11 >= -203 @ 31.7562
32.59/32.74 c bounds 11 >= -202 @ 31.7681
32.59/32.74 c bounds 11 >= -201 @ 31.9423
32.59/32.74 c bounds 11 >= -200 @ 32.0221
32.59/32.74 c finalizing WCE round: reformulating cores
109.68/110.05 c #Conflicts: 48000 | #Constraints: 7911
109.68/110.05 c #Conflicts: 49000 | #Constraints: 8915
109.68/110.05 c #Conflicts: 50000 | #Constraints: 9917
109.68/110.05 c #Conflicts: 51000 | #Constraints: 10919
109.68/110.05 c INPROCESSING
109.68/110.05 c GARBAGE COLLECT
109.68/110.05 c #Conflicts: 52000 | #Constraints: 7137
109.68/110.05 c #Conflicts: 53000 | #Constraints: 8139
109.68/110.05 c #Conflicts: 54000 | #Constraints: 9141
109.68/110.05 c #Conflicts: 55000 | #Constraints: 10145
109.68/110.05 c #Conflicts: 56000 | #Constraints: 11147
109.68/110.05 c INPROCESSING
109.68/110.05 c GARBAGE COLLECT
109.68/110.05 c #Conflicts: 57000 | #Constraints: 7300
109.68/110.05 c #Conflicts: 58000 | #Constraints: 8302
109.68/110.05 c #Conflicts: 59000 | #Constraints: 9304
109.68/110.05 c #Conflicts: 60000 | #Constraints: 10308
109.68/110.05 c #Conflicts: 61000 | #Constraints: 11310
109.68/110.05 c INPROCESSING
109.68/110.05 c GARBAGE COLLECT
109.68/110.05 c #Conflicts: 62000 | #Constraints: 7290
109.68/110.05 c #Conflicts: 63000 | #Constraints: 8292
109.68/110.05 c #Conflicts: 64000 | #Constraints: 9294
109.68/110.05 c #Conflicts: 65000 | #Constraints: 10298
109.68/110.05 c #Conflicts: 66000 | #Constraints: 11300
109.68/110.05 c INPROCESSING
109.68/110.05 c GARBAGE COLLECT
109.68/110.05 c #Conflicts: 67000 | #Constraints: 7078
109.68/110.05 c #Conflicts: 68000 | #Constraints: 8080
109.68/110.05 c #Conflicts: 69000 | #Constraints: 9084
109.68/110.05 c #Conflicts: 70000 | #Constraints: 10086
109.68/110.05 c #Conflicts: 71000 | #Constraints: 11088
109.68/110.05 c #Conflicts: 72000 | #Constraints: 12092
109.68/110.05 c INPROCESSING
109.68/110.05 c GARBAGE COLLECT
109.68/110.05 c #Conflicts: 73000 | #Constraints: 7694
109.68/110.05 c #Conflicts: 74000 | #Constraints: 8696
109.68/110.05 c #Conflicts: 75000 | #Constraints: 9698
109.68/110.05 c #Conflicts: 76000 | #Constraints: 10702
109.68/110.05 c #Conflicts: 77000 | #Constraints: 11704
109.68/110.05 c #Conflicts: 78000 | #Constraints: 12706
109.68/110.05 c INPROCESSING
109.68/110.05 c GARBAGE COLLECT
109.68/110.05 c #Conflicts: 79000 | #Constraints: 8099
109.68/110.05 c #Conflicts: 80000 | #Constraints: 9101
109.68/110.05 c #Conflicts: 81000 | #Constraints: 10103
109.68/110.05 c #Conflicts: 82000 | #Constraints: 11107
109.68/110.05 c #Conflicts: 83000 | #Constraints: 12109
109.68/110.05 c #Conflicts: 84000 | #Constraints: 13111
109.68/110.05 c INPROCESSING
109.68/110.05 c GARBAGE COLLECT
109.68/110.05 c #Conflicts: 85000 | #Constraints: 8310
109.68/110.05 c #Conflicts: 86000 | #Constraints: 9312
109.68/110.05 c #Conflicts: 87000 | #Constraints: 10314
109.68/110.05 c #Conflicts: 88000 | #Constraints: 11318
109.68/110.05 c bounds 10 >= -268 @ 74.5344
109.68/110.05 c #Conflicts: 89000 | #Constraints: 12322
109.68/110.05 c #Conflicts: 90000 | #Constraints: 13324
109.68/110.05 c INPROCESSING
109.68/110.05 c GARBAGE COLLECT
109.68/110.05 c #Conflicts: 91000 | #Constraints: 8336
109.68/110.05 c #Conflicts: 92000 | #Constraints: 9338
109.68/110.05 c #Conflicts: 93000 | #Constraints: 10340
109.68/110.05 c #Conflicts: 94000 | #Constraints: 11344
109.68/110.05 c #Conflicts: 95000 | #Constraints: 12346
109.68/110.05 c #Conflicts: 96000 | #Constraints: 13348
109.68/110.05 c INPROCESSING
109.68/110.05 c GARBAGE COLLECT
109.68/110.05 c #Conflicts: 97000 | #Constraints: 8158
109.68/110.05 c #Conflicts: 98000 | #Constraints: 9160
109.68/110.05 c #Conflicts: 99000 | #Constraints: 10164
109.68/110.05 c #Conflicts: 100000 | #Constraints: 11166
109.68/110.05 c #Conflicts: 101000 | #Constraints: 12168
109.68/110.05 c #Conflicts: 102000 | #Constraints: 13172
109.68/110.05 c #Conflicts: 103000 | #Constraints: 14174
109.68/110.05 c INPROCESSING
109.68/110.05 c GARBAGE COLLECT
109.68/110.05 c #Conflicts: 104000 | #Constraints: 8775
109.68/110.05 c #Conflicts: 105000 | #Constraints: 9777
109.68/110.05 c #Conflicts: 106000 | #Constraints: 10779
109.68/110.05 c #Conflicts: 107000 | #Constraints: 11783
109.68/110.05 c #Conflicts: 108000 | #Constraints: 12785
109.68/110.05 c #Conflicts: 109000 | #Constraints: 13787
109.68/110.05 c #Conflicts: 110000 | #Constraints: 14791
109.68/110.05 c INPROCESSING
109.68/110.05 c GARBAGE COLLECT
109.68/110.05 c #Conflicts: 111000 | #Constraints: 9192
109.68/110.05 c #Conflicts: 112000 | #Constraints: 10194
109.68/110.05 c #Conflicts: 113000 | #Constraints: 11196
109.68/110.05 c #Conflicts: 114000 | #Constraints: 12200
109.68/110.05 c #Conflicts: 115000 | #Constraints: 13202
109.68/110.05 c #Conflicts: 116000 | #Constraints: 14204
109.68/110.05 c #Conflicts: 117000 | #Constraints: 15208
109.68/110.05 c INPROCESSING
109.68/110.05 c GARBAGE COLLECT
109.68/110.05 c #Conflicts: 118000 | #Constraints: 9413
143.58/144.04 c #Conflicts: 119000 | #Constraints: 10415
143.58/144.04 c #Conflicts: 120000 | #Constraints: 11417
143.58/144.04 c #Conflicts: 121000 | #Constraints: 12421
143.58/144.04 c #Conflicts: 122000 | #Constraints: 13423
143.58/144.04 c #Conflicts: 123000 | #Constraints: 14425
143.58/144.04 c #Conflicts: 124000 | #Constraints: 15429
143.58/144.04 c INPROCESSING
143.58/144.04 c GARBAGE COLLECT
143.58/144.04 c #Conflicts: 125000 | #Constraints: 9438
143.58/144.04 c #Conflicts: 126000 | #Constraints: 10440
143.58/144.04 c #Conflicts: 127000 | #Constraints: 11442
143.58/144.04 c #Conflicts: 128000 | #Constraints: 12446
143.58/144.04 c bounds 10 >= -201 @ 118.665
143.58/144.04 c #Conflicts: 129000 | #Constraints: 13450
143.58/144.04 c #Conflicts: 130000 | #Constraints: 14452
143.58/144.04 c #Conflicts: 131000 | #Constraints: 15454
143.58/144.04 c bounds 10 >= -198 @ 120.972
143.58/144.04 c bounds 10 >= -195 @ 120.986
143.58/144.04 c bounds 10 >= -194 @ 120.99
143.58/144.04 c bounds 10 >= -193 @ 120.995
143.58/144.04 c bounds 10 >= -192 @ 121
143.58/144.04 c bounds 10 >= -191 @ 121.005
143.58/144.04 c bounds 10 >= -190 @ 121.011
143.58/144.04 c bounds 10 >= -189 @ 121.016
143.58/144.04 c bounds 10 >= -188 @ 121.024
143.58/144.04 c bounds 10 >= -187 @ 121.032
143.58/144.04 c bounds 10 >= -186 @ 121.039
143.58/144.04 c bounds 10 >= -185 @ 121.043
143.58/144.04 c bounds 10 >= -184 @ 121.045
143.58/144.04 c bounds 10 >= -183 @ 121.046
143.58/144.04 c bounds 10 >= -182 @ 121.05
143.58/144.04 c bounds 10 >= -181 @ 121.057
143.58/144.04 c bounds 10 >= -180 @ 121.059
143.58/144.04 c bounds 10 >= -179 @ 121.062
143.58/144.04 c bounds 10 >= -178 @ 121.069
143.58/144.04 c bounds 10 >= -177 @ 121.079
143.58/144.04 c bounds 10 >= -176 @ 121.08
143.58/144.04 c bounds 10 >= -175 @ 121.084
143.58/144.04 c bounds 10 >= -174 @ 121.117
143.58/144.04 c bounds 10 >= -173 @ 121.151
143.58/144.04 c bounds 10 >= -172 @ 121.153
143.58/144.04 c bounds 10 >= -171 @ 121.157
143.58/144.04 c bounds 10 >= -170 @ 121.17
143.58/144.04 c bounds 10 >= -169 @ 121.184
143.58/144.04 c bounds 10 >= -168 @ 121.246
143.58/144.04 c bounds 10 >= -167 @ 121.283
143.58/144.04 c bounds 10 >= -166 @ 121.294
143.58/144.04 c bounds 10 >= -165 @ 121.315
143.58/144.04 c bounds 10 >= -164 @ 121.418
143.58/144.04 c bounds 10 >= -163 @ 121.504
143.58/144.04 c bounds 10 >= -162 @ 121.549
143.58/144.04 c bounds 10 >= -161 @ 121.656
143.58/144.04 c bounds 10 >= -160 @ 121.673
143.58/144.04 c bounds 10 >= -159 @ 121.735
143.58/144.04 c bounds 10 >= -158 @ 121.768
143.58/144.04 c bounds 10 >= -157 @ 121.782
143.58/144.04 c bounds 10 >= -156 @ 121.802
143.58/144.04 c bounds 10 >= -155 @ 121.812
143.58/144.04 c bounds 10 >= -154 @ 121.838
143.58/144.04 c INPROCESSING
143.58/144.04 c GARBAGE COLLECT
143.58/144.04 c #Conflicts: 132000 | #Constraints: 9619
143.58/144.04 c bounds 10 >= -153 @ 123.01
143.58/144.04 c bounds 10 >= -152 @ 123.022
143.58/144.04 c bounds 10 >= -151 @ 123.033
143.58/144.04 c #Conflicts: 133000 | #Constraints: 10664
143.58/144.04 c bounds 10 >= -150 @ 123.106
143.58/144.04 c bounds 10 >= -149 @ 123.922
143.58/144.04 c #Conflicts: 134000 | #Constraints: 11813
143.58/144.04 c #Conflicts: 135000 | #Constraints: 12813
143.58/144.04 c #Conflicts: 136000 | #Constraints: 13813
143.58/144.04 c #Conflicts: 137000 | #Constraints: 14813
143.58/144.04 c #Conflicts: 138000 | #Constraints: 15813
143.58/144.04 c #Conflicts: 139000 | #Constraints: 16813
143.58/144.04 c INPROCESSING
143.58/144.04 c GARBAGE COLLECT
143.58/144.04 c finalizing WCE round: reformulating cores
193.13/193.70 c #Conflicts: 140000 | #Constraints: 10352
193.13/193.70 c #Conflicts: 141000 | #Constraints: 11354
193.13/193.70 c #Conflicts: 142000 | #Constraints: 12356
193.13/193.70 c #Conflicts: 143000 | #Constraints: 13360
193.13/193.70 c #Conflicts: 144000 | #Constraints: 14362
193.13/193.70 c #Conflicts: 145000 | #Constraints: 15364
193.13/193.70 c #Conflicts: 146000 | #Constraints: 16368
193.13/193.70 c #Conflicts: 147000 | #Constraints: 17370
193.13/193.70 c INPROCESSING
193.13/193.70 c GARBAGE COLLECT
193.13/193.70 c #Conflicts: 148000 | #Constraints: 10708
193.13/193.70 c #Conflicts: 149000 | #Constraints: 11710
193.13/193.70 c #Conflicts: 150000 | #Constraints: 12712
193.13/193.70 c bounds 9 >= -182 @ 147.656
193.13/193.70 c #Conflicts: 151000 | #Constraints: 13718
193.13/193.70 c #Conflicts: 152000 | #Constraints: 14720
193.13/193.70 c #Conflicts: 153000 | #Constraints: 15722
193.13/193.70 c #Conflicts: 154000 | #Constraints: 16726
193.13/193.70 c #Conflicts: 155000 | #Constraints: 17728
193.13/193.70 c INPROCESSING
193.13/193.70 c GARBAGE COLLECT
193.13/193.70 c #Conflicts: 156000 | #Constraints: 10902
193.13/193.70 c #Conflicts: 157000 | #Constraints: 11904
193.13/193.70 c bounds 9 >= -172 @ 155.009
193.13/193.70 c #Conflicts: 158000 | #Constraints: 12908
193.13/193.70 c #Conflicts: 159000 | #Constraints: 13912
193.13/193.70 c #Conflicts: 160000 | #Constraints: 14914
193.13/193.70 c #Conflicts: 161000 | #Constraints: 15916
193.13/193.70 c #Conflicts: 162000 | #Constraints: 16920
193.13/193.70 c #Conflicts: 163000 | #Constraints: 17922
193.13/193.70 c INPROCESSING
193.13/193.70 c GARBAGE COLLECT
193.13/193.70 c #Conflicts: 164000 | #Constraints: 10914
193.13/193.70 c #Conflicts: 165000 | #Constraints: 11916
193.13/193.70 c #Conflicts: 166000 | #Constraints: 12918
193.13/193.70 c #Conflicts: 167000 | #Constraints: 13922
193.13/193.70 c #Conflicts: 168000 | #Constraints: 14924
193.13/193.70 c #Conflicts: 169000 | #Constraints: 15926
193.13/193.70 c #Conflicts: 170000 | #Constraints: 16930
193.13/193.70 c #Conflicts: 171000 | #Constraints: 17932
193.13/193.70 c INPROCESSING
193.13/193.70 c GARBAGE COLLECT
193.13/193.70 c #Conflicts: 172000 | #Constraints: 10732
193.13/193.70 c #Conflicts: 173000 | #Constraints: 11734
193.13/193.70 c #Conflicts: 174000 | #Constraints: 12738
193.13/193.70 c bounds 9 >= -150 @ 169.447
193.13/193.70 c #Conflicts: 175000 | #Constraints: 13740
193.13/193.70 c #Conflicts: 176000 | #Constraints: 14744
193.13/193.70 c bounds 9 >= -147 @ 170.766
193.13/193.70 c #Conflicts: 177000 | #Constraints: 15748
193.13/193.70 c bounds 9 >= -145 @ 172.257
193.13/193.70 c bounds 9 >= -144 @ 172.262
193.13/193.70 c bounds 9 >= -143 @ 172.265
193.13/193.70 c bounds 9 >= -142 @ 172.272
193.13/193.70 c bounds 9 >= -141 @ 172.275
193.13/193.70 c bounds 9 >= -140 @ 172.279
193.13/193.70 c bounds 9 >= -139 @ 172.286
193.13/193.70 c bounds 9 >= -138 @ 172.313
193.13/193.70 c bounds 9 >= -137 @ 172.346
193.13/193.70 c #Conflicts: 178000 | #Constraints: 16978
193.13/193.70 c bounds 9 >= -136 @ 172.386
193.13/193.70 c bounds 9 >= -135 @ 172.479
193.13/193.70 c #Conflicts: 179000 | #Constraints: 18073
193.13/193.70 c #Conflicts: 180000 | #Constraints: 19073
193.13/193.70 c INPROCESSING
193.13/193.70 c GARBAGE COLLECT
193.13/193.70 c #Conflicts: 181000 | #Constraints: 11512
193.13/193.70 c bounds 9 >= -134 @ 173.747
193.13/193.70 c bounds 9 >= -133 @ 173.779
193.13/193.70 c bounds 9 >= -132 @ 173.812
193.13/193.70 c bounds 9 >= -131 @ 173.837
193.13/193.70 c bounds 9 >= -130 @ 173.851
193.13/193.70 c #Conflicts: 182000 | #Constraints: 12784
193.13/193.70 c bounds 9 >= -129 @ 174.015
193.13/193.70 c #Conflicts: 183000 | #Constraints: 13830
193.13/193.70 c #Conflicts: 184000 | #Constraints: 14830
193.13/193.70 c #Conflicts: 185000 | #Constraints: 15830
193.13/193.70 c #Conflicts: 186000 | #Constraints: 16830
193.13/193.70 c #Conflicts: 187000 | #Constraints: 17830
193.13/193.70 c #Conflicts: 188000 | #Constraints: 18830
193.13/193.70 c #Conflicts: 189000 | #Constraints: 19830
193.13/193.70 c INPROCESSING
193.13/193.70 c GARBAGE COLLECT
193.13/193.70 c #Conflicts: 190000 | #Constraints: 12171
193.13/193.70 c #Conflicts: 191000 | #Constraints: 13171
193.13/193.70 c #Conflicts: 192000 | #Constraints: 14171
193.13/193.70 c #Conflicts: 193000 | #Constraints: 15171
193.13/193.70 c #Conflicts: 194000 | #Constraints: 16171
193.13/193.70 c #Conflicts: 195000 | #Constraints: 17171
193.13/193.70 c #Conflicts: 196000 | #Constraints: 18171
193.13/193.70 c #Conflicts: 197000 | #Constraints: 19171
193.13/193.70 c #Conflicts: 198000 | #Constraints: 20171
193.13/193.70 c INPROCESSING
193.13/193.70 c GARBAGE COLLECT
193.13/193.70 c #Conflicts: 199000 | #Constraints: 12354
193.13/193.70 c #Conflicts: 200000 | #Constraints: 13354
193.13/193.70 c #Conflicts: 201000 | #Constraints: 14354
193.13/193.70 c #Conflicts: 202000 | #Constraints: 15354
301.83/302.71 c #Conflicts: 203000 | #Constraints: 16354
301.83/302.71 c #Conflicts: 204000 | #Constraints: 17354
301.83/302.71 c #Conflicts: 205000 | #Constraints: 18354
301.83/302.71 c #Conflicts: 206000 | #Constraints: 19354
301.83/302.71 c #Conflicts: 207000 | #Constraints: 20354
301.83/302.71 c INPROCESSING
301.83/302.71 c GARBAGE COLLECT
301.83/302.71 c #Conflicts: 208000 | #Constraints: 12337
301.83/302.71 c #Conflicts: 209000 | #Constraints: 13337
301.83/302.71 c #Conflicts: 210000 | #Constraints: 14337
301.83/302.71 c #Conflicts: 211000 | #Constraints: 15337
301.83/302.71 c #Conflicts: 212000 | #Constraints: 16337
301.83/302.71 c #Conflicts: 213000 | #Constraints: 17337
301.83/302.71 c #Conflicts: 214000 | #Constraints: 18337
301.83/302.71 c #Conflicts: 215000 | #Constraints: 19337
301.83/302.71 c #Conflicts: 216000 | #Constraints: 20337
301.83/302.71 c INPROCESSING
301.83/302.71 c GARBAGE COLLECT
301.83/302.71 c #Conflicts: 217000 | #Constraints: 12140
301.83/302.71 c #Conflicts: 218000 | #Constraints: 13140
301.83/302.71 c #Conflicts: 219000 | #Constraints: 14140
301.83/302.71 c #Conflicts: 220000 | #Constraints: 15140
301.83/302.71 c #Conflicts: 221000 | #Constraints: 16140
301.83/302.71 c #Conflicts: 222000 | #Constraints: 17140
301.83/302.71 c #Conflicts: 223000 | #Constraints: 18140
301.83/302.71 c #Conflicts: 224000 | #Constraints: 19140
301.83/302.71 c #Conflicts: 225000 | #Constraints: 20140
301.83/302.71 c #Conflicts: 226000 | #Constraints: 21140
301.83/302.71 c INPROCESSING
301.83/302.71 c GARBAGE COLLECT
301.83/302.71 c #Conflicts: 227000 | #Constraints: 12738
301.83/302.71 c #Conflicts: 228000 | #Constraints: 13738
301.83/302.71 c #Conflicts: 229000 | #Constraints: 14738
301.83/302.71 c #Conflicts: 230000 | #Constraints: 15738
301.83/302.71 c #Conflicts: 231000 | #Constraints: 16738
301.83/302.71 c #Conflicts: 232000 | #Constraints: 17738
301.83/302.71 c #Conflicts: 233000 | #Constraints: 18738
301.83/302.71 c #Conflicts: 234000 | #Constraints: 19738
301.83/302.71 c #Conflicts: 235000 | #Constraints: 20738
301.83/302.71 c #Conflicts: 236000 | #Constraints: 21738
301.83/302.71 c INPROCESSING
301.83/302.71 c GARBAGE COLLECT
301.83/302.71 c #Conflicts: 237000 | #Constraints: 13129
301.83/302.71 c #Conflicts: 238000 | #Constraints: 14129
301.83/302.71 c #Conflicts: 239000 | #Constraints: 15129
301.83/302.71 c #Conflicts: 240000 | #Constraints: 16129
301.83/302.71 c #Conflicts: 241000 | #Constraints: 17129
301.83/302.71 c #Conflicts: 242000 | #Constraints: 18129
301.83/302.71 c #Conflicts: 243000 | #Constraints: 19129
301.83/302.71 c #Conflicts: 244000 | #Constraints: 20129
301.83/302.71 c #Conflicts: 245000 | #Constraints: 21129
301.83/302.71 c #Conflicts: 246000 | #Constraints: 22129
301.83/302.71 c INPROCESSING
301.83/302.71 c GARBAGE COLLECT
301.83/302.71 c #Conflicts: 247000 | #Constraints: 13323
301.83/302.71 c #Conflicts: 248000 | #Constraints: 14323
301.83/302.71 c #Conflicts: 249000 | #Constraints: 15323
301.83/302.71 c #Conflicts: 250000 | #Constraints: 16323
301.83/302.71 c #Conflicts: 251000 | #Constraints: 17323
301.83/302.71 c #Conflicts: 252000 | #Constraints: 18323
301.83/302.71 c #Conflicts: 253000 | #Constraints: 19323
301.83/302.71 c #Conflicts: 254000 | #Constraints: 20323
301.83/302.71 c #Conflicts: 255000 | #Constraints: 21323
301.83/302.71 c #Conflicts: 256000 | #Constraints: 22323
301.83/302.71 c INPROCESSING
301.83/302.71 c GARBAGE COLLECT
301.83/302.71 c #Conflicts: 257000 | #Constraints: 13331
301.83/302.71 c #Conflicts: 258000 | #Constraints: 14331
301.83/302.71 c #Conflicts: 259000 | #Constraints: 15331
301.83/302.71 c #Conflicts: 260000 | #Constraints: 16331
301.83/302.71 c #Conflicts: 261000 | #Constraints: 17331
301.83/302.71 c #Conflicts: 262000 | #Constraints: 18331
301.83/302.71 c #Conflicts: 263000 | #Constraints: 19331
301.83/302.71 c #Conflicts: 264000 | #Constraints: 20331
301.83/302.71 c #Conflicts: 265000 | #Constraints: 21331
301.83/302.71 c #Conflicts: 266000 | #Constraints: 22331
301.83/302.71 c INPROCESSING
301.83/302.71 c GARBAGE COLLECT
301.83/302.71 c #Conflicts: 267000 | #Constraints: 13145
301.83/302.71 c #Conflicts: 268000 | #Constraints: 14145
301.83/302.71 c #Conflicts: 269000 | #Constraints: 15145
301.83/302.71 c #Conflicts: 270000 | #Constraints: 16145
301.83/302.71 c #Conflicts: 271000 | #Constraints: 17145
301.83/302.71 c #Conflicts: 272000 | #Constraints: 18145
301.83/302.71 c #Conflicts: 273000 | #Constraints: 19145
301.83/302.71 c #Conflicts: 274000 | #Constraints: 20145
301.83/302.71 c #Conflicts: 275000 | #Constraints: 21145
301.83/302.71 c #Conflicts: 276000 | #Constraints: 22145
444.73/446.08 c #Conflicts: 277000 | #Constraints: 23145
444.73/446.08 c INPROCESSING
444.73/446.08 c GARBAGE COLLECT
444.73/446.08 c #Conflicts: 278000 | #Constraints: 13752
444.73/446.08 c #Conflicts: 279000 | #Constraints: 14752
444.73/446.08 c #Conflicts: 280000 | #Constraints: 15752
444.73/446.08 c #Conflicts: 281000 | #Constraints: 16752
444.73/446.08 c #Conflicts: 282000 | #Constraints: 17752
444.73/446.08 c #Conflicts: 283000 | #Constraints: 18752
444.73/446.08 c #Conflicts: 284000 | #Constraints: 19752
444.73/446.08 c #Conflicts: 285000 | #Constraints: 20752
444.73/446.08 c #Conflicts: 286000 | #Constraints: 21752
444.73/446.08 c #Conflicts: 287000 | #Constraints: 22752
444.73/446.08 c #Conflicts: 288000 | #Constraints: 23752
444.73/446.08 c INPROCESSING
444.73/446.08 c GARBAGE COLLECT
444.73/446.08 c #Conflicts: 289000 | #Constraints: 14147
444.73/446.08 c #Conflicts: 290000 | #Constraints: 15147
444.73/446.08 c #Conflicts: 291000 | #Constraints: 16147
444.73/446.08 c #Conflicts: 292000 | #Constraints: 17147
444.73/446.08 c #Conflicts: 293000 | #Constraints: 18147
444.73/446.08 c #Conflicts: 294000 | #Constraints: 19147
444.73/446.08 c #Conflicts: 295000 | #Constraints: 20147
444.73/446.08 c #Conflicts: 296000 | #Constraints: 21147
444.73/446.08 c #Conflicts: 297000 | #Constraints: 22147
444.73/446.08 c #Conflicts: 298000 | #Constraints: 23147
444.73/446.08 c #Conflicts: 299000 | #Constraints: 24147
444.73/446.08 c INPROCESSING
444.73/446.08 c GARBAGE COLLECT
444.73/446.08 c #Conflicts: 300000 | #Constraints: 14340
444.73/446.08 c #Conflicts: 301000 | #Constraints: 15340
444.73/446.08 c #Conflicts: 302000 | #Constraints: 16340
444.73/446.08 c #Conflicts: 303000 | #Constraints: 17340
444.73/446.08 c #Conflicts: 304000 | #Constraints: 18340
444.73/446.08 c #Conflicts: 305000 | #Constraints: 19340
444.73/446.08 c #Conflicts: 306000 | #Constraints: 20340
444.73/446.08 c #Conflicts: 307000 | #Constraints: 21340
444.73/446.08 c #Conflicts: 308000 | #Constraints: 22340
444.73/446.08 c #Conflicts: 309000 | #Constraints: 23340
444.73/446.08 c #Conflicts: 310000 | #Constraints: 24340
444.73/446.08 c INPROCESSING
444.73/446.08 c GARBAGE COLLECT
444.73/446.08 c #Conflicts: 311000 | #Constraints: 14343
444.73/446.08 c #Conflicts: 312000 | #Constraints: 15343
444.73/446.08 c #Conflicts: 313000 | #Constraints: 16343
444.73/446.08 c #Conflicts: 314000 | #Constraints: 17343
444.73/446.08 c #Conflicts: 315000 | #Constraints: 18343
444.73/446.08 c #Conflicts: 316000 | #Constraints: 19343
444.73/446.08 c #Conflicts: 317000 | #Constraints: 20343
444.73/446.08 c #Conflicts: 318000 | #Constraints: 21343
444.73/446.08 c #Conflicts: 319000 | #Constraints: 22343
444.73/446.08 c #Conflicts: 320000 | #Constraints: 23343
444.73/446.08 c #Conflicts: 321000 | #Constraints: 24343
444.73/446.08 c INPROCESSING
444.73/446.08 c GARBAGE COLLECT
444.73/446.08 c #Conflicts: 322000 | #Constraints: 14135
444.73/446.08 c #Conflicts: 323000 | #Constraints: 15135
444.73/446.08 c #Conflicts: 324000 | #Constraints: 16135
444.73/446.08 c #Conflicts: 325000 | #Constraints: 17135
444.73/446.08 c #Conflicts: 326000 | #Constraints: 18135
444.73/446.08 c #Conflicts: 327000 | #Constraints: 19135
444.73/446.08 c #Conflicts: 328000 | #Constraints: 20135
444.73/446.08 c #Conflicts: 329000 | #Constraints: 21135
444.73/446.08 c #Conflicts: 330000 | #Constraints: 22135
444.73/446.08 c #Conflicts: 331000 | #Constraints: 23135
444.73/446.08 c #Conflicts: 332000 | #Constraints: 24135
444.73/446.08 c #Conflicts: 333000 | #Constraints: 25135
444.73/446.08 c INPROCESSING
444.73/446.08 c GARBAGE COLLECT
444.73/446.08 c #Conflicts: 334000 | #Constraints: 14747
444.73/446.08 c #Conflicts: 335000 | #Constraints: 15747
444.73/446.08 c #Conflicts: 336000 | #Constraints: 16747
444.73/446.08 c #Conflicts: 337000 | #Constraints: 17747
444.73/446.08 c #Conflicts: 338000 | #Constraints: 18747
444.73/446.08 c #Conflicts: 339000 | #Constraints: 19747
444.73/446.08 c #Conflicts: 340000 | #Constraints: 20747
444.73/446.08 c #Conflicts: 341000 | #Constraints: 21747
444.73/446.08 c #Conflicts: 342000 | #Constraints: 22747
444.73/446.08 c #Conflicts: 343000 | #Constraints: 23747
444.73/446.08 c #Conflicts: 344000 | #Constraints: 24747
444.73/446.08 c #Conflicts: 345000 | #Constraints: 25747
444.73/446.08 c INPROCESSING
444.73/446.08 c GARBAGE COLLECT
444.73/446.08 c #Conflicts: 346000 | #Constraints: 15147
444.73/446.08 c #Conflicts: 347000 | #Constraints: 16147
444.73/446.08 c #Conflicts: 348000 | #Constraints: 17147
444.73/446.08 c #Conflicts: 349000 | #Constraints: 18147
444.73/446.08 c #Conflicts: 350000 | #Constraints: 19147
444.73/446.08 c #Conflicts: 351000 | #Constraints: 20147
991.56/994.42 c #Conflicts: 352000 | #Constraints: 21147
991.56/994.42 c #Conflicts: 353000 | #Constraints: 22147
991.56/994.42 c #Conflicts: 354000 | #Constraints: 23147
991.56/994.42 c #Conflicts: 355000 | #Constraints: 24147
991.56/994.42 c #Conflicts: 356000 | #Constraints: 25147
991.56/994.42 c #Conflicts: 357000 | #Constraints: 26147
991.56/994.42 c #Conflicts: 358000 | #Constraints: 27147
991.56/994.42 c #Conflicts: 359000 | #Constraints: 28147
991.56/994.42 c #Conflicts: 360000 | #Constraints: 29147
991.56/994.42 c #Conflicts: 361000 | #Constraints: 30147
991.56/994.42 c #Conflicts: 362000 | #Constraints: 31147
991.56/994.42 c #Conflicts: 363000 | #Constraints: 32147
991.56/994.42 c #Conflicts: 364000 | #Constraints: 33147
991.56/994.42 c #Conflicts: 365000 | #Constraints: 34147
991.56/994.42 c #Conflicts: 366000 | #Constraints: 35147
991.56/994.42 c #Conflicts: 367000 | #Constraints: 36147
991.56/994.42 c #Conflicts: 368000 | #Constraints: 37147
991.56/994.42 c #Conflicts: 369000 | #Constraints: 38147
991.56/994.42 c #Conflicts: 370000 | #Constraints: 39147
991.56/994.42 c #Conflicts: 371000 | #Constraints: 40147
991.56/994.42 c #Conflicts: 372000 | #Constraints: 41147
991.56/994.42 c #Conflicts: 373000 | #Constraints: 42147
991.56/994.42 c #Conflicts: 374000 | #Constraints: 43147
991.56/994.42 c #Conflicts: 375000 | #Constraints: 44147
991.56/994.42 c #Conflicts: 376000 | #Constraints: 45147
991.56/994.42 c #Conflicts: 377000 | #Constraints: 46147
991.56/994.42 c #Conflicts: 378000 | #Constraints: 47147
991.56/994.42 c #Conflicts: 379000 | #Constraints: 48147
991.56/994.42 c #Conflicts: 380000 | #Constraints: 49147
991.56/994.42 c #Conflicts: 381000 | #Constraints: 50147
991.56/994.42 c #Conflicts: 382000 | #Constraints: 51147
991.56/994.42 c #Conflicts: 383000 | #Constraints: 52147
991.56/994.42 c #Conflicts: 384000 | #Constraints: 53147
991.56/994.42 c #Conflicts: 385000 | #Constraints: 54147
991.56/994.42 c #Conflicts: 386000 | #Constraints: 55147
991.56/994.42 c #Conflicts: 387000 | #Constraints: 56147
991.56/994.42 c #Conflicts: 388000 | #Constraints: 57147
991.56/994.42 c #Conflicts: 389000 | #Constraints: 58147
991.56/994.42 c #Conflicts: 390000 | #Constraints: 59147
991.56/994.42 c #Conflicts: 391000 | #Constraints: 60147
991.56/994.42 c #Conflicts: 392000 | #Constraints: 61147
991.56/994.42 c #Conflicts: 393000 | #Constraints: 62147
991.56/994.42 c #Conflicts: 394000 | #Constraints: 63147
991.56/994.42 c #Conflicts: 395000 | #Constraints: 64147
991.56/994.42 c #Conflicts: 396000 | #Constraints: 65147
991.56/994.42 c #Conflicts: 397000 | #Constraints: 66147
991.56/994.42 c #Conflicts: 398000 | #Constraints: 67147
991.56/994.42 c #Conflicts: 399000 | #Constraints: 68147
991.56/994.42 c #Conflicts: 400000 | #Constraints: 69147
991.56/994.42 c #Conflicts: 401000 | #Constraints: 70147
991.56/994.42 c #Conflicts: 402000 | #Constraints: 71147
991.56/994.42 c INPROCESSING
991.56/994.42 c GARBAGE COLLECT
991.56/994.42 c #Conflicts: 403000 | #Constraints: 37391
991.56/994.42 c #Conflicts: 404000 | #Constraints: 38391
991.56/994.42 c #Conflicts: 405000 | #Constraints: 39391
991.56/994.42 c #Conflicts: 406000 | #Constraints: 40391
991.56/994.42 c #Conflicts: 407000 | #Constraints: 41391
991.56/994.42 c #Conflicts: 408000 | #Constraints: 42391
991.56/994.42 c #Conflicts: 409000 | #Constraints: 43391
991.56/994.42 c #Conflicts: 410000 | #Constraints: 44391
991.56/994.42 c #Conflicts: 411000 | #Constraints: 45391
991.56/994.42 c #Conflicts: 412000 | #Constraints: 46391
991.56/994.42 c #Conflicts: 413000 | #Constraints: 47391
991.56/994.42 c #Conflicts: 414000 | #Constraints: 48391
991.56/994.42 c #Conflicts: 415000 | #Constraints: 49391
991.56/994.42 c #Conflicts: 416000 | #Constraints: 50391
991.56/994.42 c INPROCESSING
991.56/994.42 c GARBAGE COLLECT
991.56/994.42 c #Conflicts: 417000 | #Constraints: 27472
991.56/994.42 c #Conflicts: 418000 | #Constraints: 28472
991.56/994.42 c #Conflicts: 419000 | #Constraints: 29472
991.56/994.42 c #Conflicts: 420000 | #Constraints: 30472
991.56/994.42 c #Conflicts: 421000 | #Constraints: 31472
991.56/994.42 c #Conflicts: 422000 | #Constraints: 32472
991.56/994.42 c #Conflicts: 423000 | #Constraints: 33472
991.56/994.42 c #Conflicts: 424000 | #Constraints: 34472
991.56/994.42 c #Conflicts: 425000 | #Constraints: 35472
991.56/994.42 c #Conflicts: 426000 | #Constraints: 36472
991.56/994.42 c #Conflicts: 427000 | #Constraints: 37472
991.56/994.42 c #Conflicts: 428000 | #Constraints: 38472
1292.80/1296.58 c #Conflicts: 429000 | #Constraints: 39472
1292.80/1296.58 c INPROCESSING
1292.80/1296.58 c GARBAGE COLLECT
1292.80/1296.58 c #Conflicts: 430000 | #Constraints: 21867
1292.80/1296.58 c #Conflicts: 431000 | #Constraints: 22867
1292.80/1296.58 c #Conflicts: 432000 | #Constraints: 23867
1292.80/1296.58 c #Conflicts: 433000 | #Constraints: 24867
1292.80/1296.58 c #Conflicts: 434000 | #Constraints: 25867
1292.80/1296.58 c #Conflicts: 435000 | #Constraints: 26867
1292.80/1296.58 c #Conflicts: 436000 | #Constraints: 27867
1292.80/1296.58 c #Conflicts: 437000 | #Constraints: 28867
1292.80/1296.58 c #Conflicts: 438000 | #Constraints: 29867
1292.80/1296.58 c #Conflicts: 439000 | #Constraints: 30867
1292.80/1296.58 c #Conflicts: 440000 | #Constraints: 31867
1292.80/1296.58 c #Conflicts: 441000 | #Constraints: 32867
1292.80/1296.58 c #Conflicts: 442000 | #Constraints: 33867
1292.80/1296.58 c INPROCESSING
1292.80/1296.58 c GARBAGE COLLECT
1292.80/1296.58 c #Conflicts: 443000 | #Constraints: 18810
1292.80/1296.58 c #Conflicts: 444000 | #Constraints: 19810
1292.80/1296.58 c #Conflicts: 445000 | #Constraints: 20810
1292.80/1296.58 c #Conflicts: 446000 | #Constraints: 21810
1292.80/1296.58 c #Conflicts: 447000 | #Constraints: 22810
1292.80/1296.58 c #Conflicts: 448000 | #Constraints: 23810
1292.80/1296.58 c #Conflicts: 449000 | #Constraints: 24810
1292.80/1296.58 c #Conflicts: 450000 | #Constraints: 25810
1292.80/1296.58 c #Conflicts: 451000 | #Constraints: 26810
1292.80/1296.58 c #Conflicts: 452000 | #Constraints: 27810
1292.80/1296.58 c #Conflicts: 453000 | #Constraints: 28810
1292.80/1296.58 c #Conflicts: 454000 | #Constraints: 29810
1292.80/1296.58 c #Conflicts: 455000 | #Constraints: 30810
1292.80/1296.58 c #Conflicts: 456000 | #Constraints: 31810
1292.80/1296.58 c INPROCESSING
1292.80/1296.58 c GARBAGE COLLECT
1292.80/1296.58 c #Conflicts: 457000 | #Constraints: 17942
1292.80/1296.58 c #Conflicts: 458000 | #Constraints: 18942
1292.80/1296.58 c #Conflicts: 459000 | #Constraints: 19942
1292.80/1296.58 c #Conflicts: 460000 | #Constraints: 20942
1292.80/1296.58 c #Conflicts: 461000 | #Constraints: 21942
1292.80/1296.58 c #Conflicts: 462000 | #Constraints: 22942
1292.80/1296.58 c #Conflicts: 463000 | #Constraints: 23942
1292.80/1296.58 c #Conflicts: 464000 | #Constraints: 24942
1292.80/1296.58 c #Conflicts: 465000 | #Constraints: 25942
1292.80/1296.58 c #Conflicts: 466000 | #Constraints: 26942
1292.80/1296.58 c #Conflicts: 467000 | #Constraints: 27942
1292.80/1296.58 c #Conflicts: 468000 | #Constraints: 28942
1292.80/1296.58 c #Conflicts: 469000 | #Constraints: 29942
1292.80/1296.58 c #Conflicts: 470000 | #Constraints: 30942
1292.80/1296.58 c INPROCESSING
1292.80/1296.58 c GARBAGE COLLECT
1292.80/1296.58 c #Conflicts: 471000 | #Constraints: 17564
1292.80/1296.58 c #Conflicts: 472000 | #Constraints: 18564
1292.80/1296.58 c #Conflicts: 473000 | #Constraints: 19564
1292.80/1296.58 c #Conflicts: 474000 | #Constraints: 20564
1292.80/1296.58 c #Conflicts: 475000 | #Constraints: 21564
1292.80/1296.58 c #Conflicts: 476000 | #Constraints: 22564
1292.80/1296.58 c #Conflicts: 477000 | #Constraints: 23564
1292.80/1296.58 c #Conflicts: 478000 | #Constraints: 24564
1292.80/1296.58 c #Conflicts: 479000 | #Constraints: 25564
1292.80/1296.58 c #Conflicts: 480000 | #Constraints: 26564
1292.80/1296.58 c #Conflicts: 481000 | #Constraints: 27564
1292.80/1296.58 c #Conflicts: 482000 | #Constraints: 28564
1292.80/1296.58 c #Conflicts: 483000 | #Constraints: 29564
1292.80/1296.58 c #Conflicts: 484000 | #Constraints: 30564
1292.80/1296.58 c #Conflicts: 485000 | #Constraints: 31564
1292.80/1296.58 c #Conflicts: 486000 | #Constraints: 32564
1292.80/1296.58 c #Conflicts: 487000 | #Constraints: 33564
1292.80/1296.58 c #Conflicts: 488000 | #Constraints: 34564
1292.80/1296.58 c #Conflicts: 489000 | #Constraints: 35564
1292.80/1296.58 c #Conflicts: 490000 | #Constraints: 36564
1292.80/1296.58 c #Conflicts: 491000 | #Constraints: 37564
1292.80/1296.58 c #Conflicts: 492000 | #Constraints: 38564
1292.80/1296.58 c #Conflicts: 493000 | #Constraints: 39564
1292.80/1296.58 c #Conflicts: 494000 | #Constraints: 40564
1292.80/1296.58 c #Conflicts: 495000 | #Constraints: 41564
1292.80/1296.58 c #Conflicts: 496000 | #Constraints: 42564
1292.80/1296.58 c #Conflicts: 497000 | #Constraints: 43564
1292.80/1296.58 c #Conflicts: 498000 | #Constraints: 44564
1292.80/1296.58 c #Conflicts: 499000 | #Constraints: 45564
1292.80/1296.58 c #Conflicts: 500000 | #Constraints: 46564
1292.80/1296.58 c #Conflicts: 501000 | #Constraints: 47564
1292.80/1296.58 c #Conflicts: 502000 | #Constraints: 48564
1292.80/1296.58 c #Conflicts: 503000 | #Constraints: 49564
1292.80/1296.58 c #Conflicts: 504000 | #Constraints: 50564
1934.55/1940.15 c #Conflicts: 505000 | #Constraints: 51564
1934.55/1940.15 c #Conflicts: 506000 | #Constraints: 52564
1934.55/1940.15 c #Conflicts: 507000 | #Constraints: 53564
1934.55/1940.15 c #Conflicts: 508000 | #Constraints: 54564
1934.55/1940.15 c #Conflicts: 509000 | #Constraints: 55564
1934.55/1940.15 c #Conflicts: 510000 | #Constraints: 56564
1934.55/1940.15 c #Conflicts: 511000 | #Constraints: 57564
1934.55/1940.15 c #Conflicts: 512000 | #Constraints: 58564
1934.55/1940.15 c #Conflicts: 513000 | #Constraints: 59564
1934.55/1940.15 c #Conflicts: 514000 | #Constraints: 60564
1934.55/1940.15 c #Conflicts: 515000 | #Constraints: 61564
1934.55/1940.15 c #Conflicts: 516000 | #Constraints: 62564
1934.55/1940.15 c #Conflicts: 517000 | #Constraints: 63564
1934.55/1940.15 c #Conflicts: 518000 | #Constraints: 64564
1934.55/1940.15 c #Conflicts: 519000 | #Constraints: 65564
1934.55/1940.15 c #Conflicts: 520000 | #Constraints: 66564
1934.55/1940.15 c #Conflicts: 521000 | #Constraints: 67564
1934.55/1940.15 c #Conflicts: 522000 | #Constraints: 68564
1934.55/1940.15 c #Conflicts: 523000 | #Constraints: 69564
1934.55/1940.15 c #Conflicts: 524000 | #Constraints: 70564
1934.55/1940.15 c #Conflicts: 525000 | #Constraints: 71564
1934.55/1940.15 c #Conflicts: 526000 | #Constraints: 72564
1934.55/1940.15 c #Conflicts: 527000 | #Constraints: 73564
1934.55/1940.15 c #Conflicts: 528000 | #Constraints: 74564
1934.55/1940.15 c #Conflicts: 529000 | #Constraints: 75564
1934.55/1940.15 c #Conflicts: 530000 | #Constraints: 76564
1934.55/1940.15 c #Conflicts: 531000 | #Constraints: 77564
1934.55/1940.15 c #Conflicts: 532000 | #Constraints: 78564
1934.55/1940.15 c #Conflicts: 533000 | #Constraints: 79564
1934.55/1940.15 c #Conflicts: 534000 | #Constraints: 80564
1934.55/1940.15 c #Conflicts: 535000 | #Constraints: 81564
1934.55/1940.15 c INPROCESSING
1934.55/1940.15 c GARBAGE COLLECT
1934.55/1940.15 c #Conflicts: 536000 | #Constraints: 42668
1934.55/1940.15 c #Conflicts: 537000 | #Constraints: 43668
1934.55/1940.15 c #Conflicts: 538000 | #Constraints: 44668
1934.55/1940.15 c #Conflicts: 539000 | #Constraints: 45668
1934.55/1940.15 c #Conflicts: 540000 | #Constraints: 46668
1934.55/1940.15 c #Conflicts: 541000 | #Constraints: 47668
1934.55/1940.15 c #Conflicts: 542000 | #Constraints: 48668
1934.55/1940.15 c #Conflicts: 543000 | #Constraints: 49668
1934.55/1940.15 c #Conflicts: 544000 | #Constraints: 50668
1934.55/1940.15 c #Conflicts: 545000 | #Constraints: 51668
1934.55/1940.15 c #Conflicts: 546000 | #Constraints: 52668
1934.55/1940.15 c #Conflicts: 547000 | #Constraints: 53668
1934.55/1940.15 c #Conflicts: 548000 | #Constraints: 54668
1934.55/1940.15 c #Conflicts: 549000 | #Constraints: 55668
1934.55/1940.15 c #Conflicts: 550000 | #Constraints: 56668
1934.55/1940.15 c #Conflicts: 551000 | #Constraints: 57668
1934.55/1940.15 c INPROCESSING
1934.55/1940.15 c GARBAGE COLLECT
1934.55/1940.15 c #Conflicts: 552000 | #Constraints: 31115
1934.55/1940.15 c #Conflicts: 553000 | #Constraints: 32115
1934.55/1940.15 c #Conflicts: 554000 | #Constraints: 33115
1934.55/1940.15 c #Conflicts: 555000 | #Constraints: 34115
1934.55/1940.15 c #Conflicts: 556000 | #Constraints: 35115
1934.55/1940.15 c #Conflicts: 557000 | #Constraints: 36115
1934.55/1940.15 c #Conflicts: 558000 | #Constraints: 37115
1934.55/1940.15 c #Conflicts: 559000 | #Constraints: 38115
1934.55/1940.15 c #Conflicts: 560000 | #Constraints: 39115
1934.55/1940.15 c #Conflicts: 561000 | #Constraints: 40115
1934.55/1940.15 c #Conflicts: 562000 | #Constraints: 41115
1934.55/1940.15 c #Conflicts: 563000 | #Constraints: 42115
1934.55/1940.15 c #Conflicts: 564000 | #Constraints: 43115
1934.55/1940.15 c #Conflicts: 565000 | #Constraints: 44115
1934.55/1940.15 c #Conflicts: 566000 | #Constraints: 45115
1934.55/1940.15 c INPROCESSING
1934.55/1940.15 c GARBAGE COLLECT
1934.55/1940.15 c #Conflicts: 567000 | #Constraints: 24651
1934.55/1940.15 c #Conflicts: 568000 | #Constraints: 25651
1934.55/1940.15 c #Conflicts: 569000 | #Constraints: 26651
1934.55/1940.15 c #Conflicts: 570000 | #Constraints: 27651
1934.55/1940.15 c #Conflicts: 571000 | #Constraints: 28651
1934.55/1940.15 c #Conflicts: 572000 | #Constraints: 29651
1934.55/1940.15 c #Conflicts: 573000 | #Constraints: 30651
1934.55/1940.15 c #Conflicts: 574000 | #Constraints: 31651
1934.55/1940.15 c #Conflicts: 575000 | #Constraints: 32651
1934.55/1940.15 c #Conflicts: 576000 | #Constraints: 33651
1934.55/1940.15 c #Conflicts: 577000 | #Constraints: 34651
1934.55/1940.15 c #Conflicts: 578000 | #Constraints: 35651
1934.55/1940.15 c #Conflicts: 579000 | #Constraints: 36651
1934.55/1940.15 c #Conflicts: 580000 | #Constraints: 37651
1934.55/1940.15 c #Conflicts: 581000 | #Constraints: 38651
2480.14/2487.33 c #Conflicts: 582000 | #Constraints: 39651
2480.14/2487.33 c INPROCESSING
2480.14/2487.33 c GARBAGE COLLECT
2480.14/2487.33 c #Conflicts: 583000 | #Constraints: 22102
2480.14/2487.33 c #Conflicts: 584000 | #Constraints: 23102
2480.14/2487.33 c #Conflicts: 585000 | #Constraints: 24102
2480.14/2487.33 c #Conflicts: 586000 | #Constraints: 25102
2480.14/2487.33 c #Conflicts: 587000 | #Constraints: 26102
2480.14/2487.33 c #Conflicts: 588000 | #Constraints: 27102
2480.14/2487.33 c #Conflicts: 589000 | #Constraints: 28102
2480.14/2487.33 c #Conflicts: 590000 | #Constraints: 29102
2480.14/2487.33 c #Conflicts: 591000 | #Constraints: 30102
2480.14/2487.33 c #Conflicts: 592000 | #Constraints: 31102
2480.14/2487.33 c #Conflicts: 593000 | #Constraints: 32102
2480.14/2487.33 c #Conflicts: 594000 | #Constraints: 33102
2480.14/2487.33 c #Conflicts: 595000 | #Constraints: 34102
2480.14/2487.33 c #Conflicts: 596000 | #Constraints: 35102
2480.14/2487.33 c #Conflicts: 597000 | #Constraints: 36102
2480.14/2487.33 c INPROCESSING
2480.14/2487.33 c GARBAGE COLLECT
2480.14/2487.33 c #Conflicts: 598000 | #Constraints: 19932
2480.14/2487.33 c #Conflicts: 599000 | #Constraints: 20932
2480.14/2487.33 c #Conflicts: 600000 | #Constraints: 21932
2480.14/2487.33 c #Conflicts: 601000 | #Constraints: 22932
2480.14/2487.33 c #Conflicts: 602000 | #Constraints: 23932
2480.14/2487.33 c #Conflicts: 603000 | #Constraints: 24932
2480.14/2487.33 c #Conflicts: 604000 | #Constraints: 25932
2480.14/2487.33 c #Conflicts: 605000 | #Constraints: 26932
2480.14/2487.33 c #Conflicts: 606000 | #Constraints: 27932
2480.14/2487.33 c #Conflicts: 607000 | #Constraints: 28932
2480.14/2487.33 c #Conflicts: 608000 | #Constraints: 29932
2480.14/2487.33 c #Conflicts: 609000 | #Constraints: 30932
2480.14/2487.33 c #Conflicts: 610000 | #Constraints: 31932
2480.14/2487.33 c #Conflicts: 611000 | #Constraints: 32932
2480.14/2487.33 c #Conflicts: 612000 | #Constraints: 33932
2480.14/2487.33 c #Conflicts: 613000 | #Constraints: 34932
2480.14/2487.33 c #Conflicts: 614000 | #Constraints: 35932
2480.14/2487.33 c #Conflicts: 615000 | #Constraints: 36932
2480.14/2487.33 c #Conflicts: 616000 | #Constraints: 37932
2480.14/2487.33 c #Conflicts: 617000 | #Constraints: 38932
2480.14/2487.33 c #Conflicts: 618000 | #Constraints: 39932
2480.14/2487.33 c #Conflicts: 619000 | #Constraints: 40932
2480.14/2487.33 c #Conflicts: 620000 | #Constraints: 41932
2480.14/2487.33 c #Conflicts: 621000 | #Constraints: 42932
2480.14/2487.33 c #Conflicts: 622000 | #Constraints: 43932
2480.14/2487.33 c #Conflicts: 623000 | #Constraints: 44932
2480.14/2487.33 c #Conflicts: 624000 | #Constraints: 45932
2480.14/2487.33 c #Conflicts: 625000 | #Constraints: 46932
2480.14/2487.33 c #Conflicts: 626000 | #Constraints: 47932
2480.14/2487.33 c #Conflicts: 627000 | #Constraints: 48932
2480.14/2487.33 c #Conflicts: 628000 | #Constraints: 49932
2480.14/2487.33 c #Conflicts: 629000 | #Constraints: 50932
2480.14/2487.33 c #Conflicts: 630000 | #Constraints: 51932
2480.14/2487.33 c #Conflicts: 631000 | #Constraints: 52932
2480.14/2487.33 c #Conflicts: 632000 | #Constraints: 53932
2480.14/2487.33 c #Conflicts: 633000 | #Constraints: 54932
2480.14/2487.33 c #Conflicts: 634000 | #Constraints: 55932
2480.14/2487.33 c #Conflicts: 635000 | #Constraints: 56932
2480.14/2487.33 c #Conflicts: 636000 | #Constraints: 57932
2480.14/2487.33 c #Conflicts: 637000 | #Constraints: 58932
2480.14/2487.33 c #Conflicts: 638000 | #Constraints: 59932
2480.14/2487.33 c #Conflicts: 639000 | #Constraints: 60932
2480.14/2487.33 c #Conflicts: 640000 | #Constraints: 61932
2480.14/2487.33 c #Conflicts: 641000 | #Constraints: 62932
2480.14/2487.33 c #Conflicts: 642000 | #Constraints: 63932
2480.14/2487.33 c #Conflicts: 643000 | #Constraints: 64932
2480.14/2487.33 c #Conflicts: 644000 | #Constraints: 65932
2480.14/2487.33 c #Conflicts: 645000 | #Constraints: 66932
2480.14/2487.33 c #Conflicts: 646000 | #Constraints: 67932
2480.14/2487.33 c #Conflicts: 647000 | #Constraints: 68932
2480.14/2487.33 c #Conflicts: 648000 | #Constraints: 69932
2480.14/2487.33 c #Conflicts: 649000 | #Constraints: 70932
2480.14/2487.33 c #Conflicts: 650000 | #Constraints: 71932
2480.14/2487.33 c #Conflicts: 651000 | #Constraints: 72932
2480.14/2487.33 c #Conflicts: 652000 | #Constraints: 73932
2480.14/2487.33 c #Conflicts: 653000 | #Constraints: 74932
2480.14/2487.33 c #Conflicts: 654000 | #Constraints: 75932
2480.14/2487.33 c #Conflicts: 655000 | #Constraints: 76932
2480.14/2487.33 c #Conflicts: 656000 | #Constraints: 77932
2480.14/2487.33 c #Conflicts: 657000 | #Constraints: 78932
2480.14/2487.33 c #Conflicts: 658000 | #Constraints: 79932
2480.14/2487.33 c #Conflicts: 659000 | #Constraints: 80932
2990.90/2999.55 c #Conflicts: 660000 | #Constraints: 81932
2990.90/2999.55 c #Conflicts: 661000 | #Constraints: 82932
2990.90/2999.55 c #Conflicts: 662000 | #Constraints: 83932
2990.90/2999.55 c #Conflicts: 663000 | #Constraints: 84932
2990.90/2999.55 c #Conflicts: 664000 | #Constraints: 85932
2990.90/2999.55 c #Conflicts: 665000 | #Constraints: 86932
2990.90/2999.55 c #Conflicts: 666000 | #Constraints: 87932
2990.90/2999.55 c #Conflicts: 667000 | #Constraints: 88932
2990.90/2999.55 c #Conflicts: 668000 | #Constraints: 89932
2990.90/2999.55 c #Conflicts: 669000 | #Constraints: 90932
2990.90/2999.55 c INPROCESSING
2990.90/2999.55 c GARBAGE COLLECT
2990.90/2999.55 c #Conflicts: 670000 | #Constraints: 47445
2990.90/2999.55 c #Conflicts: 671000 | #Constraints: 48445
2990.90/2999.55 c #Conflicts: 672000 | #Constraints: 49445
2990.90/2999.55 c #Conflicts: 673000 | #Constraints: 50445
2990.90/2999.55 c #Conflicts: 674000 | #Constraints: 51445
2990.90/2999.55 c #Conflicts: 675000 | #Constraints: 52445
2990.90/2999.55 c #Conflicts: 676000 | #Constraints: 53445
2990.90/2999.55 c #Conflicts: 677000 | #Constraints: 54445
2990.90/2999.55 c #Conflicts: 678000 | #Constraints: 55445
2990.90/2999.55 c #Conflicts: 679000 | #Constraints: 56445
2990.90/2999.55 c #Conflicts: 680000 | #Constraints: 57445
2990.90/2999.55 c #Conflicts: 681000 | #Constraints: 58445
2990.90/2999.55 c #Conflicts: 682000 | #Constraints: 59445
2990.90/2999.55 c #Conflicts: 683000 | #Constraints: 60445
2990.90/2999.55 c #Conflicts: 684000 | #Constraints: 61445
2990.90/2999.55 c #Conflicts: 685000 | #Constraints: 62445
2990.90/2999.55 c #Conflicts: 686000 | #Constraints: 63445
2990.90/2999.55 c INPROCESSING
2990.90/2999.55 c GARBAGE COLLECT
2990.90/2999.55 c #Conflicts: 687000 | #Constraints: 33651
2990.90/2999.55 c #Conflicts: 688000 | #Constraints: 34651
2990.90/2999.55 c #Conflicts: 689000 | #Constraints: 35651
2990.90/2999.55 c #Conflicts: 690000 | #Constraints: 36651
2990.90/2999.55 c #Conflicts: 691000 | #Constraints: 37651
2990.90/2999.55 c #Conflicts: 692000 | #Constraints: 38651
2990.90/2999.55 c #Conflicts: 693000 | #Constraints: 39651
2990.90/2999.55 c #Conflicts: 694000 | #Constraints: 40651
2990.90/2999.55 c #Conflicts: 695000 | #Constraints: 41651
2990.90/2999.55 c #Conflicts: 696000 | #Constraints: 42651
2990.90/2999.55 c #Conflicts: 697000 | #Constraints: 43651
2990.90/2999.55 c #Conflicts: 698000 | #Constraints: 44651
2990.90/2999.55 c #Conflicts: 699000 | #Constraints: 45651
2990.90/2999.55 c #Conflicts: 700000 | #Constraints: 46651
2990.90/2999.55 c #Conflicts: 701000 | #Constraints: 47651
2990.90/2999.55 c #Conflicts: 702000 | #Constraints: 48651
2990.90/2999.55 c #Conflicts: 703000 | #Constraints: 49651
2990.90/2999.55 c #Conflicts: 704000 | #Constraints: 50651
2990.90/2999.55 c INPROCESSING
2990.90/2999.55 c GARBAGE COLLECT
2990.90/2999.55 c #Conflicts: 705000 | #Constraints: 27603
2990.90/2999.55 c #Conflicts: 706000 | #Constraints: 28603
2990.90/2999.55 c #Conflicts: 707000 | #Constraints: 29603
2990.90/2999.55 c #Conflicts: 708000 | #Constraints: 30603
2990.90/2999.55 c #Conflicts: 709000 | #Constraints: 31603
2990.90/2999.55 c #Conflicts: 710000 | #Constraints: 32603
2990.90/2999.55 c #Conflicts: 711000 | #Constraints: 33603
2990.90/2999.55 c #Conflicts: 712000 | #Constraints: 34603
2990.90/2999.55 c #Conflicts: 713000 | #Constraints: 35603
2990.90/2999.55 c #Conflicts: 714000 | #Constraints: 36603
2990.90/2999.55 c #Conflicts: 715000 | #Constraints: 37603
2990.90/2999.55 c #Conflicts: 716000 | #Constraints: 38603
2990.90/2999.55 c #Conflicts: 717000 | #Constraints: 39603
2990.90/2999.55 c #Conflicts: 718000 | #Constraints: 40603
2990.90/2999.55 c #Conflicts: 719000 | #Constraints: 41603
2990.90/2999.55 c #Conflicts: 720000 | #Constraints: 42603
2990.90/2999.55 c #Conflicts: 721000 | #Constraints: 43603
2990.90/2999.55 c INPROCESSING
2990.90/2999.55 c GARBAGE COLLECT
2990.90/2999.55 c #Conflicts: 722000 | #Constraints: 23839
2990.90/2999.55 c #Conflicts: 723000 | #Constraints: 24839
2990.90/2999.55 c #Conflicts: 724000 | #Constraints: 25839
2990.90/2999.55 c #Conflicts: 725000 | #Constraints: 26839
2990.90/2999.55 c #Conflicts: 726000 | #Constraints: 27839
2990.90/2999.55 c #Conflicts: 727000 | #Constraints: 28839
2990.90/2999.55 c #Conflicts: 728000 | #Constraints: 29839
2990.90/2999.55 c #Conflicts: 729000 | #Constraints: 30839
2990.90/2999.55 c #Conflicts: 730000 | #Constraints: 31839
2990.90/2999.55 c #Conflicts: 731000 | #Constraints: 32839
2990.90/2999.55 c #Conflicts: 732000 | #Constraints: 33839
2990.90/2999.55 c #Conflicts: 733000 | #Constraints: 34839
2990.90/2999.55 c #Conflicts: 734000 | #Constraints: 35839
2990.90/2999.55 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 #Conflicts: 802000 | #Constraints: 84602
3600.01/3610.30 c #Conflicts: 803000 | #Constraints: 85602
3600.01/3610.30 c #Conflicts: 804000 | #Constraints: 86602
3600.01/3610.30 c #Conflicts: 805000 | #Constraints: 87602
3600.01/3610.30 c #Conflicts: 806000 | #Constraints: 88602
3600.01/3610.30 c #Conflicts: 807000 | #Constraints: 89602
3600.01/3610.30 c #Conflicts: 808000 | #Constraints: 90602
3600.01/3610.30 c Program interrupted by user.
3600.01/3610.30 c cpu time 3586.09 s
3600.01/3610.30 c deterministic time 329315727762 3.29e+11
3600.01/3610.30 c optimization time 733.099 s
3600.01/3610.30 c total solve time 2852.99 s
3600.01/3610.30 c core-guided solve time 2852.99 s
3600.01/3610.30 c propagation time 3207.79 s
3600.01/3610.30 c conflict analysis time 346.895 s
3600.01/3610.30 c propagations 103296047
3600.01/3610.30 c resolve steps 9005826
3600.01/3610.30 c decisions 10238174
3600.01/3610.30 c conflicts 808428
3600.01/3610.30 c restarts 1736
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 210767
3600.01/3610.30 c learned cardinalities 301
3600.01/3610.30 c learned general constraints 597483
3600.01/3610.30 c learned average constraint length 192.14
3600.01/3610.30 c learned average constraint degree 1237529.99
3600.01/3610.30 c watched constraints 424519
3600.01/3610.30 c counting constraints 174116
3600.01/3610.30 c gcd simplifications 19966
3600.01/3610.30 c detected cardinalities 9
3600.01/3610.30 c weakened non-implied lits 13926360
3600.01/3610.30 c weakened non-implying lits 36129
3600.01/3610.30 c original variables 934
3600.01/3610.30 c clausal propagations 34826909
3600.01/3610.30 c cardinality propagations 4709673
3600.01/3610.30 c watched propagations 15271377
3600.01/3610.30 c counting propagations 47868362
3600.01/3610.30 c watch lookups 68608912151
3600.01/3610.30 c watch backjump lookups 64252635060
3600.01/3610.30 c watch checks 172348451462
3600.01/3610.30 c propagation checks 23430640971
3600.01/3610.30 c constraint additions 447211325
3600.01/3610.30 c trail pops 114342571
3600.01/3610.30 c formula constraints 1063
3600.01/3610.30 c learned constraints 808551
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 2047256
3600.01/3610.30 c encountered learned constraints 6289784
3600.01/3610.30 c encountered bound constraints 94
3600.01/3610.30 c encountered core-guided constraints 1477120
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 143.148 s
3600.01/3610.30 c CG trimmed 100
3600.01/3610.30 c CG trim time 0.104803 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.055197 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: 63665 MiB (62962 MiB free)
memory of node 1: 64507 MiB (63628 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484626-1751292654/watcher-4484626-1751292654 -o /tmp/evaluation-result-4484626-1751292654/solver-4484626-1751292654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751292654-42305 --watchdog 3760 pb-oll-rs HOME/instance-4484626-1751292654.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=42357, runsolver pid=42345
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.82 1.06 1.40 6/265 42362
/proc/meminfo: memFree=129610584/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=22484 memory=11244 CPUtime=0.09 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 1187 0 0 0 8 1 0 0 20 0 1 0 44943118 23023616 2811 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 5621 2811 1312 243 0 1870 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22484 KiB
Current children cumulated memory: 11244 KiB
[startup+0.205321 s]*
/proc/loadavg: 0.82 1.06 1.40 6/265 42362
/proc/meminfo: memFree=129598772/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=25268 memory=15212 CPUtime=0.19 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 2163 0 0 0 18 1 0 0 20 0 1 0 44943118 25874432 3803 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 6317 3803 1312 243 0 2566 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 25268 KiB
Current children cumulated memory: 15212 KiB
[startup+0.305203 s]*
/proc/loadavg: 0.82 1.06 1.40 6/265 42362
/proc/meminfo: memFree=129580628/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=30024 memory=18668 CPUtime=0.29 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 3053 0 0 0 27 2 0 0 20 0 1 0 44943118 30744576 4667 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 7506 4667 1312 243 0 3755 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 30024 KiB
Current children cumulated memory: 18668 KiB
[startup+0.700183 s]
/proc/loadavg: 0.82 1.06 1.40 6/265 42362
/proc/meminfo: memFree=129572060/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=41316 memory=29752 CPUtime=0.67 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 5284 0 0 0 64 3 0 0 20 0 1 0 44943118 42307584 7438 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 10329 7438 1312 243 0 6578 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 41316 KiB
Current children cumulated memory: 29752 KiB
[startup+1.50017 s]
/proc/loadavg: 0.82 1.06 1.40 6/265 42362
/proc/meminfo: memFree=129525624/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=60340 memory=45820 CPUtime=1.47 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 7783 0 0 0 142 5 0 0 20 0 1 0 44943118 61788160 11455 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 15085 11455 1312 243 0 11334 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 60340 KiB
Current children cumulated memory: 45820 KiB
[startup+3.10523 s]
/proc/loadavg: 0.82 1.06 1.40 6/265 42362
/proc/meminfo: memFree=129319980/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=63064 memory=48892 CPUtime=3.08 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 8571 0 0 0 299 9 0 0 20 0 1 0 44943118 64577536 12223 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 15766 12223 1312 243 0 12015 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 63064 KiB
Current children cumulated memory: 48892 KiB
[startup+6.30015 s]
/proc/loadavg: 1.08 1.11 1.41 6/266 42363
/proc/meminfo: memFree=129203080/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=79252 memory=59572 CPUtime=6.26 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 10217 0 0 0 612 14 0 0 20 0 1 0 44943118 81154048 14893 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 19813 14893 1312 243 0 16062 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 79252 KiB
Current children cumulated memory: 59572 KiB
[startup+12.7002 s]
/proc/loadavg: 1.31 1.16 1.43 6/266 42363
/proc/meminfo: memFree=128944388/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=96856 memory=78356 CPUtime=12.65 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 13366 0 0 0 1241 24 0 0 20 0 1 0 44943118 99180544 19589 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 24214 19589 1312 243 0 20463 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 96856 KiB
Current children cumulated memory: 78356 KiB
[startup+25.5002 s]
/proc/loadavg: 1.91 1.30 1.47 6/266 42364
/proc/meminfo: memFree=128737420/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=122228 memory=91120 CPUtime=25.41 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 15539 0 0 0 2499 42 0 0 20 0 1 0 44943118 125161472 22780 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 30557 22780 1312 243 0 26806 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 122228 KiB
Current children cumulated memory: 91120 KiB
[startup+51.1054 s]
/proc/loadavg: 2.68 1.53 1.54 6/266 42364
/proc/meminfo: memFree=128393284/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=176844 memory=140620 CPUtime=50.94 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 26905 0 0 0 5022 72 0 0 20 0 1 0 44943118 181088256 35155 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 44211 35155 1312 243 0 40460 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 176844 KiB
Current children cumulated memory: 140620 KiB
[startup+102.3 s]
/proc/loadavg: 3.48 1.93 1.68 6/266 42373
/proc/meminfo: memFree=128019512/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=183836 memory=153132 CPUtime=101.99 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 29007 0 0 0 10069 130 0 0 20 0 1 0 44943118 188248064 38283 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 45959 38283 1312 243 0 42208 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 183836 KiB
Current children cumulated memory: 153132 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 2.32 1.83 6/266 42375
/proc/meminfo: memFree=127881592/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=185740 memory=154540 CPUtime=161.82 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 29359 0 0 0 15975 207 0 0 20 0 1 0 44943118 190197760 38635 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 46435 38635 1312 243 0 42684 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 185740 KiB
Current children cumulated memory: 154540 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.65 1.97 6/265 42377
/proc/meminfo: memFree=127600848/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=190588 memory=158880 CPUtime=221.66 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 30640 0 0 0 21863 303 0 0 20 0 1 0 44943118 195162112 39720 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 47647 39720 1312 243 0 43896 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 190588 KiB
Current children cumulated memory: 158880 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.93 2.12 6/266 42380
/proc/meminfo: memFree=127501152/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=191252 memory=159776 CPUtime=281.49 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 30952 0 0 0 27776 373 0 0 20 0 1 0 44943118 195842048 39944 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 47813 39944 1312 243 0 44062 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 191252 KiB
Current children cumulated memory: 159776 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.15 2.25 6/264 42382
/proc/meminfo: memFree=127299944/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=192212 memory=160544 CPUtime=341.33 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 31262 0 0 0 33702 431 0 0 20 0 1 0 44943118 196825088 40136 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 48053 40136 1312 243 0 44302 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 192212 KiB
Current children cumulated memory: 160544 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 3.31 2.36 6/265 42385
/proc/meminfo: memFree=127165004/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=192672 memory=161184 CPUtime=401.15 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 31484 0 0 0 39629 486 0 0 20 0 1 0 44943118 197296128 40296 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 48168 40296 1312 243 0 44417 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 192672 KiB
Current children cumulated memory: 161184 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.47 2.47 6/264 42387
/proc/meminfo: memFree=127048508/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=192772 memory=161312 CPUtime=460.98 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 31593 0 0 0 45558 540 0 0 20 0 1 0 44943118 197398528 40328 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 48193 40328 1312 243 0 44442 0
################
# More data... #
################
Current children cumulated memory: 238864 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.10 4.01 5/264 42563
/proc/meminfo: memFree=127363176/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=261424 memory=238864 CPUtime=2913.91 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 41238 0 0 0 290144 1247 0 0 20 0 1 0 44943118 267698176 59716 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 65356 59716 1312 243 0 61605 0
Current children cumulated CPU time: 2913.91 s
Current children cumulated vsize: 261424 KiB
Current children cumulated memory: 238864 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.01 5/264 42565
/proc/meminfo: memFree=127348020/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=261424 memory=238864 CPUtime=2973.75 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 41239 0 0 0 296104 1271 0 0 20 0 1 0 44943118 267698176 59716 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 65356 59716 1312 243 0 61605 0
Current children cumulated CPU time: 2973.75 s
Current children cumulated vsize: 261424 KiB
Current children cumulated memory: 238864 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/264 42578
/proc/meminfo: memFree=127305652/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=261424 memory=238864 CPUtime=3033.58 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 41239 0 0 0 302061 1297 0 0 20 0 1 0 44943118 267698176 59716 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 65356 59716 1312 243 0 61605 0
Current children cumulated CPU time: 3033.58 s
Current children cumulated vsize: 261424 KiB
Current children cumulated memory: 238864 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/264 42587
/proc/meminfo: memFree=127248420/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=261424 memory=238864 CPUtime=3093.42 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 41239 0 0 0 308023 1319 0 0 20 0 1 0 44943118 267698176 59716 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 65356 59716 1312 243 0 61605 0
Current children cumulated CPU time: 3093.42 s
Current children cumulated vsize: 261424 KiB
Current children cumulated memory: 238864 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.01 5/264 42589
/proc/meminfo: memFree=127212780/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=261424 memory=238864 CPUtime=3153.25 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 41241 0 0 0 313991 1334 0 0 20 0 1 0 44943118 267698176 59716 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 65356 59716 1312 243 0 61605 0
Current children cumulated CPU time: 3153.25 s
Current children cumulated vsize: 261424 KiB
Current children cumulated memory: 238864 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/264 42592
/proc/meminfo: memFree=127178152/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=261424 memory=238864 CPUtime=3213.08 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 41244 0 0 0 319964 1344 0 0 20 0 1 0 44943118 267698176 59716 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 65356 59716 1312 243 0 61605 0
Current children cumulated CPU time: 3213.08 s
Current children cumulated vsize: 261424 KiB
Current children cumulated memory: 238864 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/265 42595
/proc/meminfo: memFree=127138240/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=261424 memory=238864 CPUtime=3272.92 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 41247 0 0 0 325939 1353 0 0 20 0 1 0 44943118 267698176 59716 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 65356 59716 1312 243 0 61605 0
Current children cumulated CPU time: 3272.92 s
Current children cumulated vsize: 261424 KiB
Current children cumulated memory: 238864 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/265 42597
/proc/meminfo: memFree=127138232/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=261424 memory=238864 CPUtime=3332.75 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 41274 0 0 0 331915 1360 0 0 20 0 1 0 44943118 267698176 59716 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 65356 59716 1312 243 0 61605 0
Current children cumulated CPU time: 3332.75 s
Current children cumulated vsize: 261424 KiB
Current children cumulated memory: 238864 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/265 42598
/proc/meminfo: memFree=127138192/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=261424 memory=238864 CPUtime=3392.58 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 41277 0 0 0 337890 1368 0 0 20 0 1 0 44943118 267698176 59716 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 65356 59716 1312 243 0 61605 0
Current children cumulated CPU time: 3392.58 s
Current children cumulated vsize: 261424 KiB
Current children cumulated memory: 238864 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.07 4.01 5/265 42600
/proc/meminfo: memFree=127135460/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=261424 memory=238864 CPUtime=3452.41 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 41280 0 0 0 343866 1375 0 0 20 0 1 0 44943118 267698176 59716 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 65356 59716 1312 243 0 61605 0
Current children cumulated CPU time: 3452.41 s
Current children cumulated vsize: 261424 KiB
Current children cumulated memory: 238864 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/265 42603
/proc/meminfo: memFree=127133540/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=261424 memory=238864 CPUtime=3512.24 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 41283 0 0 0 349842 1382 0 0 20 0 1 0 44943118 267698176 59716 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 65356 59716 1312 243 0 61605 0
Current children cumulated CPU time: 3512.24 s
Current children cumulated vsize: 261424 KiB
Current children cumulated memory: 238864 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/265 42605
/proc/meminfo: memFree=127133404/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=261960 memory=239248 CPUtime=3572.08 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 41353 0 0 0 355820 1388 0 0 20 0 1 0 44943118 268247040 59812 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 65490 59812 1312 243 0 61739 0
Current children cumulated CPU time: 3572.08 s
Current children cumulated vsize: 261960 KiB
Current children cumulated memory: 239248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.13 4.09 4.02 6/262 42623
/proc/meminfo: memFree=128556648/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=263128 memory=239760 CPUtime=3600.01 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 41509 0 0 0 358609 1392 0 0 20 0 1 0 44943118 269443072 59940 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 65782 59940 1312 243 0 62031 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 263128 KiB
Current children cumulated memory: 239760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.3 s]
# the end of solver process 42357 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.09 s, system=13.9216 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.09 4.02 6/262 42623
/proc/meminfo: memFree=128556648/131249996 swapFree=33010684/33010684
[pid=42357] ppid=42345 vsize=263128 memory=239760 CPUtime=3600.01 cores=5,7
/proc/42357/stat : 42357 (pb-oll-rs) R 42345 42357 42292 0 -1 4194304 41509 0 0 0 358609 1392 0 0 20 0 1 0 44943118 269443072 59940 18446744073709551615 4218880 5211445 140734722533520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 35196928 140734722537884 140734722537961 140734722537961 140734722543563 0
/proc/42357/statm: 65782 59940 1312 243 0 62031 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 263128 KiB
Current children cumulated memory: 239760 KiB
Child status: 0
Real time (s): 3610.3
CPU time (s): 3600.01
CPU user time (s): 3586.09
CPU system time (s): 13.9216
CPU usage (%): 99.715
Max. virtual memory (cumulated for all children) (KiB): 263128
Max. memory (cumulated for all children) (KiB): 239760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.09
system time used= 13.9216
maximum resident set size= 240144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41525
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= 165
involuntary context switches= 19736
# summary of solver processes directly reported to runsolver:
# pid: 42357
# total CPU time (s): 3600.01
# total CPU user time (s): 3586.09
# total CPU system time (s): 13.9216
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66995 second user time and 15.7015 second system time
The end
Begin job on nodeC021 at 2025-06-30 16:10:54
IDJOB=4484626
IDBENCH=146663
IDSOLVER=3345
FILE ID=nodeC021/4484626-1751292654
RUNJOBID= nodeC021-1751292654-42305
SLURM_JOB_ID= 9594264
Free space on /tmp= 433064 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484626-1751292654/watcher-4484626-1751292654 -o /tmp/evaluation-result-4484626-1751292654/solver-4484626-1751292654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751292654-42305 --watchdog 3760 pb-oll-rs HOME/instance-4484626-1751292654.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0c08209891d9f5241a74237055766898
RANDOM SEED=394225421
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.780
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.894
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.871
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.890
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.186
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3595.642
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.932
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.790
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129639720 kB
MemAvailable: 129758856 kB
Buffers: 3280 kB
Cached: 926284 kB
SwapCached: 0 kB
Active: 347380 kB
Inactive: 657768 kB
Active(anon): 93644 kB
Inactive(anon): 0 kB
Active(file): 253736 kB
Inactive(file): 657768 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 5588 kB
Writeback: 8 kB
AnonPages: 78744 kB
Mapped: 103124 kB
Shmem: 18060 kB
KReclaimable: 93344 kB
Slab: 179584 kB
SReclaimable: 93344 kB
SUnreclaim: 86240 kB
KernelStack: 4096 kB
PageTables: 2884 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 349312 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432584 MiB
End job on nodeC021 at 2025-06-30 17:11:05