0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.09/0.13 c [STEP] preprocessing with Papilo
0.09/0.16 c [STEP] solving with SCIP
299.32/300.23 c [STEP] preprocessing done, loading into solver
299.32/300.26 c [STEP] solving
299.32/300.26 c #variables 15279 #constraints 2462
299.32/300.26 c SMALL=int, LARGE=long long
299.32/300.26 d SCIPUB 686
299.32/300.26 c bounds - >= 0 @ 299.255
299.32/300.26 c stratification level: 1
300.52/301.41 c bounds - >= 4 @ 299.397
300.52/301.41 c bounds - >= 5 @ 299.398
300.52/301.41 c bounds - >= 7 @ 299.399
300.52/301.41 c bounds - >= 9 @ 299.403
300.52/301.41 c bounds - >= 11 @ 299.405
300.52/301.41 c bounds - >= 13 @ 299.407
300.52/301.41 c bounds - >= 15 @ 299.41
300.52/301.41 c bounds - >= 17 @ 299.411
300.52/301.41 c bounds - >= 19 @ 299.415
300.52/301.41 c bounds - >= 21 @ 299.416
300.52/301.41 c bounds - >= 23 @ 299.418
300.52/301.41 c bounds - >= 24 @ 299.421
300.52/301.41 c bounds - >= 25 @ 299.424
300.52/301.41 c bounds - >= 27 @ 299.426
300.52/301.41 c bounds - >= 29 @ 299.428
300.52/301.41 c bounds - >= 31 @ 299.431
300.52/301.41 c bounds - >= 33 @ 299.433
300.52/301.41 c bounds - >= 35 @ 299.435
300.52/301.41 c bounds - >= 37 @ 299.438
300.52/301.41 c bounds - >= 38 @ 299.44
300.52/301.41 c bounds - >= 40 @ 299.443
300.52/301.41 c bounds - >= 42 @ 299.447
300.52/301.41 c bounds - >= 43 @ 299.45
300.52/301.41 c bounds - >= 44 @ 299.453
300.52/301.41 c bounds - >= 45 @ 299.455
300.52/301.41 c bounds - >= 46 @ 299.458
300.52/301.41 c bounds - >= 48 @ 299.461
300.52/301.41 c bounds - >= 50 @ 299.463
300.52/301.41 c bounds - >= 52 @ 299.466
300.52/301.41 c bounds - >= 53 @ 299.468
300.52/301.41 c bounds - >= 54 @ 299.473
300.52/301.41 c bounds - >= 56 @ 299.475
300.52/301.41 c bounds - >= 58 @ 299.478
300.52/301.41 c bounds - >= 60 @ 299.481
300.52/301.41 c bounds - >= 62 @ 299.483
300.52/301.41 c bounds - >= 64 @ 299.487
300.52/301.41 c bounds - >= 66 @ 299.492
300.52/301.41 c bounds - >= 67 @ 299.496
300.52/301.41 c bounds - >= 69 @ 299.5
300.52/301.41 c bounds - >= 70 @ 299.502
300.52/301.41 c bounds - >= 72 @ 299.504
300.52/301.41 c bounds - >= 74 @ 299.506
300.52/301.41 c bounds - >= 75 @ 299.51
300.52/301.41 c bounds - >= 76 @ 299.512
300.52/301.41 c bounds - >= 78 @ 299.515
300.52/301.41 c bounds - >= 80 @ 299.517
300.52/301.41 c bounds - >= 82 @ 299.519
300.52/301.41 c bounds - >= 84 @ 299.522
300.52/301.41 c bounds - >= 85 @ 299.524
300.52/301.41 c bounds - >= 87 @ 299.528
300.52/301.41 c bounds - >= 89 @ 299.529
300.52/301.41 c bounds - >= 90 @ 299.533
300.52/301.41 c bounds - >= 92 @ 299.535
300.52/301.41 c bounds - >= 93 @ 299.54
300.52/301.41 c bounds - >= 95 @ 299.542
300.52/301.41 c bounds - >= 97 @ 299.546
300.52/301.41 c bounds - >= 98 @ 299.548
300.52/301.41 c bounds - >= 100 @ 299.551
300.52/301.41 c bounds - >= 102 @ 299.553
300.52/301.41 c bounds - >= 104 @ 299.556
300.52/301.41 c bounds - >= 106 @ 299.558
300.52/301.41 c bounds - >= 108 @ 299.561
300.52/301.41 c bounds - >= 110 @ 299.565
300.52/301.41 c bounds - >= 111 @ 299.567
300.52/301.41 c bounds - >= 112 @ 299.57
300.52/301.41 c bounds - >= 114 @ 299.573
300.52/301.41 c bounds - >= 116 @ 299.574
300.52/301.41 c bounds - >= 118 @ 299.577
300.52/301.41 c bounds - >= 120 @ 299.58
300.52/301.41 c bounds - >= 122 @ 299.583
300.52/301.41 c bounds - >= 124 @ 299.587
300.52/301.41 c bounds - >= 126 @ 299.59
300.52/301.41 c bounds - >= 128 @ 299.593
300.52/301.41 c bounds - >= 130 @ 299.596
300.52/301.41 c bounds - >= 132 @ 299.598
300.52/301.41 c bounds - >= 134 @ 299.603
300.52/301.41 c bounds - >= 136 @ 299.606
300.52/301.41 c bounds - >= 138 @ 299.611
300.52/301.41 c bounds - >= 139 @ 299.613
300.52/301.41 c bounds - >= 141 @ 299.617
300.52/301.41 c bounds - >= 143 @ 299.622
300.52/301.41 c bounds - >= 145 @ 299.625
300.52/301.41 c bounds - >= 147 @ 299.629
300.52/301.41 c bounds - >= 148 @ 299.631
300.52/301.41 c bounds - >= 150 @ 299.633
300.52/301.41 c bounds - >= 152 @ 299.637
300.52/301.41 c bounds - >= 154 @ 299.64
300.52/301.41 c bounds - >= 156 @ 299.642
300.52/301.41 c bounds - >= 158 @ 299.645
300.52/301.41 c bounds - >= 159 @ 299.649
300.52/301.41 c bounds - >= 161 @ 299.652
300.52/301.41 c bounds - >= 163 @ 299.655
300.52/301.41 c bounds - >= 164 @ 299.657
300.52/301.41 c bounds - >= 166 @ 299.661
300.52/301.41 c bounds - >= 168 @ 299.664
300.52/301.41 c bounds - >= 170 @ 299.669
300.52/301.41 c bounds - >= 172 @ 299.672
300.52/301.41 c bounds - >= 173 @ 299.676
300.52/301.41 c bounds - >= 175 @ 299.679
300.52/301.41 c bounds - >= 177 @ 299.682
300.52/301.41 c bounds - >= 178 @ 299.685
300.52/301.41 c bounds - >= 180 @ 299.688
300.52/301.41 c bounds - >= 182 @ 299.692
300.52/301.41 c bounds - >= 184 @ 299.696
300.52/301.41 c bounds - >= 186 @ 299.699
300.52/301.41 c bounds - >= 187 @ 299.702
300.52/301.41 c bounds - >= 188 @ 299.707
300.52/301.41 c bounds - >= 189 @ 299.71
300.52/301.41 c bounds - >= 190 @ 299.714
300.52/301.41 c bounds - >= 192 @ 299.716
300.52/301.41 c bounds - >= 194 @ 299.721
300.52/301.41 c bounds - >= 196 @ 299.724
300.52/301.41 c bounds - >= 198 @ 299.727
300.52/301.41 c bounds - >= 200 @ 299.73
300.52/301.41 c bounds - >= 202 @ 299.733
300.52/301.41 c bounds - >= 203 @ 299.737
300.52/301.41 c bounds - >= 205 @ 299.74
300.52/301.41 c bounds - >= 206 @ 299.742
300.52/301.41 c bounds - >= 208 @ 299.748
300.52/301.41 c bounds - >= 210 @ 299.752
300.52/301.41 c bounds - >= 212 @ 299.754
300.52/301.41 c bounds - >= 214 @ 299.758
300.52/301.41 c bounds - >= 216 @ 299.759
300.52/301.41 c bounds - >= 218 @ 299.764
300.52/301.41 c bounds - >= 220 @ 299.767
300.52/301.41 c bounds - >= 221 @ 299.769
300.52/301.41 c bounds - >= 222 @ 299.771
300.52/301.41 c bounds - >= 223 @ 299.774
300.52/301.41 c bounds - >= 225 @ 299.78
300.52/301.41 c bounds - >= 227 @ 299.784
300.52/301.41 c bounds - >= 229 @ 299.786
300.52/301.41 c bounds - >= 231 @ 299.791
300.52/301.41 c bounds - >= 232 @ 299.793
300.52/301.41 c bounds - >= 234 @ 299.797
300.52/301.41 c bounds - >= 236 @ 299.8
300.52/301.41 c bounds - >= 238 @ 299.804
300.52/301.41 c bounds - >= 240 @ 299.809
300.52/301.41 c bounds - >= 242 @ 299.813
300.52/301.41 c bounds - >= 244 @ 299.816
300.52/301.41 c bounds - >= 246 @ 299.82
300.52/301.41 c bounds - >= 248 @ 299.823
300.52/301.41 c bounds - >= 250 @ 299.825
300.52/301.41 c bounds - >= 252 @ 299.828
300.52/301.41 c bounds - >= 254 @ 299.832
300.52/301.41 c bounds - >= 256 @ 299.835
300.52/301.41 c bounds - >= 258 @ 299.839
300.52/301.41 c bounds - >= 260 @ 299.842
300.52/301.41 c bounds - >= 261 @ 299.844
300.52/301.41 c bounds - >= 263 @ 299.849
300.52/301.41 c bounds - >= 265 @ 299.851
301.72/302.69 c bounds - >= 266 @ 299.853
301.72/302.69 c bounds - >= 268 @ 299.858
301.72/302.69 c bounds - >= 269 @ 299.863
301.72/302.69 c bounds - >= 270 @ 299.867
301.72/302.69 c bounds - >= 272 @ 299.873
301.72/302.69 c bounds - >= 274 @ 299.874
301.72/302.69 c bounds - >= 275 @ 299.879
301.72/302.69 c bounds - >= 277 @ 299.881
301.72/302.69 c bounds - >= 279 @ 299.886
301.72/302.69 c bounds - >= 281 @ 299.889
301.72/302.69 c bounds - >= 283 @ 299.892
301.72/302.69 c bounds - >= 285 @ 299.896
301.72/302.69 c bounds - >= 287 @ 299.898
301.72/302.69 c bounds - >= 289 @ 299.902
301.72/302.69 c bounds - >= 291 @ 299.907
301.72/302.69 c bounds - >= 293 @ 299.91
301.72/302.69 c bounds - >= 294 @ 299.913
301.72/302.69 c bounds - >= 296 @ 299.918
301.72/302.69 c bounds - >= 297 @ 299.923
301.72/302.69 c bounds - >= 299 @ 299.927
301.72/302.69 c bounds - >= 300 @ 299.932
301.72/302.69 c bounds - >= 302 @ 299.936
301.72/302.69 c bounds - >= 303 @ 299.942
301.72/302.69 c bounds - >= 304 @ 299.946
301.72/302.69 c bounds - >= 306 @ 299.951
301.72/302.69 c bounds - >= 308 @ 299.953
301.72/302.69 c bounds - >= 310 @ 299.955
301.72/302.69 c bounds - >= 312 @ 299.958
301.72/302.69 c bounds - >= 314 @ 299.961
301.72/302.69 c bounds - >= 316 @ 299.966
301.72/302.69 c bounds - >= 317 @ 299.968
301.72/302.69 c bounds - >= 319 @ 299.971
301.72/302.69 c bounds - >= 321 @ 299.972
301.72/302.69 c bounds - >= 323 @ 299.977
301.72/302.69 c bounds - >= 324 @ 299.982
301.72/302.69 c bounds - >= 326 @ 299.986
301.72/302.69 c bounds - >= 328 @ 299.989
301.72/302.69 c bounds - >= 330 @ 299.993
301.72/302.69 c bounds - >= 332 @ 299.995
301.72/302.69 c bounds - >= 333 @ 299.998
301.72/302.69 c bounds - >= 335 @ 300
301.72/302.69 c bounds - >= 337 @ 300.004
301.72/302.69 c bounds - >= 338 @ 300.008
301.72/302.69 c bounds - >= 339 @ 300.01
301.72/302.69 c bounds - >= 340 @ 300.014
301.72/302.69 c bounds - >= 342 @ 300.019
301.72/302.69 c bounds - >= 344 @ 300.024
301.72/302.69 c bounds - >= 346 @ 300.028
301.72/302.69 c bounds - >= 347 @ 300.032
301.72/302.69 c bounds - >= 349 @ 300.037
301.72/302.69 c bounds - >= 351 @ 300.04
301.72/302.69 c bounds - >= 352 @ 300.044
301.72/302.69 c bounds - >= 353 @ 300.046
301.72/302.69 c bounds - >= 354 @ 300.051
301.72/302.69 c bounds - >= 355 @ 300.054
301.72/302.69 c bounds - >= 356 @ 300.059
301.72/302.69 c bounds - >= 357 @ 300.061
301.72/302.69 c bounds - >= 358 @ 300.062
301.72/302.69 c bounds - >= 359 @ 300.066
301.72/302.69 c bounds - >= 360 @ 300.071
301.72/302.69 c bounds - >= 361 @ 300.075
301.72/302.69 c bounds - >= 362 @ 300.08
301.72/302.69 c bounds - >= 363 @ 300.084
301.72/302.69 c bounds - >= 364 @ 300.086
301.72/302.69 c bounds - >= 365 @ 300.09
301.72/302.69 c bounds - >= 366 @ 300.095
301.72/302.69 c bounds - >= 367 @ 300.098
301.72/302.69 c bounds - >= 368 @ 300.101
301.72/302.69 c bounds - >= 369 @ 300.104
301.72/302.69 c bounds - >= 370 @ 300.109
301.72/302.69 c bounds - >= 371 @ 300.113
301.72/302.69 c bounds - >= 372 @ 300.117
301.72/302.69 c bounds - >= 373 @ 300.122
301.72/302.69 c bounds - >= 374 @ 300.126
301.72/302.69 c bounds - >= 375 @ 300.128
301.72/302.69 c bounds - >= 376 @ 300.133
301.72/302.69 c bounds - >= 377 @ 300.138
301.72/302.69 c bounds - >= 378 @ 300.142
301.72/302.69 c bounds - >= 379 @ 300.145
301.72/302.69 c bounds - >= 380 @ 300.148
301.72/302.69 c bounds - >= 381 @ 300.152
301.72/302.69 c bounds - >= 382 @ 300.155
301.72/302.69 c bounds - >= 383 @ 300.157
301.72/302.69 c bounds - >= 384 @ 300.163
301.72/302.69 c bounds - >= 385 @ 300.166
301.72/302.69 c bounds - >= 386 @ 300.171
301.72/302.69 c bounds - >= 387 @ 300.175
301.72/302.69 c bounds - >= 388 @ 300.18
301.72/302.69 c bounds - >= 389 @ 300.182
301.72/302.69 c bounds - >= 390 @ 300.184
301.72/302.69 c bounds - >= 391 @ 300.187
301.72/302.69 c bounds - >= 392 @ 300.193
301.72/302.69 c bounds - >= 393 @ 300.194
301.72/302.69 c bounds - >= 394 @ 300.199
301.72/302.69 c bounds - >= 395 @ 300.201
301.72/302.69 c bounds - >= 396 @ 300.206
301.72/302.69 c bounds - >= 397 @ 300.21
301.72/302.69 c bounds - >= 398 @ 300.214
301.72/302.69 c bounds - >= 399 @ 300.218
301.72/302.69 c bounds - >= 400 @ 300.222
301.72/302.69 c bounds - >= 401 @ 300.226
301.72/302.69 c bounds - >= 402 @ 300.23
301.72/302.69 c bounds - >= 403 @ 300.235
301.72/302.69 c bounds - >= 404 @ 300.238
301.72/302.69 c bounds - >= 405 @ 300.242
301.72/302.69 c bounds - >= 406 @ 300.245
301.72/302.69 c bounds - >= 407 @ 300.25
301.72/302.69 c bounds - >= 408 @ 300.252
301.72/302.69 c bounds - >= 409 @ 300.256
301.72/302.69 c bounds - >= 410 @ 300.257
301.72/302.69 c bounds - >= 411 @ 300.261
301.72/302.69 c bounds - >= 412 @ 300.264
301.72/302.69 c bounds - >= 413 @ 300.267
301.72/302.69 c bounds - >= 414 @ 300.271
301.72/302.69 c bounds - >= 415 @ 300.275
301.72/302.69 c bounds - >= 416 @ 300.277
301.72/302.69 c bounds - >= 417 @ 300.279
301.72/302.69 c bounds - >= 418 @ 300.286
301.72/302.69 c bounds - >= 419 @ 300.29
301.72/302.69 c bounds - >= 420 @ 300.295
301.72/302.69 c bounds - >= 421 @ 300.299
301.72/302.69 c bounds - >= 422 @ 300.301
301.72/302.69 c bounds - >= 423 @ 300.305
301.72/302.69 c bounds - >= 424 @ 300.31
301.72/302.69 c bounds - >= 425 @ 300.314
301.72/302.69 c bounds - >= 426 @ 300.316
301.72/302.69 c bounds - >= 427 @ 300.32
301.72/302.69 c bounds - >= 428 @ 300.323
301.72/302.69 c bounds - >= 429 @ 300.328
301.72/302.69 c bounds - >= 430 @ 300.332
301.72/302.69 c bounds - >= 431 @ 300.335
301.72/302.69 c bounds - >= 432 @ 300.338
301.72/302.69 c bounds - >= 433 @ 300.345
301.72/302.69 c bounds - >= 434 @ 300.349
301.72/302.69 c bounds - >= 435 @ 300.352
301.72/302.69 c bounds - >= 436 @ 300.358
301.72/302.69 c bounds - >= 437 @ 300.361
301.72/302.69 c bounds - >= 438 @ 300.364
301.72/302.69 c bounds - >= 439 @ 300.371
301.72/302.69 c bounds - >= 440 @ 300.375
301.72/302.69 c bounds - >= 441 @ 300.38
301.72/302.69 c bounds - >= 442 @ 300.383
301.72/302.69 c bounds - >= 443 @ 300.386
301.72/302.69 c bounds - >= 444 @ 300.391
301.72/302.69 c bounds - >= 445 @ 300.392
301.72/302.69 c bounds - >= 446 @ 300.399
521.59/523.18 c bounds - >= 447 @ 300.401
521.59/523.18 c bounds - >= 448 @ 300.403
521.59/523.18 c bounds - >= 449 @ 300.408
521.59/523.18 c bounds - >= 450 @ 300.412
521.59/523.18 c bounds - >= 451 @ 300.417
521.59/523.18 c bounds - >= 452 @ 300.421
521.59/523.18 c bounds - >= 453 @ 300.424
521.59/523.18 c bounds - >= 454 @ 300.427
521.59/523.18 c bounds - >= 455 @ 300.432
521.59/523.18 c bounds - >= 456 @ 300.434
521.59/523.18 c bounds - >= 457 @ 300.437
521.59/523.18 c bounds - >= 458 @ 300.441
521.59/523.18 c bounds - >= 459 @ 300.444
521.59/523.18 c bounds - >= 460 @ 300.446
521.59/523.18 c bounds - >= 461 @ 300.452
521.59/523.18 c bounds - >= 462 @ 300.458
521.59/523.18 c bounds - >= 463 @ 300.46
521.59/523.18 c bounds - >= 464 @ 300.462
521.59/523.18 c bounds - >= 465 @ 300.469
521.59/523.18 c bounds - >= 466 @ 300.475
521.59/523.18 c bounds - >= 467 @ 300.481
521.59/523.18 c bounds - >= 468 @ 300.487
521.59/523.18 c bounds - >= 469 @ 300.492
521.59/523.18 c bounds - >= 470 @ 300.497
521.59/523.18 c bounds - >= 471 @ 300.502
521.59/523.18 c bounds - >= 472 @ 300.504
521.59/523.18 c bounds - >= 473 @ 300.507
521.59/523.18 c bounds - >= 474 @ 300.51
521.59/523.18 c bounds - >= 475 @ 300.512
521.59/523.18 c bounds - >= 476 @ 300.515
521.59/523.18 c bounds - >= 477 @ 300.52
521.59/523.18 c bounds - >= 478 @ 300.524
521.59/523.18 c bounds - >= 479 @ 300.53
521.59/523.18 c bounds - >= 480 @ 300.533
521.59/523.18 c bounds - >= 481 @ 300.539
521.59/523.18 c bounds - >= 482 @ 300.543
521.59/523.18 c bounds - >= 483 @ 300.547
521.59/523.18 c bounds - >= 484 @ 300.551
521.59/523.18 c bounds - >= 485 @ 300.553
521.59/523.18 c bounds - >= 486 @ 300.557
521.59/523.18 c bounds - >= 487 @ 300.56
521.59/523.18 c bounds - >= 488 @ 300.562
521.59/523.18 c bounds - >= 489 @ 300.566
521.59/523.18 c bounds - >= 490 @ 300.57
521.59/523.18 c bounds - >= 491 @ 300.578
521.59/523.18 c bounds - >= 492 @ 300.581
521.59/523.18 c bounds - >= 493 @ 300.588
521.59/523.18 c bounds - >= 494 @ 300.589
521.59/523.18 c bounds - >= 495 @ 300.594
521.59/523.18 c #Conflicts: 1000 | #Constraints: 3808
521.59/523.18 c #Conflicts: 2000 | #Constraints: 4808
521.59/523.18 c INPROCESSING
521.59/523.18 c GARBAGE COLLECT
521.59/523.18 c #Conflicts: 3000 | #Constraints: 4507
521.59/523.18 c #Conflicts: 4000 | #Constraints: 5507
521.59/523.18 c INPROCESSING
521.59/523.18 c GARBAGE COLLECT
521.59/523.18 c #Conflicts: 5000 | #Constraints: 4934
521.59/523.18 c #Conflicts: 6000 | #Constraints: 5934
521.59/523.18 c INPROCESSING
521.59/523.18 c GARBAGE COLLECT
521.59/523.18 c #Conflicts: 7000 | #Constraints: 4970
521.59/523.18 c #Conflicts: 8000 | #Constraints: 5970
521.59/523.18 c #Conflicts: 9000 | #Constraints: 6970
521.59/523.18 c INPROCESSING
521.59/523.18 c GARBAGE COLLECT
521.59/523.18 c #Conflicts: 10000 | #Constraints: 5698
521.59/523.18 c #Conflicts: 11000 | #Constraints: 6698
521.59/523.18 c #Conflicts: 12000 | #Constraints: 7698
521.59/523.18 c INPROCESSING
521.59/523.18 c GARBAGE COLLECT
521.59/523.18 c #Conflicts: 13000 | #Constraints: 6143
521.59/523.18 c #Conflicts: 14000 | #Constraints: 7143
521.59/523.18 c #Conflicts: 15000 | #Constraints: 8143
521.59/523.18 c INPROCESSING
521.59/523.18 c GARBAGE COLLECT
521.59/523.18 c #Conflicts: 16000 | #Constraints: 6385
521.59/523.18 c #Conflicts: 17000 | #Constraints: 7385
521.59/523.18 c #Conflicts: 18000 | #Constraints: 8385
521.59/523.18 c INPROCESSING
521.59/523.18 c GARBAGE COLLECT
521.59/523.18 c #Conflicts: 19000 | #Constraints: 6418
521.59/523.18 c #Conflicts: 20000 | #Constraints: 7418
521.59/523.18 c #Conflicts: 21000 | #Constraints: 8418
521.59/523.18 c INPROCESSING
521.59/523.18 c GARBAGE COLLECT
521.59/523.18 c #Conflicts: 22000 | #Constraints: 6210
521.59/523.18 c #Conflicts: 23000 | #Constraints: 7210
521.59/523.18 c #Conflicts: 24000 | #Constraints: 8210
521.59/523.18 c #Conflicts: 25000 | #Constraints: 9210
521.59/523.18 c INPROCESSING
521.59/523.18 c GARBAGE COLLECT
521.59/523.18 c #Conflicts: 26000 | #Constraints: 6801
521.59/523.18 c #Conflicts: 27000 | #Constraints: 7801
521.59/523.18 c #Conflicts: 28000 | #Constraints: 8801
521.59/523.18 c #Conflicts: 29000 | #Constraints: 9801
521.59/523.18 c INPROCESSING
521.59/523.18 c GARBAGE COLLECT
521.59/523.18 c #Conflicts: 30000 | #Constraints: 7159
521.59/523.18 c #Conflicts: 31000 | #Constraints: 8159
521.59/523.18 c #Conflicts: 32000 | #Constraints: 9159
521.59/523.18 c #Conflicts: 33000 | #Constraints: 10159
521.59/523.18 c INPROCESSING
521.59/523.18 c GARBAGE COLLECT
521.59/523.18 c #Conflicts: 34000 | #Constraints: 7361
521.59/523.18 c #Conflicts: 35000 | #Constraints: 8361
521.59/523.18 c #Conflicts: 36000 | #Constraints: 9361
521.59/523.18 c #Conflicts: 37000 | #Constraints: 10361
521.59/523.18 c INPROCESSING
521.59/523.18 c GARBAGE COLLECT
521.59/523.18 c #Conflicts: 38000 | #Constraints: 7363
521.59/523.18 c #Conflicts: 39000 | #Constraints: 8363
521.59/523.18 c #Conflicts: 40000 | #Constraints: 9363
521.59/523.18 c #Conflicts: 41000 | #Constraints: 10363
521.59/523.18 c INPROCESSING
521.59/523.18 c GARBAGE COLLECT
521.59/523.18 c #Conflicts: 42000 | #Constraints: 7165
521.59/523.18 c #Conflicts: 43000 | #Constraints: 8165
521.59/523.18 c #Conflicts: 44000 | #Constraints: 9165
521.59/523.18 c #Conflicts: 45000 | #Constraints: 10165
1211.79/1215.36 c #Conflicts: 46000 | #Constraints: 11165
1211.79/1215.36 c INPROCESSING
1211.79/1215.36 c GARBAGE COLLECT
1211.79/1215.36 c #Conflicts: 47000 | #Constraints: 7770
1211.79/1215.36 c #Conflicts: 48000 | #Constraints: 8770
1211.79/1215.36 c #Conflicts: 49000 | #Constraints: 9770
1211.79/1215.36 c #Conflicts: 50000 | #Constraints: 10770
1211.79/1215.36 c #Conflicts: 51000 | #Constraints: 11770
1211.79/1215.36 c INPROCESSING
1211.79/1215.36 c GARBAGE COLLECT
1211.79/1215.36 c #Conflicts: 52000 | #Constraints: 8195
1211.79/1215.36 c #Conflicts: 53000 | #Constraints: 9195
1211.79/1215.36 c #Conflicts: 54000 | #Constraints: 10195
1211.79/1215.36 c #Conflicts: 55000 | #Constraints: 11195
1211.79/1215.36 c #Conflicts: 56000 | #Constraints: 12195
1211.79/1215.36 c INPROCESSING
1211.79/1215.36 c GARBAGE COLLECT
1211.79/1215.36 c #Conflicts: 57000 | #Constraints: 8389
1211.79/1215.36 c #Conflicts: 58000 | #Constraints: 9389
1211.79/1215.36 c #Conflicts: 59000 | #Constraints: 10389
1211.79/1215.36 c #Conflicts: 60000 | #Constraints: 11389
1211.79/1215.36 c #Conflicts: 61000 | #Constraints: 12389
1211.79/1215.36 c INPROCESSING
1211.79/1215.36 c GARBAGE COLLECT
1211.79/1215.36 c #Conflicts: 62000 | #Constraints: 8376
1211.79/1215.36 c #Conflicts: 63000 | #Constraints: 9376
1211.79/1215.36 c #Conflicts: 64000 | #Constraints: 10376
1211.79/1215.36 c #Conflicts: 65000 | #Constraints: 11376
1211.79/1215.36 c #Conflicts: 66000 | #Constraints: 12376
1211.79/1215.36 c INPROCESSING
1211.79/1215.36 c GARBAGE COLLECT
1211.79/1215.36 c #Conflicts: 67000 | #Constraints: 8178
1211.79/1215.36 c #Conflicts: 68000 | #Constraints: 9178
1211.79/1215.36 c #Conflicts: 69000 | #Constraints: 10178
1211.79/1215.36 c #Conflicts: 70000 | #Constraints: 11178
1211.79/1215.36 c #Conflicts: 71000 | #Constraints: 12178
1211.79/1215.36 c #Conflicts: 72000 | #Constraints: 13178
1211.79/1215.36 c INPROCESSING
1211.79/1215.36 c GARBAGE COLLECT
1211.79/1215.36 c #Conflicts: 73000 | #Constraints: 8749
1211.79/1215.36 c #Conflicts: 74000 | #Constraints: 9749
1211.79/1215.36 c #Conflicts: 75000 | #Constraints: 10749
1211.79/1215.36 c #Conflicts: 76000 | #Constraints: 11749
1211.79/1215.36 c #Conflicts: 77000 | #Constraints: 12749
1211.79/1215.36 c #Conflicts: 78000 | #Constraints: 13749
1211.79/1215.36 c INPROCESSING
1211.79/1215.36 c GARBAGE COLLECT
1211.79/1215.36 c #Conflicts: 79000 | #Constraints: 9144
1211.79/1215.36 c #Conflicts: 80000 | #Constraints: 10144
1211.79/1215.36 c #Conflicts: 81000 | #Constraints: 11144
1211.79/1215.36 c #Conflicts: 82000 | #Constraints: 12144
1211.79/1215.36 c #Conflicts: 83000 | #Constraints: 13144
1211.79/1215.36 c #Conflicts: 84000 | #Constraints: 14144
1211.79/1215.36 c INPROCESSING
1211.79/1215.36 c GARBAGE COLLECT
1211.79/1215.36 c #Conflicts: 85000 | #Constraints: 9343
1211.79/1215.36 c #Conflicts: 86000 | #Constraints: 10343
1211.79/1215.36 c #Conflicts: 87000 | #Constraints: 11343
1211.79/1215.36 c #Conflicts: 88000 | #Constraints: 12343
1211.79/1215.36 c #Conflicts: 89000 | #Constraints: 13343
1211.79/1215.36 c #Conflicts: 90000 | #Constraints: 14343
1211.79/1215.36 c INPROCESSING
1211.79/1215.36 c GARBAGE COLLECT
1211.79/1215.36 c #Conflicts: 91000 | #Constraints: 9343
1211.79/1215.36 c #Conflicts: 92000 | #Constraints: 10343
1211.79/1215.36 c #Conflicts: 93000 | #Constraints: 11343
1211.79/1215.36 c #Conflicts: 94000 | #Constraints: 12343
1211.79/1215.36 c #Conflicts: 95000 | #Constraints: 13343
1211.79/1215.36 c #Conflicts: 96000 | #Constraints: 14343
1211.79/1215.36 c INPROCESSING
1211.79/1215.36 c GARBAGE COLLECT
1211.79/1215.36 c #Conflicts: 97000 | #Constraints: 9143
1211.79/1215.36 c #Conflicts: 98000 | #Constraints: 10143
1211.79/1215.36 c #Conflicts: 99000 | #Constraints: 11143
1211.79/1215.36 c #Conflicts: 100000 | #Constraints: 12143
1211.79/1215.36 c #Conflicts: 101000 | #Constraints: 13143
1211.79/1215.36 c #Conflicts: 102000 | #Constraints: 14143
1211.79/1215.36 c #Conflicts: 103000 | #Constraints: 15143
1211.79/1215.36 c INPROCESSING
1211.79/1215.36 c GARBAGE COLLECT
1211.79/1215.36 c #Conflicts: 104000 | #Constraints: 9731
1211.79/1215.36 c #Conflicts: 105000 | #Constraints: 10731
1211.79/1215.36 c #Conflicts: 106000 | #Constraints: 11731
1211.79/1215.36 c #Conflicts: 107000 | #Constraints: 12731
1211.79/1215.36 c #Conflicts: 108000 | #Constraints: 13731
1211.79/1215.36 c #Conflicts: 109000 | #Constraints: 14731
1211.79/1215.36 c #Conflicts: 110000 | #Constraints: 15731
1211.79/1215.36 c INPROCESSING
1211.79/1215.36 c GARBAGE COLLECT
1211.79/1215.36 c #Conflicts: 111000 | #Constraints: 10138
1211.79/1215.36 c #Conflicts: 112000 | #Constraints: 11138
1211.79/1215.36 c #Conflicts: 113000 | #Constraints: 12138
1211.79/1215.36 c #Conflicts: 114000 | #Constraints: 13138
1211.79/1215.36 c #Conflicts: 115000 | #Constraints: 14138
1211.79/1215.36 c #Conflicts: 116000 | #Constraints: 15138
1967.34/1973.02 c #Conflicts: 117000 | #Constraints: 16138
1967.34/1973.02 c INPROCESSING
1967.34/1973.02 c GARBAGE COLLECT
1967.34/1973.02 c #Conflicts: 118000 | #Constraints: 10332
1967.34/1973.02 c #Conflicts: 119000 | #Constraints: 11332
1967.34/1973.02 c #Conflicts: 120000 | #Constraints: 12332
1967.34/1973.02 c #Conflicts: 121000 | #Constraints: 13332
1967.34/1973.02 c #Conflicts: 122000 | #Constraints: 14332
1967.34/1973.02 c #Conflicts: 123000 | #Constraints: 15332
1967.34/1973.02 c #Conflicts: 124000 | #Constraints: 16332
1967.34/1973.02 c INPROCESSING
1967.34/1973.02 c GARBAGE COLLECT
1967.34/1973.02 c #Conflicts: 125000 | #Constraints: 10345
1967.34/1973.02 c #Conflicts: 126000 | #Constraints: 11345
1967.34/1973.02 c #Conflicts: 127000 | #Constraints: 12345
1967.34/1973.02 c #Conflicts: 128000 | #Constraints: 13345
1967.34/1973.02 c #Conflicts: 129000 | #Constraints: 14345
1967.34/1973.02 c #Conflicts: 130000 | #Constraints: 15345
1967.34/1973.02 c #Conflicts: 131000 | #Constraints: 16345
1967.34/1973.02 c INPROCESSING
1967.34/1973.02 c GARBAGE COLLECT
1967.34/1973.02 c #Conflicts: 132000 | #Constraints: 10143
1967.34/1973.02 c #Conflicts: 133000 | #Constraints: 11143
1967.34/1973.02 c #Conflicts: 134000 | #Constraints: 12143
1967.34/1973.02 c #Conflicts: 135000 | #Constraints: 13143
1967.34/1973.02 c #Conflicts: 136000 | #Constraints: 14143
1967.34/1973.02 c #Conflicts: 137000 | #Constraints: 15143
1967.34/1973.02 c #Conflicts: 138000 | #Constraints: 16143
1967.34/1973.02 c #Conflicts: 139000 | #Constraints: 17143
1967.34/1973.02 c INPROCESSING
1967.34/1973.02 c GARBAGE COLLECT
1967.34/1973.02 c #Conflicts: 140000 | #Constraints: 10755
1967.34/1973.02 c #Conflicts: 141000 | #Constraints: 11755
1967.34/1973.02 c #Conflicts: 142000 | #Constraints: 12755
1967.34/1973.02 c #Conflicts: 143000 | #Constraints: 13755
1967.34/1973.02 c #Conflicts: 144000 | #Constraints: 14755
1967.34/1973.02 c #Conflicts: 145000 | #Constraints: 15755
1967.34/1973.02 c #Conflicts: 146000 | #Constraints: 16755
1967.34/1973.02 c #Conflicts: 147000 | #Constraints: 17755
1967.34/1973.02 c INPROCESSING
1967.34/1973.02 c GARBAGE COLLECT
1967.34/1973.02 c #Conflicts: 148000 | #Constraints: 11177
1967.34/1973.02 c #Conflicts: 149000 | #Constraints: 12177
1967.34/1973.02 c #Conflicts: 150000 | #Constraints: 13177
1967.34/1973.02 c #Conflicts: 151000 | #Constraints: 14177
1967.34/1973.02 c #Conflicts: 152000 | #Constraints: 15177
1967.34/1973.02 c #Conflicts: 153000 | #Constraints: 16177
1967.34/1973.02 c #Conflicts: 154000 | #Constraints: 17177
1967.34/1973.02 c #Conflicts: 155000 | #Constraints: 18177
1967.34/1973.02 c INPROCESSING
1967.34/1973.02 c GARBAGE COLLECT
1967.34/1973.02 c #Conflicts: 156000 | #Constraints: 11380
1967.34/1973.02 c #Conflicts: 157000 | #Constraints: 12380
1967.34/1973.02 c #Conflicts: 158000 | #Constraints: 13380
1967.34/1973.02 c #Conflicts: 159000 | #Constraints: 14380
1967.34/1973.02 c #Conflicts: 160000 | #Constraints: 15380
1967.34/1973.02 c #Conflicts: 161000 | #Constraints: 16380
1967.34/1973.02 c #Conflicts: 162000 | #Constraints: 17380
1967.34/1973.02 c #Conflicts: 163000 | #Constraints: 18380
1967.34/1973.02 c INPROCESSING
1967.34/1973.02 c GARBAGE COLLECT
1967.34/1973.02 c #Conflicts: 164000 | #Constraints: 11376
1967.34/1973.02 c #Conflicts: 165000 | #Constraints: 12376
1967.34/1973.02 c #Conflicts: 166000 | #Constraints: 13376
1967.34/1973.02 c #Conflicts: 167000 | #Constraints: 14376
1967.34/1973.02 c #Conflicts: 168000 | #Constraints: 15376
1967.34/1973.02 c #Conflicts: 169000 | #Constraints: 16376
1967.34/1973.02 c #Conflicts: 170000 | #Constraints: 17376
1967.34/1973.02 c #Conflicts: 171000 | #Constraints: 18376
1967.34/1973.02 c INPROCESSING
1967.34/1973.02 c GARBAGE COLLECT
1967.34/1973.02 c #Conflicts: 172000 | #Constraints: 11170
1967.34/1973.02 c #Conflicts: 173000 | #Constraints: 12170
1967.34/1973.02 c #Conflicts: 174000 | #Constraints: 13170
1967.34/1973.02 c #Conflicts: 175000 | #Constraints: 14170
1967.34/1973.02 c #Conflicts: 176000 | #Constraints: 15170
1967.34/1973.02 c #Conflicts: 177000 | #Constraints: 16170
1967.34/1973.02 c #Conflicts: 178000 | #Constraints: 17170
1967.34/1973.02 c #Conflicts: 179000 | #Constraints: 18170
1967.34/1973.02 c #Conflicts: 180000 | #Constraints: 19170
1967.34/1973.02 c INPROCESSING
1967.34/1973.02 c GARBAGE COLLECT
1967.34/1973.02 c #Conflicts: 181000 | #Constraints: 11769
1967.34/1973.02 c #Conflicts: 182000 | #Constraints: 12769
1967.34/1973.02 c #Conflicts: 183000 | #Constraints: 13769
1967.34/1973.02 c #Conflicts: 184000 | #Constraints: 14769
1967.34/1973.02 c #Conflicts: 185000 | #Constraints: 15769
1967.34/1973.02 c #Conflicts: 186000 | #Constraints: 16769
1967.34/1973.02 c #Conflicts: 187000 | #Constraints: 17769
1967.34/1973.02 c #Conflicts: 188000 | #Constraints: 18769
1967.34/1973.02 c #Conflicts: 189000 | #Constraints: 19769
3033.49/3042.25 c INPROCESSING
3033.49/3042.25 c GARBAGE COLLECT
3033.49/3042.25 c #Conflicts: 190000 | #Constraints: 12160
3033.49/3042.25 c #Conflicts: 191000 | #Constraints: 13160
3033.49/3042.25 c #Conflicts: 192000 | #Constraints: 14160
3033.49/3042.25 c #Conflicts: 193000 | #Constraints: 15160
3033.49/3042.25 c #Conflicts: 194000 | #Constraints: 16160
3033.49/3042.25 c #Conflicts: 195000 | #Constraints: 17160
3033.49/3042.25 c #Conflicts: 196000 | #Constraints: 18160
3033.49/3042.25 c #Conflicts: 197000 | #Constraints: 19160
3033.49/3042.25 c #Conflicts: 198000 | #Constraints: 20160
3033.49/3042.25 c INPROCESSING
3033.49/3042.25 c GARBAGE COLLECT
3033.49/3042.25 c #Conflicts: 199000 | #Constraints: 12362
3033.49/3042.25 c #Conflicts: 200000 | #Constraints: 13362
3033.49/3042.25 c #Conflicts: 201000 | #Constraints: 14362
3033.49/3042.25 c #Conflicts: 202000 | #Constraints: 15362
3033.49/3042.25 c #Conflicts: 203000 | #Constraints: 16362
3033.49/3042.25 c #Conflicts: 204000 | #Constraints: 17362
3033.49/3042.25 c #Conflicts: 205000 | #Constraints: 18362
3033.49/3042.25 c #Conflicts: 206000 | #Constraints: 19362
3033.49/3042.25 c #Conflicts: 207000 | #Constraints: 20362
3033.49/3042.25 c INPROCESSING
3033.49/3042.25 c GARBAGE COLLECT
3033.49/3042.25 c #Conflicts: 208000 | #Constraints: 12364
3033.49/3042.25 c #Conflicts: 209000 | #Constraints: 13364
3033.49/3042.25 c #Conflicts: 210000 | #Constraints: 14364
3033.49/3042.25 c #Conflicts: 211000 | #Constraints: 15364
3033.49/3042.25 c #Conflicts: 212000 | #Constraints: 16364
3033.49/3042.25 c #Conflicts: 213000 | #Constraints: 17364
3033.49/3042.25 c #Conflicts: 214000 | #Constraints: 18364
3033.49/3042.25 c #Conflicts: 215000 | #Constraints: 19364
3033.49/3042.25 c #Conflicts: 216000 | #Constraints: 20364
3033.49/3042.25 c INPROCESSING
3033.49/3042.25 c GARBAGE COLLECT
3033.49/3042.25 c #Conflicts: 217000 | #Constraints: 12185
3033.49/3042.25 c #Conflicts: 218000 | #Constraints: 13185
3033.49/3042.25 c #Conflicts: 219000 | #Constraints: 14185
3033.49/3042.25 c #Conflicts: 220000 | #Constraints: 15185
3033.49/3042.25 c #Conflicts: 221000 | #Constraints: 16185
3033.49/3042.25 c #Conflicts: 222000 | #Constraints: 17185
3033.49/3042.25 c #Conflicts: 223000 | #Constraints: 18185
3033.49/3042.25 c #Conflicts: 224000 | #Constraints: 19185
3033.49/3042.25 c #Conflicts: 225000 | #Constraints: 20185
3033.49/3042.25 c #Conflicts: 226000 | #Constraints: 21185
3033.49/3042.25 c INPROCESSING
3033.49/3042.25 c GARBAGE COLLECT
3033.49/3042.25 c #Conflicts: 227000 | #Constraints: 12776
3033.49/3042.25 c #Conflicts: 228000 | #Constraints: 13776
3033.49/3042.25 c #Conflicts: 229000 | #Constraints: 14776
3033.49/3042.25 c #Conflicts: 230000 | #Constraints: 15776
3033.49/3042.25 c #Conflicts: 231000 | #Constraints: 16776
3033.49/3042.25 c #Conflicts: 232000 | #Constraints: 17776
3033.49/3042.25 c #Conflicts: 233000 | #Constraints: 18776
3033.49/3042.25 c #Conflicts: 234000 | #Constraints: 19776
3033.49/3042.25 c #Conflicts: 235000 | #Constraints: 20776
3033.49/3042.25 c #Conflicts: 236000 | #Constraints: 21776
3033.49/3042.25 c INPROCESSING
3033.49/3042.25 c GARBAGE COLLECT
3033.49/3042.25 c #Conflicts: 237000 | #Constraints: 13160
3033.49/3042.25 c #Conflicts: 238000 | #Constraints: 14160
3033.49/3042.25 c #Conflicts: 239000 | #Constraints: 15160
3033.49/3042.25 c #Conflicts: 240000 | #Constraints: 16160
3033.49/3042.25 c #Conflicts: 241000 | #Constraints: 17160
3033.49/3042.25 c #Conflicts: 242000 | #Constraints: 18160
3033.49/3042.25 c #Conflicts: 243000 | #Constraints: 19160
3033.49/3042.25 c #Conflicts: 244000 | #Constraints: 20160
3033.49/3042.25 c #Conflicts: 245000 | #Constraints: 21160
3033.49/3042.25 c #Conflicts: 246000 | #Constraints: 22160
3033.49/3042.25 c INPROCESSING
3033.49/3042.25 c GARBAGE COLLECT
3033.49/3042.25 c #Conflicts: 247000 | #Constraints: 13367
3033.49/3042.25 c #Conflicts: 248000 | #Constraints: 14367
3033.49/3042.25 c #Conflicts: 249000 | #Constraints: 15367
3033.49/3042.25 c #Conflicts: 250000 | #Constraints: 16367
3033.49/3042.25 c #Conflicts: 251000 | #Constraints: 17367
3033.49/3042.25 c #Conflicts: 252000 | #Constraints: 18367
3033.49/3042.25 c #Conflicts: 253000 | #Constraints: 19367
3033.49/3042.25 c #Conflicts: 254000 | #Constraints: 20367
3033.49/3042.25 c #Conflicts: 255000 | #Constraints: 21367
3033.49/3042.25 c #Conflicts: 256000 | #Constraints: 22367
3033.49/3042.25 c INPROCESSING
3033.49/3042.25 c GARBAGE COLLECT
3033.49/3042.25 c #Conflicts: 257000 | #Constraints: 13356
3033.49/3042.25 c #Conflicts: 258000 | #Constraints: 14356
3033.49/3042.25 c #Conflicts: 259000 | #Constraints: 15356
3033.49/3042.25 c #Conflicts: 260000 | #Constraints: 16356
3033.49/3042.25 c #Conflicts: 261000 | #Constraints: 17356
3033.49/3042.25 c #Conflicts: 262000 | #Constraints: 18356
3033.49/3042.25 c #Conflicts: 263000 | #Constraints: 19356
3600.00/3610.30 c #Conflicts: 264000 | #Constraints: 20356
3600.00/3610.30 c #Conflicts: 265000 | #Constraints: 21356
3600.00/3610.30 c #Conflicts: 266000 | #Constraints: 22356
3600.00/3610.30 c INPROCESSING
3600.00/3610.30 c GARBAGE COLLECT
3600.00/3610.30 c #Conflicts: 267000 | #Constraints: 13162
3600.00/3610.30 c #Conflicts: 268000 | #Constraints: 14162
3600.00/3610.30 c #Conflicts: 269000 | #Constraints: 15162
3600.00/3610.30 c #Conflicts: 270000 | #Constraints: 16162
3600.00/3610.30 c #Conflicts: 271000 | #Constraints: 17162
3600.00/3610.30 c #Conflicts: 272000 | #Constraints: 18162
3600.00/3610.30 c #Conflicts: 273000 | #Constraints: 19162
3600.00/3610.30 c #Conflicts: 274000 | #Constraints: 20162
3600.00/3610.30 c #Conflicts: 275000 | #Constraints: 21162
3600.00/3610.30 c #Conflicts: 276000 | #Constraints: 22162
3600.00/3610.30 c #Conflicts: 277000 | #Constraints: 23162
3600.00/3610.30 c INPROCESSING
3600.00/3610.30 c GARBAGE COLLECT
3600.00/3610.30 c #Conflicts: 278000 | #Constraints: 13756
3600.00/3610.30 c #Conflicts: 279000 | #Constraints: 14756
3600.00/3610.30 c #Conflicts: 280000 | #Constraints: 15756
3600.00/3610.30 c #Conflicts: 281000 | #Constraints: 16756
3600.00/3610.30 c #Conflicts: 282000 | #Constraints: 17756
3600.00/3610.30 c #Conflicts: 283000 | #Constraints: 18756
3600.00/3610.30 c #Conflicts: 284000 | #Constraints: 19756
3600.00/3610.30 c #Conflicts: 285000 | #Constraints: 20756
3600.00/3610.30 c #Conflicts: 286000 | #Constraints: 21756
3600.00/3610.30 c #Conflicts: 287000 | #Constraints: 22756
3600.00/3610.30 c #Conflicts: 288000 | #Constraints: 23756
3600.00/3610.30 c INPROCESSING
3600.00/3610.30 c GARBAGE COLLECT
3600.00/3610.30 c #Conflicts: 289000 | #Constraints: 14152
3600.00/3610.30 c #Conflicts: 290000 | #Constraints: 15152
3600.00/3610.30 c #Conflicts: 291000 | #Constraints: 16152
3600.00/3610.30 c #Conflicts: 292000 | #Constraints: 17152
3600.00/3610.30 c #Conflicts: 293000 | #Constraints: 18152
3600.00/3610.30 c #Conflicts: 294000 | #Constraints: 19152
3600.00/3610.30 c #Conflicts: 295000 | #Constraints: 20152
3600.00/3610.30 c #Conflicts: 296000 | #Constraints: 21152
3600.00/3610.30 c #Conflicts: 297000 | #Constraints: 22152
3600.00/3610.30 c #Conflicts: 298000 | #Constraints: 23152
3600.00/3610.30 c Program interrupted by user.
3600.00/3610.30 c cpu time 3570.56 s
3600.00/3610.30 c deterministic time 415948616692 4.16e+11
3600.00/3610.30 c optimization time 219.086 s
3600.00/3610.30 c total solve time 3052.22 s
3600.00/3610.30 c core-guided solve time 3052.22 s
3600.00/3610.30 c propagation time 2157.65 s
3600.00/3610.30 c conflict analysis time 707.014 s
3600.00/3610.30 c propagations 463605545
3600.00/3610.30 c resolve steps 717066
3600.00/3610.30 c decisions 39125867
3600.00/3610.30 c conflicts 298951
3600.00/3610.30 c restarts 725
3600.00/3610.30 c inprocessing phases 45
3600.00/3610.30 c input clauses 2462
3600.00/3610.30 c input cardinalities 1
3600.00/3610.30 c input general constraints 346
3600.00/3610.30 c input average constraint length 1938.42
3600.00/3610.30 c input average constraint degree 47.01
3600.00/3610.30 c learned clauses 20702
3600.00/3610.30 c learned cardinalities 221
3600.00/3610.30 c learned general constraints 278028
3600.00/3610.30 c learned average constraint length 9478.53
3600.00/3610.30 c learned average constraint degree 362187.44
3600.00/3610.30 c watched constraints 8576
3600.00/3610.30 c counting constraints 269798
3600.00/3610.30 c gcd simplifications 149
3600.00/3610.30 c detected cardinalities 0
3600.00/3610.30 c weakened non-implied lits 176747660
3600.00/3610.30 c weakened non-implying lits 1172
3600.00/3610.30 c original variables 15284
3600.00/3610.30 c clausal propagations 4360773
3600.00/3610.30 c cardinality propagations 6863
3600.00/3610.30 c watched propagations 1663650
3600.00/3610.30 c counting propagations 455808714
3600.00/3610.30 c watch lookups 28619429558
3600.00/3610.30 c watch backjump lookups 28595198019
3600.00/3610.30 c watch checks 10837004949
3600.00/3610.30 c propagation checks 341111262050
3600.00/3610.30 c constraint additions 5779965434
3600.00/3610.30 c trail pops 503025269
3600.00/3610.30 c formula constraints 2462
3600.00/3610.30 c learned constraints 298951
3600.00/3610.30 c bound constraints 346
3600.00/3610.30 c core-guided constraints 1
3600.00/3610.30 c encountered formula constraints 488042
3600.00/3610.30 c encountered learned constraints 527931
3600.00/3610.30 c encountered bound constraints 9
3600.00/3610.30 c encountered core-guided constraints 35
3600.00/3610.30 c LP total time 0 s
3600.00/3610.30 c LP solve time 0 s
3600.00/3610.30 c LP constraints added 0
3600.00/3610.30 c LP constraints removed 0
3600.00/3610.30 c LP pivots internal 0
3600.00/3610.30 c LP pivots root 0
3600.00/3610.30 c LP calls 0
3600.00/3610.30 c LP optimalities 0
3600.00/3610.30 c LP no pivot count 0
3600.00/3610.30 c LP infeasibilities 0
3600.00/3610.30 c LP valid Farkas constraints 0
3600.00/3610.30 c LP learned Farkas constraints 0
3600.00/3610.30 c LP basis resets 0
3600.00/3610.30 c LP cycling count 0
3600.00/3610.30 c LP singular count 0
3600.00/3610.30 c LP no primal count 0
3600.00/3610.30 c LP no farkas count 0
3600.00/3610.30 c LP other issue count 0
3600.00/3610.30 c LP Gomory cuts 0
3600.00/3610.30 c LP learned cuts 0
3600.00/3610.30 c LP deleted cuts 0
3600.00/3610.30 c LP encountered Gomory constraints 0
3600.00/3610.30 c LP encountered Farkas constraints 0
3600.00/3610.30 c LP encountered learned Farkas constraints 0
3600.00/3610.30 c CG auxiliary variables introduced 1
3600.00/3610.30 c CG solutions found 0
3600.00/3610.30 c CG cores constructed 345
3600.00/3610.30 c CG core cardinality constraints returned 0
3600.00/3610.30 c CG unit cores 0
3600.00/3610.30 c CG single cores 345
3600.00/3610.30 c CG blocks removed during cardinality reduction 0
3600.00/3610.30 c CG first core best 0
3600.00/3610.30 c CG decision core best 0
3600.00/3610.30 c CG core reduction tie 0
3600.00/3610.30 c CG core degree average 1.00
3600.00/3610.30 c CG core slack average 30.94
3600.00/3610.30 c CG exhausted 0
3600.00/3610.30 c CG exhaust time 0 s
3600.00/3610.30 c CG trimmed 45
3600.00/3610.30 c CG trim time 0.006317 s
3600.00/3610.30 c CG minimized 0
3600.00/3610.30 c CG minimize time 0 s
3600.00/3610.30 c CG am1 prop time 0.017341 s
3600.00/3610.30 c CG # am1s reformulated 1
3600.00/3610.30 c CG lower bound derived from am1s 2
3600.00/3610.30 c CG # clausal cores 345
3600.00/3610.30 c CG # cardinality cores 0
3600.00/3610.30 c CG # pb cores 0
3600.00/3610.30 c CG # pb reforms 0
3600.00/3610.30 c CG # cores discarded because of pb reform 0
3600.00/3610.30 d LOWERBOUND 495
3600.00/3610.30 d NCORES 345
3600.00/3610.30 d NPBCORES 0
3600.00/3610.30 d NPBREFORM 0
3600.00/3610.30 d NTRIMMED 45
3600.00/3610.30 d NEXHAUSTED 0
3600.00/3610.30 d NAM1S 1
3600.00/3610.30 d AM1LB 2
3600.00/3610.30 c [Papilo Statistics]
3600.00/3610.30 c prepro time 0.0265382s
3600.00/3610.30 c # tsx applied 39
3600.00/3610.30 c # tsx conflicts 0
3600.00/3610.30 c # bound changes 5
3600.00/3610.30 c # side changes 0
3600.00/3610.30 c # coef changes 0
3600.00/3610.30 c # rounds 2
3600.00/3610.30 c # deted vars 6
3600.00/3610.30 c # deted constrs 75
3600.00/3610.30 c # consecutive rounds of only bound changes 0
3600.00/3610.34 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62156 MiB free)
memory of node 1: 64507 MiB (63551 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528855-1752256148/watcher-4528855-1752256148 -o /tmp/evaluation-result-4528855-1752256148/solver-4528855-1752256148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752256148-121311 --watchdog 3760 mixed-bag HOME/instance-4528855-1752256148.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=121366, runsolver pid=121358
[startup+0.100061 s]*
/proc/loadavg: 3.39 3.96 4.04 6/266 121367
/proc/meminfo: memFree=128657992/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=93344 memory=19476 CPUtime=0.09 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 3956 0 1 0 8 1 0 0 20 0 1 0 141292674 95584256 4869 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 23336 4869 2176 2834 0 6088 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 93344 KiB
Current children cumulated memory: 19476 KiB
[startup+0.205497 s]*
/proc/loadavg: 3.39 3.96 4.04 6/266 121367
/proc/meminfo: memFree=128577676/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=157280 memory=83904 CPUtime=0.19 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 16357 0 1 0 15 4 0 0 20 0 1 0 141292674 161054720 20976 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 39320 20976 3968 2834 0 21525 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 157280 KiB
Current children cumulated memory: 83904 KiB
[startup+0.305811 s]*
/proc/loadavg: 3.39 3.96 4.04 6/266 121367
/proc/meminfo: memFree=128489412/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=189428 memory=112812 CPUtime=0.29 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 22048 0 1 0 24 5 0 0 20 0 1 0 141292674 193974272 28203 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 47357 28203 4000 2834 0 29562 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 189428 KiB
Current children cumulated memory: 112812 KiB
[startup+0.700171 s]
/proc/loadavg: 3.39 3.96 4.04 6/266 121367
/proc/meminfo: memFree=128421120/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=195780 memory=119504 CPUtime=0.67 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 23910 0 1 0 62 5 0 0 20 0 1 0 141292674 200478720 29876 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 48945 29876 4032 2834 0 31150 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 195780 KiB
Current children cumulated memory: 119504 KiB
[startup+1.50012 s]
/proc/loadavg: 3.43 3.96 4.04 6/266 121367
/proc/meminfo: memFree=128361396/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=319092 memory=208336 CPUtime=1.47 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 45935 0 1 0 139 8 0 0 20 0 1 0 141292674 326750208 52084 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 79773 52084 4256 2834 0 61978 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 319092 KiB
Current children cumulated memory: 208336 KiB
[startup+3.10524 s]
/proc/loadavg: 3.43 3.96 4.04 6/266 121367
/proc/meminfo: memFree=128117108/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=319412 memory=208720 CPUtime=3.08 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 46029 0 1 0 299 9 0 0 20 0 1 0 141292674 327077888 52180 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 79853 52180 4256 2834 0 62058 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 319412 KiB
Current children cumulated memory: 208720 KiB
[startup+6.3001 s]
/proc/loadavg: 3.48 3.96 4.04 6/266 121367
/proc/meminfo: memFree=128065348/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=320300 memory=209488 CPUtime=6.26 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 46206 0 1 0 617 9 0 0 20 0 1 0 141292674 327987200 52372 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 80075 52372 4256 2834 0 62280 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 320300 KiB
Current children cumulated memory: 209488 KiB
[startup+12.7001 s]
/proc/loadavg: 3.60 3.98 4.04 6/266 121367
/proc/meminfo: memFree=127996996/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=342424 memory=229456 CPUtime=12.65 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 51185 0 1 0 1255 10 0 0 20 0 1 0 141292674 350642176 57364 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 85606 57364 4288 2834 0 67811 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 342424 KiB
Current children cumulated memory: 229456 KiB
[startup+25.5001 s]
/proc/loadavg: 3.74 4.00 4.05 6/266 121368
/proc/meminfo: memFree=127840432/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=403956 memory=288976 CPUtime=25.41 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 66074 0 1 0 2529 12 0 0 20 0 1 0 141292674 413650944 72244 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 100989 72244 4288 2834 0 83194 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 403956 KiB
Current children cumulated memory: 288976 KiB
[startup+51.1053 s]
/proc/loadavg: 3.85 4.00 4.05 6/266 121369
/proc/meminfo: memFree=127712928/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=412284 memory=298320 CPUtime=50.94 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 68390 0 1 0 5082 12 0 0 20 0 1 0 141292674 422178816 74580 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 103071 74580 4288 2834 0 85276 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 412284 KiB
Current children cumulated memory: 298320 KiB
[startup+102.3 s]
/proc/loadavg: 3.98 4.01 4.05 6/265 121371
/proc/meminfo: memFree=127557288/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=412284 memory=298320 CPUtime=102.01 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 68398 0 1 0 10189 12 0 0 20 0 1 0 141292674 422178816 74580 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 103071 74580 4288 2834 0 85276 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 412284 KiB
Current children cumulated memory: 298320 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.04 4.05 6/265 121373
/proc/meminfo: memFree=127426308/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=412284 memory=298320 CPUtime=161.83 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 68414 0 1 0 16171 12 0 0 20 0 1 0 141292674 422178816 74580 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 103071 74580 4288 2834 0 85276 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 412284 KiB
Current children cumulated memory: 298320 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.04 4.05 6/266 121376
/proc/meminfo: memFree=127277544/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=412284 memory=298320 CPUtime=221.65 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 68414 0 1 0 22153 12 0 0 20 0 1 0 141292674 422178816 74580 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 103071 74580 4288 2834 0 85276 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 412284 KiB
Current children cumulated memory: 298320 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.07 4.06 6/266 121378
/proc/meminfo: memFree=127256628/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=431208 memory=317264 CPUtime=281.47 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 73160 0 1 0 28134 13 0 0 20 0 1 0 141292674 441556992 79316 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 107802 79316 4288 2834 0 90007 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 431208 KiB
Current children cumulated memory: 317264 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.07 4.06 6/265 121380
/proc/meminfo: memFree=126201312/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=969292 memory=781000 CPUtime=341.3 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 120393 0 1 0 33876 254 0 0 20 0 1 0 141292674 992555008 195250 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 242323 195250 4480 2834 0 224528 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 969292 KiB
Current children cumulated memory: 781000 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 4.05 4.05 6/265 121390
/proc/meminfo: memFree=125384660/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=1385552 memory=1136832 CPUtime=401.13 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 169482 0 1 0 39744 369 0 0 20 0 1 0 141292674 1418805248 284208 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 346388 284208 4480 2834 0 328593 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 1385552 KiB
Current children cumulated memory: 1136832 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.07 4.06 6/265 121392
/proc/meminfo: memFree=125028268/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=1449248 memory=1290472 CPUtime=460.95 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 189075 0 1 0 45655 440 0 0 20 0 1 0 141292674 1484029952 322618 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 362312 322618 4480 2834 0 344517 0
Current children cumulated CPU time: 460.95 s
################
# More data... #
################
Current children cumulated memory: 3864132 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/264 121529
/proc/meminfo: memFree=118980140/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=4319948 memory=3864132 CPUtime=2913.91 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 544926 0 1 0 289059 2332 0 0 20 0 1 0 141292674 4423626752 966033 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 1079987 966033 4480 2834 0 1062192 0
Current children cumulated CPU time: 2913.91 s
Current children cumulated vsize: 4319948 KiB
Current children cumulated memory: 3864132 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/264 121531
/proc/meminfo: memFree=118931232/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=4319948 memory=3864260 CPUtime=2973.75 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 545019 0 1 0 294983 2392 0 0 20 0 1 0 141292674 4423626752 966065 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 1079987 966065 4480 2834 0 1062192 0
Current children cumulated CPU time: 2973.75 s
Current children cumulated vsize: 4319948 KiB
Current children cumulated memory: 3864260 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/264 121534
/proc/meminfo: memFree=118932224/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=4319948 memory=3864260 CPUtime=3033.59 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 545573 0 1 0 300902 2457 0 0 20 0 1 0 141292674 4423626752 966065 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 1079987 966065 4480 2834 0 1062192 0
Current children cumulated CPU time: 3033.59 s
Current children cumulated vsize: 4319948 KiB
Current children cumulated memory: 3864260 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/264 121537
/proc/meminfo: memFree=118891652/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=4358860 memory=3898052 CPUtime=3093.42 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 554167 0 1 0 306845 2497 0 0 20 0 1 0 141292674 4463472640 974513 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 1089715 974513 4480 2834 0 1071920 0
Current children cumulated CPU time: 3093.42 s
Current children cumulated vsize: 4358860 KiB
Current children cumulated memory: 3898052 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/264 121539
/proc/meminfo: memFree=118867192/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=4358860 memory=3898052 CPUtime=3153.25 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 554167 0 1 0 312809 2516 0 0 20 0 1 0 141292674 4463472640 974513 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 1089715 974513 4480 2834 0 1071920 0
Current children cumulated CPU time: 3153.25 s
Current children cumulated vsize: 4358860 KiB
Current children cumulated memory: 3898052 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/265 121542
/proc/meminfo: memFree=118644476/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=4358860 memory=3898052 CPUtime=3213.08 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 554697 0 1 0 318753 2555 0 0 20 0 1 0 141292674 4463472640 974513 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 1089715 974513 4480 2834 0 1071920 0
Current children cumulated CPU time: 3213.08 s
Current children cumulated vsize: 4358860 KiB
Current children cumulated memory: 3898052 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/265 121544
/proc/meminfo: memFree=118433692/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=4358860 memory=3898052 CPUtime=3272.91 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 554697 0 1 0 324680 2611 0 0 20 0 1 0 141292674 4463472640 974513 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 1089715 974513 4480 2834 0 1071920 0
Current children cumulated CPU time: 3272.91 s
Current children cumulated vsize: 4358860 KiB
Current children cumulated memory: 3898052 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/265 121547
/proc/meminfo: memFree=118381348/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=4358860 memory=3898052 CPUtime=3332.75 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 554833 0 1 0 330611 2664 0 0 20 0 1 0 141292674 4463472640 974513 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 1089715 974513 4480 2834 0 1071920 0
Current children cumulated CPU time: 3332.75 s
Current children cumulated vsize: 4358860 KiB
Current children cumulated memory: 3898052 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/266 121556
/proc/meminfo: memFree=118269236/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=5369424 memory=3995264 CPUtime=3392.59 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 570751 0 1 0 336537 2722 0 0 20 0 1 0 141292674 5498290176 998816 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 1342356 998816 4480 2834 0 1324561 0
Current children cumulated CPU time: 3392.59 s
Current children cumulated vsize: 5369424 KiB
Current children cumulated memory: 3995264 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.13 4.10 6/265 121558
/proc/meminfo: memFree=118242476/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=5369424 memory=3995264 CPUtime=3452.43 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 570751 0 1 0 342437 2806 0 0 20 0 1 0 141292674 5498290176 998816 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 1342356 998816 4480 2834 0 1324561 0
Current children cumulated CPU time: 3452.43 s
Current children cumulated vsize: 5369424 KiB
Current children cumulated memory: 3995264 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/265 121560
/proc/meminfo: memFree=118222076/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=5369424 memory=3995264 CPUtime=3512.26 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 570751 0 1 0 348372 2854 0 0 20 0 1 0 141292674 5498290176 998816 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 1342356 998816 4480 2834 0 1324561 0
Current children cumulated CPU time: 3512.26 s
Current children cumulated vsize: 5369424 KiB
Current children cumulated memory: 3995264 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/265 121563
/proc/meminfo: memFree=118004264/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=5388624 memory=4021336 CPUtime=3572.09 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 573693 0 1 0 354295 2914 0 0 20 0 1 0 141292674 5517950976 1005334 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 1347156 1005334 4480 2834 0 1329361 0
Current children cumulated CPU time: 3572.09 s
Current children cumulated vsize: 5388624 KiB
Current children cumulated memory: 4021336 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/261 121572
/proc/meminfo: memFree=119265940/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=5509208 memory=4192032 CPUtime=3600 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 595422 0 1 0 357055 2945 0 0 20 0 1 0 141292674 5641428992 1048008 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 1377302 1048008 4480 2834 0 1359507 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 5509208 KiB
Current children cumulated memory: 4192032 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.37 s]
# the end of solver process 121366 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3570.56 s, system=29.5181 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/261 121572
/proc/meminfo: memFree=119265940/131250000 swapFree=33010416/33010684
[pid=121366] ppid=121358 vsize=5509208 memory=4192032 CPUtime=3600 cores=5,7
/proc/121366/stat : 121366 (mixed-bag) R 121358 121366 121298 0 -1 4194304 595422 0 1 0 357055 2945 0 0 20 0 1 0 141292674 5641428992 1048008 18446744073709551615 4235264 15840557 140735841916624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 50315264 140735841925530 140735841925607 140735841925607 140735841931211 0
/proc/121366/statm: 1377302 1048008 4480 2834 0 1359507 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 5509208 KiB
Current children cumulated memory: 4192032 KiB
Child status: 0
Real time (s): 3610.37
CPU time (s): 3600.08
CPU user time (s): 3570.56
CPU system time (s): 29.5181
CPU usage (%): 99.715
Max. virtual memory (cumulated for all children) (KiB): 5509208
Max. memory (cumulated for all children) (KiB): 4192032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.56
system time used= 29.5181
maximum resident set size= 4192416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 595450
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 613
involuntary context switches= 2402
# summary of solver processes directly reported to runsolver:
# pid: 121366
# total CPU time (s): 3600.08
# total CPU user time (s): 3570.56
# total CPU system time (s): 29.5181
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.92897 second user time and 15.1504 second system time
The end
Begin job on nodeC018 at 2025-07-11 19:49:08
IDJOB=4528855
IDBENCH=146803
IDSOLVER=3386
FILE ID=nodeC018/4528855-1752256148
RUNJOBID= nodeC018-1752256148-121311
SLURM_JOB_ID= 9682594
Free space on /tmp= 432568 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2536-691.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528855-1752256148/watcher-4528855-1752256148 -o /tmp/evaluation-result-4528855-1752256148/solver-4528855-1752256148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752256148-121311 --watchdog 3760 mixed-bag HOME/instance-4528855-1752256148.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 03ae34be4b84b00f7c0b95d73cb9483d
RANDOM SEED=823707792
nodeC018 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 : 3600.071
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.085
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.66
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 : 3652.576
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.793
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.66
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 : 3600.470
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.834
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.741
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3603.151
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128733024 kB
MemAvailable: 129700752 kB
Buffers: 2128 kB
Cached: 1729020 kB
SwapCached: 32 kB
Active: 597956 kB
Inactive: 1200188 kB
Active(anon): 84752 kB
Inactive(anon): 288 kB
Active(file): 513204 kB
Inactive(file): 1199900 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 68696 kB
Writeback: 0 kB
AnonPages: 70332 kB
Mapped: 105680 kB
Shmem: 18044 kB
KReclaimable: 187328 kB
Slab: 280672 kB
SReclaimable: 187328 kB
SUnreclaim: 93344 kB
KernelStack: 3972 kB
PageTables: 2712 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 335308 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150440 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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= 432508 MiB
End job on nodeC018 at 2025-07-11 20:49:19