0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 949 #constraints 1248
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= -460 @ 0.002623
0.00/0.01 c stratification level: 1
0.00/0.03 c bounds - >= -421 @ 0.003999
0.00/0.03 c bounds - >= -420 @ 0.004218
0.00/0.03 c bounds - >= -419 @ 0.004345
0.00/0.03 c bounds - >= -418 @ 0.004469
0.00/0.03 c bounds - >= -417 @ 0.004593
0.00/0.03 c bounds - >= -416 @ 0.004717
0.00/0.03 c bounds - >= -415 @ 0.00484
0.00/0.03 c bounds - >= -414 @ 0.004934
0.00/0.03 c bounds - >= -413 @ 0.005061
0.00/0.03 c bounds - >= -412 @ 0.005185
0.00/0.03 c bounds - >= -411 @ 0.005311
0.00/0.03 c bounds - >= -410 @ 0.005436
0.00/0.03 c bounds - >= -409 @ 0.005562
0.00/0.03 c bounds - >= -408 @ 0.005687
0.00/0.03 c bounds - >= -407 @ 0.005811
0.00/0.03 c bounds - >= -406 @ 0.005923
0.00/0.03 c bounds - >= -405 @ 0.006056
0.00/0.03 c bounds - >= -404 @ 0.006189
0.00/0.03 c bounds - >= -403 @ 0.006321
0.00/0.03 c bounds - >= -402 @ 0.00645
0.00/0.03 c bounds - >= -401 @ 0.00658
0.00/0.03 c bounds - >= -400 @ 0.006709
0.00/0.03 c bounds - >= -399 @ 0.006819
0.00/0.03 c bounds - >= -398 @ 0.00696
0.00/0.03 c bounds - >= -397 @ 0.007096
0.00/0.03 c bounds - >= -396 @ 0.007231
0.00/0.03 c bounds - >= -395 @ 0.007368
0.00/0.03 c bounds - >= -394 @ 0.007452
0.00/0.03 c bounds - >= -393 @ 0.007452
0.00/0.03 c bounds - >= -392 @ 0.007452
0.00/0.03 c bounds - >= -391 @ 0.007502
0.00/0.03 c bounds - >= -390 @ 0.007578
0.00/0.03 c bounds - >= -389 @ 0.007656
0.00/0.03 c bounds - >= -388 @ 0.007733
0.00/0.03 c bounds - >= -387 @ 0.007809
0.00/0.03 c bounds - >= -386 @ 0.007933
0.00/0.03 c bounds - >= -385 @ 0.008056
0.00/0.03 c bounds - >= -384 @ 0.008177
0.00/0.03 c bounds - >= -383 @ 0.008296
0.00/0.03 c bounds - >= -382 @ 0.008418
0.00/0.03 c bounds - >= -381 @ 0.008539
0.00/0.03 c bounds - >= -380 @ 0.008661
0.00/0.03 c bounds - >= -379 @ 0.008772
0.00/0.03 c bounds - >= -378 @ 0.008808
0.00/0.03 c bounds - >= -377 @ 0.008808
0.00/0.03 c bounds - >= -376 @ 0.008808
0.00/0.03 c bounds - >= -375 @ 0.008808
0.00/0.03 c bounds - >= -374 @ 0.008808
0.00/0.03 c bounds - >= -373 @ 0.008808
0.00/0.03 c bounds - >= -372 @ 0.008808
0.00/0.03 c bounds - >= -371 @ 0.008808
0.00/0.03 c bounds - >= -370 @ 0.008912
0.00/0.03 c bounds - >= -369 @ 0.009039
0.00/0.03 c bounds - >= -368 @ 0.009169
0.00/0.03 c bounds - >= -367 @ 0.009295
0.00/0.03 c bounds - >= -366 @ 0.009421
0.00/0.03 c bounds - >= -365 @ 0.009548
0.00/0.03 c bounds - >= -364 @ 0.009674
0.00/0.03 c bounds - >= -363 @ 0.009793
0.00/0.03 c bounds - >= -362 @ 0.009918
0.00/0.03 c bounds - >= -361 @ 0.010043
0.00/0.03 c bounds - >= -360 @ 0.010167
0.00/0.03 c bounds - >= -359 @ 0.010289
0.00/0.03 c bounds - >= -358 @ 0.010413
0.00/0.03 c bounds - >= -357 @ 0.010535
0.00/0.03 c bounds - >= -356 @ 0.010662
0.00/0.03 c bounds - >= -355 @ 0.010771
0.00/0.03 c bounds - >= -354 @ 0.010797
0.00/0.03 c bounds - >= -353 @ 0.010797
0.00/0.03 c bounds - >= -352 @ 0.010797
0.00/0.03 c bounds - >= -351 @ 0.010797
0.00/0.03 c bounds - >= -350 @ 0.010797
0.00/0.03 c bounds - >= -349 @ 0.010797
0.00/0.03 c bounds - >= -348 @ 0.010797
0.00/0.03 c bounds - >= -347 @ 0.010797
0.00/0.03 c bounds - >= -346 @ 0.010883
0.00/0.03 c bounds - >= -345 @ 0.011003
0.00/0.03 c bounds - >= -344 @ 0.011128
0.00/0.03 c bounds - >= -343 @ 0.01125
0.00/0.03 c bounds - >= -342 @ 0.011371
0.00/0.03 c bounds - >= -341 @ 0.011489
0.00/0.03 c bounds - >= -340 @ 0.011608
0.00/0.03 c bounds - >= -339 @ 0.011725
0.00/0.03 c bounds - >= -338 @ 0.011839
0.00/0.03 c bounds - >= -337 @ 0.011958
0.00/0.03 c bounds - >= -336 @ 0.012087
0.00/0.03 c bounds - >= -335 @ 0.012204
0.00/0.03 c bounds - >= -334 @ 0.01232
0.00/0.03 c bounds - >= -333 @ 0.012434
0.00/0.03 c bounds - >= -332 @ 0.012548
0.00/0.03 c bounds - >= -331 @ 0.012663
0.00/0.03 c bounds - >= -330 @ 0.012768
0.00/0.03 c bounds - >= -329 @ 0.012887
0.00/0.03 c bounds - >= -328 @ 0.013006
0.00/0.03 c bounds - >= -327 @ 0.013125
0.00/0.03 c bounds - >= -326 @ 0.013245
0.00/0.03 c bounds - >= -325 @ 0.013365
0.00/0.03 c bounds - >= -324 @ 0.013483
0.00/0.03 c bounds - >= -323 @ 0.0136
0.00/0.03 c bounds - >= -322 @ 0.013718
0.00/0.03 c bounds - >= -321 @ 0.013817
0.00/0.03 c bounds - >= -320 @ 0.013933
0.00/0.03 c bounds - >= -319 @ 0.014049
0.00/0.03 c bounds - >= -318 @ 0.014163
0.00/0.03 c bounds - >= -317 @ 0.014279
0.00/0.03 c bounds - >= -316 @ 0.014395
0.00/0.03 c bounds - >= -315 @ 0.014508
0.00/0.03 c bounds - >= -314 @ 0.014621
0.00/0.03 c bounds - >= -313 @ 0.014734
0.00/0.03 c bounds - >= -312 @ 0.014758
0.00/0.03 c bounds - >= -311 @ 0.014758
0.00/0.03 c bounds - >= -310 @ 0.014758
0.00/0.03 c bounds - >= -309 @ 0.014758
0.00/0.03 c bounds - >= -308 @ 0.014758
0.00/0.03 c bounds - >= -307 @ 0.014758
0.00/0.03 c bounds - >= -306 @ 0.014758
0.00/0.03 c bounds - >= -305 @ 0.014758
0.00/0.03 c bounds - >= -304 @ 0.014805
0.00/0.03 c bounds - >= -303 @ 0.014928
0.00/0.03 c bounds - >= -302 @ 0.015049
0.00/0.03 c bounds - >= -301 @ 0.015168
0.00/0.03 c bounds - >= -300 @ 0.01529
0.00/0.03 c bounds - >= -299 @ 0.015409
0.00/0.03 c bounds - >= -298 @ 0.015532
0.00/0.03 c bounds - >= -297 @ 0.015658
0.00/0.03 c bounds - >= -296 @ 0.015757
0.00/0.03 c bounds - >= -295 @ 0.015885
0.00/0.03 c bounds - >= -294 @ 0.016012
0.00/0.03 c bounds - >= -293 @ 0.016146
0.00/0.03 c bounds - >= -292 @ 0.016276
0.00/0.03 c bounds - >= -291 @ 0.016407
0.00/0.03 c bounds - >= -290 @ 0.016535
0.00/0.03 c bounds - >= -289 @ 0.016674
0.00/0.03 c bounds - >= -288 @ 0.016802
0.00/0.03 c bounds - >= -287 @ 0.016938
0.00/0.03 c bounds - >= -286 @ 0.017075
0.00/0.03 c bounds - >= -285 @ 0.017213
0.00/0.04 c bounds - >= -284 @ 0.01736
0.00/0.04 c bounds - >= -283 @ 0.017503
0.00/0.04 c bounds - >= -282 @ 0.017656
0.00/0.04 c bounds - >= -281 @ 0.017796
0.00/0.04 c bounds - >= -280 @ 0.01795
0.00/0.04 c bounds - >= -279 @ 0.018112
0.00/0.04 c bounds - >= -278 @ 0.018276
0.00/0.04 c bounds - >= -277 @ 0.018444
0.00/0.04 c bounds - >= -276 @ 0.01862
0.00/0.04 c bounds - >= -275 @ 0.01879
0.00/0.04 c bounds - >= -274 @ 0.01897
0.00/0.04 c bounds - >= -273 @ 0.01915
0.00/0.04 c bounds - >= -272 @ 0.019338
0.00/0.04 c bounds - >= -271 @ 0.019521
0.00/0.04 c bounds - >= -270 @ 0.019701
0.00/0.04 c bounds - >= -269 @ 0.01988
0.00/0.04 c bounds - >= -268 @ 0.020065
0.00/0.04 c bounds - >= -267 @ 0.020257
0.00/0.04 c bounds - >= -266 @ 0.02045
0.00/0.04 c bounds - >= -265 @ 0.020643
0.00/0.04 c bounds - >= -264 @ 0.02083
0.00/0.04 c bounds - >= -263 @ 0.021037
0.00/0.04 c bounds - >= -262 @ 0.021233
0.00/0.04 c bounds - >= -261 @ 0.02143
0.00/0.04 c bounds - >= -260 @ 0.021618
0.00/0.04 c bounds - >= -259 @ 0.0217
0.00/0.04 c bounds - >= -258 @ 0.0217
0.00/0.04 c bounds - >= -257 @ 0.0217
0.00/0.04 c bounds - >= -256 @ 0.0217
0.00/0.04 c bounds - >= -255 @ 0.0217
0.00/0.04 c bounds - >= -254 @ 0.021864
0.00/0.04 c bounds - >= -253 @ 0.022078
0.00/0.04 c bounds - >= -252 @ 0.022293
0.00/0.04 c bounds - >= -251 @ 0.022507
0.00/0.04 c bounds - >= -250 @ 0.022726
0.00/0.04 c bounds - >= -249 @ 0.022944
0.00/0.04 c bounds - >= -248 @ 0.023172
0.00/0.04 c bounds - >= -247 @ 0.023394
0.00/0.04 c bounds - >= -246 @ 0.02362
0.00/0.04 c bounds - >= -245 @ 0.023833
0.00/0.04 c bounds - >= -244 @ 0.024084
0.00/0.04 c bounds - >= -243 @ 0.024331
0.00/0.04 c bounds - >= -242 @ 0.024577
0.00/0.04 c bounds - >= -241 @ 0.024688
0.00/0.04 c bounds - >= -240 @ 0.024688
0.00/0.04 c bounds - >= -239 @ 0.024688
0.00/0.04 c bounds - >= -238 @ 0.024688
0.00/0.04 c bounds - >= -237 @ 0.024958
0.00/0.04 c bounds - >= -236 @ 0.025247
0.00/0.04 c bounds - >= -235 @ 0.02554
0.00/0.04 c bounds - >= -234 @ 0.025695
0.00/0.04 c bounds - >= -233 @ 0.025695
0.00/0.04 c bounds - >= -232 @ 0.025695
0.00/0.04 c bounds - >= -231 @ 0.025745
0.00/0.04 c bounds - >= -230 @ 0.026038
0.00/0.04 c bounds - >= -229 @ 0.026338
0.00/0.04 c bounds - >= -228 @ 0.02664
0.00/0.04 c bounds - >= -227 @ 0.026701
0.00/0.04 c bounds - >= -226 @ 0.026701
0.00/0.04 c bounds - >= -225 @ 0.026701
0.00/0.04 c bounds - >= -224 @ 0.026838
0.00/0.04 c bounds - >= -223 @ 0.027135
0.00/0.04 c bounds - >= -222 @ 0.027442
0.00/0.04 c bounds - >= -221 @ 0.027776
0.00/0.04 c finalizing WCE round: reformulating cores
43.08/43.24 c #Conflicts: 1000 | #Constraints: 2616
43.08/43.24 c #Conflicts: 2000 | #Constraints: 3661
43.08/43.24 c INPROCESSING
43.08/43.24 c GARBAGE COLLECT
43.08/43.24 c #Conflicts: 3000 | #Constraints: 3424
43.08/43.24 c #Conflicts: 4000 | #Constraints: 4428
43.08/43.24 c INPROCESSING
43.08/43.24 c GARBAGE COLLECT
43.08/43.24 c #Conflicts: 5000 | #Constraints: 3813
43.08/43.24 c #Conflicts: 6000 | #Constraints: 4815
43.08/43.24 c INPROCESSING
43.08/43.24 c GARBAGE COLLECT
43.08/43.24 c #Conflicts: 7000 | #Constraints: 3808
43.08/43.24 c #Conflicts: 8000 | #Constraints: 4810
43.08/43.24 c #Conflicts: 9000 | #Constraints: 5814
43.08/43.24 c INPROCESSING
43.08/43.24 c GARBAGE COLLECT
43.08/43.24 c #Conflicts: 10000 | #Constraints: 4516
43.08/43.24 c #Conflicts: 11000 | #Constraints: 5518
43.08/43.24 c #Conflicts: 12000 | #Constraints: 6520
43.08/43.24 c INPROCESSING
43.08/43.24 c GARBAGE COLLECT
43.08/43.24 c #Conflicts: 13000 | #Constraints: 4969
43.08/43.24 c #Conflicts: 14000 | #Constraints: 5971
43.08/43.24 c #Conflicts: 15000 | #Constraints: 6973
43.08/43.24 c INPROCESSING
43.08/43.24 c GARBAGE COLLECT
43.08/43.24 c #Conflicts: 16000 | #Constraints: 5207
43.08/43.24 c #Conflicts: 17000 | #Constraints: 6209
43.08/43.24 c #Conflicts: 18000 | #Constraints: 7211
43.08/43.24 c INPROCESSING
43.08/43.24 c GARBAGE COLLECT
43.08/43.24 c #Conflicts: 19000 | #Constraints: 5228
43.08/43.24 c #Conflicts: 20000 | #Constraints: 6230
43.08/43.24 c #Conflicts: 21000 | #Constraints: 7232
43.08/43.24 c INPROCESSING
43.08/43.24 c GARBAGE COLLECT
43.08/43.24 c #Conflicts: 22000 | #Constraints: 5039
43.08/43.24 c #Conflicts: 23000 | #Constraints: 6041
43.08/43.24 c #Conflicts: 24000 | #Constraints: 7045
43.08/43.24 c #Conflicts: 25000 | #Constraints: 8047
43.08/43.24 c INPROCESSING
43.08/43.24 c GARBAGE COLLECT
43.08/43.24 c #Conflicts: 26000 | #Constraints: 5649
43.08/43.24 c #Conflicts: 27000 | #Constraints: 6651
43.08/43.24 c #Conflicts: 28000 | #Constraints: 7653
43.08/43.24 c #Conflicts: 29000 | #Constraints: 8657
43.08/43.24 c INPROCESSING
43.08/43.24 c GARBAGE COLLECT
43.08/43.24 c #Conflicts: 30000 | #Constraints: 6071
43.08/43.24 c #Conflicts: 31000 | #Constraints: 7073
43.08/43.24 c #Conflicts: 32000 | #Constraints: 8075
43.08/43.24 c #Conflicts: 33000 | #Constraints: 9079
43.08/43.24 c INPROCESSING
43.08/43.24 c GARBAGE COLLECT
43.08/43.24 c #Conflicts: 34000 | #Constraints: 6283
43.08/43.24 c #Conflicts: 35000 | #Constraints: 7285
43.08/43.24 c #Conflicts: 36000 | #Constraints: 8287
43.08/43.24 c #Conflicts: 37000 | #Constraints: 9291
43.08/43.24 c INPROCESSING
43.08/43.24 c GARBAGE COLLECT
43.08/43.24 c #Conflicts: 38000 | #Constraints: 6292
43.08/43.24 c #Conflicts: 39000 | #Constraints: 7294
43.08/43.24 c #Conflicts: 40000 | #Constraints: 8296
43.08/43.24 c #Conflicts: 41000 | #Constraints: 9300
43.08/43.24 c INPROCESSING
43.08/43.24 c GARBAGE COLLECT
43.08/43.24 c #Conflicts: 42000 | #Constraints: 6100
43.08/43.24 c #Conflicts: 43000 | #Constraints: 7102
43.08/43.24 c #Conflicts: 44000 | #Constraints: 8106
43.08/43.24 c #Conflicts: 45000 | #Constraints: 9108
43.08/43.24 c #Conflicts: 46000 | #Constraints: 10110
43.08/43.24 c INPROCESSING
43.08/43.24 c GARBAGE COLLECT
43.08/43.24 c #Conflicts: 47000 | #Constraints: 6716
43.08/43.24 c #Conflicts: 48000 | #Constraints: 7718
43.08/43.24 c #Conflicts: 49000 | #Constraints: 8720
43.08/43.24 c #Conflicts: 50000 | #Constraints: 9724
43.08/43.24 c #Conflicts: 51000 | #Constraints: 10726
43.08/43.24 c INPROCESSING
43.08/43.24 c GARBAGE COLLECT
43.08/43.24 c #Conflicts: 52000 | #Constraints: 7120
43.08/43.24 c #Conflicts: 53000 | #Constraints: 8122
43.08/43.24 c #Conflicts: 54000 | #Constraints: 9124
43.08/43.24 c #Conflicts: 55000 | #Constraints: 10128
43.08/43.24 c #Conflicts: 56000 | #Constraints: 11130
43.08/43.24 c INPROCESSING
43.08/43.24 c GARBAGE COLLECT
43.08/43.24 c #Conflicts: 57000 | #Constraints: 7328
43.08/43.24 c #Conflicts: 58000 | #Constraints: 8330
43.08/43.24 c #Conflicts: 59000 | #Constraints: 9332
43.08/43.24 c #Conflicts: 60000 | #Constraints: 10336
43.08/43.24 c #Conflicts: 61000 | #Constraints: 11338
43.08/43.24 c INPROCESSING
43.08/43.24 c GARBAGE COLLECT
43.08/43.24 c #Conflicts: 62000 | #Constraints: 7344
43.08/43.24 c #Conflicts: 63000 | #Constraints: 8346
43.08/43.24 c #Conflicts: 64000 | #Constraints: 9348
43.08/43.24 c #Conflicts: 65000 | #Constraints: 10352
43.08/43.24 c #Conflicts: 66000 | #Constraints: 11354
43.08/43.24 c INPROCESSING
43.08/43.24 c GARBAGE COLLECT
43.08/43.24 c #Conflicts: 67000 | #Constraints: 7156
43.08/43.24 c #Conflicts: 68000 | #Constraints: 8158
105.52/105.86 c #Conflicts: 69000 | #Constraints: 9162
105.52/105.86 c #Conflicts: 70000 | #Constraints: 10164
105.52/105.86 c #Conflicts: 71000 | #Constraints: 11166
105.52/105.86 c #Conflicts: 72000 | #Constraints: 12170
105.52/105.86 c INPROCESSING
105.52/105.86 c GARBAGE COLLECT
105.52/105.86 c #Conflicts: 73000 | #Constraints: 7778
105.52/105.86 c #Conflicts: 74000 | #Constraints: 8780
105.52/105.86 c #Conflicts: 75000 | #Constraints: 9782
105.52/105.86 c #Conflicts: 76000 | #Constraints: 10786
105.52/105.86 c #Conflicts: 77000 | #Constraints: 11788
105.52/105.86 c #Conflicts: 78000 | #Constraints: 12790
105.52/105.86 c INPROCESSING
105.52/105.86 c GARBAGE COLLECT
105.52/105.86 c #Conflicts: 79000 | #Constraints: 8189
105.52/105.86 c #Conflicts: 80000 | #Constraints: 9191
105.52/105.86 c #Conflicts: 81000 | #Constraints: 10193
105.52/105.86 c #Conflicts: 82000 | #Constraints: 11197
105.52/105.86 c #Conflicts: 83000 | #Constraints: 12199
105.52/105.86 c #Conflicts: 84000 | #Constraints: 13201
105.52/105.86 c INPROCESSING
105.52/105.86 c GARBAGE COLLECT
105.52/105.86 c #Conflicts: 85000 | #Constraints: 8410
105.52/105.86 c #Conflicts: 86000 | #Constraints: 9412
105.52/105.86 c #Conflicts: 87000 | #Constraints: 10414
105.52/105.86 c #Conflicts: 88000 | #Constraints: 11418
105.52/105.86 c #Conflicts: 89000 | #Constraints: 12420
105.52/105.86 c #Conflicts: 90000 | #Constraints: 13422
105.52/105.86 c INPROCESSING
105.52/105.86 c GARBAGE COLLECT
105.52/105.86 c #Conflicts: 91000 | #Constraints: 8416
105.52/105.86 c #Conflicts: 92000 | #Constraints: 9418
105.52/105.86 c #Conflicts: 93000 | #Constraints: 10420
105.52/105.86 c #Conflicts: 94000 | #Constraints: 11424
105.52/105.86 c #Conflicts: 95000 | #Constraints: 12426
105.52/105.86 c #Conflicts: 96000 | #Constraints: 13428
105.52/105.86 c INPROCESSING
105.52/105.86 c GARBAGE COLLECT
105.52/105.86 c #Conflicts: 97000 | #Constraints: 8232
105.52/105.86 c #Conflicts: 98000 | #Constraints: 9234
105.52/105.86 c #Conflicts: 99000 | #Constraints: 10238
105.52/105.86 c #Conflicts: 100000 | #Constraints: 11240
105.52/105.86 c #Conflicts: 101000 | #Constraints: 12242
105.52/105.86 c #Conflicts: 102000 | #Constraints: 13246
105.52/105.86 c #Conflicts: 103000 | #Constraints: 14248
105.52/105.86 c INPROCESSING
105.52/105.86 c GARBAGE COLLECT
105.52/105.86 c #Conflicts: 104000 | #Constraints: 8851
105.52/105.86 c #Conflicts: 105000 | #Constraints: 9853
105.52/105.86 c #Conflicts: 106000 | #Constraints: 10855
105.52/105.86 c #Conflicts: 107000 | #Constraints: 11859
105.52/105.86 c #Conflicts: 108000 | #Constraints: 12861
105.52/105.86 c #Conflicts: 109000 | #Constraints: 13863
105.52/105.86 c #Conflicts: 110000 | #Constraints: 14867
105.52/105.86 c INPROCESSING
105.52/105.86 c GARBAGE COLLECT
105.52/105.86 c #Conflicts: 111000 | #Constraints: 9270
105.52/105.86 c #Conflicts: 112000 | #Constraints: 10272
105.52/105.86 c #Conflicts: 113000 | #Constraints: 11274
105.52/105.86 c #Conflicts: 114000 | #Constraints: 12278
105.52/105.86 c #Conflicts: 115000 | #Constraints: 13280
105.52/105.86 c #Conflicts: 116000 | #Constraints: 14282
105.52/105.86 c #Conflicts: 117000 | #Constraints: 15286
105.52/105.86 c INPROCESSING
105.52/105.86 c GARBAGE COLLECT
105.52/105.86 c #Conflicts: 118000 | #Constraints: 9489
105.52/105.86 c #Conflicts: 119000 | #Constraints: 10491
105.52/105.86 c #Conflicts: 120000 | #Constraints: 11493
105.52/105.86 c #Conflicts: 121000 | #Constraints: 12497
105.52/105.86 c #Conflicts: 122000 | #Constraints: 13499
105.52/105.86 c #Conflicts: 123000 | #Constraints: 14501
105.52/105.86 c #Conflicts: 124000 | #Constraints: 15505
105.52/105.86 c INPROCESSING
105.52/105.86 c GARBAGE COLLECT
105.52/105.86 c #Conflicts: 125000 | #Constraints: 9508
105.52/105.86 c #Conflicts: 126000 | #Constraints: 10510
105.52/105.86 c #Conflicts: 127000 | #Constraints: 11512
105.52/105.86 c #Conflicts: 128000 | #Constraints: 12516
105.52/105.86 c #Conflicts: 129000 | #Constraints: 13518
105.52/105.86 c #Conflicts: 130000 | #Constraints: 14520
105.52/105.86 c #Conflicts: 131000 | #Constraints: 15524
105.52/105.86 c INPROCESSING
105.52/105.86 c GARBAGE COLLECT
105.52/105.86 c #Conflicts: 132000 | #Constraints: 9324
105.52/105.86 c #Conflicts: 133000 | #Constraints: 10326
105.52/105.86 c #Conflicts: 134000 | #Constraints: 11330
105.52/105.86 c #Conflicts: 135000 | #Constraints: 12332
105.52/105.86 c bounds -137 >= -221 @ 104.346
105.52/105.86 c bounds -137 >= -220 @ 104.362
105.52/105.86 c bounds -137 >= -219 @ 104.364
105.52/105.86 c bounds -137 >= -218 @ 104.364
105.52/105.86 c bounds -137 >= -217 @ 104.367
105.52/105.86 c bounds -137 >= -216 @ 104.369
105.52/105.86 c bounds -137 >= -215 @ 104.371
105.52/105.86 c bounds -137 >= -214 @ 104.374
106.42/106.72 c bounds -137 >= -213 @ 104.376
106.42/106.72 c bounds -137 >= -212 @ 104.377
106.42/106.72 c bounds -137 >= -211 @ 104.381
106.42/106.72 c bounds -137 >= -210 @ 104.386
106.42/106.72 c bounds -137 >= -209 @ 104.391
106.42/106.72 c bounds -137 >= -208 @ 104.397
106.42/106.72 c bounds -137 >= -207 @ 104.401
106.42/106.72 c bounds -137 >= -206 @ 104.407
106.42/106.72 c bounds -137 >= -205 @ 104.41
106.42/106.72 c bounds -137 >= -204 @ 104.42
106.42/106.72 c bounds -137 >= -203 @ 104.424
106.42/106.72 c bounds -137 >= -202 @ 104.432
106.42/106.72 c bounds -137 >= -201 @ 104.436
106.42/106.72 c bounds -137 >= -200 @ 104.442
106.42/106.72 c bounds -137 >= -199 @ 104.449
106.42/106.72 c bounds -137 >= -198 @ 104.454
106.42/106.72 c bounds -137 >= -197 @ 104.466
106.42/106.72 c bounds -137 >= -196 @ 104.495
106.42/106.72 c #Conflicts: 136000 | #Constraints: 13692
106.42/106.72 c finalizing WCE round: reformulating cores
131.06/131.41 c #Conflicts: 137000 | #Constraints: 14704
131.06/131.41 c #Conflicts: 138000 | #Constraints: 15715
131.06/131.41 c #Conflicts: 139000 | #Constraints: 16721
131.06/131.41 c INPROCESSING
131.06/131.41 c GARBAGE COLLECT
131.06/131.41 c #Conflicts: 140000 | #Constraints: 10203
131.06/131.41 c #Conflicts: 141000 | #Constraints: 11205
131.06/131.41 c #Conflicts: 142000 | #Constraints: 12207
131.06/131.41 c #Conflicts: 143000 | #Constraints: 13211
131.06/131.41 c #Conflicts: 144000 | #Constraints: 14213
131.06/131.41 c #Conflicts: 145000 | #Constraints: 15215
131.06/131.41 c #Conflicts: 146000 | #Constraints: 16219
131.06/131.41 c #Conflicts: 147000 | #Constraints: 17221
131.06/131.41 c INPROCESSING
131.06/131.41 c GARBAGE COLLECT
131.06/131.41 c #Conflicts: 148000 | #Constraints: 10584
131.06/131.41 c #Conflicts: 149000 | #Constraints: 11586
131.06/131.41 c #Conflicts: 150000 | #Constraints: 12588
131.06/131.41 c bounds -146 >= -196 @ 123.093
131.06/131.41 c bounds -146 >= -195 @ 123.116
131.06/131.41 c bounds -146 >= -194 @ 123.123
131.06/131.41 c bounds -146 >= -193 @ 123.126
131.06/131.41 c bounds -146 >= -192 @ 123.132
131.06/131.41 c bounds -146 >= -191 @ 123.147
131.06/131.41 c bounds -146 >= -190 @ 123.167
131.06/131.41 c bounds -146 >= -189 @ 123.28
131.06/131.41 c bounds -146 >= -188 @ 123.368
131.06/131.41 c bounds -146 >= -187 @ 123.496
131.06/131.41 c #Conflicts: 151000 | #Constraints: 13852
131.06/131.41 c #Conflicts: 152000 | #Constraints: 14852
131.06/131.41 c finalizing WCE round: reformulating cores
172.85/173.37 c #Conflicts: 153000 | #Constraints: 15855
172.85/173.37 c #Conflicts: 154000 | #Constraints: 16859
172.85/173.37 c #Conflicts: 155000 | #Constraints: 17861
172.85/173.37 c INPROCESSING
172.85/173.37 c GARBAGE COLLECT
172.85/173.37 c #Conflicts: 156000 | #Constraints: 10976
172.85/173.37 c #Conflicts: 157000 | #Constraints: 11978
172.85/173.37 c #Conflicts: 158000 | #Constraints: 12980
172.85/173.37 c #Conflicts: 159000 | #Constraints: 13984
172.85/173.37 c bounds -147 >= -187 @ 147.091
172.85/173.37 c bounds -147 >= -186 @ 147.321
172.85/173.37 c bounds -147 >= -185 @ 147.838
172.85/173.37 c #Conflicts: 160000 | #Constraints: 15091
172.85/173.37 c bounds -147 >= -184 @ 157.892
172.85/173.37 c #Conflicts: 161000 | #Constraints: 16134
172.85/173.37 c #Conflicts: 162000 | #Constraints: 17134
172.85/173.37 c finalizing WCE round: reformulating cores
212.56/213.15 c #Conflicts: 163000 | #Constraints: 18137
212.56/213.15 c INPROCESSING
212.56/213.15 c GARBAGE COLLECT
212.56/213.15 c #Conflicts: 164000 | #Constraints: 11092
212.56/213.15 c #Conflicts: 165000 | #Constraints: 12094
212.56/213.15 c bounds -149 >= -184 @ 173.52
212.56/213.15 c bounds -149 >= -183 @ 173.718
212.56/213.15 c #Conflicts: 166000 | #Constraints: 13128
212.56/213.15 c #Conflicts: 167000 | #Constraints: 14128
212.56/213.15 c #Conflicts: 168000 | #Constraints: 15128
212.56/213.15 c bounds -149 >= -182 @ 177.841
212.56/213.15 c bounds -149 >= -181 @ 178.231
212.56/213.15 c #Conflicts: 169000 | #Constraints: 16253
212.56/213.15 c #Conflicts: 170000 | #Constraints: 17253
212.56/213.15 c #Conflicts: 171000 | #Constraints: 18253
212.56/213.15 c INPROCESSING
212.56/213.15 c GARBAGE COLLECT
212.56/213.15 c #Conflicts: 172000 | #Constraints: 11002
212.56/213.15 c #Conflicts: 173000 | #Constraints: 12002
212.56/213.15 c #Conflicts: 174000 | #Constraints: 13002
212.56/213.15 c #Conflicts: 175000 | #Constraints: 14002
212.56/213.15 c #Conflicts: 176000 | #Constraints: 15002
212.56/213.15 c #Conflicts: 177000 | #Constraints: 16002
212.56/213.15 c #Conflicts: 178000 | #Constraints: 17002
212.56/213.15 c #Conflicts: 179000 | #Constraints: 18002
212.56/213.15 c #Conflicts: 180000 | #Constraints: 19002
212.56/213.15 c INPROCESSING
212.56/213.15 c GARBAGE COLLECT
212.56/213.15 c #Conflicts: 181000 | #Constraints: 11613
212.56/213.15 c #Conflicts: 182000 | #Constraints: 12613
212.56/213.15 c #Conflicts: 183000 | #Constraints: 13613
212.56/213.15 c #Conflicts: 184000 | #Constraints: 14613
212.56/213.15 c #Conflicts: 185000 | #Constraints: 15613
212.56/213.15 c #Conflicts: 186000 | #Constraints: 16613
212.56/213.15 c #Conflicts: 187000 | #Constraints: 17613
212.56/213.15 c #Conflicts: 188000 | #Constraints: 18613
212.56/213.15 c finalizing WCE round: reformulating cores
465.07/466.29 c #Conflicts: 189000 | #Constraints: 19618
465.07/466.29 c INPROCESSING
465.07/466.29 c GARBAGE COLLECT
465.07/466.29 c #Conflicts: 190000 | #Constraints: 12011
465.07/466.29 c bounds -157 >= -181 @ 212.568
465.07/466.29 c bounds -157 >= -180 @ 212.7
465.07/466.29 c #Conflicts: 191000 | #Constraints: 13084
465.07/466.29 c #Conflicts: 192000 | #Constraints: 14084
465.07/466.29 c #Conflicts: 193000 | #Constraints: 15084
465.07/466.29 c #Conflicts: 194000 | #Constraints: 16084
465.07/466.29 c #Conflicts: 195000 | #Constraints: 17084
465.07/466.29 c #Conflicts: 196000 | #Constraints: 18084
465.07/466.29 c #Conflicts: 197000 | #Constraints: 19084
465.07/466.29 c #Conflicts: 198000 | #Constraints: 20084
465.07/466.29 c INPROCESSING
465.07/466.29 c GARBAGE COLLECT
465.07/466.29 c #Conflicts: 199000 | #Constraints: 12272
465.07/466.29 c #Conflicts: 200000 | #Constraints: 13272
465.07/466.29 c #Conflicts: 201000 | #Constraints: 14272
465.07/466.29 c #Conflicts: 202000 | #Constraints: 15272
465.07/466.29 c #Conflicts: 203000 | #Constraints: 16272
465.07/466.29 c #Conflicts: 204000 | #Constraints: 17272
465.07/466.29 c bounds -157 >= -179 @ 230.547
465.07/466.29 c #Conflicts: 205000 | #Constraints: 18312
465.07/466.29 c #Conflicts: 206000 | #Constraints: 19312
465.07/466.29 c #Conflicts: 207000 | #Constraints: 20312
465.07/466.29 c INPROCESSING
465.07/466.29 c GARBAGE COLLECT
465.07/466.29 c #Conflicts: 208000 | #Constraints: 12304
465.07/466.29 c #Conflicts: 209000 | #Constraints: 13304
465.07/466.29 c bounds -157 >= -178 @ 237.098
465.07/466.29 c #Conflicts: 210000 | #Constraints: 14332
465.07/466.29 c #Conflicts: 211000 | #Constraints: 15332
465.07/466.29 c #Conflicts: 212000 | #Constraints: 16332
465.07/466.29 c #Conflicts: 213000 | #Constraints: 17332
465.07/466.29 c #Conflicts: 214000 | #Constraints: 18332
465.07/466.29 c #Conflicts: 215000 | #Constraints: 19332
465.07/466.29 c #Conflicts: 216000 | #Constraints: 20332
465.07/466.29 c INPROCESSING
465.07/466.29 c GARBAGE COLLECT
465.07/466.29 c #Conflicts: 217000 | #Constraints: 12133
465.07/466.29 c #Conflicts: 218000 | #Constraints: 13133
465.07/466.29 c #Conflicts: 219000 | #Constraints: 14133
465.07/466.29 c #Conflicts: 220000 | #Constraints: 15133
465.07/466.29 c #Conflicts: 221000 | #Constraints: 16133
465.07/466.29 c #Conflicts: 222000 | #Constraints: 17133
465.07/466.29 c #Conflicts: 223000 | #Constraints: 18133
465.07/466.29 c #Conflicts: 224000 | #Constraints: 19133
465.07/466.29 c #Conflicts: 225000 | #Constraints: 20133
465.07/466.29 c #Conflicts: 226000 | #Constraints: 21133
465.07/466.29 c #Conflicts: 227000 | #Constraints: 22133
465.07/466.29 c #Conflicts: 228000 | #Constraints: 23133
465.07/466.29 c #Conflicts: 229000 | #Constraints: 24133
465.07/466.29 c #Conflicts: 230000 | #Constraints: 25133
465.07/466.29 c #Conflicts: 231000 | #Constraints: 26133
465.07/466.29 c #Conflicts: 232000 | #Constraints: 27133
465.07/466.29 c #Conflicts: 233000 | #Constraints: 28133
465.07/466.29 c #Conflicts: 234000 | #Constraints: 29133
465.07/466.29 c #Conflicts: 235000 | #Constraints: 30133
465.07/466.29 c #Conflicts: 236000 | #Constraints: 31133
465.07/466.29 c #Conflicts: 237000 | #Constraints: 32133
465.07/466.29 c #Conflicts: 238000 | #Constraints: 33133
465.07/466.29 c #Conflicts: 239000 | #Constraints: 34133
465.07/466.29 c #Conflicts: 240000 | #Constraints: 35133
465.07/466.29 c #Conflicts: 241000 | #Constraints: 36133
465.07/466.29 c #Conflicts: 242000 | #Constraints: 37133
465.07/466.29 c #Conflicts: 243000 | #Constraints: 38133
465.07/466.29 c #Conflicts: 244000 | #Constraints: 39133
465.07/466.29 c #Conflicts: 245000 | #Constraints: 40133
465.07/466.29 c #Conflicts: 246000 | #Constraints: 41133
465.07/466.29 c #Conflicts: 247000 | #Constraints: 42133
465.07/466.29 c #Conflicts: 248000 | #Constraints: 43133
465.07/466.29 c #Conflicts: 249000 | #Constraints: 44133
465.07/466.29 c #Conflicts: 250000 | #Constraints: 45133
465.07/466.29 c #Conflicts: 251000 | #Constraints: 46133
465.07/466.29 c #Conflicts: 252000 | #Constraints: 47133
465.07/466.29 c #Conflicts: 253000 | #Constraints: 48133
465.07/466.29 c #Conflicts: 254000 | #Constraints: 49133
465.07/466.29 c #Conflicts: 255000 | #Constraints: 50133
465.07/466.29 c #Conflicts: 256000 | #Constraints: 51133
465.07/466.29 c #Conflicts: 257000 | #Constraints: 52133
465.07/466.29 c #Conflicts: 258000 | #Constraints: 53133
465.07/466.29 c #Conflicts: 259000 | #Constraints: 54133
465.07/466.29 c #Conflicts: 260000 | #Constraints: 55133
465.07/466.29 c #Conflicts: 261000 | #Constraints: 56133
465.07/466.29 c INPROCESSING
465.07/466.29 c GARBAGE COLLECT
465.07/466.29 c #Conflicts: 262000 | #Constraints: 30187
929.14/931.46 c #Conflicts: 263000 | #Constraints: 31187
929.14/931.46 c #Conflicts: 264000 | #Constraints: 32187
929.14/931.46 c #Conflicts: 265000 | #Constraints: 33187
929.14/931.46 c #Conflicts: 266000 | #Constraints: 34187
929.14/931.46 c #Conflicts: 267000 | #Constraints: 35187
929.14/931.46 c #Conflicts: 268000 | #Constraints: 36187
929.14/931.46 c #Conflicts: 269000 | #Constraints: 37187
929.14/931.46 c #Conflicts: 270000 | #Constraints: 38187
929.14/931.46 c #Conflicts: 271000 | #Constraints: 39187
929.14/931.46 c #Conflicts: 272000 | #Constraints: 40187
929.14/931.46 c INPROCESSING
929.14/931.46 c GARBAGE COLLECT
929.14/931.46 c #Conflicts: 273000 | #Constraints: 22362
929.14/931.46 c #Conflicts: 274000 | #Constraints: 23362
929.14/931.46 c #Conflicts: 275000 | #Constraints: 24362
929.14/931.46 c #Conflicts: 276000 | #Constraints: 25362
929.14/931.46 c #Conflicts: 277000 | #Constraints: 26362
929.14/931.46 c #Conflicts: 278000 | #Constraints: 27362
929.14/931.46 c #Conflicts: 279000 | #Constraints: 28362
929.14/931.46 c #Conflicts: 280000 | #Constraints: 29362
929.14/931.46 c #Conflicts: 281000 | #Constraints: 30362
929.14/931.46 c #Conflicts: 282000 | #Constraints: 31362
929.14/931.46 c INPROCESSING
929.14/931.46 c GARBAGE COLLECT
929.14/931.46 c #Conflicts: 283000 | #Constraints: 18140
929.14/931.46 c #Conflicts: 284000 | #Constraints: 19140
929.14/931.46 c #Conflicts: 285000 | #Constraints: 20140
929.14/931.46 c #Conflicts: 286000 | #Constraints: 21140
929.14/931.46 c #Conflicts: 287000 | #Constraints: 22140
929.14/931.46 c #Conflicts: 288000 | #Constraints: 23140
929.14/931.46 c #Conflicts: 289000 | #Constraints: 24140
929.14/931.46 c #Conflicts: 290000 | #Constraints: 25140
929.14/931.46 c #Conflicts: 291000 | #Constraints: 26140
929.14/931.46 c #Conflicts: 292000 | #Constraints: 27140
929.14/931.46 c #Conflicts: 293000 | #Constraints: 28140
929.14/931.46 c #Conflicts: 294000 | #Constraints: 29140
929.14/931.46 c #Conflicts: 295000 | #Constraints: 30140
929.14/931.46 c #Conflicts: 296000 | #Constraints: 31140
929.14/931.46 c #Conflicts: 297000 | #Constraints: 32140
929.14/931.46 c #Conflicts: 298000 | #Constraints: 33140
929.14/931.46 c #Conflicts: 299000 | #Constraints: 34140
929.14/931.46 c #Conflicts: 300000 | #Constraints: 35140
929.14/931.46 c #Conflicts: 301000 | #Constraints: 36140
929.14/931.46 c #Conflicts: 302000 | #Constraints: 37140
929.14/931.46 c #Conflicts: 303000 | #Constraints: 38140
929.14/931.46 c #Conflicts: 304000 | #Constraints: 39140
929.14/931.46 c #Conflicts: 305000 | #Constraints: 40140
929.14/931.46 c #Conflicts: 306000 | #Constraints: 41140
929.14/931.46 c #Conflicts: 307000 | #Constraints: 42140
929.14/931.46 c #Conflicts: 308000 | #Constraints: 43140
929.14/931.46 c #Conflicts: 309000 | #Constraints: 44140
929.14/931.46 c #Conflicts: 310000 | #Constraints: 45140
929.14/931.46 c #Conflicts: 311000 | #Constraints: 46140
929.14/931.46 c #Conflicts: 312000 | #Constraints: 47140
929.14/931.46 c #Conflicts: 313000 | #Constraints: 48140
929.14/931.46 c #Conflicts: 314000 | #Constraints: 49140
929.14/931.46 c #Conflicts: 315000 | #Constraints: 50140
929.14/931.46 c #Conflicts: 316000 | #Constraints: 51140
929.14/931.46 c #Conflicts: 317000 | #Constraints: 52140
929.14/931.46 c #Conflicts: 318000 | #Constraints: 53140
929.14/931.46 c #Conflicts: 319000 | #Constraints: 54140
929.14/931.46 c #Conflicts: 320000 | #Constraints: 55140
929.14/931.46 c #Conflicts: 321000 | #Constraints: 56140
929.14/931.46 c #Conflicts: 322000 | #Constraints: 57140
929.14/931.46 c #Conflicts: 323000 | #Constraints: 58140
929.14/931.46 c #Conflicts: 324000 | #Constraints: 59140
929.14/931.46 c #Conflicts: 325000 | #Constraints: 60140
929.14/931.46 c #Conflicts: 326000 | #Constraints: 61140
929.14/931.46 c #Conflicts: 327000 | #Constraints: 62140
929.14/931.46 c #Conflicts: 328000 | #Constraints: 63140
929.14/931.46 c #Conflicts: 329000 | #Constraints: 64140
929.14/931.46 c #Conflicts: 330000 | #Constraints: 65140
929.14/931.46 c #Conflicts: 331000 | #Constraints: 66140
929.14/931.46 c INPROCESSING
929.14/931.46 c GARBAGE COLLECT
929.14/931.46 c #Conflicts: 332000 | #Constraints: 34965
929.14/931.46 c #Conflicts: 333000 | #Constraints: 35965
929.14/931.46 c #Conflicts: 334000 | #Constraints: 36965
929.14/931.46 c #Conflicts: 335000 | #Constraints: 37965
929.14/931.46 c #Conflicts: 336000 | #Constraints: 38965
929.14/931.46 c #Conflicts: 337000 | #Constraints: 39965
929.14/931.46 c #Conflicts: 338000 | #Constraints: 40965
929.14/931.46 c #Conflicts: 339000 | #Constraints: 41965
1564.20/1568.05 c #Conflicts: 340000 | #Constraints: 42965
1564.20/1568.05 c #Conflicts: 341000 | #Constraints: 43965
1564.20/1568.05 c #Conflicts: 342000 | #Constraints: 44965
1564.20/1568.05 c #Conflicts: 343000 | #Constraints: 45965
1564.20/1568.05 c #Conflicts: 344000 | #Constraints: 46965
1564.20/1568.05 c INPROCESSING
1564.20/1568.05 c GARBAGE COLLECT
1564.20/1568.05 c #Conflicts: 345000 | #Constraints: 25792
1564.20/1568.05 c #Conflicts: 346000 | #Constraints: 26792
1564.20/1568.05 c #Conflicts: 347000 | #Constraints: 27792
1564.20/1568.05 c #Conflicts: 348000 | #Constraints: 28792
1564.20/1568.05 c #Conflicts: 349000 | #Constraints: 29792
1564.20/1568.05 c #Conflicts: 350000 | #Constraints: 30792
1564.20/1568.05 c #Conflicts: 351000 | #Constraints: 31792
1564.20/1568.05 c #Conflicts: 352000 | #Constraints: 32792
1564.20/1568.05 c #Conflicts: 353000 | #Constraints: 33792
1564.20/1568.05 c #Conflicts: 354000 | #Constraints: 34792
1564.20/1568.05 c #Conflicts: 355000 | #Constraints: 35792
1564.20/1568.05 c #Conflicts: 356000 | #Constraints: 36792
1564.20/1568.05 c #Conflicts: 357000 | #Constraints: 37792
1564.20/1568.05 c #Conflicts: 358000 | #Constraints: 38792
1564.20/1568.05 c #Conflicts: 359000 | #Constraints: 39792
1564.20/1568.05 c #Conflicts: 360000 | #Constraints: 40792
1564.20/1568.05 c #Conflicts: 361000 | #Constraints: 41792
1564.20/1568.05 c #Conflicts: 362000 | #Constraints: 42792
1564.20/1568.05 c #Conflicts: 363000 | #Constraints: 43792
1564.20/1568.05 c #Conflicts: 364000 | #Constraints: 44792
1564.20/1568.05 c #Conflicts: 365000 | #Constraints: 45792
1564.20/1568.05 c #Conflicts: 366000 | #Constraints: 46792
1564.20/1568.05 c #Conflicts: 367000 | #Constraints: 47792
1564.20/1568.05 c #Conflicts: 368000 | #Constraints: 48792
1564.20/1568.05 c #Conflicts: 369000 | #Constraints: 49792
1564.20/1568.05 c #Conflicts: 370000 | #Constraints: 50792
1564.20/1568.05 c #Conflicts: 371000 | #Constraints: 51792
1564.20/1568.05 c #Conflicts: 372000 | #Constraints: 52792
1564.20/1568.05 c #Conflicts: 373000 | #Constraints: 53792
1564.20/1568.05 c #Conflicts: 374000 | #Constraints: 54792
1564.20/1568.05 c #Conflicts: 375000 | #Constraints: 55792
1564.20/1568.05 c #Conflicts: 376000 | #Constraints: 56792
1564.20/1568.05 c #Conflicts: 377000 | #Constraints: 57792
1564.20/1568.05 c #Conflicts: 378000 | #Constraints: 58792
1564.20/1568.05 c #Conflicts: 379000 | #Constraints: 59792
1564.20/1568.05 c #Conflicts: 380000 | #Constraints: 60792
1564.20/1568.05 c #Conflicts: 381000 | #Constraints: 61792
1564.20/1568.05 c #Conflicts: 382000 | #Constraints: 62792
1564.20/1568.05 c #Conflicts: 383000 | #Constraints: 63792
1564.20/1568.05 c #Conflicts: 384000 | #Constraints: 64792
1564.20/1568.05 c #Conflicts: 385000 | #Constraints: 65792
1564.20/1568.05 c #Conflicts: 386000 | #Constraints: 66792
1564.20/1568.05 c #Conflicts: 387000 | #Constraints: 67792
1564.20/1568.05 c #Conflicts: 388000 | #Constraints: 68792
1564.20/1568.05 c #Conflicts: 389000 | #Constraints: 69792
1564.20/1568.05 c #Conflicts: 390000 | #Constraints: 70792
1564.20/1568.05 c #Conflicts: 391000 | #Constraints: 71792
1564.20/1568.05 c #Conflicts: 392000 | #Constraints: 72792
1564.20/1568.05 c #Conflicts: 393000 | #Constraints: 73792
1564.20/1568.05 c #Conflicts: 394000 | #Constraints: 74792
1564.20/1568.05 c #Conflicts: 395000 | #Constraints: 75792
1564.20/1568.05 c #Conflicts: 396000 | #Constraints: 76792
1564.20/1568.05 c INPROCESSING
1564.20/1568.05 c GARBAGE COLLECT
1564.20/1568.05 c #Conflicts: 397000 | #Constraints: 40682
1564.20/1568.05 c #Conflicts: 398000 | #Constraints: 41682
1564.20/1568.05 c #Conflicts: 399000 | #Constraints: 42682
1564.20/1568.05 c #Conflicts: 400000 | #Constraints: 43682
1564.20/1568.05 c #Conflicts: 401000 | #Constraints: 44682
1564.20/1568.05 c #Conflicts: 402000 | #Constraints: 45682
1564.20/1568.05 c #Conflicts: 403000 | #Constraints: 46682
1564.20/1568.05 c #Conflicts: 404000 | #Constraints: 47682
1564.20/1568.05 c #Conflicts: 405000 | #Constraints: 48682
1564.20/1568.05 c #Conflicts: 406000 | #Constraints: 49682
1564.20/1568.05 c #Conflicts: 407000 | #Constraints: 50682
1564.20/1568.05 c #Conflicts: 408000 | #Constraints: 51682
1564.20/1568.05 c #Conflicts: 409000 | #Constraints: 52682
1564.20/1568.05 c INPROCESSING
1564.20/1568.05 c GARBAGE COLLECT
1564.20/1568.05 c #Conflicts: 410000 | #Constraints: 28546
1564.20/1568.05 c #Conflicts: 411000 | #Constraints: 29546
1564.20/1568.05 c #Conflicts: 412000 | #Constraints: 30546
1564.20/1568.05 c #Conflicts: 413000 | #Constraints: 31546
1564.20/1568.05 c #Conflicts: 414000 | #Constraints: 32546
1564.20/1568.05 c #Conflicts: 415000 | #Constraints: 33546
2325.97/2331.74 c #Conflicts: 416000 | #Constraints: 34546
2325.97/2331.74 c #Conflicts: 417000 | #Constraints: 35546
2325.97/2331.74 c #Conflicts: 418000 | #Constraints: 36546
2325.97/2331.74 c #Conflicts: 419000 | #Constraints: 37546
2325.97/2331.74 c #Conflicts: 420000 | #Constraints: 38546
2325.97/2331.74 c #Conflicts: 421000 | #Constraints: 39546
2325.97/2331.74 c #Conflicts: 422000 | #Constraints: 40546
2325.97/2331.74 c #Conflicts: 423000 | #Constraints: 41546
2325.97/2331.74 c #Conflicts: 424000 | #Constraints: 42546
2325.97/2331.74 c #Conflicts: 425000 | #Constraints: 43546
2325.97/2331.74 c #Conflicts: 426000 | #Constraints: 44546
2325.97/2331.74 c #Conflicts: 427000 | #Constraints: 45546
2325.97/2331.74 c #Conflicts: 428000 | #Constraints: 46546
2325.97/2331.74 c #Conflicts: 429000 | #Constraints: 47546
2325.97/2331.74 c #Conflicts: 430000 | #Constraints: 48546
2325.97/2331.74 c #Conflicts: 431000 | #Constraints: 49546
2325.97/2331.74 c #Conflicts: 432000 | #Constraints: 50546
2325.97/2331.74 c #Conflicts: 433000 | #Constraints: 51546
2325.97/2331.74 c #Conflicts: 434000 | #Constraints: 52546
2325.97/2331.74 c #Conflicts: 435000 | #Constraints: 53546
2325.97/2331.74 c #Conflicts: 436000 | #Constraints: 54546
2325.97/2331.74 c #Conflicts: 437000 | #Constraints: 55546
2325.97/2331.74 c #Conflicts: 438000 | #Constraints: 56546
2325.97/2331.74 c #Conflicts: 439000 | #Constraints: 57546
2325.97/2331.74 c #Conflicts: 440000 | #Constraints: 58546
2325.97/2331.74 c #Conflicts: 441000 | #Constraints: 59546
2325.97/2331.74 c #Conflicts: 442000 | #Constraints: 60546
2325.97/2331.74 c #Conflicts: 443000 | #Constraints: 61546
2325.97/2331.74 c #Conflicts: 444000 | #Constraints: 62546
2325.97/2331.74 c #Conflicts: 445000 | #Constraints: 63546
2325.97/2331.74 c #Conflicts: 446000 | #Constraints: 64546
2325.97/2331.74 c #Conflicts: 447000 | #Constraints: 65546
2325.97/2331.74 c #Conflicts: 448000 | #Constraints: 66546
2325.97/2331.74 c #Conflicts: 449000 | #Constraints: 67546
2325.97/2331.74 c #Conflicts: 450000 | #Constraints: 68546
2325.97/2331.74 c #Conflicts: 451000 | #Constraints: 69546
2325.97/2331.74 c #Conflicts: 452000 | #Constraints: 70546
2325.97/2331.74 c #Conflicts: 453000 | #Constraints: 71546
2325.97/2331.74 c #Conflicts: 454000 | #Constraints: 72546
2325.97/2331.74 c #Conflicts: 455000 | #Constraints: 73546
2325.97/2331.74 c #Conflicts: 456000 | #Constraints: 74546
2325.97/2331.74 c #Conflicts: 457000 | #Constraints: 75546
2325.97/2331.74 c #Conflicts: 458000 | #Constraints: 76546
2325.97/2331.74 c #Conflicts: 459000 | #Constraints: 77546
2325.97/2331.74 c #Conflicts: 460000 | #Constraints: 78546
2325.97/2331.74 c #Conflicts: 461000 | #Constraints: 79546
2325.97/2331.74 c #Conflicts: 462000 | #Constraints: 80546
2325.97/2331.74 c #Conflicts: 463000 | #Constraints: 81546
2325.97/2331.74 c #Conflicts: 464000 | #Constraints: 82546
2325.97/2331.74 c INPROCESSING
2325.97/2331.74 c GARBAGE COLLECT
2325.97/2331.74 c #Conflicts: 465000 | #Constraints: 43268
2325.97/2331.74 c #Conflicts: 466000 | #Constraints: 44268
2325.97/2331.74 c #Conflicts: 467000 | #Constraints: 45268
2325.97/2331.74 c #Conflicts: 468000 | #Constraints: 46268
2325.97/2331.74 c #Conflicts: 469000 | #Constraints: 47268
2325.97/2331.74 c #Conflicts: 470000 | #Constraints: 48268
2325.97/2331.74 c #Conflicts: 471000 | #Constraints: 49268
2325.97/2331.74 c #Conflicts: 472000 | #Constraints: 50268
2325.97/2331.74 c #Conflicts: 473000 | #Constraints: 51268
2325.97/2331.74 c #Conflicts: 474000 | #Constraints: 52268
2325.97/2331.74 c #Conflicts: 475000 | #Constraints: 53268
2325.97/2331.74 c #Conflicts: 476000 | #Constraints: 54268
2325.97/2331.74 c #Conflicts: 477000 | #Constraints: 55268
2325.97/2331.74 c #Conflicts: 478000 | #Constraints: 56268
2325.97/2331.74 c #Conflicts: 479000 | #Constraints: 57268
2325.97/2331.74 c INPROCESSING
2325.97/2331.74 c GARBAGE COLLECT
2325.97/2331.74 c #Conflicts: 480000 | #Constraints: 33444
2325.97/2331.74 c #Conflicts: 481000 | #Constraints: 34444
2325.97/2331.74 c #Conflicts: 482000 | #Constraints: 35444
2325.97/2331.74 c #Conflicts: 483000 | #Constraints: 36444
2325.97/2331.74 c #Conflicts: 484000 | #Constraints: 37444
2325.97/2331.74 c #Conflicts: 485000 | #Constraints: 38444
2325.97/2331.74 c #Conflicts: 486000 | #Constraints: 39444
2325.97/2331.74 c #Conflicts: 487000 | #Constraints: 40444
2325.97/2331.74 c #Conflicts: 488000 | #Constraints: 41444
2325.97/2331.74 c #Conflicts: 489000 | #Constraints: 42444
2325.97/2331.74 c #Conflicts: 490000 | #Constraints: 43444
2325.97/2331.74 c #Conflicts: 491000 | #Constraints: 44444
2325.97/2331.74 c #Conflicts: 492000 | #Constraints: 45444
2325.97/2331.74 c #Conflicts: 493000 | #Constraints: 46444
3235.45/3243.71 c #Conflicts: 494000 | #Constraints: 47444
3235.45/3243.71 c #Conflicts: 495000 | #Constraints: 48444
3235.45/3243.71 c #Conflicts: 496000 | #Constraints: 49444
3235.45/3243.71 c #Conflicts: 497000 | #Constraints: 50444
3235.45/3243.71 c #Conflicts: 498000 | #Constraints: 51444
3235.45/3243.71 c #Conflicts: 499000 | #Constraints: 52444
3235.45/3243.71 c #Conflicts: 500000 | #Constraints: 53444
3235.45/3243.71 c #Conflicts: 501000 | #Constraints: 54444
3235.45/3243.71 c #Conflicts: 502000 | #Constraints: 55444
3235.45/3243.71 c #Conflicts: 503000 | #Constraints: 56444
3235.45/3243.71 c #Conflicts: 504000 | #Constraints: 57444
3235.45/3243.71 c #Conflicts: 505000 | #Constraints: 58444
3235.45/3243.71 c #Conflicts: 506000 | #Constraints: 59444
3235.45/3243.71 c #Conflicts: 507000 | #Constraints: 60444
3235.45/3243.71 c #Conflicts: 508000 | #Constraints: 61444
3235.45/3243.71 c #Conflicts: 509000 | #Constraints: 62444
3235.45/3243.71 c #Conflicts: 510000 | #Constraints: 63444
3235.45/3243.71 c #Conflicts: 511000 | #Constraints: 64444
3235.45/3243.71 c #Conflicts: 512000 | #Constraints: 65444
3235.45/3243.71 c #Conflicts: 513000 | #Constraints: 66444
3235.45/3243.71 c #Conflicts: 514000 | #Constraints: 67444
3235.45/3243.71 c #Conflicts: 515000 | #Constraints: 68444
3235.45/3243.71 c #Conflicts: 516000 | #Constraints: 69444
3235.45/3243.71 c #Conflicts: 517000 | #Constraints: 70444
3235.45/3243.71 c #Conflicts: 518000 | #Constraints: 71444
3235.45/3243.71 c #Conflicts: 519000 | #Constraints: 72444
3235.45/3243.71 c #Conflicts: 520000 | #Constraints: 73444
3235.45/3243.71 c #Conflicts: 521000 | #Constraints: 74444
3235.45/3243.71 c #Conflicts: 522000 | #Constraints: 75444
3235.45/3243.71 c #Conflicts: 523000 | #Constraints: 76444
3235.45/3243.71 c #Conflicts: 524000 | #Constraints: 77444
3235.45/3243.71 c #Conflicts: 525000 | #Constraints: 78444
3235.45/3243.71 c #Conflicts: 526000 | #Constraints: 79444
3235.45/3243.71 c #Conflicts: 527000 | #Constraints: 80444
3235.45/3243.71 c #Conflicts: 528000 | #Constraints: 81444
3235.45/3243.71 c #Conflicts: 529000 | #Constraints: 82444
3235.45/3243.71 c #Conflicts: 530000 | #Constraints: 83444
3235.45/3243.71 c #Conflicts: 531000 | #Constraints: 84444
3235.45/3243.71 c #Conflicts: 532000 | #Constraints: 85444
3235.45/3243.71 c #Conflicts: 533000 | #Constraints: 86444
3235.45/3243.71 c #Conflicts: 534000 | #Constraints: 87444
3235.45/3243.71 c #Conflicts: 535000 | #Constraints: 88444
3235.45/3243.71 c #Conflicts: 536000 | #Constraints: 89444
3235.45/3243.71 c #Conflicts: 537000 | #Constraints: 90444
3235.45/3243.71 c INPROCESSING
3235.45/3243.71 c GARBAGE COLLECT
3235.45/3243.71 c #Conflicts: 538000 | #Constraints: 47213
3235.45/3243.71 c #Conflicts: 539000 | #Constraints: 48213
3235.45/3243.71 c #Conflicts: 540000 | #Constraints: 49213
3235.45/3243.71 c #Conflicts: 541000 | #Constraints: 50213
3235.45/3243.71 c #Conflicts: 542000 | #Constraints: 51213
3235.45/3243.71 c #Conflicts: 543000 | #Constraints: 52213
3235.45/3243.71 c #Conflicts: 544000 | #Constraints: 53213
3235.45/3243.71 c #Conflicts: 545000 | #Constraints: 54213
3235.45/3243.71 c #Conflicts: 546000 | #Constraints: 55213
3235.45/3243.71 c #Conflicts: 547000 | #Constraints: 56213
3235.45/3243.71 c #Conflicts: 548000 | #Constraints: 57213
3235.45/3243.71 c #Conflicts: 549000 | #Constraints: 58213
3235.45/3243.71 c #Conflicts: 550000 | #Constraints: 59213
3235.45/3243.71 c #Conflicts: 551000 | #Constraints: 60213
3235.45/3243.71 c #Conflicts: 552000 | #Constraints: 61213
3235.45/3243.71 c #Conflicts: 553000 | #Constraints: 62213
3235.45/3243.71 c INPROCESSING
3235.45/3243.71 c GARBAGE COLLECT
3235.45/3243.71 c #Conflicts: 554000 | #Constraints: 37742
3235.45/3243.71 c #Conflicts: 555000 | #Constraints: 38742
3235.45/3243.71 c #Conflicts: 556000 | #Constraints: 39742
3235.45/3243.71 c #Conflicts: 557000 | #Constraints: 40742
3235.45/3243.71 c #Conflicts: 558000 | #Constraints: 41742
3235.45/3243.71 c #Conflicts: 559000 | #Constraints: 42742
3235.45/3243.71 c #Conflicts: 560000 | #Constraints: 43742
3235.45/3243.71 c #Conflicts: 561000 | #Constraints: 44742
3235.45/3243.71 c #Conflicts: 562000 | #Constraints: 45742
3235.45/3243.71 c #Conflicts: 563000 | #Constraints: 46742
3235.45/3243.71 c #Conflicts: 564000 | #Constraints: 47742
3235.45/3243.71 c #Conflicts: 565000 | #Constraints: 48742
3235.45/3243.71 c #Conflicts: 566000 | #Constraints: 49742
3235.45/3243.71 c #Conflicts: 567000 | #Constraints: 50742
3235.45/3243.71 c #Conflicts: 568000 | #Constraints: 51742
3235.45/3243.71 c #Conflicts: 569000 | #Constraints: 52742
3235.45/3243.71 c #Conflicts: 570000 | #Constraints: 53742
3600.08/3609.40 c #Conflicts: 571000 | #Constraints: 54742
3600.08/3609.40 c #Conflicts: 572000 | #Constraints: 55742
3600.08/3609.40 c #Conflicts: 573000 | #Constraints: 56742
3600.08/3609.40 c #Conflicts: 574000 | #Constraints: 57742
3600.08/3609.40 c #Conflicts: 575000 | #Constraints: 58742
3600.08/3609.40 c #Conflicts: 576000 | #Constraints: 59742
3600.08/3609.40 c #Conflicts: 577000 | #Constraints: 60742
3600.08/3609.40 c #Conflicts: 578000 | #Constraints: 61742
3600.08/3609.40 c #Conflicts: 579000 | #Constraints: 62742
3600.08/3609.40 c #Conflicts: 580000 | #Constraints: 63742
3600.08/3609.40 c #Conflicts: 581000 | #Constraints: 64742
3600.08/3609.40 c #Conflicts: 582000 | #Constraints: 65742
3600.08/3609.40 c #Conflicts: 583000 | #Constraints: 66742
3600.08/3609.40 c #Conflicts: 584000 | #Constraints: 67742
3600.08/3609.40 c #Conflicts: 585000 | #Constraints: 68742
3600.08/3609.40 c #Conflicts: 586000 | #Constraints: 69742
3600.08/3609.40 c #Conflicts: 587000 | #Constraints: 70742
3600.08/3609.40 c #Conflicts: 588000 | #Constraints: 71742
3600.08/3609.40 c #Conflicts: 589000 | #Constraints: 72742
3600.08/3609.40 c #Conflicts: 590000 | #Constraints: 73742
3600.08/3609.40 c #Conflicts: 591000 | #Constraints: 74742
3600.08/3609.40 c #Conflicts: 592000 | #Constraints: 75742
3600.08/3609.40 c #Conflicts: 593000 | #Constraints: 76742
3600.08/3609.40 c #Conflicts: 594000 | #Constraints: 77742
3600.08/3609.40 c #Conflicts: 595000 | #Constraints: 78742
3600.08/3609.40 c Program interrupted by user.
3600.08/3609.40 c cpu time 3585.76 s
3600.08/3609.40 c deterministic time 377583401264 3.78e+11
3600.08/3609.40 c optimization time 618.518 s
3600.08/3609.40 c total solve time 2967.24 s
3600.08/3609.40 c core-guided solve time 2967.24 s
3600.08/3609.40 c propagation time 3243.2 s
3600.08/3609.40 c conflict analysis time 314.574 s
3600.08/3609.40 c propagations 139605559
3600.08/3609.40 c resolve steps 9867953
3600.08/3609.40 c decisions 10046010
3600.08/3609.40 c conflicts 595899
3600.08/3609.40 c restarts 1276
3600.08/3609.40 c inprocessing phases 49
3600.08/3609.40 c input clauses 1000
3600.08/3609.40 c input cardinalities 788
3600.08/3609.40 c input general constraints 1287
3600.08/3609.40 c input average constraint length 86.14
3600.08/3609.40 c input average constraint degree 24.55
3600.08/3609.40 c learned clauses 76660
3600.08/3609.40 c learned cardinalities 138
3600.08/3609.40 c learned general constraints 519204
3600.08/3609.40 c learned average constraint length 224.17
3600.08/3609.40 c learned average constraint degree 9733409.84
3600.08/3609.40 c watched constraints 419051
3600.08/3609.40 c counting constraints 101440
3600.08/3609.40 c gcd simplifications 18132
3600.08/3609.40 c detected cardinalities 60
3600.08/3609.40 c weakened non-implied lits 29591555
3600.08/3609.40 c weakened non-implying lits 24573
3600.08/3609.40 c original variables 949
3600.08/3609.40 c clausal propagations 24274587
3600.08/3609.40 c cardinality propagations 5735189
3600.08/3609.40 c watched propagations 15803297
3600.08/3609.40 c counting propagations 93158205
3600.08/3609.40 c watch lookups 73874092653
3600.08/3609.40 c watch backjump lookups 70525373125
3600.08/3609.40 c watch checks 210082848136
3600.08/3609.40 c propagation checks 22288254347
3600.08/3609.40 c constraint additions 512934481
3600.08/3609.40 c trail pops 150246952
3600.08/3609.40 c formula constraints 1248
3600.08/3609.40 c learned constraints 596002
3600.08/3609.40 c bound constraints 293
3600.08/3609.40 c core-guided constraints 1534
3600.08/3609.40 c encountered formula constraints 3425383
3600.08/3609.40 c encountered learned constraints 5909565
3600.08/3609.40 c encountered bound constraints 157
3600.08/3609.40 c encountered core-guided constraints 1128747
3600.08/3609.40 c LP total time 0 s
3600.08/3609.40 c LP solve time 0 s
3600.08/3609.40 c LP constraints added 0
3600.08/3609.40 c LP constraints removed 0
3600.08/3609.40 c LP pivots internal 0
3600.08/3609.40 c LP pivots root 0
3600.08/3609.40 c LP calls 0
3600.08/3609.40 c LP optimalities 0
3600.08/3609.40 c LP no pivot count 0
3600.08/3609.40 c LP infeasibilities 0
3600.08/3609.40 c LP valid Farkas constraints 0
3600.08/3609.40 c LP learned Farkas constraints 0
3600.08/3609.40 c LP basis resets 0
3600.08/3609.40 c LP cycling count 0
3600.08/3609.40 c LP singular count 0
3600.08/3609.40 c LP no primal count 0
3600.08/3609.40 c LP no farkas count 0
3600.08/3609.40 c LP other issue count 0
3600.08/3609.40 c LP Gomory cuts 0
3600.08/3609.40 c LP learned cuts 0
3600.08/3609.40 c LP deleted cuts 0
3600.08/3609.40 c LP encountered Gomory constraints 0
3600.08/3609.40 c LP encountered Farkas constraints 0
3600.08/3609.40 c LP encountered learned Farkas constraints 0
3600.08/3609.40 c CG auxiliary variables introduced 617
3600.08/3609.40 c CG solutions found 5
3600.08/3609.40 c CG cores constructed 244
3600.08/3609.40 c CG core cardinality constraints returned 0
3600.08/3609.40 c CG unit cores 0
3600.08/3609.40 c CG single cores 244
3600.08/3609.40 c CG blocks removed during cardinality reduction 0
3600.08/3609.40 c CG first core best 0
3600.08/3609.40 c CG decision core best 0
3600.08/3609.40 c CG core reduction tie 0
3600.08/3609.40 c CG core degree average 1.00
3600.08/3609.40 c CG core slack average 4.79
3600.08/3609.40 c CG exhausted 0
3600.08/3609.40 c CG exhaust time 141.957 s
3600.08/3609.40 c CG trimmed 7
3600.08/3609.40 c CG trim time 0.026332 s
3600.08/3609.40 c CG minimized 0
3600.08/3609.40 c CG minimize time 0 s
3600.08/3609.40 c CG am1 prop time 0.053257 s
3600.08/3609.40 c CG # am1s reformulated 38
3600.08/3609.40 c CG lower bound derived from am1s 38
3600.08/3609.40 c CG # clausal cores 244
3600.08/3609.40 c CG # cardinality cores 0
3600.08/3609.40 c CG # pb cores 0
3600.08/3609.40 c CG # pb reforms 0
3600.08/3609.40 c CG # cores discarded because of pb reform 0
3600.08/3609.40 d LOWERBOUND -178
3600.08/3609.40 d NCORES 244
3600.08/3609.40 d NPBCORES 0
3600.08/3609.40 d NPBREFORM 0
3600.08/3609.40 d NTRIMMED 7
3600.08/3609.40 d NEXHAUSTED 0
3600.08/3609.40 d NAM1S 38
3600.08/3609.40 d AM1LB 38
3600.08/3609.40 o -157
3600.08/3609.40 s SATISFIABLE
3600.08/3609.40 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 x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 x943 x944 -x945 -x946 -x947 -x948 -x949
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: 63708 MiB (62627 MiB free)
memory of node 1: 64465 MiB (63331 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508868-1751513088/watcher-4508868-1751513088 -o /tmp/evaluation-result-4508868-1751513088/solver-4508868-1751513088 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751505842-85267 --watchdog 3760 pb-oll-rs HOME/instance-4508868-1751513088.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=86441, runsolver pid=86438
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.07 4.13 4.10 6/265 86442
/proc/meminfo: memFree=128977924/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=21708 memory=11900 CPUtime=0.09 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 786 0 0 0 8 1 0 0 20 0 1 0 66986326 22228992 2975 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 5427 2975 1344 243 0 1676 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21708 KiB
Current children cumulated memory: 11900 KiB
[startup+0.205236 s]*
/proc/loadavg: 4.07 4.13 4.10 5/265 86442
/proc/meminfo: memFree=128974144/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=24440 memory=14460 CPUtime=0.2 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 1444 0 0 0 18 2 0 0 20 0 1 0 66986326 25026560 3615 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 6110 3615 1344 243 0 2359 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 24440 KiB
Current children cumulated memory: 14460 KiB
[startup+0.305231 s]*
/proc/loadavg: 4.07 4.13 4.10 6/265 86442
/proc/meminfo: memFree=128974144/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=28924 memory=17276 CPUtime=0.29 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 2156 0 0 0 27 2 0 0 20 0 1 0 66986326 29618176 4319 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 7231 4319 1344 243 0 3480 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 28924 KiB
Current children cumulated memory: 17276 KiB
[startup+0.700126 s]
/proc/loadavg: 4.07 4.13 4.10 5/265 86442
/proc/meminfo: memFree=128954424/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=39408 memory=27736 CPUtime=0.68 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 4259 0 0 0 65 3 0 0 20 0 1 0 66986326 40353792 6934 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 9852 6934 1344 243 0 6101 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39408 KiB
Current children cumulated memory: 27736 KiB
[startup+1.50012 s]
/proc/loadavg: 4.07 4.13 4.10 6/265 86442
/proc/meminfo: memFree=128932436/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=59308 memory=40280 CPUtime=1.48 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 7388 0 0 0 143 5 0 0 20 0 1 0 66986326 60731392 10070 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 14827 10070 1344 243 0 11076 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 59308 KiB
Current children cumulated memory: 40280 KiB
[startup+3.10553 s]
/proc/loadavg: 4.07 4.13 4.10 6/265 86442
/proc/meminfo: memFree=128892016/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=64120 memory=50152 CPUtime=3.09 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 8838 0 0 0 300 9 0 0 20 0 1 0 66986326 65658880 12538 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 16030 12538 1344 243 0 12279 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 64120 KiB
Current children cumulated memory: 50152 KiB
[startup+6.30015 s]
/proc/loadavg: 4.06 4.12 4.10 6/265 86442
/proc/meminfo: memFree=128857296/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=84476 memory=59368 CPUtime=6.27 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 11154 0 0 0 612 15 0 0 20 0 1 0 66986326 86503424 14842 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 21119 14842 1344 243 0 17368 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 84476 KiB
Current children cumulated memory: 59368 KiB
[startup+12.7001 s]
/proc/loadavg: 4.14 4.14 4.11 6/266 86443
/proc/meminfo: memFree=128780988/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=90360 memory=69880 CPUtime=12.65 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 12764 0 0 0 1241 24 0 0 20 0 1 0 66986326 92528640 17470 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 22590 17470 1344 243 0 18839 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 90360 KiB
Current children cumulated memory: 69880 KiB
[startup+25.5001 s]
/proc/loadavg: 4.12 4.13 4.10 6/266 86444
/proc/meminfo: memFree=128589364/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=94468 memory=77612 CPUtime=25.42 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 13667 0 0 0 2503 39 0 0 20 0 1 0 66986326 96735232 19403 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 23617 19403 1344 243 0 19866 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 94468 KiB
Current children cumulated memory: 77612 KiB
[startup+51.1056 s]
/proc/loadavg: 4.07 4.12 4.10 6/266 86444
/proc/meminfo: memFree=128240204/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=128548 memory=99952 CPUtime=50.97 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 17219 0 0 0 5028 69 0 0 20 0 1 0 66986326 131633152 24988 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 32137 24988 1344 243 0 28386 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 128548 KiB
Current children cumulated memory: 99952 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.10 6/266 86446
/proc/meminfo: memFree=127985984/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=176680 memory=125924 CPUtime=102.03 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 21153 0 0 0 10086 117 0 0 20 0 1 0 66986326 180920320 31481 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 44170 31481 1344 243 0 40419 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 176680 KiB
Current children cumulated memory: 125924 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/266 86451
/proc/meminfo: memFree=127697660/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=182312 memory=136300 CPUtime=161.88 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 22747 0 0 0 16029 159 0 0 20 0 1 0 66986326 186687488 34075 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 45578 34075 1344 243 0 41827 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 182312 KiB
Current children cumulated memory: 136300 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.10 4.09 6/266 86497
/proc/meminfo: memFree=127373084/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=189184 memory=142304 CPUtime=221.73 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 24380 0 0 0 21952 221 0 0 20 0 1 0 66986326 193724416 35576 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 47296 35576 1344 243 0 43545 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 189184 KiB
Current children cumulated memory: 142304 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/264 86499
/proc/meminfo: memFree=127268468/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=194652 memory=146896 CPUtime=281.59 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 25649 0 0 0 27861 298 0 0 20 0 1 0 66986326 199323648 36724 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 48663 36724 1344 243 0 44912 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 194652 KiB
Current children cumulated memory: 146896 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/263 86501
/proc/meminfo: memFree=127174612/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=204548 memory=155088 CPUtime=341.46 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 27699 0 0 0 33805 341 0 0 20 0 1 0 66986326 209457152 38772 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 51137 38772 1344 243 0 47386 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 204548 KiB
Current children cumulated memory: 155088 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/263 86503
/proc/meminfo: memFree=126987996/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=211836 memory=161232 CPUtime=401.31 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 29217 0 0 0 39768 363 0 0 20 0 1 0 66986326 216920064 40308 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 52959 40308 1344 243 0 49208 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 211836 KiB
Current children cumulated memory: 161232 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/263 86506
/proc/meminfo: memFree=126934264/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=216372 memory=165456 CPUtime=461.17 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 30287 0 0 0 45732 385 0 0 20 0 1 0 66986326 221564928 41364 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 54093 41364 1344 243 0 50342 0
Current children cumulated CPU time: 461.17 s
################
# More data... #
################
Current children cumulated memory: 225380 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/265 86640
/proc/meminfo: memFree=123285476/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=250056 memory=228952 CPUtime=2855.15 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 38252 0 0 0 284298 1217 0 0 20 0 1 0 66986326 256057344 57238 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 62514 57238 1344 243 0 58763 0
Current children cumulated CPU time: 2855.15 s
Current children cumulated vsize: 250056 KiB
Current children cumulated memory: 228952 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/265 86642
/proc/meminfo: memFree=123209868/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=252668 memory=234564 CPUtime=2914.99 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 38639 0 0 0 290272 1227 0 0 20 0 1 0 66986326 258732032 58641 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 63167 58641 1344 243 0 59416 0
Current children cumulated CPU time: 2914.99 s
Current children cumulated vsize: 252668 KiB
Current children cumulated memory: 234564 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/264 86649
/proc/meminfo: memFree=123210968/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=304036 memory=236044 CPUtime=2974.82 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 39319 0 0 0 296242 1240 0 0 20 0 1 0 66986326 311332864 59011 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 76009 59011 1344 243 0 72258 0
Current children cumulated CPU time: 2974.82 s
Current children cumulated vsize: 304036 KiB
Current children cumulated memory: 236044 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/263 86651
/proc/meminfo: memFree=123201924/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=304036 memory=236044 CPUtime=3034.64 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 39319 0 0 0 302203 1261 0 0 20 0 1 0 66986326 311332864 59011 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 76009 59011 1344 243 0 72258 0
Current children cumulated CPU time: 3034.64 s
Current children cumulated vsize: 304036 KiB
Current children cumulated memory: 236044 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/263 86653
/proc/meminfo: memFree=123206680/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=304036 memory=236044 CPUtime=3094.47 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 39319 0 0 0 308168 1279 0 0 20 0 1 0 66986326 311332864 59011 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 76009 59011 1344 243 0 72258 0
Current children cumulated CPU time: 3094.47 s
Current children cumulated vsize: 304036 KiB
Current children cumulated memory: 236044 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/263 86655
/proc/meminfo: memFree=123200640/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=304524 memory=236300 CPUtime=3154.29 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 39409 0 0 0 314125 1304 0 0 20 0 1 0 66986326 311832576 59075 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 76131 59075 1344 243 0 72380 0
Current children cumulated CPU time: 3154.29 s
Current children cumulated vsize: 304524 KiB
Current children cumulated memory: 236300 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/263 86659
/proc/meminfo: memFree=123201628/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=304524 memory=236300 CPUtime=3214.12 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 39409 0 0 0 320083 1329 0 0 20 0 1 0 66986326 311832576 59075 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 76131 59075 1344 243 0 72380 0
Current children cumulated CPU time: 3214.12 s
Current children cumulated vsize: 304524 KiB
Current children cumulated memory: 236300 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/264 86663
/proc/meminfo: memFree=123187180/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=304524 memory=236300 CPUtime=3273.94 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 39409 0 0 0 326044 1350 0 0 20 0 1 0 66986326 311832576 59075 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 76131 59075 1344 243 0 72380 0
Current children cumulated CPU time: 3273.94 s
Current children cumulated vsize: 304524 KiB
Current children cumulated memory: 236300 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/266 86668
/proc/meminfo: memFree=123173320/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=304524 memory=236300 CPUtime=3333.77 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 39409 0 0 0 332009 1368 0 0 20 0 1 0 66986326 311832576 59075 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 76131 59075 1344 243 0 72380 0
Current children cumulated CPU time: 3333.77 s
Current children cumulated vsize: 304524 KiB
Current children cumulated memory: 236300 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/266 86670
/proc/meminfo: memFree=123079756/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=304524 memory=236300 CPUtime=3393.59 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 39409 0 0 0 337972 1387 0 0 20 0 1 0 66986326 311832576 59075 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 76131 59075 1344 243 0 72380 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 304524 KiB
Current children cumulated memory: 236300 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/266 86671
/proc/meminfo: memFree=123062740/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=304524 memory=236300 CPUtime=3453.42 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 39409 0 0 0 343940 1402 0 0 20 0 1 0 66986326 311832576 59075 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 76131 59075 1344 243 0 72380 0
Current children cumulated CPU time: 3453.42 s
Current children cumulated vsize: 304524 KiB
Current children cumulated memory: 236300 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/266 86673
/proc/meminfo: memFree=123054672/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=304524 memory=236300 CPUtime=3513.24 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 39409 0 0 0 349909 1415 0 0 20 0 1 0 66986326 311832576 59075 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 76131 59075 1344 243 0 72380 0
Current children cumulated CPU time: 3513.24 s
Current children cumulated vsize: 304524 KiB
Current children cumulated memory: 236300 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/267 86680
/proc/meminfo: memFree=123060660/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=304524 memory=236300 CPUtime=3573.06 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 39409 0 0 0 355881 1425 0 0 20 0 1 0 66986326 311832576 59075 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 76131 59075 1344 243 0 72380 0
Current children cumulated CPU time: 3573.06 s
Current children cumulated vsize: 304524 KiB
Current children cumulated memory: 236300 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 3.60 3.98 4.05 3/253 86743
/proc/meminfo: memFree=129217160/131250000 swapFree=33010160/33010684
[pid=86441] ppid=86438 vsize=304524 memory=236300 CPUtime=3600.08 cores=4,6
/proc/86441/stat : 86441 (pb-oll-rs) R 86438 86441 85256 0 -1 4194304 39409 0 0 0 358575 1433 0 0 20 0 1 0 66986326 311832576 59075 18446744073709551615 4218880 5211445 140727045512736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 32874496 140727045519772 140727045519849 140727045519849 140727045525451 0
/proc/86441/statm: 76131 59075 1344 243 0 72380 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 304524 KiB
Current children cumulated memory: 236300 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 86441 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.76 s, system=14.3375 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.41
CPU time (s): 3600.1
CPU user time (s): 3585.76
CPU system time (s): 14.3375
CPU usage (%): 99.742
Max. virtual memory (cumulated for all children) (KiB): 305564
Max. memory (cumulated for all children) (KiB): 237252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.76
system time used= 14.3375
maximum resident set size= 237252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39425
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= 155
involuntary context switches= 3148
# summary of solver processes directly reported to runsolver:
# pid: 86441
# total CPU time (s): 3600.1
# total CPU user time (s): 3585.76
# total CPU system time (s): 14.3375
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.57865 second user time and 16.4956 second system time
The end
Begin job on nodeC016 at 2025-07-03 05:24:48
IDJOB=4508868
IDBENCH=158516
IDSOLVER=3345
FILE ID=nodeC016/4508868-1751513088
RUNJOBID= nodeC016-1751505842-85267
SLURM_JOB_ID= 9598598
Free space on /tmp= 432864 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament26.lin.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508868-1751513088/watcher-4508868-1751513088 -o /tmp/evaluation-result-4508868-1751513088/solver-4508868-1751513088 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751505842-85267 --watchdog 3760 pb-oll-rs HOME/instance-4508868-1751513088.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 21e597bc04bc5fa012b59bdeb9fb9987
RANDOM SEED=2107038135
nodeC016 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.814
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.48
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.754
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
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 : 3691.289
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.48
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 : 3748.601
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.739
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.739
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.48
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 : 3600.596
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.48
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 : 3612.417
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128982020 kB
MemAvailable: 129067228 kB
Buffers: 2144 kB
Cached: 853996 kB
SwapCached: 28 kB
Active: 1374976 kB
Inactive: 234212 kB
Active(anon): 765808 kB
Inactive(anon): 5288 kB
Active(file): 609168 kB
Inactive(file): 228924 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 35324 kB
Writeback: 16 kB
AnonPages: 756184 kB
Mapped: 108028 kB
Shmem: 18044 kB
KReclaimable: 172712 kB
Slab: 264816 kB
SReclaimable: 172712 kB
SUnreclaim: 92104 kB
KernelStack: 4352 kB
PageTables: 4676 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1178020 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 268288 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432892 MiB
End job on nodeC016 at 2025-07-03 06:24:57