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 | 1786168 | 3586.98 | 3597.68 |
| Name | PB24/normalized-PB15eval/OPT-NLC/ minlplib2-pb-0.1.0/opb/normalized-faclay60.opb |
| MD5SUM | d5681d78197016a16986328251aa9bd6 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1477834 |
| Best CPU time to get the best result obtained on this benchmark | 72002.1 |
| 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 | 1771 |
| Total number of constraints | 68441 |
| Number of constraints which are clauses | 68440 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 90684 |
| Biggest coefficient in the objective function | 2306839 |
| Number of bits for the biggest coefficient in the objective function | 22 |
| Sum of the numbers in the objective function | 21217725 |
| Number of bits of the sum of numbers in the objective function | 25 |
| Biggest number in a constraint | 2306839 |
| Number of bits of the biggest number in a constraint | 22 |
| Biggest sum of numbers in a constraint | 21217725 |
| Number of bits of the biggest sum of numbers | 25 |
| Number of products (including duplicates) | 88914 |
| Sum of products size (including duplicates) | 177828 |
| 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-4512205-1751271855.opb>
0.20/0.29 c original problem has 90685 variables (1771 bin, 0 int, 88914 cont) and 157355 constraints
0.20/0.29 c original problem has 88914 implied integral variables (0 bin, 0 int, 88914 cont)
0.20/0.29 c problem read in 0.288 seconds
0.69/0.71 o 2306839
0.69/0.71 c feasible solution found by trivial heuristic after 0.7 seconds, objective value 2.306839e+06
0.69/0.71 c presolving:
1.00/1.02 c (round 1, exhaustive) 1 del vars, 34221 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 177828 clqs
23.69/23.88 c (23.9s) probing: 1000/90684 (1.1%) - 0 fixings, 0 aggregations, 985 implications, 0 bound changes
23.79/23.90 c (23.9s) probing: 1001/90684 (1.1%) - 0 fixings, 0 aggregations, 988 implications, 0 bound changes
23.79/23.90 c (23.9s) probing aborted: 1000/1000 successive useless probings
23.79/23.90 c (23.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
23.99/24.11 c (24.1s) no symmetry present (symcode time: 0.08)
24.09/24.21 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
24.09/24.21 c 1 deleted vars, 34221 deleted constraints, 0 added constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
24.09/24.21 c 0 implications, 178816 cliques
24.09/24.21 c presolved problem has 90684 variables (1770 bin, 0 int, 88914 cont) and 123134 constraints
24.09/24.21 c presolved problem has 88914 implied integral variables (0 bin, 0 int, 88914 cont)
24.09/24.21 c 88914 constraints of type <and>
24.09/24.21 c 34220 constraints of type <linear>
24.09/24.21 c transformed objective value is always integral (scale: 1)
24.09/24.21 c Presolving Time: 23.57
24.09/24.21 c
24.09/24.21 c - non default parameters ----------------------------------------------------------------------
24.09/24.21 c
24.09/24.21 c # SCIP version 10.0.0
24.09/24.21 c
24.09/24.21 c # maximal time in seconds to run
24.09/24.21 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
24.09/24.21 c limits/time = 3596.998039
24.09/24.21 c
24.09/24.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
24.09/24.21 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
24.09/24.21 c limits/memory = 27900
24.09/24.21 c
24.09/24.21 c # belongs reading time to solving time?
24.09/24.21 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
24.09/24.21 c timing/reading = TRUE
24.09/24.21 c
24.09/24.21 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
24.09/24.21 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
24.09/24.21 c reading/opbreader/maxintsize = 47
24.09/24.21 c
24.09/24.21 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
24.09/24.21 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
24.09/24.21 c propagating/genvbounds/timingmask = 0
24.09/24.21 c
24.09/24.21 c -----------------------------------------------------------------------------------------------
24.09/24.26 c transformed 1/1 original solutions to the transformed problem space
24.09/24.28 c
25.99/26.13 o 1786168
25.99/26.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
25.99/26.13 c p26.1s| 1 | 0 | 0 | - | clique| 0 | 90k| 123k| 212k| 0 | 0 | 0 | 0 |-7.148604e+06 | 1.786168e+06 | Inf | unknown
1564.24/1569.73 c 1570s| 1 | 0 |145551 | - | 999M | 0 | 90k| 123k| 212k| 0 | 0 | 0 | 0 | 1.148870e+05 | 1.786168e+06 |1454.72%| unknown
1582.59/1588.13 c 1588s| 1 | 0 |145900 | - | 1072M | 0 | 90k| 123k| 212k| 56 | 1 | 0 | 0 | 1.159200e+05 | 1.786168e+06 |1440.86%| unknown
1596.55/1602.10 c 1602s| 1 | 0 |146204 | - | 1100M | 0 | 90k| 123k| 212k| 93 | 2 | 0 | 0 | 1.164840e+05 | 1.786168e+06 |1433.40%| unknown
1610.52/1616.14 c 1616s| 1 | 0 |146526 | - | 1131M | 0 | 90k| 123k| 212k| 145 | 3 | 1 | 0 | 1.170820e+05 | 1.786168e+06 |1425.57%| unknown
1624.38/1630.01 c 1630s| 1 | 0 |146809 | - | 1158M | 0 | 90k| 123k| 212k| 168 | 4 | 1 | 0 | 1.175230e+05 | 1.786168e+06 |1419.85%| unknown
1638.63/1644.36 c 1644s| 1 | 0 |147136 | - | 1182M | 0 | 90k| 123k| 212k| 194 | 5 | 1 | 0 | 1.179755e+05 | 1.786168e+06 |1414.02%| unknown
1652.99/1658.73 c 1659s| 1 | 0 |147455 | - | 1214M | 0 | 90k| 123k| 212k| 220 | 6 | 1 | 0 | 1.183805e+05 | 1.786168e+06 |1408.84%| unknown
1667.75/1673.54 c 1674s| 1 | 0 |147860 | - | 1242M | 0 | 90k| 123k| 212k| 240 | 7 | 1 | 0 | 1.186595e+05 | 1.786168e+06 |1405.29%| unknown
1686.20/1692.02 c 1692s| 1 | 0 |148791 | - | 1274M | 0 | 90k| 123k| 212k| 300 | 8 | 2 | 0 | 1.209504e+05 | 1.786168e+06 |1376.78%| unknown
1705.44/1711.39 c 1711s| 1 | 0 |149792 | - | 1304M | 0 | 90k| 123k| 212k| 444 | 9 | 2 | 0 | 1.222124e+05 | 1.786168e+06 |1361.53%| unknown
1728.77/1734.77 c 1735s| 1 | 0 |151312 | - | 1329M | 0 | 90k| 123k| 212k| 562 | 10 | 3 | 0 | 1.256478e+05 | 1.786168e+06 |1321.57%| unknown
1752.80/1758.80 c 1759s| 1 | 0 |152908 | - | 1353M | 0 | 90k| 123k| 212k| 675 | 11 | 3 | 0 | 1.256478e+05 | 1.786168e+06 |1321.57%| unknown
1752.80/1758.81 c 1759s| 1 | 0 |152908 | - | 1353M | 0 | 90k| 123k| 212k| 675 | 11 | 3 | 0 | 1.288659e+05 | 1.786168e+06 |1286.07%| unknown
1780.21/1786.32 c 1786s| 1 | 0 |155683 | - | 1375M | 0 | 90k| 123k| 212k| 783 | 12 | 3 | 0 | 1.288659e+05 | 1.786168e+06 |1286.07%| unknown
1782.91/1789.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1782.91/1789.03 c 1789s| 1 | 0 |156567 | - | 1375M | 0 | 90k| 123k| 212k| 783 | 12 | 3 | 0 | 1.316262e+05 | 1.786168e+06 |1257.00%| unknown
1804.04/1810.20 c 1810s| 1 | 0 |158148 | - | 1398M | 0 | 90k| 123k| 212k| 888 | 13 | 3 | 0 | 1.316262e+05 | 1.786168e+06 |1257.00%| unknown
1807.03/1813.29 c 1813s| 1 | 0 |158701 | - | 1398M | 0 | 90k| 123k| 212k| 888 | 13 | 3 | 0 | 1.337696e+05 | 1.786168e+06 |1235.26%| unknown
1837.75/1844.03 c 1844s| 1 | 0 |160460 | - | 1419M | 0 | 90k| 123k| 212k| 991 | 14 | 4 | 0 | 1.337696e+05 | 1.786168e+06 |1235.26%| unknown
1840.53/1846.82 c 1847s| 1 | 0 |160964 | - | 1419M | 0 | 90k| 123k| 212k| 991 | 14 | 4 | 0 | 1.367771e+05 | 1.786168e+06 |1205.90%| unknown
1864.06/1870.43 c 1870s| 1 | 0 |163007 | - | 1440M | 0 | 90k| 123k| 213k|1094 | 15 | 4 | 0 | 1.367771e+05 | 1.786168e+06 |1205.90%| unknown
1867.94/1874.31 c 1874s| 1 | 0 |163759 | - | 1440M | 0 | 90k| 123k| 213k|1094 | 15 | 4 | 0 | 1.388639e+05 | 1.786168e+06 |1186.27%| unknown
1892.98/1899.41 c 1899s| 1 | 0 |165438 | - | 1461M | 0 | 90k| 123k| 213k|1280 | 16 | 4 | 0 | 1.388639e+05 | 1.786168e+06 |1186.27%| unknown
1895.77/1902.20 c 1902s| 1 | 0 |165937 | - | 1461M | 0 | 90k| 123k| 213k|1280 | 16 | 4 | 0 | 1.413552e+05 | 1.786168e+06 |1163.60%| unknown
1918.60/1925.14 c 1925s| 1 | 0 |167895 | - | 1481M | 0 | 90k| 123k| 213k|1384 | 17 | 4 | 0 | 1.413552e+05 | 1.786168e+06 |1163.60%| unknown
1920.79/1927.30 c 1927s| 1 | 0 |168422 | - | 1481M | 0 | 90k| 123k| 213k|1384 | 17 | 4 | 0 | 1.447605e+05 | 1.786168e+06 |1133.88%| unknown
1941.43/1948.06 c 1948s| 1 | 0 |170036 | - | 1502M | 0 | 90k| 123k| 213k|1487 | 18 | 4 | 0 | 1.447605e+05 | 1.786168e+06 |1133.88%| unknown
1945.01/1951.62 c 1952s| 1 | 0 |170804 | - | 1502M | 0 | 90k| 123k| 213k|1487 | 18 | 4 | 0 | 1.467266e+05 | 1.786168e+06 |1117.34%| unknown
1976.51/1983.26 c 1983s| 1 | 0 |174755 | - | 1523M | 0 | 90k| 123k| 213k|1593 | 19 | 4 | 0 | 1.467266e+05 | 1.786168e+06 |1117.34%| unknown
3586.30/3597.00 c 3597s| 1 | 0 |420789 | - | 1523M | 0 | 90k| 123k| 213k|1593 | 19 | 4 | 0 | 1.467266e+05 | 1.786168e+06 |1117.34%| unknown
3586.30/3597.00 c (node 1) LP solver hit time limit in LP 95 -- using pseudo solution instead
3586.30/3597.00 c
3586.30/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.30/3597.00 c Solving Time (sec) : 3597.00
3586.30/3597.00 c Solving Nodes : 1
3586.30/3597.00 c Primal Bound : +1.78616800000000e+06 (3 solutions)
3586.30/3597.00 c Dual Bound : +1.46726559467222e+05
3586.30/3597.00 c Gap : 1117.34 %
3586.30/3597.06 s SATISFIABLE
3586.30/3597.06 v -x1 x2 -x3 -x4 -x6 -x8 -x10 -x12 -x14 -x16 -x18 -x20 -x22 -x24 -x26 -x28 -x30 -x34 -x38 -x40 -x42 -x44 -x46 -x48 -x50 -x52 -x54
3586.30/3597.06 v -x56 -x58 -x60 -x62 -x64 -x66 -x68 -x70 -x72 -x74 -x76 -x78 -x80 -x82 -x84 -x86 -x88 -x90 -x92 -x94 -x98 -x100 -x102 -x104 -x106
3586.30/3597.06 v -x108 -x110 -x114 -x116 -x118 -x119 -x120 -x124 -x127 -x128 -x129 -x130 -x131 -x133 -x134 -x135 -x137 -x139 -x140 -x144 -x145 -x146
3586.30/3597.06 v -x148 -x149 -x151 -x152 -x153 -x154 -x156 -x157 -x159 -x160 -x161 -x163 -x166 -x167 -x168 -x169 -x171 -x172 -x174 x5 x7 x9 x11 -x13
3586.30/3597.06 v x15 x17 x19 x21 -x23 -x25 x27 x29 -x31 x35 x39 -x41 x43 x45 x47 -x49 x51 x53 -x55 x57 -x59 -x61 -x63 -x65 -x67 -x69 -x71 -x73 -x75
3586.30/3597.06 v -x77 -x79 -x81 -x83 -x85 -x87 -x89 -x91 -x93 -x95 -x99 -x101 -x103 -x105 -x107 -x109 -x111 -x115 -x117 -x121 -x122 -x123 x125 -x126
3586.30/3597.06 v -x132 -x136 -x138 -x143 -x147 -x150 -x155 -x158 -x162 -x164 -x165 -x170 -x173 -x32 -x36 x37 -x96 -x112 -x113 x175 x176 x180 -x183
3586.30/3597.06 v -x184 x185 -x186 -x187 x189 x190 x191 -x193 x195 -x196 -x200 -x201 -x202 -x204 -x205 -x207 -x208 -x209 -x210 -x212 -x213 -x215 -x216
3586.30/3597.06 v -x217 -x219 -x222 -x223 -x224 -x225 -x227 -x228 -x230 x33 -x97 x177 -x178 x179 x181 x182 x188 -x192 x194 -x199 -x203 -x206 -x211
3586.30/3597.06 v -x214 -x218 -x220 -x221 -x226 -x229 x231 x235 -x238 -x239 x240 -x241 -x242 -x244 x245 -x246 -x248 -x250 -x251 -x255 -x256 -x257
3586.30/3597.06 v -x259 -x260 -x262 -x263 -x264 -x265 -x267 -x268 -x270 -x271 -x272 -x274 -x277 -x278 -x279 -x280 -x282 -x283 -x285 -x232 -x233 -x234
3586.30/3597.06 v x236 -x237 x243 -x247 -x249 -x254 -x258 -x261 -x266 -x269 -x273 -x275 -x276 -x281 -x284 x289 -x292 -x293 x294 -x295 -x296 -x298
3586.30/3597.06 v x299 -x300 -x302 -x304 -x305 -x309 -x310 -x311 -x313 -x314 -x316 -x317 -x318 -x319 -x321 -x322 -x324 -x325 -x326 -x328 -x331 -x332
3586.30/3597.06 v -x333 -x334 -x336 -x337 -x339 -x286 -x287 -x288 x290 -x291 x297 -x301 -x303 -x308 -x312 -x315 -x320 -x323 -x327 -x329 -x330 -x335
3586.30/3597.06 v -x338 x342 -x345 -x346 x347 -x348 -x349 -x351 x352 x353 -x355 -x357 -x358 -x362 -x363 -x364 -x366 -x367 -x369 -x370 -x371 -x372
3586.30/3597.06 v -x374 -x375 -x377 -x378 -x379 -x381 -x384 -x385 -x386 -x387 -x389 -x390 -x392 -x340 -x341 x343 -x344 x350 -x354 x356 -x361 -x365
3586.30/3597.06 v -x368 -x373 -x376 -x380 -x382 -x383 -x388 -x391 x394 x397 -x398 x399 x400 x401 x403 x404 x405 x407 x409 x410 x414 -x415 -x416 -x418
3586.30/3597.06 v -x419 -x421 -x422 -x423 -x424 -x426 -x427 -x429 -x430 -x431 -x433 -x436 -x437 -x438 -x439 -x441 -x442 -x444 x393 x395 x396 x402
3586.30/3597.06 v x406 x408 x413 -x417 -x420 -x425 -x428 -x432 -x434 -x435 -x440 -x443 x445 -x448 -x449 x450 -x451 -x452 x454 x455 x456 -x458 -x460
3586.30/3597.06 v -x461 -x465 -x466 -x467 -x469 -x470 -x472 -x473 -x474 -x475 -x477 -x478 -x480 -x481 -x482 -x484 -x487 -x488 -x489 -x490 -x492 -x493
3586.30/3597.06 v -x495 x446 -x447 x453 -x457 x459 -x464 -x468 -x471 -x476 -x479 -x483 -x485 -x486 -x491 -x494 -x498 -x499 x500 -x501 -x502 -x504
3586.30/3597.06 v x505 -x506 -x508 -x510 -x511 -x515 -x516 -x517 -x519 -x520 -x522 -x523 -x524 -x525 -x527 -x528 -x530 -x531 -x532 -x534 -x537 -x538
3586.30/3597.06 v -x539 -x540 -x542 -x543 -x545 x496 -x497 x503 -x507 -x509 -x514 -x518 -x521 -x526 -x529 -x533 -x535 -x536 -x541 -x544 -x547 -x548
3586.30/3597.06 v -x549 -x550 -x551 -x553 -x554 -x555 -x557 -x559 -x560 -x564 -x565 -x566 -x568 -x569 -x571 -x572 -x573 -x574 -x576 -x577 -x579 -x580
3586.30/3597.06 v -x581 -x583 -x586 -x587 -x588 -x589 -x591 -x592 -x594 -x546 -x552 -x556 -x558 -x563 -x567 -x570 -x575 -x578 -x582 -x584 -x585 -x590
3586.30/3597.06 v -x593 -x595 -x596 x597 -x598 -x599 x601 x602 x603 -x605 -x607 -x608 -x612 -x613 -x614 -x616 -x617 -x619 -x620 -x621 -x622 -x624
3586.30/3597.06 v -x625 -x627 -x628 -x629 -x631 -x634 -x635 -x636 -x637 -x639 -x640 -x642 x600 -x604 x606 -x611 -x615 -x618 -x623 -x626 -x630 -x632
3586.30/3597.06 v -x633 -x638 -x641 -x643 x644 x645 x646 x648 x649 x650 x652 x654 x655 x659 -x660 -x661 -x663 -x664 -x666 -x667 -x668 -x669 -x671
3586.30/3597.06 v -x672 -x674 -x675 -x676 -x678 -x681 -x682 -x683 -x684 -x686 -x687 -x689 x647 x651 x653 x658 -x662 -x665 -x670 -x673 -x677 -x679
3586.30/3597.06 v -x680 -x685 -x688 x690 x691 x692 x694 x695 x696 x698 x700 x701 x705 x706 -x707 x709 -x710 -x712 -x713 -x714 -x715 -x717 -x718 -x720
3586.30/3597.06 v -x721 -x722 -x724 -x727 -x728 -x729 -x730 -x732 -x733 -x735 x693 x697 x699 x704 -x708 -x711 -x716 -x719 -x723 -x725 -x726 -x731
3586.30/3597.06 v -x734 -x736 -x737 -x739 x740 -x741 -x743 -x745 -x746 -x750 -x751 -x752 -x754 -x755 -x757 -x758 -x759 -x760 -x762 -x763 -x765 -x766
3586.30/3597.06 v -x767 -x769 -x772 -x773 -x774 -x775 -x777 -x778 -x780 x738 -x742 -x744 -x749 -x753 -x756 -x761 -x764 -x768 -x770 -x771 -x776 -x779
3586.30/3597.06 v -x781 x783 x784 x785 x787 x789 -x790 -x794 -x795 -x796 -x798 -x799 -x801 -x802 -x803 -x804 -x806 -x807 -x809 -x810 -x811 -x813 -x816
3586.30/3597.06 v -x817 -x818 -x819 -x821 -x822 -x824 x782 -x786 x788 -x793 -x797 -x800 -x805 -x808 -x812 -x814 -x815 -x820 -x823 x826 x827 x828 x830
3586.30/3597.06 v x832 -x833 x837 -x838 -x839 -x841 -x842 -x844 -x845 -x846 -x847 -x849 -x850 -x852 -x853 -x854 -x856 -x859 -x860 -x861 -x862 -x864
3586.30/3597.06 v -x865 -x867 x825 x829 x831 -x836 -x840 -x843 -x848 -x851 -x855 -x857 -x858 -x863 -x866 -x868 -x869 -x870 -x872 -x874 -x875 -x879
3586.30/3597.06 v -x880 -x881 -x883 -x884 -x886 -x887 -x888 -x889 -x891 -x892 -x894 -x895 -x896 -x898 -x901 -x902 -x903 -x904 -x906 -x907 -x909 -x871
3586.30/3597.06 v -x873 -x878 -x882 -x885 -x890 -x893 -x897 -x899 -x900 -x905 -x908 x910 x911 -x913 -x915 -x916 -x920 -x921 -x922 -x924 -x925 -x927
3586.30/3597.06 v -x928 -x929 -x930 -x932 -x933 -x935 -x936 -x937 -x939 -x942 -x943 -x944 -x945 -x947 -x948 -x950 -x912 x914 -x919 -x923 -x926 -x931
3586.30/3597.06 v -x934 -x938 -x940 -x941 -x946 -x949 -x951 -x953 -x955 -x956 -x960 -x961 -x962 -x964 -x965 -x967 -x968 -x969 -x970 -x972 -x973 -x975
3586.30/3597.06 v -x976 -x977 -x979 -x982 -x983 -x984 -x985 -x987 -x988 -x990 -x952 -x954 -x959 -x963 -x966 -x971 -x974 -x978 -x980 -x981 -x986 -x989
3586.30/3597.06 v -x992 -x994 -x995 -x999 -x1000 -x1001 -x1003 -x1004 -x1006 -x1007 -x1008 -x1009 -x1011 -x1012 -x1014 -x1015 -x1016 -x1018 -x1021
3586.30/3597.06 v -x1022 -x1023 -x1024 -x1026 -x1027 -x1029 -x991 -x993 -x998 -x1002 -x1005 -x1010 -x1013 -x1017 -x1019 -x1020 -x1025 -x1028 x1030
3586.30/3597.06 v x1032 -x1033 x1037 -x1038 -x1039 -x1041 -x1042 -x1044 -x1045 -x1046 -x1047 -x1049 -x1050 -x1052 -x1053 -x1054 -x1056 -x1059 -x1060
3586.30/3597.06 v -x1061 -x1062 -x1064 -x1065 -x1067 x1031 -x1036 -x1040 -x1043 -x1048 -x1051 -x1055 -x1057 -x1058 -x1063 -x1066 x1069 -x1070 -x1074
3586.30/3597.06 v -x1075 -x1076 -x1078 -x1079 -x1081 -x1082 -x1083 -x1084 -x1086 -x1087 -x1089 -x1090 -x1091 -x1093 -x1096 -x1097 -x1098 -x1099 -x1101
3586.30/3597.06 v -x1102 -x1104 x1068 -x1073 -x1077 -x1080 -x1085 -x1088 -x1092 -x1094 -x1095 -x1100 -x1103 -x1105 -x1106 -x1110 -x1111 -x1112 -x1114
3586.30/3597.06 v -x1115 -x1117 -x1118 -x1119 -x1120 -x1122 -x1123 -x1125 -x1126 -x1127 -x1129 -x1132 -x1133 -x1134 -x1135 -x1137 -x1138 -x1140 -x1109
3586.30/3597.06 v -x1113 -x1116 -x1121 -x1124 -x1128 -x1130 -x1131 -x1136 -x1139 -x1141 -x1145 -x1146 -x1147 -x1149 -x1150 -x1152 -x1153 -x1154 -x1155
3586.30/3597.06 v -x1157 -x1158 -x1160 -x1161 -x1162 -x1164 -x1167 -x1168 -x1169 -x1170 -x1172 -x1173 -x1175 -x1144 -x1148 -x1151 -x1156 -x1159 -x1163
3586.30/3597.06 v -x1165 -x1166 -x1171 -x1174 x1179 -x1180 -x1181 -x1183 -x1184 -x1186 -x1187 -x1188 -x1189 -x1191 -x1192 -x1194 -x1195 -x1196 -x1198
3586.30/3597.06 v -x1201 -x1202 -x1203 -x1204 -x1206 -x1207 -x1209 x1178 -x1182 -x1185 -x1190 -x1193 -x1197 -x1199 -x1200 -x1205 -x1208 -x141 x197
3586.30/3597.06 v x252 -x306 -x512 x656 x702 -x747 x791 x834 x917 -x957 x996 x1071 x1142 x1176 -x1212 -x1213 -x1214 -x1216 -x1217 -x1219 -x1220 -x1221
3586.30/3597.06 v -x1222 -x1224 -x1225 -x1227 -x1228 -x1229 -x1231 -x1234 -x1235 -x1236 -x1237 -x1239 -x1240 -x1242 x359 x411 x462 -x561 x609 -x876
3586.30/3597.06 v x1034 x1107 -x1211 -x1215 -x1218 -x1223 -x1226 -x1230 -x1232 -x1233 -x1238 -x1241 -x142 x198 -x253 -x307 -x513 x657 x703 -x748 x792
3586.30/3597.06 v x835 x918 -x958 -x997 x1072 x1143 x1177 -x1244 -x1245 -x1246 -x1248 -x1249 -x1251 -x1252 -x1253 -x1254 -x1256 -x1257 -x1259 -x1260
3586.30/3597.06 v -x1261 -x1263 -x1266 -x1267 -x1268 -x1269 -x1271 -x1272 -x1274 x360 x412 x463 -x562 x610 -x877 x1035 x1108 -x1243 -x1247 -x1250
3586.30/3597.06 v -x1255 -x1258 -x1262 -x1264 -x1265 -x1270 -x1273 x1275 -x1276 -x1277 -x1279 -x1280 -x1282 -x1283 -x1284 -x1285 -x1287 -x1288 -x1290
3586.30/3597.06 v -x1291 -x1292 -x1294 -x1297 -x1298 -x1299 -x1300 -x1302 -x1303 -x1305 -x1278 -x1281 -x1286 -x1289 -x1293 -x1295 -x1296 -x1301 -x1304
3586.30/3597.06 v -x1306 -x1307 -x1309 -x1310 -x1312 -x1313 -x1314 -x1315 -x1317 -x1318 -x1320 -x1321 -x1322 -x1324 -x1327 -x1328 -x1329 -x1330 -x1332
3586.30/3597.06 v -x1333 -x1335 -x1308 -x1311 -x1316 -x1319 -x1323 -x1325 -x1326 -x1331 -x1334 -x1336 -x1338 -x1339 -x1341 -x1342 -x1343 -x1344 -x1346
3586.30/3597.06 v -x1347 -x1349 -x1350 -x1351 -x1353 -x1356 -x1357 -x1358 -x1359 -x1361 -x1362 -x1364 -x1337 -x1340 -x1345 -x1348 -x1352 -x1354 -x1355
3586.30/3597.06 v -x1360 -x1363 x1366 -x1367 -x1369 -x1370 -x1371 -x1372 -x1374 -x1375 -x1377 -x1378 -x1379 -x1381 -x1384 -x1385 -x1386 -x1387 -x1389
3586.30/3597.06 v -x1390 -x1392 -x1365 -x1368 -x1373 -x1376 -x1380 -x1382 -x1383 -x1388 -x1391 x1393 x1394 -x1396 -x1397 -x1398 -x1399 -x1401 -x1402
3586.30/3597.06 v -x1404 -x1405 -x1406 -x1408 -x1411 -x1412 -x1413 -x1414 -x1416 -x1417 -x1419 x1395 -x1400 -x1403 -x1407 -x1409 -x1410 -x1415 -x1418
3586.30/3597.06 v -x1420 -x1422 -x1423 -x1424 -x1425 -x1427 -x1428 -x1430 -x1431 -x1432 -x1434 -x1437 -x1438 -x1439 -x1440 -x1442 -x1443 -x1445 -x1421
3586.30/3597.06 v -x1426 -x1429 -x1433 -x1435 -x1436 -x1441 -x1444 -x1447 -x1448 -x1449 -x1450 -x1452 -x1453 -x1455 -x1456 -x1457 -x1459 -x1462 -x1463
3586.30/3597.06 v -x1464 -x1465 -x1467 -x1468 -x1470 -x1446 -x1451 -x1454 -x1458 -x1460 -x1461 -x1466 -x1469 -x1471 -x1472 -x1473 -x1474 -x1476 -x1477
3586.30/3597.06 v -x1479 -x1480 -x1481 -x1483 -x1486 -x1487 -x1488 -x1489 -x1491 -x1492 -x1494 -x1475 -x1478 -x1482 -x1484 -x1485 -x1490 -x1493 x1495
3586.30/3597.06 v x1496 x1497 x1499 -x1500 -x1502 -x1503 -x1504 x1506 -x1509 -x1510 -x1511 -x1512 -x1514 -x1515 -x1517 x1498 x1501 -x1505 -x1507 -x1508
3586.30/3597.06 v -x1513 -x1516 -x1518 -x1519 x1521 -x1522 -x1524 -x1525 -x1526 -x1528 -x1531 -x1532 -x1533 -x1534 -x1536 -x1537 -x1539 x1520 -x1523
3586.30/3597.06 v -x1527 -x1529 -x1530 -x1535 -x1538 x1540 x1542 -x1543 -x1545 -x1546 -x1547 x1549 -x1552 -x1553 -x1554 -x1555 -x1557 -x1558 -x1560
3586.30/3597.06 v x1541 x1544 -x1548 -x1550 -x1551 -x1556 -x1559 x1562 -x1563 -x1565 -x1566 -x1567 x1569 -x1572 -x1573 -x1574 -x1575 -x1577 -x1578
3586.30/3597.06 v -x1580 x1561 x1564 -x1568 -x1570 -x1571 -x1576 -x1579 -x1581 -x1582 -x1584 -x1585 -x1586 -x1588 -x1591 -x1592 -x1593 -x1594 -x1596
3586.30/3597.06 v -x1597 -x1599 -x1583 -x1587 -x1589 -x1590 -x1595 -x1598 -x1600 -x1602 -x1603 -x1604 -x1606 -x1609 -x1610 -x1611 -x1612 -x1614 -x1615
3586.30/3597.06 v -x1617 -x1601 -x1605 -x1607 -x1608 -x1613 -x1616 x1619 x1620 x1621 x1623 -x1626 -x1627 -x1628 -x1629 -x1631 -x1632 -x1634 x1618
3586.30/3597.06 v -x1622 -x1624 -x1625 -x1630 -x1633 -x1635 -x1636 -x1637 -x1639 -x1642 -x1643 -x1644 -x1645 -x1647 -x1648 -x1650 -x1638 -x1640 -x1641
3586.30/3597.06 v -x1646 -x1649 -x1651 -x1652 x1654 -x1657 -x1658 -x1659 -x1660 -x1662 -x1663 -x1665 -x1653 -x1655 -x1656 -x1661 -x1664 x1666 x1668
3586.30/3597.06 v -x1671 -x1672 -x1673 -x1674 -x1676 -x1677 -x1679 -x1667 -x1669 -x1670 -x1675 -x1678 x1681 -x1684 -x1685 -x1686 -x1687 -x1689 -x1690
3586.30/3597.06 v -x1692 -x1680 -x1682 -x1683 -x1688 -x1691 x1693 x1696 x1697 x1698 x1699 x1701 x1702 x1704 x1694 x1695 -x1700 x1703 -x1707 -x1708
3586.30/3597.06 v -x1709 -x1710 -x1712 -x1713 -x1715 -x1705 -x1706 -x1711 -x1714 -x1717 -x1718 -x1719 -x1720 -x1722 -x1723 -x1725 -x1716 -x1721 -x1724
3586.30/3597.06 v -x1726 -x1727 x1728 -x1729 -x1731 -x1732 -x1734 -x1730 -x1733 x1735 x1736 -x1737 x1739 -x1740 -x1742 -x1738 -x1741 x1743 -x1744
3586.30/3597.06 v x1746 -x1747 -x1749 -x1745 -x1748 -x1750 -x1752 -x1753 -x1755 -x1751 -x1754 x1757 x1758 -x1760 -x1756 x1759 x1761 x1762 x1764 x1763
3586.30/3597.07 v -x1765 -x1767 -x1766 -x1769 -x1768 -x1770 -x1210 x1771
3586.30/3597.07 c SCIP Status : solving was interrupted [time limit reached]
3586.30/3597.07 c Total Time : 3597.00
3586.30/3597.07 c solving : 3597.00
3586.30/3597.07 c presolving : 23.57 (included in solving)
3586.30/3597.07 c reading : 0.29 (included in solving)
3586.30/3597.07 c copying : 0.16 (1 #copies) (minimal 0.16, maximal 0.16, average 0.16)
3586.30/3597.07 c Original Problem :
3586.30/3597.07 c Problem name : HOME/instance-4512205-1751271855.opb
3586.30/3597.07 c Variables : 90685 (1771 binary, 0 integer, 88914 continuous)
3586.30/3597.07 c implied integral : 88914 (0 binary, 0 integer, 88914 continuous)
3586.30/3597.07 c Constraints : 157355 initial, 157355 maximal
3586.30/3597.07 c Objective : minimize, 90684 non-zeros (abs.min = 2, abs.max = 2.30684e+06)
3586.30/3597.07 c Presolved Problem :
3586.30/3597.07 c Problem name : t_HOME/instance-4512205-1751271855.opb
3586.30/3597.07 c Variables : 90684 (1770 binary, 0 integer, 88914 continuous)
3586.30/3597.07 c implied integral : 88914 (0 binary, 0 integer, 88914 continuous)
3586.30/3597.07 c Constraints : 123134 initial, 123138 maximal
3586.30/3597.07 c Objective : minimize, 90683 non-zeros (abs.min = 2, abs.max = 14386)
3586.30/3597.07 c Nonzeros : 369402 constraint, 357632 clique table
3586.30/3597.07 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.30/3597.07 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c trivial : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c dualfix : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c probing : 22.76 0.00 1 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c pseudoobj : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c symmetry : 0.21 0.00 1 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c and : 0.23 0.00 4 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c linear : 0.15 0.03 4 1 0 0 1 0 34221 0 0 0
3586.30/3597.07 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c components : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c root node : - - - 0 - - 0 - - - - -
3586.30/3597.07 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.30/3597.07 c integral : 0 0 0 0 0 0 0 25 0 0 0 0 0 0 0
3586.30/3597.07 c and : 88914 88914 19 20814 0 0 0 22 0 0 0 996 0 0 0
3586.30/3597.07 c linear : 34220 34220 19 20769 0 0 0 5 6 5 0 0 0 0 0
3586.30/3597.07 c logicor : 0+ 4 17 30 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c fixedvar : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3586.30/3597.07 c countsols : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
3586.30/3597.07 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.30/3597.07 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.30/3597.07 c and : 21.60 0.00 0.83 20.72 0.00 0.00 0.00 0.05 0.00 0.00
3586.30/3597.07 c linear : 1.10 0.03 0.07 0.99 0.00 0.00 0.00 0.01 0.00 0.00
3586.30/3597.07 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.30/3597.07 c fixedvar : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.01 0.00 0.00
3586.30/3597.07 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.30/3597.07 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.30/3597.07 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.30/3597.07 c dualfix : 2 0 0 0
3586.30/3597.07 c genvbounds : 0 0 0 0
3586.30/3597.07 c nlobbt : 0 0 0 0
3586.30/3597.07 c obbt : 0 0 0 0
3586.30/3597.07 c probing : 0 0 0 0
3586.30/3597.07 c pseudoobj : 21 0 0 0
3586.30/3597.07 c redcost : 19 0 0 0
3586.30/3597.07 c rootredcost : 0 0 0 0
3586.30/3597.07 c symmetry : 0 0 0 0
3586.30/3597.07 c vbounds : 15375 0 0 0
3586.30/3597.07 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.30/3597.07 c dualfix : 0.01 0.00 0.01 0.01 0.00 0.00
3586.30/3597.07 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.30/3597.07 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.30/3597.07 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.30/3597.07 c probing : 22.77 0.00 22.76 0.00 0.00 0.00
3586.30/3597.07 c pseudoobj : 0.04 0.00 0.01 0.03 0.00 0.00
3586.30/3597.07 c redcost : 0.12 0.00 0.00 0.12 0.00 0.00
3586.30/3597.07 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.30/3597.07 c symmetry : 0.21 0.00 0.21 0.00 0.00 0.00
3586.30/3597.07 c vbounds : 0.17 0.00 0.00 0.17 0.00 0.00
3586.30/3597.07 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.30/3597.07 c propagation : 0.00 4 4 - 4 4.0 0 0.0 - - -
3586.30/3597.07 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.30/3597.07 c bound exceed. LP : 5.55 6 0 - 0 0.0 0 0.0 0 0.0 60
3586.30/3597.07 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.30/3597.07 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.30/3597.07 c applied globally : 0.00 - - 0 4 4.0 - - 0 - -
3586.30/3597.07 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.30/3597.07 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.30/3597.07 c cut pool : 0.02 - 37 37 - - 3604 5161 - - - - - (maximal pool size: 3604)
3586.30/3597.07 c aggregation : 224.85 0.00 19 19 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.30/3597.07 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.30/3597.07 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.30/3597.07 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c clique : 0.31 0.00 19 19 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c gomory : 5.69 0.00 10 10 0 0 2003 2925 0 189 189 0 0
3586.30/3597.07 c > gomorymi : - - - - - - - 978 0 9 9 0 -
3586.30/3597.07 c > strongcg : - - - - - - - 1947 0 180 180 0 -
3586.30/3597.07 c impliedbounds : 0.26 0.00 19 19 0 0 363 996 0 168 168 0 0
3586.30/3597.07 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c mcf : 0.09 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c mixing : 0.00 0.00 19 19 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c multilinear : 0.07 0.00 19 19 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c zerohalf : 7.63 0.00 19 19 0 0 1238 1240 0 1236 1236 0 0
3586.30/3597.07 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.30/3597.07 c hybrid : 0.06 0.00 19 19 1593 0 4564 1593 0 4564
3586.30/3597.07 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c Pricers : ExecTime SetupTime Calls Vars
3586.30/3597.07 c problem variables: 0.31 - 87 22145
3586.30/3597.07 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.30/3597.07 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.30/3597.07 c LP solutions : 0.00 - - 0 0
3586.30/3597.07 c relax solutions : 0.00 - - 0 0
3586.30/3597.07 c pseudo solutions : 0.00 - - 0 0
3586.30/3597.07 c strong branching : 0.00 - - 0 0
3586.30/3597.07 c actconsdiving : 0.00 0.00 0 0 0
3586.30/3597.07 c adaptivediving : 0.00 0.00 0 0 0
3586.30/3597.07 c alns : 0.00 0.00 0 0 0
3586.30/3597.07 c bound : 0.00 0.00 0 0 0
3586.30/3597.07 c clique : 1.85 0.00 1 1 1
3586.30/3597.07 c coefdiving : 0.00 0.00 0 0 0
3586.30/3597.07 c completesol : 0.00 0.00 0 0 0
3586.30/3597.07 c conflictdiving : 0.00 0.00 0 0 0
3586.30/3597.07 c crossover : 0.00 0.00 0 0 0
3586.30/3597.07 c dins : 0.00 0.00 0 0 0
3586.30/3597.07 c distributiondivin: 0.00 0.00 0 0 0
3586.30/3597.07 c dks : 0.00 0.00 0 0 0
3586.30/3597.07 c dps : 0.00 0.00 0 0 0
3586.30/3597.07 c dualval : 0.00 0.00 0 0 0
3586.30/3597.07 c farkasdiving : 0.00 0.00 0 0 0
3586.30/3597.07 c feaspump : 0.00 0.00 0 0 0
3586.30/3597.07 c fixandinfer : 0.00 0.00 0 0 0
3586.30/3597.07 c fracdiving : 0.00 0.00 0 0 0
3586.30/3597.07 c gins : 0.00 0.00 0 0 0
3586.30/3597.07 c guideddiving : 0.00 0.00 0 0 0
3586.30/3597.07 c indicator : 0.00 0.00 0 0 0
3586.30/3597.07 c indicatordiving : 0.00 0.00 0 0 0
3586.30/3597.07 c intdiving : 0.00 0.00 0 0 0
3586.30/3597.07 c intshifting : 0.00 0.00 0 0 0
3586.30/3597.07 c linesearchdiving : 0.00 0.00 0 0 0
3586.30/3597.07 c localbranching : 0.00 0.00 0 0 0
3586.30/3597.07 c locks : 1.66 0.00 1 0 0
3586.30/3597.07 c lpface : 0.00 0.00 0 0 0
3586.30/3597.07 c mpec : 0.00 0.00 0 0 0
3586.30/3597.07 c multistart : 0.00 0.00 0 0 0
3586.30/3597.07 c mutation : 0.00 0.00 0 0 0
3586.30/3597.07 c nlpdiving : 0.00 0.00 0 0 0
3586.30/3597.07 c objpscostdiving : 0.00 0.00 0 0 0
3586.30/3597.07 c octane : 0.00 0.00 0 0 0
3586.30/3597.07 c ofins : 0.00 0.00 0 0 0
3586.30/3597.07 c oneopt : 0.04 0.00 1 0 0
3586.30/3597.07 c padm : 0.00 0.00 0 0 0
3586.30/3597.07 c proximity : 0.00 0.00 0 0 0
3586.30/3597.07 c pscostdiving : 0.00 0.00 0 0 0
3586.30/3597.07 c randrounding : 6.61 0.00 19 0 0
3586.30/3597.07 c rens : 0.00 0.00 0 0 0
3586.30/3597.07 c reoptsols : 0.00 0.00 0 0 0
3586.30/3597.07 c repair : 0.00 0.00 0 0 0
3586.30/3597.07 c rins : 0.00 0.00 0 0 0
3586.30/3597.07 c rootsoldiving : 0.00 0.00 0 0 0
3586.30/3597.07 c rounding : 0.13 0.00 19 0 0
3586.30/3597.07 c scheduler : 0.00 0.00 0 0 0
3586.30/3597.07 c shiftandpropagate: 0.00 0.00 0 0 0
3586.30/3597.07 c shifting : 0.96 0.00 19 0 0
3586.30/3597.07 c simplerounding : 0.30 0.00 87 0 0
3586.30/3597.07 c subnlp : 0.00 0.00 0 0 0
3586.30/3597.07 c trivial : 0.11 0.00 2 2 1
3586.30/3597.07 c trivialnegation : 0.00 0.00 0 0 0
3586.30/3597.07 c trustregion : 0.00 0.00 0 0 0
3586.30/3597.07 c trysol : 0.00 0.00 0 0 0
3586.30/3597.07 c twoopt : 0.00 0.00 0 0 0
3586.30/3597.07 c undercover : 3.83 0.00 1 0 0
3586.30/3597.07 c vbounds : 17.97 0.00 1 0 0
3586.30/3597.07 c veclendiving : 0.00 0.00 0 0 0
3586.30/3597.07 c zeroobj : 0.00 0.00 0 0 0
3586.30/3597.07 c zirounding : 0.00 0.00 0 0 0
3586.30/3597.07 c other solutions : - - - 0 -
3586.30/3597.07 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.30/3597.07 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.30/3597.07 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.30/3597.07 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.30/3597.07 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.30/3597.07 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.30/3597.07 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.30/3597.07 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.30/3597.07 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.30/3597.07 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.30/3597.07 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.30/3597.07 c primal LP : 1660.13 79 257655 3435.40 155.20 28.31 4
3586.30/3597.07 c dual LP : 1635.49 34 163134 8156.70 99.75 1.01 14
3586.30/3597.07 c lex dual LP : 0.00 0 0 0.00 -
3586.30/3597.07 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.30/3597.07 c resolve instable : 0.00 0 0 0.00 -
3586.30/3597.07 c diving/probing LP: 0.27 0 0 0.00 0.00
3586.30/3597.07 c strong branching : 0.00 0 0 0.00 - - - 0
3586.30/3597.07 c (at root node) : - 0 0 0.00 -
3586.30/3597.07 c conflict analysis: 0.14 6 60 10.00 421.03
3586.30/3597.07 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.30/3597.07 c benders : 0.00 0 0 0 0.00 0 0 0
3586.30/3597.07 c B&B Tree :
3586.30/3597.07 c number of runs : 1
3586.30/3597.07 c nodes : 1 (0 internal, 1 leaves)
3586.30/3597.07 c feasible leaves : 0
3586.30/3597.07 c infeas. leaves : 0
3586.30/3597.07 c objective leaves : 0
3586.30/3597.07 c nodes (total) : 1 (0 internal, 1 leaves)
3586.30/3597.07 c nodes left : 1
3586.30/3597.07 c max depth : 0
3586.30/3597.07 c max depth (total): 0
3586.30/3597.07 c backtracks : 0 (0.0%)
3586.30/3597.07 c early backtracks : 0 (0.0%)
3586.30/3597.07 c nodes exc. ref. : 0 (0.0%)
3586.30/3597.07 c delayed cutoffs : 0
3586.30/3597.07 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3586.30/3597.07 c avg switch length: 1.00
3586.30/3597.07 c switching time : 0.00
3586.30/3597.07 c Root Node :
3586.30/3597.07 c First LP value : +1.14887000000000e+05
3586.30/3597.07 c First LP Iters : 145551 (95.52 Iter/sec)
3586.30/3597.07 c First LP Time : 1523.83
3586.30/3597.07 c Final Dual Bound : +1.46726559467222e+05
3586.30/3597.07 c Final Root Iters : 420789
3586.30/3597.07 c Root LP Estimate : -
3586.30/3597.07 c Solution :
3586.30/3597.07 c Solutions found : 3 (2 improvements)
3586.30/3597.07 c First Solution : +2.30683900000000e+06 (in run 1, after 0 nodes, 0.64 seconds, depth 0, found by <trivial>)
3586.30/3597.07 c Gap First Sol. : infinite
3586.30/3597.07 c Gap Last Sol. : infinite
3586.30/3597.07 c Primal Bound : +1.78616800000000e+06 (in run 1, after 1 nodes, 26.10 seconds, depth 364, found by <clique>)
3586.30/3597.07 c Dual Bound : +1.46726559467222e+05
3586.30/3597.07 c Gap : 1117.34 %
3586.30/3597.07 c Integrals : Total Avg%
3586.30/3597.07 c primal-dual : 343451.16 95.48
3586.30/3597.07 c primal-ref : - - (not evaluated)
3586.30/3597.07 c dual-ref : - - (not evaluated)
3586.89/3597.67 c Time complete (sec): 3586.972
OK 1786168
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (60096 MiB free)
memory of node 1: 64465 MiB (62081 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512205-1751271855/watcher-4512205-1751271855 -o /tmp/evaluation-result-4512205-1751271855/solver-4512205-1751271855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751268232-45648 --watchdog 3760 pbsolver -f HOME/instance-4512205-1751271855.opb -t 3600 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=46425, runsolver pid=46422
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 4.12 4.11 4.03 5/263 46426
/proc/meminfo: memFree=125030476/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=105376 memory=92160 CPUtime=0.09 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 21088 0 0 0 6 3 0 0 20 0 1 0 42864311 107905024 23040 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 26344 23040 2176 2575 0 23251 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 105376 KiB
Current children cumulated memory: 92160 KiB
[startup+0.205544 s]*
/proc/loadavg: 4.12 4.11 4.03 5/263 46426
/proc/meminfo: memFree=124966216/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=166820 memory=154128 CPUtime=0.2 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 36762 0 0 0 15 5 0 0 20 0 1 0 42864311 170823680 38532 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 41705 38532 2176 2575 0 38612 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 166820 KiB
Current children cumulated memory: 154128 KiB
[startup+0.305424 s]*
/proc/loadavg: 4.12 4.11 4.03 5/263 46426
/proc/meminfo: memFree=124942024/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=185580 memory=176268 CPUtime=0.29 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 47086 0 0 0 23 6 0 0 20 0 1 0 42864311 190033920 44067 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 46395 44067 2368 2575 0 43302 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 185580 KiB
Current children cumulated memory: 176268 KiB
[startup+0.700191 s]
/proc/loadavg: 4.12 4.11 4.03 5/263 46426
/proc/meminfo: memFree=124821316/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=412484 memory=394636 CPUtime=0.69 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 101689 0 0 0 55 14 0 0 20 0 1 0 42864311 422383616 98659 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 103121 98659 2400 2575 0 100028 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 412484 KiB
Current children cumulated memory: 394636 KiB
[startup+1.50018 s]
/proc/loadavg: 4.12 4.11 4.03 5/263 46426
/proc/meminfo: memFree=124676668/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=461880 memory=444556 CPUtime=1.49 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 114326 0 0 0 133 16 0 0 20 0 1 0 42864311 472965120 111139 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 115470 111139 2464 2575 0 112377 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 461880 KiB
Current children cumulated memory: 444556 KiB
[startup+3.10559 s]
/proc/loadavg: 4.11 4.11 4.03 5/263 46426
/proc/meminfo: memFree=124676668/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=461880 memory=444556 CPUtime=3.09 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 114326 0 0 0 293 16 0 0 20 0 1 0 42864311 472965120 111139 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 115470 111139 2464 2575 0 112377 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 461880 KiB
Current children cumulated memory: 444556 KiB
[startup+6.30017 s]
/proc/loadavg: 4.11 4.11 4.03 5/263 46426
/proc/meminfo: memFree=124677228/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=461880 memory=444556 CPUtime=6.27 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 114326 0 0 0 611 16 0 0 20 0 1 0 42864311 472965120 111139 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 115470 111139 2464 2575 0 112377 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 461880 KiB
Current children cumulated memory: 444556 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.03 4/260 46440
/proc/meminfo: memFree=125053060/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=461880 memory=444556 CPUtime=12.64 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 114327 0 0 0 1248 16 0 0 20 0 1 0 42864311 472965120 111139 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 115470 111139 2464 2575 0 112377 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 461880 KiB
Current children cumulated memory: 444556 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.04 5/263 46471
/proc/meminfo: memFree=124603000/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1002244 memory=840504 CPUtime=25.39 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 207762 0 0 0 2507 32 0 0 20 0 1 0 42864311 1026297856 210126 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 250561 210126 2560 2575 0 247468 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1002244 KiB
Current children cumulated memory: 840504 KiB
[startup+51.1054 s]
/proc/loadavg: 4.10 4.11 4.03 5/263 46472
/proc/meminfo: memFree=124464356/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1137160 memory=958676 CPUtime=50.88 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 237029 0 0 0 5052 36 0 0 20 0 1 0 42864311 1164451840 239669 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 284290 239669 2624 2575 0 281197 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1137160 KiB
Current children cumulated memory: 958676 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.04 5/264 46481
/proc/meminfo: memFree=124426256/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1171636 memory=983712 CPUtime=101.86 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 241850 0 0 0 10148 38 0 0 20 0 1 0 42864311 1199755264 245928 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 292909 245928 2624 2575 0 289816 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 1171636 KiB
Current children cumulated memory: 983712 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/264 46483
/proc/meminfo: memFree=124331076/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1177048 memory=989600 CPUtime=161.59 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 243326 0 0 0 16121 38 0 0 20 0 1 0 42864311 1205297152 247400 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 294262 247400 2624 2575 0 291169 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 1177048 KiB
Current children cumulated memory: 989600 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/264 46485
/proc/meminfo: memFree=124306456/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1177048 memory=990624 CPUtime=221.32 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 243599 0 0 0 22093 39 0 0 20 0 1 0 42864311 1205297152 247656 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 294262 247656 2624 2575 0 291169 0
Current children cumulated CPU time: 221.32 s
Current children cumulated vsize: 1177048 KiB
Current children cumulated memory: 990624 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/264 46487
/proc/meminfo: memFree=124254432/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1177048 memory=991136 CPUtime=281.08 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 243750 0 0 0 28069 39 0 0 20 0 1 0 42864311 1205297152 247784 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 294262 247784 2624 2575 0 291169 0
Current children cumulated CPU time: 281.08 s
Current children cumulated vsize: 1177048 KiB
Current children cumulated memory: 991136 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/263 46489
/proc/meminfo: memFree=124212424/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1181764 memory=996240 CPUtime=340.82 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 244531 0 0 0 34043 39 0 0 20 0 1 0 42864311 1210126336 249060 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 295441 249060 2624 2575 0 292348 0
Current children cumulated CPU time: 340.82 s
Current children cumulated vsize: 1181764 KiB
Current children cumulated memory: 996240 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.05 5/263 46493
/proc/meminfo: memFree=124149488/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1181764 memory=996496 CPUtime=400.55 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 244592 0 0 0 40016 39 0 0 20 0 1 0 42864311 1210126336 249124 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 295441 249124 2624 2575 0 292348 0
Current children cumulated CPU time: 400.55 s
Current children cumulated vsize: 1181764 KiB
Current children cumulated memory: 996496 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.06 5/263 46494
/proc/meminfo: memFree=124121468/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1181764 memory=996624 CPUtime=460.31 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 244648 0 0 0 45991 40 0 0 20 0 1 0 42864311 1210126336 249156 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 295441 249156 2624 2575 0 292348 0
################
# More data... #
################
/proc/loadavg: 2.14 2.10 2.41 3/252 46700
/proc/meminfo: memFree=123327636/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1894020 memory=1618412 CPUtime=3152.52 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 373069 0 0 0 315190 62 0 0 20 0 1 0 42864311 1939476480 404603 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 473505 404603 2656 2575 0 470412 0
Current children cumulated CPU time: 3152.52 s
Current children cumulated vsize: 1894020 KiB
Current children cumulated memory: 1618412 KiB
[startup+3222.3 s]
/proc/loadavg: 2.11 2.10 2.39 3/251 46702
/proc/meminfo: memFree=123299704/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1894020 memory=1618412 CPUtime=3212.4 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 373183 0 0 0 321178 62 0 0 20 0 1 0 42864311 1939476480 404603 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 473505 404603 2656 2575 0 470412 0
Current children cumulated CPU time: 3212.4 s
Current children cumulated vsize: 1894020 KiB
Current children cumulated memory: 1618412 KiB
[startup+3282.3 s]
/proc/loadavg: 2.17 2.11 2.37 3/251 46704
/proc/meminfo: memFree=123274332/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1894020 memory=1618412 CPUtime=3272.28 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 373504 0 0 0 327166 62 0 0 20 0 1 0 42864311 1939476480 404603 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 473505 404603 2656 2575 0 470412 0
Current children cumulated CPU time: 3272.28 s
Current children cumulated vsize: 1894020 KiB
Current children cumulated memory: 1618412 KiB
[startup+3342.3 s]
/proc/loadavg: 2.35 2.19 2.38 3/252 46707
/proc/meminfo: memFree=123237528/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1894020 memory=1618412 CPUtime=3332.14 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 373506 0 0 0 333152 62 0 0 20 0 1 0 42864311 1939476480 404603 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 473505 404603 2656 2575 0 470412 0
Current children cumulated CPU time: 3332.14 s
Current children cumulated vsize: 1894020 KiB
Current children cumulated memory: 1618412 KiB
[startup+3402.3 s]
/proc/loadavg: 2.18 2.17 2.36 3/252 46709
/proc/meminfo: memFree=123206080/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1894020 memory=1618412 CPUtime=3392.02 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 373507 0 0 0 339140 62 0 0 20 0 1 0 42864311 1939476480 404603 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 473505 404603 2656 2575 0 470412 0
Current children cumulated CPU time: 3392.02 s
Current children cumulated vsize: 1894020 KiB
Current children cumulated memory: 1618412 KiB
[startup+3462.3 s]
/proc/loadavg: 2.11 2.15 2.34 3/255 46723
/proc/meminfo: memFree=123180260/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1894020 memory=1618412 CPUtime=3451.88 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 373507 0 0 0 345126 62 0 0 20 0 1 0 42864311 1939476480 404603 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 473505 404603 2656 2575 0 470412 0
Current children cumulated CPU time: 3451.88 s
Current children cumulated vsize: 1894020 KiB
Current children cumulated memory: 1618412 KiB
[startup+3522.3 s]
/proc/loadavg: 2.13 2.15 2.33 3/251 46725
/proc/meminfo: memFree=123154204/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1894020 memory=1618412 CPUtime=3511.76 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 373635 0 0 0 351114 62 0 0 20 0 1 0 42864311 1939476480 404603 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 473505 404603 2656 2575 0 470412 0
Current children cumulated CPU time: 3511.76 s
Current children cumulated vsize: 1894020 KiB
Current children cumulated memory: 1618412 KiB
[startup+3582.3 s]
/proc/loadavg: 2.09 2.14 2.31 3/251 46727
/proc/meminfo: memFree=123118996/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1894020 memory=1618412 CPUtime=3571.62 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 373952 0 0 0 357100 62 0 0 20 0 1 0 42864311 1939476480 404603 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 473505 404603 2656 2575 0 470412 0
Current children cumulated CPU time: 3571.62 s
Current children cumulated vsize: 1894020 KiB
Current children cumulated memory: 1618412 KiB
[startup+3597.68 s]
# the end of solver process 46425 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.34 s, system=0.635852 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.08 2.13 2.31 3/251 46727
/proc/meminfo: memFree=123118996/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1894020 memory=1618412 CPUtime=3573.32 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 373952 0 0 0 357270 62 0 0 20 0 1 0 42864311 1939476480 404603 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 473505 404603 2656 2575 0 470412 0
Current children cumulated CPU time: 3573.32 s
Current children cumulated vsize: 1894020 KiB
Current children cumulated memory: 1618412 KiB
[startup+3590.4 s]
/proc/loadavg: 2.16 2.15 2.32 3/251 46727
/proc/meminfo: memFree=123118996/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1894020 memory=1618412 CPUtime=3579.71 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 373952 0 0 0 357909 62 0 0 20 0 1 0 42864311 1939476480 404603 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 473505 404603 2656 2575 0 470412 0
Current children cumulated CPU time: 3579.71 s
Current children cumulated vsize: 1894020 KiB
Current children cumulated memory: 1618412 KiB
[startup+3593.6 s]
/proc/loadavg: 2.16 2.15 2.32 3/251 46727
/proc/meminfo: memFree=123118996/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1894020 memory=1618412 CPUtime=3582.9 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 373952 0 0 0 358228 62 0 0 20 0 1 0 42864311 1939476480 404603 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 473505 404603 2656 2575 0 470412 0
Current children cumulated CPU time: 3582.9 s
Current children cumulated vsize: 1894020 KiB
Current children cumulated memory: 1618412 KiB
[startup+3595.2 s]
/proc/loadavg: 2.14 2.14 2.31 3/251 46727
/proc/meminfo: memFree=123114900/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1894020 memory=1618412 CPUtime=3584.5 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 373952 0 0 0 358388 62 0 0 20 0 1 0 42864311 1939476480 404603 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 473505 404603 2656 2575 0 470412 0
Current children cumulated CPU time: 3584.5 s
Current children cumulated vsize: 1894020 KiB
Current children cumulated memory: 1618412 KiB
[startup+3596.8 s]
/proc/loadavg: 2.14 2.14 2.31 3/251 46727
/proc/meminfo: memFree=123114900/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1894020 memory=1618412 CPUtime=3586.1 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 373952 0 0 0 358548 62 0 0 20 0 1 0 42864311 1939476480 404603 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 473505 404603 2656 2575 0 470412 0
Current children cumulated CPU time: 3586.1 s
Current children cumulated vsize: 1894020 KiB
Current children cumulated memory: 1618412 KiB
[startup+3597.2 s]
/proc/loadavg: 2.14 2.14 2.31 3/251 46728
/proc/meminfo: memFree=123114900/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1894020 memory=1618412 CPUtime=3586.5 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 374030 0 0 0 358588 62 0 0 20 0 1 0 42864311 1939476480 404603 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 473505 404603 2656 2575 0 470412 0
Current children cumulated CPU time: 3586.5 s
Current children cumulated vsize: 1894020 KiB
Current children cumulated memory: 1618412 KiB
[startup+3597.6 s]
/proc/loadavg: 2.14 2.14 2.31 3/251 46728
/proc/meminfo: memFree=123114900/131249992 swapFree=33010684/33010684
[pid=46425] ppid=46422 vsize=1892496 memory=1617052 CPUtime=3586.89 cores=5,7
/proc/46425/stat : 46425 (pbsolver) R 46422 46425 45628 0 -1 4194304 374068 0 0 0 358627 62 0 0 20 0 1 0 42864311 1937915904 404263 18446744073709551615 4198400 14743177 140731417982544 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52662272 140731417991562 140731417991658 140731417991658 140731417997260 0
/proc/46425/statm: 473124 404263 2656 2575 0 470031 0
Current children cumulated CPU time: 3586.89 s
Current children cumulated vsize: 1892496 KiB
Current children cumulated memory: 1617052 KiB
Child status: 0
Real time (s): 3597.68
CPU time (s): 3586.98
CPU user time (s): 3586.34
CPU system time (s): 0.635852
CPU usage (%): 99.7026
Max. virtual memory (cumulated for all children) (KiB): 1894020
Max. memory (cumulated for all children) (KiB): 1618412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.34
system time used= 0.635852
maximum resident set size= 1618412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 374116
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= 26
involuntary context switches= 2001
# summary of solver processes directly reported to runsolver:
# pid: 46425
# total CPU time (s): 3586.98
# total CPU user time (s): 3586.34
# total CPU system time (s): 0.635852
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46482 second user time and 14.0032 second system time
The end
Begin job on nodeC025 at 2025-06-30 10:24:15 IDJOB=4512205 IDBENCH=160508 IDSOLVER=3366 FILE ID=nodeC025/4512205-1751271855 RUNJOBID= nodeC025-1751268232-45648 SLURM_JOB_ID= 9594192 Free space on /tmp= 433012 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-faclay60.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512205-1751271855/watcher-4512205-1751271855 -o /tmp/evaluation-result-4512205-1751271855/solver-4512205-1751271855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751268232-45648 --watchdog 3760 pbsolver -f HOME/instance-4512205-1751271855.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d5681d78197016a16986328251aa9bd6 RANDOM SEED=1948927954 nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.824 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.848 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3604.511 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.837 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3614.978 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.217 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.834 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 125110548 kB MemAvailable: 127765168 kB Buffers: 3280 kB Cached: 3454060 kB SwapCached: 0 kB Active: 2356832 kB Inactive: 3115112 kB Active(anon): 2032688 kB Inactive(anon): 0 kB Active(file): 324144 kB Inactive(file): 3115112 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 18508 kB Writeback: 0 kB AnonPages: 2017728 kB Mapped: 135276 kB Shmem: 18084 kB KReclaimable: 109204 kB Slab: 196988 kB SReclaimable: 109204 kB SUnreclaim: 87784 kB KernelStack: 4240 kB PageTables: 7040 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 2388764 kB VmallocTotal: 34359738367 kB VmallocUsed: 150488 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 1284096 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 207572 kB DirectMap2M: 9000960 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433032 MiB End job on nodeC025 at 2025-06-30 11:24:13