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.08/0.17 c [STEP] preprocessing with Papilo
0.18/0.22 c [STEP] solving with SCIP
299.38/300.36 c [STEP] preprocessing done, loading into solver
299.49/300.40 c [STEP] solving
299.49/300.40 c #variables 21690 #constraints 4123
299.49/300.40 c SMALL=int, LARGE=long long
299.49/300.40 d SCIPUB 1088
299.49/300.40 c bounds - >= 0 @ 299.339
299.49/300.40 c stratification level: 1
300.89/301.86 c bounds - >= 15 @ 299.662
300.89/301.86 c bounds - >= 16 @ 299.665
300.89/301.86 c bounds - >= 18 @ 299.668
300.89/301.86 c bounds - >= 20 @ 299.671
300.89/301.86 c bounds - >= 22 @ 299.674
300.89/301.86 c bounds - >= 23 @ 299.676
300.89/301.86 c bounds - >= 25 @ 299.679
300.89/301.86 c bounds - >= 27 @ 299.683
300.89/301.86 c bounds - >= 29 @ 299.686
300.89/301.86 c bounds - >= 31 @ 299.689
300.89/301.86 c bounds - >= 33 @ 299.691
300.89/301.86 c bounds - >= 35 @ 299.694
300.89/301.86 c bounds - >= 37 @ 299.697
300.89/301.86 c bounds - >= 39 @ 299.699
300.89/301.86 c bounds - >= 41 @ 299.702
300.89/301.86 c bounds - >= 43 @ 299.706
300.89/301.86 c bounds - >= 45 @ 299.709
300.89/301.86 c bounds - >= 47 @ 299.712
300.89/301.86 c bounds - >= 48 @ 299.715
300.89/301.86 c bounds - >= 50 @ 299.718
300.89/301.86 c bounds - >= 52 @ 299.721
300.89/301.86 c bounds - >= 53 @ 299.724
300.89/301.86 c bounds - >= 54 @ 299.727
300.89/301.86 c bounds - >= 55 @ 299.73
300.89/301.86 c bounds - >= 57 @ 299.733
300.89/301.86 c bounds - >= 59 @ 299.736
300.89/301.86 c bounds - >= 61 @ 299.739
300.89/301.86 c bounds - >= 62 @ 299.741
300.89/301.86 c bounds - >= 64 @ 299.745
300.89/301.86 c bounds - >= 66 @ 299.747
300.89/301.86 c bounds - >= 68 @ 299.751
300.89/301.86 c bounds - >= 70 @ 299.753
300.89/301.86 c bounds - >= 72 @ 299.756
300.89/301.86 c bounds - >= 74 @ 299.759
300.89/301.86 c bounds - >= 76 @ 299.762
300.89/301.86 c bounds - >= 78 @ 299.766
300.89/301.86 c bounds - >= 79 @ 299.769
300.89/301.86 c bounds - >= 81 @ 299.773
300.89/301.86 c bounds - >= 83 @ 299.776
300.89/301.86 c bounds - >= 85 @ 299.779
300.89/301.86 c bounds - >= 86 @ 299.783
300.89/301.86 c bounds - >= 88 @ 299.786
300.89/301.86 c bounds - >= 89 @ 299.789
300.89/301.86 c bounds - >= 91 @ 299.792
300.89/301.86 c bounds - >= 93 @ 299.795
300.89/301.86 c bounds - >= 95 @ 299.798
300.89/301.86 c bounds - >= 96 @ 299.8
300.89/301.86 c bounds - >= 97 @ 299.803
300.89/301.86 c bounds - >= 99 @ 299.806
300.89/301.86 c bounds - >= 101 @ 299.809
300.89/301.86 c bounds - >= 103 @ 299.812
300.89/301.86 c bounds - >= 105 @ 299.817
300.89/301.86 c bounds - >= 107 @ 299.819
300.89/301.86 c bounds - >= 109 @ 299.822
300.89/301.86 c bounds - >= 111 @ 299.824
300.89/301.86 c bounds - >= 112 @ 299.827
300.89/301.86 c bounds - >= 113 @ 299.829
300.89/301.86 c bounds - >= 114 @ 299.833
300.89/301.86 c bounds - >= 115 @ 299.835
300.89/301.86 c bounds - >= 117 @ 299.839
300.89/301.86 c bounds - >= 119 @ 299.841
300.89/301.86 c bounds - >= 120 @ 299.845
300.89/301.86 c bounds - >= 122 @ 299.848
300.89/301.86 c bounds - >= 124 @ 299.85
300.89/301.86 c bounds - >= 126 @ 299.854
300.89/301.86 c bounds - >= 128 @ 299.858
300.89/301.86 c bounds - >= 130 @ 299.862
300.89/301.86 c bounds - >= 131 @ 299.865
300.89/301.86 c bounds - >= 133 @ 299.867
300.89/301.86 c bounds - >= 135 @ 299.871
300.89/301.86 c bounds - >= 136 @ 299.876
300.89/301.86 c bounds - >= 138 @ 299.878
300.89/301.86 c bounds - >= 140 @ 299.885
300.89/301.86 c bounds - >= 141 @ 299.889
300.89/301.86 c bounds - >= 142 @ 299.891
300.89/301.86 c bounds - >= 143 @ 299.894
300.89/301.86 c bounds - >= 145 @ 299.899
300.89/301.86 c bounds - >= 147 @ 299.904
300.89/301.86 c bounds - >= 149 @ 299.908
300.89/301.86 c bounds - >= 151 @ 299.912
300.89/301.86 c bounds - >= 152 @ 299.917
300.89/301.86 c bounds - >= 153 @ 299.92
300.89/301.86 c bounds - >= 155 @ 299.923
300.89/301.86 c bounds - >= 157 @ 299.927
300.89/301.86 c bounds - >= 159 @ 299.931
300.89/301.86 c bounds - >= 161 @ 299.935
300.89/301.86 c bounds - >= 163 @ 299.938
300.89/301.86 c bounds - >= 164 @ 299.944
300.89/301.86 c bounds - >= 166 @ 299.948
300.89/301.86 c bounds - >= 167 @ 299.952
300.89/301.86 c bounds - >= 168 @ 299.957
300.89/301.86 c bounds - >= 170 @ 299.963
300.89/301.86 c bounds - >= 172 @ 299.968
300.89/301.86 c bounds - >= 173 @ 299.974
300.89/301.86 c bounds - >= 175 @ 299.977
300.89/301.86 c bounds - >= 177 @ 299.981
300.89/301.86 c bounds - >= 179 @ 299.985
300.89/301.86 c bounds - >= 181 @ 299.991
300.89/301.86 c bounds - >= 183 @ 299.995
300.89/301.86 c bounds - >= 185 @ 299.999
300.89/301.86 c bounds - >= 187 @ 300.005
300.89/301.86 c bounds - >= 188 @ 300.01
300.89/301.86 c bounds - >= 190 @ 300.014
300.89/301.86 c bounds - >= 192 @ 300.02
300.89/301.86 c bounds - >= 194 @ 300.024
300.89/301.86 c bounds - >= 196 @ 300.03
300.89/301.86 c bounds - >= 198 @ 300.033
300.89/301.86 c bounds - >= 200 @ 300.039
300.89/301.86 c bounds - >= 201 @ 300.042
300.89/301.86 c bounds - >= 203 @ 300.046
300.89/301.86 c bounds - >= 205 @ 300.054
300.89/301.86 c bounds - >= 207 @ 300.059
300.89/301.86 c bounds - >= 209 @ 300.064
300.89/301.86 c bounds - >= 210 @ 300.068
300.89/301.86 c bounds - >= 212 @ 300.072
300.89/301.86 c bounds - >= 213 @ 300.079
300.89/301.86 c bounds - >= 215 @ 300.083
300.89/301.86 c bounds - >= 216 @ 300.088
300.89/301.86 c bounds - >= 218 @ 300.095
300.89/301.86 c bounds - >= 219 @ 300.101
300.89/301.86 c bounds - >= 220 @ 300.109
300.89/301.86 c bounds - >= 222 @ 300.113
300.89/301.86 c bounds - >= 224 @ 300.118
300.89/301.86 c bounds - >= 226 @ 300.126
300.89/301.86 c bounds - >= 228 @ 300.13
300.89/301.86 c bounds - >= 230 @ 300.134
300.89/301.86 c bounds - >= 232 @ 300.142
300.89/301.86 c bounds - >= 234 @ 300.147
300.89/301.86 c bounds - >= 236 @ 300.152
300.89/301.86 c bounds - >= 238 @ 300.158
300.89/301.86 c bounds - >= 240 @ 300.165
300.89/301.86 c bounds - >= 242 @ 300.169
300.89/301.86 c bounds - >= 244 @ 300.172
300.89/301.86 c bounds - >= 246 @ 300.176
300.89/301.86 c bounds - >= 247 @ 300.181
300.89/301.86 c bounds - >= 248 @ 300.188
300.89/301.86 c bounds - >= 249 @ 300.192
300.89/301.86 c bounds - >= 251 @ 300.199
300.89/301.86 c bounds - >= 253 @ 300.206
300.89/301.86 c bounds - >= 255 @ 300.21
300.89/301.86 c bounds - >= 257 @ 300.212
300.89/301.86 c bounds - >= 259 @ 300.218
300.89/301.86 c bounds - >= 261 @ 300.221
300.89/301.86 c bounds - >= 263 @ 300.226
300.89/301.86 c bounds - >= 264 @ 300.234
300.89/301.86 c bounds - >= 266 @ 300.239
300.89/301.86 c bounds - >= 268 @ 300.244
300.89/301.86 c bounds - >= 270 @ 300.25
300.89/301.86 c bounds - >= 272 @ 300.255
302.48/303.44 c bounds - >= 274 @ 300.261
302.48/303.44 c bounds - >= 275 @ 300.269
302.48/303.44 c bounds - >= 277 @ 300.273
302.48/303.44 c bounds - >= 278 @ 300.278
302.48/303.44 c bounds - >= 279 @ 300.284
302.48/303.44 c bounds - >= 281 @ 300.29
302.48/303.44 c bounds - >= 282 @ 300.295
302.48/303.44 c bounds - >= 284 @ 300.297
302.48/303.44 c bounds - >= 285 @ 300.303
302.48/303.44 c bounds - >= 286 @ 300.312
302.48/303.44 c bounds - >= 287 @ 300.315
302.48/303.44 c bounds - >= 289 @ 300.32
302.48/303.44 c bounds - >= 291 @ 300.324
302.48/303.44 c bounds - >= 293 @ 300.329
302.48/303.44 c bounds - >= 295 @ 300.333
302.48/303.44 c bounds - >= 297 @ 300.338
302.48/303.44 c bounds - >= 299 @ 300.342
302.48/303.44 c bounds - >= 301 @ 300.347
302.48/303.44 c bounds - >= 303 @ 300.353
302.48/303.44 c bounds - >= 305 @ 300.357
302.48/303.44 c bounds - >= 307 @ 300.364
302.48/303.44 c bounds - >= 309 @ 300.369
302.48/303.44 c bounds - >= 310 @ 300.375
302.48/303.44 c bounds - >= 312 @ 300.382
302.48/303.44 c bounds - >= 314 @ 300.386
302.48/303.44 c bounds - >= 316 @ 300.389
302.48/303.44 c bounds - >= 318 @ 300.394
302.48/303.44 c bounds - >= 320 @ 300.4
302.48/303.44 c bounds - >= 322 @ 300.407
302.48/303.44 c bounds - >= 324 @ 300.411
302.48/303.44 c bounds - >= 326 @ 300.417
302.48/303.44 c bounds - >= 328 @ 300.423
302.48/303.44 c bounds - >= 330 @ 300.429
302.48/303.44 c bounds - >= 332 @ 300.434
302.48/303.44 c bounds - >= 333 @ 300.439
302.48/303.44 c bounds - >= 335 @ 300.443
302.48/303.44 c bounds - >= 337 @ 300.449
302.48/303.44 c bounds - >= 339 @ 300.454
302.48/303.44 c bounds - >= 340 @ 300.459
302.48/303.44 c bounds - >= 342 @ 300.465
302.48/303.44 c bounds - >= 344 @ 300.472
302.48/303.44 c bounds - >= 346 @ 300.477
302.48/303.44 c bounds - >= 348 @ 300.48
302.48/303.44 c bounds - >= 350 @ 300.484
302.48/303.44 c bounds - >= 352 @ 300.488
302.48/303.44 c bounds - >= 353 @ 300.492
302.48/303.44 c bounds - >= 355 @ 300.499
302.48/303.44 c bounds - >= 357 @ 300.504
302.48/303.44 c bounds - >= 359 @ 300.51
302.48/303.44 c bounds - >= 360 @ 300.516
302.48/303.44 c bounds - >= 362 @ 300.52
302.48/303.44 c bounds - >= 364 @ 300.524
302.48/303.44 c bounds - >= 366 @ 300.528
302.48/303.44 c bounds - >= 368 @ 300.533
302.48/303.44 c bounds - >= 370 @ 300.538
302.48/303.44 c bounds - >= 371 @ 300.543
302.48/303.44 c bounds - >= 373 @ 300.55
302.48/303.44 c bounds - >= 375 @ 300.557
302.48/303.44 c bounds - >= 376 @ 300.56
302.48/303.44 c bounds - >= 378 @ 300.562
302.48/303.44 c bounds - >= 379 @ 300.566
302.48/303.44 c bounds - >= 381 @ 300.573
302.48/303.44 c bounds - >= 383 @ 300.577
302.48/303.44 c bounds - >= 385 @ 300.581
302.48/303.44 c bounds - >= 387 @ 300.588
302.48/303.44 c bounds - >= 389 @ 300.593
302.48/303.44 c bounds - >= 391 @ 300.596
302.48/303.44 c bounds - >= 393 @ 300.6
302.48/303.44 c bounds - >= 395 @ 300.607
302.48/303.44 c bounds - >= 396 @ 300.612
302.48/303.44 c bounds - >= 397 @ 300.618
302.48/303.44 c bounds - >= 398 @ 300.622
302.48/303.44 c bounds - >= 400 @ 300.624
302.48/303.44 c bounds - >= 402 @ 300.628
302.48/303.44 c bounds - >= 404 @ 300.635
302.48/303.44 c bounds - >= 405 @ 300.639
302.48/303.44 c bounds - >= 407 @ 300.644
302.48/303.44 c bounds - >= 409 @ 300.649
302.48/303.44 c bounds - >= 410 @ 300.652
302.48/303.44 c bounds - >= 411 @ 300.659
302.48/303.44 c bounds - >= 413 @ 300.664
302.48/303.44 c bounds - >= 415 @ 300.668
302.48/303.44 c bounds - >= 416 @ 300.672
302.48/303.44 c bounds - >= 417 @ 300.68
302.48/303.44 c bounds - >= 419 @ 300.682
302.48/303.44 c bounds - >= 420 @ 300.686
302.48/303.44 c bounds - >= 422 @ 300.692
302.48/303.44 c bounds - >= 424 @ 300.697
302.48/303.44 c bounds - >= 426 @ 300.701
302.48/303.44 c bounds - >= 428 @ 300.707
302.48/303.44 c bounds - >= 430 @ 300.71
302.48/303.44 c bounds - >= 431 @ 300.717
302.48/303.44 c bounds - >= 433 @ 300.722
302.48/303.44 c bounds - >= 435 @ 300.728
302.48/303.44 c bounds - >= 437 @ 300.733
302.48/303.44 c bounds - >= 439 @ 300.739
302.48/303.44 c bounds - >= 440 @ 300.744
302.48/303.44 c bounds - >= 442 @ 300.75
302.48/303.44 c bounds - >= 443 @ 300.757
302.48/303.44 c bounds - >= 445 @ 300.763
302.48/303.44 c bounds - >= 447 @ 300.767
302.48/303.44 c bounds - >= 449 @ 300.773
302.48/303.44 c bounds - >= 451 @ 300.778
302.48/303.44 c bounds - >= 453 @ 300.784
302.48/303.44 c bounds - >= 454 @ 300.788
302.48/303.44 c bounds - >= 456 @ 300.791
302.48/303.44 c bounds - >= 458 @ 300.795
302.48/303.44 c bounds - >= 460 @ 300.801
302.48/303.44 c bounds - >= 462 @ 300.805
302.48/303.44 c bounds - >= 463 @ 300.81
302.48/303.44 c bounds - >= 465 @ 300.813
302.48/303.44 c bounds - >= 466 @ 300.819
302.48/303.44 c bounds - >= 467 @ 300.824
302.48/303.44 c bounds - >= 469 @ 300.829
302.48/303.44 c bounds - >= 470 @ 300.833
302.48/303.44 c bounds - >= 472 @ 300.838
302.48/303.44 c bounds - >= 473 @ 300.844
302.48/303.44 c bounds - >= 474 @ 300.848
302.48/303.44 c bounds - >= 475 @ 300.853
302.48/303.44 c bounds - >= 476 @ 300.858
302.48/303.44 c bounds - >= 477 @ 300.861
302.48/303.44 c bounds - >= 478 @ 300.866
302.48/303.44 c bounds - >= 479 @ 300.87
302.48/303.44 c bounds - >= 480 @ 300.875
302.48/303.44 c bounds - >= 481 @ 300.881
302.48/303.44 c bounds - >= 482 @ 300.886
302.48/303.44 c bounds - >= 483 @ 300.89
302.48/303.44 c bounds - >= 484 @ 300.894
302.48/303.44 c bounds - >= 485 @ 300.899
302.48/303.44 c bounds - >= 486 @ 300.904
302.48/303.44 c bounds - >= 487 @ 300.906
302.48/303.44 c bounds - >= 488 @ 300.912
302.48/303.44 c bounds - >= 489 @ 300.919
302.48/303.44 c bounds - >= 490 @ 300.923
302.48/303.44 c bounds - >= 491 @ 300.928
302.48/303.44 c bounds - >= 492 @ 300.932
302.48/303.44 c bounds - >= 493 @ 300.936
302.48/303.44 c bounds - >= 494 @ 300.942
302.48/303.44 c bounds - >= 495 @ 300.945
302.48/303.44 c bounds - >= 496 @ 300.949
302.48/303.44 c bounds - >= 497 @ 300.953
302.48/303.44 c bounds - >= 498 @ 300.96
302.48/303.44 c bounds - >= 499 @ 300.962
302.48/303.44 c bounds - >= 500 @ 300.967
302.48/303.44 c bounds - >= 501 @ 300.974
302.48/303.44 c bounds - >= 502 @ 300.98
302.48/303.44 c bounds - >= 503 @ 300.986
304.37/305.31 c bounds - >= 504 @ 300.99
304.37/305.31 c bounds - >= 505 @ 300.995
304.37/305.31 c bounds - >= 506 @ 301.002
304.37/305.31 c bounds - >= 507 @ 301.007
304.37/305.31 c bounds - >= 508 @ 301.01
304.37/305.31 c bounds - >= 509 @ 301.017
304.37/305.31 c bounds - >= 510 @ 301.022
304.37/305.31 c bounds - >= 511 @ 301.025
304.37/305.31 c bounds - >= 512 @ 301.028
304.37/305.31 c bounds - >= 513 @ 301.033
304.37/305.31 c bounds - >= 514 @ 301.038
304.37/305.31 c bounds - >= 515 @ 301.044
304.37/305.31 c bounds - >= 516 @ 301.047
304.37/305.31 c bounds - >= 517 @ 301.055
304.37/305.31 c bounds - >= 518 @ 301.059
304.37/305.31 c bounds - >= 519 @ 301.064
304.37/305.31 c bounds - >= 520 @ 301.072
304.37/305.31 c bounds - >= 521 @ 301.076
304.37/305.31 c bounds - >= 522 @ 301.081
304.37/305.31 c bounds - >= 523 @ 301.087
304.37/305.31 c bounds - >= 524 @ 301.093
304.37/305.31 c bounds - >= 525 @ 301.098
304.37/305.31 c bounds - >= 526 @ 301.102
304.37/305.31 c bounds - >= 527 @ 301.106
304.37/305.31 c bounds - >= 528 @ 301.112
304.37/305.31 c bounds - >= 529 @ 301.117
304.37/305.31 c bounds - >= 530 @ 301.123
304.37/305.31 c bounds - >= 531 @ 301.129
304.37/305.31 c bounds - >= 532 @ 301.135
304.37/305.31 c bounds - >= 533 @ 301.139
304.37/305.31 c bounds - >= 534 @ 301.143
304.37/305.31 c bounds - >= 535 @ 301.148
304.37/305.31 c bounds - >= 536 @ 301.152
304.37/305.31 c bounds - >= 537 @ 301.157
304.37/305.31 c bounds - >= 538 @ 301.163
304.37/305.31 c bounds - >= 539 @ 301.167
304.37/305.31 c bounds - >= 540 @ 301.174
304.37/305.31 c bounds - >= 541 @ 301.179
304.37/305.31 c bounds - >= 542 @ 301.184
304.37/305.31 c bounds - >= 543 @ 301.188
304.37/305.31 c bounds - >= 544 @ 301.192
304.37/305.31 c bounds - >= 545 @ 301.198
304.37/305.31 c bounds - >= 546 @ 301.203
304.37/305.31 c bounds - >= 547 @ 301.208
304.37/305.31 c bounds - >= 548 @ 301.214
304.37/305.31 c bounds - >= 549 @ 301.22
304.37/305.31 c bounds - >= 550 @ 301.226
304.37/305.31 c bounds - >= 551 @ 301.232
304.37/305.31 c bounds - >= 552 @ 301.236
304.37/305.31 c bounds - >= 553 @ 301.243
304.37/305.31 c bounds - >= 554 @ 301.251
304.37/305.31 c bounds - >= 555 @ 301.256
304.37/305.31 c bounds - >= 556 @ 301.262
304.37/305.31 c bounds - >= 557 @ 301.271
304.37/305.31 c bounds - >= 558 @ 301.275
304.37/305.31 c bounds - >= 559 @ 301.281
304.37/305.31 c bounds - >= 560 @ 301.288
304.37/305.31 c bounds - >= 561 @ 301.292
304.37/305.31 c bounds - >= 562 @ 301.297
304.37/305.31 c bounds - >= 563 @ 301.301
304.37/305.31 c bounds - >= 564 @ 301.306
304.37/305.31 c bounds - >= 565 @ 301.31
304.37/305.31 c bounds - >= 566 @ 301.314
304.37/305.31 c bounds - >= 567 @ 301.319
304.37/305.31 c bounds - >= 568 @ 301.325
304.37/305.31 c bounds - >= 569 @ 301.33
304.37/305.31 c bounds - >= 570 @ 301.339
304.37/305.31 c bounds - >= 571 @ 301.346
304.37/305.31 c bounds - >= 572 @ 301.349
304.37/305.31 c bounds - >= 573 @ 301.353
304.37/305.31 c bounds - >= 574 @ 301.356
304.37/305.31 c bounds - >= 575 @ 301.363
304.37/305.31 c bounds - >= 576 @ 301.369
304.37/305.31 c bounds - >= 577 @ 301.376
304.37/305.31 c bounds - >= 578 @ 301.382
304.37/305.31 c bounds - >= 579 @ 301.388
304.37/305.31 c bounds - >= 580 @ 301.395
304.37/305.31 c bounds - >= 581 @ 301.402
304.37/305.31 c bounds - >= 582 @ 301.408
304.37/305.31 c bounds - >= 583 @ 301.413
304.37/305.31 c bounds - >= 584 @ 301.418
304.37/305.31 c bounds - >= 585 @ 301.422
304.37/305.31 c bounds - >= 586 @ 301.426
304.37/305.31 c bounds - >= 587 @ 301.427
304.37/305.31 c bounds - >= 588 @ 301.431
304.37/305.31 c bounds - >= 589 @ 301.436
304.37/305.31 c bounds - >= 590 @ 301.443
304.37/305.31 c bounds - >= 591 @ 301.448
304.37/305.31 c bounds - >= 592 @ 301.454
304.37/305.31 c bounds - >= 593 @ 301.462
304.37/305.31 c bounds - >= 594 @ 301.469
304.37/305.31 c bounds - >= 595 @ 301.475
304.37/305.31 c bounds - >= 596 @ 301.48
304.37/305.31 c bounds - >= 597 @ 301.485
304.37/305.31 c bounds - >= 598 @ 301.491
304.37/305.31 c bounds - >= 599 @ 301.498
304.37/305.31 c bounds - >= 600 @ 301.504
304.37/305.31 c bounds - >= 601 @ 301.511
304.37/305.31 c bounds - >= 602 @ 301.517
304.37/305.31 c bounds - >= 603 @ 301.523
304.37/305.31 c bounds - >= 604 @ 301.53
304.37/305.31 c bounds - >= 605 @ 301.538
304.37/305.31 c bounds - >= 606 @ 301.543
304.37/305.31 c bounds - >= 607 @ 301.55
304.37/305.31 c bounds - >= 608 @ 301.556
304.37/305.31 c bounds - >= 609 @ 301.561
304.37/305.31 c bounds - >= 610 @ 301.566
304.37/305.31 c bounds - >= 611 @ 301.571
304.37/305.31 c bounds - >= 612 @ 301.578
304.37/305.31 c bounds - >= 613 @ 301.584
304.37/305.31 c bounds - >= 614 @ 301.588
304.37/305.31 c bounds - >= 615 @ 301.596
304.37/305.31 c bounds - >= 616 @ 301.604
304.37/305.31 c bounds - >= 617 @ 301.61
304.37/305.31 c bounds - >= 618 @ 301.614
304.37/305.31 c bounds - >= 619 @ 301.623
304.37/305.31 c bounds - >= 620 @ 301.629
304.37/305.31 c bounds - >= 621 @ 301.633
304.37/305.31 c bounds - >= 622 @ 301.635
304.37/305.31 c bounds - >= 623 @ 301.639
304.37/305.31 c bounds - >= 624 @ 301.645
304.37/305.31 c bounds - >= 625 @ 301.653
304.37/305.31 c bounds - >= 626 @ 301.658
304.37/305.31 c bounds - >= 627 @ 301.663
304.37/305.31 c bounds - >= 628 @ 301.671
304.37/305.31 c bounds - >= 629 @ 301.675
304.37/305.31 c bounds - >= 630 @ 301.684
304.37/305.31 c bounds - >= 631 @ 301.688
304.37/305.31 c bounds - >= 632 @ 301.693
304.37/305.31 c bounds - >= 633 @ 301.698
304.37/305.31 c bounds - >= 634 @ 301.705
304.37/305.31 c bounds - >= 635 @ 301.711
304.37/305.31 c bounds - >= 636 @ 301.72
304.37/305.31 c bounds - >= 637 @ 301.725
304.37/305.31 c bounds - >= 638 @ 301.73
304.37/305.31 c bounds - >= 639 @ 301.736
304.37/305.31 c bounds - >= 640 @ 301.741
304.37/305.31 c bounds - >= 641 @ 301.747
304.37/305.31 c bounds - >= 642 @ 301.754
304.37/305.31 c bounds - >= 643 @ 301.761
304.37/305.31 c bounds - >= 644 @ 301.767
304.37/305.31 c bounds - >= 645 @ 301.775
304.37/305.31 c bounds - >= 646 @ 301.78
304.37/305.31 c bounds - >= 647 @ 301.783
304.37/305.31 c bounds - >= 648 @ 301.791
304.37/305.31 c bounds - >= 649 @ 301.797
304.37/305.31 c bounds - >= 650 @ 301.805
415.84/417.14 c bounds - >= 651 @ 301.811
415.84/417.14 c bounds - >= 652 @ 301.818
415.84/417.14 c bounds - >= 653 @ 301.826
415.84/417.14 c bounds - >= 654 @ 301.833
415.84/417.14 c bounds - >= 655 @ 301.839
415.84/417.14 c bounds - >= 656 @ 301.845
415.84/417.14 c bounds - >= 657 @ 301.851
415.84/417.14 c bounds - >= 658 @ 301.858
415.84/417.14 c bounds - >= 659 @ 301.863
415.84/417.14 c bounds - >= 660 @ 301.869
415.84/417.14 c bounds - >= 661 @ 301.875
415.84/417.14 c bounds - >= 662 @ 301.884
415.84/417.14 c bounds - >= 663 @ 301.89
415.84/417.14 c bounds - >= 664 @ 301.895
415.84/417.14 c bounds - >= 665 @ 301.903
415.84/417.14 c bounds - >= 666 @ 301.908
415.84/417.14 c bounds - >= 667 @ 301.915
415.84/417.14 c bounds - >= 668 @ 301.923
415.84/417.14 c bounds - >= 669 @ 301.926
415.84/417.14 c bounds - >= 670 @ 301.932
415.84/417.14 c bounds - >= 671 @ 301.938
415.84/417.14 c bounds - >= 672 @ 301.945
415.84/417.14 c bounds - >= 673 @ 301.948
415.84/417.14 c bounds - >= 674 @ 301.954
415.84/417.14 c bounds - >= 675 @ 301.961
415.84/417.14 c bounds - >= 676 @ 301.965
415.84/417.14 c bounds - >= 677 @ 301.972
415.84/417.14 c bounds - >= 678 @ 301.977
415.84/417.14 c bounds - >= 679 @ 301.985
415.84/417.14 c bounds - >= 680 @ 301.99
415.84/417.14 c bounds - >= 681 @ 301.998
415.84/417.14 c bounds - >= 682 @ 302.005
415.84/417.14 c bounds - >= 683 @ 302.009
415.84/417.14 c bounds - >= 684 @ 302.015
415.84/417.14 c bounds - >= 685 @ 302.023
415.84/417.14 c bounds - >= 686 @ 302.033
415.84/417.14 c bounds - >= 687 @ 302.039
415.84/417.14 c bounds - >= 688 @ 302.045
415.84/417.14 c bounds - >= 689 @ 302.048
415.84/417.14 c bounds - >= 690 @ 302.054
415.84/417.14 c bounds - >= 691 @ 302.058
415.84/417.14 c bounds - >= 692 @ 302.063
415.84/417.14 c bounds - >= 693 @ 302.068
415.84/417.14 c bounds - >= 694 @ 302.074
415.84/417.14 c bounds - >= 695 @ 302.082
415.84/417.14 c bounds - >= 696 @ 302.089
415.84/417.14 c bounds - >= 697 @ 302.094
415.84/417.14 c bounds - >= 698 @ 302.101
415.84/417.14 c bounds - >= 699 @ 302.106
415.84/417.14 c bounds - >= 700 @ 302.112
415.84/417.14 c bounds - >= 701 @ 302.118
415.84/417.14 c bounds - >= 702 @ 302.127
415.84/417.14 c bounds - >= 703 @ 302.132
415.84/417.14 c bounds - >= 704 @ 302.138
415.84/417.14 c bounds - >= 705 @ 302.143
415.84/417.14 c bounds - >= 706 @ 302.149
415.84/417.14 c bounds - >= 707 @ 302.152
415.84/417.14 c bounds - >= 708 @ 302.158
415.84/417.14 c bounds - >= 709 @ 302.164
415.84/417.14 c bounds - >= 710 @ 302.169
415.84/417.14 c bounds - >= 711 @ 302.176
415.84/417.14 c bounds - >= 712 @ 302.182
415.84/417.14 c bounds - >= 713 @ 302.188
415.84/417.14 c bounds - >= 714 @ 302.197
415.84/417.14 c bounds - >= 715 @ 302.202
415.84/417.14 c bounds - >= 716 @ 302.21
415.84/417.14 c bounds - >= 717 @ 302.219
415.84/417.14 c bounds - >= 718 @ 302.223
415.84/417.14 c bounds - >= 719 @ 302.231
415.84/417.14 c bounds - >= 720 @ 302.235
415.84/417.14 c bounds - >= 721 @ 302.239
415.84/417.14 c bounds - >= 722 @ 302.247
415.84/417.14 c bounds - >= 723 @ 302.254
415.84/417.14 c bounds - >= 724 @ 302.262
415.84/417.14 c bounds - >= 725 @ 302.269
415.84/417.14 c bounds - >= 726 @ 302.277
415.84/417.14 c bounds - >= 727 @ 302.282
415.84/417.14 c bounds - >= 728 @ 302.289
415.84/417.14 c bounds - >= 729 @ 302.295
415.84/417.14 c bounds - >= 730 @ 302.3
415.84/417.14 c bounds - >= 731 @ 302.305
415.84/417.14 c bounds - >= 732 @ 302.309
415.84/417.14 c bounds - >= 733 @ 302.317
415.84/417.14 c bounds - >= 734 @ 302.325
415.84/417.14 c bounds - >= 735 @ 302.331
415.84/417.14 c bounds - >= 736 @ 302.335
415.84/417.14 c bounds - >= 737 @ 302.34
415.84/417.14 c bounds - >= 738 @ 302.349
415.84/417.14 c bounds - >= 739 @ 302.354
415.84/417.14 c bounds - >= 740 @ 302.356
415.84/417.14 c bounds - >= 741 @ 302.361
415.84/417.14 c bounds - >= 742 @ 302.367
415.84/417.14 c bounds - >= 743 @ 302.373
415.84/417.14 c bounds - >= 744 @ 302.378
415.84/417.14 c bounds - >= 745 @ 302.385
415.84/417.14 c bounds - >= 746 @ 302.389
415.84/417.14 c #Conflicts: 1000 | #Constraints: 5671
415.84/417.14 c #Conflicts: 2000 | #Constraints: 6671
415.84/417.14 c INPROCESSING
415.84/417.14 c GARBAGE COLLECT
415.84/417.14 c #Conflicts: 3000 | #Constraints: 6180
415.84/417.14 c #Conflicts: 4000 | #Constraints: 7180
415.84/417.14 c INPROCESSING
415.84/417.14 c GARBAGE COLLECT
415.84/417.14 c #Conflicts: 5000 | #Constraints: 6605
415.84/417.14 c #Conflicts: 6000 | #Constraints: 7605
415.84/417.14 c INPROCESSING
415.84/417.14 c GARBAGE COLLECT
415.84/417.14 c #Conflicts: 7000 | #Constraints: 6658
415.84/417.14 c #Conflicts: 8000 | #Constraints: 7658
415.84/417.14 c #Conflicts: 9000 | #Constraints: 8658
415.84/417.14 c INPROCESSING
415.84/417.14 c GARBAGE COLLECT
415.84/417.14 c #Conflicts: 10000 | #Constraints: 7384
415.84/417.14 c #Conflicts: 11000 | #Constraints: 8384
415.84/417.14 c #Conflicts: 12000 | #Constraints: 9384
415.84/417.14 c INPROCESSING
415.84/417.14 c GARBAGE COLLECT
415.84/417.14 c #Conflicts: 13000 | #Constraints: 7840
415.84/417.14 c #Conflicts: 14000 | #Constraints: 8840
415.84/417.14 c #Conflicts: 15000 | #Constraints: 9840
415.84/417.14 c INPROCESSING
415.84/417.14 c GARBAGE COLLECT
415.84/417.14 c #Conflicts: 16000 | #Constraints: 8063
415.84/417.14 c #Conflicts: 17000 | #Constraints: 9063
415.84/417.14 c #Conflicts: 18000 | #Constraints: 10063
415.84/417.14 c INPROCESSING
415.84/417.14 c GARBAGE COLLECT
415.84/417.14 c #Conflicts: 19000 | #Constraints: 8059
415.84/417.14 c #Conflicts: 20000 | #Constraints: 9059
415.84/417.14 c #Conflicts: 21000 | #Constraints: 10059
415.84/417.14 c INPROCESSING
415.84/417.14 c GARBAGE COLLECT
415.84/417.14 c #Conflicts: 22000 | #Constraints: 7873
1272.92/1276.76 c #Conflicts: 23000 | #Constraints: 8873
1272.92/1276.76 c #Conflicts: 24000 | #Constraints: 9873
1272.92/1276.76 c #Conflicts: 25000 | #Constraints: 10873
1272.92/1276.76 c INPROCESSING
1272.92/1276.76 c GARBAGE COLLECT
1272.92/1276.76 c #Conflicts: 26000 | #Constraints: 8499
1272.92/1276.76 c #Conflicts: 27000 | #Constraints: 9499
1272.92/1276.76 c #Conflicts: 28000 | #Constraints: 10499
1272.92/1276.76 c #Conflicts: 29000 | #Constraints: 11499
1272.92/1276.76 c INPROCESSING
1272.92/1276.76 c GARBAGE COLLECT
1272.92/1276.76 c #Conflicts: 30000 | #Constraints: 8887
1272.92/1276.76 c #Conflicts: 31000 | #Constraints: 9887
1272.92/1276.76 c #Conflicts: 32000 | #Constraints: 10887
1272.92/1276.76 c #Conflicts: 33000 | #Constraints: 11887
1272.92/1276.76 c INPROCESSING
1272.92/1276.76 c GARBAGE COLLECT
1272.92/1276.76 c #Conflicts: 34000 | #Constraints: 9096
1272.92/1276.76 c #Conflicts: 35000 | #Constraints: 10096
1272.92/1276.76 c #Conflicts: 36000 | #Constraints: 11096
1272.92/1276.76 c #Conflicts: 37000 | #Constraints: 12096
1272.92/1276.76 c INPROCESSING
1272.92/1276.76 c GARBAGE COLLECT
1272.92/1276.76 c #Conflicts: 38000 | #Constraints: 9116
1272.92/1276.76 c #Conflicts: 39000 | #Constraints: 10116
1272.92/1276.76 c #Conflicts: 40000 | #Constraints: 11116
1272.92/1276.76 c #Conflicts: 41000 | #Constraints: 12116
1272.92/1276.76 c INPROCESSING
1272.92/1276.76 c GARBAGE COLLECT
1272.92/1276.76 c #Conflicts: 42000 | #Constraints: 8921
1272.92/1276.76 c #Conflicts: 43000 | #Constraints: 9921
1272.92/1276.76 c #Conflicts: 44000 | #Constraints: 10921
1272.92/1276.76 c #Conflicts: 45000 | #Constraints: 11921
1272.92/1276.76 c #Conflicts: 46000 | #Constraints: 12921
1272.92/1276.76 c INPROCESSING
1272.92/1276.76 c GARBAGE COLLECT
1272.92/1276.76 c #Conflicts: 47000 | #Constraints: 9512
1272.92/1276.76 c #Conflicts: 48000 | #Constraints: 10512
1272.92/1276.76 c #Conflicts: 49000 | #Constraints: 11512
1272.92/1276.76 c #Conflicts: 50000 | #Constraints: 12512
1272.92/1276.76 c #Conflicts: 51000 | #Constraints: 13512
1272.92/1276.76 c INPROCESSING
1272.92/1276.76 c GARBAGE COLLECT
1272.92/1276.76 c #Conflicts: 52000 | #Constraints: 9910
1272.92/1276.76 c #Conflicts: 53000 | #Constraints: 10910
1272.92/1276.76 c #Conflicts: 54000 | #Constraints: 11910
1272.92/1276.76 c #Conflicts: 55000 | #Constraints: 12910
1272.92/1276.76 c #Conflicts: 56000 | #Constraints: 13910
1272.92/1276.76 c INPROCESSING
1272.92/1276.76 c GARBAGE COLLECT
1272.92/1276.76 c #Conflicts: 57000 | #Constraints: 10107
1272.92/1276.76 c #Conflicts: 58000 | #Constraints: 11107
1272.92/1276.76 c #Conflicts: 59000 | #Constraints: 12107
1272.92/1276.76 c #Conflicts: 60000 | #Constraints: 13107
1272.92/1276.76 c #Conflicts: 61000 | #Constraints: 14107
1272.92/1276.76 c INPROCESSING
1272.92/1276.76 c GARBAGE COLLECT
1272.92/1276.76 c #Conflicts: 62000 | #Constraints: 10088
1272.92/1276.76 c #Conflicts: 63000 | #Constraints: 11088
1272.92/1276.76 c #Conflicts: 64000 | #Constraints: 12088
1272.92/1276.76 c #Conflicts: 65000 | #Constraints: 13088
1272.92/1276.76 c #Conflicts: 66000 | #Constraints: 14088
1272.92/1276.76 c INPROCESSING
1272.92/1276.76 c GARBAGE COLLECT
1272.92/1276.76 c #Conflicts: 67000 | #Constraints: 9864
1272.92/1276.76 c #Conflicts: 68000 | #Constraints: 10864
1272.92/1276.76 c #Conflicts: 69000 | #Constraints: 11864
1272.92/1276.76 c #Conflicts: 70000 | #Constraints: 12864
1272.92/1276.76 c #Conflicts: 71000 | #Constraints: 13864
1272.92/1276.76 c #Conflicts: 72000 | #Constraints: 14864
1272.92/1276.76 c INPROCESSING
1272.92/1276.76 c GARBAGE COLLECT
1272.92/1276.76 c #Conflicts: 73000 | #Constraints: 10467
1272.92/1276.76 c #Conflicts: 74000 | #Constraints: 11467
1272.92/1276.77 c #Conflicts: 75000 | #Constraints: 12467
1272.92/1276.77 c #Conflicts: 76000 | #Constraints: 13467
1272.92/1276.77 c #Conflicts: 77000 | #Constraints: 14467
1272.92/1276.77 c #Conflicts: 78000 | #Constraints: 15467
1272.92/1276.77 c INPROCESSING
1272.92/1276.77 c GARBAGE COLLECT
1272.92/1276.77 c #Conflicts: 79000 | #Constraints: 10837
1272.92/1276.77 c #Conflicts: 80000 | #Constraints: 11837
1272.92/1276.77 c #Conflicts: 81000 | #Constraints: 12837
1272.92/1276.77 c #Conflicts: 82000 | #Constraints: 13837
1272.92/1276.77 c #Conflicts: 83000 | #Constraints: 14837
1272.92/1276.77 c #Conflicts: 84000 | #Constraints: 15837
1272.92/1276.77 c INPROCESSING
1272.92/1276.77 c GARBAGE COLLECT
1272.92/1276.77 c #Conflicts: 85000 | #Constraints: 11026
1272.92/1276.77 c #Conflicts: 86000 | #Constraints: 12026
1272.92/1276.77 c #Conflicts: 87000 | #Constraints: 13026
1272.92/1276.77 c #Conflicts: 88000 | #Constraints: 14026
1272.92/1276.77 c #Conflicts: 89000 | #Constraints: 15026
1272.92/1276.77 c #Conflicts: 90000 | #Constraints: 16026
1272.92/1276.77 c INPROCESSING
1272.92/1276.77 c GARBAGE COLLECT
1272.92/1276.77 c #Conflicts: 91000 | #Constraints: 11026
1272.92/1276.77 c #Conflicts: 92000 | #Constraints: 12026
2819.42/2827.70 c #Conflicts: 93000 | #Constraints: 13026
2819.42/2827.70 c #Conflicts: 94000 | #Constraints: 14026
2819.42/2827.70 c #Conflicts: 95000 | #Constraints: 15026
2819.42/2827.70 c #Conflicts: 96000 | #Constraints: 16026
2819.42/2827.70 c INPROCESSING
2819.42/2827.70 c GARBAGE COLLECT
2819.42/2827.70 c #Conflicts: 97000 | #Constraints: 10828
2819.42/2827.70 c #Conflicts: 98000 | #Constraints: 11828
2819.42/2827.70 c #Conflicts: 99000 | #Constraints: 12828
2819.42/2827.70 c #Conflicts: 100000 | #Constraints: 13828
2819.42/2827.70 c #Conflicts: 101000 | #Constraints: 14828
2819.42/2827.70 c #Conflicts: 102000 | #Constraints: 15828
2819.42/2827.70 c #Conflicts: 103000 | #Constraints: 16828
2819.42/2827.70 c INPROCESSING
2819.42/2827.70 c GARBAGE COLLECT
2819.42/2827.70 c #Conflicts: 104000 | #Constraints: 11423
2819.42/2827.70 c #Conflicts: 105000 | #Constraints: 12423
2819.42/2827.70 c #Conflicts: 106000 | #Constraints: 13423
2819.42/2827.70 c #Conflicts: 107000 | #Constraints: 14423
2819.42/2827.70 c #Conflicts: 108000 | #Constraints: 15423
2819.42/2827.70 c #Conflicts: 109000 | #Constraints: 16423
2819.42/2827.70 c #Conflicts: 110000 | #Constraints: 17423
2819.42/2827.70 c INPROCESSING
2819.42/2827.70 c GARBAGE COLLECT
2819.42/2827.70 c #Conflicts: 111000 | #Constraints: 11855
2819.42/2827.70 c #Conflicts: 112000 | #Constraints: 12855
2819.42/2827.70 c #Conflicts: 113000 | #Constraints: 13855
2819.42/2827.70 c #Conflicts: 114000 | #Constraints: 14855
2819.42/2827.70 c #Conflicts: 115000 | #Constraints: 15855
2819.42/2827.70 c #Conflicts: 116000 | #Constraints: 16855
2819.42/2827.70 c #Conflicts: 117000 | #Constraints: 17855
2819.42/2827.70 c INPROCESSING
2819.42/2827.70 c GARBAGE COLLECT
2819.42/2827.70 c #Conflicts: 118000 | #Constraints: 12066
2819.42/2827.70 c #Conflicts: 119000 | #Constraints: 13066
2819.42/2827.70 c #Conflicts: 120000 | #Constraints: 14066
2819.42/2827.70 c #Conflicts: 121000 | #Constraints: 15066
2819.42/2827.70 c #Conflicts: 122000 | #Constraints: 16066
2819.42/2827.70 c #Conflicts: 123000 | #Constraints: 17066
2819.42/2827.70 c #Conflicts: 124000 | #Constraints: 18066
2819.42/2827.70 c INPROCESSING
2819.42/2827.70 c GARBAGE COLLECT
2819.42/2827.70 c #Conflicts: 125000 | #Constraints: 12076
2819.42/2827.70 c #Conflicts: 126000 | #Constraints: 13076
2819.42/2827.70 c #Conflicts: 127000 | #Constraints: 14076
2819.42/2827.70 c #Conflicts: 128000 | #Constraints: 15076
2819.42/2827.70 c #Conflicts: 129000 | #Constraints: 16076
2819.42/2827.70 c #Conflicts: 130000 | #Constraints: 17076
2819.42/2827.70 c #Conflicts: 131000 | #Constraints: 18076
2819.42/2827.70 c INPROCESSING
2819.42/2827.70 c GARBAGE COLLECT
2819.42/2827.70 c #Conflicts: 132000 | #Constraints: 11869
2819.42/2827.70 c #Conflicts: 133000 | #Constraints: 12869
2819.42/2827.70 c #Conflicts: 134000 | #Constraints: 13869
2819.42/2827.70 c #Conflicts: 135000 | #Constraints: 14869
2819.42/2827.70 c #Conflicts: 136000 | #Constraints: 15869
2819.42/2827.70 c #Conflicts: 137000 | #Constraints: 16869
2819.42/2827.70 c #Conflicts: 138000 | #Constraints: 17869
2819.42/2827.70 c #Conflicts: 139000 | #Constraints: 18869
2819.42/2827.70 c INPROCESSING
2819.42/2827.70 c GARBAGE COLLECT
2819.42/2827.70 c #Conflicts: 140000 | #Constraints: 12445
2819.42/2827.70 c #Conflicts: 141000 | #Constraints: 13445
2819.42/2827.70 c #Conflicts: 142000 | #Constraints: 14445
2819.42/2827.70 c #Conflicts: 143000 | #Constraints: 15445
2819.42/2827.70 c #Conflicts: 144000 | #Constraints: 16445
2819.42/2827.70 c #Conflicts: 145000 | #Constraints: 17445
2819.42/2827.70 c #Conflicts: 146000 | #Constraints: 18445
2819.42/2827.70 c #Conflicts: 147000 | #Constraints: 19445
2819.42/2827.70 c INPROCESSING
2819.42/2827.70 c GARBAGE COLLECT
2819.42/2827.70 c #Conflicts: 148000 | #Constraints: 12837
2819.42/2827.70 c #Conflicts: 149000 | #Constraints: 13837
2819.42/2827.70 c #Conflicts: 150000 | #Constraints: 14837
2819.42/2827.70 c #Conflicts: 151000 | #Constraints: 15837
2819.42/2827.70 c #Conflicts: 152000 | #Constraints: 16837
2819.42/2827.70 c #Conflicts: 153000 | #Constraints: 17837
2819.42/2827.70 c #Conflicts: 154000 | #Constraints: 18837
2819.42/2827.70 c #Conflicts: 155000 | #Constraints: 19837
2819.42/2827.70 c INPROCESSING
2819.42/2827.70 c GARBAGE COLLECT
2819.42/2827.70 c #Conflicts: 156000 | #Constraints: 13025
2819.42/2827.70 c #Conflicts: 157000 | #Constraints: 14025
2819.42/2827.70 c #Conflicts: 158000 | #Constraints: 15025
2819.42/2827.70 c #Conflicts: 159000 | #Constraints: 16025
2819.42/2827.70 c #Conflicts: 160000 | #Constraints: 17025
2819.42/2827.70 c #Conflicts: 161000 | #Constraints: 18025
2819.42/2827.70 c #Conflicts: 162000 | #Constraints: 19025
2819.42/2827.70 c #Conflicts: 163000 | #Constraints: 20025
2819.42/2827.70 c INPROCESSING
2819.42/2827.70 c GARBAGE COLLECT
2819.42/2827.70 c #Conflicts: 164000 | #Constraints: 13046
3471.12/3481.23 c #Conflicts: 165000 | #Constraints: 14046
3471.12/3481.23 c #Conflicts: 166000 | #Constraints: 15046
3471.12/3481.23 c #Conflicts: 167000 | #Constraints: 16046
3471.12/3481.23 c #Conflicts: 168000 | #Constraints: 17046
3471.12/3481.23 c #Conflicts: 169000 | #Constraints: 18046
3471.12/3481.23 c #Conflicts: 170000 | #Constraints: 19046
3471.12/3481.23 c #Conflicts: 171000 | #Constraints: 20046
3471.12/3481.23 c INPROCESSING
3471.12/3481.23 c GARBAGE COLLECT
3471.12/3481.23 c #Conflicts: 172000 | #Constraints: 12834
3471.12/3481.23 c #Conflicts: 173000 | #Constraints: 13834
3471.12/3481.23 c #Conflicts: 174000 | #Constraints: 14834
3471.12/3481.23 c #Conflicts: 175000 | #Constraints: 15834
3471.12/3481.23 c #Conflicts: 176000 | #Constraints: 16834
3471.12/3481.23 c #Conflicts: 177000 | #Constraints: 17834
3471.12/3481.23 c #Conflicts: 178000 | #Constraints: 18834
3471.12/3481.23 c #Conflicts: 179000 | #Constraints: 19834
3471.12/3481.23 c #Conflicts: 180000 | #Constraints: 20834
3471.12/3481.23 c INPROCESSING
3471.12/3481.23 c GARBAGE COLLECT
3471.12/3481.23 c #Conflicts: 181000 | #Constraints: 13416
3471.12/3481.23 c #Conflicts: 182000 | #Constraints: 14416
3471.12/3481.23 c #Conflicts: 183000 | #Constraints: 15416
3471.12/3481.23 c #Conflicts: 184000 | #Constraints: 16416
3471.12/3481.23 c #Conflicts: 185000 | #Constraints: 17416
3471.12/3481.23 c #Conflicts: 186000 | #Constraints: 18416
3471.12/3481.23 c #Conflicts: 187000 | #Constraints: 19416
3471.12/3481.23 c #Conflicts: 188000 | #Constraints: 20416
3471.12/3481.23 c #Conflicts: 189000 | #Constraints: 21416
3471.12/3481.23 c INPROCESSING
3471.12/3481.23 c GARBAGE COLLECT
3471.12/3481.23 c #Conflicts: 190000 | #Constraints: 13807
3471.12/3481.23 c #Conflicts: 191000 | #Constraints: 14807
3471.12/3481.23 c #Conflicts: 192000 | #Constraints: 15807
3471.12/3481.23 c #Conflicts: 193000 | #Constraints: 16807
3471.12/3481.23 c #Conflicts: 194000 | #Constraints: 17807
3471.12/3481.23 c #Conflicts: 195000 | #Constraints: 18807
3471.12/3481.23 c #Conflicts: 196000 | #Constraints: 19807
3471.12/3481.23 c #Conflicts: 197000 | #Constraints: 20807
3471.12/3481.23 c #Conflicts: 198000 | #Constraints: 21807
3471.12/3481.23 c INPROCESSING
3471.12/3481.23 c GARBAGE COLLECT
3471.12/3481.23 c #Conflicts: 199000 | #Constraints: 14007
3471.12/3481.23 c #Conflicts: 200000 | #Constraints: 15007
3471.12/3481.23 c #Conflicts: 201000 | #Constraints: 16007
3471.12/3481.23 c #Conflicts: 202000 | #Constraints: 17007
3471.12/3481.23 c #Conflicts: 203000 | #Constraints: 18007
3471.12/3481.23 c #Conflicts: 204000 | #Constraints: 19007
3471.12/3481.23 c #Conflicts: 205000 | #Constraints: 20007
3471.12/3481.23 c #Conflicts: 206000 | #Constraints: 21007
3471.12/3481.23 c #Conflicts: 207000 | #Constraints: 22007
3471.12/3481.23 c INPROCESSING
3471.12/3481.23 c GARBAGE COLLECT
3471.12/3481.23 c #Conflicts: 208000 | #Constraints: 14004
3471.12/3481.23 c #Conflicts: 209000 | #Constraints: 15004
3471.12/3481.23 c #Conflicts: 210000 | #Constraints: 16004
3471.12/3481.23 c #Conflicts: 211000 | #Constraints: 17004
3471.12/3481.23 c #Conflicts: 212000 | #Constraints: 18004
3471.12/3481.23 c #Conflicts: 213000 | #Constraints: 19004
3471.12/3481.23 c #Conflicts: 214000 | #Constraints: 20004
3471.12/3481.23 c #Conflicts: 215000 | #Constraints: 21004
3471.12/3481.23 c #Conflicts: 216000 | #Constraints: 22004
3471.12/3481.23 c INPROCESSING
3471.12/3481.23 c GARBAGE COLLECT
3471.12/3481.23 c #Conflicts: 217000 | #Constraints: 13816
3471.12/3481.23 c #Conflicts: 218000 | #Constraints: 14816
3471.12/3481.23 c #Conflicts: 219000 | #Constraints: 15816
3471.12/3481.23 c #Conflicts: 220000 | #Constraints: 16816
3471.12/3481.23 c #Conflicts: 221000 | #Constraints: 17816
3471.12/3481.23 c #Conflicts: 222000 | #Constraints: 18816
3471.12/3481.23 c #Conflicts: 223000 | #Constraints: 19816
3471.12/3481.23 c #Conflicts: 224000 | #Constraints: 20816
3471.12/3481.23 c #Conflicts: 225000 | #Constraints: 21816
3471.12/3481.23 c #Conflicts: 226000 | #Constraints: 22816
3471.12/3481.23 c INPROCESSING
3471.12/3481.23 c GARBAGE COLLECT
3471.12/3481.23 c #Conflicts: 227000 | #Constraints: 14422
3471.12/3481.23 c #Conflicts: 228000 | #Constraints: 15422
3471.12/3481.23 c #Conflicts: 229000 | #Constraints: 16422
3471.12/3481.23 c #Conflicts: 230000 | #Constraints: 17422
3471.12/3481.23 c #Conflicts: 231000 | #Constraints: 18422
3471.12/3481.23 c #Conflicts: 232000 | #Constraints: 19422
3471.12/3481.23 c #Conflicts: 233000 | #Constraints: 20422
3471.12/3481.23 c #Conflicts: 234000 | #Constraints: 21422
3471.12/3481.23 c #Conflicts: 235000 | #Constraints: 22422
3471.12/3481.23 c #Conflicts: 236000 | #Constraints: 23422
3471.12/3481.23 c INPROCESSING
3471.12/3481.23 c GARBAGE COLLECT
3471.12/3481.23 c #Conflicts: 237000 | #Constraints: 14823
3471.12/3481.23 c #Conflicts: 238000 | #Constraints: 15823
3600.05/3610.50 c #Conflicts: 239000 | #Constraints: 16823
3600.05/3610.50 c #Conflicts: 240000 | #Constraints: 17823
3600.05/3610.50 c #Conflicts: 241000 | #Constraints: 18823
3600.05/3610.50 c #Conflicts: 242000 | #Constraints: 19823
3600.05/3610.50 c #Conflicts: 243000 | #Constraints: 20823
3600.05/3610.50 c #Conflicts: 244000 | #Constraints: 21823
3600.05/3610.50 c #Conflicts: 245000 | #Constraints: 22823
3600.05/3610.50 c #Conflicts: 246000 | #Constraints: 23823
3600.05/3610.50 c INPROCESSING
3600.05/3610.50 c GARBAGE COLLECT
3600.05/3610.50 c #Conflicts: 247000 | #Constraints: 15031
3600.05/3610.50 c #Conflicts: 248000 | #Constraints: 16031
3600.05/3610.50 c #Conflicts: 249000 | #Constraints: 17031
3600.05/3610.50 c #Conflicts: 250000 | #Constraints: 18031
3600.05/3610.50 c Program interrupted by user.
3600.05/3610.50 c cpu time 3578.38 s
3600.05/3610.50 c deterministic time 490484881671 4.90e+11
3600.05/3610.50 c optimization time 33.3078 s
3600.05/3610.50 c total solve time 3245.74 s
3600.05/3610.50 c core-guided solve time 3245.74 s
3600.05/3610.50 c propagation time 2142.14 s
3600.05/3610.50 c conflict analysis time 605.077 s
3600.05/3610.50 c propagations 173723759
3600.05/3610.50 c resolve steps 537510
3600.05/3610.50 c decisions 28165076
3600.05/3610.50 c conflicts 250175
3600.05/3610.50 c restarts 579
3600.05/3610.50 c inprocessing phases 41
3600.05/3610.50 c input clauses 4131
3600.05/3610.50 c input cardinalities 1
3600.05/3610.50 c input general constraints 540
3600.05/3610.50 c input average constraint length 2553.52
3600.05/3610.50 c input average constraint degree 59.64
3600.05/3610.50 c learned clauses 21830
3600.05/3610.50 c learned cardinalities 456
3600.05/3610.50 c learned general constraints 227889
3600.05/3610.50 c learned average constraint length 12270.64
3600.05/3610.50 c learned average constraint degree 410521.67
3600.05/3610.50 c watched constraints 6583
3600.05/3610.50 c counting constraints 221846
3600.05/3610.50 c gcd simplifications 125
3600.05/3610.50 c detected cardinalities 0
3600.05/3610.50 c weakened non-implied lits 194208537
3600.05/3610.50 c weakened non-implying lits 734
3600.05/3610.50 c original variables 21705
3600.05/3610.50 c clausal propagations 2700539
3600.05/3610.50 c cardinality propagations 2145
3600.05/3610.50 c watched propagations 2065396
3600.05/3610.50 c counting propagations 167625270
3600.05/3610.50 c watch lookups 22405244997
3600.05/3610.50 c watch backjump lookups 22398201913
3600.05/3610.50 c watch checks 14418967053
3600.05/3610.50 c propagation checks 425839683140
3600.05/3610.50 c constraint additions 5018762181
3600.05/3610.50 c trail pops 202133551
3600.05/3610.50 c formula constraints 4123
3600.05/3610.50 c learned constraints 250175
3600.05/3610.50 c bound constraints 540
3600.05/3610.50 c core-guided constraints 9
3600.05/3610.50 c encountered formula constraints 412786
3600.05/3610.50 c encountered learned constraints 374888
3600.05/3610.50 c encountered bound constraints 10
3600.05/3610.50 c encountered core-guided constraints 1
3600.05/3610.50 c LP total time 0 s
3600.05/3610.50 c LP solve time 0 s
3600.05/3610.50 c LP constraints added 0
3600.05/3610.50 c LP constraints removed 0
3600.05/3610.50 c LP pivots internal 0
3600.05/3610.50 c LP pivots root 0
3600.05/3610.50 c LP calls 0
3600.05/3610.50 c LP optimalities 0
3600.05/3610.50 c LP no pivot count 0
3600.05/3610.50 c LP infeasibilities 0
3600.05/3610.50 c LP valid Farkas constraints 0
3600.05/3610.50 c LP learned Farkas constraints 0
3600.05/3610.50 c LP basis resets 0
3600.05/3610.50 c LP cycling count 0
3600.05/3610.50 c LP singular count 0
3600.05/3610.50 c LP no primal count 0
3600.05/3610.50 c LP no farkas count 0
3600.05/3610.50 c LP other issue count 0
3600.05/3610.50 c LP Gomory cuts 0
3600.05/3610.50 c LP learned cuts 0
3600.05/3610.50 c LP deleted cuts 0
3600.05/3610.50 c LP encountered Gomory constraints 0
3600.05/3610.50 c LP encountered Farkas constraints 0
3600.05/3610.50 c LP encountered learned Farkas constraints 0
3600.05/3610.50 c CG auxiliary variables introduced 9
3600.05/3610.50 c CG solutions found 0
3600.05/3610.50 c CG cores constructed 539
3600.05/3610.50 c CG core cardinality constraints returned 0
3600.05/3610.50 c CG unit cores 0
3600.05/3610.50 c CG single cores 539
3600.05/3610.50 c CG blocks removed during cardinality reduction 0
3600.05/3610.50 c CG first core best 0
3600.05/3610.50 c CG decision core best 0
3600.05/3610.50 c CG core reduction tie 0
3600.05/3610.50 c CG core degree average 1.00
3600.05/3610.50 c CG core slack average 26.37
3600.05/3610.50 c CG exhausted 0
3600.05/3610.50 c CG exhaust time 0 s
3600.05/3610.50 c CG trimmed 50
3600.05/3610.50 c CG trim time 0.011869 s
3600.05/3610.50 c CG minimized 0
3600.05/3610.50 c CG minimize time 0 s
3600.05/3610.50 c CG am1 prop time 0.02571 s
3600.05/3610.50 c CG # am1s reformulated 9
3600.05/3610.50 c CG lower bound derived from am1s 13
3600.05/3610.50 c CG # clausal cores 539
3600.05/3610.50 c CG # cardinality cores 0
3600.05/3610.50 c CG # pb cores 0
3600.05/3610.50 c CG # pb reforms 0
3600.05/3610.50 c CG # cores discarded because of pb reform 0
3600.05/3610.50 d LOWERBOUND 746
3600.05/3610.50 d NCORES 539
3600.05/3610.50 d NPBCORES 0
3600.05/3610.50 d NPBREFORM 0
3600.05/3610.50 d NTRIMMED 50
3600.05/3610.50 d NEXHAUSTED 0
3600.05/3610.50 d NAM1S 9
3600.05/3610.50 d AM1LB 13
3600.05/3610.50 c [Papilo Statistics]
3600.05/3610.50 c prepro time 0.055455s
3600.05/3610.50 c # tsx applied 88
3600.05/3610.50 c # tsx conflicts 0
3600.05/3610.50 c # bound changes 15
3600.05/3610.50 c # side changes 0
3600.05/3610.50 c # coef changes 0
3600.05/3610.50 c # rounds 3
3600.05/3610.50 c # deted vars 16
3600.05/3610.50 c # deted constrs 162
3600.05/3610.50 c # consecutive rounds of only bound changes 0
3600.14/3610.60 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 (61287 MiB free)
memory of node 1: 64507 MiB (62397 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485541-1751287165/watcher-4485541-1751287165 -o /tmp/evaluation-result-4485541-1751287165/solver-4485541-1751287165 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751279693-38726 --watchdog 3760 mixed-bag HOME/instance-4485541-1751287165.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=40110, runsolver pid=40107
[startup+0.100059 s]*
/proc/loadavg: 4.14 4.10 4.09 5/266 40111
/proc/meminfo: memFree=126641216/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=94536 memory=20128 CPUtime=0.08 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 4517 0 0 0 8 0 0 0 20 0 1 0 44394231 96804864 5032 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 23634 5032 2144 2842 0 5867 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 94536 KiB
Current children cumulated memory: 20128 KiB
[startup+0.205493 s]*
/proc/loadavg: 4.14 4.10 4.09 5/266 40111
/proc/meminfo: memFree=126615384/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=131368 memory=51020 CPUtime=0.18 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 10587 0 0 0 16 2 0 0 20 0 1 0 44394231 134520832 12755 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 32842 12755 2304 2842 0 14536 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 131368 KiB
Current children cumulated memory: 51020 KiB
[startup+0.305625 s]*
/proc/loadavg: 4.14 4.10 4.09 5/266 40111
/proc/meminfo: memFree=126559188/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=192184 memory=116892 CPUtime=0.28 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 26475 0 0 0 24 4 0 0 20 0 1 0 44394231 196796416 29223 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 48046 29223 4064 2842 0 29740 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 192184 KiB
Current children cumulated memory: 116892 KiB
[startup+0.700117 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 40111
/proc/meminfo: memFree=126522836/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=233156 memory=155404 CPUtime=0.67 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 34721 0 0 0 62 5 0 0 20 0 1 0 44394231 238751744 38851 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 58289 38851 4064 2842 0 39983 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 233156 KiB
Current children cumulated memory: 155404 KiB
[startup+1.50017 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 40111
/proc/meminfo: memFree=126522900/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=235432 memory=157784 CPUtime=1.47 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 37678 0 0 0 141 6 0 0 20 0 1 0 44394231 241082368 39446 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 58858 39446 4096 2842 0 40552 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 235432 KiB
Current children cumulated memory: 157784 KiB
[startup+3.10536 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 40111
/proc/meminfo: memFree=126401492/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=401708 memory=280208 CPUtime=3.07 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 66598 0 0 0 297 10 0 0 20 0 1 0 44394231 411348992 70052 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 100427 70052 4288 2842 0 82121 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 401708 KiB
Current children cumulated memory: 280208 KiB
[startup+6.30013 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 40111
/proc/meminfo: memFree=126389332/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=402900 memory=280976 CPUtime=6.26 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 66803 0 0 0 616 10 0 0 20 0 1 0 44394231 412569600 70244 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 100725 70244 4288 2842 0 82419 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 402900 KiB
Current children cumulated memory: 280976 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 40111
/proc/meminfo: memFree=126376668/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=402900 memory=281104 CPUtime=12.64 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 66830 0 0 0 1254 10 0 0 20 0 1 0 44394231 412569600 70276 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 100725 70276 4288 2842 0 82419 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 402900 KiB
Current children cumulated memory: 281104 KiB
[startup+25.5001 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 40111
/proc/meminfo: memFree=126336180/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=405520 memory=282896 CPUtime=25.41 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 67263 0 0 0 2531 10 0 0 20 0 1 0 44394231 415252480 70724 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 101380 70724 4288 2842 0 83074 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 405520 KiB
Current children cumulated memory: 282896 KiB
[startup+51.1054 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 40112
/proc/meminfo: memFree=126287308/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=427936 memory=302352 CPUtime=50.95 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 72149 0 0 0 5084 11 0 0 20 0 1 0 44394231 438206464 75588 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 106984 75588 4288 2842 0 88678 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 427936 KiB
Current children cumulated memory: 302352 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 40162
/proc/meminfo: memFree=126628064/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=504664 memory=375056 CPUtime=102 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 90383 0 0 0 10186 14 0 0 20 0 1 0 44394231 516775936 93764 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 126166 93764 4288 2842 0 107860 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 504664 KiB
Current children cumulated memory: 375056 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/265 40164
/proc/meminfo: memFree=126580444/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=511008 memory=380688 CPUtime=161.81 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 91769 0 0 0 16167 14 0 0 20 0 1 0 44394231 523272192 95172 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 127752 95172 4288 2842 0 109446 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 511008 KiB
Current children cumulated memory: 380688 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 40166
/proc/meminfo: memFree=126534468/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=511260 memory=381200 CPUtime=221.63 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 91904 0 0 0 22148 15 0 0 20 0 1 0 44394231 523530240 95300 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 127815 95300 4288 2842 0 109509 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 511260 KiB
Current children cumulated memory: 381200 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 40169
/proc/meminfo: memFree=126424732/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=511428 memory=381328 CPUtime=281.44 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 91943 0 0 0 28129 15 0 0 20 0 1 0 44394231 523702272 95332 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 127857 95332 4288 2842 0 109551 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 511428 KiB
Current children cumulated memory: 381328 KiB
[startup+342.3 s]
/proc/loadavg: 4.45 4.19 4.12 5/264 40171
/proc/meminfo: memFree=125827260/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=1170588 memory=884372 CPUtime=341.26 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 142327 0 0 0 33710 416 0 0 20 0 1 0 44394231 1198682112 221093 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 292647 221093 4480 2842 0 274341 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 1170588 KiB
Current children cumulated memory: 884372 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 4.17 4.11 5/264 40173
/proc/meminfo: memFree=124910672/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=1640864 memory=1440188 CPUtime=401.08 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 234251 0 0 0 39605 503 0 0 20 0 1 0 44394231 1680244736 360047 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 410216 360047 4480 2842 0 391910 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 1640864 KiB
Current children cumulated memory: 1440188 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/264 40175
/proc/meminfo: memFree=123995260/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=2013236 memory=1589384 CPUtime=460.91 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 250101 0 0 0 45513 578 0 0 20 0 1 0 44394231 2061553664 397346 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 503309 397346 4480 2842 0 485003 0
################
# More data... #
################
Current children cumulated memory: 4044124 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 40302
/proc/meminfo: memFree=116841268/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=5057532 memory=4099804 CPUtime=2913.76 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 606569 0 0 0 289565 1811 0 0 20 0 1 0 44394231 5178912768 1024951 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 1264383 1024951 4480 2842 0 1246077 0
Current children cumulated CPU time: 2913.76 s
Current children cumulated vsize: 5057532 KiB
Current children cumulated memory: 4099804 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/264 40304
/proc/meminfo: memFree=116791484/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=5069728 memory=4130268 CPUtime=2973.59 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 614134 0 0 0 295507 1852 0 0 20 0 1 0 44394231 5191401472 1032567 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 1267432 1032567 4480 2842 0 1249126 0
Current children cumulated CPU time: 2973.59 s
Current children cumulated vsize: 5069728 KiB
Current children cumulated memory: 4130268 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 40308
/proc/meminfo: memFree=116784372/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=5081344 memory=4142044 CPUtime=3033.43 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 617068 0 0 0 301451 1892 0 0 20 0 1 0 44394231 5203296256 1035511 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 1270336 1035511 4480 2842 0 1252030 0
Current children cumulated CPU time: 3033.43 s
Current children cumulated vsize: 5081344 KiB
Current children cumulated memory: 4142044 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/264 40315
/proc/meminfo: memFree=116617344/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=5100292 memory=4171100 CPUtime=3093.27 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 624128 0 0 0 307409 1918 0 0 20 0 1 0 44394231 5222699008 1042775 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 1275073 1042775 4480 2842 0 1256767 0
Current children cumulated CPU time: 3093.27 s
Current children cumulated vsize: 5100292 KiB
Current children cumulated memory: 4171100 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/264 40317
/proc/meminfo: memFree=116319372/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=5648676 memory=4472796 CPUtime=3153.1 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 699339 0 0 0 313367 1943 0 0 20 0 1 0 44394231 5784244224 1118199 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 1412169 1118199 4480 2842 0 1393863 0
Current children cumulated CPU time: 3153.1 s
Current children cumulated vsize: 5648676 KiB
Current children cumulated memory: 4472796 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/264 40319
/proc/meminfo: memFree=116011176/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=6064448 memory=4714332 CPUtime=3212.93 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 759521 0 0 0 319324 1969 0 0 20 0 1 0 44394231 6209994752 1178583 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 1516112 1178583 4480 2842 0 1497806 0
Current children cumulated CPU time: 3212.93 s
Current children cumulated vsize: 6064448 KiB
Current children cumulated memory: 4714332 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 40321
/proc/meminfo: memFree=115978316/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=6143044 memory=4768860 CPUtime=3272.77 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 772909 0 0 0 325292 1985 0 0 20 0 1 0 44394231 6290477056 1192215 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 1535761 1192215 4480 2842 0 1517455 0
Current children cumulated CPU time: 3272.77 s
Current children cumulated vsize: 6143044 KiB
Current children cumulated memory: 4768860 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 40323
/proc/meminfo: memFree=115722352/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=6263628 memory=4889808 CPUtime=3332.62 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 795037 0 0 0 331255 2007 0 0 20 0 1 0 44394231 6413955072 1222452 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 1565907 1222452 4480 2842 0 1547601 0
Current children cumulated CPU time: 3332.62 s
Current children cumulated vsize: 6263628 KiB
Current children cumulated memory: 4889808 KiB
[startup+3402.3 s]
/proc/loadavg: 3.44 3.97 4.04 3/251 40386
/proc/meminfo: memFree=119243728/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=6330448 memory=4962476 CPUtime=3392.46 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 807094 0 0 0 337214 2032 0 0 20 0 1 0 44394231 6482378752 1240619 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 1582612 1240619 4480 2842 0 1564306 0
Current children cumulated CPU time: 3392.46 s
Current children cumulated vsize: 6330448 KiB
Current children cumulated memory: 4962476 KiB
[startup+3462.3 s]
/proc/loadavg: 2.58 3.63 3.92 3/250 40388
/proc/meminfo: memFree=119218264/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=6346832 memory=4997176 CPUtime=3452.28 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 810799 0 0 0 343153 2075 0 0 20 0 1 0 44394231 6499155968 1249294 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 1586708 1249294 4480 2842 0 1568402 0
Current children cumulated CPU time: 3452.28 s
Current children cumulated vsize: 6346832 KiB
Current children cumulated memory: 4997176 KiB
[startup+3522.3 s]
/proc/loadavg: 2.25 3.34 3.80 3/250 40390
/proc/meminfo: memFree=119127148/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=6390096 memory=5082412 CPUtime=3512.1 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 821887 0 0 0 349093 2117 0 0 20 0 1 0 44394231 6543458304 1270603 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 1597524 1270603 4480 2842 0 1579218 0
Current children cumulated CPU time: 3512.1 s
Current children cumulated vsize: 6390096 KiB
Current children cumulated memory: 5082412 KiB
[startup+3582.3 s]
/proc/loadavg: 2.19 3.13 3.70 3/251 40393
/proc/meminfo: memFree=118979700/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=6510168 memory=5221840 CPUtime=3571.92 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 845157 0 0 0 355040 2152 0 0 20 0 1 0 44394231 6666412032 1305460 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 1627542 1305460 4480 2842 0 1609236 0
Current children cumulated CPU time: 3571.92 s
Current children cumulated vsize: 6510168 KiB
Current children cumulated memory: 5221840 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 2.19 3.03 3.65 3/252 40398
/proc/meminfo: memFree=118980608/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=6510168 memory=5221840 CPUtime=3600.05 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 845157 0 0 0 357838 2167 0 0 20 0 1 0 44394231 6666412032 1305460 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 1627542 1305460 4480 2842 0 1609236 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 6510168 KiB
Current children cumulated memory: 5221840 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.63 s]
# the end of solver process 40110 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.39 s, system=21.7925 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.6 s]
/proc/loadavg: 2.19 3.03 3.65 3/252 40398
/proc/meminfo: memFree=118980608/131249996 swapFree=33010684/33010684
[pid=40110] ppid=40107 vsize=4824288 memory=2657572 CPUtime=3600.14 cores=5,7
/proc/40110/stat : 40110 (mixed-bag) R 40107 40110 38713 0 -1 4194304 845169 0 0 0 357838 2176 0 0 20 0 1 0 44394231 4940070912 664393 18446744073709551615 4235264 15874749 140736104046576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 51564544 140736104053148 140736104053225 140736104053225 140736104058827 0
/proc/40110/statm: 1206072 664393 4640 2842 0 1187766 0
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 4824288 KiB
Current children cumulated memory: 2657572 KiB
Child status: 0
Real time (s): 3610.63
CPU time (s): 3600.18
CPU user time (s): 3578.39
CPU system time (s): 21.7925
CPU usage (%): 99.7107
Max. virtual memory (cumulated for all children) (KiB): 6510168
Max. memory (cumulated for all children) (KiB): 5221840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.39
system time used= 21.7925
maximum resident set size= 5222480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 845186
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= 354
involuntary context switches= 2990
# summary of solver processes directly reported to runsolver:
# pid: 40110
# total CPU time (s): 3600.18
# total CPU user time (s): 3578.39
# total CPU system time (s): 21.7925
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74207 second user time and 16.5961 second system time
The end
Begin job on nodeC022 at 2025-06-30 14:39:25
IDJOB=4485541
IDBENCH=146800
IDSOLVER=3340
FILE ID=nodeC022/4485541-1751287165
RUNJOBID= nodeC022-1751279693-38726
SLURM_JOB_ID= 9594218
Free space on /tmp= 433004 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485541-1751287165/watcher-4485541-1751287165 -o /tmp/evaluation-result-4485541-1751287165/solver-4485541-1751287165 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751279693-38726 --watchdog 3760 mixed-bag HOME/instance-4485541-1751287165.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9634c234ec2c2f6b5ee1ba365a629db0
RANDOM SEED=973552075
nodeC022 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.716
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.44
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.701
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.44
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 : 3620.613
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.44
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.360
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.44
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 : 3598.897
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.44
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 : 3597.382
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.44
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 : 3623.633
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.617
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126653156 kB
MemAvailable: 127473300 kB
Buffers: 3280 kB
Cached: 1623272 kB
SwapCached: 0 kB
Active: 2639396 kB
Inactive: 1373668 kB
Active(anon): 2404572 kB
Inactive(anon): 0 kB
Active(file): 234824 kB
Inactive(file): 1373668 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17844 kB
Writeback: 0 kB
AnonPages: 2388004 kB
Mapped: 130368 kB
Shmem: 18060 kB
KReclaimable: 101384 kB
Slab: 188136 kB
SReclaimable: 101384 kB
SUnreclaim: 86752 kB
KernelStack: 4288 kB
PageTables: 8160 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3245420 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 946176 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC022 at 2025-06-30 15:39:35