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 | -146 | 3587.04 | 3597.19 |
| Name | PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-4000opt.opb |
| MD5SUM | d87631fd3bb2f1e85f81d18642986b56 |
| 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 | -164 |
| Best CPU time to get the best result obtained on this benchmark | 0.827269 |
| 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 | 63250 |
| Number of constraints which are clauses | 63250 |
| 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 | 316 |
| 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 | 316 |
| 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-4499637-1751409944.opb>
0.09/0.10 c original problem has 2025 variables (2025 bin, 0 int, 0 cont) and 63250 constraints
0.09/0.10 c problem read in 0.105 seconds
0.09/0.19 o 0
0.09/0.19 c feasible solution found by trivial heuristic after 0.2 seconds, objective value 0.000000e+00
0.09/0.19 c presolving:
0.20/0.26 c (round 1, fast) 193 del vars, 193 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 977 clqs
0.29/0.34 c (0.3s) running MILP presolver
0.40/0.42 c (0.4s) MILP presolver (3 rounds): 0 aggregations, 6 fixings, 0 bound changes
0.40/0.42 c (round 2, medium) 199 del vars, 193 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 959 clqs
0.40/0.44 c (round 3, exhaustive) 199 del vars, 897 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1172 clqs
0.50/0.58 c (round 4, exhaustive) 199 del vars, 897 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 62353 upgd conss, 0 impls, 1172 clqs
0.78/0.80 c (0.8s) probing: 51/1826 (2.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.78/0.80 c (0.8s) probing aborted: 50/50 successive totally useless probings
0.78/0.80 c (0.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.78/0.86 c (0.9s) no symmetry present (symcode time: 0.01)
0.88/0.91 c presolving (5 rounds: 5 fast, 4 medium, 3 exhaustive):
0.88/0.91 c 199 deleted vars, 924 deleted constraints, 9 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.88/0.91 c 0 implications, 1172 cliques
0.88/0.91 c presolved problem has 1826 variables (1826 bin, 0 int, 0 cont) and 62335 constraints
0.88/0.91 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.88/0.91 c 1154 constraints of type <setppc>
0.88/0.91 c 9 constraints of type <and>
0.88/0.91 c 61172 constraints of type <logicor>
0.88/0.91 c transformed objective value is always integral (scale: 1)
0.88/0.91 c Presolving Time: 0.72
0.88/0.91 c
0.88/0.91 c - non default parameters ----------------------------------------------------------------------
0.88/0.91 c
0.88/0.91 c # SCIP version 10.0.0
0.88/0.91 c
0.88/0.91 c # maximal time in seconds to run
0.88/0.91 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.88/0.91 c limits/time = 3596.998448
0.88/0.91 c
0.88/0.91 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.88/0.91 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.88/0.91 c limits/memory = 27900
0.88/0.91 c
0.88/0.91 c # belongs reading time to solving time?
0.88/0.91 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.88/0.91 c timing/reading = TRUE
0.88/0.91 c
0.88/0.91 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.88/0.91 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.88/0.91 c reading/opbreader/maxintsize = 47
0.88/0.91 c
0.88/0.91 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.88/0.91 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.88/0.91 c propagating/genvbounds/timingmask = 0
0.88/0.91 c
0.88/0.91 c -----------------------------------------------------------------------------------------------
0.88/0.91 c
0.88/0.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.88/0.91 c t 0.9s| 1 | 0 | 0 | - | trivial| 0 |1826 | 62k| 0 | 0 | 0 | 0 | 0 |-3.010000e+02 | 0.000000e+00 | Inf | unknown
0.88/0.92 o -2
0.88/0.92 c t 0.9s| 1 | 0 | 0 | - | trivial| 0 |1826 | 62k| 0 | 0 | 0 | 0 | 0 |-3.010000e+02 |-2.000000e+00 | Large | unknown
0.99/1.06 o -98
0.99/1.06 c p 1.1s| 1 | 0 | 0 | - | clique| 0 |1826 | 62k| 62k| 0 | 0 | 0 | 0 |-3.010000e+02 |-9.800000e+01 | 207.14%| unknown
1.19/1.21 o -146
1.19/1.21 c p 1.2s| 1 | 0 | 0 | - | vbounds| 0 |1826 | 62k| 62k| 0 | 0 | 54 | 0 |-3.010000e+02 |-1.460000e+02 | 106.16%| unknown
700.24/702.37 c 702s| 1 | 0 |625869 | - | 183M | 0 |1826 | 62k| 62k| 0 | 0 | 65 | 0 |-2.342167e+02 |-1.460000e+02 | 60.42%| unknown
1088.23/1091.49 c 1091s| 1 | 0 |969977 | - | 200M | 0 |1826 | 62k| 62k| 15 | 1 | 75 | 0 |-2.160620e+02 |-1.460000e+02 | 47.99%| unknown
1369.15/1373.18 c 1373s| 1 | 0 | 1198k| - | 217M | 0 |1826 | 62k| 62k| 27 | 2 | 76 | 0 |-2.084357e+02 |-1.460000e+02 | 42.76%| unknown
1686.07/1690.96 c 1691s| 1 | 0 | 1468k| - | 230M | 0 |1826 | 62k| 62k| 37 | 3 | 77 | 0 |-2.064644e+02 |-1.460000e+02 | 41.41%| unknown
1889.20/1894.67 c 1895s| 1 | 0 | 1622k| - | 243M | 0 |1826 | 62k| 62k| 44 | 4 | 78 | 0 |-2.027975e+02 |-1.460000e+02 | 38.90%| unknown
2314.78/2321.42 c 2321s| 1 | 0 | 1940k| - | 257M | 0 |1826 | 62k| 62k| 49 | 5 | 88 | 0 |-2.014306e+02 |-1.460000e+02 | 37.97%| unknown
2402.02/2408.90 c 2409s| 1 | 0 | 1977k| - | 273M | 0 |1826 | 62k| 62k| 53 | 6 | 98 | 0 |-2.000329e+02 |-1.460000e+02 | 37.01%| unknown
2792.15/2800.11 c 2800s| 1 | 0 | 2274k| - | 291M | 0 |1826 | 62k| 62k| 58 | 7 | 99 | 0 |-1.989456e+02 |-1.460000e+02 | 36.26%| unknown
3146.37/3155.37 c 3155s| 1 | 0 | 2580k| - | 302M | 0 |1826 | 62k| 62k| 64 | 8 | 109 | 0 |-1.968525e+02 |-1.460000e+02 | 34.83%| unknown
3586.74/3597.00 c 3597s| 1 | 0 | 2927k| - | 315M | 0 |1826 | 62k| 62k| 69 | 9 | 110 | 0 |-1.968525e+02 |-1.460000e+02 | 34.83%| unknown
3586.74/3597.00 c (node 1) LP solver hit time limit in LP 11 -- using pseudo solution instead
3586.74/3597.00 c
3586.74/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.74/3597.00 c Solving Time (sec) : 3597.00
3586.74/3597.00 c Solving Nodes : 1
3586.74/3597.00 c Primal Bound : -1.46000000000000e+02 (5 solutions)
3586.74/3597.00 c Dual Bound : -1.96852459016393e+02
3586.74/3597.00 c Gap : 34.83 %
3586.85/3597.02 s SATISFIABLE
3586.85/3597.02 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
3586.85/3597.02 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 -x60
3586.85/3597.02 v 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 -x88 -x89
3586.85/3597.02 v -x90 x91 x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 x102 -x103 -x104 x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 x113 x114
3586.85/3597.02 v -x115 x116 x117 -x118 -x119 x120 -x121 -x122 -x123 x124 x125 -x126 -x127 x128 x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 x137
3586.85/3597.02 v -x138 -x139 -x140 -x141 -x142 x143 -x144 x145 -x146 -x147 -x148 x149 -x150 x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160
3586.85/3597.02 v -x161 -x162 x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 x177 x178 x179 -x180 -x181 -x182 -x183
3586.85/3597.02 v x184 x185 x186 x187 -x188 -x189 -x190 x191 x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206
3586.85/3597.02 v x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228
3586.85/3597.02 v x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
3586.85/3597.02 v -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272
3586.85/3597.02 v -x273 -x274 -x275 x276 x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 x292 -x293 -x294 -x295
3586.85/3597.02 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 x309 -x310 x311 -x312 x313 -x314 -x315 -x316 -x317
3586.85/3597.02 v x318 x319 -x320 x321 x322 -x323 -x324 -x325 x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340
3586.85/3597.02 v -x341 -x342 x343 -x344 -x345 x346 -x347 x348 -x349 x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363
3586.85/3597.02 v x364 -x365 x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 x382 -x383 x384 -x385 x386
3586.85/3597.02 v -x387 -x388 -x389 x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408
3586.85/3597.02 v -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 x430
3586.85/3597.02 v -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 x446 -x447 -x448 -x449 -x450 -x451 -x452
3586.85/3597.02 v x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474
3586.85/3597.02 v -x475 x476 x477 -x478 -x479 -x480 x481 -x482 -x483 x484 x485 x486 -x487 -x488 x489 -x490 x491 -x492 x493 -x494 -x495 x496 -x497
3586.85/3597.02 v x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 x518 -x519
3586.85/3597.02 v -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 x541
3586.85/3597.02 v x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 x560 -x561 x562 -x563 x564
3586.85/3597.02 v -x565 -x566 x567 -x568 -x569 -x570 x571 x572 -x573 -x574 -x575 -x576 -x577 x578 x579 -x580 x581 -x582 x583 x584 -x585 -x586 -x587
3586.85/3597.02 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 x598 -x599 x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609
3586.85/3597.02 v x610 x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631
3586.85/3597.02 v -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653
3586.85/3597.02 v -x654 -x655 -x656 -x657 -x658 x659 x660 x661 x662 x663 -x664 -x665 x666 x667 x668 x669 x670 -x671 -x672 -x673 -x674 x675 -x676 -x677
3586.85/3597.02 v -x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699
3586.85/3597.02 v -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721
3586.85/3597.02 v -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743
3586.85/3597.02 v x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 x763 -x764 -x765 -x766
3586.85/3597.02 v -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788
3586.85/3597.02 v -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
3586.85/3597.02 v -x811 -x812 x813 -x814 -x815 -x816 -x817 x818 -x819 x820 -x821 x822 -x823 -x824 -x825 -x826 x827 -x828 x829 -x830 -x831 -x832 -x833
3586.85/3597.02 v -x834 x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 -x846 x847 x848 -x849 -x850 -x851 -x852 x853 -x854 -x855 x856
3586.85/3597.02 v -x857 -x858 -x859 x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878
3586.85/3597.02 v x879 -x880 -x881 x882 -x883 -x884 -x885 x886 -x887 x888 -x889 x890 -x891 -x892 x893 -x894 x895 -x896 -x897 -x898 -x899 -x900 x901
3586.85/3597.02 v -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 x912 -x913 -x914 -x915 x916 -x917 x918 -x919 -x920 x921 -x922 -x923 x924
3586.85/3597.02 v x925 -x926 x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 x943 -x944 x945 -x946 -x947
3586.85/3597.02 v -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 x956 -x957 x958 x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969
3586.85/3597.02 v x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991
3586.85/3597.02 v x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 x1007 -x1008 -x1009 -x1010 x1011 -x1012
3586.85/3597.02 v x1013 -x1014 -x1015 -x1016 x1017 x1018 x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 x1026 -x1027 -x1028 -x1029 x1030 -x1031 -x1032
3586.85/3597.02 v -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051
3586.85/3597.02 v x1052 x1053 -x1054 -x1055 -x1056 x1057 x1058 -x1059 -x1060 -x1061 x1062 -x1063 x1064 -x1065 -x1066 -x1067 x1068 -x1069 -x1070 -x1071
3586.85/3597.02 v x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 x1081 -x1082 x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090
3586.85/3597.02 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 x1108 x1109
3586.85/3597.02 v -x1110 x1111 -x1112 x1113 -x1114 x1115 -x1116 -x1117 x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128
3586.85/3597.02 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 x1146 x1147
3586.85/3597.02 v x1148 -x1149 -x1150 -x1151 x1152 x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 x1161 -x1162 x1163 x1164 x1165 -x1166 -x1167
3586.85/3597.02 v x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186
3586.85/3597.02 v -x1187 -x1188 -x1189 x1190 -x1191 x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205
3586.85/3597.02 v -x1206 x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224
3586.85/3597.02 v -x1225 x1226 -x1227 x1228 -x1229 -x1230 x1231 -x1232 -x1233 x1234 -x1235 -x1236 x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244
3586.85/3597.02 v x1245 -x1246 x1247 -x1248 -x1249 -x1250 x1251 x1252 -x1253 x1254 -x1255 -x1256 -x1257 x1258 -x1259 x1260 -x1261 x1262 -x1263 -x1264
3586.85/3597.02 v -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 x1280 -x1281 -x1282 -x1283
3586.85/3597.02 v -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 x1294 -x1295 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 -x1302
3586.85/3597.02 v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 x1311 -x1312 x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321
3586.85/3597.02 v -x1322 -x1323 -x1324 x1325 -x1326 x1327 -x1328 -x1329 -x1330 -x1331 x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340
3586.85/3597.02 v -x1341 -x1342 x1343 -x1344 x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359
3586.85/3597.02 v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368 -x1369 -x1370 -x1371 -x1372 x1373 -x1374 -x1375 x1376 -x1377 -x1378
3586.85/3597.02 v -x1379 -x1380 x1381 x1382 -x1383 -x1384 -x1385 -x1386 x1387 -x1388 x1389 -x1390 x1391 -x1392 -x1393 x1394 -x1395 x1396 -x1397 x1398
3586.85/3597.02 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 x1416 -x1417
3586.85/3597.02 v -x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 x1435 -x1436
3586.85/3597.02 v -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447 x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455
3586.85/3597.02 v -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474
3586.85/3597.02 v -x1475 -x1476 -x1477 -x1478 -x1479 x1480 -x1481 -x1482 -x1483 x1484 x1485 -x1486 -x1487 x1488 -x1489 -x1490 -x1491 -x1492 x1493
3586.85/3597.02 v x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512
3586.85/3597.02 v -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531
3586.85/3597.02 v -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 x1549 -x1550
3586.85/3597.02 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 x1558 x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 x1569
3586.85/3597.02 v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588
3586.85/3597.02 v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607
3586.85/3597.02 v x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626
3586.85/3597.02 v x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 x1645
3586.85/3597.02 v -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 x1652 -x1653 -x1654 x1655 x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664
3586.85/3597.02 v -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 x1679 -x1680 -x1681 x1682 x1683
3586.85/3597.02 v -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 x1700 -x1701 x1702
3586.85/3597.02 v x1703 -x1704 -x1705 -x1706 -x1707 x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1721
3586.85/3597.02 v -x1722 -x1723 -x1724 -x1725 x1726 -x1727 x1728 -x1729 -x1730 x1731 -x1732 x1733 -x1734 x1735 -x1736 x1737 -x1738 x1739 x1740 -x1741
3586.85/3597.02 v -x1742 -x1743 -x1744 -x1745 x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 x1758 x1759 -x1760
3586.85/3597.02 v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 x1776 -x1777 -x1778 -x1779
3586.85/3597.02 v x1780 -x1781 -x1782 -x1783 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 x1794 -x1795 -x1796 -x1797 -x1798
3586.85/3597.02 v x1799 x1800 -x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 x1808 x1809 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 -x1818
3586.85/3597.02 v -x1819 -x1820 -x1821 -x1822 x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837
3586.85/3597.02 v -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 x1849 -x1850 x1851 -x1852 x1853 -x1854 -x1855 -x1856
3586.85/3597.02 v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875
3586.85/3597.02 v -x1876 -x1877 x1878 x1879 x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 x1889 x1890 -x1891 -x1892 -x1893 -x1894
3586.85/3597.02 v -x1895 -x1896 -x1897 -x1898 x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913
3586.85/3597.02 v -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 x1926 x1927 -x1928 x1929 -x1930 -x1931 -x1932
3586.85/3597.02 v -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951
3586.85/3597.02 v -x1952 -x1953 x1954 -x1955 -x1956 -x1957 -x1958 -x1959 x1960 -x1961 -x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970
3586.85/3597.02 v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 -x1981 -x1982 x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989
3586.85/3597.02 v -x1990 -x1991 x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008
3586.85/3597.02 v -x2009 x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 x2022 -x2023 -x2024 x2025
3586.85/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3586.85/3597.02 c Total Time : 3597.00
3586.85/3597.02 c solving : 3597.00
3586.85/3597.02 c presolving : 0.72 (included in solving)
3586.85/3597.02 c reading : 0.10 (included in solving)
3586.85/3597.02 c copying : 0.00 (0 times copied the problem)
3586.85/3597.02 c Original Problem :
3586.85/3597.02 c Problem name : HOME/instance-4499637-1751409944.opb
3586.85/3597.02 c Variables : 2025 (2025 binary, 0 integer, 0 continuous)
3586.85/3597.02 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.85/3597.02 c Constraints : 63250 initial, 63250 maximal
3586.85/3597.02 c Objective : minimize, 135 non-zeros (abs.min = 1, abs.max = 4)
3586.85/3597.02 c Presolved Problem :
3586.85/3597.02 c Problem name : t_HOME/instance-4499637-1751409944.opb
3586.85/3597.02 c Variables : 1826 (1826 binary, 0 integer, 0 continuous)
3586.85/3597.02 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.85/3597.02 c Constraints : 62335 initial, 62441 maximal
3586.85/3597.02 c Objective : minimize, 129 non-zeros (abs.min = 1, abs.max = 4)
3586.85/3597.02 c Nonzeros : 185851 constraint, 2354 clique table
3586.85/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.85/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c gateextraction : 0.04 0.00 1 0 0 0 0 0 27 9 0 0
3586.85/3597.02 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c milp : 0.15 0.00 1 6 0 0 0 0 0 0 0 0
3586.85/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c symmetry : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c setppc : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c and : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c linear : 0.21 0.02 6 0 193 0 0 0 897 0 0 0
3586.85/3597.02 c logicor : 0.15 0.03 3 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c root node : - - - 0 - - 0 - - - - -
3586.85/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.85/3597.02 c integral : 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0
3586.85/3597.02 c knapsack : 0+ 1 0 1162 0 0 0 0 30 4 0 0 0 0 0
3586.85/3597.02 c setppc : 1154+ 1159 9 3714 0 0 0 5 738 3 0 5 0 0 0
3586.85/3597.02 c and : 9 9 9 3296 0 0 0 4 77 4 0 17 0 0 0
3586.85/3597.02 c logicor : 61172+ 61272 9 3703 0 0 0 4 441 46 0 38 15 0 0
3586.85/3597.02 c fixedvar : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
3586.85/3597.02 c countsols : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
3586.85/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.85/3597.02 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.85/3597.02 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.85/3597.02 c setppc : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3586.85/3597.02 c and : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.85/3597.02 c logicor : 0.30 0.03 0.12 0.14 0.00 0.00 0.00 0.01 0.00 0.00
3586.85/3597.02 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.85/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.85/3597.02 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.85/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.85/3597.02 c dualfix : 2 0 0 0
3586.85/3597.02 c genvbounds : 0 0 0 0
3586.85/3597.02 c nlobbt : 0 0 0 0
3586.85/3597.02 c obbt : 0 0 0 0
3586.85/3597.02 c probing : 0 0 0 0
3586.85/3597.02 c pseudoobj : 11 0 0 0
3586.85/3597.02 c redcost : 9 0 0 0
3586.85/3597.02 c rootredcost : 0 0 0 0
3586.85/3597.02 c symmetry : 0 0 0 0
3586.85/3597.02 c vbounds : 1068 0 0 0
3586.85/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.85/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.85/3597.02 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.85/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.85/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.85/3597.02 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
3586.85/3597.02 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3586.85/3597.02 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.85/3597.02 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.85/3597.02 c symmetry : 0.06 0.00 0.06 0.00 0.00 0.00
3586.85/3597.02 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.85/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.85/3597.02 c propagation : 0.00 51 51 - 370 55.4 6 4.2 - - -
3586.85/3597.02 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.85/3597.02 c bound exceed. LP : 0.00 1 1 - 0 0.0 0 0.0 1 129.0 10
3586.85/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.85/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.85/3597.02 c applied globally : 0.00 - - 0 109 24.3 - - 1 - -
3586.85/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.85/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.85/3597.02 c cut pool : 0.01 - 17 17 - - 1853 1890 - - - - - (maximal pool size: 1853)
3586.85/3597.02 c aggregation : 0.12 0.00 9 9 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.85/3597.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.85/3597.02 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.85/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c clique : 0.08 0.00 9 9 0 0 3 5 0 2 2 0 0
3586.85/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c gomory : 1.37 0.00 9 9 0 0 1806 1833 0 14 14 0 0
3586.85/3597.02 c > gomorymi : - - - - - - - 754 0 2 2 0 -
3586.85/3597.02 c > strongcg : - - - - - - - 1079 0 12 12 0 -
3586.85/3597.02 c impliedbounds : 0.00 0.00 9 9 0 0 16 22 0 12 12 0 0
3586.85/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c mcf : 0.02 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c multilinear : 0.00 0.00 9 9 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c rlt : 0.00 0.00 9 9 0 0 0 0 0 0 0 0 0
3586.85/3597.02 c zerohalf : 0.36 0.00 9 9 0 0 28 30 0 26 26 0 0
3586.85/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.85/3597.02 c hybrid : 0.02 0.00 9 9 69 0 1881 69 0 1881
3586.85/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.85/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.85/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3586.85/3597.02 c problem variables: 0.00 - 0 0
3586.85/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.85/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.85/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.85/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.85/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.85/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.85/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.85/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.85/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.85/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.85/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.85/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.85/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.85/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.85/3597.02 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.85/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.85/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.85/3597.02 c LP solutions : 0.00 - - 0 0
3586.85/3597.02 c relax solutions : 0.00 - - 0 0
3586.85/3597.02 c pseudo solutions : 0.00 - - 0 0
3586.85/3597.02 c strong branching : 0.00 - - 0 0
3586.85/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3586.85/3597.02 c adaptivediving : 0.00 0.00 0 0 0
3586.85/3597.02 c alns : 0.00 0.00 0 0 0
3586.85/3597.02 c bound : 0.00 0.00 0 0 0
3586.85/3597.02 c clique : 0.15 0.00 1 1 1
3586.85/3597.02 c coefdiving : 0.00 0.00 0 0 0
3586.85/3597.02 c completesol : 0.00 0.00 0 0 0
3586.85/3597.02 c conflictdiving : 0.00 0.00 0 0 0
3586.85/3597.02 c crossover : 0.00 0.00 0 0 0
3586.85/3597.02 c dins : 0.00 0.00 0 0 0
3586.85/3597.02 c distributiondivin: 0.00 0.00 0 0 0
3586.85/3597.02 c dks : 0.00 0.00 0 0 0
3586.85/3597.02 c dps : 0.00 0.00 0 0 0
3586.85/3597.02 c dualval : 0.00 0.00 0 0 0
3586.85/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3586.85/3597.02 c feaspump : 0.00 0.00 0 0 0
3586.85/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3586.85/3597.02 c fracdiving : 0.00 0.00 0 0 0
3586.85/3597.02 c gins : 0.00 0.00 0 0 0
3586.85/3597.02 c guideddiving : 0.00 0.00 0 0 0
3586.85/3597.02 c indicator : 0.00 0.00 0 0 0
3586.85/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3586.85/3597.02 c intdiving : 0.00 0.00 0 0 0
3586.85/3597.02 c intshifting : 0.00 0.00 0 0 0
3586.85/3597.02 c linesearchdiving : 0.00 0.00 0 0 0
3586.85/3597.02 c localbranching : 0.00 0.00 0 0 0
3586.85/3597.02 c locks : 0.06 0.00 1 0 0
3586.85/3597.02 c lpface : 0.00 0.00 0 0 0
3586.85/3597.02 c mpec : 0.00 0.00 0 0 0
3586.85/3597.02 c multistart : 0.00 0.00 0 0 0
3586.85/3597.02 c mutation : 0.00 0.00 0 0 0
3586.85/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3586.85/3597.02 c objpscostdiving : 0.00 0.00 0 0 0
3586.85/3597.02 c octane : 0.00 0.00 0 0 0
3586.85/3597.02 c ofins : 0.00 0.00 0 0 0
3586.85/3597.02 c oneopt : 0.01 0.00 1 0 0
3586.85/3597.02 c padm : 0.00 0.00 0 0 0
3586.85/3597.02 c proximity : 0.00 0.00 0 0 0
3586.85/3597.02 c pscostdiving : 0.00 0.00 0 0 0
3586.85/3597.02 c randrounding : 0.09 0.00 9 0 0
3586.85/3597.02 c rens : 0.00 0.00 0 0 0
3586.85/3597.02 c reoptsols : 0.00 0.00 0 0 0
3586.85/3597.02 c repair : 0.00 0.00 0 0 0
3586.85/3597.02 c rins : 0.00 0.00 0 0 0
3586.85/3597.02 c rootsoldiving : 0.00 0.00 0 0 0
3586.85/3597.02 c rounding : 0.03 0.00 9 0 0
3586.85/3597.02 c scheduler : 0.00 0.00 0 0 0
3586.85/3597.02 c shiftandpropagate: 0.00 0.00 0 0 0
3586.85/3597.02 c shifting : 0.08 0.00 9 0 0
3586.85/3597.02 c simplerounding : 0.00 0.00 9 0 0
3586.85/3597.02 c subnlp : 0.00 0.00 0 0 0
3586.85/3597.02 c trivial : 0.02 0.00 2 3 2
3586.85/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3586.85/3597.02 c trustregion : 0.00 0.00 0 0 0
3586.85/3597.02 c trysol : 0.00 0.00 0 0 0
3586.85/3597.02 c twoopt : 0.00 0.00 0 0 0
3586.85/3597.02 c undercover : 0.00 0.00 1 0 0
3586.85/3597.02 c vbounds : 0.11 0.00 1 1 1
3586.85/3597.02 c veclendiving : 0.00 0.00 0 0 0
3586.85/3597.02 c zeroobj : 0.00 0.00 0 0 0
3586.85/3597.02 c zirounding : 0.00 0.00 0 0 0
3586.85/3597.02 c other solutions : - - - 0 -
3586.85/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
3586.85/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
3586.85/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
3586.85/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
3586.85/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
3586.85/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
3586.85/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
3586.85/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
3586.85/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
3586.85/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
3586.85/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.85/3597.02 c primal LP : 0.00 0 0 0.00 - 0.00 0
3586.85/3597.02 c dual LP : 3593.43 12 2927901 266172.82 814.79 0.00 1
3586.85/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3586.85/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.85/3597.02 c resolve instable : 0.00 0 0 0.00 -
3586.85/3597.02 c diving/probing LP: 0.03 0 0 0.00 0.00
3586.85/3597.02 c strong branching : 0.00 0 0 0.00 - - - 0
3586.85/3597.02 c (at root node) : - 0 0 0.00 -
3586.85/3597.02 c conflict analysis: 0.00 1 10 10.00 -
3586.85/3597.02 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.85/3597.02 c benders : 0.00 0 0 0 0.00 0 0 0
3586.85/3597.02 c B&B Tree :
3586.85/3597.02 c number of runs : 1
3586.85/3597.02 c nodes : 1 (0 internal, 1 leaves)
3586.85/3597.02 c feasible leaves : 0
3586.85/3597.02 c infeas. leaves : 0
3586.85/3597.02 c objective leaves : 0
3586.85/3597.02 c nodes (total) : 1 (0 internal, 1 leaves)
3586.85/3597.02 c nodes left : 1
3586.85/3597.02 c max depth : 0
3586.85/3597.02 c max depth (total): 0
3586.85/3597.02 c backtracks : 0 (0.0%)
3586.85/3597.02 c early backtracks : 0 (0.0%)
3586.85/3597.02 c nodes exc. ref. : 0 (0.0%)
3586.85/3597.02 c delayed cutoffs : 0
3586.85/3597.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3586.85/3597.02 c avg switch length: 1.00
3586.85/3597.02 c switching time : 0.00
3586.85/3597.02 c Root Node :
3586.85/3597.02 c First LP value : -2.34216715193224e+02
3586.85/3597.02 c First LP Iters : 625869 (892.66 Iter/sec)
3586.85/3597.02 c First LP Time : 701.13
3586.85/3597.02 c Final Dual Bound : -1.96852459016393e+02
3586.85/3597.02 c Final Root Iters : 2927901
3586.85/3597.02 c Root LP Estimate : -
3586.85/3597.02 c Solution :
3586.85/3597.02 c Solutions found : 5 (4 improvements)
3586.85/3597.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.18 seconds, depth 0, found by <trivial>)
3586.85/3597.02 c Gap First Sol. : infinite
3586.85/3597.02 c Gap Last Sol. : 106.16 %
3586.85/3597.02 c Primal Bound : -1.46000000000000e+02 (in run 1, after 1 nodes, 1.21 seconds, depth 295, found by <vbounds>)
3586.85/3597.02 c Dual Bound : -1.96852459016393e+02
3586.85/3597.02 c Gap : 34.83 %
3586.85/3597.02 c Integrals : Total Avg%
3586.85/3597.02 c primal-dual : 121287.21 33.72
3586.85/3597.02 c primal-ref : - - (not evaluated)
3586.85/3597.02 c dual-ref : - - (not evaluated)
3586.94/3597.18 c Time complete (sec): 3587.037
OK -146
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 (62582 MiB free)
memory of node 1: 64507 MiB (56673 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499637-1751409944/watcher-4499637-1751409944 -o /tmp/evaluation-result-4499637-1751409944/solver-4499637-1751409944 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751406326-62867 --watchdog 3760 pbsolver -f HOME/instance-4499637-1751409944.opb -t 3600 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=63852, runsolver pid=63849
[startup+0.10006 s]*
/proc/loadavg: 4.13 4.11 4.09 5/265 63853
/proc/meminfo: memFree=122069668/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=55508 memory=44544 CPUtime=0.09 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 9183 0 0 0 8 1 0 0 20 0 1 0 56672354 56840192 11136 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 13877 11136 2176 2575 0 10784 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55508 KiB
Current children cumulated memory: 44544 KiB
[startup+0.205483 s]*
/proc/loadavg: 4.13 4.11 4.09 5/265 63853
/proc/meminfo: memFree=122021536/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=110640 memory=100092 CPUtime=0.2 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 23246 0 0 0 17 3 0 0 20 0 1 0 56672354 113295360 25023 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 27660 25023 2400 2575 0 24567 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 110640 KiB
Current children cumulated memory: 100092 KiB
[startup+0.305516 s]*
/proc/loadavg: 4.13 4.11 4.09 5/265 63853
/proc/meminfo: memFree=122005408/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=130560 memory=116980 CPUtime=0.29 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 26929 0 0 0 25 4 0 0 20 0 1 0 56672354 133693440 29245 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 32640 29245 2432 2575 0 29547 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 130560 KiB
Current children cumulated memory: 116980 KiB
[startup+0.70018 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 63853
/proc/meminfo: memFree=121981216/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=141604 memory=130832 CPUtime=0.68 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 38778 0 0 0 61 7 0 0 20 0 1 0 56672354 145002496 32708 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 35401 32708 2496 2575 0 32308 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 141604 KiB
Current children cumulated memory: 130832 KiB
[startup+1.50016 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 63853
/proc/meminfo: memFree=121925020/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=231572 memory=218752 CPUtime=1.48 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 60225 0 0 0 137 11 0 0 20 0 1 0 56672354 237129728 54688 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 57893 54688 2688 2575 0 54800 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 231572 KiB
Current children cumulated memory: 218752 KiB
[startup+3.10531 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 63853
/proc/meminfo: memFree=121909144/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=231572 memory=219264 CPUtime=3.08 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 60347 0 0 0 297 11 0 0 20 0 1 0 56672354 237129728 54816 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 57893 54816 2688 2575 0 54800 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 231572 KiB
Current children cumulated memory: 219264 KiB
[startup+6.30016 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 63853
/proc/meminfo: memFree=121909152/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=232704 memory=220032 CPUtime=6.27 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 60529 0 0 0 616 11 0 0 20 0 1 0 56672354 238288896 55008 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 58176 55008 2688 2575 0 55083 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 232704 KiB
Current children cumulated memory: 220032 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 63853
/proc/meminfo: memFree=121909404/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=233680 memory=221056 CPUtime=12.65 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 60786 0 0 0 1254 11 0 0 20 0 1 0 56672354 239288320 55264 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 58420 55264 2688 2575 0 55327 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 233680 KiB
Current children cumulated memory: 221056 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 63854
/proc/meminfo: memFree=121909908/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=233680 memory=221056 CPUtime=25.42 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 60787 0 0 0 2531 11 0 0 20 0 1 0 56672354 239288320 55264 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 58420 55264 2688 2575 0 55327 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 233680 KiB
Current children cumulated memory: 221056 KiB
[startup+51.1054 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 63854
/proc/meminfo: memFree=121902632/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=233680 memory=221056 CPUtime=50.95 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 60787 0 0 0 5084 11 0 0 20 0 1 0 56672354 239288320 55264 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 58420 55264 2688 2575 0 55327 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 233680 KiB
Current children cumulated memory: 221056 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/264 63901
/proc/meminfo: memFree=121976592/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=233680 memory=221056 CPUtime=101.99 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 60789 0 0 0 10188 11 0 0 20 0 1 0 56672354 239288320 55264 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 58420 55264 2688 2575 0 55327 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 233680 KiB
Current children cumulated memory: 221056 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 63904
/proc/meminfo: memFree=121937332/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=233680 memory=221056 CPUtime=161.8 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 60790 0 0 0 16169 11 0 0 20 0 1 0 56672354 239288320 55264 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 58420 55264 2688 2575 0 55327 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 233680 KiB
Current children cumulated memory: 221056 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 63907
/proc/meminfo: memFree=121914364/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=233680 memory=222976 CPUtime=221.61 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 60795 0 0 0 22150 11 0 0 20 0 1 0 56672354 239288320 55744 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 58420 55744 2688 2575 0 55327 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 233680 KiB
Current children cumulated memory: 222976 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 63954
/proc/meminfo: memFree=122053864/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=233680 memory=226176 CPUtime=281.42 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 60811 0 0 0 28130 12 0 0 20 0 1 0 56672354 239288320 56544 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 58420 56544 2688 2575 0 55327 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 233680 KiB
Current children cumulated memory: 226176 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 63957
/proc/meminfo: memFree=121985956/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=233680 memory=226176 CPUtime=341.25 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 60838 0 0 0 34113 12 0 0 20 0 1 0 56672354 239288320 56544 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 58420 56544 2688 2575 0 55327 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 233680 KiB
Current children cumulated memory: 226176 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 63967
/proc/meminfo: memFree=121984556/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=234168 memory=226688 CPUtime=401.07 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 60967 0 0 0 40095 12 0 0 20 0 1 0 56672354 239788032 56672 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 58542 56672 2688 2575 0 55449 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 234168 KiB
Current children cumulated memory: 226688 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 63969
/proc/meminfo: memFree=121949792/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=234168 memory=226688 CPUtime=460.91 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 60994 0 0 0 46079 12 0 0 20 0 1 0 56672354 239788032 56672 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 58542 56672 2688 2575 0 55449 0
Current children cumulated CPU time: 460.91 s
################
# More data... #
################
/proc/loadavg: 4.10 4.11 4.09 5/264 64167
/proc/meminfo: memFree=120558504/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=375920 memory=328068 CPUtime=3213.18 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 80785 0 0 0 321299 19 0 0 20 0 1 0 56672354 384942080 82017 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 93980 82017 2944 2575 0 90887 0
Current children cumulated CPU time: 3213.18 s
Current children cumulated vsize: 375920 KiB
Current children cumulated memory: 328068 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 64169
/proc/meminfo: memFree=120280704/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=375920 memory=328068 CPUtime=3273.01 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 80785 0 0 0 327282 19 0 0 20 0 1 0 56672354 384942080 82017 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 93980 82017 2944 2575 0 90887 0
Current children cumulated CPU time: 3273.01 s
Current children cumulated vsize: 375920 KiB
Current children cumulated memory: 328068 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 64171
/proc/meminfo: memFree=120257064/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=375920 memory=328068 CPUtime=3332.85 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 80785 0 0 0 333266 19 0 0 20 0 1 0 56672354 384942080 82017 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 93980 82017 2944 2575 0 90887 0
Current children cumulated CPU time: 3332.85 s
Current children cumulated vsize: 375920 KiB
Current children cumulated memory: 328068 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 64181
/proc/meminfo: memFree=120255236/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=375920 memory=328068 CPUtime=3392.69 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 80827 0 0 0 339249 20 0 0 20 0 1 0 56672354 384942080 82017 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 93980 82017 2944 2575 0 90887 0
Current children cumulated CPU time: 3392.69 s
Current children cumulated vsize: 375920 KiB
Current children cumulated memory: 328068 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/266 64184
/proc/meminfo: memFree=120255036/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=375920 memory=328068 CPUtime=3452.52 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 80827 0 0 0 345232 20 0 0 20 0 1 0 56672354 384942080 82017 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 93980 82017 2944 2575 0 90887 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 375920 KiB
Current children cumulated memory: 328068 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/266 64185
/proc/meminfo: memFree=120251116/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=375920 memory=328068 CPUtime=3512.35 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 80827 0 0 0 351215 20 0 0 20 0 1 0 56672354 384942080 82017 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 93980 82017 2944 2575 0 90887 0
Current children cumulated CPU time: 3512.35 s
Current children cumulated vsize: 375920 KiB
Current children cumulated memory: 328068 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/265 64187
/proc/meminfo: memFree=120251008/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=375920 memory=328068 CPUtime=3572.18 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 80828 0 0 0 357198 20 0 0 20 0 1 0 56672354 384942080 82017 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 93980 82017 2944 2575 0 90887 0
Current children cumulated CPU time: 3572.18 s
Current children cumulated vsize: 375920 KiB
Current children cumulated memory: 328068 KiB
[startup+3597.19 s]
# the end of solver process 63852 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.83 s, system=0.213129 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.13 4.10 5/265 64187
/proc/meminfo: memFree=120251008/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=375920 memory=328068 CPUtime=3573.88 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 80828 0 0 0 357368 20 0 0 20 0 1 0 56672354 384942080 82017 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 93980 82017 2944 2575 0 90887 0
Current children cumulated CPU time: 3573.88 s
Current children cumulated vsize: 375920 KiB
Current children cumulated memory: 328068 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.13 4.09 5/265 64188
/proc/meminfo: memFree=120251040/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=375920 memory=328068 CPUtime=3580.26 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 80828 0 0 0 358006 20 0 0 20 0 1 0 56672354 384942080 82017 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 93980 82017 2944 2575 0 90887 0
Current children cumulated CPU time: 3580.26 s
Current children cumulated vsize: 375920 KiB
Current children cumulated memory: 328068 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 64188
/proc/meminfo: memFree=120251040/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=375920 memory=328068 CPUtime=3583.45 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 80828 0 0 0 358325 20 0 0 20 0 1 0 56672354 384942080 82017 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 93980 82017 2944 2575 0 90887 0
Current children cumulated CPU time: 3583.45 s
Current children cumulated vsize: 375920 KiB
Current children cumulated memory: 328068 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 64188
/proc/meminfo: memFree=120251040/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=375920 memory=328068 CPUtime=3585.05 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 80828 0 0 0 358485 20 0 0 20 0 1 0 56672354 384942080 82017 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 93980 82017 2944 2575 0 90887 0
Current children cumulated CPU time: 3585.05 s
Current children cumulated vsize: 375920 KiB
Current children cumulated memory: 328068 KiB
[startup+3596 s]*
/proc/loadavg: 4.13 4.12 4.09 5/265 64188
/proc/meminfo: memFree=120251040/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=375920 memory=328068 CPUtime=3585.85 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 80828 0 0 0 358565 20 0 0 20 0 1 0 56672354 384942080 82017 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 93980 82017 2944 2575 0 90887 0
Current children cumulated CPU time: 3585.85 s
Current children cumulated vsize: 375920 KiB
Current children cumulated memory: 328068 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 64188
/proc/meminfo: memFree=120251040/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=375920 memory=328068 CPUtime=3586.64 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 80828 0 0 0 358644 20 0 0 20 0 1 0 56672354 384942080 82017 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 93980 82017 2944 2575 0 90887 0
Current children cumulated CPU time: 3586.64 s
Current children cumulated vsize: 375920 KiB
Current children cumulated memory: 328068 KiB
[startup+3597 s]*
/proc/loadavg: 4.13 4.12 4.09 5/265 64188
/proc/meminfo: memFree=120251040/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=376136 memory=328324 CPUtime=3586.85 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 80905 0 0 0 358665 20 0 0 20 0 1 0 56672354 385163264 82081 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 94034 82081 2944 2575 0 90941 0
Current children cumulated CPU time: 3586.85 s
Current children cumulated vsize: 376136 KiB
Current children cumulated memory: 328324 KiB
[startup+3597.11 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 64188
/proc/meminfo: memFree=120251040/131249996 swapFree=33010684/33010684
[pid=63852] ppid=63849 vsize=376136 memory=328324 CPUtime=3586.94 cores=0,2
/proc/63852/stat : 63852 (pbsolver) R 63849 63852 62857 0 -1 4194304 80963 0 0 0 358674 20 0 0 20 0 1 0 56672354 385163264 82081 18446744073709551615 4198400 14743177 140728735892960 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 52117504 140728735897994 140728735898090 140728735898090 140728735903692 0
/proc/63852/statm: 94034 82081 2944 2575 0 90941 0
Current children cumulated CPU time: 3586.94 s
Current children cumulated vsize: 376136 KiB
Current children cumulated memory: 328324 KiB
Child status: 0
Real time (s): 3597.19
CPU time (s): 3587.04
CPU user time (s): 3586.83
CPU system time (s): 0.213129
CPU usage (%): 99.7179
Max. virtual memory (cumulated for all children) (KiB): 376136
Max. memory (cumulated for all children) (KiB): 328324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.83
system time used= 0.213129
maximum resident set size= 328324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80973
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= 25
involuntary context switches= 8062
# summary of solver processes directly reported to runsolver:
# pid: 63852
# total CPU time (s): 3587.04
# total CPU user time (s): 3586.83
# total CPU system time (s): 0.213129
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8016 second user time and 15.7294 second system time
The end
Begin job on nodeC024 at 2025-07-02 00:45:45 IDJOB=4499637 IDBENCH=148787 IDSOLVER=3366 FILE ID=nodeC024/4499637-1751409944 RUNJOBID= nodeC024-1751406326-62867 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-4000opt.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499637-1751409944/watcher-4499637-1751409944 -o /tmp/evaluation-result-4499637-1751409944/solver-4499637-1751409944 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751406326-62867 --watchdog 3760 pbsolver -f HOME/instance-4499637-1751409944.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d87631fd3bb2f1e85f81d18642986b56 RANDOM SEED=1980402445 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 : 3613.172 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.674 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 : 3599.658 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 : 3597.593 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 : 3599.669 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.664 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.689 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 : 3595.186 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: 122117800 kB MemAvailable: 128842732 kB Buffers: 3280 kB Cached: 7493756 kB SwapCached: 0 kB Active: 1200464 kB Inactive: 7236608 kB Active(anon): 958100 kB Inactive(anon): 0 kB Active(file): 242364 kB Inactive(file): 7236608 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 17044 kB Writeback: 4 kB AnonPages: 943108 kB Mapped: 139524 kB Shmem: 18064 kB KReclaimable: 169996 kB Slab: 260412 kB SReclaimable: 169996 kB SUnreclaim: 90416 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: 1331980 kB VmallocTotal: 34359738367 kB VmallocUsed: 150568 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 819200 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= 432908 MiB End job on nodeC024 at 2025-07-02 01:45:42