0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.09/0.16 c [STEP] preprocessing with Papilo
0.19/0.21 c [STEP] solving with SCIP
299.45/300.32 c [STEP] preprocessing done, loading into solver
299.45/300.36 c [STEP] solving
299.45/300.36 c #variables 21690 #constraints 4123
299.45/300.36 c SMALL=int, LARGE=long long
299.45/300.36 d SCIPUB 1088
299.45/300.36 c bounds - >= 0 @ 299.341
299.45/300.36 c stratification level: 1
300.84/301.79 c bounds - >= 15 @ 299.665
300.84/301.79 c bounds - >= 16 @ 299.668
300.84/301.79 c bounds - >= 18 @ 299.671
300.84/301.79 c bounds - >= 20 @ 299.674
300.84/301.79 c bounds - >= 22 @ 299.677
300.84/301.79 c bounds - >= 23 @ 299.679
300.84/301.79 c bounds - >= 25 @ 299.683
300.84/301.79 c bounds - >= 27 @ 299.685
300.84/301.79 c bounds - >= 29 @ 299.687
300.84/301.79 c bounds - >= 31 @ 299.691
300.84/301.79 c bounds - >= 33 @ 299.693
300.84/301.79 c bounds - >= 35 @ 299.697
300.84/301.79 c bounds - >= 37 @ 299.699
300.84/301.79 c bounds - >= 39 @ 299.703
300.84/301.79 c bounds - >= 41 @ 299.707
300.84/301.79 c bounds - >= 43 @ 299.71
300.84/301.79 c bounds - >= 45 @ 299.713
300.84/301.79 c bounds - >= 47 @ 299.716
300.84/301.79 c bounds - >= 48 @ 299.719
300.84/301.79 c bounds - >= 50 @ 299.723
300.84/301.79 c bounds - >= 52 @ 299.726
300.84/301.79 c bounds - >= 53 @ 299.729
300.84/301.79 c bounds - >= 54 @ 299.732
300.84/301.79 c bounds - >= 55 @ 299.735
300.84/301.79 c bounds - >= 57 @ 299.737
300.84/301.79 c bounds - >= 59 @ 299.739
300.84/301.79 c bounds - >= 61 @ 299.741
300.84/301.79 c bounds - >= 62 @ 299.744
300.84/301.79 c bounds - >= 64 @ 299.747
300.84/301.79 c bounds - >= 66 @ 299.749
300.84/301.79 c bounds - >= 68 @ 299.751
300.84/301.79 c bounds - >= 70 @ 299.754
300.84/301.79 c bounds - >= 72 @ 299.756
300.84/301.79 c bounds - >= 74 @ 299.759
300.84/301.79 c bounds - >= 76 @ 299.764
300.84/301.79 c bounds - >= 78 @ 299.768
300.84/301.79 c bounds - >= 79 @ 299.771
300.84/301.79 c bounds - >= 81 @ 299.774
300.84/301.79 c bounds - >= 83 @ 299.778
300.84/301.79 c bounds - >= 85 @ 299.782
300.84/301.79 c bounds - >= 86 @ 299.786
300.84/301.79 c bounds - >= 88 @ 299.788
300.84/301.79 c bounds - >= 89 @ 299.791
300.84/301.79 c bounds - >= 91 @ 299.794
300.84/301.79 c bounds - >= 93 @ 299.798
300.84/301.79 c bounds - >= 95 @ 299.8
300.84/301.79 c bounds - >= 96 @ 299.804
300.84/301.79 c bounds - >= 97 @ 299.808
300.84/301.79 c bounds - >= 99 @ 299.81
300.84/301.79 c bounds - >= 101 @ 299.813
300.84/301.79 c bounds - >= 103 @ 299.817
300.84/301.79 c bounds - >= 105 @ 299.82
300.84/301.79 c bounds - >= 107 @ 299.823
300.84/301.79 c bounds - >= 109 @ 299.827
300.84/301.79 c bounds - >= 111 @ 299.831
300.84/301.79 c bounds - >= 112 @ 299.834
300.84/301.79 c bounds - >= 113 @ 299.837
300.84/301.79 c bounds - >= 114 @ 299.842
300.84/301.79 c bounds - >= 115 @ 299.845
300.84/301.79 c bounds - >= 117 @ 299.848
300.84/301.79 c bounds - >= 119 @ 299.851
300.84/301.79 c bounds - >= 120 @ 299.854
300.84/301.79 c bounds - >= 122 @ 299.858
300.84/301.79 c bounds - >= 124 @ 299.861
300.84/301.79 c bounds - >= 126 @ 299.865
300.84/301.79 c bounds - >= 128 @ 299.868
300.84/301.79 c bounds - >= 130 @ 299.873
300.84/301.79 c bounds - >= 131 @ 299.877
300.84/301.79 c bounds - >= 133 @ 299.879
300.84/301.79 c bounds - >= 135 @ 299.884
300.84/301.79 c bounds - >= 136 @ 299.887
300.84/301.79 c bounds - >= 138 @ 299.89
300.84/301.79 c bounds - >= 140 @ 299.895
300.84/301.79 c bounds - >= 141 @ 299.897
300.84/301.79 c bounds - >= 142 @ 299.9
300.84/301.79 c bounds - >= 143 @ 299.903
300.84/301.79 c bounds - >= 145 @ 299.905
300.84/301.79 c bounds - >= 147 @ 299.909
300.84/301.79 c bounds - >= 149 @ 299.914
300.84/301.79 c bounds - >= 151 @ 299.918
300.84/301.79 c bounds - >= 152 @ 299.921
300.84/301.79 c bounds - >= 153 @ 299.925
300.84/301.79 c bounds - >= 155 @ 299.928
300.84/301.79 c bounds - >= 157 @ 299.933
300.84/301.79 c bounds - >= 159 @ 299.937
300.84/301.79 c bounds - >= 161 @ 299.941
300.84/301.79 c bounds - >= 163 @ 299.945
300.84/301.79 c bounds - >= 164 @ 299.948
300.84/301.79 c bounds - >= 166 @ 299.953
300.84/301.79 c bounds - >= 167 @ 299.957
300.84/301.79 c bounds - >= 168 @ 299.959
300.84/301.79 c bounds - >= 170 @ 299.964
300.84/301.79 c bounds - >= 172 @ 299.969
300.84/301.79 c bounds - >= 173 @ 299.972
300.84/301.79 c bounds - >= 175 @ 299.976
300.84/301.79 c bounds - >= 177 @ 299.98
300.84/301.79 c bounds - >= 179 @ 299.985
300.84/301.79 c bounds - >= 181 @ 299.988
300.84/301.79 c bounds - >= 183 @ 299.993
300.84/301.79 c bounds - >= 185 @ 299.996
300.84/301.79 c bounds - >= 187 @ 300.001
300.84/301.79 c bounds - >= 188 @ 300.006
300.84/301.79 c bounds - >= 190 @ 300.011
300.84/301.79 c bounds - >= 192 @ 300.015
300.84/301.79 c bounds - >= 194 @ 300.019
300.84/301.79 c bounds - >= 196 @ 300.023
300.84/301.79 c bounds - >= 198 @ 300.028
300.84/301.79 c bounds - >= 200 @ 300.034
300.84/301.79 c bounds - >= 201 @ 300.038
300.84/301.79 c bounds - >= 203 @ 300.041
300.84/301.79 c bounds - >= 205 @ 300.045
300.84/301.79 c bounds - >= 207 @ 300.048
300.84/301.79 c bounds - >= 209 @ 300.052
300.84/301.79 c bounds - >= 210 @ 300.056
300.84/301.79 c bounds - >= 212 @ 300.06
300.84/301.79 c bounds - >= 213 @ 300.064
300.84/301.79 c bounds - >= 215 @ 300.068
300.84/301.79 c bounds - >= 216 @ 300.076
300.84/301.79 c bounds - >= 218 @ 300.08
300.84/301.79 c bounds - >= 219 @ 300.083
300.84/301.79 c bounds - >= 220 @ 300.089
300.84/301.79 c bounds - >= 222 @ 300.094
300.84/301.79 c bounds - >= 224 @ 300.098
300.84/301.79 c bounds - >= 226 @ 300.102
300.84/301.79 c bounds - >= 228 @ 300.105
300.84/301.79 c bounds - >= 230 @ 300.111
300.84/301.79 c bounds - >= 232 @ 300.115
300.84/301.79 c bounds - >= 234 @ 300.119
300.84/301.79 c bounds - >= 236 @ 300.123
300.84/301.79 c bounds - >= 238 @ 300.126
300.84/301.79 c bounds - >= 240 @ 300.132
300.84/301.79 c bounds - >= 242 @ 300.138
300.84/301.79 c bounds - >= 244 @ 300.141
300.84/301.79 c bounds - >= 246 @ 300.148
300.84/301.79 c bounds - >= 247 @ 300.154
300.84/301.79 c bounds - >= 248 @ 300.16
300.84/301.79 c bounds - >= 249 @ 300.164
300.84/301.79 c bounds - >= 251 @ 300.169
300.84/301.79 c bounds - >= 253 @ 300.176
300.84/301.79 c bounds - >= 255 @ 300.18
300.84/301.79 c bounds - >= 257 @ 300.186
300.84/301.79 c bounds - >= 259 @ 300.191
300.84/301.79 c bounds - >= 261 @ 300.195
300.84/301.79 c bounds - >= 263 @ 300.201
300.84/301.79 c bounds - >= 264 @ 300.206
300.84/301.79 c bounds - >= 266 @ 300.212
300.84/301.79 c bounds - >= 268 @ 300.217
300.84/301.79 c bounds - >= 270 @ 300.222
300.84/301.79 c bounds - >= 272 @ 300.227
302.44/303.34 c bounds - >= 274 @ 300.232
302.44/303.34 c bounds - >= 275 @ 300.234
302.44/303.34 c bounds - >= 277 @ 300.239
302.44/303.34 c bounds - >= 278 @ 300.243
302.44/303.34 c bounds - >= 279 @ 300.248
302.44/303.34 c bounds - >= 281 @ 300.251
302.44/303.34 c bounds - >= 282 @ 300.254
302.44/303.34 c bounds - >= 284 @ 300.26
302.44/303.34 c bounds - >= 285 @ 300.265
302.44/303.34 c bounds - >= 286 @ 300.269
302.44/303.34 c bounds - >= 287 @ 300.273
302.44/303.34 c bounds - >= 289 @ 300.278
302.44/303.34 c bounds - >= 291 @ 300.283
302.44/303.34 c bounds - >= 293 @ 300.288
302.44/303.34 c bounds - >= 295 @ 300.293
302.44/303.34 c bounds - >= 297 @ 300.296
302.44/303.34 c bounds - >= 299 @ 300.303
302.44/303.34 c bounds - >= 301 @ 300.308
302.44/303.34 c bounds - >= 303 @ 300.313
302.44/303.34 c bounds - >= 305 @ 300.318
302.44/303.34 c bounds - >= 307 @ 300.323
302.44/303.34 c bounds - >= 309 @ 300.329
302.44/303.34 c bounds - >= 310 @ 300.335
302.44/303.34 c bounds - >= 312 @ 300.337
302.44/303.34 c bounds - >= 314 @ 300.343
302.44/303.34 c bounds - >= 316 @ 300.346
302.44/303.34 c bounds - >= 318 @ 300.348
302.44/303.34 c bounds - >= 320 @ 300.353
302.44/303.34 c bounds - >= 322 @ 300.359
302.44/303.34 c bounds - >= 324 @ 300.363
302.44/303.34 c bounds - >= 326 @ 300.368
302.44/303.34 c bounds - >= 328 @ 300.372
302.44/303.34 c bounds - >= 330 @ 300.378
302.44/303.34 c bounds - >= 332 @ 300.382
302.44/303.34 c bounds - >= 333 @ 300.389
302.44/303.34 c bounds - >= 335 @ 300.395
302.44/303.34 c bounds - >= 337 @ 300.399
302.44/303.34 c bounds - >= 339 @ 300.403
302.44/303.34 c bounds - >= 340 @ 300.405
302.44/303.34 c bounds - >= 342 @ 300.408
302.44/303.34 c bounds - >= 344 @ 300.411
302.44/303.34 c bounds - >= 346 @ 300.415
302.44/303.34 c bounds - >= 348 @ 300.418
302.44/303.34 c bounds - >= 350 @ 300.423
302.44/303.34 c bounds - >= 352 @ 300.428
302.44/303.34 c bounds - >= 353 @ 300.432
302.44/303.34 c bounds - >= 355 @ 300.439
302.44/303.34 c bounds - >= 357 @ 300.443
302.44/303.34 c bounds - >= 359 @ 300.447
302.44/303.34 c bounds - >= 360 @ 300.451
302.44/303.34 c bounds - >= 362 @ 300.456
302.44/303.34 c bounds - >= 364 @ 300.461
302.44/303.34 c bounds - >= 366 @ 300.466
302.44/303.34 c bounds - >= 368 @ 300.471
302.44/303.34 c bounds - >= 370 @ 300.474
302.44/303.34 c bounds - >= 371 @ 300.478
302.44/303.34 c bounds - >= 373 @ 300.482
302.44/303.34 c bounds - >= 375 @ 300.487
302.44/303.34 c bounds - >= 376 @ 300.491
302.44/303.34 c bounds - >= 378 @ 300.496
302.44/303.34 c bounds - >= 379 @ 300.501
302.44/303.34 c bounds - >= 381 @ 300.505
302.44/303.34 c bounds - >= 383 @ 300.511
302.44/303.34 c bounds - >= 385 @ 300.513
302.44/303.34 c bounds - >= 387 @ 300.518
302.44/303.34 c bounds - >= 389 @ 300.523
302.44/303.34 c bounds - >= 391 @ 300.528
302.44/303.34 c bounds - >= 393 @ 300.532
302.44/303.34 c bounds - >= 395 @ 300.536
302.44/303.34 c bounds - >= 396 @ 300.541
302.44/303.34 c bounds - >= 397 @ 300.545
302.44/303.34 c bounds - >= 398 @ 300.55
302.44/303.34 c bounds - >= 400 @ 300.553
302.44/303.34 c bounds - >= 402 @ 300.559
302.44/303.34 c bounds - >= 404 @ 300.562
302.44/303.34 c bounds - >= 405 @ 300.568
302.44/303.34 c bounds - >= 407 @ 300.572
302.44/303.34 c bounds - >= 409 @ 300.576
302.44/303.34 c bounds - >= 410 @ 300.579
302.44/303.34 c bounds - >= 411 @ 300.585
302.44/303.34 c bounds - >= 413 @ 300.587
302.44/303.34 c bounds - >= 415 @ 300.592
302.44/303.34 c bounds - >= 416 @ 300.597
302.44/303.34 c bounds - >= 417 @ 300.6
302.44/303.34 c bounds - >= 419 @ 300.604
302.44/303.34 c bounds - >= 420 @ 300.61
302.44/303.34 c bounds - >= 422 @ 300.613
302.44/303.34 c bounds - >= 424 @ 300.618
302.44/303.34 c bounds - >= 426 @ 300.622
302.44/303.34 c bounds - >= 428 @ 300.625
302.44/303.34 c bounds - >= 430 @ 300.629
302.44/303.34 c bounds - >= 431 @ 300.637
302.44/303.34 c bounds - >= 433 @ 300.64
302.44/303.34 c bounds - >= 435 @ 300.643
302.44/303.34 c bounds - >= 437 @ 300.648
302.44/303.34 c bounds - >= 439 @ 300.653
302.44/303.34 c bounds - >= 440 @ 300.659
302.44/303.34 c bounds - >= 442 @ 300.665
302.44/303.34 c bounds - >= 443 @ 300.671
302.44/303.34 c bounds - >= 445 @ 300.676
302.44/303.34 c bounds - >= 447 @ 300.68
302.44/303.34 c bounds - >= 449 @ 300.685
302.44/303.34 c bounds - >= 451 @ 300.69
302.44/303.34 c bounds - >= 453 @ 300.692
302.44/303.34 c bounds - >= 454 @ 300.696
302.44/303.34 c bounds - >= 456 @ 300.7
302.44/303.34 c bounds - >= 458 @ 300.705
302.44/303.34 c bounds - >= 460 @ 300.71
302.44/303.34 c bounds - >= 462 @ 300.713
302.44/303.34 c bounds - >= 463 @ 300.717
302.44/303.34 c bounds - >= 465 @ 300.723
302.44/303.34 c bounds - >= 466 @ 300.727
302.44/303.34 c bounds - >= 467 @ 300.733
302.44/303.34 c bounds - >= 469 @ 300.737
302.44/303.34 c bounds - >= 470 @ 300.739
302.44/303.34 c bounds - >= 472 @ 300.742
302.44/303.34 c bounds - >= 473 @ 300.746
302.44/303.34 c bounds - >= 474 @ 300.752
302.44/303.34 c bounds - >= 475 @ 300.756
302.44/303.34 c bounds - >= 476 @ 300.762
302.44/303.34 c bounds - >= 477 @ 300.767
302.44/303.34 c bounds - >= 478 @ 300.771
302.44/303.34 c bounds - >= 479 @ 300.775
302.44/303.34 c bounds - >= 480 @ 300.781
302.44/303.34 c bounds - >= 481 @ 300.789
302.44/303.34 c bounds - >= 482 @ 300.794
302.44/303.34 c bounds - >= 483 @ 300.802
302.44/303.34 c bounds - >= 484 @ 300.809
302.44/303.34 c bounds - >= 485 @ 300.813
302.44/303.34 c bounds - >= 486 @ 300.818
302.44/303.34 c bounds - >= 487 @ 300.82
302.44/303.34 c bounds - >= 488 @ 300.826
302.44/303.34 c bounds - >= 489 @ 300.83
302.44/303.34 c bounds - >= 490 @ 300.834
302.44/303.34 c bounds - >= 491 @ 300.838
302.44/303.34 c bounds - >= 492 @ 300.843
302.44/303.34 c bounds - >= 493 @ 300.847
302.44/303.34 c bounds - >= 494 @ 300.854
302.44/303.34 c bounds - >= 495 @ 300.857
302.44/303.34 c bounds - >= 496 @ 300.861
302.44/303.34 c bounds - >= 497 @ 300.864
302.44/303.34 c bounds - >= 498 @ 300.868
302.44/303.34 c bounds - >= 499 @ 300.871
302.44/303.34 c bounds - >= 500 @ 300.879
302.44/303.34 c bounds - >= 501 @ 300.885
302.44/303.34 c bounds - >= 502 @ 300.893
302.44/303.34 c bounds - >= 503 @ 300.898
304.24/305.18 c bounds - >= 504 @ 300.903
304.24/305.18 c bounds - >= 505 @ 300.906
304.24/305.18 c bounds - >= 506 @ 300.909
304.24/305.18 c bounds - >= 507 @ 300.912
304.24/305.18 c bounds - >= 508 @ 300.918
304.24/305.18 c bounds - >= 509 @ 300.925
304.24/305.18 c bounds - >= 510 @ 300.929
304.24/305.18 c bounds - >= 511 @ 300.932
304.24/305.18 c bounds - >= 512 @ 300.937
304.24/305.18 c bounds - >= 513 @ 300.942
304.24/305.18 c bounds - >= 514 @ 300.947
304.24/305.18 c bounds - >= 515 @ 300.952
304.24/305.18 c bounds - >= 516 @ 300.958
304.24/305.18 c bounds - >= 517 @ 300.964
304.24/305.18 c bounds - >= 518 @ 300.967
304.24/305.18 c bounds - >= 519 @ 300.971
304.24/305.18 c bounds - >= 520 @ 300.977
304.24/305.18 c bounds - >= 521 @ 300.982
304.24/305.18 c bounds - >= 522 @ 300.986
304.24/305.18 c bounds - >= 523 @ 300.989
304.24/305.18 c bounds - >= 524 @ 300.991
304.24/305.18 c bounds - >= 525 @ 300.996
304.24/305.18 c bounds - >= 526 @ 301.001
304.24/305.18 c bounds - >= 527 @ 301.004
304.24/305.18 c bounds - >= 528 @ 301.009
304.24/305.18 c bounds - >= 529 @ 301.014
304.24/305.18 c bounds - >= 530 @ 301.019
304.24/305.18 c bounds - >= 531 @ 301.026
304.24/305.18 c bounds - >= 532 @ 301.031
304.24/305.18 c bounds - >= 533 @ 301.037
304.24/305.18 c bounds - >= 534 @ 301.041
304.24/305.18 c bounds - >= 535 @ 301.048
304.24/305.18 c bounds - >= 536 @ 301.054
304.24/305.18 c bounds - >= 537 @ 301.059
304.24/305.18 c bounds - >= 538 @ 301.065
304.24/305.18 c bounds - >= 539 @ 301.073
304.24/305.18 c bounds - >= 540 @ 301.079
304.24/305.18 c bounds - >= 541 @ 301.085
304.24/305.18 c bounds - >= 542 @ 301.089
304.24/305.18 c bounds - >= 543 @ 301.095
304.24/305.18 c bounds - >= 544 @ 301.1
304.24/305.18 c bounds - >= 545 @ 301.107
304.24/305.18 c bounds - >= 546 @ 301.113
304.24/305.18 c bounds - >= 547 @ 301.118
304.24/305.18 c bounds - >= 548 @ 301.121
304.24/305.18 c bounds - >= 549 @ 301.126
304.24/305.18 c bounds - >= 550 @ 301.129
304.24/305.18 c bounds - >= 551 @ 301.134
304.24/305.18 c bounds - >= 552 @ 301.139
304.24/305.18 c bounds - >= 553 @ 301.144
304.24/305.18 c bounds - >= 554 @ 301.148
304.24/305.18 c bounds - >= 555 @ 301.153
304.24/305.18 c bounds - >= 556 @ 301.157
304.24/305.18 c bounds - >= 557 @ 301.161
304.24/305.18 c bounds - >= 558 @ 301.164
304.24/305.18 c bounds - >= 559 @ 301.168
304.24/305.18 c bounds - >= 560 @ 301.173
304.24/305.18 c bounds - >= 561 @ 301.179
304.24/305.18 c bounds - >= 562 @ 301.185
304.24/305.18 c bounds - >= 563 @ 301.189
304.24/305.18 c bounds - >= 564 @ 301.195
304.24/305.18 c bounds - >= 565 @ 301.199
304.24/305.18 c bounds - >= 566 @ 301.205
304.24/305.18 c bounds - >= 567 @ 301.212
304.24/305.18 c bounds - >= 568 @ 301.217
304.24/305.18 c bounds - >= 569 @ 301.221
304.24/305.18 c bounds - >= 570 @ 301.228
304.24/305.18 c bounds - >= 571 @ 301.233
304.24/305.18 c bounds - >= 572 @ 301.239
304.24/305.18 c bounds - >= 573 @ 301.243
304.24/305.18 c bounds - >= 574 @ 301.248
304.24/305.18 c bounds - >= 575 @ 301.255
304.24/305.18 c bounds - >= 576 @ 301.262
304.24/305.18 c bounds - >= 577 @ 301.271
304.24/305.18 c bounds - >= 578 @ 301.277
304.24/305.18 c bounds - >= 579 @ 301.283
304.24/305.18 c bounds - >= 580 @ 301.288
304.24/305.18 c bounds - >= 581 @ 301.292
304.24/305.18 c bounds - >= 582 @ 301.299
304.24/305.18 c bounds - >= 583 @ 301.303
304.24/305.18 c bounds - >= 584 @ 301.306
304.24/305.18 c bounds - >= 585 @ 301.309
304.24/305.18 c bounds - >= 586 @ 301.314
304.24/305.18 c bounds - >= 587 @ 301.32
304.24/305.18 c bounds - >= 588 @ 301.327
304.24/305.18 c bounds - >= 589 @ 301.333
304.24/305.18 c bounds - >= 590 @ 301.34
304.24/305.18 c bounds - >= 591 @ 301.346
304.24/305.18 c bounds - >= 592 @ 301.352
304.24/305.18 c bounds - >= 593 @ 301.357
304.24/305.18 c bounds - >= 594 @ 301.362
304.24/305.18 c bounds - >= 595 @ 301.368
304.24/305.18 c bounds - >= 596 @ 301.373
304.24/305.18 c bounds - >= 597 @ 301.38
304.24/305.18 c bounds - >= 598 @ 301.384
304.24/305.18 c bounds - >= 599 @ 301.39
304.24/305.18 c bounds - >= 600 @ 301.394
304.24/305.18 c bounds - >= 601 @ 301.401
304.24/305.18 c bounds - >= 602 @ 301.406
304.24/305.18 c bounds - >= 603 @ 301.414
304.24/305.18 c bounds - >= 604 @ 301.418
304.24/305.18 c bounds - >= 605 @ 301.424
304.24/305.18 c bounds - >= 606 @ 301.428
304.24/305.18 c bounds - >= 607 @ 301.437
304.24/305.18 c bounds - >= 608 @ 301.441
304.24/305.18 c bounds - >= 609 @ 301.446
304.24/305.18 c bounds - >= 610 @ 301.451
304.24/305.18 c bounds - >= 611 @ 301.458
304.24/305.18 c bounds - >= 612 @ 301.461
304.24/305.18 c bounds - >= 613 @ 301.465
304.24/305.18 c bounds - >= 614 @ 301.47
304.24/305.18 c bounds - >= 615 @ 301.475
304.24/305.18 c bounds - >= 616 @ 301.48
304.24/305.18 c bounds - >= 617 @ 301.486
304.24/305.18 c bounds - >= 618 @ 301.49
304.24/305.18 c bounds - >= 619 @ 301.494
304.24/305.18 c bounds - >= 620 @ 301.5
304.24/305.18 c bounds - >= 621 @ 301.505
304.24/305.18 c bounds - >= 622 @ 301.509
304.24/305.18 c bounds - >= 623 @ 301.515
304.24/305.18 c bounds - >= 624 @ 301.52
304.24/305.18 c bounds - >= 625 @ 301.524
304.24/305.18 c bounds - >= 626 @ 301.529
304.24/305.18 c bounds - >= 627 @ 301.536
304.24/305.18 c bounds - >= 628 @ 301.538
304.24/305.18 c bounds - >= 629 @ 301.543
304.24/305.18 c bounds - >= 630 @ 301.549
304.24/305.18 c bounds - >= 631 @ 301.553
304.24/305.18 c bounds - >= 632 @ 301.558
304.24/305.18 c bounds - >= 633 @ 301.563
304.24/305.18 c bounds - >= 634 @ 301.566
304.24/305.18 c bounds - >= 635 @ 301.573
304.24/305.18 c bounds - >= 636 @ 301.578
304.24/305.18 c bounds - >= 637 @ 301.583
304.24/305.18 c bounds - >= 638 @ 301.589
304.24/305.18 c bounds - >= 639 @ 301.595
304.24/305.18 c bounds - >= 640 @ 301.599
304.24/305.18 c bounds - >= 641 @ 301.606
304.24/305.18 c bounds - >= 642 @ 301.614
304.24/305.18 c bounds - >= 643 @ 301.622
304.24/305.18 c bounds - >= 644 @ 301.628
304.24/305.18 c bounds - >= 645 @ 301.635
304.24/305.18 c bounds - >= 646 @ 301.64
304.24/305.18 c bounds - >= 647 @ 301.646
304.24/305.18 c bounds - >= 648 @ 301.652
304.24/305.18 c bounds - >= 649 @ 301.657
409.26/410.49 c bounds - >= 650 @ 301.661
409.26/410.49 c bounds - >= 651 @ 301.668
409.26/410.49 c bounds - >= 652 @ 301.673
409.26/410.49 c bounds - >= 653 @ 301.676
409.26/410.49 c bounds - >= 654 @ 301.681
409.26/410.49 c bounds - >= 655 @ 301.687
409.26/410.49 c bounds - >= 656 @ 301.691
409.26/410.49 c bounds - >= 657 @ 301.7
409.26/410.49 c bounds - >= 658 @ 301.703
409.26/410.49 c bounds - >= 659 @ 301.71
409.26/410.49 c bounds - >= 660 @ 301.715
409.26/410.49 c bounds - >= 661 @ 301.724
409.26/410.49 c bounds - >= 662 @ 301.73
409.26/410.49 c bounds - >= 663 @ 301.735
409.26/410.49 c bounds - >= 664 @ 301.741
409.26/410.49 c bounds - >= 665 @ 301.745
409.26/410.49 c bounds - >= 666 @ 301.752
409.26/410.49 c bounds - >= 667 @ 301.754
409.26/410.49 c bounds - >= 668 @ 301.759
409.26/410.49 c bounds - >= 669 @ 301.766
409.26/410.49 c bounds - >= 670 @ 301.771
409.26/410.49 c bounds - >= 671 @ 301.778
409.26/410.49 c bounds - >= 672 @ 301.782
409.26/410.49 c bounds - >= 673 @ 301.788
409.26/410.49 c bounds - >= 674 @ 301.793
409.26/410.49 c bounds - >= 675 @ 301.799
409.26/410.49 c bounds - >= 676 @ 301.804
409.26/410.49 c bounds - >= 677 @ 301.808
409.26/410.49 c bounds - >= 678 @ 301.814
409.26/410.49 c bounds - >= 679 @ 301.818
409.26/410.49 c bounds - >= 680 @ 301.822
409.26/410.49 c bounds - >= 681 @ 301.827
409.26/410.49 c bounds - >= 682 @ 301.832
409.26/410.49 c bounds - >= 683 @ 301.836
409.26/410.49 c bounds - >= 684 @ 301.841
409.26/410.49 c bounds - >= 685 @ 301.848
409.26/410.49 c bounds - >= 686 @ 301.856
409.26/410.49 c bounds - >= 687 @ 301.864
409.26/410.49 c bounds - >= 688 @ 301.872
409.26/410.49 c bounds - >= 689 @ 301.876
409.26/410.49 c bounds - >= 690 @ 301.882
409.26/410.49 c bounds - >= 691 @ 301.89
409.26/410.49 c bounds - >= 692 @ 301.898
409.26/410.49 c bounds - >= 693 @ 301.901
409.26/410.49 c bounds - >= 694 @ 301.906
409.26/410.49 c bounds - >= 695 @ 301.912
409.26/410.49 c bounds - >= 696 @ 301.918
409.26/410.49 c bounds - >= 697 @ 301.923
409.26/410.49 c bounds - >= 698 @ 301.929
409.26/410.49 c bounds - >= 699 @ 301.935
409.26/410.49 c bounds - >= 700 @ 301.941
409.26/410.49 c bounds - >= 701 @ 301.949
409.26/410.49 c bounds - >= 702 @ 301.953
409.26/410.49 c bounds - >= 703 @ 301.959
409.26/410.49 c bounds - >= 704 @ 301.961
409.26/410.49 c bounds - >= 705 @ 301.968
409.26/410.49 c bounds - >= 706 @ 301.971
409.26/410.49 c bounds - >= 707 @ 301.977
409.26/410.49 c bounds - >= 708 @ 301.982
409.26/410.49 c bounds - >= 709 @ 301.987
409.26/410.49 c bounds - >= 710 @ 301.995
409.26/410.49 c bounds - >= 711 @ 302.001
409.26/410.49 c bounds - >= 712 @ 302.006
409.26/410.49 c bounds - >= 713 @ 302.009
409.26/410.49 c bounds - >= 714 @ 302.013
409.26/410.49 c bounds - >= 715 @ 302.017
409.26/410.49 c bounds - >= 716 @ 302.024
409.26/410.49 c bounds - >= 717 @ 302.029
409.26/410.49 c bounds - >= 718 @ 302.033
409.26/410.49 c bounds - >= 719 @ 302.041
409.26/410.49 c bounds - >= 720 @ 302.046
409.26/410.49 c bounds - >= 721 @ 302.055
409.26/410.49 c bounds - >= 722 @ 302.062
409.26/410.49 c bounds - >= 723 @ 302.068
409.26/410.49 c bounds - >= 724 @ 302.074
409.26/410.49 c bounds - >= 725 @ 302.08
409.26/410.49 c bounds - >= 726 @ 302.087
409.26/410.49 c bounds - >= 727 @ 302.091
409.26/410.49 c bounds - >= 728 @ 302.096
409.26/410.49 c bounds - >= 729 @ 302.1
409.26/410.49 c bounds - >= 730 @ 302.105
409.26/410.49 c bounds - >= 731 @ 302.113
409.26/410.49 c bounds - >= 732 @ 302.119
409.26/410.49 c bounds - >= 733 @ 302.122
409.26/410.49 c bounds - >= 734 @ 302.127
409.26/410.49 c bounds - >= 735 @ 302.131
409.26/410.49 c bounds - >= 736 @ 302.135
409.26/410.49 c bounds - >= 737 @ 302.141
409.26/410.49 c bounds - >= 738 @ 302.143
409.26/410.49 c bounds - >= 739 @ 302.148
409.26/410.49 c bounds - >= 740 @ 302.151
409.26/410.49 c bounds - >= 741 @ 302.158
409.26/410.49 c bounds - >= 742 @ 302.163
409.26/410.49 c bounds - >= 743 @ 302.168
409.26/410.49 c bounds - >= 744 @ 302.172
409.26/410.49 c bounds - >= 745 @ 302.178
409.26/410.49 c bounds - >= 746 @ 302.182
409.26/410.49 c #Conflicts: 1000 | #Constraints: 5671
409.26/410.49 c #Conflicts: 2000 | #Constraints: 6671
409.26/410.49 c INPROCESSING
409.26/410.49 c GARBAGE COLLECT
409.26/410.49 c #Conflicts: 3000 | #Constraints: 6180
409.26/410.49 c #Conflicts: 4000 | #Constraints: 7180
409.26/410.49 c INPROCESSING
409.26/410.49 c GARBAGE COLLECT
409.26/410.49 c #Conflicts: 5000 | #Constraints: 6605
409.26/410.49 c #Conflicts: 6000 | #Constraints: 7605
409.26/410.49 c INPROCESSING
409.26/410.49 c GARBAGE COLLECT
409.26/410.49 c #Conflicts: 7000 | #Constraints: 6658
409.26/410.49 c #Conflicts: 8000 | #Constraints: 7658
409.26/410.49 c #Conflicts: 9000 | #Constraints: 8658
409.26/410.49 c INPROCESSING
409.26/410.49 c GARBAGE COLLECT
409.26/410.49 c #Conflicts: 10000 | #Constraints: 7384
409.26/410.49 c #Conflicts: 11000 | #Constraints: 8384
409.26/410.49 c #Conflicts: 12000 | #Constraints: 9384
409.26/410.49 c INPROCESSING
409.26/410.49 c GARBAGE COLLECT
409.26/410.49 c #Conflicts: 13000 | #Constraints: 7840
409.26/410.49 c #Conflicts: 14000 | #Constraints: 8840
409.26/410.49 c #Conflicts: 15000 | #Constraints: 9840
409.26/410.49 c INPROCESSING
409.26/410.49 c GARBAGE COLLECT
409.26/410.49 c #Conflicts: 16000 | #Constraints: 8063
409.26/410.49 c #Conflicts: 17000 | #Constraints: 9063
409.26/410.49 c #Conflicts: 18000 | #Constraints: 10063
409.26/410.49 c INPROCESSING
409.26/410.49 c GARBAGE COLLECT
409.26/410.49 c #Conflicts: 19000 | #Constraints: 8059
409.26/410.49 c #Conflicts: 20000 | #Constraints: 9059
409.26/410.49 c #Conflicts: 21000 | #Constraints: 10059
409.26/410.49 c INPROCESSING
409.26/410.49 c GARBAGE COLLECT
409.26/410.49 c #Conflicts: 22000 | #Constraints: 7873
1231.41/1234.82 c #Conflicts: 23000 | #Constraints: 8873
1231.41/1234.82 c #Conflicts: 24000 | #Constraints: 9873
1231.41/1234.82 c #Conflicts: 25000 | #Constraints: 10873
1231.41/1234.82 c INPROCESSING
1231.41/1234.82 c GARBAGE COLLECT
1231.41/1234.82 c #Conflicts: 26000 | #Constraints: 8499
1231.41/1234.82 c #Conflicts: 27000 | #Constraints: 9499
1231.41/1234.82 c #Conflicts: 28000 | #Constraints: 10499
1231.41/1234.82 c #Conflicts: 29000 | #Constraints: 11499
1231.41/1234.82 c INPROCESSING
1231.41/1234.82 c GARBAGE COLLECT
1231.41/1234.82 c #Conflicts: 30000 | #Constraints: 8887
1231.41/1234.82 c #Conflicts: 31000 | #Constraints: 9887
1231.41/1234.82 c #Conflicts: 32000 | #Constraints: 10887
1231.41/1234.82 c #Conflicts: 33000 | #Constraints: 11887
1231.41/1234.82 c INPROCESSING
1231.41/1234.82 c GARBAGE COLLECT
1231.41/1234.82 c #Conflicts: 34000 | #Constraints: 9096
1231.41/1234.82 c #Conflicts: 35000 | #Constraints: 10096
1231.41/1234.82 c #Conflicts: 36000 | #Constraints: 11096
1231.41/1234.82 c #Conflicts: 37000 | #Constraints: 12096
1231.41/1234.82 c INPROCESSING
1231.41/1234.82 c GARBAGE COLLECT
1231.41/1234.82 c #Conflicts: 38000 | #Constraints: 9116
1231.41/1234.82 c #Conflicts: 39000 | #Constraints: 10116
1231.41/1234.82 c #Conflicts: 40000 | #Constraints: 11116
1231.41/1234.82 c #Conflicts: 41000 | #Constraints: 12116
1231.41/1234.82 c INPROCESSING
1231.41/1234.82 c GARBAGE COLLECT
1231.41/1234.82 c #Conflicts: 42000 | #Constraints: 8921
1231.41/1234.82 c #Conflicts: 43000 | #Constraints: 9921
1231.41/1234.82 c #Conflicts: 44000 | #Constraints: 10921
1231.41/1234.82 c #Conflicts: 45000 | #Constraints: 11921
1231.41/1234.82 c #Conflicts: 46000 | #Constraints: 12921
1231.41/1234.82 c INPROCESSING
1231.41/1234.82 c GARBAGE COLLECT
1231.41/1234.82 c #Conflicts: 47000 | #Constraints: 9512
1231.41/1234.82 c #Conflicts: 48000 | #Constraints: 10512
1231.41/1234.82 c #Conflicts: 49000 | #Constraints: 11512
1231.41/1234.82 c #Conflicts: 50000 | #Constraints: 12512
1231.41/1234.82 c #Conflicts: 51000 | #Constraints: 13512
1231.41/1234.82 c INPROCESSING
1231.41/1234.82 c GARBAGE COLLECT
1231.41/1234.82 c #Conflicts: 52000 | #Constraints: 9910
1231.41/1234.82 c #Conflicts: 53000 | #Constraints: 10910
1231.41/1234.82 c #Conflicts: 54000 | #Constraints: 11910
1231.41/1234.82 c #Conflicts: 55000 | #Constraints: 12910
1231.41/1234.82 c #Conflicts: 56000 | #Constraints: 13910
1231.41/1234.82 c INPROCESSING
1231.41/1234.82 c GARBAGE COLLECT
1231.41/1234.82 c #Conflicts: 57000 | #Constraints: 10107
1231.41/1234.82 c #Conflicts: 58000 | #Constraints: 11107
1231.41/1234.82 c #Conflicts: 59000 | #Constraints: 12107
1231.41/1234.82 c #Conflicts: 60000 | #Constraints: 13107
1231.41/1234.82 c #Conflicts: 61000 | #Constraints: 14107
1231.41/1234.82 c INPROCESSING
1231.41/1234.82 c GARBAGE COLLECT
1231.41/1234.82 c #Conflicts: 62000 | #Constraints: 10088
1231.41/1234.82 c #Conflicts: 63000 | #Constraints: 11088
1231.41/1234.82 c #Conflicts: 64000 | #Constraints: 12088
1231.41/1234.82 c #Conflicts: 65000 | #Constraints: 13088
1231.41/1234.82 c #Conflicts: 66000 | #Constraints: 14088
1231.41/1234.82 c INPROCESSING
1231.41/1234.82 c GARBAGE COLLECT
1231.41/1234.82 c #Conflicts: 67000 | #Constraints: 9864
1231.41/1234.82 c #Conflicts: 68000 | #Constraints: 10864
1231.41/1234.82 c #Conflicts: 69000 | #Constraints: 11864
1231.41/1234.82 c #Conflicts: 70000 | #Constraints: 12864
1231.41/1234.82 c #Conflicts: 71000 | #Constraints: 13864
1231.41/1234.82 c #Conflicts: 72000 | #Constraints: 14864
1231.41/1234.82 c INPROCESSING
1231.41/1234.82 c GARBAGE COLLECT
1231.41/1234.82 c #Conflicts: 73000 | #Constraints: 10467
1231.41/1234.82 c #Conflicts: 74000 | #Constraints: 11467
1231.41/1234.82 c #Conflicts: 75000 | #Constraints: 12467
1231.41/1234.82 c #Conflicts: 76000 | #Constraints: 13467
1231.41/1234.82 c #Conflicts: 77000 | #Constraints: 14467
1231.41/1234.82 c #Conflicts: 78000 | #Constraints: 15467
1231.41/1234.82 c INPROCESSING
1231.41/1234.82 c GARBAGE COLLECT
1231.41/1234.82 c #Conflicts: 79000 | #Constraints: 10837
1231.41/1234.82 c #Conflicts: 80000 | #Constraints: 11837
1231.41/1234.82 c #Conflicts: 81000 | #Constraints: 12837
1231.41/1234.82 c #Conflicts: 82000 | #Constraints: 13837
1231.41/1234.82 c #Conflicts: 83000 | #Constraints: 14837
1231.41/1234.82 c #Conflicts: 84000 | #Constraints: 15837
1231.41/1234.82 c INPROCESSING
1231.41/1234.82 c GARBAGE COLLECT
1231.41/1234.82 c #Conflicts: 85000 | #Constraints: 11026
1231.41/1234.82 c #Conflicts: 86000 | #Constraints: 12026
1231.41/1234.82 c #Conflicts: 87000 | #Constraints: 13026
1231.41/1234.82 c #Conflicts: 88000 | #Constraints: 14026
1231.41/1234.82 c #Conflicts: 89000 | #Constraints: 15026
1231.41/1234.82 c #Conflicts: 90000 | #Constraints: 16026
1231.41/1234.82 c INPROCESSING
1231.41/1234.82 c GARBAGE COLLECT
1231.41/1234.82 c #Conflicts: 91000 | #Constraints: 11026
1231.41/1234.82 c #Conflicts: 92000 | #Constraints: 12026
2711.93/2719.28 c #Conflicts: 93000 | #Constraints: 13026
2711.93/2719.28 c #Conflicts: 94000 | #Constraints: 14026
2711.93/2719.28 c #Conflicts: 95000 | #Constraints: 15026
2711.93/2719.28 c #Conflicts: 96000 | #Constraints: 16026
2711.93/2719.28 c INPROCESSING
2711.93/2719.28 c GARBAGE COLLECT
2711.93/2719.28 c #Conflicts: 97000 | #Constraints: 10828
2711.93/2719.28 c #Conflicts: 98000 | #Constraints: 11828
2711.93/2719.28 c #Conflicts: 99000 | #Constraints: 12828
2711.93/2719.28 c #Conflicts: 100000 | #Constraints: 13828
2711.93/2719.28 c #Conflicts: 101000 | #Constraints: 14828
2711.93/2719.28 c #Conflicts: 102000 | #Constraints: 15828
2711.93/2719.28 c #Conflicts: 103000 | #Constraints: 16828
2711.93/2719.28 c INPROCESSING
2711.93/2719.28 c GARBAGE COLLECT
2711.93/2719.28 c #Conflicts: 104000 | #Constraints: 11423
2711.93/2719.28 c #Conflicts: 105000 | #Constraints: 12423
2711.93/2719.28 c #Conflicts: 106000 | #Constraints: 13423
2711.93/2719.28 c #Conflicts: 107000 | #Constraints: 14423
2711.93/2719.28 c #Conflicts: 108000 | #Constraints: 15423
2711.93/2719.28 c #Conflicts: 109000 | #Constraints: 16423
2711.93/2719.28 c #Conflicts: 110000 | #Constraints: 17423
2711.93/2719.28 c INPROCESSING
2711.93/2719.28 c GARBAGE COLLECT
2711.93/2719.28 c #Conflicts: 111000 | #Constraints: 11855
2711.93/2719.28 c #Conflicts: 112000 | #Constraints: 12855
2711.93/2719.28 c #Conflicts: 113000 | #Constraints: 13855
2711.93/2719.28 c #Conflicts: 114000 | #Constraints: 14855
2711.93/2719.28 c #Conflicts: 115000 | #Constraints: 15855
2711.93/2719.28 c #Conflicts: 116000 | #Constraints: 16855
2711.93/2719.28 c #Conflicts: 117000 | #Constraints: 17855
2711.93/2719.28 c INPROCESSING
2711.93/2719.28 c GARBAGE COLLECT
2711.93/2719.28 c #Conflicts: 118000 | #Constraints: 12066
2711.93/2719.28 c #Conflicts: 119000 | #Constraints: 13066
2711.93/2719.28 c #Conflicts: 120000 | #Constraints: 14066
2711.93/2719.28 c #Conflicts: 121000 | #Constraints: 15066
2711.93/2719.28 c #Conflicts: 122000 | #Constraints: 16066
2711.93/2719.28 c #Conflicts: 123000 | #Constraints: 17066
2711.93/2719.28 c #Conflicts: 124000 | #Constraints: 18066
2711.93/2719.28 c INPROCESSING
2711.93/2719.28 c GARBAGE COLLECT
2711.93/2719.28 c #Conflicts: 125000 | #Constraints: 12076
2711.93/2719.28 c #Conflicts: 126000 | #Constraints: 13076
2711.93/2719.28 c #Conflicts: 127000 | #Constraints: 14076
2711.93/2719.28 c #Conflicts: 128000 | #Constraints: 15076
2711.93/2719.28 c #Conflicts: 129000 | #Constraints: 16076
2711.93/2719.28 c #Conflicts: 130000 | #Constraints: 17076
2711.93/2719.28 c #Conflicts: 131000 | #Constraints: 18076
2711.93/2719.28 c INPROCESSING
2711.93/2719.28 c GARBAGE COLLECT
2711.93/2719.28 c #Conflicts: 132000 | #Constraints: 11869
2711.93/2719.28 c #Conflicts: 133000 | #Constraints: 12869
2711.93/2719.28 c #Conflicts: 134000 | #Constraints: 13869
2711.93/2719.28 c #Conflicts: 135000 | #Constraints: 14869
2711.93/2719.28 c #Conflicts: 136000 | #Constraints: 15869
2711.93/2719.28 c #Conflicts: 137000 | #Constraints: 16869
2711.93/2719.28 c #Conflicts: 138000 | #Constraints: 17869
2711.93/2719.28 c #Conflicts: 139000 | #Constraints: 18869
2711.93/2719.28 c INPROCESSING
2711.93/2719.28 c GARBAGE COLLECT
2711.93/2719.28 c #Conflicts: 140000 | #Constraints: 12445
2711.93/2719.28 c #Conflicts: 141000 | #Constraints: 13445
2711.93/2719.28 c #Conflicts: 142000 | #Constraints: 14445
2711.93/2719.28 c #Conflicts: 143000 | #Constraints: 15445
2711.93/2719.28 c #Conflicts: 144000 | #Constraints: 16445
2711.93/2719.28 c #Conflicts: 145000 | #Constraints: 17445
2711.93/2719.28 c #Conflicts: 146000 | #Constraints: 18445
2711.93/2719.28 c #Conflicts: 147000 | #Constraints: 19445
2711.93/2719.28 c INPROCESSING
2711.93/2719.28 c GARBAGE COLLECT
2711.93/2719.28 c #Conflicts: 148000 | #Constraints: 12837
2711.93/2719.28 c #Conflicts: 149000 | #Constraints: 13837
2711.93/2719.28 c #Conflicts: 150000 | #Constraints: 14837
2711.93/2719.28 c #Conflicts: 151000 | #Constraints: 15837
2711.93/2719.28 c #Conflicts: 152000 | #Constraints: 16837
2711.93/2719.28 c #Conflicts: 153000 | #Constraints: 17837
2711.93/2719.28 c #Conflicts: 154000 | #Constraints: 18837
2711.93/2719.28 c #Conflicts: 155000 | #Constraints: 19837
2711.93/2719.28 c INPROCESSING
2711.93/2719.28 c GARBAGE COLLECT
2711.93/2719.28 c #Conflicts: 156000 | #Constraints: 13025
2711.93/2719.28 c #Conflicts: 157000 | #Constraints: 14025
2711.93/2719.28 c #Conflicts: 158000 | #Constraints: 15025
2711.93/2719.28 c #Conflicts: 159000 | #Constraints: 16025
2711.93/2719.28 c #Conflicts: 160000 | #Constraints: 17025
2711.93/2719.28 c #Conflicts: 161000 | #Constraints: 18025
2711.93/2719.28 c #Conflicts: 162000 | #Constraints: 19025
2711.93/2719.28 c #Conflicts: 163000 | #Constraints: 20025
2711.93/2719.28 c INPROCESSING
2711.93/2719.28 c GARBAGE COLLECT
2711.93/2719.28 c #Conflicts: 164000 | #Constraints: 13046
3354.88/3363.81 c #Conflicts: 165000 | #Constraints: 14046
3354.88/3363.81 c #Conflicts: 166000 | #Constraints: 15046
3354.88/3363.81 c #Conflicts: 167000 | #Constraints: 16046
3354.88/3363.81 c #Conflicts: 168000 | #Constraints: 17046
3354.88/3363.81 c #Conflicts: 169000 | #Constraints: 18046
3354.88/3363.81 c #Conflicts: 170000 | #Constraints: 19046
3354.88/3363.81 c #Conflicts: 171000 | #Constraints: 20046
3354.88/3363.81 c INPROCESSING
3354.88/3363.81 c GARBAGE COLLECT
3354.88/3363.81 c #Conflicts: 172000 | #Constraints: 12834
3354.88/3363.81 c #Conflicts: 173000 | #Constraints: 13834
3354.88/3363.81 c #Conflicts: 174000 | #Constraints: 14834
3354.88/3363.81 c #Conflicts: 175000 | #Constraints: 15834
3354.88/3363.81 c #Conflicts: 176000 | #Constraints: 16834
3354.88/3363.81 c #Conflicts: 177000 | #Constraints: 17834
3354.88/3363.81 c #Conflicts: 178000 | #Constraints: 18834
3354.88/3363.81 c #Conflicts: 179000 | #Constraints: 19834
3354.88/3363.81 c #Conflicts: 180000 | #Constraints: 20834
3354.88/3363.81 c INPROCESSING
3354.88/3363.81 c GARBAGE COLLECT
3354.88/3363.81 c #Conflicts: 181000 | #Constraints: 13416
3354.88/3363.81 c #Conflicts: 182000 | #Constraints: 14416
3354.88/3363.81 c #Conflicts: 183000 | #Constraints: 15416
3354.88/3363.81 c #Conflicts: 184000 | #Constraints: 16416
3354.88/3363.81 c #Conflicts: 185000 | #Constraints: 17416
3354.88/3363.81 c #Conflicts: 186000 | #Constraints: 18416
3354.88/3363.81 c #Conflicts: 187000 | #Constraints: 19416
3354.88/3363.81 c #Conflicts: 188000 | #Constraints: 20416
3354.88/3363.81 c #Conflicts: 189000 | #Constraints: 21416
3354.88/3363.81 c INPROCESSING
3354.88/3363.81 c GARBAGE COLLECT
3354.88/3363.81 c #Conflicts: 190000 | #Constraints: 13807
3354.88/3363.81 c #Conflicts: 191000 | #Constraints: 14807
3354.88/3363.81 c #Conflicts: 192000 | #Constraints: 15807
3354.88/3363.81 c #Conflicts: 193000 | #Constraints: 16807
3354.88/3363.81 c #Conflicts: 194000 | #Constraints: 17807
3354.88/3363.81 c #Conflicts: 195000 | #Constraints: 18807
3354.88/3363.81 c #Conflicts: 196000 | #Constraints: 19807
3354.88/3363.81 c #Conflicts: 197000 | #Constraints: 20807
3354.88/3363.81 c #Conflicts: 198000 | #Constraints: 21807
3354.88/3363.81 c INPROCESSING
3354.88/3363.81 c GARBAGE COLLECT
3354.88/3363.81 c #Conflicts: 199000 | #Constraints: 14007
3354.88/3363.81 c #Conflicts: 200000 | #Constraints: 15007
3354.88/3363.81 c #Conflicts: 201000 | #Constraints: 16007
3354.88/3363.81 c #Conflicts: 202000 | #Constraints: 17007
3354.88/3363.81 c #Conflicts: 203000 | #Constraints: 18007
3354.88/3363.81 c #Conflicts: 204000 | #Constraints: 19007
3354.88/3363.81 c #Conflicts: 205000 | #Constraints: 20007
3354.88/3363.81 c #Conflicts: 206000 | #Constraints: 21007
3354.88/3363.81 c #Conflicts: 207000 | #Constraints: 22007
3354.88/3363.81 c INPROCESSING
3354.88/3363.81 c GARBAGE COLLECT
3354.88/3363.81 c #Conflicts: 208000 | #Constraints: 14004
3354.88/3363.81 c #Conflicts: 209000 | #Constraints: 15004
3354.88/3363.81 c #Conflicts: 210000 | #Constraints: 16004
3354.88/3363.81 c #Conflicts: 211000 | #Constraints: 17004
3354.88/3363.81 c #Conflicts: 212000 | #Constraints: 18004
3354.88/3363.81 c #Conflicts: 213000 | #Constraints: 19004
3354.88/3363.81 c #Conflicts: 214000 | #Constraints: 20004
3354.88/3363.81 c #Conflicts: 215000 | #Constraints: 21004
3354.88/3363.81 c #Conflicts: 216000 | #Constraints: 22004
3354.88/3363.81 c INPROCESSING
3354.88/3363.81 c GARBAGE COLLECT
3354.88/3363.81 c #Conflicts: 217000 | #Constraints: 13816
3354.88/3363.81 c #Conflicts: 218000 | #Constraints: 14816
3354.88/3363.81 c #Conflicts: 219000 | #Constraints: 15816
3354.88/3363.81 c #Conflicts: 220000 | #Constraints: 16816
3354.88/3363.81 c #Conflicts: 221000 | #Constraints: 17816
3354.88/3363.81 c #Conflicts: 222000 | #Constraints: 18816
3354.88/3363.81 c #Conflicts: 223000 | #Constraints: 19816
3354.88/3363.81 c #Conflicts: 224000 | #Constraints: 20816
3354.88/3363.81 c #Conflicts: 225000 | #Constraints: 21816
3354.88/3363.81 c #Conflicts: 226000 | #Constraints: 22816
3354.88/3363.81 c INPROCESSING
3354.88/3363.81 c GARBAGE COLLECT
3354.88/3363.81 c #Conflicts: 227000 | #Constraints: 14422
3354.88/3363.81 c #Conflicts: 228000 | #Constraints: 15422
3354.88/3363.81 c #Conflicts: 229000 | #Constraints: 16422
3354.88/3363.81 c #Conflicts: 230000 | #Constraints: 17422
3354.88/3363.81 c #Conflicts: 231000 | #Constraints: 18422
3354.88/3363.81 c #Conflicts: 232000 | #Constraints: 19422
3354.88/3363.81 c #Conflicts: 233000 | #Constraints: 20422
3354.88/3363.81 c #Conflicts: 234000 | #Constraints: 21422
3354.88/3363.81 c #Conflicts: 235000 | #Constraints: 22422
3354.88/3363.81 c #Conflicts: 236000 | #Constraints: 23422
3354.88/3363.81 c INPROCESSING
3354.88/3363.81 c GARBAGE COLLECT
3354.88/3363.81 c #Conflicts: 237000 | #Constraints: 14823
3354.88/3363.81 c #Conflicts: 238000 | #Constraints: 15823
3600.05/3609.60 c #Conflicts: 239000 | #Constraints: 16823
3600.05/3609.60 c #Conflicts: 240000 | #Constraints: 17823
3600.05/3609.60 c #Conflicts: 241000 | #Constraints: 18823
3600.05/3609.60 c #Conflicts: 242000 | #Constraints: 19823
3600.05/3609.60 c #Conflicts: 243000 | #Constraints: 20823
3600.05/3609.60 c #Conflicts: 244000 | #Constraints: 21823
3600.05/3609.60 c #Conflicts: 245000 | #Constraints: 22823
3600.05/3609.60 c #Conflicts: 246000 | #Constraints: 23823
3600.05/3609.60 c INPROCESSING
3600.05/3609.60 c GARBAGE COLLECT
3600.05/3609.60 c #Conflicts: 247000 | #Constraints: 15031
3600.05/3609.60 c #Conflicts: 248000 | #Constraints: 16031
3600.05/3609.60 c #Conflicts: 249000 | #Constraints: 17031
3600.05/3609.60 c #Conflicts: 250000 | #Constraints: 18031
3600.05/3609.60 c #Conflicts: 251000 | #Constraints: 19031
3600.05/3609.60 c #Conflicts: 252000 | #Constraints: 20031
3600.05/3609.60 c #Conflicts: 253000 | #Constraints: 21031
3600.05/3609.60 c #Conflicts: 254000 | #Constraints: 22031
3600.05/3609.60 c #Conflicts: 255000 | #Constraints: 23031
3600.05/3609.60 c #Conflicts: 256000 | #Constraints: 24031
3600.05/3609.60 c INPROCESSING
3600.05/3609.60 c GARBAGE COLLECT
3600.05/3609.60 c Program interrupted by user.
3600.05/3609.60 c cpu time 3577.18 s
3600.05/3609.60 c deterministic time 493804210122 4.94e+11
3600.05/3609.60 c optimization time 2.73651 s
3600.05/3609.60 c total solve time 3275.11 s
3600.05/3609.60 c core-guided solve time 3275.11 s
3600.05/3609.60 c propagation time 2151.41 s
3600.05/3609.60 c conflict analysis time 588.908 s
3600.05/3609.60 c propagations 174913010
3600.05/3609.60 c resolve steps 544747
3600.05/3609.60 c decisions 28726757
3600.05/3609.60 c conflicts 256252
3600.05/3609.60 c restarts 604
3600.05/3609.60 c inprocessing phases 42
3600.05/3609.60 c input clauses 4131
3600.05/3609.60 c input cardinalities 1
3600.05/3609.60 c input general constraints 540
3600.05/3609.60 c input average constraint length 2553.52
3600.05/3609.60 c input average constraint degree 59.64
3600.05/3609.60 c learned clauses 21973
3600.05/3609.60 c learned cardinalities 456
3600.05/3609.60 c learned general constraints 233823
3600.05/3609.60 c learned average constraint length 12282.33
3600.05/3609.60 c learned average constraint degree 401050.58
3600.05/3609.60 c watched constraints 6600
3600.05/3609.60 c counting constraints 227763
3600.05/3609.60 c gcd simplifications 127
3600.05/3609.60 c detected cardinalities 0
3600.05/3609.60 c weakened non-implied lits 195581151
3600.05/3609.60 c weakened non-implying lits 734
3600.05/3609.60 c original variables 21705
3600.05/3609.60 c clausal propagations 2727497
3600.05/3609.60 c cardinality propagations 2145
3600.05/3609.60 c watched propagations 2065431
3600.05/3609.60 c counting propagations 168781562
3600.05/3609.60 c watch lookups 23540616348
3600.05/3609.60 c watch backjump lookups 23509800658
3600.05/3609.60 c watch checks 14431435899
3600.05/3609.60 c propagation checks 426809118630
3600.05/3609.60 c constraint additions 5105721214
3600.05/3609.60 c trail pops 203877605
3600.05/3609.60 c formula constraints 4123
3600.05/3609.60 c learned constraints 256252
3600.05/3609.60 c bound constraints 540
3600.05/3609.60 c core-guided constraints 9
3600.05/3609.60 c encountered formula constraints 419443
3600.05/3609.60 c encountered learned constraints 381545
3600.05/3609.60 c encountered bound constraints 10
3600.05/3609.60 c encountered core-guided constraints 1
3600.05/3609.60 c LP total time 0 s
3600.05/3609.60 c LP solve time 0 s
3600.05/3609.60 c LP constraints added 0
3600.05/3609.60 c LP constraints removed 0
3600.05/3609.60 c LP pivots internal 0
3600.05/3609.60 c LP pivots root 0
3600.05/3609.60 c LP calls 0
3600.05/3609.60 c LP optimalities 0
3600.05/3609.60 c LP no pivot count 0
3600.05/3609.60 c LP infeasibilities 0
3600.05/3609.60 c LP valid Farkas constraints 0
3600.05/3609.60 c LP learned Farkas constraints 0
3600.05/3609.60 c LP basis resets 0
3600.05/3609.60 c LP cycling count 0
3600.05/3609.60 c LP singular count 0
3600.05/3609.60 c LP no primal count 0
3600.05/3609.60 c LP no farkas count 0
3600.05/3609.60 c LP other issue count 0
3600.05/3609.60 c LP Gomory cuts 0
3600.05/3609.60 c LP learned cuts 0
3600.05/3609.60 c LP deleted cuts 0
3600.05/3609.60 c LP encountered Gomory constraints 0
3600.05/3609.60 c LP encountered Farkas constraints 0
3600.05/3609.60 c LP encountered learned Farkas constraints 0
3600.05/3609.60 c CG auxiliary variables introduced 9
3600.05/3609.60 c CG solutions found 0
3600.05/3609.60 c CG cores constructed 539
3600.05/3609.60 c CG core cardinality constraints returned 0
3600.05/3609.60 c CG unit cores 0
3600.05/3609.60 c CG single cores 539
3600.05/3609.60 c CG blocks removed during cardinality reduction 0
3600.05/3609.60 c CG first core best 0
3600.05/3609.60 c CG decision core best 0
3600.05/3609.60 c CG core reduction tie 0
3600.05/3609.60 c CG core degree average 1.00
3600.05/3609.60 c CG core slack average 26.37
3600.05/3609.60 c CG exhausted 0
3600.05/3609.60 c CG exhaust time 0 s
3600.05/3609.60 c CG trimmed 50
3600.05/3609.60 c CG trim time 0.01054 s
3600.05/3609.60 c CG minimized 0
3600.05/3609.60 c CG minimize time 0 s
3600.05/3609.60 c CG am1 prop time 0.026242 s
3600.05/3609.60 c CG # am1s reformulated 9
3600.05/3609.60 c CG lower bound derived from am1s 13
3600.05/3609.60 c CG # clausal cores 539
3600.05/3609.60 c CG # cardinality cores 0
3600.05/3609.60 c CG # pb cores 0
3600.05/3609.60 c CG # pb reforms 0
3600.05/3609.60 c CG # cores discarded because of pb reform 0
3600.05/3609.60 d LOWERBOUND 746
3600.05/3609.60 d NCORES 539
3600.05/3609.60 d NPBCORES 0
3600.05/3609.60 d NPBREFORM 0
3600.05/3609.60 d NTRIMMED 50
3600.05/3609.60 d NEXHAUSTED 0
3600.05/3609.60 d NAM1S 9
3600.05/3609.60 d AM1LB 13
3600.05/3609.60 c [Papilo Statistics]
3600.05/3609.60 c prepro time 0.053096s
3600.05/3609.60 c # tsx applied 88
3600.05/3609.60 c # tsx conflicts 0
3600.05/3609.60 c # bound changes 15
3600.05/3609.60 c # side changes 0
3600.05/3609.60 c # coef changes 0
3600.05/3609.60 c # rounds 3
3600.05/3609.60 c # deted vars 16
3600.05/3609.60 c # deted constrs 162
3600.05/3609.60 c # consecutive rounds of only bound changes 0
3600.05/3609.66 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: 63968 MiB (60428 MiB free)
memory of node 1: 64473 MiB (62753 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454650-1721446081/watcher-4454650-1721446081 -o /tmp/evaluation-result-4454650-1721446081/solver-4454650-1721446081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721438873-1042995 --watchdog 3760 mixed-bag HOME/instance-4454650-1721446081.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1047013, runsolver pid=1047010
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 4.12 4.09 4.09 4/255 1047014
/proc/meminfo: memFree=126456296/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=86264 memory=18116 CPUtime=0.09 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 4481 0 0 0 9 0 0 0 20 0 1 0 196777050 88334336 4529 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 21566 4529 1626 3002 0 5854 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 86264 KiB
Current children cumulated memory: 18116 KiB
[startup+0.205378 s]*
/proc/loadavg: 4.12 4.09 4.09 5/252 1047019
/proc/meminfo: memFree=126427332/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=123100 memory=48672 CPUtime=0.19 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 10037 0 0 0 18 1 0 0 20 0 1 0 196777050 126054400 12168 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 30775 12168 1733 3002 0 14524 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 123100 KiB
Current children cumulated memory: 48672 KiB
[startup+0.305632 s]*
/proc/loadavg: 4.12 4.09 4.09 4/254 1047028
/proc/meminfo: memFree=126364464/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=187940 memory=118384 CPUtime=0.29 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 26625 0 0 0 25 4 0 0 20 0 1 0 196777050 192450560 29596 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 46985 29596 3715 3002 0 30734 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 187940 KiB
Current children cumulated memory: 118384 KiB
[startup+0.700178 s]
/proc/loadavg: 4.12 4.09 4.09 5/252 1047051
/proc/meminfo: memFree=126326320/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=224884 memory=154212 CPUtime=0.69 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 34695 0 0 0 63 6 0 0 20 0 1 0 196777050 230281216 38553 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 56221 38553 3747 3002 0 39970 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 224884 KiB
Current children cumulated memory: 154212 KiB
[startup+1.50019 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 1047060
/proc/meminfo: memFree=126127936/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=227344 memory=156984 CPUtime=1.48 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 38234 0 0 0 142 6 0 0 20 0 1 0 196777050 232800256 39246 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 56836 39246 3795 3002 0 40585 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 227344 KiB
Current children cumulated memory: 156984 KiB
[startup+3.10566 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 1047060
/proc/meminfo: memFree=125870204/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=393412 memory=280896 CPUtime=3.09 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 67039 0 0 0 298 11 0 0 20 0 1 0 196777050 402853888 70224 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 98353 70224 4001 3002 0 82102 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 393412 KiB
Current children cumulated memory: 280896 KiB
[startup+6.30016 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 1047060
/proc/meminfo: memFree=125788724/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=395148 memory=282536 CPUtime=6.28 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 67399 0 0 0 617 11 0 0 20 0 1 0 196777050 404631552 70634 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 98787 70634 4017 3002 0 82536 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 395148 KiB
Current children cumulated memory: 282536 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.11 4.10 5/257 1047153
/proc/meminfo: memFree=125823996/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=395148 memory=282536 CPUtime=12.65 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 67461 0 0 0 1254 11 0 0 20 0 1 0 196777050 404631552 70634 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 98787 70634 4017 3002 0 82536 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 395148 KiB
Current children cumulated memory: 282536 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.10 4.09 5/257 1047155
/proc/meminfo: memFree=125800968/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=397208 memory=283856 CPUtime=25.42 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 67754 0 0 0 2530 12 0 0 20 0 1 0 196777050 406740992 70964 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 99302 70964 4017 3002 0 83051 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 397208 KiB
Current children cumulated memory: 283856 KiB
[startup+51.1054 s]
/proc/loadavg: 4.09 4.09 4.09 5/259 1047329
/proc/meminfo: memFree=125729488/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=419452 memory=303052 CPUtime=50.93 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 72602 0 0 0 5080 13 0 0 20 0 1 0 196777050 429518848 75763 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 104863 75763 4017 3002 0 88612 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 419452 KiB
Current children cumulated memory: 303052 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/259 1047338
/proc/meminfo: memFree=125472152/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=499384 memory=378320 CPUtime=101.97 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 91475 0 0 0 10181 16 0 0 20 0 1 0 196777050 511369216 94580 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 124846 94580 4017 3002 0 108595 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 499384 KiB
Current children cumulated memory: 378320 KiB
[startup+162.3 s]
/proc/loadavg: 4.53 4.20 4.13 5/260 1047406
/proc/meminfo: memFree=125444488/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=502744 memory=381732 CPUtime=161.78 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 92313 0 0 0 16162 16 0 0 20 0 1 0 196777050 514809856 95433 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 125686 95433 4017 3002 0 109435 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 502744 KiB
Current children cumulated memory: 381732 KiB
[startup+222.3 s]
/proc/loadavg: 4.26 4.18 4.12 5/257 1047416
/proc/meminfo: memFree=125376592/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=502996 memory=386232 CPUtime=221.64 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 92432 0 0 0 22147 17 0 0 20 0 1 0 196777050 515067904 96558 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 125749 96558 4017 3002 0 109498 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 502996 KiB
Current children cumulated memory: 386232 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/258 1047428
/proc/meminfo: memFree=125302268/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=503532 memory=414140 CPUtime=281.49 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 92524 0 0 0 28132 17 0 0 20 0 1 0 196777050 515616768 103535 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 125883 103535 4017 3002 0 109632 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 503532 KiB
Current children cumulated memory: 414140 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/258 1047438
/proc/meminfo: memFree=124736372/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=1169576 memory=917776 CPUtime=341.34 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 138002 0 0 0 33699 435 0 0 20 0 1 0 196777050 1197645824 229444 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 292394 229444 4183 3002 0 276143 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 1169576 KiB
Current children cumulated memory: 917776 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/257 1047449
/proc/meminfo: memFree=124100912/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=1638284 memory=1446408 CPUtime=401.18 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 228128 0 0 0 39592 526 0 0 20 0 1 0 196777050 1677602816 361602 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 409571 361602 4183 3002 0 393320 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 1638284 KiB
Current children cumulated memory: 1446408 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/257 1047459
/proc/meminfo: memFree=123932292/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=2009748 memory=1595384 CPUtime=461 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 244099 0 0 0 45493 607 0 0 20 0 1 0 196777050 2057981952 398846 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 502437 398846 4183 3002 0 486186 0
################
# More data... #
################
Current children cumulated memory: 4195104 KiB
[startup+2862.3 s]
/proc/loadavg: 4.21 4.21 4.14 5/257 1048466
/proc/meminfo: memFree=120008280/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=5060944 memory=4219080 CPUtime=2854.67 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 579631 0 0 0 283587 1880 0 0 20 0 1 0 196777050 5182406656 1054770 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 1265236 1054770 4183 3002 0 1248985 0
Current children cumulated CPU time: 2854.67 s
Current children cumulated vsize: 5060944 KiB
Current children cumulated memory: 4219080 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.19 4.14 5/254 1048476
/proc/meminfo: memFree=119999424/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=5071024 memory=4227452 CPUtime=2914.51 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 583218 0 0 0 289523 1928 0 0 20 0 1 0 196777050 5192728576 1056863 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 1267756 1056863 4183 3002 0 1251505 0
Current children cumulated CPU time: 2914.51 s
Current children cumulated vsize: 5071024 KiB
Current children cumulated memory: 4227452 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.17 4.13 5/254 1048487
/proc/meminfo: memFree=119981508/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=5087024 memory=4244728 CPUtime=2974.35 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 589324 0 0 0 295478 1957 0 0 20 0 1 0 196777050 5209112576 1061182 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 1271756 1061182 4183 3002 0 1255505 0
Current children cumulated CPU time: 2974.35 s
Current children cumulated vsize: 5087024 KiB
Current children cumulated memory: 4244728 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.17 4.13 5/254 1048497
/proc/meminfo: memFree=119681488/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=5637204 memory=4538664 CPUtime=3034.21 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 664320 0 0 0 301440 1981 0 0 20 0 1 0 196777050 5772496896 1134666 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 1409301 1134666 4183 3002 0 1393050 0
Current children cumulated CPU time: 3034.21 s
Current children cumulated vsize: 5637204 KiB
Current children cumulated memory: 4538664 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.16 4.13 5/254 1048508
/proc/meminfo: memFree=119445352/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=6061164 memory=4777296 CPUtime=3094.05 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 725463 0 0 0 307398 2007 0 0 20 0 1 0 196777050 6206631936 1194324 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 1515291 1194324 4183 3002 0 1499040 0
Current children cumulated CPU time: 3094.05 s
Current children cumulated vsize: 6061164 KiB
Current children cumulated memory: 4777296 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.15 4.12 5/256 1048523
/proc/meminfo: memFree=119280856/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=6250616 memory=4936724 CPUtime=3153.9 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 759465 0 0 0 313362 2028 0 0 20 0 1 0 196777050 6400630784 1234181 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 1562654 1234181 4183 3002 0 1546403 0
Current children cumulated CPU time: 3153.9 s
Current children cumulated vsize: 6250616 KiB
Current children cumulated memory: 4936724 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.12 5/256 1048533
/proc/meminfo: memFree=119268944/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=6258040 memory=4941272 CPUtime=3213.75 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 762774 0 0 0 319321 2054 0 0 20 0 1 0 196777050 6408232960 1235318 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 1564510 1235318 4183 3002 0 1548259 0
Current children cumulated CPU time: 3213.75 s
Current children cumulated vsize: 6258040 KiB
Current children cumulated memory: 4941272 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.15 4.12 5/256 1048545
/proc/meminfo: memFree=119197592/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=6318460 memory=5009060 CPUtime=3273.59 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 774821 0 0 0 325272 2087 0 0 20 0 1 0 196777050 6470103040 1252265 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 1579615 1252265 4183 3002 0 1563364 0
Current children cumulated CPU time: 3273.59 s
Current children cumulated vsize: 6318460 KiB
Current children cumulated memory: 5009060 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/256 1048555
/proc/meminfo: memFree=119169132/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=6333820 memory=5042300 CPUtime=3333.43 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 779978 0 0 0 331216 2127 0 0 20 0 1 0 196777050 6485831680 1260575 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 1583455 1260575 4183 3002 0 1567204 0
Current children cumulated CPU time: 3333.43 s
Current children cumulated vsize: 6333820 KiB
Current children cumulated memory: 5042300 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/256 1048567
/proc/meminfo: memFree=119081588/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=6376576 memory=5121708 CPUtime=3393.28 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 791650 0 0 0 337164 2164 0 0 20 0 1 0 196777050 6529613824 1280427 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 1594144 1280427 4183 3002 0 1577893 0
Current children cumulated CPU time: 3393.28 s
Current children cumulated vsize: 6376576 KiB
Current children cumulated memory: 5121708 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/258 1048961
/proc/meminfo: memFree=119080068/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=6377344 memory=5123188 CPUtime=3453.12 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 794001 0 0 0 343113 2199 0 0 20 0 1 0 196777050 6530400256 1280797 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 1594336 1280797 4183 3002 0 1578085 0
Current children cumulated CPU time: 3453.12 s
Current children cumulated vsize: 6377344 KiB
Current children cumulated memory: 5123188 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.10 5/256 1048971
/proc/meminfo: memFree=118944156/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=6494856 memory=5257956 CPUtime=3512.97 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 816848 0 0 0 349065 2232 0 0 20 0 1 0 196777050 6650732544 1314489 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 1623714 1314489 4183 3002 0 1607463 0
Current children cumulated CPU time: 3512.97 s
Current children cumulated vsize: 6494856 KiB
Current children cumulated memory: 5257956 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 1048983
/proc/meminfo: memFree=118935992/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=6494856 memory=5257956 CPUtime=3572.82 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 819064 0 0 0 355014 2268 0 0 20 0 1 0 196777050 6650732544 1314489 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 1623714 1314489 4183 3002 0 1607463 0
Current children cumulated CPU time: 3572.82 s
Current children cumulated vsize: 6494856 KiB
Current children cumulated memory: 5257956 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 1049016
/proc/meminfo: memFree=119141416/131524600 swapFree=131071996/131071996
[pid=1047013] ppid=1047010 vsize=6612368 memory=5375340 CPUtime=3600.05 cores=5,7
/proc/1047013/stat : 1047013 (mixed-bag) R 1047010 1047013 1042982 0 -1 4194304 840629 0 0 0 357718 2287 0 0 20 0 1 0 196777050 6771064832 1343835 134679101440 4194304 16488053 140735741441072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 34947072 140735741445141 140735741445218 140735741445218 140735741452235 0
/proc/1047013/statm: 1653092 1343835 4183 3002 0 1636841 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 6612368 KiB
Current children cumulated memory: 5375340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.69 s]
# the end of solver process 1047013 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3577.19 s, system=22.9589 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.69
CPU time (s): 3600.15
CPU user time (s): 3577.19
CPU system time (s): 22.9589
CPU usage (%): 99.7356
Max. virtual memory (cumulated for all children) (KiB): 6612368
Max. memory (cumulated for all children) (KiB): 5375340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.19
system time used= 22.9589
maximum resident set size= 5375340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 840650
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= 443
involuntary context switches= 2511
# summary of solver processes directly reported to runsolver:
# pid: 1047013
# total CPU time (s): 3600.15
# total CPU user time (s): 3577.19
# total CPU system time (s): 22.9589
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88652 second user time and 15.8891 second system time
The end
Begin job on nodeC032 at 2024-07-20 05:28:13
IDJOB=4454650
IDBENCH=146800
IDSOLVER=3083
FILE ID=nodeC032/4454650-1721446081
RUNJOBID= nodeC032-1721438873-1042995
SLURM_JOB_ID= 7545649
Free space on /tmp= 890028 MiB
SOLVER NAME= mixed-bag 2024-07-19
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 --file-size-limit 102400 -w /tmp/evaluation-result-4454650-1721446081/watcher-4454650-1721446081 -o /tmp/evaluation-result-4454650-1721446081/solver-4454650-1721446081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721438873-1042995 --watchdog 3760 mixed-bag HOME/instance-4454650-1721446081.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9634c234ec2c2f6b5ee1ba365a629db0
RANDOM SEED=842965330
nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.886
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
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 : 3679.571
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
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 : 3599.747
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
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 : 3695.565
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
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 : 3668.845
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
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 : 3663.892
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
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.946
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
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 : 3678.702
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126139944 kB
MemAvailable: 128747244 kB
Buffers: 555704 kB
Cached: 2873132 kB
SwapCached: 0 kB
Active: 1043508 kB
Inactive: 3673336 kB
Active(anon): 1548 kB
Inactive(anon): 1332352 kB
Active(file): 1041960 kB
Inactive(file): 2340984 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 35396 kB
Writeback: 0 kB
AnonPages: 1286356 kB
Mapped: 142952 kB
Shmem: 45912 kB
KReclaimable: 128360 kB
Slab: 245532 kB
SReclaimable: 128360 kB
SUnreclaim: 117172 kB
KernelStack: 4128 kB
PageTables: 11988 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1777308 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73632 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1056768 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 226004 kB
DirectMap2M: 21567488 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC032 at 2024-07-20 06:28:23