Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | SAT | -84 | 3587.68 | 3597.29 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/bsg/normalized-bsg_1000_60_4.opb |
| MD5SUM | 4c2c369b1f167640d5c7bb93c6f68f6b |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -94 |
| Best CPU time to get the best result obtained on this benchmark | 72000.5 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2000 |
| Total number of constraints | 3001 |
| Number of constraints which are clauses | 1000 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2001 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2000 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 2000 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 150968 |
| Sum of products size (including duplicates) | 301936 |
| Number of different products | 75484 |
| Sum of products size | 150968 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4498387-1751269739.opb>
0.20/0.24 c original problem has 77484 variables (2000 bin, 0 int, 75484 cont) and 80485 constraints
0.20/0.24 c original problem has 75484 implied integral variables (0 bin, 0 int, 75484 cont)
0.20/0.24 c problem read in 0.247 seconds
0.50/0.57 o 0
0.50/0.58 c feasible solution found by trivial heuristic after 0.6 seconds, objective value 0.000000e+00
0.50/0.58 c presolving:
1.09/1.14 c (round 1, medium) 0 del vars, 79484 del conss, 2000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1000 clqs
1.19/1.22 c (round 2, fast) 75484 del vars, 79484 del conss, 2000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1000 clqs
1.19/1.26 c (round 3, exhaustive) 75484 del vars, 79484 del conss, 2000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3000 upgd conss, 0 impls, 1000 clqs
1.38/1.40 c (1.4s) probing: 51/2000 (2.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.38/1.40 c (1.4s) probing aborted: 50/50 successive totally useless probings
1.38/1.41 c (1.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.38/1.44 c (1.4s) no symmetry present (symcode time: 0.00)
1.38/1.46 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
1.38/1.46 c 75484 deleted vars, 79484 deleted constraints, 2000 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.38/1.46 c 0 implications, 1000 cliques
1.38/1.46 c presolved problem has 2000 variables (2000 bin, 0 int, 0 cont) and 3001 constraints
1.38/1.46 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1.38/1.46 c 2000 constraints of type <knapsack>
1.38/1.46 c 1000 constraints of type <setppc>
1.38/1.46 c 1 constraints of type <linear>
1.38/1.46 c transformed objective value is always integral (scale: 1)
1.38/1.46 c Presolving Time: 0.93
1.38/1.46 c
1.38/1.46 c - non default parameters ----------------------------------------------------------------------
1.38/1.46 c
1.38/1.46 c # SCIP version 10.0.0
1.38/1.46 c
1.38/1.46 c # maximal time in seconds to run
1.38/1.46 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.38/1.46 c limits/time = 3596.998152
1.38/1.46 c
1.38/1.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.38/1.46 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.38/1.46 c limits/memory = 27900
1.38/1.46 c
1.38/1.46 c # belongs reading time to solving time?
1.38/1.46 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.38/1.46 c timing/reading = TRUE
1.38/1.46 c
1.38/1.46 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
1.38/1.46 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
1.38/1.46 c reading/opbreader/maxintsize = 47
1.38/1.46 c
1.38/1.46 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
1.38/1.46 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
1.38/1.46 c propagating/genvbounds/timingmask = 0
1.38/1.46 c
1.38/1.46 c -----------------------------------------------------------------------------------------------
1.38/1.48 c transformed 1/1 original solutions to the transformed problem space
1.38/1.48 c
8.97/9.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.97/9.10 c 9.1s| 1 | 0 | 4516 | - | 334M | 0 |2000 |3001 |3001 | 0 | 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | Inf | unknown
9.16/9.22 o -1
9.16/9.22 c r 9.2s| 1 | 0 | 4516 | - |rounding| 0 |2000 |3001 |3001 | 0 | 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | Large | unknown
16.24/16.34 c 16.3s| 1 | 0 | 4820 | - | 383M | 0 |2000 |3001 |3260 | 259 | 1 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | Large | unknown
23.22/23.31 c 23.3s| 1 | 0 | 5051 | - | 389M | 0 |2000 |3001 |3476 | 475 | 2 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | Large | unknown
33.09/33.26 c 33.3s| 1 | 0 | 5330 | - | 391M | 0 |2000 |3001 |3738 | 737 | 3 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | Large | unknown
33.09/33.29 o -55
33.09/33.29 c r33.3s| 1 | 0 | 5330 | - |randroun| 0 |2000 |3001 |3738 | 0 | 3 | 0 | 0 |-5.000000e+02 |-5.500000e+01 | 809.09%| unknown
42.67/42.82 c 42.8s| 1 | 0 | 5563 | - | 392M | 0 |2000 |3001 |3964 | 963 | 4 | 0 | 0 |-5.000000e+02 |-5.500000e+01 | 809.09%| unknown
48.85/49.04 c 49.0s| 1 | 0 | 5678 | - | 395M | 0 |2000 |3001 |4058 |1057 | 5 | 0 | 0 |-5.000000e+02 |-5.500000e+01 | 809.09%| unknown
55.33/55.57 c 55.6s| 1 | 0 | 5713 | - | 400M | 0 |2000 |3001 |4090 |1089 | 6 | 0 | 0 |-5.000000e+02 |-5.500000e+01 | 809.09%| unknown
55.33/55.59 o -56
55.33/55.59 c r55.6s| 1 | 0 | 5713 | - |randroun| 0 |2000 |3001 |4090 | 0 | 6 | 0 | 0 |-5.000000e+02 |-5.600000e+01 | 792.86%| unknown
292.33/293.18 c 293s| 1 | 2 | 15663 | - | 396M | 0 |2000 |3001 |4090 |1089 | 7 | 0 | 20 |-5.000000e+02 |-5.600000e+01 | 792.86%| unknown
1929.56/1934.32 o -62
1929.56/1934.32 c d1934s| 16 | 17 | 51889 |3078.4 |pscostdi| 15 |2000 |3001 |3676 | 0 | 1 | 0 | 313 |-5.000000e+02 |-6.200000e+01 | 706.45%| unknown
2146.71/2152.03 o -80
2146.71/2152.03 c d2152s| 41 | 42 | 92207 |2162.3 |fracdivi| 25 |2000 |3001 |3743 | 0 | 1 | 0 | 329 |-5.000000e+02 |-8.000000e+01 | 525.00%| unknown
2491.16/2497.55 o -84
2491.16/2497.55 c d2498s| 63 | 64 |173248 |2702.2 |linesear| 25 |2000 |3002 |3413 | 0 | 1 | 1 | 360 |-4.997601e+02 |-8.400000e+01 | 494.95%| unknown
3120.96/3129.27 c 3129s| 100 | 101 |376809 |3748.4 | 413M | 28 |2000 |3009 |3743 |3472 | 1 | 8 | 400 |-4.995204e+02 |-8.400000e+01 | 494.67%| unknown
3587.29/3597.00 c
3587.29/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.29/3597.00 c Solving Time (sec) : 3597.00
3587.29/3597.00 c Solving Nodes : 162
3587.29/3597.00 c Primal Bound : -8.40000000000000e+01 (62 solutions)
3587.29/3597.00 c Dual Bound : -4.99039283951046e+02
3587.29/3597.00 c Gap : 494.09 %
3587.49/3597.12 s SATISFIABLE
3587.49/3597.12 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
3587.49/3597.12 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
3587.49/3597.12 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
3587.49/3597.12 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
3587.49/3597.12 v -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
3587.49/3597.12 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149
3587.49/3597.12 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171
3587.49/3597.12 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193
3587.49/3597.12 v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215
3587.49/3597.12 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237
3587.49/3597.12 v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259
3587.49/3597.12 v -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281
3587.49/3597.12 v -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303
3587.49/3597.12 v -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325
3587.49/3597.12 v -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347
3587.49/3597.12 v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369
3587.49/3597.12 v -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391
3587.49/3597.12 v -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413
3587.49/3597.12 v -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435
3587.49/3597.12 v -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457
3587.49/3597.12 v -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479
3587.49/3597.12 v -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
3587.49/3597.12 v -x502 -x503 x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523
3587.49/3597.12 v x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 -x545
3587.49/3597.12 v -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
3587.49/3597.12 v -x568 -x569 -x570 x571 x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589
3587.49/3597.12 v -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611
3587.49/3597.12 v -x612 -x613 -x614 -x615 x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633
3587.49/3597.12 v -x634 -x635 -x636 -x637 x638 -x639 x640 x641 x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656
3587.49/3597.12 v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678
3587.49/3597.12 v -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
3587.49/3597.12 v -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 x720 -x721 -x722
3587.49/3597.12 v -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744
3587.49/3597.12 v x745 x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766
3587.49/3597.12 v -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 -x782 x783 -x784 -x785 -x786 -x787 -x788
3587.49/3597.12 v -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 x806 -x807 -x808 -x809 x810 -x811
3587.49/3597.12 v -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 x833
3587.49/3597.12 v -x834 x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 -x855
3587.49/3597.12 v -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 x864 -x865 -x866 -x867 x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877
3587.49/3597.12 v -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 x895 -x896 x897 -x898 -x899
3587.49/3597.12 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921
3587.49/3597.12 v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943
3587.49/3597.12 v -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 x955 -x956 -x957 x958 -x959 -x960 -x961 x962 -x963 -x964 -x965
3587.49/3597.12 v -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
3587.49/3597.12 v x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 -x1000 -x1302 -x1084 -x1275 -x1327 -x1364 -x1538 -x1026 -x1029
3587.49/3597.12 v -x1386 -x1545 -x1955 -x1715 x1965 -x1404 -x1415 -x1903 -x1942 -x1402 -x1150 -x1718 -x1605 -x1969 -x1280 -x1574 -x1719 -x1323 -x1883
3587.49/3597.12 v -x1721 x1821 -x1631 -x1374 -x1905 -x1257 -x1700 -x1620 -x1795 -x1725 -x1984 -x1823 -x1462 -x1880 -x1777 -x1176 -x1845 -x1532 x1943
3587.49/3597.12 v -x1099 -x1473 -x1344 -x1248 -x1190 -x1948 -x1568 -x1822 x1873 -x1287 -x1496 -x1755 -x1007 -x1317 -x1040 -x1057 -x1087 -x1112 -x1122
3587.49/3597.12 v -x1133 -x1153 -x1187 -x1194 -x1202 -x1203 -x1235 -x1247 -x1252 -x1270 x1348 -x1355 -x1414 -x1416 -x1448 -x1470 -x1495 x1513 -x1536
3587.49/3597.12 v -x1556 -x1677 -x1697 -x1711 x1723 -x1796 -x1810 -x1998 -x1001 -x1738 -x1732 x1573 -x1994 -x1432 -x1192 -x1140 -x1508 -x1527 -x1962
3587.49/3597.12 v -x1970 -x1407 -x1091 -x1497 -x1603 -x1974 -x1439 x1701 x1447 -x1134 -x1300 -x1988 -x1433 -x1868 -x1161 -x1306 -x1506 -x1657 -x1412
3587.49/3597.12 v -x1864 x1325 -x1501 -x1595 -x1249 -x1847 -x1378 -x1440 -x1986 -x1886 x1967 -x1207 -x1742 -x1703 x1494 -x1379 -x1627 -x1678 -x1853
3587.49/3597.12 v -x1897 -x1365 -x1717 -x1021 -x1480 -x1265 x1035 -x1051 -x1074 -x1076 -x1088 -x1096 -x1109 -x1183 -x1185 -x1199 -x1205 -x1229 -x1290
3587.49/3597.12 v -x1305 -x1380 -x1388 -x1397 -x1444 -x1488 -x1505 -x1554 x1712 -x1783 -x1833 -x1002 -x1981 -x1212 x1945 -x1827 -x1589 -x1385 -x1164
3587.49/3597.12 v -x1826 -x1463 x1384 -x1427 -x1105 x1271 -x1932 -x1483 -x1135 -x1910 -x1160 -x1987 -x1321 -x1352 -x1037 -x1724 -x1869 -x1421 x1849
3587.49/3597.12 v -x1638 -x1027 -x1578 -x1101 -x1756 -x1155 -x1005 -x1139 -x1933 -x1560 -x1577 -x1182 -x1860 -x1519 -x1770 -x1679 -x1303 -x1090 -x1006
3587.49/3597.12 v -x1479 -x1896 -x1730 -x1347 -x1674 -x1502 -x1020 -x1062 -x1063 -x1100 -x1107 -x1156 -x1172 -x1181 -x1186 -x1230 -x1276 -x1312 -x1313
3587.49/3597.12 v -x1338 x1340 -x1453 -x1515 x1525 -x1586 -x1615 x1751 -x1754 -x1789 -x1837 -x1979 -x1993 -x1003 -x1547 -x1663 -x1866 x1241 -x1319
3587.49/3597.12 v -x1114 -x1825 -x1486 -x1758 -x1030 -x1794 -x1211 -x1922 -x1879 -x1043 -x1343 -x1485 x1781 -x1539 -x1315 -x1028 -x1268 -x1661 x1702
3587.49/3597.12 v -x1769 -x1559 -x1956 -x1596 -x1481 -x1066 -x1141 -x1238 -x1555 -x1032 -x1009 -x1476 -x1696 -x1888 -x1871 -x1390 -x1170 -x1959 -x1669
3587.49/3597.12 v -x1549 -x1579 -x1681 -x1015 -x1039 -x1049 x1072 -x1075 -x1078 -x1080 -x1089 -x1093 -x1132 -x1146 -x1234 -x1244 -x1245 x1264 -x1292
3587.49/3597.12 v -x1360 -x1372 x1383 -x1430 x1489 -x1492 -x1503 -x1518 -x1552 -x1582 -x1590 -x1599 -x1624 -x1629 -x1675 x1779 x1824 -x1865 -x1907
3587.49/3597.12 v -x1928 -x1992 -x1004 -x1602 -x1239 -x1966 -x1685 -x1073 -x1273 -x1341 -x1668 -x1085 -x1068 -x1059 -x1531 -x1622 -x1442 -x1892 -x1449
3587.49/3597.12 v x1878 -x1025 -x1399 -x1509 -x1693 -x1434 -x1387 -x1811 -x1632 -x1491 -x1042 -x1106 -x1836 -x1324 -x1225 -x1593 -x1600 -x1294 -x1010
3587.49/3597.12 v -x1046 -x1067 -x1095 -x1124 -x1128 -x1136 -x1197 -x1206 -x1210 -x1231 -x1237 -x1240 -x1269 -x1277 -x1282 -x1285 -x1371 -x1392 -x1535
3587.49/3597.12 v -x1540 -x1563 -x1633 -x1635 x1687 -x1735 -x1787 -x1804 -x1806 -x1835 -x1850 -x1018 -x1333 -x1803 -x1604 -x1477 -x1220 -x1587 -x1968
3587.49/3597.12 v -x1704 -x1809 -x1816 x1957 -x1351 x1939 -x1295 -x1747 -x1832 -x1286 -x1637 -x1534 -x1456 -x1081 -x1676 -x1650 -x1400 -x1630 -x1092
3587.49/3597.12 v -x1445 -x1048 -x1606 -x1935 -x1750 -x1544 -x1044 -x1918 x1790 -x1054 -x1098 -x1115 -x1180 -x1204 -x1236 -x1251 -x1256 -x1331 -x1337
3587.49/3597.12 v -x1381 -x1389 -x1517 -x1592 -x1689 -x1716 x1859 -x1936 -x1964 -x1266 -x1459 -x1428 x1467 -x1749 -x1856 -x1786 -x1610 -x1877 -x1281
3587.49/3597.12 v x1924 -x1215 -x1673 -x1193 -x1110 x1858 -x1569 -x1016 -x1116 -x1175 -x1079 -x1561 -x1550 -x1511 x1575 -x1363 -x1851 -x1820 -x1320
3587.49/3597.12 v -x1523 -x1019 -x1022 -x1052 -x1083 -x1131 -x1151 -x1154 -x1163 -x1166 -x1174 -x1261 -x1350 -x1419 -x1623 -x1639 -x1665 x1684 -x1759
3587.49/3597.12 v -x1894 -x1975 -x1989 -x1152 x1542 -x1788 -x1876 -x1909 -x1376 -x1036 -x1047 x1458 -x1872 -x1455 -x1625 x1991 -x1179 -x1162 x1121
3587.49/3597.12 v -x1118 x1782 -x1125 -x1411 -x1353 -x1584 x1800 -x1960 x1358 -x1954 -x1178 -x1834 -x1762 -x1640 -x1296 -x1322 -x1474 -x1436 -x1130
3587.49/3597.12 v -x1947 -x1017 -x1065 -x1123 -x1159 -x1222 -x1255 -x1298 -x1375 -x1391 -x1398 x1472 -x1521 -x1576 -x1641 -x1772 -x1855 -x1861 -x2000
3587.49/3597.12 v -x1008 -x1912 -x1382 -x1734 x1522 -x1259 x1533 -x1647 -x1258 -x1177 -x1607 -x1082 -x1891 -x1377 -x1165 -x1952 -x1209 -x1422 x1863
3587.49/3597.12 v -x1120 -x1644 -x1642 -x1373 x1362 -x1927 -x1033 -x1147 -x1149 -x1221 -x1250 -x1330 x1409 -x1450 -x1460 -x1493 -x1557 -x1768 -x1797
3587.49/3597.12 v -x1982 -x1200 -x1814 -x1838 -x1260 -x1999 -x1658 -x1686 -x1289 -x1232 -x1457 -x1429 -x1565 -x1242 -x1126 -x1198 -x1482 -x1843 -x1740
3587.49/3597.12 v -x1616 -x1451 -x1395 -x1024 -x1077 -x1111 -x1117 -x1145 -x1195 -x1243 -x1263 -x1304 -x1335 -x1528 -x1870 -x1944 x1656 -x1311 -x1925
3587.49/3597.12 v -x1034 -x1023 -x1541 -x1148 -x1408 x1452 -x1167 -x1361 -x1410 -x1920 -x1441 -x1752 -x1013 -x1504 x1581 -x1562 -x1585 -x1728 -x1431
3587.49/3597.12 v -x1216 -x1953 -x1196 -x1228 -x1284 -x1368 -x1537 -x1564 -x1645 -x1695 x1791 -x1931 -x1011 x1736 -x1309 -x1366 x1792 -x1060 -x1507
3587.49/3597.12 v -x1745 -x1995 -x1308 -x1443 -x1899 -x1611 -x1881 -x1940 -x1328 -x1609 -x1097 -x1651 -x1469 -x1839 -x1980 -x1424 -x1784 -x1102 -x1103
3587.49/3597.12 v -x1201 -x1213 -x1567 -x1613 x1618 -x1682 -x1829 -x1012 -x1426 -x1895 x1857 -x1138 -x1546 -x1346 -x1938 -x1934 -x1551 -x1720 -x1405
3587.49/3597.12 v -x1299 -x1862 -x1628 -x1763 -x1293 -x1900 -x1086 -x1588 -x1336 -x1053 -x1127 -x1345 -x1356 -x1418 -x1512 -x1553 -x1646 -x1649 -x1688
3587.49/3597.12 v -x1710 -x1767 -x1889 -x1634 -x1543 -x1475 -x1119 -x1267 -x1765 -x1708 -x1262 -x1526 -x1846 -x1973 -x1045 -x1919 -x1626 -x1223 -x1310
3587.49/3597.12 v -x1031 -x1171 -x1208 -x1233 -x1466 -x1529 -x1692 -x1904 -x1014 -x1680 -x1713 -x1572 -x1614 -x1683 -x1776 -x1465 -x1950 -x1168 -x1913
3587.49/3597.12 v -x1468 x1597 -x1612 -x1342 -x1406 -x1706 -x1773 -x1808 x1819 -x1867 -x1884 x1906 -x1401 -x1326 -x1893 -x1805 -x1332 -x1058 -x1654
3587.49/3597.12 v -x1038 -x1648 -x1798 -x1921 -x1643 -x1707 -x1722 -x1104 -x1129 -x1142 -x1188 -x1226 -x1307 -x1478 -x1744 -x1753 x1817 -x1520 -x1885
3587.49/3597.12 v -x1996 -x1729 x1828 -x1566 -x1705 -x1670 -x1069 -x1524 -x1218 -x1739 -x1746 -x1801 -x1978 -x1733 -x1184 -x1802 -x1061 -x1050 -x1785
3587.49/3597.12 v -x1875 -x1288 -x1874 -x1737 x1694 -x1902 -x1189 -x1254 -x1359 -x1461 -x1570 -x1662 -x1279 -x1500 -x1425 x1316 -x1976 -x1594 -x1516
3587.49/3597.12 v -x1272 -x1055 -x1056 -x1214 -x1253 -x1318 -x1369 -x1394 -x1435 -x1748 x1898 -x1446 -x1464 x1771 -x1937 -x1844 -x1041 -x1417 -x1741
3587.49/3597.12 v -x1246 x1297 -x1349 -x1530 -x1760 -x1854 -x1334 -x1608 -x1598 -x1601 -x1484 -x1961 -x1224 -x1499 -x1841 -x1108 -x1842 x1831 -x1621
3587.49/3597.12 v -x1985 -x1911 -x1761 -x1490 -x1094 x1227 -x1354 -x1664 -x1413 -x1698 -x1454 -x1726 -x1143 x1914 -x1314 -x1370 -x1471 -x1571 -x1766
3587.49/3597.12 v -x1916 -x1217 -x1329 -x1818 -x1169 -x1793 -x1983 -x1764 -x1840 -x1929 -x1690 -x1274 -x1423 -x1813 -x1671 -x1812 -x1064 -x1357 -x1743
3587.49/3597.12 v -x1339 -x1393 -x1583 -x1558 -x1617 -x1699 -x1799 -x1775 -x1930 -x1941 -x1949 -x1283 -x1191 -x1757 x1963 -x1071 -x1514 -x1144 -x1971
3587.49/3597.12 v -x1498 -x1510 -x1714 -x1917 -x1972 -x1660 -x1923 -x1113 -x1219 x1619 -x1990 -x1403 -x1070 -x1487 -x1780 x1926 -x1882 -x1951 -x1915
3587.49/3597.12 v -x1173 -x1731 x1807 -x1958 -x1591 x1672 -x1437 -x1691 -x1396 -x1653 -x1901 x1636 -x1774 -x1137 -x1852 -x1157 -x1848 -x1291 -x1158
3587.49/3597.12 v -x1977 -x1667 -x1278 -x1301 -x1666 -x1778 -x1830 -x1908 -x1438 -x1420 -x1659 -x1997 -x1727 -x1946 -x1652 -x1580 x1815 -x1367 -x1548
3587.49/3597.12 v -x1709 -x1890 x1655 -x1887
3587.49/3597.12 c SCIP Status : solving was interrupted [time limit reached]
3587.49/3597.12 c Total Time : 3597.00
3587.49/3597.12 c solving : 3597.00
3587.49/3597.12 c presolving : 0.93 (included in solving)
3587.49/3597.12 c reading : 0.25 (included in solving)
3587.49/3597.12 c copying : 0.04 (4 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3587.49/3597.12 c Original Problem :
3587.49/3597.12 c Problem name : HOME/instance-4498387-1751269739.opb
3587.49/3597.12 c Variables : 77484 (2000 binary, 0 integer, 75484 continuous)
3587.49/3597.12 c implied integral : 75484 (0 binary, 0 integer, 75484 continuous)
3587.49/3597.12 c Constraints : 80485 initial, 80485 maximal
3587.49/3597.12 c Objective : minimize, 1000 non-zeros (abs.min = 1, abs.max = 1)
3587.49/3597.12 c Presolved Problem :
3587.49/3597.12 c Problem name : t_HOME/instance-4498387-1751269739.opb
3587.49/3597.12 c Variables : 2000 (2000 binary, 0 integer, 0 continuous)
3587.49/3597.12 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.49/3597.12 c Constraints : 3001 initial, 3026 maximal
3587.49/3597.12 c Objective : minimize, 1000 non-zeros (abs.min = 1, abs.max = 1)
3587.49/3597.12 c Nonzeros : 156968 constraint, 2000 clique table
3587.49/3597.12 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.49/3597.12 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c domcol : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c sparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c trivial : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c dualfix : 0.03 0.00 4 75484 0 0 0 0 0 0 0 0
3587.49/3597.12 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c symmetry : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c knapsack : 0.06 0.00 3 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c setppc : 0.04 0.00 5 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c linear : 0.07 0.00 6 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c pseudoboolean : 0.33 0.01 1 0 0 0 0 0 79484 2000 0 0
3587.49/3597.12 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c root node : - - - 0 - - 0 - - - - -
3587.49/3597.12 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.49/3597.12 c integral : 0 0 0 0 162 0 0 102 0 0 0 0 0 0 324
3587.49/3597.12 c knapsack : 2000 2000 7 17653 0 0 0 96 11017 12 3270 0 0 0 0
3587.49/3597.12 c setppc : 1000 1000 7 17049 0 0 0 65 253 0 108 0 0 0 0
3587.49/3597.12 c linear : 1 1 7 17652 0 0 0 64 24 72 0 0 0 0 0
3587.49/3597.12 c logicor : 0+ 25 0 134 0 0 0 0 0 1 0 0 0 0 0
3587.49/3597.12 c fixedvar : 0 0 0 0 0 0 0 65 0 0 0 0 0 0 0
3587.49/3597.12 c countsols : 0 0 0 0 0 0 0 65 0 0 0 0 0 0 0
3587.49/3597.12 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.49/3597.12 c integral : 2065.10 0.00 0.00 0.00 2065.10 0.00 0.00 0.00 0.00 0.00
3587.49/3597.12 c knapsack : 1.28 0.00 0.30 0.62 0.00 0.00 0.00 0.19 0.01 0.15
3587.49/3597.12 c setppc : 0.04 0.00 0.00 0.01 0.00 0.00 0.00 0.02 0.00 0.00
3587.49/3597.12 c linear : 0.07 0.00 0.02 0.05 0.00 0.00 0.00 0.00 0.00 0.00
3587.49/3597.12 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.49/3597.12 c fixedvar : 0.28 0.00 0.00 0.00 0.00 0.00 0.00 0.28 0.00 0.00
3587.49/3597.12 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.49/3597.12 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.49/3597.12 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.49/3597.12 c dualfix : 1 0 0 0
3587.49/3597.12 c genvbounds : 0 0 0 0
3587.49/3597.12 c nlobbt : 0 0 0 0
3587.49/3597.12 c obbt : 0 0 0 0
3587.49/3597.12 c probing : 0 0 0 0
3587.49/3597.12 c pseudoobj : 469 0 0 0
3587.49/3597.12 c redcost : 9 0 0 0
3587.49/3597.12 c rootredcost : 0 0 0 0
3587.49/3597.12 c symmetry : 0 0 0 0
3587.49/3597.12 c vbounds : 4516 0 0 0
3587.49/3597.12 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.49/3597.12 c dualfix : 0.03 0.00 0.03 0.00 0.00 0.00
3587.49/3597.12 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.49/3597.12 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.49/3597.12 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.49/3597.12 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
3587.49/3597.12 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3587.49/3597.12 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3587.49/3597.12 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3587.49/3597.12 c symmetry : 0.03 0.00 0.03 0.00 0.00 0.00
3587.49/3597.12 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.49/3597.12 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.49/3597.12 c propagation : 0.07 13 13 - 914 711.4 0 0.0 - - -
3587.49/3597.12 c infeasible LP : 0.00 2 2 - 90 174.6 0 0.0 0 0.0 0
3587.49/3597.12 c bound exceed. LP : 0.19 62 0 - 0 0.0 0 0.0 0 0.0 520
3587.49/3597.12 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.49/3597.12 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.49/3597.12 c applied globally : 0.00 - - 0 25 134.0 - - 0 - -
3587.49/3597.12 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.49/3597.12 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.49/3597.12 c cut pool : 0.07 - 119 12 - - 5498 24253 - - - - - (maximal pool size: 5498)
3587.49/3597.12 c aggregation : 0.72 0.00 40 7 0 0 5495 24239 0 3934 3934 0 0
3587.49/3597.12 c > cmir : - - - - - - - 24239 0 3934 3934 0 -
3587.49/3597.12 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.49/3597.12 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.49/3597.12 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c clique : 0.10 0.00 7 7 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c gomory : 35.44 0.00 26 7 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3587.49/3597.12 c > strongcg : - - - - - - - 0 0 0 0 0 -
3587.49/3597.12 c impliedbounds : 0.00 0.00 40 7 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c multilinear : 0.00 0.00 25 7 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c rlt : 0.00 0.00 7 7 0 0 0 0 0 0 0 0 0
3587.49/3597.12 c zerohalf : 20.79 0.00 26 7 0 0 3 14 0 6 6 0 0
3587.49/3597.12 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.49/3597.12 c hybrid : 0.12 0.00 80 6 3940 0 20313 1089 0 1177
3587.49/3597.12 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.49/3597.12 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.49/3597.12 c Pricers : ExecTime SetupTime Calls Vars
3587.49/3597.12 c problem variables: 0.00 - 0 0
3587.49/3597.12 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.49/3597.12 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.49/3597.12 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.49/3597.12 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.49/3597.12 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.49/3597.12 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.49/3597.12 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.49/3597.12 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.49/3597.12 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.49/3597.12 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.49/3597.12 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.49/3597.12 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.49/3597.12 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.49/3597.12 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.49/3597.12 c relpscost : 2065.10 0.00 162 0 0 0 0 0 0 324
3587.49/3597.12 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.49/3597.12 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.49/3597.12 c LP solutions : 0.00 - - 0 0
3587.49/3597.12 c relax solutions : 0.00 - - 0 0
3587.49/3597.12 c pseudo solutions : 0.00 - - 0 0
3587.49/3597.12 c strong branching : 0.00 - - 0 0
3587.49/3597.12 c actconsdiving : 0.00 0.00 0 0 0
3587.49/3597.12 c adaptivediving : 23.41 0.00 2 0 0
3587.49/3597.12 c alns : 0.21 0.00 4 0 0
3587.49/3597.12 c bound : 0.00 0.00 0 0 0
3587.49/3597.12 c clique : 0.06 0.00 1 0 0
3587.49/3597.12 c coefdiving : 0.00 0.00 0 0 0
3587.49/3597.12 c completesol : 0.00 0.00 0 0 0
3587.49/3597.12 c conflictdiving : 87.49 0.00 6 0 0
3587.49/3597.12 c crossover : 0.00 0.00 0 0 0
3587.49/3597.12 c dins : 0.00 0.00 0 0 0
3587.49/3597.12 c distributiondivin: 22.65 0.00 3 0 0
3587.49/3597.12 c dks : 0.00 0.00 0 0 0
3587.49/3597.12 c dps : 0.00 0.00 0 0 0
3587.49/3597.12 c dualval : 0.00 0.00 0 0 0
3587.49/3597.12 c farkasdiving : 0.00 0.00 0 0 0
3587.49/3597.12 c feaspump : 48.54 0.00 1 0 0
3587.49/3597.12 c fixandinfer : 0.00 0.00 0 0 0
3587.49/3597.12 c fracdiving : 42.27 0.00 5 1 1
3587.49/3597.12 c gins : 0.00 0.00 0 0 0
3587.49/3597.12 c guideddiving : 37.50 0.00 5 0 0
3587.49/3597.12 c indicator : 0.00 0.00 0 0 0
3587.49/3597.12 c indicatordiving : 0.00 0.00 0 0 0
3587.49/3597.12 c intdiving : 0.00 0.00 0 0 0
3587.49/3597.12 c intshifting : 0.00 0.00 0 0 0
3587.49/3597.12 c linesearchdiving : 84.64 0.00 5 1 1
3587.49/3597.12 c localbranching : 0.00 0.00 0 0 0
3587.49/3597.12 c locks : 0.05 0.00 1 0 0
3587.49/3597.12 c lpface : 0.00 0.00 0 0 0
3587.49/3597.12 c mpec : 0.00 0.00 0 0 0
3587.49/3597.12 c multistart : 0.00 0.00 0 0 0
3587.49/3597.12 c mutation : 0.00 0.00 0 0 0
3587.49/3597.12 c nlpdiving : 0.00 0.00 0 0 0
3587.49/3597.12 c objpscostdiving : 141.42 0.00 3 0 0
3587.49/3597.12 c octane : 0.00 0.00 0 0 0
3587.49/3597.12 c ofins : 0.00 0.00 0 0 0
3587.49/3597.12 c oneopt : 0.02 0.00 7 0 0
3587.49/3597.12 c padm : 0.00 0.00 0 0 0
3587.49/3597.12 c proximity : 0.00 0.00 0 0 0
3587.49/3597.12 c pscostdiving : 47.90 0.00 5 1 1
3587.49/3597.12 c randrounding : 5.11 0.00 37 3 2
3587.49/3597.12 c rens : 0.00 0.00 0 0 0
3587.49/3597.12 c reoptsols : 0.00 0.00 0 0 0
3587.49/3597.12 c repair : 0.00 0.00 0 0 0
3587.49/3597.12 c rins : 0.00 0.00 0 0 0
3587.49/3597.12 c rootsoldiving : 31.08 0.00 2 0 0
3587.49/3597.12 c rounding : 12.21 0.00 242 1 1
3587.49/3597.12 c scheduler : 0.00 0.00 0 0 0
3587.49/3597.12 c shiftandpropagate: 0.00 0.00 0 0 0
3587.49/3597.12 c shifting : 6.53 0.00 92 54 0
3587.49/3597.12 c simplerounding : 0.00 0.00 0 0 0
3587.49/3597.12 c subnlp : 0.00 0.00 0 0 0
3587.49/3597.12 c trivial : 0.05 0.00 2 1 1
3587.49/3597.12 c trivialnegation : 0.00 0.00 0 0 0
3587.49/3597.12 c trustregion : 0.00 0.00 0 0 0
3587.49/3597.12 c trysol : 0.00 0.00 0 0 0
3587.49/3597.12 c twoopt : 0.00 0.00 0 0 0
3587.49/3597.12 c undercover : 0.00 0.00 0 0 0
3587.49/3597.12 c vbounds : 0.07 0.00 1 0 0
3587.49/3597.12 c veclendiving : 88.42 0.00 3 0 0
3587.49/3597.12 c zeroobj : 0.00 0.00 0 0 0
3587.49/3597.12 c zirounding : 0.10 0.00 161 0 0
3587.49/3597.12 c other solutions : - - - 0 -
3587.49/3597.12 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.49/3597.12 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
3587.49/3597.12 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
3587.49/3597.12 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
3587.49/3597.12 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
3587.49/3597.12 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
3587.49/3597.12 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
3587.49/3597.12 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
3587.49/3597.12 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
3587.49/3597.12 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
3587.49/3597.12 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.49/3597.12 c primal LP : 2.02 37 2 1.00 0.99 0.15 35
3587.49/3597.12 c dual LP : 790.62 242 212906 879.78 269.29 0.00 0
3587.49/3597.12 c lex dual LP : 0.00 0 0 0.00 -
3587.49/3597.12 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.49/3597.12 c resolve instable : 0.00 0 0 0.00 -
3587.49/3597.12 c diving/probing LP: 675.01 1367 375356 274.58 556.07
3587.49/3597.12 c strong branching : 2046.12 464 231241 498.36 113.01 - - 291
3587.49/3597.12 c (at root node) : - 20 20000 1000.00 -
3587.49/3597.12 c conflict analysis: 0.15 52 520 10.00 3584.65
3587.49/3597.12 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.49/3597.12 c benders : 0.00 0 0 0 0.00 0 0 0
3587.49/3597.12 c B&B Tree :
3587.49/3597.12 c number of runs : 1
3587.49/3597.12 c nodes : 162 (162 internal, 0 leaves)
3587.49/3597.12 c feasible leaves : 0
3587.49/3597.12 c infeas. leaves : 0
3587.49/3597.12 c objective leaves : 0
3587.49/3597.12 c nodes (total) : 162 (162 internal, 0 leaves)
3587.49/3597.12 c nodes left : 163
3587.49/3597.12 c max depth : 28
3587.49/3597.12 c max depth (total): 28
3587.49/3597.12 c backtracks : 40 (24.7%)
3587.49/3597.12 c early backtracks : 0 (0.0%)
3587.49/3597.12 c nodes exc. ref. : 0 (0.0%)
3587.49/3597.12 c delayed cutoffs : 0
3587.49/3597.12 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.49/3597.12 c avg switch length: 4.22
3587.49/3597.12 c switching time : 2.09
3587.49/3597.12 c Root Node :
3587.49/3597.12 c First LP value : -5.00000000000000e+02
3587.49/3597.12 c First LP Iters : 4516 (607.38 Iter/sec)
3587.49/3597.12 c First LP Time : 7.44
3587.49/3597.12 c Final Dual Bound : -5.00000000000000e+02
3587.49/3597.12 c Final Root Iters : 5713
3587.49/3597.12 c Root LP Estimate : +6.61353122912449e+02
3587.49/3597.12 c Solution :
3587.49/3597.12 c Solutions found : 62 (7 improvements)
3587.49/3597.12 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.53 seconds, depth 0, found by <trivial>)
3587.49/3597.12 c Gap First Sol. : infinite
3587.49/3597.12 c Gap Last Sol. : 494.95 %
3587.49/3597.12 c Primal Bound : -8.40000000000000e+01 (in run 1, after 63 nodes, 2497.54 seconds, depth 217, found by <linesearchdiving>)
3587.49/3597.12 c Dual Bound : -4.99039283951046e+02
3587.49/3597.12 c Gap : 494.09 %
3587.49/3597.12 c Integrals : Total Avg%
3587.49/3597.12 c primal-dual : 311692.18 86.65
3587.49/3597.12 c primal-ref : - - (not evaluated)
3587.49/3597.12 c dual-ref : - - (not evaluated)
3587.59/3597.28 c Time complete (sec): 3587.683
OK -84
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61090 MiB free)
memory of node 1: 64465 MiB (61731 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498387-1751269739/watcher-4498387-1751269739 -o /tmp/evaluation-result-4498387-1751269739/solver-4498387-1751269739 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751268232-45647 --watchdog 3760 pbsolver -f HOME/instance-4498387-1751269739.opb -t 3600 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=46182, runsolver pid=46179
[startup+0.100064 s]*
/proc/loadavg: 4.11 4.14 3.42 5/264 46183
/proc/meminfo: memFree=125721452/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=87836 memory=76032 CPUtime=0.1 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 17082 0 0 0 8 2 0 0 20 0 1 0 42652689 89944064 19008 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 21959 19008 2176 2575 0 18866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 87836 KiB
Current children cumulated memory: 76032 KiB
[startup+0.205572 s]*
/proc/loadavg: 4.11 4.14 3.42 5/264 46183
/proc/meminfo: memFree=125673320/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=134044 memory=122240 CPUtime=0.2 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 28628 0 0 0 16 4 0 0 20 0 1 0 42652689 137261056 30560 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 33511 30560 2176 2575 0 30418 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 134044 KiB
Current children cumulated memory: 122240 KiB
[startup+0.305485 s]*
/proc/loadavg: 4.11 4.14 3.42 5/264 46183
/proc/meminfo: memFree=125609060/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=202372 memory=192072 CPUtime=0.3 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 47225 0 0 0 23 7 0 0 20 0 1 0 42652689 207228928 48018 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 50593 48018 2368 2575 0 47500 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 202372 KiB
Current children cumulated memory: 192072 KiB
[startup+0.70018 s]
/proc/loadavg: 4.11 4.14 3.42 5/264 46183
/proc/meminfo: memFree=125536484/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=318724 memory=306132 CPUtime=0.68 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 75218 0 0 0 57 11 0 0 20 0 1 0 42652689 326373376 76533 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 79681 76533 2400 2575 0 76588 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 318724 KiB
Current children cumulated memory: 306132 KiB
[startup+1.50017 s]
/proc/loadavg: 4.11 4.14 3.42 5/264 46183
/proc/meminfo: memFree=125472240/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=347484 memory=334340 CPUtime=1.48 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 82995 0 0 0 135 13 0 0 20 0 1 0 42652689 355823616 83585 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 86871 83585 2528 2575 0 83778 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 347484 KiB
Current children cumulated memory: 334340 KiB
[startup+3.10536 s]
/proc/loadavg: 4.11 4.14 3.42 5/264 46183
/proc/meminfo: memFree=125431324/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=390884 memory=374276 CPUtime=3.09 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 93490 0 0 0 294 15 0 0 20 0 1 0 42652689 400265216 93569 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 97721 93569 2624 2575 0 94628 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 390884 KiB
Current children cumulated memory: 374276 KiB
[startup+6.30018 s]
/proc/loadavg: 4.10 4.14 3.43 5/264 46183
/proc/meminfo: memFree=125399504/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=426760 memory=408340 CPUtime=6.28 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 97686 0 0 0 612 16 0 0 20 0 1 0 42652689 437002240 102085 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 106690 102085 2624 2575 0 103597 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 426760 KiB
Current children cumulated memory: 408340 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.14 3.43 5/264 46183
/proc/meminfo: memFree=125357316/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=483480 memory=465436 CPUtime=12.65 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 109124 0 0 0 1247 18 0 0 20 0 1 0 42652689 495083520 116359 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 120870 116359 2624 2575 0 117777 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 483480 KiB
Current children cumulated memory: 465436 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.15 3.45 5/264 46183
/proc/meminfo: memFree=125304700/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=504740 memory=476292 CPUtime=25.41 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 110814 0 0 0 2522 19 0 0 20 0 1 0 42652689 516853760 119073 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 126185 119073 2624 2575 0 123092 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 504740 KiB
Current children cumulated memory: 476292 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 4.14 3.46 5/265 46274
/proc/meminfo: memFree=125300240/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=506168 memory=483084 CPUtime=50.95 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 111398 0 0 0 5076 19 0 0 20 0 1 0 42652689 518316032 120771 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 126542 120771 2624 2575 0 123449 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 506168 KiB
Current children cumulated memory: 483084 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.13 3.50 5/264 46275
/proc/meminfo: memFree=125220696/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=524556 memory=501524 CPUtime=102.01 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 111948 0 0 0 10181 20 0 0 20 0 1 0 42652689 537145344 125381 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 131139 125381 2624 2575 0 128046 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 524556 KiB
Current children cumulated memory: 501524 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.12 3.54 5/264 46278
/proc/meminfo: memFree=125189696/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=524556 memory=504084 CPUtime=161.85 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 111972 0 0 0 16165 20 0 0 20 0 1 0 42652689 537145344 126021 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 131139 126021 2656 2575 0 128046 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 524556 KiB
Current children cumulated memory: 504084 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 3.57 5/264 46280
/proc/meminfo: memFree=125152472/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=524556 memory=504084 CPUtime=221.7 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 111987 0 0 0 22150 20 0 0 20 0 1 0 42652689 537145344 126021 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 131139 126021 2656 2575 0 128046 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 524556 KiB
Current children cumulated memory: 504084 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.10 3.61 5/264 46282
/proc/meminfo: memFree=125067396/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=524556 memory=506644 CPUtime=281.55 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 111990 0 0 0 28135 20 0 0 20 0 1 0 42652689 537145344 126661 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 131139 126661 2656 2575 0 128046 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 524556 KiB
Current children cumulated memory: 506644 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.11 3.65 5/263 46284
/proc/meminfo: memFree=125018864/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=529744 memory=511520 CPUtime=341.41 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 116763 0 0 0 34119 22 0 0 20 0 1 0 42652689 542457856 127880 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 132436 127880 2656 2575 0 129343 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 529744 KiB
Current children cumulated memory: 511520 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 4.09 3.67 5/263 46293
/proc/meminfo: memFree=124994972/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=529464 memory=504904 CPUtime=401.27 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 120183 0 0 0 40104 23 0 0 20 0 1 0 42652689 542171136 126226 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 132366 126226 2656 2575 0 129273 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 529464 KiB
Current children cumulated memory: 504904 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.10 3.70 5/264 46296
/proc/meminfo: memFree=124942412/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=522760 memory=504864 CPUtime=461.12 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 122425 0 0 0 46088 24 0 0 20 0 1 0 42652689 535306240 126216 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 130690 126216 2656 2575 0 127597 0
Current children cumulated CPU time: 461.12 s
################
# More data... #
################
/proc/loadavg: 4.13 4.14 4.09 5/263 46523
/proc/meminfo: memFree=123526700/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=529944 memory=512148 CPUtime=3153.97 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 128498 0 0 0 315371 26 0 0 20 0 1 0 42652689 542662656 128037 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 132486 128037 2656 2575 0 129393 0
Current children cumulated CPU time: 3153.97 s
Current children cumulated vsize: 529944 KiB
Current children cumulated memory: 512148 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/262 46525
/proc/meminfo: memFree=123469860/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=529944 memory=512148 CPUtime=3213.79 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 128576 0 0 0 321353 26 0 0 20 0 1 0 42652689 542662656 128037 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 132486 128037 2656 2575 0 129393 0
Current children cumulated CPU time: 3213.79 s
Current children cumulated vsize: 529944 KiB
Current children cumulated memory: 512148 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/263 46528
/proc/meminfo: memFree=123361148/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=529944 memory=512148 CPUtime=3273.61 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 128592 0 0 0 327335 26 0 0 20 0 1 0 42652689 542662656 128037 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 132486 128037 2656 2575 0 129393 0
Current children cumulated CPU time: 3273.61 s
Current children cumulated vsize: 529944 KiB
Current children cumulated memory: 512148 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.15 4.10 5/263 46530
/proc/meminfo: memFree=123289948/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=529944 memory=512148 CPUtime=3333.43 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 128760 0 0 0 333317 26 0 0 20 0 1 0 42652689 542662656 128037 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 132486 128037 2656 2575 0 129393 0
Current children cumulated CPU time: 3333.43 s
Current children cumulated vsize: 529944 KiB
Current children cumulated memory: 512148 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/264 46539
/proc/meminfo: memFree=123160032/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=529944 memory=512148 CPUtime=3393.26 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 128784 0 0 0 339300 26 0 0 20 0 1 0 42652689 542662656 128037 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 132486 128037 2656 2575 0 129393 0
Current children cumulated CPU time: 3393.26 s
Current children cumulated vsize: 529944 KiB
Current children cumulated memory: 512148 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/264 46541
/proc/meminfo: memFree=123090748/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=529944 memory=512148 CPUtime=3453.09 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 128791 0 0 0 345283 26 0 0 20 0 1 0 42652689 542662656 128037 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 132486 128037 2656 2575 0 129393 0
Current children cumulated CPU time: 3453.09 s
Current children cumulated vsize: 529944 KiB
Current children cumulated memory: 512148 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 46543
/proc/meminfo: memFree=123001228/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=522804 memory=505040 CPUtime=3512.9 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 130511 0 0 0 351264 26 0 0 20 0 1 0 42652689 535351296 126260 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 130701 126260 2656 2575 0 127608 0
Current children cumulated CPU time: 3512.9 s
Current children cumulated vsize: 522804 KiB
Current children cumulated memory: 505040 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 46545
/proc/meminfo: memFree=122900272/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=522804 memory=505040 CPUtime=3572.73 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 130511 0 0 0 357247 26 0 0 20 0 1 0 42652689 535351296 126260 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 130701 126260 2656 2575 0 127608 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 522804 KiB
Current children cumulated memory: 505040 KiB
[startup+3597.29 s]
# the end of solver process 46182 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.41 s, system=0.273192 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.11 4.09 5/264 46545
/proc/meminfo: memFree=122900272/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=522804 memory=505040 CPUtime=3574.43 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 130511 0 0 0 357417 26 0 0 20 0 1 0 42652689 535351296 126260 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 130701 126260 2656 2575 0 127608 0
Current children cumulated CPU time: 3574.43 s
Current children cumulated vsize: 522804 KiB
Current children cumulated memory: 505040 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 46545
/proc/meminfo: memFree=122891844/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=522804 memory=505040 CPUtime=3580.81 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 130511 0 0 0 358055 26 0 0 20 0 1 0 42652689 535351296 126260 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 130701 126260 2656 2575 0 127608 0
Current children cumulated CPU time: 3580.81 s
Current children cumulated vsize: 522804 KiB
Current children cumulated memory: 505040 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 46545
/proc/meminfo: memFree=122888068/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=522804 memory=505040 CPUtime=3584 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 130511 0 0 0 358374 26 0 0 20 0 1 0 42652689 535351296 126260 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 130701 126260 2656 2575 0 127608 0
Current children cumulated CPU time: 3584 s
Current children cumulated vsize: 522804 KiB
Current children cumulated memory: 505040 KiB
[startup+3595.2 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 46545
/proc/meminfo: memFree=122884036/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=522804 memory=505040 CPUtime=3585.59 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 130511 0 0 0 358533 26 0 0 20 0 1 0 42652689 535351296 126260 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 130701 126260 2656 2575 0 127608 0
Current children cumulated CPU time: 3585.59 s
Current children cumulated vsize: 522804 KiB
Current children cumulated memory: 505040 KiB
[startup+3596 s]*
/proc/loadavg: 4.07 4.10 4.09 5/263 46545
/proc/meminfo: memFree=122885096/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=522804 memory=505040 CPUtime=3586.39 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 130511 0 0 0 358613 26 0 0 20 0 1 0 42652689 535351296 126260 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 130701 126260 2656 2575 0 127608 0
Current children cumulated CPU time: 3586.39 s
Current children cumulated vsize: 522804 KiB
Current children cumulated memory: 505040 KiB
[startup+3596.8 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 46545
/proc/meminfo: memFree=122885096/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=522804 memory=505040 CPUtime=3587.19 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 130511 0 0 0 358693 26 0 0 20 0 1 0 42652689 535351296 126260 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 130701 126260 2656 2575 0 127608 0
Current children cumulated CPU time: 3587.19 s
Current children cumulated vsize: 522804 KiB
Current children cumulated memory: 505040 KiB
[startup+3597.2 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 46545
/proc/meminfo: memFree=122885096/131249992 swapFree=33010684/33010684
[pid=46182] ppid=46179 vsize=522804 memory=505040 CPUtime=3587.59 cores=1,3
/proc/46182/stat : 46182 (pbsolver) R 46179 46182 45628 0 -1 4194304 130540 0 0 0 358733 26 0 0 20 0 1 0 42652689 535351296 126260 18446744073709551615 4198400 14743177 140728663868208 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 45297664 140728663873930 140728663874026 140728663874026 140728663879628 0
/proc/46182/statm: 130701 126260 2656 2575 0 127608 0
Current children cumulated CPU time: 3587.59 s
Current children cumulated vsize: 522804 KiB
Current children cumulated memory: 505040 KiB
Child status: 0
Real time (s): 3597.29
CPU time (s): 3587.68
CPU user time (s): 3587.41
CPU system time (s): 0.273192
CPU usage (%): 99.733
Max. virtual memory (cumulated for all children) (KiB): 552676
Max. memory (cumulated for all children) (KiB): 529180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.41
system time used= 0.273192
maximum resident set size= 529180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130552
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= 12
involuntary context switches= 4646
# summary of solver processes directly reported to runsolver:
# pid: 46182
# total CPU time (s): 3587.68
# total CPU user time (s): 3587.41
# total CPU system time (s): 0.273192
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0936 second user time and 12.4997 second system time
The end
Begin job on nodeC025 at 2025-06-30 09:48:59 IDJOB=4498387 IDBENCH=148642 IDSOLVER=3366 FILE ID=nodeC025/4498387-1751269739 RUNJOBID= nodeC025-1751268232-45647 SLURM_JOB_ID= 9594192 Free space on /tmp= 433008 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_4.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498387-1751269739/watcher-4498387-1751269739 -o /tmp/evaluation-result-4498387-1751269739/solver-4498387-1751269739 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751268232-45647 --watchdog 3760 pbsolver -f HOME/instance-4498387-1751269739.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4c2c369b1f167640d5c7bb93c6f68f6b RANDOM SEED=1903482303 nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.564 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 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 : 3601.223 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 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 : 3566.876 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.838 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.838 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.845 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 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 : 3610.417 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 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 : 3602.040 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 125769296 kB MemAvailable: 128422844 kB Buffers: 3280 kB Cached: 3453008 kB SwapCached: 0 kB Active: 1712144 kB Inactive: 3114040 kB Active(anon): 1388000 kB Inactive(anon): 0 kB Active(file): 324144 kB Inactive(file): 3114040 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 17088 kB Writeback: 0 kB AnonPages: 1367256 kB Mapped: 136428 kB Shmem: 18084 kB KReclaimable: 109204 kB Slab: 196928 kB SReclaimable: 109204 kB SUnreclaim: 87724 kB KernelStack: 4256 kB PageTables: 5760 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1725364 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 1128448 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: 207572 kB DirectMap2M: 9000960 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433000 MiB End job on nodeC025 at 2025-06-30 10:48:57