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 | -140 | 3587.08 | 3597.17 |
| Name | PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-2000opt.opb |
| MD5SUM | 244d2960852ad966f69f423720fc1906 |
| 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 | -167 |
| Best CPU time to get the best result obtained on this benchmark | 1.22232 |
| 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 | 61821 |
| Number of constraints which are clauses | 61821 |
| 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 | 326 |
| 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 | 326 |
| 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-4499591-1751408823.opb>
0.09/0.10 c original problem has 2025 variables (2025 bin, 0 int, 0 cont) and 61821 constraints
0.09/0.10 c problem read in 0.106 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) 206 del vars, 206 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 964 clqs
0.30/0.35 c (0.3s) running MILP presolver
0.40/0.42 c (0.4s) MILP presolver (3 rounds): 0 aggregations, 7 fixings, 0 bound changes
0.40/0.42 c (round 2, medium) 213 del vars, 206 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 943 clqs
0.40/0.44 c (round 3, exhaustive) 213 del vars, 1001 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1201 clqs
0.50/0.58 c (round 4, exhaustive) 213 del vars, 1001 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 60820 upgd conss, 0 impls, 1201 clqs
0.59/0.67 c (round 5, exhaustive) 213 del vars, 1040 del conss, 13 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 60820 upgd conss, 0 impls, 1201 clqs
0.78/0.86 c (0.9s) probing: 51/1812 (2.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.78/0.86 c (0.9s) probing aborted: 50/50 successive totally useless probings
0.78/0.86 c (0.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.88/0.92 c (0.9s) no symmetry present (symcode time: 0.02)
0.88/0.97 c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
0.88/0.97 c 213 deleted vars, 1040 deleted constraints, 13 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.88/0.97 c 0 implications, 1201 cliques
0.88/0.97 c presolved problem has 1812 variables (1812 bin, 0 int, 0 cont) and 60794 constraints
0.88/0.97 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.88/0.97 c 1175 constraints of type <setppc>
0.88/0.97 c 13 constraints of type <and>
0.88/0.97 c 59606 constraints of type <logicor>
0.88/0.97 c transformed objective value is always integral (scale: 1)
0.88/0.97 c Presolving Time: 0.78
0.88/0.97 c
0.88/0.97 c - non default parameters ----------------------------------------------------------------------
0.88/0.97 c
0.88/0.97 c # SCIP version 10.0.0
0.88/0.97 c
0.88/0.97 c # maximal time in seconds to run
0.88/0.97 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.88/0.97 c limits/time = 3596.998009
0.88/0.97 c
0.88/0.97 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.88/0.97 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.88/0.97 c limits/memory = 27900
0.88/0.97 c
0.88/0.97 c # belongs reading time to solving time?
0.88/0.97 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.88/0.97 c timing/reading = TRUE
0.88/0.97 c
0.88/0.97 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.97 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.88/0.97 c reading/opbreader/maxintsize = 47
0.88/0.97 c
0.88/0.97 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.88/0.97 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.88/0.97 c propagating/genvbounds/timingmask = 0
0.88/0.97 c
0.88/0.97 c -----------------------------------------------------------------------------------------------
0.88/0.97 c
0.88/0.98 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.98 c t 1.0s| 1 | 0 | 0 | - | trivial| 0 |1812 | 60k| 0 | 0 | 0 | 0 | 0 |-3.070000e+02 | 0.000000e+00 | Inf | unknown
1.09/1.12 o -72
1.09/1.12 c p 1.1s| 1 | 0 | 0 | - | clique| 0 |1812 | 60k| 60k| 0 | 0 | 0 | 0 |-3.070000e+02 |-7.200000e+01 | 326.39%| unknown
1.19/1.27 o -132
1.19/1.27 c p 1.3s| 1 | 0 | 0 | - | vbounds| 0 |1812 | 60k| 60k| 0 | 0 | 37 | 0 |-3.070000e+02 |-1.320000e+02 | 132.58%| unknown
1.29/1.31 o -140
1.29/1.31 c p 1.3s| 1 | 0 | 0 | - | vbounds| 0 |1812 | 60k| 60k| 0 | 0 | 40 | 0 |-3.070000e+02 |-1.400000e+02 | 119.29%| unknown
97.40/97.71 c 97.7s| 1 | 0 | 49816 | - | 184M | 0 |1812 | 60k| 60k| 0 | 0 | 46 | 0 |-2.417236e+02 |-1.400000e+02 | 72.66%| unknown
182.56/183.15 c 183s| 1 | 0 | 91148 | - | 206M | 0 |1812 | 60k| 60k| 14 | 1 | 47 | 0 |-2.303509e+02 |-1.400000e+02 | 64.54%| unknown
422.91/424.13 c 424s| 1 | 0 |302509 | - | 221M | 0 |1812 | 60k| 60k| 29 | 2 | 48 | 0 |-2.176339e+02 |-1.400000e+02 | 55.45%| unknown
705.99/707.94 c 708s| 1 | 0 |562648 | - | 231M | 0 |1812 | 60k| 60k| 37 | 3 | 49 | 0 |-2.141228e+02 |-1.400000e+02 | 52.94%| unknown
1097.18/1100.15 c 1100s| 1 | 0 |896876 | - | 244M | 0 |1812 | 60k| 60k| 42 | 4 | 59 | 0 |-2.105714e+02 |-1.400000e+02 | 50.41%| unknown
1146.53/1149.62 c 1150s| 1 | 0 |922279 | - | 257M | 0 |1812 | 60k| 60k| 47 | 5 | 60 | 0 |-2.099362e+02 |-1.400000e+02 | 49.95%| unknown
1381.36/1385.15 c 1385s| 1 | 0 | 1130k| - | 278M | 0 |1812 | 60k| 60k| 49 | 6 | 61 | 0 |-2.090000e+02 |-1.400000e+02 | 49.29%| unknown
2001.17/2006.86 c 2007s| 1 | 0 | 1670k| - | 285M | 0 |1812 | 60k| 60k| 51 | 7 | 71 | 0 |-2.086786e+02 |-1.400000e+02 | 49.06%| unknown
2269.35/2275.81 c 2276s| 1 | 0 | 1909k| - | 299M | 0 |1812 | 60k| 60k| 55 | 8 | 72 | 0 |-2.080357e+02 |-1.400000e+02 | 48.60%| unknown
2479.02/2486.16 c 2486s| 1 | 0 | 2086k| - | 311M | 0 |1812 | 60k| 60k| 59 | 9 | 73 | 0 |-2.074262e+02 |-1.400000e+02 | 48.16%| unknown
2789.16/2797.21 c 2797s| 1 | 0 | 2329k| - | 323M | 0 |1812 | 60k| 60k| 63 | 10 | 75 | 0 |-2.063863e+02 |-1.400000e+02 | 47.42%| unknown
3093.64/3102.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3093.64/3102.55 c 3103s| 1 | 0 | 2611k| - | 328M | 0 |1812 | 60k| 60k| 67 | 11 | 77 | 0 |-2.054329e+02 |-1.400000e+02 | 46.74%| unknown
3094.14/3103.03 c 3103s| 1 | 0 | 2612k| - | 335M | 0 |1812 | 60k| 60k| 69 | 12 | 79 | 0 |-2.054329e+02 |-1.400000e+02 | 46.74%| unknown
3095.33/3104.26 c 3104s| 1 | 0 | 2614k| - | 341M | 0 |1812 | 60k| 60k| 71 | 13 | 89 | 0 |-2.054103e+02 |-1.400000e+02 | 46.72%| unknown
3096.14/3105.03 c 3105s| 1 | 0 | 2615k| - | 347M | 0 |1812 | 60k| 60k| 74 | 14 | 90 | 0 |-2.054077e+02 |-1.400000e+02 | 46.72%| unknown
3096.83/3105.74 c 3106s| 1 | 0 | 2616k| - | 352M | 0 |1812 | 60k| 60k| 76 | 15 | 100 | 0 |-2.054077e+02 |-1.400000e+02 | 46.72%| unknown
3097.23/3106.15 c 3106s| 1 | 0 | 2616k| - | 358M | 0 |1812 | 60k| 60k| 77 | 16 | 110 | 0 |-2.054077e+02 |-1.400000e+02 | 46.72%| unknown
3097.63/3106.54 c 3107s| 1 | 0 | 2617k| - | 364M | 0 |1812 | 60k| 60k| 79 | 17 | 113 | 0 |-2.054077e+02 |-1.400000e+02 | 46.72%| unknown
3136.14/3145.10 c 3145s| 1 | 0 | 2638k| - | 370M | 0 |1812 | 60k| 60k| 82 | 18 | 114 | 0 |-2.051132e+02 |-1.400000e+02 | 46.51%| unknown
3138.52/3147.54 c 3148s| 1 | 0 | 2641k| - | 376M | 0 |1812 | 60k| 60k| 87 | 19 | 115 | 0 |-2.050715e+02 |-1.400000e+02 | 46.48%| unknown
3139.72/3148.74 c 3149s| 1 | 0 | 2643k| - | 382M | 0 |1812 | 60k| 60k| 90 | 20 | 118 | 0 |-2.050608e+02 |-1.400000e+02 | 46.47%| unknown
3586.90/3597.01 c 3597s| 1 | 2 | 3039k| - | 382M | 0 |1812 | 60k| 60k| 90 | 21 | 128 | 0 |-2.050608e+02 |-1.400000e+02 | 46.47%| unknown
3586.90/3597.01 c
3586.90/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.90/3597.01 c Solving Time (sec) : 3597.01
3586.90/3597.01 c Solving Nodes : 1
3586.90/3597.01 c Primal Bound : -1.40000000000000e+02 (5 solutions)
3586.90/3597.01 c Dual Bound : -2.05060758001214e+02
3586.90/3597.01 c Gap : 46.47 %
3586.90/3597.02 s SATISFIABLE
3586.90/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
3586.90/3597.02 v -x32 -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
3586.90/3597.02 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 -x88
3586.90/3597.02 v -x89 x90 x91 -x92 x93 -x94 x95 x96 -x97 x98 x99 -x100 -x101 -x102 -x103 -x104 x105 x106 -x107 -x108 x109 -x110 -x111 x112 -x113
3586.90/3597.02 v -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 x126 x127 -x128 -x129 x130 -x131 -x132 -x133 x134 -x135 -x136
3586.90/3597.02 v -x137 x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 x157 -x158 x159
3586.90/3597.02 v -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 x177 -x178 -x179 -x180 -x181 x182
3586.90/3597.02 v -x183 -x184 x185 x186 -x187 -x188 x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205
3586.90/3597.02 v -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 x218 -x219 x220 x221 x222 -x223 x224 -x225 -x226 x227 x228
3586.90/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 -x251
3586.90/3597.02 v -x252 -x253 -x254 -x255 x256 -x257 x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
3586.90/3597.02 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 x287 x288 -x289 -x290 -x291 -x292 -x293 x294 -x295
3586.90/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.90/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.90/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.90/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
3586.90/3597.02 v -x386 -x387 -x388 -x389 -x390 x391 x392 -x393 x394 -x395 -x396 x397 -x398 x399 -x400 x401 x402 x403 -x404 x405 -x406 x407 -x408
3586.90/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 -x431
3586.90/3597.02 v -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 x445 -x446 -x447 x448 -x449 -x450 x451 -x452 -x453 -x454
3586.90/3597.02 v -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476
3586.90/3597.02 v -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 x490 -x491 x492 -x493 -x494 -x495 x496 -x497 x498 x499
3586.90/3597.02 v -x500 x501 -x502 -x503 x504 x505 -x506 x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522
3586.90/3597.02 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544
3586.90/3597.02 v -x545 -x546 -x547 -x548 -x549 x550 -x551 x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566
3586.90/3597.02 v -x567 x568 -x569 -x570 x571 -x572 x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589
3586.90/3597.02 v -x590 x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 x605 -x606 x607 -x608 x609 -x610 -x611 -x612
3586.90/3597.02 v -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634
3586.90/3597.02 v -x635 -x636 -x637 x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 x654 x655 -x656 -x657
3586.90/3597.02 v -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 x676 -x677 -x678 -x679
3586.90/3597.02 v -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 x691 x692 -x693 x694 -x695 x696 -x697 x698 -x699 -x700 -x701 x702
3586.90/3597.02 v -x703 -x704 -x705 x706 -x707 x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 x725
3586.90/3597.02 v -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 x745 -x746 -x747
3586.90/3597.02 v -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 x763 -x764 -x765 x766 -x767 -x768 -x769
3586.90/3597.02 v x770 -x771 -x772 -x773 -x774 -x775 x776 -x777 x778 x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791
3586.90/3597.02 v -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 x805 x806 x807 -x808 x809 -x810 x811 -x812 x813 -x814
3586.90/3597.02 v x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 x828 x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837
3586.90/3597.02 v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859
3586.90/3597.02 v -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881
3586.90/3597.02 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903
3586.90/3597.02 v -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 -x925
3586.90/3597.02 v -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947
3586.90/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 x970
3586.90/3597.02 v -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 x983 -x984 -x985 x986 -x987 -x988 x989 -x990 -x991 x992 -x993
3586.90/3597.02 v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013
3586.90/3597.02 v x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032
3586.90/3597.02 v -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051
3586.90/3597.02 v -x1052 x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 x1066 x1067 -x1068 x1069 -x1070 -x1071
3586.90/3597.02 v -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090
3586.90/3597.02 v -x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109
3586.90/3597.02 v -x1110 -x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 x1124 x1125 -x1126 -x1127 -x1128
3586.90/3597.02 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147
3586.90/3597.02 v x1148 x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166
3586.90/3597.02 v -x1167 x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 x1175 -x1176 x1177 -x1178 -x1179 x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186
3586.90/3597.02 v x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 -x1196 x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205
3586.90/3597.02 v -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224
3586.90/3597.02 v -x1225 -x1226 -x1227 x1228 -x1229 -x1230 x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243
3586.90/3597.02 v -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 x1255 x1256 -x1257 -x1258 x1259 -x1260 x1261 -x1262
3586.90/3597.02 v x1263 -x1264 x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 x1275 -x1276 -x1277 -x1278 x1279 -x1280 -x1281 -x1282
3586.90/3597.02 v -x1283 -x1284 x1285 x1286 x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 x1298 -x1299 -x1300 x1301 -x1302
3586.90/3597.02 v -x1303 -x1304 -x1305 x1306 x1307 -x1308 -x1309 -x1310 -x1311 x1312 x1313 -x1314 -x1315 -x1316 x1317 x1318 -x1319 -x1320 -x1321 -x1322
3586.90/3597.02 v -x1323 x1324 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341
3586.90/3597.02 v -x1342 x1343 x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 x1353 -x1354 x1355 x1356 -x1357 -x1358 -x1359 -x1360
3586.90/3597.02 v -x1361 x1362 -x1363 x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379
3586.90/3597.02 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398
3586.90/3597.02 v -x1399 x1400 x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417
3586.90/3597.02 v -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 x1426 x1427 -x1428 -x1429 -x1430 -x1431 x1432 -x1433 -x1434 -x1435 -x1436
3586.90/3597.02 v -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 x1444 -x1445 -x1446 -x1447 -x1448 x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455
3586.90/3597.02 v x1456 -x1457 x1458 x1459 -x1460 -x1461 x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474
3586.90/3597.02 v -x1475 -x1476 x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493
3586.90/3597.02 v -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 x1504 -x1505 -x1506 x1507 -x1508 -x1509 -x1510 -x1511 -x1512
3586.90/3597.02 v -x1513 x1514 x1515 -x1516 -x1517 x1518 x1519 -x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531
3586.90/3597.02 v -x1532 -x1533 -x1534 -x1535 -x1536 x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
3586.90/3597.02 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569
3586.90/3597.02 v -x1570 -x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588
3586.90/3597.02 v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 x1607
3586.90/3597.02 v -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626
3586.90/3597.02 v -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645
3586.90/3597.02 v -x1646 x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 x1664
3586.90/3597.02 v -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 x1683
3586.90/3597.02 v -x1684 x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702
3586.90/3597.02 v -x1703 -x1704 x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 x1713 -x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x1720 x1721
3586.90/3597.02 v x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 x1736 x1737 -x1738 -x1739 -x1740
3586.90/3597.02 v -x1741 -x1742 -x1743 x1744 -x1745 x1746 x1747 -x1748 x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 x1758 -x1759 -x1760
3586.90/3597.02 v -x1761 -x1762 -x1763 x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 x1777 -x1778 -x1779
3586.90/3597.02 v -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798
3586.90/3597.02 v -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817
3586.90/3597.02 v -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836
3586.90/3597.02 v -x1837 -x1838 -x1839 x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855
3586.90/3597.02 v -x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 x1867 x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874
3586.90/3597.02 v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893
3586.90/3597.02 v -x1894 x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 x1906 x1907 -x1908 -x1909 x1910 x1911 -x1912
3586.90/3597.02 v -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 x1931
3586.90/3597.02 v -x1932 -x1933 x1934 -x1935 x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950
3586.90/3597.02 v -x1951 -x1952 -x1953 x1954 -x1955 x1956 x1957 -x1958 -x1959 -x1960 x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969
3586.90/3597.02 v -x1970 x1971 x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 x1979 -x1980 -x1981 -x1982 -x1983 -x1984 x1985 -x1986 -x1987 -x1988
3586.90/3597.02 v -x1989 -x1990 -x1991 -x1992 -x1993 x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 x2006 -x2007
3586.90/3597.02 v -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 x2021 -x2022 x2023 -x2024 -x2025
3586.90/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3586.90/3597.02 c Total Time : 3597.01
3586.90/3597.02 c solving : 3597.01
3586.90/3597.02 c presolving : 0.78 (included in solving)
3586.90/3597.02 c reading : 0.11 (included in solving)
3586.90/3597.02 c copying : 0.00 (0 times copied the problem)
3586.90/3597.02 c Original Problem :
3586.90/3597.02 c Problem name : HOME/instance-4499591-1751408823.opb
3586.90/3597.02 c Variables : 2025 (2025 binary, 0 integer, 0 continuous)
3586.90/3597.02 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.90/3597.02 c Constraints : 61821 initial, 61821 maximal
3586.90/3597.02 c Objective : minimize, 135 non-zeros (abs.min = 1, abs.max = 4)
3586.90/3597.02 c Presolved Problem :
3586.90/3597.02 c Problem name : t_HOME/instance-4499591-1751408823.opb
3586.90/3597.02 c Variables : 1812 (1812 binary, 0 integer, 0 continuous)
3586.90/3597.02 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.90/3597.02 c Constraints : 60794 initial, 60920 maximal
3586.90/3597.02 c Objective : minimize, 128 non-zeros (abs.min = 1, abs.max = 4)
3586.90/3597.02 c Nonzeros : 181207 constraint, 2404 clique table
3586.90/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.90/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c gateextraction : 0.05 0.00 2 0 0 0 0 0 39 13 0 0
3586.90/3597.02 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c milp : 0.15 0.00 1 7 0 0 0 0 0 0 0 0
3586.90/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c trivial : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c dualfix : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c symmetry : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c setppc : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c and : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c linear : 0.21 0.02 6 0 206 0 0 0 1001 0 0 0
3586.90/3597.02 c logicor : 0.19 0.03 5 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c root node : - - - 0 - - 0 - - - - -
3586.90/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.90/3597.02 c integral : 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0
3586.90/3597.02 c knapsack : 0+ 1 0 2236 0 0 0 0 37 2 0 0 0 0 0
3586.90/3597.02 c setppc : 1175+ 1176 21 5339 0 0 1 5 727 4 0 1 0 0 0
3586.90/3597.02 c and : 13 13 21 4473 0 0 1 4 158 3 0 30 0 0 0
3586.90/3597.02 c logicor : 59606+ 59730 21 5217 0 0 1 4 683 53 0 54 17 0 0
3586.90/3597.02 c fixedvar : 0 0 0 0 0 0 1 7 0 0 0 0 0 0 0
3586.90/3597.02 c countsols : 0 0 0 0 0 0 1 7 0 0 0 0 0 0 0
3586.90/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.90/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.90/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.90/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.90/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.90/3597.02 c logicor : 0.44 0.03 0.20 0.20 0.00 0.01 0.00 0.01 0.00 0.00
3586.90/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.90/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.90/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.90/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.90/3597.02 c dualfix : 2 0 0 0
3586.90/3597.02 c genvbounds : 0 0 0 0
3586.90/3597.02 c nlobbt : 0 0 0 0
3586.90/3597.02 c obbt : 0 0 0 0
3586.90/3597.02 c probing : 0 0 0 0
3586.90/3597.02 c pseudoobj : 25 0 0 0
3586.90/3597.02 c redcost : 23 0 0 0
3586.90/3597.02 c rootredcost : 0 0 0 0
3586.90/3597.02 c symmetry : 0 0 0 0
3586.90/3597.02 c vbounds : 2098 0 0 0
3586.90/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.90/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.90/3597.02 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.90/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.90/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.90/3597.02 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
3586.90/3597.02 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3586.90/3597.02 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.90/3597.02 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.90/3597.02 c symmetry : 0.07 0.00 0.07 0.00 0.00 0.00
3586.90/3597.02 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.90/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.90/3597.02 c propagation : 0.00 52 52 - 443 67.4 3 4.3 - - -
3586.90/3597.02 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.90/3597.02 c bound exceed. LP : 0.01 1 1 - 0 0.0 0 0.0 1 128.0 10
3586.90/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.90/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.90/3597.02 c applied globally : 0.00 - - 0 127 31.6 - - 1 - -
3586.90/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.90/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.90/3597.02 c cut pool : 0.03 - 40 40 - - 2059 2285 - - - - - (maximal pool size: 2059)
3586.90/3597.02 c aggregation : 0.40 0.00 21 21 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.90/3597.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.90/3597.02 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.90/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c clique : 0.18 0.00 21 21 0 0 1 2 0 1 1 0 0
3586.90/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c gomory : 1.70 0.00 10 10 0 0 2001 2210 0 25 25 0 0
3586.90/3597.02 c > gomorymi : - - - - - - - 947 0 8 8 0 -
3586.90/3597.02 c > strongcg : - - - - - - - 1263 0 17 17 0 -
3586.90/3597.02 c impliedbounds : 0.00 0.00 21 21 0 0 19 31 0 16 16 0 0
3586.90/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c mcf : 0.02 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c multilinear : 0.00 0.00 21 21 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3586.90/3597.02 c zerohalf : 0.80 0.00 20 20 0 0 38 42 0 31 31 0 0
3586.90/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.90/3597.02 c hybrid : 0.01 0.00 20 20 90 0 2280 90 0 2280
3586.90/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.90/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.90/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3586.90/3597.02 c problem variables: 0.00 - 0 0
3586.90/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.90/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.90/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.90/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.90/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.90/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.90/3597.02 c inference : 0.00 0.00 0 0 1 0 0 0 0 2
3586.90/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.90/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.90/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.90/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.90/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.90/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.90/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.90/3597.02 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.90/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.90/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.90/3597.02 c LP solutions : 0.00 - - 0 0
3586.90/3597.02 c relax solutions : 0.00 - - 0 0
3586.90/3597.02 c pseudo solutions : 0.00 - - 0 0
3586.90/3597.02 c strong branching : 0.00 - - 0 0
3586.90/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3586.90/3597.02 c adaptivediving : 0.00 0.00 0 0 0
3586.90/3597.02 c alns : 0.00 0.00 0 0 0
3586.90/3597.02 c bound : 0.00 0.00 0 0 0
3586.90/3597.02 c clique : 0.15 0.00 1 1 1
3586.90/3597.02 c coefdiving : 0.00 0.00 0 0 0
3586.90/3597.02 c completesol : 0.00 0.00 0 0 0
3586.90/3597.02 c conflictdiving : 0.00 0.00 0 0 0
3586.90/3597.02 c crossover : 0.00 0.00 0 0 0
3586.90/3597.02 c dins : 0.00 0.00 0 0 0
3586.90/3597.02 c distributiondivin: 0.00 0.00 0 0 0
3586.90/3597.02 c dks : 0.00 0.00 0 0 0
3586.90/3597.02 c dps : 0.00 0.00 0 0 0
3586.90/3597.02 c dualval : 0.00 0.00 0 0 0
3586.90/3597.02 c farkasdiving : 448.19 0.00 1 0 0
3586.90/3597.02 c feaspump : 0.00 0.00 0 0 0
3586.90/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3586.90/3597.02 c fracdiving : 0.00 0.00 0 0 0
3586.90/3597.02 c gins : 0.00 0.00 0 0 0
3586.90/3597.02 c guideddiving : 0.00 0.00 0 0 0
3586.90/3597.02 c indicator : 0.00 0.00 0 0 0
3586.90/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3586.90/3597.02 c intdiving : 0.00 0.00 0 0 0
3586.90/3597.02 c intshifting : 0.00 0.00 0 0 0
3586.90/3597.02 c linesearchdiving : 0.00 0.00 0 0 0
3586.90/3597.02 c localbranching : 0.00 0.00 0 0 0
3586.90/3597.02 c locks : 0.06 0.00 1 0 0
3586.90/3597.02 c lpface : 0.00 0.00 0 0 0
3586.90/3597.02 c mpec : 0.00 0.00 0 0 0
3586.90/3597.02 c multistart : 0.00 0.00 0 0 0
3586.90/3597.02 c mutation : 0.00 0.00 0 0 0
3586.90/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3586.90/3597.02 c objpscostdiving : 0.00 0.00 0 0 0
3586.90/3597.02 c octane : 0.00 0.00 0 0 0
3586.90/3597.02 c ofins : 0.00 0.00 0 0 0
3586.90/3597.02 c oneopt : 0.00 0.00 1 0 0
3586.90/3597.02 c padm : 0.00 0.00 0 0 0
3586.90/3597.02 c proximity : 0.00 0.00 0 0 0
3586.90/3597.02 c pscostdiving : 0.00 0.00 0 0 0
3586.90/3597.02 c randrounding : 0.20 0.00 21 0 0
3586.90/3597.02 c rens : 0.00 0.00 0 0 0
3586.90/3597.02 c reoptsols : 0.00 0.00 0 0 0
3586.90/3597.02 c repair : 0.00 0.00 0 0 0
3586.90/3597.02 c rins : 0.00 0.00 0 0 0
3586.90/3597.02 c rootsoldiving : 0.00 0.00 0 0 0
3586.90/3597.02 c rounding : 0.08 0.00 21 0 0
3586.90/3597.02 c scheduler : 0.00 0.00 0 0 0
3586.90/3597.02 c shiftandpropagate: 0.00 0.00 0 0 0
3586.90/3597.02 c shifting : 0.17 0.00 21 0 0
3586.90/3597.02 c simplerounding : 0.00 0.00 21 0 0
3586.90/3597.02 c subnlp : 0.00 0.00 0 0 0
3586.90/3597.02 c trivial : 0.01 0.00 2 2 1
3586.90/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3586.90/3597.02 c trustregion : 0.00 0.00 0 0 0
3586.90/3597.02 c trysol : 0.00 0.00 0 0 0
3586.90/3597.02 c twoopt : 0.00 0.00 0 0 0
3586.90/3597.02 c undercover : 0.00 0.00 1 0 0
3586.90/3597.02 c vbounds : 0.14 0.00 1 2 2
3586.90/3597.02 c veclendiving : 0.00 0.00 0 0 0
3586.90/3597.02 c zeroobj : 0.00 0.00 0 0 0
3586.90/3597.02 c zirounding : 0.01 0.00 1 0 0
3586.90/3597.02 c other solutions : - - - 0 -
3586.90/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.90/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.90/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.90/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.90/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.90/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.90/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.90/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.90/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.90/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.90/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.90/3597.02 c primal LP : 0.01 1 0 0.00 - 0.01 1
3586.90/3597.02 c dual LP : 3143.55 25 2643102 120141.00 840.80 0.01 3
3586.90/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3586.90/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.90/3597.02 c resolve instable : 207.14 1 167174 167174.00 807.08
3586.90/3597.02 c diving/probing LP: 448.22 2 396545 198272.50 884.70
3586.90/3597.02 c strong branching : 0.00 0 0 0.00 - - - 0
3586.90/3597.02 c (at root node) : - 0 0 0.00 -
3586.90/3597.02 c conflict analysis: 0.00 1 10 10.00 -
3586.90/3597.02 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.90/3597.02 c benders : 0.00 0 0 0 0.00 0 0 0
3586.90/3597.02 c B&B Tree :
3586.90/3597.02 c number of runs : 1
3586.90/3597.02 c nodes : 1 (1 internal, 0 leaves)
3586.90/3597.02 c feasible leaves : 0
3586.90/3597.02 c infeas. leaves : 0
3586.90/3597.02 c objective leaves : 0
3586.90/3597.02 c nodes (total) : 1 (1 internal, 0 leaves)
3586.90/3597.02 c nodes left : 2
3586.90/3597.02 c max depth : 0
3586.90/3597.02 c max depth (total): 0
3586.90/3597.02 c backtracks : 0 (0.0%)
3586.90/3597.02 c early backtracks : 0 (0.0%)
3586.90/3597.02 c nodes exc. ref. : 0 (0.0%)
3586.90/3597.02 c delayed cutoffs : 0
3586.90/3597.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3586.90/3597.02 c avg switch length: 1.00
3586.90/3597.02 c switching time : 0.00
3586.90/3597.02 c Root Node :
3586.90/3597.02 c First LP value : -2.41723611111111e+02
3586.90/3597.02 c First LP Iters : 49816 (516.92 Iter/sec)
3586.90/3597.02 c First LP Time : 96.37
3586.90/3597.02 c Final Dual Bound : -2.05060758001214e+02
3586.90/3597.02 c Final Root Iters : 2643102
3586.90/3597.02 c Root LP Estimate : -
3586.90/3597.02 c Solution :
3586.90/3597.02 c Solutions found : 5 (4 improvements)
3586.90/3597.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.19 seconds, depth 0, found by <trivial>)
3586.90/3597.02 c Gap First Sol. : infinite
3586.90/3597.02 c Gap Last Sol. : 119.29 %
3586.90/3597.02 c Primal Bound : -1.40000000000000e+02 (in run 1, after 1 nodes, 1.31 seconds, depth 394, found by <vbounds>)
3586.90/3597.02 c Dual Bound : -2.05060758001214e+02
3586.90/3597.02 c Gap : 46.47 %
3586.90/3597.02 c Integrals : Total Avg%
3586.90/3597.02 c primal-dual : 123504.37 34.34
3586.90/3597.02 c primal-ref : - - (not evaluated)
3586.90/3597.02 c dual-ref : - - (not evaluated)
3587.00/3597.17 c Time complete (sec): 3587.075
OK -140
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 (62162 MiB free)
memory of node 1: 64507 MiB (56956 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499591-1751408823/watcher-4499591-1751408823 -o /tmp/evaluation-result-4499591-1751408823/solver-4499591-1751408823 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751406326-62869 --watchdog 3760 pbsolver -f HOME/instance-4499591-1751408823.opb -t 3600 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=63753, runsolver pid=63750
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.09 4.10 4.06 5/265 63754
/proc/meminfo: memFree=121946908/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=55512 memory=44544 CPUtime=0.09 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 9181 0 0 0 9 0 0 0 20 0 1 0 56560224 56844288 11136 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 13878 11136 2176 2575 0 10785 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55512 KiB
Current children cumulated memory: 44544 KiB
[startup+0.205505 s]*
/proc/loadavg: 4.09 4.10 4.06 5/265 63754
/proc/meminfo: memFree=121890712/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=108596 memory=98040 CPUtime=0.2 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 22717 0 0 0 17 3 0 0 20 0 1 0 56560224 111202304 24510 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 27149 24510 2400 2575 0 24056 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 108596 KiB
Current children cumulated memory: 98040 KiB
[startup+0.305424 s]*
/proc/loadavg: 4.09 4.10 4.06 5/265 63754
/proc/meminfo: memFree=121874584/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=128120 memory=114636 CPUtime=0.3 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 26343 0 0 0 26 4 0 0 20 0 1 0 56560224 131194880 28659 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 32030 28659 2432 2575 0 28937 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 128120 KiB
Current children cumulated memory: 114636 KiB
[startup+0.700189 s]
/proc/loadavg: 4.09 4.10 4.06 5/265 63754
/proc/meminfo: memFree=121858456/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=142252 memory=131312 CPUtime=0.69 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 41174 0 0 0 63 6 0 0 20 0 1 0 56560224 145666048 32828 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 35563 32828 2496 2575 0 32470 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 142252 KiB
Current children cumulated memory: 131312 KiB
[startup+1.50018 s]
/proc/loadavg: 4.08 4.10 4.06 5/265 63754
/proc/meminfo: memFree=121818488/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=232284 memory=218932 CPUtime=1.48 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 62992 0 0 0 138 10 0 0 20 0 1 0 56560224 237858816 54733 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 58071 54733 2688 2575 0 54978 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 232284 KiB
Current children cumulated memory: 218932 KiB
[startup+3.10537 s]
/proc/loadavg: 4.08 4.10 4.06 5/265 63754
/proc/meminfo: memFree=121778168/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=232284 memory=219316 CPUtime=3.08 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 63086 0 0 0 298 10 0 0 20 0 1 0 56560224 237858816 54829 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 58071 54829 2688 2575 0 54978 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 232284 KiB
Current children cumulated memory: 219316 KiB
[startup+6.30017 s]
/proc/loadavg: 4.07 4.10 4.06 5/265 63754
/proc/meminfo: memFree=121778312/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=233004 memory=219828 CPUtime=6.27 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 63216 0 0 0 617 10 0 0 20 0 1 0 56560224 238596096 54957 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 58251 54957 2688 2575 0 55158 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 233004 KiB
Current children cumulated memory: 219828 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.10 4.06 5/265 63754
/proc/meminfo: memFree=121778472/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=233952 memory=220724 CPUtime=12.65 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 63469 0 0 0 1255 10 0 0 20 0 1 0 56560224 239566848 55181 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 58488 55181 2688 2575 0 55395 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 233952 KiB
Current children cumulated memory: 220724 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.07 5/265 63754
/proc/meminfo: memFree=121778544/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=233952 memory=220724 CPUtime=25.41 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 63470 0 0 0 2531 10 0 0 20 0 1 0 56560224 239566848 55181 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 58488 55181 2688 2575 0 55395 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 233952 KiB
Current children cumulated memory: 220724 KiB
[startup+51.1054 s]
/proc/loadavg: 4.08 4.10 4.06 5/265 63755
/proc/meminfo: memFree=121776560/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=233952 memory=220724 CPUtime=50.94 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 63470 0 0 0 5084 10 0 0 20 0 1 0 56560224 239566848 55181 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 58488 55181 2688 2575 0 55395 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 233952 KiB
Current children cumulated memory: 220724 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.07 5/265 63757
/proc/meminfo: memFree=121748692/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=269476 memory=247544 CPUtime=101.99 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 69140 0 0 0 10187 12 0 0 20 0 1 0 56560224 275943424 61886 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 67369 61886 2688 2575 0 64276 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 269476 KiB
Current children cumulated memory: 247544 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.07 5/265 63759
/proc/meminfo: memFree=121725384/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=269476 memory=247544 CPUtime=161.82 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 69143 0 0 0 16170 12 0 0 20 0 1 0 56560224 275943424 61886 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 67369 61886 2688 2575 0 64276 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 269476 KiB
Current children cumulated memory: 247544 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.07 5/264 63761
/proc/meminfo: memFree=121713044/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=283788 memory=258040 CPUtime=221.64 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 71339 0 0 0 22152 12 0 0 20 0 1 0 56560224 290598912 64510 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 70947 64510 2688 2575 0 67854 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 283788 KiB
Current children cumulated memory: 258040 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.07 5/264 63770
/proc/meminfo: memFree=121680172/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=283788 memory=260728 CPUtime=281.47 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 71364 0 0 0 28135 12 0 0 20 0 1 0 56560224 290598912 65182 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 70947 65182 2688 2575 0 67854 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 283788 KiB
Current children cumulated memory: 260728 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.08 4.07 5/264 63772
/proc/meminfo: memFree=121678268/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=283788 memory=268408 CPUtime=341.31 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 71368 0 0 0 34119 12 0 0 20 0 1 0 56560224 290598912 67102 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 70947 67102 2688 2575 0 67854 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 283788 KiB
Current children cumulated memory: 268408 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.09 4.07 5/264 63774
/proc/meminfo: memFree=121701964/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=283788 memory=268408 CPUtime=401.16 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 71397 0 0 0 40104 12 0 0 20 0 1 0 56560224 290598912 67102 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 70947 67102 2688 2575 0 67854 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 283788 KiB
Current children cumulated memory: 268408 KiB
[startup+462.3 s]
/proc/loadavg: 4.32 4.17 4.10 5/264 63776
/proc/meminfo: memFree=121685804/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=292268 memory=270840 CPUtime=461.01 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 72094 0 0 0 46089 12 0 0 20 0 1 0 56560224 299282432 67710 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 73067 67710 2688 2575 0 69974 0
################
# More data... #
################
/proc/loadavg: 4.08 4.08 4.09 5/263 64063
/proc/meminfo: memFree=121566588/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=441428 memory=349800 CPUtime=3213.14 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 86654 0 0 0 321299 15 0 0 20 0 1 0 56560224 452022272 87450 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 110357 87450 2944 2575 0 107264 0
Current children cumulated CPU time: 3213.14 s
Current children cumulated vsize: 441428 KiB
Current children cumulated memory: 349800 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 64066
/proc/meminfo: memFree=121565896/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=441428 memory=349800 CPUtime=3272.99 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 86696 0 0 0 327284 15 0 0 20 0 1 0 56560224 452022272 87450 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 110357 87450 2944 2575 0 107264 0
Current children cumulated CPU time: 3272.99 s
Current children cumulated vsize: 441428 KiB
Current children cumulated memory: 349800 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 64075
/proc/meminfo: memFree=121567700/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=441428 memory=349800 CPUtime=3332.83 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 86696 0 0 0 333268 15 0 0 20 0 1 0 56560224 452022272 87450 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 110357 87450 2944 2575 0 107264 0
Current children cumulated CPU time: 3332.83 s
Current children cumulated vsize: 441428 KiB
Current children cumulated memory: 349800 KiB
[startup+3402.3 s]
/proc/loadavg: 4.33 4.14 4.11 5/264 64077
/proc/meminfo: memFree=121566336/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=441428 memory=349800 CPUtime=3392.68 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 86696 0 0 0 339253 15 0 0 20 0 1 0 56560224 452022272 87450 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 110357 87450 2944 2575 0 107264 0
Current children cumulated CPU time: 3392.68 s
Current children cumulated vsize: 441428 KiB
Current children cumulated memory: 349800 KiB
[startup+3462.3 s]
/proc/loadavg: 4.29 4.17 4.12 5/264 64079
/proc/meminfo: memFree=121558376/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=441668 memory=349800 CPUtime=3452.53 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 86751 0 0 0 345238 15 0 0 20 0 1 0 56560224 452268032 87450 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 110417 87450 2944 2575 0 107324 0
Current children cumulated CPU time: 3452.53 s
Current children cumulated vsize: 441668 KiB
Current children cumulated memory: 349800 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/265 64082
/proc/meminfo: memFree=121558996/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=441668 memory=349800 CPUtime=3512.39 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 86751 0 0 0 351224 15 0 0 20 0 1 0 56560224 452268032 87450 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 110417 87450 2944 2575 0 107324 0
Current children cumulated CPU time: 3512.39 s
Current children cumulated vsize: 441668 KiB
Current children cumulated memory: 349800 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/265 64084
/proc/meminfo: memFree=121550572/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=441668 memory=349800 CPUtime=3572.23 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 86751 0 0 0 357208 15 0 0 20 0 1 0 56560224 452268032 87450 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 110417 87450 2944 2575 0 107324 0
Current children cumulated CPU time: 3572.23 s
Current children cumulated vsize: 441668 KiB
Current children cumulated memory: 349800 KiB
[startup+3597.17 s]
# the end of solver process 63753 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.92 s, system=0.158542 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.14 4.11 5/265 64085
/proc/meminfo: memFree=121550580/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=441668 memory=349800 CPUtime=3573.94 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 86751 0 0 0 357379 15 0 0 20 0 1 0 56560224 452268032 87450 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 110417 87450 2944 2575 0 107324 0
Current children cumulated CPU time: 3573.94 s
Current children cumulated vsize: 441668 KiB
Current children cumulated memory: 349800 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.14 4.11 5/265 64085
/proc/meminfo: memFree=121538292/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=441668 memory=349800 CPUtime=3580.31 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 86751 0 0 0 358016 15 0 0 20 0 1 0 56560224 452268032 87450 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 110417 87450 2944 2575 0 107324 0
Current children cumulated CPU time: 3580.31 s
Current children cumulated vsize: 441668 KiB
Current children cumulated memory: 349800 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.13 4.10 5/265 64085
/proc/meminfo: memFree=121538292/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=441668 memory=349800 CPUtime=3583.51 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 86751 0 0 0 358336 15 0 0 20 0 1 0 56560224 452268032 87450 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 110417 87450 2944 2575 0 107324 0
Current children cumulated CPU time: 3583.51 s
Current children cumulated vsize: 441668 KiB
Current children cumulated memory: 349800 KiB
[startup+3595.2 s]
/proc/loadavg: 4.09 4.13 4.10 5/265 64085
/proc/meminfo: memFree=121538300/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=441668 memory=349800 CPUtime=3585.1 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 86751 0 0 0 358495 15 0 0 20 0 1 0 56560224 452268032 87450 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 110417 87450 2944 2575 0 107324 0
Current children cumulated CPU time: 3585.1 s
Current children cumulated vsize: 441668 KiB
Current children cumulated memory: 349800 KiB
[startup+3596 s]*
/proc/loadavg: 4.09 4.13 4.10 5/265 64085
/proc/meminfo: memFree=121538300/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=441668 memory=349800 CPUtime=3585.91 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 86751 0 0 0 358576 15 0 0 20 0 1 0 56560224 452268032 87450 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 110417 87450 2944 2575 0 107324 0
Current children cumulated CPU time: 3585.91 s
Current children cumulated vsize: 441668 KiB
Current children cumulated memory: 349800 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.13 4.10 5/265 64085
/proc/meminfo: memFree=121538300/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=441668 memory=349800 CPUtime=3586.7 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 86751 0 0 0 358655 15 0 0 20 0 1 0 56560224 452268032 87450 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 110417 87450 2944 2575 0 107324 0
Current children cumulated CPU time: 3586.7 s
Current children cumulated vsize: 441668 KiB
Current children cumulated memory: 349800 KiB
[startup+3597 s]*
/proc/loadavg: 4.08 4.13 4.10 5/265 64086
/proc/meminfo: memFree=121542372/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=441668 memory=349800 CPUtime=3586.9 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 86751 0 0 0 358675 15 0 0 20 0 1 0 56560224 452268032 87450 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 110417 87450 2944 2575 0 107324 0
Current children cumulated CPU time: 3586.9 s
Current children cumulated vsize: 441668 KiB
Current children cumulated memory: 349800 KiB
[startup+3597.11 s]
/proc/loadavg: 4.08 4.13 4.10 5/265 64086
/proc/meminfo: memFree=121542372/131249996 swapFree=33010684/33010684
[pid=63753] ppid=63750 vsize=441668 memory=349800 CPUtime=3587 cores=1,3
/proc/63753/stat : 63753 (pbsolver) R 63750 63753 62857 0 -1 4194304 86793 0 0 0 358685 15 0 0 20 0 1 0 56560224 452268032 87450 18446744073709551615 4198400 14743177 140734207232112 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 46563328 140734207240586 140734207240682 140734207240682 140734207246284 0
/proc/63753/statm: 110417 87450 2944 2575 0 107324 0
Current children cumulated CPU time: 3587 s
Current children cumulated vsize: 441668 KiB
Current children cumulated memory: 349800 KiB
Child status: 0
Real time (s): 3597.17
CPU time (s): 3587.08
CPU user time (s): 3586.92
CPU system time (s): 0.158542
CPU usage (%): 99.7194
Max. virtual memory (cumulated for all children) (KiB): 441668
Max. memory (cumulated for all children) (KiB): 349800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.92
system time used= 0.158542
maximum resident set size= 349800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86804
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= 27
involuntary context switches= 1722
# summary of solver processes directly reported to runsolver:
# pid: 63753
# total CPU time (s): 3587.08
# total CPU user time (s): 3586.92
# total CPU system time (s): 0.158542
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.49373 second user time and 15.1627 second system time
The end
Begin job on nodeC024 at 2025-07-02 00:27:03 IDJOB=4499591 IDBENCH=148784 IDSOLVER=3366 FILE ID=nodeC024/4499591-1751408823 RUNJOBID= nodeC024-1751406326-62869 SLURM_JOB_ID= 9598297 Free space on /tmp= 432932 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB09/OPT-LIN/featureSubscription/normalized-50-250-false-45-90-4-2000opt.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499591-1751408823/watcher-4499591-1751408823 -o /tmp/evaluation-result-4499591-1751408823/solver-4499591-1751408823 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751406326-62869 --watchdog 3760 pbsolver -f HOME/instance-4499591-1751408823.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 244d2960852ad966f69f423720fc1906 RANDOM SEED=848044300 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.637 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.897 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 : 3601.050 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 : 3601.041 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.679 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.671 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 : 3602.565 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 : 3599.772 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: 121978852 kB MemAvailable: 128701972 kB Buffers: 3280 kB Cached: 7491972 kB SwapCached: 0 kB Active: 1325636 kB Inactive: 7234824 kB Active(anon): 1083272 kB Inactive(anon): 0 kB Active(file): 242364 kB Inactive(file): 7234824 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 16936 kB Writeback: 112 kB AnonPages: 1065392 kB Mapped: 138384 kB Shmem: 18064 kB KReclaimable: 169944 kB Slab: 260052 kB SReclaimable: 169944 kB SUnreclaim: 90108 kB KernelStack: 4304 kB PageTables: 5172 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1437144 kB VmallocTotal: 34359738367 kB VmallocUsed: 150552 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 942080 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= 432912 MiB End job on nodeC024 at 2025-07-02 01:27:01