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 | -131 | 3587.71 | 3597.18 |
| Name | PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-6000opt.opb |
| MD5SUM | c3694be7b858a71700b5bf3fbc64c46e |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -175 |
| Best CPU time to get the best result obtained on this benchmark | 1.04188 |
| 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 | 2025 |
| Total number of constraints | 62145 |
| Number of constraints which are clauses | 62145 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 135 |
| Biggest coefficient in the objective function | 4 |
| Number of bits for the biggest coefficient in the objective function | 3 |
| Sum of the numbers in the objective function | 352 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 4 |
| Number of bits of the biggest number in a constraint | 3 |
| Biggest sum of numbers in a constraint | 352 |
| Number of bits of the biggest sum of numbers | 9 |
| 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.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-4499683-1751410010.opb>
0.09/0.11 c original problem has 2025 variables (2025 bin, 0 int, 0 cont) and 62145 constraints
0.09/0.11 c problem read in 0.113 seconds
0.20/0.21 o 0
0.20/0.21 c feasible solution found by trivial heuristic after 0.2 seconds, objective value 0.000000e+00
0.20/0.21 c presolving:
0.20/0.28 c (round 1, fast) 202 del vars, 202 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 968 clqs
0.30/0.37 c (0.4s) running MILP presolver
0.39/0.45 c (0.5s) MILP presolver (3 rounds): 0 aggregations, 8 fixings, 0 bound changes
0.39/0.45 c (round 2, medium) 210 del vars, 202 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 944 clqs
0.39/0.48 c (round 3, exhaustive) 210 del vars, 984 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1219 clqs
0.59/0.63 c (round 4, exhaustive) 210 del vars, 984 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 61161 upgd conss, 0 impls, 1219 clqs
0.79/0.89 c (0.9s) probing: 51/1815 (2.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.89 c (0.9s) probing aborted: 50/50 successive totally useless probings
0.79/0.89 c (0.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.88/0.95 c (1.0s) no symmetry present (symcode time: 0.01)
0.99/1.00 c presolving (5 rounds: 5 fast, 4 medium, 3 exhaustive):
0.99/1.00 c 210 deleted vars, 1017 deleted constraints, 11 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.99/1.00 c 0 implications, 1219 cliques
0.99/1.00 c presolved problem has 1815 variables (1815 bin, 0 int, 0 cont) and 61139 constraints
0.99/1.00 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.99/1.00 c 1197 constraints of type <setppc>
0.99/1.00 c 11 constraints of type <and>
0.99/1.00 c 59931 constraints of type <logicor>
0.99/1.00 c transformed objective value is always integral (scale: 1)
0.99/1.00 c Presolving Time: 0.80
0.99/1.00 c
0.99/1.00 c - non default parameters ----------------------------------------------------------------------
0.99/1.00 c
0.99/1.00 c # SCIP version 10.0.0
0.99/1.00 c
0.99/1.00 c # maximal time in seconds to run
0.99/1.00 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.99/1.00 c limits/time = 3596.998277
0.99/1.00 c
0.99/1.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.00 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.99/1.00 c limits/memory = 27900
0.99/1.00 c
0.99/1.00 c # belongs reading time to solving time?
0.99/1.00 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.99/1.00 c timing/reading = TRUE
0.99/1.00 c
0.99/1.00 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
0.99/1.00 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.99/1.00 c reading/opbreader/maxintsize = 47
0.99/1.00 c
0.99/1.00 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.99/1.00 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.99/1.00 c propagating/genvbounds/timingmask = 0
0.99/1.00 c
0.99/1.00 c -----------------------------------------------------------------------------------------------
0.99/1.00 c
0.99/1.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.99/1.01 c t 1.0s| 1 | 0 | 0 | - | trivial| 0 |1815 | 61k| 0 | 0 | 0 | 0 | 0 |-3.300000e+02 | 0.000000e+00 | Inf | unknown
0.99/1.02 o -5
0.99/1.02 c t 1.0s| 1 | 0 | 0 | - | trivial| 0 |1815 | 61k| 0 | 0 | 0 | 0 | 0 |-3.300000e+02 |-5.000000e+00 |6500.00%| unknown
1.09/1.17 o -116
1.09/1.17 c p 1.2s| 1 | 0 | 0 | - | clique| 0 |1815 | 61k| 61k| 0 | 0 | 0 | 0 |-3.300000e+02 |-1.160000e+02 | 184.48%| unknown
1.28/1.33 o -131
1.28/1.33 c p 1.3s| 1 | 0 | 0 | - | vbounds| 0 |1815 | 61k| 61k| 0 | 0 | 52 | 0 |-3.300000e+02 |-1.310000e+02 | 151.91%| unknown
65.39/65.68 c 65.7s| 1 | 0 | 39079 | - | 184M | 0 |1815 | 61k| 61k| 0 | 0 | 60 | 0 |-2.578930e+02 |-1.310000e+02 | 96.86%| unknown
364.08/365.34 c 365s| 1 | 0 |289997 | - | 196M | 0 |1815 | 61k| 61k| 20 | 1 | 70 | 0 |-2.383808e+02 |-1.310000e+02 | 81.97%| unknown
662.22/664.23 c 664s| 1 | 0 |527204 | - | 216M | 0 |1815 | 61k| 61k| 31 | 2 | 80 | 0 |-2.350347e+02 |-1.310000e+02 | 79.42%| unknown
987.45/990.32 c 990s| 1 | 0 |811612 | - | 230M | 0 |1815 | 61k| 61k| 38 | 3 | 90 | 0 |-2.281382e+02 |-1.310000e+02 | 74.15%| unknown
1198.70/1202.10 c 1202s| 1 | 0 |973972 | - | 243M | 0 |1815 | 61k| 61k| 45 | 4 | 92 | 0 |-2.246069e+02 |-1.310000e+02 | 71.46%| unknown
1493.14/1497.31 c 1497s| 1 | 0 | 1228k| - | 255M | 0 |1815 | 61k| 61k| 50 | 5 | 102 | 0 |-2.233323e+02 |-1.310000e+02 | 70.48%| unknown
1890.44/1895.65 c 1896s| 1 | 0 | 1560k| - | 266M | 0 |1815 | 61k| 61k| 55 | 6 | 112 | 0 |-2.215762e+02 |-1.310000e+02 | 69.14%| unknown
1986.89/1992.31 c 1992s| 1 | 0 | 1602k| - | 281M | 0 |1815 | 61k| 61k| 60 | 7 | 113 | 0 |-2.211903e+02 |-1.310000e+02 | 68.85%| unknown
2418.88/2425.48 c 2425s| 1 | 0 | 1986k| - | 291M | 0 |1815 | 61k| 61k| 64 | 8 | 123 | 0 |-2.209645e+02 |-1.310000e+02 | 68.68%| unknown
2888.39/2896.13 c 2896s| 1 | 0 | 2348k| - | 306M | 0 |1815 | 61k| 61k| 68 | 9 | 126 | 0 |-2.204211e+02 |-1.310000e+02 | 68.26%| unknown
3242.30/3250.99 c 3251s| 1 | 0 | 2641k| - | 317M | 0 |1815 | 61k| 61k| 70 | 10 | 136 | 0 |-2.202466e+02 |-1.310000e+02 | 68.13%| unknown
3587.42/3597.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3587.42/3597.00 c 3597s| 1 | 0 | 2876k| - | 323M | 0 |1815 | 61k| 61k| 72 | 11 | 146 | 0 |-2.202466e+02 |-1.310000e+02 | 68.13%| unknown
3587.42/3597.00 c (node 1) LP solver hit time limit in LP 12 -- using pseudo solution instead
3587.42/3597.00 c
3587.42/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.42/3597.00 c Solving Time (sec) : 3597.00
3587.42/3597.00 c Solving Nodes : 1
3587.42/3597.00 c Primal Bound : -1.31000000000000e+02 (5 solutions)
3587.42/3597.00 c Dual Bound : -2.20246627608773e+02
3587.42/3597.00 c Gap : 68.13 %
3587.53/3597.01 s SATISFIABLE
3587.53/3597.01 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 x29 -x30 -x31 -x32
3587.53/3597.01 v -x33 -x34 -x35 x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59
3587.53/3597.01 v -x60 x61 x62 -x63 x64 x65 x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 x78 -x79 -x80 -x81 -x82 x83 x84 x85 -x86 -x87
3587.53/3597.01 v -x88 -x89 -x90 x91 -x92 x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 x105 x106 -x107 -x108 -x109 -x110 -x111 -x112
3587.53/3597.01 v -x113 x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 x128 -x129 x130 -x131 -x132 x133 x134 -x135
3587.53/3597.01 v -x136 x137 -x138 -x139 x140 x141 -x142 -x143 -x144 -x145 x146 x147 x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 x156 x157 x158
3587.53/3597.01 v -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 x173 -x174 -x175 -x176 -x177 -x178 x179 -x180
3587.53/3597.01 v x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202
3587.53/3597.01 v -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 x224
3587.53/3597.01 v -x225 -x226 -x227 x228 -x229 x230 -x231 -x232 -x233 -x234 x235 -x236 x237 -x238 x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247
3587.53/3597.01 v x248 -x249 x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 x263 -x264 -x265 x266 -x267 -x268 -x269 x270
3587.53/3597.01 v -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 x285 x286 -x287 -x288 -x289 -x290 -x291 -x292
3587.53/3597.01 v -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
3587.53/3597.01 v -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 x337
3587.53/3597.01 v -x338 -x339 x340 -x341 x342 -x343 x344 -x345 -x346 -x347 -x348 x349 -x350 x351 -x352 -x353 -x354 -x355 x356 -x357 x358 -x359 -x360
3587.53/3597.01 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 x374 -x375 -x376 -x377 x378 -x379 x380 x381 -x382 x383
3587.53/3597.01 v -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405
3587.53/3597.01 v -x406 -x407 -x408 -x409 -x410 -x411 x412 x413 -x414 -x415 -x416 x417 -x418 x419 -x420 x421 x422 -x423 x424 -x425 -x426 -x427 -x428
3587.53/3597.01 v -x429 x430 -x431 x432 -x433 -x434 x435 -x436 -x437 -x438 x439 -x440 -x441 x442 -x443 x444 x445 -x446 -x447 -x448 -x449 -x450 -x451
3587.53/3597.01 v -x452 -x453 x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 x470 x471 -x472 -x473 -x474
3587.53/3597.01 v x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 x483 -x484 x485 -x486 -x487 x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 x496 -x497
3587.53/3597.01 v x498 -x499 -x500 -x501 x502 -x503 -x504 x505 -x506 x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 x515 x516 -x517 x518 -x519 x520
3587.53/3597.01 v -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 x539 -x540 x541 -x542
3587.53/3597.01 v x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 x561 x562 -x563 -x564
3587.53/3597.01 v -x565 -x566 -x567 -x568 -x569 x570 -x571 x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 x582 x583 -x584 x585 x586 -x587
3587.53/3597.01 v -x588 -x589 -x590 -x591 x592 -x593 x594 x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 x607 -x608 -x609 -x610
3587.53/3597.01 v -x611 -x612 x613 -x614 x615 -x616 -x617 -x618 -x619 x620 x621 -x622 -x623 x624 -x625 x626 -x627 -x628 x629 x630 -x631 -x632 -x633
3587.53/3597.01 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.53/3597.01 v -x657 -x658 -x659 x660 -x661 x662 -x663 x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679
3587.53/3597.01 v x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 -x699 -x700 -x701
3587.53/3597.01 v x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 x715 -x716 -x717 x718 -x719 x720 -x721 -x722 -x723 x724
3587.53/3597.01 v -x725 -x726 -x727 x728 -x729 x730 -x731 x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747
3587.53/3597.01 v -x748 x749 x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769
3587.53/3597.01 v -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791
3587.53/3597.01 v -x792 -x793 x794 x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814
3587.53/3597.01 v -x815 -x816 -x817 -x818 x819 x820 x821 -x822 -x823 -x824 x825 -x826 x827 -x828 -x829 -x830 x831 -x832 x833 -x834 x835 -x836 -x837
3587.53/3597.01 v -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859
3587.53/3597.01 v -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 x875 x876 -x877 -x878 x879 -x880 -x881 -x882
3587.53/3597.01 v -x883 -x884 x885 -x886 -x887 -x888 x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904
3587.53/3597.01 v -x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926
3587.53/3597.01 v x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 -x944 -x945 -x946 -x947 -x948
3587.53/3597.01 v -x949 -x950 x951 -x952 x953 -x954 -x955 -x956 x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 x966 -x967 -x968 -x969 -x970 x971
3587.53/3597.01 v -x972 -x973 x974 -x975 x976 -x977 x978 -x979 x980 x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 x991 -x992 -x993 -x994
3587.53/3597.01 v -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 x1004 -x1005 x1006 x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014
3587.53/3597.01 v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033
3587.53/3597.01 v -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 x1047 -x1048 -x1049 -x1050 -x1051 -x1052
3587.53/3597.01 v -x1053 -x1054 -x1055 -x1056 -x1057 x1058 x1059 -x1060 -x1061 x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 x1071
3587.53/3597.01 v x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
3587.53/3597.01 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109
3587.53/3597.01 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 x1122 -x1123 -x1124 x1125 x1126 -x1127 -x1128
3587.53/3597.01 v x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 x1136 -x1137 x1138 x1139 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146 x1147 -x1148
3587.53/3597.01 v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 x1158 -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167
3587.53/3597.01 v -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186
3587.53/3597.01 v -x1187 x1188 -x1189 -x1190 x1191 -x1192 -x1193 x1194 -x1195 x1196 x1197 -x1198 -x1199 x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206
3587.53/3597.01 v -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225
3587.53/3597.01 v -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244
3587.53/3597.01 v x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 x1262 -x1263
3587.53/3597.01 v -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282
3587.53/3597.01 v -x1283 x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301
3587.53/3597.01 v -x1302 x1303 -x1304 -x1305 -x1306 -x1307 x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 x1315 -x1316 x1317 -x1318 -x1319 -x1320
3587.53/3597.01 v x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 x1339
3587.53/3597.01 v -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 x1355 -x1356 -x1357 -x1358
3587.53/3597.01 v -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 x1373 -x1374 -x1375 x1376 -x1377
3587.53/3597.01 v -x1378 x1379 -x1380 -x1381 -x1382 x1383 -x1384 -x1385 -x1386 -x1387 x1388 -x1389 -x1390 -x1391 -x1392 x1393 x1394 x1395 x1396 -x1397
3587.53/3597.01 v x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416
3587.53/3597.01 v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427 x1428 -x1429 x1430 -x1431 -x1432 -x1433 -x1434 -x1435
3587.53/3597.01 v x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 x1447 -x1448 -x1449 -x1450 x1451 -x1452 x1453 x1454 -x1455
3587.53/3597.01 v -x1456 x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474
3587.53/3597.01 v -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493
3587.53/3597.01 v -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512
3587.53/3597.01 v x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531
3587.53/3597.01 v -x1532 -x1533 x1534 x1535 -x1536 x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 -x1545 -x1546 -x1547 x1548 -x1549 -x1550
3587.53/3597.01 v -x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 -x1560 x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569
3587.53/3597.01 v -x1570 -x1571 x1572 x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 x1583 x1584 -x1585 -x1586 -x1587 x1588 -x1589
3587.53/3597.01 v -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1608
3587.53/3597.01 v -x1609 -x1610 x1611 -x1612 x1613 -x1614 -x1615 x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626 -x1627
3587.53/3597.01 v -x1628 -x1629 x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646
3587.53/3597.01 v x1647 -x1648 x1649 -x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665
3587.53/3597.01 v -x1666 -x1667 -x1668 x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684
3587.53/3597.01 v -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703
3587.53/3597.01 v -x1704 -x1705 -x1706 -x1707 x1708 -x1709 -x1710 x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722
3587.53/3597.01 v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741
3587.53/3597.01 v x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
3587.53/3597.01 v x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 x1776 -x1777 x1778 x1779
3587.53/3597.01 v x1780 -x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 x1798
3587.53/3597.01 v -x1799 x1800 -x1801 -x1802 x1803 -x1804 -x1805 -x1806 -x1807 x1808 -x1809 -x1810 -x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817
3587.53/3597.02 v -x1818 -x1819 -x1820 -x1821 x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 x1835 -x1836
3587.53/3597.02 v -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 x1844 x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 x1855
3587.53/3597.02 v -x1856 -x1857 -x1858 -x1859 x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874
3587.53/3597.02 v x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893
3587.53/3597.02 v -x1894 x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912
3587.53/3597.02 v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 x1931
3587.53/3597.02 v -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950
3587.53/3597.02 v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969
3587.53/3597.02 v -x1970 -x1971 x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988
3587.53/3597.02 v -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007
3587.53/3597.02 v -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025
3587.53/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3587.53/3597.02 c Total Time : 3597.00
3587.53/3597.02 c solving : 3597.00
3587.53/3597.02 c presolving : 0.80 (included in solving)
3587.53/3597.02 c reading : 0.11 (included in solving)
3587.53/3597.02 c copying : 0.00 (0 times copied the problem)
3587.53/3597.02 c Original Problem :
3587.53/3597.02 c Problem name : HOME/instance-4499683-1751410010.opb
3587.53/3597.02 c Variables : 2025 (2025 binary, 0 integer, 0 continuous)
3587.53/3597.02 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.53/3597.02 c Constraints : 62145 initial, 62145 maximal
3587.53/3597.02 c Objective : minimize, 135 non-zeros (abs.min = 1, abs.max = 4)
3587.53/3597.02 c Presolved Problem :
3587.53/3597.02 c Problem name : t_HOME/instance-4499683-1751410010.opb
3587.53/3597.02 c Variables : 1815 (1815 binary, 0 integer, 0 continuous)
3587.53/3597.02 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.53/3597.02 c Constraints : 61139 initial, 61282 maximal
3587.53/3597.02 c Objective : minimize, 127 non-zeros (abs.min = 1, abs.max = 4)
3587.53/3597.02 c Nonzeros : 182220 constraint, 2448 clique table
3587.53/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.53/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c gateextraction : 0.04 0.00 1 0 0 0 0 0 33 11 0 0
3587.53/3597.02 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c milp : 0.16 0.00 1 8 0 0 0 0 0 0 0 0
3587.53/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c symmetry : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c setppc : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c and : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c linear : 0.22 0.03 6 0 202 0 0 0 984 0 0 0
3587.53/3597.02 c logicor : 0.18 0.03 3 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c root node : - - - 0 - - 0 - - - - -
3587.53/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.53/3597.02 c integral : 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0
3587.53/3597.02 c knapsack : 0+ 1 0 1533 0 0 0 0 17 9 0 0 0 0 0
3587.53/3597.02 c setppc : 1197+ 1202 11 4098 0 0 0 5 822 7 0 5 0 0 0
3587.53/3597.02 c and : 11 11 11 3658 0 0 0 4 144 1 0 25 0 0 0
3587.53/3597.02 c logicor : 59931+ 60068 11 4071 0 0 0 4 720 35 0 46 12 0 0
3587.53/3597.02 c fixedvar : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
3587.53/3597.02 c countsols : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
3587.53/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.53/3597.02 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.02 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.02 c setppc : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.02 c and : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.02 c logicor : 0.37 0.03 0.15 0.17 0.00 0.00 0.00 0.01 0.00 0.00
3587.53/3597.02 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.02 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.53/3597.02 c dualfix : 2 0 0 0
3587.53/3597.02 c genvbounds : 0 0 0 0
3587.53/3597.02 c nlobbt : 0 0 0 0
3587.53/3597.02 c obbt : 0 0 0 0
3587.53/3597.02 c probing : 0 0 0 0
3587.53/3597.02 c pseudoobj : 13 0 0 0
3587.53/3597.02 c redcost : 11 0 0 0
3587.53/3597.02 c rootredcost : 0 0 0 0
3587.53/3597.02 c symmetry : 0 0 0 0
3587.53/3597.02 c vbounds : 1286 0 0 0
3587.53/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.53/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.02 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.02 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
3587.53/3597.02 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.02 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.02 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.02 c symmetry : 0.06 0.00 0.06 0.00 0.00 0.00
3587.53/3597.02 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.53/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.53/3597.02 c propagation : 0.00 51 51 - 498 57.2 6 4.2 - - -
3587.53/3597.02 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.53/3597.02 c bound exceed. LP : 0.01 1 1 - 0 0.0 0 0.0 1 127.0 10
3587.53/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.53/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.53/3597.02 c applied globally : 0.00 - - 0 145 31.7 - - 1 - -
3587.53/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.53/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.53/3597.02 c cut pool : 0.01 - 21 21 - - 2054 2117 - - - - - (maximal pool size: 2054)
3587.53/3597.02 c aggregation : 0.11 0.00 11 11 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.53/3597.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.53/3597.02 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.53/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c clique : 0.10 0.00 11 11 0 0 1 1 0 1 1 0 0
3587.53/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c gomory : 1.47 0.00 10 10 0 0 2003 2050 0 14 14 0 0
3587.53/3597.02 c > gomorymi : - - - - - - - 1082 0 4 4 0 -
3587.53/3597.02 c > strongcg : - - - - - - - 968 0 10 10 0 -
3587.53/3597.02 c impliedbounds : 0.00 0.00 11 11 0 0 20 30 0 19 19 0 0
3587.53/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c mcf : 0.03 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c multilinear : 0.00 0.00 11 11 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3587.53/3597.02 c zerohalf : 0.41 0.00 11 11 0 0 30 36 0 26 26 0 0
3587.53/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.53/3597.02 c hybrid : 0.01 0.00 11 11 72 0 2121 72 0 2121
3587.53/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3587.53/3597.02 c problem variables: 0.00 - 0 0
3587.53/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.53/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.02 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.53/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.53/3597.02 c LP solutions : 0.00 - - 0 0
3587.53/3597.02 c relax solutions : 0.00 - - 0 0
3587.53/3597.02 c pseudo solutions : 0.00 - - 0 0
3587.53/3597.02 c strong branching : 0.00 - - 0 0
3587.53/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3587.53/3597.02 c adaptivediving : 0.00 0.00 0 0 0
3587.53/3597.02 c alns : 0.00 0.00 0 0 0
3587.53/3597.02 c bound : 0.00 0.00 0 0 0
3587.53/3597.02 c clique : 0.16 0.00 1 1 1
3587.53/3597.02 c coefdiving : 0.00 0.00 0 0 0
3587.53/3597.02 c completesol : 0.00 0.00 0 0 0
3587.53/3597.02 c conflictdiving : 0.00 0.00 0 0 0
3587.53/3597.02 c crossover : 0.00 0.00 0 0 0
3587.53/3597.02 c dins : 0.00 0.00 0 0 0
3587.53/3597.02 c distributiondivin: 0.00 0.00 0 0 0
3587.53/3597.02 c dks : 0.00 0.00 0 0 0
3587.53/3597.02 c dps : 0.00 0.00 0 0 0
3587.53/3597.02 c dualval : 0.00 0.00 0 0 0
3587.53/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3587.53/3597.02 c feaspump : 0.00 0.00 0 0 0
3587.53/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3587.53/3597.02 c fracdiving : 0.00 0.00 0 0 0
3587.53/3597.02 c gins : 0.00 0.00 0 0 0
3587.53/3597.02 c guideddiving : 0.00 0.00 0 0 0
3587.53/3597.02 c indicator : 0.00 0.00 0 0 0
3587.53/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3587.53/3597.02 c intdiving : 0.00 0.00 0 0 0
3587.53/3597.02 c intshifting : 0.00 0.00 0 0 0
3587.53/3597.02 c linesearchdiving : 0.00 0.00 0 0 0
3587.53/3597.02 c localbranching : 0.00 0.00 0 0 0
3587.53/3597.02 c locks : 0.07 0.00 1 0 0
3587.53/3597.02 c lpface : 0.00 0.00 0 0 0
3587.53/3597.02 c mpec : 0.00 0.00 0 0 0
3587.53/3597.02 c multistart : 0.00 0.00 0 0 0
3587.53/3597.02 c mutation : 0.00 0.00 0 0 0
3587.53/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3587.53/3597.02 c objpscostdiving : 0.00 0.00 0 0 0
3587.53/3597.02 c octane : 0.00 0.00 0 0 0
3587.53/3597.02 c ofins : 0.00 0.00 0 0 0
3587.53/3597.02 c oneopt : 0.01 0.00 1 0 0
3587.53/3597.02 c padm : 0.00 0.00 0 0 0
3587.53/3597.02 c proximity : 0.00 0.00 0 0 0
3587.53/3597.02 c pscostdiving : 0.00 0.00 0 0 0
3587.53/3597.02 c randrounding : 0.14 0.00 11 0 0
3587.53/3597.02 c rens : 0.00 0.00 0 0 0
3587.53/3597.02 c reoptsols : 0.00 0.00 0 0 0
3587.53/3597.02 c repair : 0.00 0.00 0 0 0
3587.53/3597.02 c rins : 0.00 0.00 0 0 0
3587.53/3597.02 c rootsoldiving : 0.00 0.00 0 0 0
3587.53/3597.02 c rounding : 0.05 0.00 11 0 0
3587.53/3597.02 c scheduler : 0.00 0.00 0 0 0
3587.53/3597.02 c shiftandpropagate: 0.00 0.00 0 0 0
3587.53/3597.02 c shifting : 0.11 0.00 11 0 0
3587.53/3597.02 c simplerounding : 0.00 0.00 0 0 0
3587.53/3597.02 c subnlp : 0.00 0.00 0 0 0
3587.53/3597.02 c trivial : 0.02 0.00 2 3 2
3587.53/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3587.53/3597.02 c trustregion : 0.00 0.00 0 0 0
3587.53/3597.02 c trysol : 0.00 0.00 0 0 0
3587.53/3597.02 c twoopt : 0.00 0.00 0 0 0
3587.53/3597.02 c undercover : 0.00 0.00 1 0 0
3587.53/3597.02 c vbounds : 0.11 0.00 1 1 1
3587.53/3597.02 c veclendiving : 0.00 0.00 0 0 0
3587.53/3597.02 c zeroobj : 0.00 0.00 0 0 0
3587.53/3597.02 c zirounding : 0.00 0.00 0 0 0
3587.53/3597.02 c other solutions : - - - 0 -
3587.53/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.53/3597.02 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.53/3597.02 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.53/3597.02 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.53/3597.02 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.53/3597.02 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.53/3597.02 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.53/3597.02 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.53/3597.02 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.53/3597.02 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.53/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.53/3597.02 c primal LP : 0.00 0 0 0.00 - 0.00 0
3587.53/3597.02 c dual LP : 3593.01 12 2876041 239670.08 800.45 0.00 0
3587.53/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3587.53/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.53/3597.02 c resolve instable : 0.00 0 0 0.00 -
3587.53/3597.02 c diving/probing LP: 0.03 0 0 0.00 0.00
3587.53/3597.02 c strong branching : 0.00 0 0 0.00 - - - 0
3587.53/3597.02 c (at root node) : - 0 0 0.00 -
3587.53/3597.02 c conflict analysis: 0.00 1 10 10.00 -
3587.53/3597.02 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.53/3597.02 c benders : 0.00 0 0 0 0.00 0 0 0
3587.53/3597.02 c B&B Tree :
3587.53/3597.02 c number of runs : 1
3587.53/3597.02 c nodes : 1 (0 internal, 1 leaves)
3587.53/3597.02 c feasible leaves : 0
3587.53/3597.02 c infeas. leaves : 0
3587.53/3597.02 c objective leaves : 0
3587.53/3597.02 c nodes (total) : 1 (0 internal, 1 leaves)
3587.53/3597.02 c nodes left : 1
3587.53/3597.02 c max depth : 0
3587.53/3597.02 c max depth (total): 0
3587.53/3597.02 c backtracks : 0 (0.0%)
3587.53/3597.02 c early backtracks : 0 (0.0%)
3587.53/3597.02 c nodes exc. ref. : 0 (0.0%)
3587.53/3597.02 c delayed cutoffs : 0
3587.53/3597.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.53/3597.02 c avg switch length: 1.00
3587.53/3597.02 c switching time : 0.00
3587.53/3597.02 c Root Node :
3587.53/3597.02 c First LP value : -2.57893009795191e+02
3587.53/3597.02 c First LP Iters : 39079 (607.67 Iter/sec)
3587.53/3597.02 c First LP Time : 64.31
3587.53/3597.02 c Final Dual Bound : -2.20246627608773e+02
3587.53/3597.02 c Final Root Iters : 2876041
3587.53/3597.02 c Root LP Estimate : -
3587.53/3597.02 c Solution :
3587.53/3597.02 c Solutions found : 5 (4 improvements)
3587.53/3597.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.21 seconds, depth 0, found by <trivial>)
3587.53/3597.02 c Gap First Sol. : infinite
3587.53/3597.02 c Gap Last Sol. : 151.91 %
3587.53/3597.02 c Primal Bound : -1.31000000000000e+02 (in run 1, after 1 nodes, 1.33 seconds, depth 358, found by <vbounds>)
3587.53/3597.02 c Dual Bound : -2.20246627608773e+02
3587.53/3597.02 c Gap : 68.13 %
3587.53/3597.02 c Integrals : Total Avg%
3587.53/3597.02 c primal-dual : 153631.54 42.71
3587.53/3597.02 c primal-ref : - - (not evaluated)
3587.53/3597.02 c dual-ref : - - (not evaluated)
3587.63/3597.17 c Time complete (sec): 3587.712
OK -131
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62633 MiB free)
memory of node 1: 64507 MiB (56680 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499683-1751410010/watcher-4499683-1751410010 -o /tmp/evaluation-result-4499683-1751410010/solver-4499683-1751410010 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751406326-62868 --watchdog 3760 pbsolver -f HOME/instance-4499683-1751410010.opb -t 3600 -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=63899, runsolver pid=63896
[startup+0.100063 s]*
/proc/loadavg: 4.22 4.14 4.10 5/264 63900
/proc/meminfo: memFree=122161300/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=51332 memory=40832 CPUtime=0.09 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 8258 0 0 0 9 0 0 0 20 0 1 0 56678892 52563968 10208 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 12833 10208 2176 2575 0 9740 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51332 KiB
Current children cumulated memory: 40832 KiB
[startup+0.205605 s]*
/proc/loadavg: 4.22 4.14 4.10 5/264 63900
/proc/meminfo: memFree=122101324/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=109696 memory=99168 CPUtime=0.2 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 22994 0 0 0 17 3 0 0 20 0 1 0 56678892 112328704 24792 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 27424 24792 2400 2575 0 24331 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 109696 KiB
Current children cumulated memory: 99168 KiB
[startup+0.305636 s]*
/proc/loadavg: 4.22 4.14 4.10 5/264 63900
/proc/meminfo: memFree=122093260/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=121408 memory=108256 CPUtime=0.3 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 25285 0 0 0 27 3 0 0 20 0 1 0 56678892 124321792 27064 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 30352 27064 2432 2575 0 27259 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 121408 KiB
Current children cumulated memory: 108256 KiB
[startup+0.700177 s]
/proc/loadavg: 4.22 4.14 4.10 5/264 63900
/proc/meminfo: memFree=122064972/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=142200 memory=131348 CPUtime=0.68 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 37726 0 0 0 63 5 0 0 20 0 1 0 56678892 145612800 32837 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 35550 32837 2496 2575 0 32457 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 142200 KiB
Current children cumulated memory: 131348 KiB
[startup+1.50018 s]
/proc/loadavg: 4.22 4.14 4.10 5/264 63900
/proc/meminfo: memFree=122029248/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=232684 memory=219336 CPUtime=1.48 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 59638 0 0 0 139 9 0 0 20 0 1 0 56678892 238268416 54834 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 58171 54834 2688 2575 0 55078 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 232684 KiB
Current children cumulated memory: 219336 KiB
[startup+3.10551 s]
/proc/loadavg: 4.22 4.14 4.10 5/264 63900
/proc/meminfo: memFree=121980108/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=232684 memory=219848 CPUtime=3.08 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 59776 0 0 0 299 9 0 0 20 0 1 0 56678892 238268416 54962 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 58171 54962 2688 2575 0 55078 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 232684 KiB
Current children cumulated memory: 219848 KiB
[startup+6.30016 s]
/proc/loadavg: 4.21 4.13 4.10 5/264 63900
/proc/meminfo: memFree=121979100/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=233416 memory=220360 CPUtime=6.27 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 59911 0 0 0 617 10 0 0 20 0 1 0 56678892 239017984 55090 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 58354 55090 2688 2575 0 55261 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 233416 KiB
Current children cumulated memory: 220360 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.13 4.10 5/264 63900
/proc/meminfo: memFree=121976832/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=234372 memory=221384 CPUtime=12.66 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 60160 0 0 0 1256 10 0 0 20 0 1 0 56678892 239996928 55346 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 58593 55346 2688 2575 0 55500 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 234372 KiB
Current children cumulated memory: 221384 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 63901
/proc/meminfo: memFree=121976840/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=234372 memory=221384 CPUtime=25.42 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 60160 0 0 0 2532 10 0 0 20 0 1 0 56678892 239996928 55346 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 58593 55346 2688 2575 0 55500 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 234372 KiB
Current children cumulated memory: 221384 KiB
[startup+51.1055 s]
/proc/loadavg: 4.15 4.13 4.10 5/264 63901
/proc/meminfo: memFree=121968400/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=234372 memory=221384 CPUtime=50.94 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 60160 0 0 0 5084 10 0 0 20 0 1 0 56678892 239996928 55346 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 58593 55346 2688 2575 0 55500 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 234372 KiB
Current children cumulated memory: 221384 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 63904
/proc/meminfo: memFree=121938096/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=259624 memory=237300 CPUtime=101.96 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 63622 0 0 0 10186 10 0 0 20 0 1 0 56678892 265854976 59325 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 64906 59325 2688 2575 0 61813 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 259624 KiB
Current children cumulated memory: 237300 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 63907
/proc/meminfo: memFree=121913144/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=259624 memory=237300 CPUtime=161.74 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 63624 0 0 0 16164 10 0 0 20 0 1 0 56678892 265854976 59325 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 64906 59325 2688 2575 0 61813 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 259624 KiB
Current children cumulated memory: 237300 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 63954
/proc/meminfo: memFree=122047400/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=259624 memory=237300 CPUtime=221.52 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 63624 0 0 0 22142 10 0 0 20 0 1 0 56678892 265854976 59325 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 64906 59325 2688 2575 0 61813 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 259624 KiB
Current children cumulated memory: 237300 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 63957
/proc/meminfo: memFree=121986972/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=259624 memory=239092 CPUtime=281.32 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 63634 0 0 0 28122 10 0 0 20 0 1 0 56678892 265854976 59773 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 64906 59773 2688 2575 0 61813 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 259624 KiB
Current children cumulated memory: 239092 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 63967
/proc/meminfo: memFree=121984564/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=259624 memory=242164 CPUtime=341.14 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 63653 0 0 0 34104 10 0 0 20 0 1 0 56678892 265854976 60541 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 64906 60541 2688 2575 0 61813 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 259624 KiB
Current children cumulated memory: 242164 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 63969
/proc/meminfo: memFree=121952584/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=279548 memory=261588 CPUtime=400.99 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 66796 0 0 0 40088 11 0 0 20 0 1 0 56678892 286257152 65397 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 69887 65397 2688 2575 0 66794 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 279548 KiB
Current children cumulated memory: 261588 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/265 63972
/proc/meminfo: memFree=121961400/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=279548 memory=261588 CPUtime=460.84 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 66799 0 0 0 46073 11 0 0 20 0 1 0 56678892 286257152 65397 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 69887 65397 2688 2575 0 66794 0
Current children cumulated CPU time: 460.84 s
################
# More data... #
################
/proc/loadavg: 4.15 4.12 4.09 5/264 64169
/proc/meminfo: memFree=120280600/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=376576 memory=331760 CPUtime=3213.77 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 80428 0 0 0 321361 16 0 0 20 0 1 0 56678892 385613824 82940 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 94144 82940 2944 2575 0 91051 0
Current children cumulated CPU time: 3213.77 s
Current children cumulated vsize: 376576 KiB
Current children cumulated memory: 331760 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 64171
/proc/meminfo: memFree=120257064/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=382808 memory=332272 CPUtime=3273.62 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 80634 0 0 0 327346 16 0 0 20 0 1 0 56678892 391995392 83068 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 95702 83068 2944 2575 0 92609 0
Current children cumulated CPU time: 3273.62 s
Current children cumulated vsize: 382808 KiB
Current children cumulated memory: 332272 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 64181
/proc/meminfo: memFree=120255236/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=382808 memory=332272 CPUtime=3333.47 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 80634 0 0 0 333331 16 0 0 20 0 1 0 56678892 391995392 83068 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 95702 83068 2944 2575 0 92609 0
Current children cumulated CPU time: 3333.47 s
Current children cumulated vsize: 382808 KiB
Current children cumulated memory: 332272 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/266 64184
/proc/meminfo: memFree=120255100/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=382808 memory=332272 CPUtime=3393.32 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 80674 0 0 0 339316 16 0 0 20 0 1 0 56678892 391995392 83068 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 95702 83068 2944 2575 0 92609 0
Current children cumulated CPU time: 3393.32 s
Current children cumulated vsize: 382808 KiB
Current children cumulated memory: 332272 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 64186
/proc/meminfo: memFree=120251140/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=382808 memory=332272 CPUtime=3453.17 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 80679 0 0 0 345301 16 0 0 20 0 1 0 56678892 391995392 83068 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 95702 83068 2944 2575 0 92609 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 382808 KiB
Current children cumulated memory: 332272 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/265 64188
/proc/meminfo: memFree=120251024/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=382808 memory=332272 CPUtime=3513.01 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 80679 0 0 0 351285 16 0 0 20 0 1 0 56678892 391995392 83068 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 95702 83068 2944 2575 0 92609 0
Current children cumulated CPU time: 3513.01 s
Current children cumulated vsize: 382808 KiB
Current children cumulated memory: 332272 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 64234
/proc/meminfo: memFree=120168620/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=382808 memory=332272 CPUtime=3572.86 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 80681 0 0 0 357270 16 0 0 20 0 1 0 56678892 391995392 83068 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 95702 83068 2944 2575 0 92609 0
Current children cumulated CPU time: 3572.86 s
Current children cumulated vsize: 382808 KiB
Current children cumulated memory: 332272 KiB
[startup+3597.18 s]
# the end of solver process 63899 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.54 s, system=0.171812 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.12 4.09 5/265 64234
/proc/meminfo: memFree=120168636/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=382808 memory=332272 CPUtime=3574.56 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 80681 0 0 0 357440 16 0 0 20 0 1 0 56678892 391995392 83068 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 95702 83068 2944 2575 0 92609 0
Current children cumulated CPU time: 3574.56 s
Current children cumulated vsize: 382808 KiB
Current children cumulated memory: 332272 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 64234
/proc/meminfo: memFree=120168888/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=382808 memory=332272 CPUtime=3580.94 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 80681 0 0 0 358078 16 0 0 20 0 1 0 56678892 391995392 83068 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 95702 83068 2944 2575 0 92609 0
Current children cumulated CPU time: 3580.94 s
Current children cumulated vsize: 382808 KiB
Current children cumulated memory: 332272 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 64234
/proc/meminfo: memFree=120169140/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=382808 memory=332272 CPUtime=3584.13 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 80681 0 0 0 358397 16 0 0 20 0 1 0 56678892 391995392 83068 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 95702 83068 2944 2575 0 92609 0
Current children cumulated CPU time: 3584.13 s
Current children cumulated vsize: 382808 KiB
Current children cumulated memory: 332272 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 64235
/proc/meminfo: memFree=120169200/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=382808 memory=332272 CPUtime=3585.73 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 80681 0 0 0 358557 16 0 0 20 0 1 0 56678892 391995392 83068 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 95702 83068 2944 2575 0 92609 0
Current children cumulated CPU time: 3585.73 s
Current children cumulated vsize: 382808 KiB
Current children cumulated memory: 332272 KiB
[startup+3596 s]*
/proc/loadavg: 4.09 4.11 4.09 5/265 64235
/proc/meminfo: memFree=120169200/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=382808 memory=332272 CPUtime=3586.53 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 80681 0 0 0 358637 16 0 0 20 0 1 0 56678892 391995392 83068 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 95702 83068 2944 2575 0 92609 0
Current children cumulated CPU time: 3586.53 s
Current children cumulated vsize: 382808 KiB
Current children cumulated memory: 332272 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 64235
/proc/meminfo: memFree=120169200/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=382808 memory=332272 CPUtime=3587.33 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 80681 0 0 0 358717 16 0 0 20 0 1 0 56678892 391995392 83068 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 95702 83068 2944 2575 0 92609 0
Current children cumulated CPU time: 3587.33 s
Current children cumulated vsize: 382808 KiB
Current children cumulated memory: 332272 KiB
[startup+3597 s]*
/proc/loadavg: 4.09 4.11 4.09 5/265 64235
/proc/meminfo: memFree=120169200/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=383316 memory=332784 CPUtime=3587.53 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 80824 0 0 0 358737 16 0 0 20 0 1 0 56678892 392515584 83196 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 95829 83196 2944 2575 0 92736 0
Current children cumulated CPU time: 3587.53 s
Current children cumulated vsize: 383316 KiB
Current children cumulated memory: 332784 KiB
[startup+3597.11 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 64235
/proc/meminfo: memFree=120169200/131249996 swapFree=33010684/33010684
[pid=63899] ppid=63896 vsize=383316 memory=332784 CPUtime=3587.63 cores=4,6
/proc/63899/stat : 63899 (pbsolver) R 63896 63899 62857 0 -1 4194304 80893 0 0 0 358747 16 0 0 20 0 1 0 56678892 392515584 83196 18446744073709551615 4198400 14743177 140730566340960 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 42389504 140730566343050 140730566343146 140730566343146 140730566348748 0
/proc/63899/statm: 95829 83196 2944 2575 0 92736 0
Current children cumulated CPU time: 3587.63 s
Current children cumulated vsize: 383316 KiB
Current children cumulated memory: 332784 KiB
Child status: 0
Real time (s): 3597.18
CPU time (s): 3587.71
CPU user time (s): 3587.54
CPU system time (s): 0.171812
CPU usage (%): 99.7369
Max. virtual memory (cumulated for all children) (KiB): 383316
Max. memory (cumulated for all children) (KiB): 332784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.54
system time used= 0.171812
maximum resident set size= 332784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80909
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= 30
involuntary context switches= 1009
# summary of solver processes directly reported to runsolver:
# pid: 63899
# total CPU time (s): 3587.71
# total CPU user time (s): 3587.54
# total CPU system time (s): 0.171812
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.98254 second user time and 16.0924 second system time
The end
Begin job on nodeC024 at 2025-07-02 00:46:50 IDJOB=4499683 IDBENCH=148788 IDSOLVER=3366 FILE ID=nodeC024/4499683-1751410010 RUNJOBID= nodeC024-1751406326-62868 SLURM_JOB_ID= 9598297 Free space on /tmp= 432928 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB09/OPT-LIN/featureSubscription/normalized-50-250-false-45-90-4-6000opt.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499683-1751410010/watcher-4499683-1751410010 -o /tmp/evaluation-result-4499683-1751410010/solver-4499683-1751410010 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751406326-62868 --watchdog 3760 pbsolver -f HOME/instance-4499683-1751410010.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c3694be7b858a71700b5bf3fbc64c46e RANDOM SEED=152832832 nodeC024 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.638 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.669 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.36 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 : 3598.716 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.36 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 : 3652.496 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.296 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.36 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.673 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.685 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.36 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 : 3594.694 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 122177416 kB MemAvailable: 128904028 kB Buffers: 3280 kB Cached: 7495436 kB SwapCached: 0 kB Active: 1179552 kB Inactive: 7238288 kB Active(anon): 937188 kB Inactive(anon): 0 kB Active(file): 242364 kB Inactive(file): 7238288 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 17004 kB Writeback: 4 kB AnonPages: 922164 kB Mapped: 138276 kB Shmem: 18064 kB KReclaimable: 170000 kB Slab: 260408 kB SReclaimable: 170000 kB SUnreclaim: 90408 kB KernelStack: 4272 kB PageTables: 4928 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1316788 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 587776 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: 195284 kB DirectMap2M: 6916096 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432904 MiB End job on nodeC024 at 2025-07-02 01:46:47