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 | -77 | 3586.08 | 3597.19 |
| Name | PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-3000opt.opb |
| MD5SUM | e62abd53623fd23ed09ae1eef8b23be2 |
| 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 | -187 |
| Best CPU time to get the best result obtained on this benchmark | 0.815441 |
| 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 | 63877 |
| Number of constraints which are clauses | 63877 |
| 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 | 340 |
| 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 | 340 |
| 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-4499775-1751410340.opb>
0.09/0.12 c original problem has 2025 variables (2025 bin, 0 int, 0 cont) and 63877 constraints
0.09/0.12 c problem read in 0.120 seconds
0.20/0.22 o 0
0.20/0.22 c feasible solution found by trivial heuristic after 0.2 seconds, objective value 0.000000e+00
0.20/0.22 c presolving:
0.20/0.30 c (round 1, fast) 186 del vars, 186 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 984 clqs
0.30/0.39 c (0.4s) running MILP presolver
0.39/0.47 c (0.5s) MILP presolver (3 rounds): 0 aggregations, 7 fixings, 0 bound changes
0.39/0.47 c (round 2, medium) 193 del vars, 186 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 963 clqs
0.39/0.50 c (round 3, exhaustive) 193 del vars, 856 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1207 clqs
0.60/0.65 c (round 4, exhaustive) 193 del vars, 856 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 63021 upgd conss, 0 impls, 1207 clqs
0.88/0.93 c (0.9s) probing: 51/1832 (2.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.88/0.93 c (0.9s) probing aborted: 50/50 successive totally useless probings
0.88/0.93 c (0.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.88/0.99 c (1.0s) no symmetry present (symcode time: 0.01)
0.99/1.05 c presolving (5 rounds: 5 fast, 4 medium, 3 exhaustive):
0.99/1.05 c 193 deleted vars, 886 deleted constraints, 10 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.99/1.05 c 0 implications, 1207 cliques
0.99/1.05 c presolved problem has 1832 variables (1832 bin, 0 int, 0 cont) and 63001 constraints
0.99/1.05 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.99/1.05 c 1187 constraints of type <setppc>
0.99/1.05 c 10 constraints of type <and>
0.99/1.05 c 61804 constraints of type <logicor>
0.99/1.05 c transformed objective value is always integral (scale: 1)
0.99/1.05 c Presolving Time: 0.83
0.99/1.05 c
0.99/1.05 c - non default parameters ----------------------------------------------------------------------
0.99/1.05 c
0.99/1.05 c # SCIP version 10.0.0
0.99/1.05 c
0.99/1.05 c # maximal time in seconds to run
0.99/1.05 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.99/1.05 c limits/time = 3596.998126
0.99/1.05 c
0.99/1.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.05 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.99/1.05 c limits/memory = 27900
0.99/1.05 c
0.99/1.05 c # belongs reading time to solving time?
0.99/1.05 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.99/1.05 c timing/reading = TRUE
0.99/1.05 c
0.99/1.05 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.99/1.05 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.99/1.05 c reading/opbreader/maxintsize = 47
0.99/1.05 c
0.99/1.05 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.99/1.05 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.99/1.05 c propagating/genvbounds/timingmask = 0
0.99/1.05 c
0.99/1.05 c -----------------------------------------------------------------------------------------------
0.99/1.05 c
0.99/1.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.99/1.06 c t 1.1s| 1 | 0 | 0 | - | trivial| 0 |1832 | 63k| 0 | 0 | 0 | 0 | 0 |-3.270000e+02 | 0.000000e+00 | Inf | unknown
1.19/1.22 o -9
1.19/1.22 c p 1.2s| 1 | 0 | 0 | - | locks| 0 |1832 | 63k| 63k| 0 | 0 | 0 | 0 |-3.270000e+02 |-9.000000e+00 |3533.33%| unknown
1.29/1.31 o -31
1.29/1.31 c p 1.3s| 1 | 0 | 36 | - | vbounds| 0 |1832 | 63k| 63k| 0 | 0 | 19 | 0 |-3.270000e+02 |-3.100000e+01 | 954.84%| unknown
1.39/1.43 o -51
1.39/1.43 c i 1.4s| 1 | 0 | 36 | - | oneopt| 0 |1832 | 63k| 63k| 0 | 0 | 57 | 0 |-3.270000e+02 |-5.100000e+01 | 541.18%| unknown
73.11/73.49 c 73.5s| 1 | 0 | 38287 | - | 190M | 0 |1832 | 63k| 63k| 0 | 0 | 57 | 0 |-2.612493e+02 |-5.100000e+01 | 412.25%| unknown
137.59/138.18 c 138s| 1 | 0 | 68708 | - | 205M | 0 |1832 | 63k| 63k| 19 | 1 | 58 | 0 |-2.416993e+02 |-5.100000e+01 | 373.92%| unknown
368.87/370.25 c 370s| 1 | 0 |250301 | - | 220M | 0 |1832 | 63k| 63k| 32 | 2 | 59 | 0 |-2.340139e+02 |-5.100000e+01 | 358.85%| unknown
644.92/647.17 c 647s| 1 | 0 |487668 | - | 233M | 0 |1832 | 63k| 63k| 41 | 3 | 61 | 0 |-2.295224e+02 |-5.100000e+01 | 350.04%| unknown
964.64/967.81 c 968s| 1 | 0 |727894 | - | 247M | 0 |1832 | 63k| 63k| 50 | 4 | 61 | 0 |-2.265431e+02 |-5.100000e+01 | 344.20%| unknown
1224.44/1228.42 c 1228s| 1 | 0 |937134 | - | 259M | 0 |1832 | 63k| 63k| 56 | 5 | 63 | 0 |-2.217453e+02 |-5.100000e+01 | 334.79%| unknown
1577.06/1582.12 c 1582s| 1 | 0 | 1216k| - | 273M | 0 |1832 | 63k| 63k| 62 | 6 | 66 | 0 |-2.209435e+02 |-5.100000e+01 | 333.22%| unknown
1577.06/1582.16 o -64
1577.06/1582.16 c r1582s| 1 | 0 | 1216k| - |rounding| 0 |1832 | 63k| 63k| 62 | 6 | 67 | 0 |-2.209435e+02 |-6.400000e+01 | 245.22%| unknown
1577.06/1582.20 o -68
1577.06/1582.20 c r1582s| 1 | 0 | 1216k| - |shifting| 0 |1832 | 63k| 63k| 62 | 6 | 67 | 0 |-2.209435e+02 |-6.800000e+01 | 224.92%| unknown
1581.54/1586.61 c 1587s| 1 | 0 | 1221k| - | 284M | 0 |1832 | 63k| 63k| 69 | 7 | 67 | 0 |-2.204200e+02 |-6.800000e+01 | 224.15%| unknown
1581.54/1586.63 o -77
1581.54/1586.63 c i1587s| 1 | 0 | 1221k| - | oneopt| 0 |1832 | 63k| 63k| 69 | 7 | 67 | 0 |-2.204200e+02 |-7.700000e+01 | 186.26%| unknown
1799.20/1804.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1799.20/1804.93 c 1805s| 1 | 0 | 1389k| - | 299M | 0 |1832 | 63k| 63k| 73 | 8 | 69 | 0 |-2.190729e+02 |-7.700000e+01 | 184.51%| unknown
2368.50/2375.95 c 2376s| 1 | 0 | 1891k| - | 312M | 0 |1832 | 63k| 63k| 77 | 9 | 70 | 0 |-2.178965e+02 |-7.700000e+01 | 182.98%| unknown
2693.23/2701.67 c 2702s| 1 | 0 | 2157k| - | 325M | 0 |1832 | 63k| 63k| 80 | 10 | 72 | 0 |-2.175818e+02 |-7.700000e+01 | 182.57%| unknown
2987.43/2996.72 c 2997s| 1 | 0 | 2399k| - | 331M | 0 |1832 | 63k| 63k| 83 | 11 | 73 | 0 |-2.168429e+02 |-7.700000e+01 | 181.61%| unknown
2988.23/2997.54 c 2998s| 1 | 0 | 2400k| - | 338M | 0 |1832 | 63k| 63k| 85 | 12 | 74 | 0 |-2.168429e+02 |-7.700000e+01 | 181.61%| unknown
2990.42/2999.70 c 3000s| 1 | 0 | 2403k| - | 344M | 0 |1832 | 63k| 63k| 87 | 13 | 74 | 0 |-2.168429e+02 |-7.700000e+01 | 181.61%| unknown
2991.62/3000.92 c 3001s| 1 | 0 | 2404k| - | 350M | 0 |1832 | 63k| 63k| 92 | 14 | 77 | 0 |-2.168420e+02 |-7.700000e+01 | 181.61%| unknown
2991.92/3001.21 c 3001s| 1 | 0 | 2405k| - | 356M | 0 |1832 | 63k| 63k| 93 | 15 | 78 | 0 |-2.168420e+02 |-7.700000e+01 | 181.61%| unknown
2992.52/3001.80 c 3002s| 1 | 0 | 2405k| - | 356M | 0 |1832 | 63k| 63k| 94 | 16 | 79 | 0 |-2.168420e+02 |-7.700000e+01 | 181.61%| unknown
3585.79/3597.00 c 3597s| 1 | 0 | 2901k| - | 362M | 0 |1832 | 63k| 63k| 96 | 17 | 80 | 0 |-2.168420e+02 |-7.700000e+01 | 181.61%| unknown
3585.79/3597.00 c (node 1) LP solver hit time limit in LP 20 -- using pseudo solution instead
3585.79/3597.00 c
3585.79/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.79/3597.00 c Solving Time (sec) : 3597.00
3585.79/3597.00 c Solving Nodes : 1
3585.79/3597.00 c Primal Bound : -7.69999999999999e+01 (8 solutions)
3585.79/3597.00 c Dual Bound : -2.16841975308642e+02
3585.79/3597.00 c Gap : 181.61 %
3585.90/3597.02 s SATISFIABLE
3585.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
3585.90/3597.02 v -x31 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
3585.90/3597.02 v -x58 -x59 -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
3585.90/3597.02 v -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 x105 -x106 -x107 -x108 -x109
3585.90/3597.02 v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 x127 -x128 -x129 x130 -x131
3585.90/3597.02 v -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153
3585.90/3597.02 v -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175
3585.90/3597.02 v -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197
3585.90/3597.02 v -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219
3585.90/3597.02 v -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241
3585.90/3597.02 v -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263
3585.90/3597.02 v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285
3585.90/3597.02 v -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307
3585.90/3597.02 v -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329
3585.90/3597.02 v -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351
3585.90/3597.02 v -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373
3585.90/3597.02 v -x374 -x375 -x376 -x377 x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395
3585.90/3597.02 v -x396 -x397 -x398 -x399 -x400 x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
3585.90/3597.02 v -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
3585.90/3597.02 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461
3585.90/3597.02 v -x462 -x463 -x464 -x465 x466 x467 -x468 x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484
3585.90/3597.02 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506
3585.90/3597.02 v x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528
3585.90/3597.02 v -x529 x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550
3585.90/3597.02 v -x551 x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572
3585.90/3597.02 v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594
3585.90/3597.02 v -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 x604 x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617
3585.90/3597.02 v x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639
3585.90/3597.02 v -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 x658 -x659 -x660 x661
3585.90/3597.02 v -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 x672 -x673 -x674 x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684
3585.90/3597.02 v -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706
3585.90/3597.02 v x707 -x708 -x709 -x710 x711 x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 x729
3585.90/3597.02 v -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 x744 -x745 x746 -x747 -x748 -x749 -x750 -x751
3585.90/3597.02 v -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773
3585.90/3597.02 v -x774 -x775 -x776 x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795
3585.90/3597.02 v -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 x814 -x815 -x816 -x817
3585.90/3597.02 v -x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839
3585.90/3597.02 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
3585.90/3597.02 v -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 x882 -x883
3585.90/3597.02 v -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905
3585.90/3597.02 v -x906 x907 -x908 -x909 x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928
3585.90/3597.02 v -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
3585.90/3597.02 v -x951 -x952 -x953 x954 x955 -x956 -x957 x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 x969 x970 -x971 -x972 -x973
3585.90/3597.02 v -x974 -x975 -x976 x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995
3585.90/3597.02 v -x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010 -x1011 x1012 x1013 -x1014 -x1015
3585.90/3597.02 v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034
3585.90/3597.02 v -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053
3585.90/3597.02 v -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072
3585.90/3597.02 v -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091
3585.90/3597.02 v -x1092 -x1093 -x1094 -x1095 -x1096 x1097 x1098 x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
3585.90/3597.02 v -x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129
3585.90/3597.02 v -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148
3585.90/3597.02 v -x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 x1165 -x1166 -x1167
3585.90/3597.02 v -x1168 x1169 -x1170 -x1171 x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 x1186
3585.90/3597.02 v x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 x1203 -x1204 -x1205
3585.90/3597.02 v x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 x1223 x1224
3585.90/3597.02 v -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243
3585.90/3597.02 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262
3585.90/3597.02 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 x1279 -x1280 -x1281
3585.90/3597.02 v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
3585.90/3597.02 v -x1301 -x1302 -x1303 -x1304 -x1305 x1306 -x1307 x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319
3585.90/3597.02 v -x1320 -x1321 -x1322 x1323 -x1324 -x1325 x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338
3585.90/3597.02 v -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 x1349 -x1350 -x1351 -x1352 x1353 -x1354 -x1355 -x1356 -x1357
3585.90/3597.02 v -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 -x1373 -x1374 -x1375 -x1376
3585.90/3597.02 v -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395
3585.90/3597.02 v -x1396 -x1397 x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 x1413 -x1414
3585.90/3597.02 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433
3585.90/3597.02 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452
3585.90/3597.02 v -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x1470 -x1471
3585.90/3597.02 v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
3585.90/3597.02 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509
3585.90/3597.02 v -x1510 -x1511 -x1512 -x1513 x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528
3585.90/3597.02 v -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547
3585.90/3597.02 v -x1548 -x1549 -x1550 -x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566
3585.90/3597.02 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585
3585.90/3597.02 v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 -x1598 -x1599 x1600 -x1601 -x1602 -x1603 -x1604
3585.90/3597.02 v -x1605 -x1606 x1607 -x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623
3585.90/3597.02 v -x1624 -x1625 -x1626 x1627 x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 x1642
3585.90/3597.02 v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 x1656 -x1657 -x1658 -x1659 -x1660 -x1661
3585.90/3597.02 v -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680
3585.90/3597.02 v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x1689 x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699
3585.90/3597.02 v -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718
3585.90/3597.02 v -x1719 -x1720 -x1721 -x1722 -x1723 x1724 x1725 -x1726 -x1727 -x1728 -x1729 x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737
3585.90/3597.02 v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756
3585.90/3597.02 v -x1757 -x1758 -x1759 -x1760 x1761 -x1762 -x1763 x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775
3585.90/3597.02 v -x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794
3585.90/3597.02 v -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813
3585.90/3597.02 v -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832
3585.90/3597.02 v -x1833 -x1834 x1835 -x1836 -x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851
3585.90/3597.02 v -x1852 x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870
3585.90/3597.02 v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 x1884 -x1885 -x1886 -x1887 -x1888 -x1889
3585.90/3597.02 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908
3585.90/3597.02 v -x1909 -x1910 x1911 -x1912 x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x1920 -x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927
3585.90/3597.02 v -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946
3585.90/3597.02 v -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 x1958 x1959 -x1960 -x1961 -x1962 x1963 -x1964 -x1965
3585.90/3597.02 v -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 x1981 -x1982 -x1983 -x1984
3585.90/3597.02 v -x1985 -x1986 -x1987 x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003
3585.90/3597.02 v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022
3585.90/3597.02 v -x2023 -x2024 -x2025
3585.90/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3585.90/3597.02 c Total Time : 3597.00
3585.90/3597.02 c solving : 3597.00
3585.90/3597.02 c presolving : 0.83 (included in solving)
3585.90/3597.02 c reading : 0.12 (included in solving)
3585.90/3597.02 c copying : 0.00 (0 times copied the problem)
3585.90/3597.02 c Original Problem :
3585.90/3597.02 c Problem name : HOME/instance-4499775-1751410340.opb
3585.90/3597.02 c Variables : 2025 (2025 binary, 0 integer, 0 continuous)
3585.90/3597.02 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3585.90/3597.02 c Constraints : 63877 initial, 63877 maximal
3585.90/3597.02 c Objective : minimize, 135 non-zeros (abs.min = 1, abs.max = 4)
3585.90/3597.02 c Presolved Problem :
3585.90/3597.02 c Problem name : t_HOME/instance-4499775-1751410340.opb
3585.90/3597.02 c Variables : 1832 (1832 binary, 0 integer, 0 continuous)
3585.90/3597.02 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3585.90/3597.02 c Constraints : 63001 initial, 63082 maximal
3585.90/3597.02 c Objective : minimize, 128 non-zeros (abs.min = 1, abs.max = 4)
3585.90/3597.02 c Nonzeros : 187816 constraint, 2422 clique table
3585.90/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.90/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c gateextraction : 0.04 0.00 1 0 0 0 0 0 30 10 0 0
3585.90/3597.02 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c milp : 0.17 0.00 1 7 0 0 0 0 0 0 0 0
3585.90/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c symmetry : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c setppc : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c and : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c linear : 0.22 0.03 6 0 186 0 0 0 856 0 0 0
3585.90/3597.02 c logicor : 0.20 0.03 3 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c root node : - - - 0 - - 0 - - - - -
3585.90/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.90/3597.02 c integral : 0 0 0 0 0 0 0 17 0 0 0 0 0 0 0
3585.90/3597.02 c knapsack : 0+ 1 0 1365 0 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c setppc : 1187+ 1191 17 5375 0 0 0 11 93 3 0 4 0 0 0
3585.90/3597.02 c and : 10 10 17 4086 0 0 0 10 10 0 0 19 0 0 0
3585.90/3597.02 c logicor : 61804+ 61880 17 5268 0 0 0 7 166 47 0 62 14 0 0
3585.90/3597.02 c fixedvar : 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0
3585.90/3597.02 c countsols : 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0
3585.90/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.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
3585.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
3585.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
3585.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
3585.90/3597.02 c logicor : 0.50 0.03 0.21 0.23 0.00 0.00 0.00 0.03 0.00 0.00
3585.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
3585.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
3585.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
3585.90/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.90/3597.02 c dualfix : 2 0 0 0
3585.90/3597.02 c genvbounds : 0 0 0 0
3585.90/3597.02 c nlobbt : 0 0 0 0
3585.90/3597.02 c obbt : 0 0 0 0
3585.90/3597.02 c probing : 0 0 0 0
3585.90/3597.02 c pseudoobj : 19 0 0 0
3585.90/3597.02 c redcost : 17 0 0 0
3585.90/3597.02 c rootredcost : 0 0 0 0
3585.90/3597.02 c symmetry : 0 0 0 0
3585.90/3597.02 c vbounds : 2390 0 0 0
3585.90/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.90/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3585.90/3597.02 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3585.90/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.90/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.90/3597.02 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
3585.90/3597.02 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3585.90/3597.02 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3585.90/3597.02 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3585.90/3597.02 c symmetry : 0.07 0.00 0.07 0.00 0.00 0.00
3585.90/3597.02 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3585.90/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.90/3597.02 c propagation : 0.00 48 48 - 83 4.0 7 4.3 - - -
3585.90/3597.02 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.90/3597.02 c bound exceed. LP : 0.01 1 1 - 0 0.0 0 0.0 1 128.0 10
3585.90/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.90/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.90/3597.02 c applied globally : 0.00 - - 0 79 3.9 - - 1 - -
3585.90/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.90/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.90/3597.02 c cut pool : 0.02 - 33 33 - - 2071 2105 - - - - - (maximal pool size: 2071)
3585.90/3597.02 c aggregation : 0.31 0.00 17 17 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c > cmir : - - - - - - - 0 0 0 0 0 -
3585.90/3597.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3585.90/3597.02 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3585.90/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c clique : 0.15 0.00 17 17 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c gomory : 2.00 0.00 10 10 0 0 2005 2027 0 21 21 0 0
3585.90/3597.02 c > gomorymi : - - - - - - - 835 0 4 4 0 -
3585.90/3597.02 c > strongcg : - - - - - - - 1192 0 17 17 0 -
3585.90/3597.02 c impliedbounds : 0.00 0.00 17 17 0 0 16 23 0 15 15 0 0
3585.90/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c mcf : 0.03 0.00 1 1 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c multilinear : 0.00 0.00 17 17 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3585.90/3597.02 c zerohalf : 0.70 0.00 17 17 0 0 50 55 0 46 46 0 0
3585.90/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.90/3597.02 c hybrid : 0.01 0.00 17 17 96 0 2094 96 0 2094
3585.90/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.90/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.90/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3585.90/3597.02 c problem variables: 0.00 - 0 0
3585.90/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.90/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.90/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.90/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.90/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.90/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.90/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.90/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.90/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.90/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.90/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.90/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.90/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.90/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.90/3597.02 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.90/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.90/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.90/3597.02 c LP solutions : 0.00 - - 0 0
3585.90/3597.02 c relax solutions : 0.00 - - 0 0
3585.90/3597.02 c pseudo solutions : 0.00 - - 0 0
3585.90/3597.02 c strong branching : 0.00 - - 0 0
3585.90/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3585.90/3597.02 c adaptivediving : 0.00 0.00 0 0 0
3585.90/3597.02 c alns : 0.00 0.00 0 0 0
3585.90/3597.02 c bound : 0.00 0.00 0 0 0
3585.90/3597.02 c clique : 0.11 0.00 1 0 0
3585.90/3597.02 c coefdiving : 0.00 0.00 0 0 0
3585.90/3597.02 c completesol : 0.00 0.00 0 0 0
3585.90/3597.02 c conflictdiving : 0.00 0.00 0 0 0
3585.90/3597.02 c crossover : 0.00 0.00 0 0 0
3585.90/3597.02 c dins : 0.00 0.00 0 0 0
3585.90/3597.02 c distributiondivin: 0.00 0.00 0 0 0
3585.90/3597.02 c dks : 0.00 0.00 0 0 0
3585.90/3597.02 c dps : 0.00 0.00 0 0 0
3585.90/3597.02 c dualval : 0.00 0.00 0 0 0
3585.90/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3585.90/3597.02 c feaspump : 0.00 0.00 0 0 0
3585.90/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3585.90/3597.02 c fracdiving : 0.00 0.00 0 0 0
3585.90/3597.02 c gins : 0.00 0.00 0 0 0
3585.90/3597.02 c guideddiving : 0.00 0.00 0 0 0
3585.90/3597.02 c indicator : 0.00 0.00 0 0 0
3585.90/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3585.90/3597.02 c intdiving : 0.00 0.00 0 0 0
3585.90/3597.02 c intshifting : 0.00 0.00 0 0 0
3585.90/3597.02 c linesearchdiving : 0.00 0.00 0 0 0
3585.90/3597.02 c localbranching : 0.00 0.00 0 0 0
3585.90/3597.02 c locks : 0.07 0.00 1 1 1
3585.90/3597.02 c lpface : 0.00 0.00 0 0 0
3585.90/3597.02 c mpec : 0.00 0.00 0 0 0
3585.90/3597.02 c multistart : 0.00 0.00 0 0 0
3585.90/3597.02 c mutation : 0.00 0.00 0 0 0
3585.90/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3585.90/3597.02 c objpscostdiving : 0.00 0.00 0 0 0
3585.90/3597.02 c octane : 0.00 0.00 0 0 0
3585.90/3597.02 c ofins : 0.00 0.00 0 0 0
3585.90/3597.02 c oneopt : 0.02 0.00 2 2 2
3585.90/3597.02 c padm : 0.00 0.00 0 0 0
3585.90/3597.02 c proximity : 0.00 0.00 0 0 0
3585.90/3597.02 c pscostdiving : 0.00 0.00 0 0 0
3585.90/3597.02 c randrounding : 2.77 0.00 17 0 0
3585.90/3597.02 c rens : 0.00 0.00 0 0 0
3585.90/3597.02 c reoptsols : 0.00 0.00 0 0 0
3585.90/3597.02 c repair : 0.00 0.00 0 0 0
3585.90/3597.02 c rins : 0.00 0.00 0 0 0
3585.90/3597.02 c rootsoldiving : 0.00 0.00 0 0 0
3585.90/3597.02 c rounding : 0.12 0.00 17 1 1
3585.90/3597.02 c scheduler : 0.00 0.00 0 0 0
3585.90/3597.02 c shiftandpropagate: 0.00 0.00 0 0 0
3585.90/3597.02 c shifting : 0.20 0.00 17 1 1
3585.90/3597.02 c simplerounding : 0.00 0.00 17 0 0
3585.90/3597.02 c subnlp : 0.00 0.00 0 0 0
3585.90/3597.02 c trivial : 0.01 0.00 2 2 1
3585.90/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3585.90/3597.02 c trustregion : 0.00 0.00 0 0 0
3585.90/3597.02 c trysol : 0.00 0.00 0 0 0
3585.90/3597.02 c twoopt : 0.00 0.00 0 0 0
3585.90/3597.02 c undercover : 0.00 0.00 1 0 0
3585.90/3597.02 c vbounds : 0.19 0.00 1 1 1
3585.90/3597.02 c veclendiving : 0.00 0.00 0 0 0
3585.90/3597.02 c zeroobj : 0.00 0.00 0 0 0
3585.90/3597.02 c zirounding : 0.00 0.00 0 0 0
3585.90/3597.02 c other solutions : - - - 0 -
3585.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
3585.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
3585.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
3585.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
3585.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
3585.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
3585.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
3585.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
3585.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
3585.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
3585.90/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.90/3597.02 c primal LP : 0.01 1 0 0.00 - 0.01 1
3585.90/3597.02 c dual LP : 3588.94 18 2901454 161191.89 808.44 0.00 0
3585.90/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3585.90/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.90/3597.02 c resolve instable : 0.00 0 0 0.00 -
3585.90/3597.02 c diving/probing LP: 2.55 2 76 38.00 29.75
3585.90/3597.02 c strong branching : 0.00 0 0 0.00 - - - 0
3585.90/3597.02 c (at root node) : - 0 0 0.00 -
3585.90/3597.02 c conflict analysis: 0.00 1 10 10.00 -
3585.90/3597.02 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3585.90/3597.02 c benders : 0.00 0 0 0 0.00 0 0 0
3585.90/3597.02 c B&B Tree :
3585.90/3597.02 c number of runs : 1
3585.90/3597.02 c nodes : 1 (0 internal, 1 leaves)
3585.90/3597.02 c feasible leaves : 0
3585.90/3597.02 c infeas. leaves : 0
3585.90/3597.02 c objective leaves : 0
3585.90/3597.02 c nodes (total) : 1 (0 internal, 1 leaves)
3585.90/3597.02 c nodes left : 1
3585.90/3597.02 c max depth : 0
3585.90/3597.02 c max depth (total): 0
3585.90/3597.02 c backtracks : 0 (0.0%)
3585.90/3597.02 c early backtracks : 0 (0.0%)
3585.90/3597.02 c nodes exc. ref. : 0 (0.0%)
3585.90/3597.02 c delayed cutoffs : 0
3585.90/3597.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3585.90/3597.02 c avg switch length: 1.00
3585.90/3597.02 c switching time : 0.00
3585.90/3597.02 c Root Node :
3585.90/3597.02 c First LP value : -2.61249337135424e+02
3585.90/3597.02 c First LP Iters : 38251 (530.95 Iter/sec)
3585.90/3597.02 c First LP Time : 72.04
3585.90/3597.02 c Final Dual Bound : -2.16841975308642e+02
3585.90/3597.02 c Final Root Iters : 2901494
3585.90/3597.02 c Root LP Estimate : -
3585.90/3597.02 c Solution :
3585.90/3597.02 c Solutions found : 8 (7 improvements)
3585.90/3597.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.22 seconds, depth 0, found by <trivial>)
3585.90/3597.02 c Gap First Sol. : infinite
3585.90/3597.02 c Gap Last Sol. : 186.26 %
3585.90/3597.02 c Primal Bound : -7.69999999999999e+01 (in run 1, after 1 nodes, 1586.62 seconds, depth 0, found by <oneopt>)
3585.90/3597.02 c Dual Bound : -2.16841975308642e+02
3585.90/3597.02 c Gap : 181.61 %
3585.90/3597.02 c Integrals : Total Avg%
3585.90/3597.02 c primal-dual : 254151.54 70.66
3585.90/3597.02 c primal-ref : - - (not evaluated)
3585.90/3597.02 c dual-ref : - - (not evaluated)
3586.00/3597.18 c Time complete (sec): 3586.081
OK -77
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 (54681 MiB free)
memory of node 1: 64507 MiB (63953 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499775-1751410340/watcher-4499775-1751410340 -o /tmp/evaluation-result-4499775-1751410340/solver-4499775-1751410340 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751403142-62243 --watchdog 3760 pbsolver -f HOME/instance-4499775-1751410340.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=63057, runsolver pid=63053
[startup+0.100063 s]*
/proc/loadavg: 4.08 4.09 4.09 4/263 63068
/proc/meminfo: memFree=121438672/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=51328 memory=40704 CPUtime=0.09 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 8252 0 0 0 8 1 0 0 20 0 1 0 56711813 52559872 10176 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 12832 10176 2176 2575 0 9739 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51328 KiB
Current children cumulated memory: 40704 KiB
[startup+0.205549 s]*
/proc/loadavg: 4.08 4.09 4.09 5/265 63073
/proc/meminfo: memFree=121294308/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=103248 memory=93640 CPUtime=0.2 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 21664 0 0 0 16 4 0 0 20 0 1 0 56711813 105725952 23410 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 25812 23410 2368 2575 0 22719 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 103248 KiB
Current children cumulated memory: 93640 KiB
[startup+0.305596 s]*
/proc/loadavg: 4.08 4.09 4.09 5/265 63073
/proc/meminfo: memFree=121245924/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=121892 memory=102856 CPUtime=0.3 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 23934 0 0 0 26 4 0 0 20 0 1 0 56711813 124817408 25682 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 30473 25682 2432 2575 0 27380 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 121892 KiB
Current children cumulated memory: 102856 KiB
[startup+0.700148 s]
/proc/loadavg: 4.23 4.12 4.10 5/265 63073
/proc/meminfo: memFree=121088356/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=143188 memory=132056 CPUtime=0.69 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 37611 0 0 0 62 7 0 0 20 0 1 0 56711813 146624512 33014 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 35797 33014 2496 2575 0 32704 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 143188 KiB
Current children cumulated memory: 132056 KiB
[startup+1.50014 s]
/proc/loadavg: 4.23 4.12 4.10 5/265 63073
/proc/meminfo: memFree=120782792/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=238680 memory=226416 CPUtime=1.48 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 61219 0 0 0 137 11 0 0 20 0 1 0 56711813 244408320 56604 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 59670 56604 2688 2575 0 56577 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 238680 KiB
Current children cumulated memory: 226416 KiB
[startup+3.10539 s]
/proc/loadavg: 4.23 4.12 4.10 5/265 63073
/proc/meminfo: memFree=120452260/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=239132 memory=226800 CPUtime=3.08 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 61335 0 0 0 297 11 0 0 20 0 1 0 56711813 244871168 56700 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 59783 56700 2688 2575 0 56690 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 239132 KiB
Current children cumulated memory: 226800 KiB
[startup+6.30014 s]
/proc/loadavg: 4.21 4.12 4.10 5/265 63073
/proc/meminfo: memFree=120452468/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=239956 memory=227312 CPUtime=6.27 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 61466 0 0 0 616 11 0 0 20 0 1 0 56711813 245714944 56828 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 59989 56828 2688 2575 0 56896 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 239956 KiB
Current children cumulated memory: 227312 KiB
[startup+12.7001 s]
/proc/loadavg: 4.20 4.12 4.10 5/265 63073
/proc/meminfo: memFree=120448444/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=240944 memory=228464 CPUtime=12.64 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 61747 0 0 0 1253 11 0 0 20 0 1 0 56711813 246726656 57116 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 60236 57116 2688 2575 0 57143 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 240944 KiB
Current children cumulated memory: 228464 KiB
[startup+25.5001 s]
/proc/loadavg: 4.17 4.11 4.10 5/265 63073
/proc/meminfo: memFree=120443372/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=240944 memory=228592 CPUtime=25.4 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 61763 0 0 0 2529 11 0 0 20 0 1 0 56711813 246726656 57148 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 60236 57148 2688 2575 0 57143 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 240944 KiB
Current children cumulated memory: 228592 KiB
[startup+51.1055 s]
/proc/loadavg: 4.17 4.12 4.10 5/265 63074
/proc/meminfo: memFree=120406908/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=240944 memory=228592 CPUtime=50.9 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 61763 0 0 0 5079 11 0 0 20 0 1 0 56711813 246726656 57148 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 60236 57148 2688 2575 0 57143 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 240944 KiB
Current children cumulated memory: 228592 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 63076
/proc/meminfo: memFree=120376532/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=268988 memory=249440 CPUtime=101.91 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 65977 0 0 0 10179 12 0 0 20 0 1 0 56711813 275443712 62360 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 67247 62360 2688 2575 0 64154 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 268988 KiB
Current children cumulated memory: 249440 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 63125
/proc/meminfo: memFree=119384288/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=284996 memory=261048 CPUtime=161.69 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 68009 0 0 0 16156 13 0 0 20 0 1 0 56711813 291835904 65262 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 71249 65262 2688 2575 0 68156 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 284996 KiB
Current children cumulated memory: 261048 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 63127
/proc/meminfo: memFree=119326300/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=284996 memory=261816 CPUtime=221.46 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 68016 0 0 0 22133 13 0 0 20 0 1 0 56711813 291835904 65454 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 71249 65454 2688 2575 0 68156 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 284996 KiB
Current children cumulated memory: 261816 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 63134
/proc/meminfo: memFree=119293920/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=284996 memory=271416 CPUtime=281.25 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 68063 0 0 0 28112 13 0 0 20 0 1 0 56711813 291835904 67854 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 71249 67854 2688 2575 0 68156 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 284996 KiB
Current children cumulated memory: 271416 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/264 63180
/proc/meminfo: memFree=119534872/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=284996 memory=271416 CPUtime=341.05 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 68065 0 0 0 34092 13 0 0 20 0 1 0 56711813 291835904 67854 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 71249 67854 2688 2575 0 68156 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 284996 KiB
Current children cumulated memory: 271416 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/264 63182
/proc/meminfo: memFree=119041648/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=294896 memory=275256 CPUtime=400.88 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 69065 0 0 0 40075 13 0 0 20 0 1 0 56711813 301973504 68814 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 73724 68814 2688 2575 0 70631 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 294896 KiB
Current children cumulated memory: 275256 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 63185
/proc/meminfo: memFree=119052204/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=294896 memory=275256 CPUtime=460.7 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 69104 0 0 0 46057 13 0 0 20 0 1 0 56711813 301973504 68814 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 73724 68814 2688 2575 0 70631 0
Current children cumulated CPU time: 460.7 s
################
# More data... #
################
/proc/loadavg: 4.08 4.11 4.09 5/264 63378
/proc/meminfo: memFree=117961852/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=423264 memory=343992 CPUtime=3212.35 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 83132 0 0 0 321219 16 0 0 20 0 1 0 56711813 433422336 85998 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 105816 85998 2944 2575 0 102723 0
Current children cumulated CPU time: 3212.35 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 343992 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 63380
/proc/meminfo: memFree=117932836/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=423264 memory=343992 CPUtime=3272.16 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 83132 0 0 0 327200 16 0 0 20 0 1 0 56711813 433422336 85998 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 105816 85998 2944 2575 0 102723 0
Current children cumulated CPU time: 3272.16 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 343992 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/264 63386
/proc/meminfo: memFree=117924744/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=423264 memory=343992 CPUtime=3331.98 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 83132 0 0 0 333182 16 0 0 20 0 1 0 56711813 433422336 85998 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 105816 85998 2944 2575 0 102723 0
Current children cumulated CPU time: 3331.98 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 343992 KiB
[startup+3402.3 s]
/proc/loadavg: 4.34 4.19 4.12 5/264 63389
/proc/meminfo: memFree=117906056/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=423264 memory=343992 CPUtime=3391.79 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 83136 0 0 0 339163 16 0 0 20 0 1 0 56711813 433422336 85998 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 105816 85998 2944 2575 0 102723 0
Current children cumulated CPU time: 3391.79 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 343992 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.17 4.12 5/264 63391
/proc/meminfo: memFree=117900592/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=423264 memory=343992 CPUtime=3451.61 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 83137 0 0 0 345145 16 0 0 20 0 1 0 56711813 433422336 85998 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 105816 85998 2944 2575 0 102723 0
Current children cumulated CPU time: 3451.61 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 343992 KiB
[startup+3522.3 s]
/proc/loadavg: 4.26 4.21 4.13 5/264 63394
/proc/meminfo: memFree=117892320/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=423264 memory=343992 CPUtime=3511.42 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 83137 0 0 0 351126 16 0 0 20 0 1 0 56711813 433422336 85998 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 105816 85998 2944 2575 0 102723 0
Current children cumulated CPU time: 3511.42 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 343992 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.20 4.13 5/264 63396
/proc/meminfo: memFree=117893028/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=423264 memory=343992 CPUtime=3571.24 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 83137 0 0 0 357108 16 0 0 20 0 1 0 56711813 433422336 85998 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 105816 85998 2944 2575 0 102723 0
Current children cumulated CPU time: 3571.24 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 343992 KiB
[startup+3597.19 s]
# the end of solver process 63057 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.92 s, system=0.163411 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.19 4.20 4.13 5/264 63397
/proc/meminfo: memFree=117894196/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=423264 memory=343992 CPUtime=3572.94 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 83137 0 0 0 357278 16 0 0 20 0 1 0 56711813 433422336 85998 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 105816 85998 2944 2575 0 102723 0
Current children cumulated CPU time: 3572.94 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 343992 KiB
[startup+3590.4 s]
/proc/loadavg: 4.18 4.20 4.13 5/264 63397
/proc/meminfo: memFree=117814236/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=423264 memory=343992 CPUtime=3579.31 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 83137 0 0 0 357915 16 0 0 20 0 1 0 56711813 433422336 85998 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 105816 85998 2944 2575 0 102723 0
Current children cumulated CPU time: 3579.31 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 343992 KiB
[startup+3593.6 s]
/proc/loadavg: 4.16 4.19 4.13 5/264 63397
/proc/meminfo: memFree=117814236/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=423264 memory=343992 CPUtime=3582.5 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 83137 0 0 0 358234 16 0 0 20 0 1 0 56711813 433422336 85998 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 105816 85998 2944 2575 0 102723 0
Current children cumulated CPU time: 3582.5 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 343992 KiB
[startup+3595.2 s]
/proc/loadavg: 4.16 4.19 4.13 5/264 63397
/proc/meminfo: memFree=117814236/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=423264 memory=343992 CPUtime=3584.1 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 83137 0 0 0 358394 16 0 0 20 0 1 0 56711813 433422336 85998 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 105816 85998 2944 2575 0 102723 0
Current children cumulated CPU time: 3584.1 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 343992 KiB
[startup+3596 s]*
/proc/loadavg: 4.16 4.19 4.13 5/264 63397
/proc/meminfo: memFree=117814236/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=423264 memory=343992 CPUtime=3584.9 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 83137 0 0 0 358474 16 0 0 20 0 1 0 56711813 433422336 85998 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 105816 85998 2944 2575 0 102723 0
Current children cumulated CPU time: 3584.9 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 343992 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.19 4.13 5/264 63397
/proc/meminfo: memFree=117814236/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=423264 memory=343992 CPUtime=3585.69 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 83137 0 0 0 358553 16 0 0 20 0 1 0 56711813 433422336 85998 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 105816 85998 2944 2575 0 102723 0
Current children cumulated CPU time: 3585.69 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 343992 KiB
[startup+3597 s]*
/proc/loadavg: 4.15 4.19 4.13 5/264 63397
/proc/meminfo: memFree=117814236/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=423776 memory=344504 CPUtime=3585.9 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 83280 0 0 0 358574 16 0 0 20 0 1 0 56711813 433946624 86126 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 105944 86126 2944 2575 0 102851 0
Current children cumulated CPU time: 3585.9 s
Current children cumulated vsize: 423776 KiB
Current children cumulated memory: 344504 KiB
[startup+3597.11 s]
/proc/loadavg: 4.15 4.19 4.13 5/264 63397
/proc/meminfo: memFree=117814236/131250000 swapFree=33010416/33010684
[pid=63057] ppid=63053 vsize=423776 memory=344504 CPUtime=3586 cores=0,2
/proc/63057/stat : 63057 (pbsolver) R 63053 63057 62230 0 -1 4194304 83350 0 0 0 358584 16 0 0 20 0 1 0 56711813 433946624 86126 18446744073709551615 4198400 14743177 140724617954112 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 53518336 140724617955722 140724617955818 140724617955818 140724617961420 0
/proc/63057/statm: 105944 86126 2944 2575 0 102851 0
Current children cumulated CPU time: 3586 s
Current children cumulated vsize: 423776 KiB
Current children cumulated memory: 344504 KiB
Child status: 0
Real time (s): 3597.19
CPU time (s): 3586.08
CPU user time (s): 3585.92
CPU system time (s): 0.163411
CPU usage (%): 99.6913
Max. virtual memory (cumulated for all children) (KiB): 423776
Max. memory (cumulated for all children) (KiB): 344504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.92
system time used= 0.163411
maximum resident set size= 344504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83363
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= 21952
# summary of solver processes directly reported to runsolver:
# pid: 63057
# total CPU time (s): 3586.08
# total CPU user time (s): 3585.92
# total CPU system time (s): 0.163411
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.86114 second user time and 15.0462 second system time
The end
Begin job on nodeC018 at 2025-07-02 00:52:20 IDJOB=4499775 IDBENCH=148791 IDSOLVER=3366 FILE ID=nodeC018/4499775-1751410340 RUNJOBID= nodeC018-1751403142-62243 SLURM_JOB_ID= 9598290 Free space on /tmp= 432916 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB09/OPT-LIN/featureSubscription/normalized-50-250-false-45-90-4-3000opt.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499775-1751410340/watcher-4499775-1751410340 -o /tmp/evaluation-result-4499775-1751410340/solver-4499775-1751410340 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751403142-62243 --watchdog 3760 pbsolver -f HOME/instance-4499775-1751410340.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e62abd53623fd23ed09ae1eef8b23be2 RANDOM SEED=2025261600 nodeC018 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.821 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.66 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.789 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.66 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 : 3600.452 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.66 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 : 3596.853 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.66 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.821 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.66 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 : 3600.041 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.66 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.881 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.66 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 : 3598.382 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.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 121491240 kB MemAvailable: 129258468 kB Buffers: 2128 kB Cached: 8533988 kB SwapCached: 32 kB Active: 808024 kB Inactive: 8197448 kB Active(anon): 487112 kB Inactive(anon): 288 kB Active(file): 320912 kB Inactive(file): 8197160 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 34040 kB Writeback: 0 kB AnonPages: 472468 kB Mapped: 115772 kB Shmem: 18044 kB KReclaimable: 176392 kB Slab: 266156 kB SReclaimable: 176392 kB SUnreclaim: 89764 kB KernelStack: 4160 kB PageTables: 3768 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 827728 kB VmallocTotal: 34359738367 kB VmallocUsed: 150440 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 378880 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: 201428 kB DirectMap2M: 7958528 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432856 MiB End job on nodeC018 at 2025-07-02 01:52:17