Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | OPTIMUM | 15.5765 | 15.627 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-pedck60-L12_wcsp.wbo |
| MD5SUM | a03eca185af8829ae31b2e71631e3582 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 6 |
| Best CPU time to get the best result obtained on this benchmark | 1.28361 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 600 |
| Total number of constraints | 36600 |
| Number of soft constraints | 36540 |
| Number of constraints which are clauses | 36540 |
| Number of constraints which are cardinality constraints (but not clauses) | 60 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 10 |
| Top cost | 61 |
| Min constraint cost | 1 |
| Max constraint cost | 61 |
| Sum of constraints costs | 2196540 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 11 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4526488-1751629945.wbo>
0.31/0.41 c original problem has 37140 variables (37140 bin, 0 int, 0 impl, 0 cont) and 73141 constraints
0.31/0.41 c problem read in 0.40
1.09/1.18 c presolving:
1.38/1.49 c (round 1, fast) 72000 del vars, 36000 del conss, 0 add conss, 72000 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 540 impls, 60 clqs
1.47/1.54 c (round 2, fast) 72000 del vars, 36000 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 540 impls, 60 clqs
1.57/1.64 c (round 3, exhaustive) 72000 del vars, 36000 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 60 clqs
1.68/1.78 c (round 4, exhaustive) 72025 del vars, 36000 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 108 clqs
1.78/1.87 c (round 5, exhaustive) 72050 del vars, 36000 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 163 clqs
1.88/1.96 c (round 6, exhaustive) 72075 del vars, 36025 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 205 clqs
1.99/2.04 c (round 7, exhaustive) 72100 del vars, 36050 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 237 clqs
2.09/2.12 c (round 8, exhaustive) 72125 del vars, 36075 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 284 clqs
2.18/2.20 c (round 9, exhaustive) 72150 del vars, 36100 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 330 clqs
2.18/2.27 c (round 10, exhaustive) 72175 del vars, 36125 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 357 clqs
2.28/2.34 c (round 11, exhaustive) 72200 del vars, 36150 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 383 clqs
2.38/2.40 c (round 12, exhaustive) 72225 del vars, 36175 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 423 clqs
2.38/2.46 c (round 13, exhaustive) 72250 del vars, 36200 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 443 clqs
2.48/2.52 c (round 14, exhaustive) 72275 del vars, 36225 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 472 clqs
2.48/2.57 c (round 15, exhaustive) 72300 del vars, 36250 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 496 clqs
2.58/2.62 c (round 16, exhaustive) 72325 del vars, 36275 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 521 clqs
2.58/2.67 c (round 17, exhaustive) 72350 del vars, 36300 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 536 clqs
2.68/2.72 c (round 18, exhaustive) 72375 del vars, 36325 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 553 clqs
2.68/2.77 c (round 19, exhaustive) 72400 del vars, 36350 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 565 clqs
2.78/2.81 c (round 20, exhaustive) 72425 del vars, 36375 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 578 clqs
2.78/2.85 c (round 21, exhaustive) 72450 del vars, 36400 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 587 clqs
2.78/2.89 c (round 22, exhaustive) 72475 del vars, 36425 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 591 clqs
2.88/2.93 c (round 23, exhaustive) 72500 del vars, 36450 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 592 clqs
2.88/2.96 c (2.9s) probing: 1000/1680 (59.5%) - 0 fixings, 504 aggregations, 774 implications, 0 bound changes
2.88/2.97 c (round 24, exhaustive) 72525 del vars, 36475 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 599 clqs
2.88/3.00 c (3.0s) probing: 1129/1680 (67.2%) - 0 fixings, 540 aggregations, 812 implications, 0 bound changes
2.88/3.00 c (3.0s) probing aborted: 50/50 successive totally useless probings
2.88/3.00 c (round 25, exhaustive) 72540 del vars, 36500 del conss, 0 add conss, 72540 chg bounds, 0 chg sides, 0 chg coeffs, 36061 upgd conss, 540 impls, 600 clqs
2.99/3.03 c (3.0s) probing: 1134/1680 (67.5%) - 0 fixings, 540 aggregations, 812 implications, 0 bound changes
2.99/3.03 c (3.0s) probing aborted: 50/50 successive totally useless probings
2.99/3.03 c (3.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.99/3.08 c (3.1s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
2.99/3.08 c dynamic symmetry handling statistics:
2.99/3.08 c orbitopal reduction: no components
2.99/3.08 c orbital reduction: no components
2.99/3.08 c lexicographic reduction: 5 permutations with support sizes 38, 38, 38, 38, 38
2.99/3.08 c handled 5 out of 5 symmetry components
3.09/3.12 c presolving (26 rounds: 26 fast, 24 medium, 24 exhaustive):
3.09/3.12 c 72540 deleted vars, 36525 deleted constraints, 0 added constraints, 72540 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.09/3.12 c 540 implications, 600 cliques
3.09/3.12 c presolved problem has 1140 variables (1140 bin, 0 int, 0 impl, 0 cont) and 36616 constraints
3.09/3.12 c 1 constraints of type <knapsack>
3.09/3.12 c 60 constraints of type <setppc>
3.09/3.12 c 540 constraints of type <linear>
3.09/3.12 c 36000 constraints of type <logicor>
3.09/3.12 c 15 constraints of type <indicator>
3.09/3.12 c transformed objective value is always integral (scale: 1)
3.09/3.12 c Presolving Time: 2.47
3.09/3.12 c - non default parameters ----------------------------------------------------------------------
3.09/3.12 c # SCIP version 10.0.0
3.09/3.12 c
3.09/3.12 c # maximal time in seconds to run
3.09/3.12 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
3.09/3.12 c limits/time = 3596.994071
3.09/3.12 c
3.09/3.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.09/3.12 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
3.09/3.12 c limits/memory = 27900
3.09/3.12 c
3.09/3.12 c # belongs reading time to solving time?
3.09/3.12 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
3.09/3.12 c timing/reading = TRUE
3.09/3.12 c
3.09/3.12 c -----------------------------------------------------------------------------------------------
3.09/3.12 c start solving
3.09/3.13 c
3.09/3.20 o 56
3.09/3.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.09/3.20 c p 3.2s| 1 | 0 | 0 | - | clique| 0 |1140 | 36k| 36k| 0 | 0 | 0 | 0 | 0.000000e+00 | 5.600000e+01 | Inf | unknown
3.28/3.32 o 42
3.28/3.32 c p 3.3s| 1 | 0 | 0 | - | vbounds| 0 |1140 | 36k| 36k| 0 | 0 | 61 | 0 | 0.000000e+00 | 4.200000e+01 | Inf | unknown
3.28/3.35 o 27
3.28/3.35 c p 3.3s| 1 | 0 | 0 | - | vbounds| 0 |1140 | 36k| 36k| 0 | 0 | 61 | 0 | 0.000000e+00 | 2.700000e+01 | Inf | unknown
3.38/3.41 c 3.4s| 1 | 0 | 607 | - | 312M | 0 |1140 | 36k| 36k| 0 | 0 | 61 | 0 | 4.211111e+00 | 2.700000e+01 | 541.16%| unknown
6.57/6.64 c 6.6s| 1 | 0 | 627 | - | 318M | 0 |1140 | 36k| 36k| 3 | 1 | 61 | 0 | 5.300000e+00 | 2.700000e+01 | 409.43%| unknown
8.97/9.04 c 9.0s| 1 | 0 | 644 | - | 323M | 0 |1140 | 36k| 36k| 6 | 2 | 62 | 0 | 6.000000e+00 | 2.700000e+01 | 350.00%| unknown
10.07/10.15 c 10.1s| 1 | 0 | 666 | - | 332M | 0 |1140 | 36k| 36k| 9 | 3 | 62 | 0 | 6.000000e+00 | 2.700000e+01 | 350.00%| unknown
10.96/11.02 c 11.0s| 1 | 0 | 681 | - | 337M | 0 |1140 | 36k| 36k| 12 | 4 | 63 | 0 | 6.000000e+00 | 2.700000e+01 | 350.00%| unknown
11.55/11.69 c 11.7s| 1 | 0 | 694 | - | 343M | 0 |1140 | 36k| 36k| 15 | 5 | 64 | 0 | 6.000000e+00 | 2.700000e+01 | 350.00%| unknown
12.45/12.56 c 12.5s| 1 | 0 | 704 | - | 348M | 0 |1140 | 36k| 36k| 17 | 6 | 64 | 0 | 6.000000e+00 | 2.700000e+01 | 350.00%| unknown
13.24/13.34 c 13.3s| 1 | 0 | 715 | - | 353M | 0 |1140 | 36k| 36k| 19 | 7 | 64 | 0 | 6.000000e+00 | 2.700000e+01 | 350.00%| unknown
13.74/13.85 c 13.8s| 1 | 0 | 725 | - | 358M | 0 |1140 | 36k| 36k| 21 | 8 | 64 | 0 | 6.000000e+00 | 2.700000e+01 | 350.00%| unknown
14.44/14.51 c 14.5s| 1 | 0 | 737 | - | 362M | 0 |1140 | 36k| 36k| 23 | 9 | 64 | 0 | 6.000000e+00 | 2.700000e+01 | 350.00%| unknown
14.64/14.77 c 14.8s| 1 | 0 | 743 | - | 366M | 0 |1140 | 36k| 36k| 25 | 10 | 64 | 0 | 6.000000e+00 | 2.700000e+01 | 350.00%| unknown
14.64/14.79 c 14.8s| 1 | 0 | 747 | - | 370M | 0 |1140 | 36k| 36k| 26 | 11 | 64 | 0 | 6.000000e+00 | 2.700000e+01 | 350.00%| unknown
14.74/14.80 o 11
14.74/14.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.74/14.80 c r14.8s| 1 | 0 | 747 | - |shifting| 0 |1140 | 36k| 36k| 26 | 11 | 65 | 0 | 6.000000e+00 | 1.100000e+01 | 83.33%| unknown
14.74/14.82 c 14.8s| 1 | 0 | 750 | - | 374M | 0 |1140 | 36k| 36k| 27 | 12 | 65 | 0 | 6.000000e+00 | 1.100000e+01 | 83.33%| unknown
14.74/14.83 o 9
14.74/14.83 c i14.8s| 1 | 0 | 750 | - | oneopt| 0 |1140 | 36k| 36k| 27 | 12 | 65 | 0 | 6.000000e+00 | 9.000000e+00 | 50.00%| unknown
14.74/14.86 c 14.9s| 1 | 0 | 1051 | - | 377M | 0 |1140 | 36k| 36k| 28 | 13 | 65 | 0 | 6.000000e+00 | 9.000000e+00 | 50.00%| unknown
14.74/14.89 c 14.9s| 1 | 0 | 1052 | - | 381M | 0 |1140 | 36k| 36k| 29 | 14 | 65 | 0 | 6.000000e+00 | 9.000000e+00 | 50.00%| unknown
14.85/14.91 c 14.9s| 1 | 0 | 1072 | - | 385M | 0 |1140 | 36k| 36k| 30 | 15 | 65 | 0 | 6.000000e+00 | 9.000000e+00 | 50.00%| unknown
14.85/14.94 c 14.9s| 1 | 0 | 1073 | - | 389M | 0 |1140 | 36k| 36k| 31 | 16 | 65 | 0 | 6.000000e+00 | 9.000000e+00 | 50.00%| unknown
14.85/14.96 c 14.9s| 1 | 0 | 1074 | - | 392M | 0 |1140 | 36k| 36k| 32 | 17 | 65 | 0 | 6.000000e+00 | 9.000000e+00 | 50.00%| unknown
14.85/14.97 c 15.0s| 1 | 0 | 1077 | - | 392M | 0 |1140 | 36k| 36k| 33 | 18 | 65 | 0 | 6.000000e+00 | 9.000000e+00 | 50.00%| unknown
14.85/14.99 c 15.0s| 1 | 0 | 1079 | - | 396M | 0 |1140 | 36k| 36k| 34 | 19 | 66 | 0 | 6.000000e+00 | 9.000000e+00 | 50.00%| unknown
14.96/15.01 c 15.0s| 1 | 0 | 1080 | - | 396M | 0 |1140 | 36k| 36k| 36 | 20 | 66 | 0 | 6.000000e+00 | 9.000000e+00 | 50.00%| unknown
15.24/15.39 o 6
15.24/15.39 c L15.4s| 1 | 0 | 1529 | - | alns| 0 |1140 | 36k| 36k| 36 | 20 | 70 | 0 | 6.000000e+00 | 6.000000e+00 | 0.00%| unknown
15.34/15.40 c 15.4s| 1 | 0 | 1529 | - | 398M | 0 |1140 | 36k| 36k| 36 | 20 | 70 | 0 | 6.000000e+00 | 6.000000e+00 | 0.00%| unknown
15.34/15.40 c
15.34/15.40 c SCIP Status : problem is solved [optimal solution found]
15.34/15.40 c Solving Time (sec) : 15.39
15.34/15.40 c Solving Nodes : 1
15.34/15.40 c Primal Bound : +6.00000000000000e+00 (6 solutions)
15.34/15.40 c Dual Bound : +6.00000000000000e+00
15.34/15.40 c Gap : 0.00 %
15.34/15.45 s OPTIMUM FOUND
15.34/15.45 v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 x592 -x591 -x590 -x589 -x588 -x587 -x586 x585 -x584 -x583 -x582 -x581 -x580 -x579
15.34/15.45 v -x578 -x577 -x576 x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 x562 -x561 -x560 -x559 -x558
15.34/15.45 v -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537
15.34/15.45 v -x536 x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516
15.34/15.45 v -x515 -x514 -x513 x512 -x511 -x510 -x509 -x508 -x507 -x506 x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494
15.34/15.45 v -x493 x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473
15.34/15.45 v x472 -x471 -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 x455 -x454 -x453 -x452
15.34/15.45 v -x451 -x450 -x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432 -x431
15.34/15.45 v -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 -x417 -x416 x415 -x414 -x413 -x412 -x411 -x410
15.34/15.45 v -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388
15.34/15.45 v -x387 -x386 -x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367
15.34/15.45 v -x366 -x365 -x364 -x363 x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 x352 -x351 -x350 -x349 -x348 -x347 x346
15.34/15.45 v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325
15.34/15.45 v -x324 -x323 x322 -x321 -x320 -x319 -x318 -x317 x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304
15.34/15.45 v -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 -x283 -x282
15.34/15.45 v -x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 x261
15.34/15.45 v -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 x246 -x245 -x244 -x243 -x242 -x241 -x240
15.34/15.45 v -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219
15.34/15.45 v -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198
15.34/15.45 v -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177
15.34/15.45 v -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155
15.34/15.45 v -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134
15.34/15.45 v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
15.34/15.45 v x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90
15.34/15.45 v -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 x65
15.34/15.45 v -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39
15.34/15.45 v -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14
15.34/15.45 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
15.34/15.45 c SCIP Status : problem is solved [optimal solution found]
15.34/15.45 c Total Time : 15.39
15.34/15.45 c solving : 15.39
15.34/15.45 c presolving : 2.47 (included in solving)
15.34/15.45 c reading : 0.40 (included in solving)
15.34/15.45 c copying : 0.09 (2 #copies) (minimal 0.04, maximal 0.04, average 0.04)
15.34/15.45 c Original Problem :
15.34/15.45 c Problem name : HOME/instance-4526488-1751629945.wbo
15.34/15.45 c Variables : 37140 (37140 binary, 0 integer, 0 implicit integer, 0 continuous)
15.34/15.45 c Constraints : 73141 initial, 73141 maximal
15.34/15.46 c Objective : minimize, 36540 non-zeros (abs.min = 1, abs.max = 61)
15.34/15.46 c Presolved Problem :
15.34/15.46 c Problem name : t_HOME/instance-4526488-1751629945.wbo
15.34/15.46 c Variables : 1140 (1140 binary, 0 integer, 0 implicit integer, 0 continuous)
15.34/15.46 c Constraints : 36616 initial, 36685 maximal
15.34/15.46 c Objective : minimize, 540 non-zeros (abs.min = 1, abs.max = 1)
15.34/15.46 c Nonzeros : 110280 constraint, 1686 clique table
15.34/15.46 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
15.34/15.46 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c domcol : 0.00 0.00 23 0 0 0 0 0 0 0 0 0
15.34/15.46 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
15.34/15.46 c gateextraction : 0.15 0.00 23 0 0 0 0 0 0 0 0 0
15.34/15.46 c implics : 0.00 0.00 24 0 0 0 0 0 0 0 0 0
15.34/15.46 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
15.34/15.46 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c trivial : 0.00 0.00 26 0 0 0 0 0 0 0 0 0
15.34/15.46 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c dualfix : 0.00 0.00 26 0 0 0 0 0 0 0 0 0
15.34/15.46 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c probing : 0.16 0.00 23 0 540 0 0 0 0 0 0 0
15.34/15.46 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
15.34/15.46 c symmetry : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
15.34/15.46 c vbounds : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
15.34/15.46 c knapsack : 0.00 0.00 69 0 0 0 0 0 0 0 0 0
15.34/15.46 c setppc : 0.00 0.00 69 0 0 0 0 0 0 0 0 0
15.34/15.46 c linear : 0.36 0.01 50 36000 0 0 36540 0 0 0 0 0
15.34/15.46 c logicor : 1.06 0.04 69 0 0 0 0 0 0 0 0 0
15.34/15.46 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c indicator : 0.08 0.00 24 36000 0 0 36000 0 36525 0 0 0
15.34/15.46 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
15.34/15.46 c root node : - - - 0 - - 0 - - - - -
15.34/15.46 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
15.34/15.46 c benderslp : 0 0 0 0 0 0 0 66 0 0 0 0 0 0 0
15.34/15.46 c integral : 0 0 0 0 0 0 0 66 0 0 0 0 0 0 0
15.34/15.46 c knapsack : 1 1 0 6488 0 0 0 60 198 0 0 0 0 0 0
15.34/15.46 c setppc : 60+ 63 20 6042 0 0 0 58 198 15 0 0 0 0 0
15.34/15.46 c linear : 540 540 20 6014 0 0 0 50 357 0 0 0 0 0 0
15.34/15.46 c logicor : 36000+ 36066 20 1606 0 0 0 11 1197 11 0 2 2 0 0
15.34/15.46 c benders : 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0
15.34/15.46 c indicator : 15 15 20 6539 0 0 0 6 0 0 0 0 0 0 0
15.34/15.46 c fixedvar : 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0
15.34/15.46 c countsols : 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0
15.34/15.46 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
15.34/15.46 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.34/15.46 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.34/15.46 c knapsack : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
15.34/15.46 c setppc : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
15.34/15.46 c linear : 0.05 0.01 0.02 0.01 0.00 0.00 0.00 0.00 0.00 0.00
15.34/15.46 c logicor : 0.20 0.04 0.08 0.07 0.00 0.00 0.00 0.01 0.00 0.00
15.34/15.46 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.34/15.46 c indicator : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
15.34/15.46 c fixedvar : 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.02 0.00 0.00
15.34/15.46 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.34/15.46 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.34/15.46 c Propagators : #Propagate #ResProp Cutoffs DomReds
15.34/15.46 c dualfix : 2 0 0 0
15.34/15.46 c genvbounds : 0 0 0 0
15.34/15.46 c nlobbt : 0 0 0 0
15.34/15.46 c obbt : 0 0 0 0
15.34/15.46 c probing : 0 0 0 0
15.34/15.46 c pseudoobj : 24 0 0 0
15.34/15.46 c redcost : 22 0 0 0
15.34/15.46 c rootredcost : 0 0 0 0
15.34/15.46 c symmetry : 0 0 0 0
15.34/15.46 c vbounds : 2031 0 0 0
15.34/15.46 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
15.34/15.46 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
15.34/15.46 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
15.34/15.46 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
15.34/15.46 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
15.34/15.46 c probing : 0.16 0.00 0.16 0.00 0.00 0.00
15.34/15.46 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
15.34/15.46 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
15.34/15.46 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
15.34/15.46 c symmetry : 0.05 0.00 0.05 0.00 0.00 0.00
15.34/15.46 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
15.34/15.46 c Symmetry :
15.34/15.46 c orbitopal red. : 0 reductions applied, 0 cutoffs
15.34/15.46 c orbital reduction: 0 reductions applied, 0 cutoffs
15.34/15.46 c lexicographic red: 0 reductions applied, 0 cutoffs
15.34/15.46 c shadow tree time : 0.00 s
15.34/15.46 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
15.34/15.46 c propagation : 0.00 24 24 - 58 48.0 8 3.0 - - -
15.34/15.46 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
15.34/15.46 c bound exceed. LP : 0.01 2 2 - 4 23.8 0 0.0 0 0.0 4
15.34/15.46 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
15.34/15.46 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
15.34/15.46 c applied globally : 0.00 - - 0 70 40.2 - - 0 - -
15.34/15.46 c applied locally : - - - 0 0 0.0 - - 0 - -
15.34/15.46 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
15.34/15.46 c cut pool : 0.01 - 39 39 - - 1355 1671 - - - - - (maximal pool size: 1355)
15.34/15.46 c aggregation : 0.05 0.00 20 20 0 0 0 0 0 0 0 0 0
15.34/15.46 c > cmir : - - - - - - - 0 0 0 0 0 -
15.34/15.46 c > flowcover : - - - - - - - 0 0 0 0 0 -
15.34/15.46 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
15.34/15.46 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c clique : 0.03 0.00 20 20 0 0 0 0 0 0 0 0 0
15.34/15.46 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c gomory : 11.09 0.00 10 10 0 0 1327 1640 0 15 15 0 0
15.34/15.46 c > gomorymi : - - - - - - - 847 0 2 2 0 -
15.34/15.46 c > strongcg : - - - - - - - 793 0 13 13 0 -
15.34/15.46 c impliedbounds : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
15.34/15.46 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
15.34/15.46 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c multilinear : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
15.34/15.46 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c rapidlearning : 0.01 0.00 0 0 0 0 0 0 0 0 0 0 0
15.34/15.46 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
15.34/15.46 c zerohalf : 0.03 0.00 20 20 0 0 28 31 0 19 19 0 0
15.34/15.46 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
15.34/15.46 c hybrid : 0.00 0.00 20 20 36 0 1637 36 0 1637
15.34/15.46 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
15.34/15.46 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
15.34/15.46 c Pricers : ExecTime SetupTime Calls Vars
15.34/15.46 c problem variables: 0.00 - 0 0
15.34/15.46 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
15.34/15.46 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
15.34/15.46 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
15.34/15.46 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
15.34/15.46 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
15.34/15.46 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
15.34/15.46 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
15.34/15.46 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
15.34/15.46 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
15.34/15.46 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
15.34/15.46 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
15.34/15.46 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
15.34/15.46 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
15.34/15.46 c random : 0.00 0.00 0 0 0 0 0 0 0 0
15.34/15.46 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
15.34/15.46 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
15.34/15.46 c Primal Heuristics : ExecTime SetupTime Calls Found Best
15.34/15.46 c LP solutions : 0.00 - - 0 0
15.34/15.46 c relax solutions : 0.00 - - 0 0
15.34/15.46 c pseudo solutions : 0.00 - - 0 0
15.34/15.46 c strong branching : 0.00 - - 0 0
15.34/15.46 c actconsdiving : 0.00 0.00 0 0 0
15.34/15.46 c adaptivediving : 0.00 0.00 0 0 0
15.34/15.46 c alns : 0.11 0.00 1 1 1
15.34/15.46 c bound : 0.00 0.00 0 0 0
15.34/15.46 c clique : 0.07 0.00 1 1 1
15.34/15.46 c coefdiving : 0.00 0.00 0 0 0
15.34/15.46 c completesol : 0.00 0.00 0 0 0
15.34/15.46 c conflictdiving : 0.01 0.00 1 0 0
15.34/15.46 c crossover : 0.00 0.00 0 0 0
15.34/15.46 c dins : 0.00 0.00 0 0 0
15.34/15.46 c distributiondivin: 0.00 0.00 0 0 0
15.34/15.46 c dps : 0.00 0.00 0 0 0
15.34/15.46 c dualval : 0.00 0.00 0 0 0
15.34/15.46 c farkasdiving : 0.00 0.00 0 0 0
15.34/15.46 c feasjump : 0.00 0.00 0 0 0
15.34/15.46 c feaspump : 0.16 0.00 1 0 0
15.34/15.46 c fixandinfer : 0.00 0.00 0 0 0
15.34/15.46 c fracdiving : 0.00 0.00 0 0 0
15.34/15.46 c gins : 0.00 0.00 0 0 0
15.34/15.46 c guideddiving : 0.00 0.00 0 0 0
15.34/15.46 c indcoefdiving : 0.00 0.00 0 0 0
15.34/15.46 c indicator : 0.00 0.00 0 0 0
15.34/15.46 c indicatordiving : 0.00 0.00 0 0 0
15.34/15.46 c indoneopt : 0.00 0.00 2 0 0
15.34/15.46 c indrounding : 0.00 0.00 0 0 0
15.34/15.46 c indtwoopt : 0.00 0.00 0 0 0
15.34/15.46 c intdiving : 0.00 0.00 0 0 0
15.34/15.46 c intshifting : 0.00 0.00 0 0 0
15.34/15.46 c linesearchdiving : 0.00 0.00 0 0 0
15.34/15.46 c localbranching : 0.00 0.00 0 0 0
15.34/15.46 c locks : 0.03 0.00 1 0 0
15.34/15.46 c lpface : 0.00 0.00 0 0 0
15.34/15.46 c mpec : 0.00 0.00 0 0 0
15.34/15.46 c multistart : 0.00 0.00 0 0 0
15.34/15.46 c mutation : 0.00 0.00 0 0 0
15.34/15.46 c nlpdiving : 0.00 0.00 0 0 0
15.34/15.46 c objpscostdiving : 0.00 0.00 0 0 0
15.34/15.46 c octane : 0.00 0.00 0 0 0
15.34/15.46 c ofins : 0.00 0.00 0 0 0
15.34/15.46 c oneopt : 0.01 0.00 2 1 1
15.34/15.46 c padm : 0.00 0.00 0 0 0
15.34/15.46 c proximity : 0.00 0.00 0 0 0
15.34/15.46 c pscostdiving : 0.00 0.00 0 0 0
15.34/15.46 c randrounding : 0.05 0.00 21 0 0
15.34/15.46 c rens : 0.10 0.00 1 0 0
15.34/15.46 c reoptsols : 0.00 0.00 0 0 0
15.34/15.46 c repair : 0.00 0.00 0 0 0
15.34/15.46 c rins : 0.00 0.00 0 0 0
15.34/15.46 c rootsoldiving : 0.00 0.00 0 0 0
15.34/15.46 c rounding : 0.02 0.00 21 0 0
15.34/15.46 c scheduler : 0.00 0.00 0 0 0
15.34/15.46 c shiftandpropagate: 0.00 0.00 0 0 0
15.34/15.46 c shifting : 0.03 0.00 21 1 1
15.34/15.46 c simplerounding : 0.00 0.00 0 0 0
15.34/15.46 c smallcard : 0.00 0.00 0 0 0
15.34/15.46 c subnlp : 0.00 0.00 0 0 0
15.34/15.46 c trivial : 0.04 0.00 2 0 0
15.34/15.46 c trivialnegation : 0.00 0.00 0 0 0
15.34/15.46 c trustregion : 0.00 0.00 0 0 0
15.34/15.46 c trysol : 0.00 0.00 0 0 0
15.34/15.46 c twoopt : 0.00 0.00 0 0 0
15.34/15.46 c undercover : 0.00 0.00 0 0 0
15.34/15.46 c vbounds : 0.13 0.00 1 2 2
15.34/15.46 c veclendiving : 0.00 0.00 0 0 0
15.34/15.46 c zeroobj : 0.00 0.00 0 0 0
15.34/15.46 c zirounding : 0.00 0.00 1 0 0
15.34/15.46 c other solutions : - - - 0 -
15.34/15.46 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
15.34/15.46 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
15.34/15.46 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
15.34/15.46 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
15.34/15.46 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
15.34/15.46 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
15.34/15.46 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
15.34/15.46 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
15.34/15.46 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
15.34/15.46 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
15.34/15.46 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
15.34/15.46 c primal LP : 0.00 1 0 0.00 - 0.00 1
15.34/15.46 c dual LP : 0.12 21 780 37.14 6381.83 0.00 0
15.34/15.46 c lex dual LP : 0.00 0 0 0.00 -
15.34/15.46 c barrier LP : 0.00 0 0 0.00 - 0.00 0
15.34/15.46 c resolve instable : 0.00 0 0 0.00 -
15.34/15.46 c diving/probing LP: 0.15 22 749 34.05 4876.21
15.34/15.46 c strong branching : 0.00 0 0 0.00 - - - 0
15.34/15.46 c (at root node) : - 0 0 0.00 -
15.34/15.46 c conflict analysis: 0.00 1 4 4.00 -
15.34/15.46 c B&B Tree :
15.34/15.46 c number of runs : 1
15.34/15.46 c nodes : 1 (0 internal, 1 leaves)
15.34/15.46 c feasible leaves : 0
15.34/15.46 c infeas. leaves : 0
15.34/15.46 c objective leaves : 1
15.34/15.46 c nodes (total) : 1 (0 internal, 1 leaves)
15.34/15.46 c nodes left : 0
15.34/15.46 c max depth : 0
15.34/15.46 c max depth (total): 0
15.34/15.46 c backtracks : 0 (0.0%)
15.34/15.46 c early backtracks : 0 (0.0%)
15.34/15.46 c nodes exc. ref. : 0 (0.0%)
15.34/15.46 c delayed cutoffs : 0
15.34/15.46 c repropagations : 0 (0 domain reductions, 0 cutoffs)
15.34/15.46 c avg switch length: 2.00
15.34/15.46 c switching time : 0.00
15.34/15.46 c Root Node :
15.34/15.46 c First LP value : +4.21111111111111e+00
15.34/15.46 c First LP Iters : 607 (18796.64 Iter/sec)
15.34/15.46 c First LP Time : 0.03
15.34/15.46 c Final Dual Bound : +6.00000000000000e+00
15.34/15.46 c Final Root Iters : 1080
15.34/15.46 c Root LP Estimate : -
15.34/15.46 c Solution :
15.34/15.46 c Solutions found : 6 (6 improvements)
15.34/15.46 c First Solution : +5.60000000000000e+01 (in run 1, after 1 nodes, 3.18 seconds, depth 501, found by <clique>)
15.34/15.46 c Gap First Sol. : infinite
15.34/15.46 c Gap Last Sol. : 0.00 %
15.34/15.46 c Primal Bound : +6.00000000000000e+00 (in run 1, after 1 nodes, 15.37 seconds, depth 0, found by <alns>)
15.34/15.46 c Dual Bound : +6.00000000000000e+00
15.34/15.46 c Gap : 0.00 %
15.34/15.46 c Integrals : Total Avg%
15.34/15.46 c primal-dual : 1273.00 82.73
15.34/15.46 c primal-ref : - - (not evaluated)
15.34/15.46 c dual-ref : - - (not evaluated)
15.54/15.61 c Time complete: 15.5618.
OK 6
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: 63794 MiB (61716 MiB free)
memory of node 1: 64507 MiB (55978 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526488-1751629945/watcher-4526488-1751629945 -o /tmp/evaluation-result-4526488-1751629945/solver-4526488-1751629945 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751626031-88029 --watchdog 3760 pbscip -f HOME/instance-4526488-1751629945.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=90560, runsolver pid=90557
[startup+0.100074 s]*
/proc/loadavg: 4.09 4.08 4.13 5/253 90561
/proc/meminfo: memFree=120511600/131382112 swapFree=33010416/33010684
[pid=90560] ppid=90557 vsize=59568 memory=32000 CPUtime=0.1 cores=4,6
/proc/90560/stat : 90560 (pbscip) R 90557 90560 88018 0 -1 4194304 5060 0 0 0 8 2 0 0 20 0 1 0 78674188 60997632 8000 18446744073709551615 4235264 18693293 140727263936944 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31289344 140727263943047 140727263943146 140727263943146 140727263948750 0
/proc/90560/statm: 14892 8000 3264 3530 0 6343 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 59568 KiB
Current children cumulated memory: 32000 KiB
[startup+0.213417 s]*
/proc/loadavg: 4.09 4.08 4.13 5/253 90561
/proc/meminfo: memFree=120483564/131382112 swapFree=33010416/33010684
[pid=90560] ppid=90557 vsize=76676 memory=49024 CPUtime=0.21 cores=4,6
/proc/90560/stat : 90560 (pbscip) R 90557 90560 88018 0 -1 4194304 9329 0 0 0 18 3 0 0 20 0 1 0 78674188 78516224 12256 18446744073709551615 4235264 18693293 140727263936944 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31289344 140727263943047 140727263943146 140727263943146 140727263948750 0
/proc/90560/statm: 19169 12256 3264 3530 0 10620 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 76676 KiB
Current children cumulated memory: 49024 KiB
[startup+0.313333 s]*
/proc/loadavg: 4.09 4.08 4.13 5/253 90561
/proc/meminfo: memFree=120455276/131382112 swapFree=33010416/33010684
[pid=90560] ppid=90557 vsize=89088 memory=61460 CPUtime=0.31 cores=4,6
/proc/90560/stat : 90560 (pbscip) R 90557 90560 88018 0 -1 4194304 12504 0 0 0 27 4 0 0 20 0 1 0 78674188 91226112 15365 18446744073709551615 4235264 18693293 140727263936944 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31289344 140727263943047 140727263943146 140727263943146 140727263948750 0
/proc/90560/statm: 22272 15365 3264 3530 0 13723 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 89088 KiB
Current children cumulated memory: 61460 KiB
[startup+0.700303 s]
/proc/loadavg: 4.08 4.08 4.13 6/253 90561
/proc/meminfo: memFree=120387268/131382112 swapFree=33010416/33010684
[pid=90560] ppid=90557 vsize=189832 memory=160636 CPUtime=0.68 cores=4,6
/proc/90560/stat : 90560 (pbscip) R 90557 90560 88018 0 -1 4194304 37386 0 0 0 57 11 0 0 20 0 1 0 78674188 194387968 40159 18446744073709551615 4235264 18693293 140727263936944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31289344 140727263943047 140727263943146 140727263943146 140727263948750 0
/proc/90560/statm: 47458 40159 3616 3530 0 38909 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 189832 KiB
Current children cumulated memory: 160636 KiB
[startup+1.50032 s]
/proc/loadavg: 4.08 4.08 4.13 5/253 90561
/proc/meminfo: memFree=120218176/131382112 swapFree=33010416/33010684
[pid=90560] ppid=90557 vsize=325040 memory=290884 CPUtime=1.47 cores=4,6
/proc/90560/stat : 90560 (pbscip) R 90557 90560 88018 0 -1 4194304 71738 0 0 0 126 21 0 0 20 0 1 0 78674188 332840960 72721 18446744073709551615 4235264 18693293 140727263936944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31289344 140727263943047 140727263943146 140727263943146 140727263948750 0
/proc/90560/statm: 81260 72721 3616 3530 0 72711 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 325040 KiB
Current children cumulated memory: 290884 KiB
[startup+3.11287 s]
/proc/loadavg: 4.08 4.08 4.13 5/253 90561
/proc/meminfo: memFree=120178412/131382112 swapFree=33010416/33010684
[pid=90560] ppid=90557 vsize=336688 memory=299140 CPUtime=3.09 cores=4,6
/proc/90560/stat : 90560 (pbscip) R 90557 90560 88018 0 -1 4194304 78305 0 0 0 286 23 0 0 20 0 1 0 78674188 344768512 74785 18446744073709551615 4235264 18693293 140727263936944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31289344 140727263943047 140727263943146 140727263943146 140727263948750 0
/proc/90560/statm: 84172 74785 3712 3530 0 75623 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 336688 KiB
Current children cumulated memory: 299140 KiB
[startup+6.30023 s]
/proc/loadavg: 4.07 4.08 4.12 5/253 90561
/proc/meminfo: memFree=120060084/131382112 swapFree=33010416/33010684
[pid=90560] ppid=90557 vsize=374624 memory=335348 CPUtime=6.27 cores=4,6
/proc/90560/stat : 90560 (pbscip) R 90557 90560 88018 0 -1 4194304 89270 0 0 0 602 25 0 0 20 0 1 0 78674188 383614976 83837 18446744073709551615 4235264 18693293 140727263936944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31289344 140727263943047 140727263943146 140727263943146 140727263948750 0
/proc/90560/statm: 93656 83837 3904 3530 0 85107 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 374624 KiB
Current children cumulated memory: 335348 KiB
[startup+12.7003 s]
/proc/loadavg: 4.07 4.08 4.12 5/253 90561
/proc/meminfo: memFree=120027448/131382112 swapFree=33010416/33010684
[pid=90560] ppid=90557 vsize=416200 memory=356052 CPUtime=12.65 cores=4,6
/proc/90560/stat : 90560 (pbscip) R 90557 90560 88018 0 -1 4194304 94337 0 0 0 1240 25 0 0 20 0 1 0 78674188 426188800 89013 18446744073709551615 4235264 18693293 140727263936944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31289344 140727263943047 140727263943146 140727263943146 140727263948750 0
/proc/90560/statm: 104050 89013 3904 3530 0 95501 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 416200 KiB
Current children cumulated memory: 356052 KiB
[startup+15.6269 s]
# the end of solver process 90560 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=15.2818 s, system=0.294727 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 4.07 4.08 4.12 5/253 90561
/proc/meminfo: memFree=120027448/131382112 swapFree=33010416/33010684
[pid=90560] ppid=90557 vsize=416624 memory=356308 CPUtime=12.75 cores=4,6
/proc/90560/stat : 90560 (pbscip) R 90557 90560 88018 0 -1 4194304 94407 0 0 0 1250 25 0 0 20 0 1 0 78674188 426622976 89077 18446744073709551615 4235264 18693293 140727263936944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31289344 140727263943047 140727263943146 140727263943146 140727263948750 0
/proc/90560/statm: 104156 89077 3904 3530 0 95607 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 416624 KiB
Current children cumulated memory: 356308 KiB
[startup+14.4002 s]
/proc/loadavg: 4.07 4.08 4.12 5/253 90561
/proc/meminfo: memFree=120024172/131382112 swapFree=33010416/33010684
[pid=90560] ppid=90557 vsize=426184 memory=358484 CPUtime=14.34 cores=4,6
/proc/90560/stat : 90560 (pbscip) R 90557 90560 88018 0 -1 4194304 94949 0 0 0 1409 25 0 0 20 0 1 0 78674188 436412416 89621 18446744073709551615 4235264 18693293 140727263936944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31289344 140727263943047 140727263943146 140727263943146 140727263948750 0
/proc/90560/statm: 106546 89621 3904 3530 0 97997 0
Current children cumulated CPU time: 14.34 s
Current children cumulated vsize: 426184 KiB
Current children cumulated memory: 358484 KiB
[startup+15.2003 s]
/proc/loadavg: 4.07 4.08 4.12 5/253 90561
/proc/meminfo: memFree=120020644/131382112 swapFree=33010416/33010684
[pid=90560] ppid=90557 vsize=469724 memory=367956 CPUtime=15.14 cores=4,6
/proc/90560/stat : 90560 (pbscip) R 90557 90560 88018 0 -1 4194304 97357 0 0 0 1488 26 0 0 20 0 1 0 78674188 480997376 91989 18446744073709551615 4235264 18693293 140727263936944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31289344 140727263943047 140727263943146 140727263943146 140727263948750 0
/proc/90560/statm: 117431 91989 3904 3530 0 108882 0
Current children cumulated CPU time: 15.14 s
Current children cumulated vsize: 469724 KiB
Current children cumulated memory: 367956 KiB
[startup+15.6003 s]
/proc/loadavg: 4.07 4.08 4.12 5/253 90561
/proc/meminfo: memFree=120020644/131382112 swapFree=33010416/33010684
[pid=90560] ppid=90557 vsize=394736 memory=291752 CPUtime=15.54 cores=4,6
/proc/90560/stat : 90560 (pbscip) R 90557 90560 88018 0 -1 4194304 109011 0 0 0 1526 28 0 0 20 0 1 0 78674188 404209664 72938 18446744073709551615 4235264 18693293 140727263936944 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31289344 140727263943047 140727263943146 140727263943146 140727263948750 0
/proc/90560/statm: 98684 72938 4000 3530 0 90135 0
Current children cumulated CPU time: 15.54 s
Current children cumulated vsize: 394736 KiB
Current children cumulated memory: 291752 KiB
Child status: 0
Real time (s): 15.627
CPU time (s): 15.5765
CPU user time (s): 15.2818
CPU system time (s): 0.294727
CPU usage (%): 99.6772
Max. virtual memory (cumulated for all children) (KiB): 510348
Max. memory (cumulated for all children) (KiB): 407180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.2818
system time used= 0.294727
maximum resident set size= 407180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109018
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= 80
involuntary context switches= 31
# summary of solver processes directly reported to runsolver:
# pid: 90560
# total CPU time (s): 15.5765
# total CPU user time (s): 15.2818
# total CPU system time (s): 0.294727
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.101674 second user time and 0.215635 second system time
The end
Begin job on nodeC012 at 2025-07-04 13:52:25 IDJOB=4526488 IDBENCH=144097 IDSOLVER=3382 FILE ID=nodeC012/4526488-1751629945 RUNJOBID= nodeC012-1751626031-88029 SLURM_JOB_ID= 9598953 Free space on /tmp= 431652 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/pedigree/normalized-pedck60-L12_wcsp.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526488-1751629945/watcher-4526488-1751629945 -o /tmp/evaluation-result-4526488-1751629945/solver-4526488-1751629945 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751626031-88029 --watchdog 3760 pbscip -f HOME/instance-4526488-1751629945.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a03eca185af8829ae31b2e71631e3582 RANDOM SEED=1106754885 nodeC012 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 : 0xb00001f cpu MHz : 3591.540 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 3691.229 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1198.075 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.750 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 3700.000 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 3691.196 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.152 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.243 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 120559908 kB MemAvailable: 121092340 kB Buffers: 2136 kB Cached: 1331656 kB SwapCached: 16 kB Active: 9502980 kB Inactive: 711424 kB Active(anon): 8893612 kB Inactive(anon): 4948 kB Active(file): 609368 kB Inactive(file): 706476 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 45520 kB Writeback: 0 kB AnonPages: 8883756 kB Mapped: 135944 kB Shmem: 17944 kB KReclaimable: 112048 kB Slab: 197620 kB SReclaimable: 112048 kB SUnreclaim: 85572 kB KernelStack: 4080 kB PageTables: 20752 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 9389480 kB VmallocTotal: 34359738367 kB VmallocUsed: 149400 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1210368 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: 187208 kB DirectMap2M: 8103936 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431632 MiB End job on nodeC012 at 2025-07-04 13:52:41