Trace number 4498426

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2025-06-13SAT-86 3587.11 3597.5

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_1000_60_2.opb
MD5SUMa48c66dfa619fe9822eb3addabc6673c
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-93
Best CPU time to get the best result obtained on this benchmark72001.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)150572
Sum of products size (including duplicates)301144
Number of different products75286
Sum of products size150572

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

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-4498426-1751270892.opb>
0.20/0.24	c original problem has 77286 variables (2000 bin, 0 int, 75286 cont) and 80287 constraints
0.20/0.24	c original problem has 75286 implied integral variables (0 bin, 0 int, 75286 cont)
0.20/0.24	c problem read in 0.243 seconds
0.50/0.57	o 0
0.50/0.57	c feasible solution found by trivial heuristic after 0.6 seconds, objective value 0.000000e+00
0.50/0.57	c presolving:
1.09/1.12	c (round 1, medium)     0 del vars, 79286 del conss, 2000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1000 clqs
1.09/1.19	c (round 2, fast)       75286 del vars, 79286 del conss, 2000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1000 clqs
1.19/1.23	c (round 3, exhaustive) 75286 del vars, 79286 del conss, 2000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3000 upgd conss, 0 impls, 1000 clqs
1.29/1.37	c    (1.4s) probing: 51/2000 (2.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.29/1.37	c    (1.4s) probing aborted: 50/50 successive totally useless probings
1.29/1.38	c    (1.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.39/1.41	c    (1.4s) no symmetry present (symcode time: 0.00)
1.39/1.43	c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
1.39/1.43	c  75286 deleted vars, 79286 deleted constraints, 2000 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.39/1.43	c  0 implications, 1000 cliques
1.39/1.43	c presolved problem has 2000 variables (2000 bin, 0 int, 0 cont) and 3001 constraints
1.39/1.43	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1.39/1.43	c    2000 constraints of type <knapsack>
1.39/1.43	c    1000 constraints of type <setppc>
1.39/1.43	c       1 constraints of type <linear>
1.39/1.43	c transformed objective value is always integral (scale: 1)
1.39/1.43	c Presolving Time: 0.90
1.39/1.43	c 
1.39/1.43	c - non default parameters ----------------------------------------------------------------------
1.39/1.43	c 
1.39/1.43	c # SCIP version 10.0.0
1.39/1.43	c 
1.39/1.43	c # maximal time in seconds to run
1.39/1.43	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.39/1.43	c limits/time = 3596.998162
1.39/1.43	c 
1.39/1.43	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.43	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.39/1.43	c limits/memory = 27900
1.39/1.43	c 
1.39/1.43	c # belongs reading time to solving time?
1.39/1.43	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.39/1.43	c timing/reading = TRUE
1.39/1.43	c 
1.39/1.43	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
1.39/1.43	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
1.39/1.43	c reading/opbreader/maxintsize = 47
1.39/1.43	c 
1.39/1.43	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
1.39/1.43	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
1.39/1.43	c propagating/genvbounds/timingmask = 0
1.39/1.43	c 
1.39/1.43	c -----------------------------------------------------------------------------------------------
1.39/1.45	c transformed 1/1 original solutions to the transformed problem space
1.39/1.45	c 
9.97/10.06	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
9.97/10.06	c  10.1s|     1 |     0 |  5491 |     - |   336M |   0 |2000 |3003 |3001 |   0 |  0 |   2 |   0 |-5.000000e+02 | 0.000000e+00 |    Inf | unknown
10.06/10.19	o -1
10.06/10.19	c r10.2s|     1 |     0 |  5491 |     - |rounding|   0 |2000 |3003 |3001 |   0 |  0 |   2 |   0 |-5.000000e+02 |-1.000000e+00 |  Large | unknown
17.54/17.63	c  17.6s|     1 |     0 |  5793 |     - |   381M |   0 |2000 |3003 |3260 | 259 |  1 |   2 |   0 |-5.000000e+02 |-1.000000e+00 |  Large | unknown
25.01/25.17	c  25.2s|     1 |     0 |  6026 |     - |   390M |   0 |2000 |3003 |3467 | 466 |  2 |   2 |   0 |-5.000000e+02 |-1.000000e+00 |  Large | unknown
32.90/33.09	c  33.1s|     1 |     0 |  6320 |     - |   393M |   0 |2000 |3003 |3727 | 726 |  3 |   2 |   0 |-5.000000e+02 |-1.000000e+00 |  Large | unknown
33.00/33.12	o -55
33.00/33.12	c r33.1s|     1 |     0 |  6320 |     - |randroun|   0 |2000 |3003 |3727 |   0 |  3 |   2 |   0 |-5.000000e+02 |-5.500000e+01 | 809.09%| unknown
44.06/44.24	c  44.2s|     1 |     0 |  6562 |     - |   394M |   0 |2000 |3003 |3968 | 967 |  4 |   2 |   0 |-5.000000e+02 |-5.500000e+01 | 809.09%| unknown
50.85/51.09	c  51.1s|     1 |     0 |  6586 |     - |   398M |   0 |2000 |3003 |3992 | 991 |  5 |   2 |   0 |-5.000000e+02 |-5.500000e+01 | 809.09%| unknown
57.93/58.17	c  58.2s|     1 |     0 |  6587 |     - |   400M |   0 |2000 |3003 |3993 | 992 |  6 |   2 |   0 |-5.000000e+02 |-5.500000e+01 | 809.09%| unknown
125.33/125.71	o -60
125.33/125.71	c o 126s|     1 |     0 | 14425 |     - |feaspump|   0 |2000 |3003 |3993 | 992 |  7 |   2 |   0 |-5.000000e+02 |-6.000000e+01 | 733.33%| unknown
142.69/143.15	c   143s|     1 |     0 | 27759 |     - |   401M |   0 |2000 |3003 |3993 | 992 |  7 |   2 |   0 |-5.000000e+02 |-6.000000e+01 | 733.33%| unknown
414.54/415.81	c   416s|     1 |     2 | 27759 |     - |   402M |   0 |2000 |3003 |3993 | 992 |  8 |   2 |  44 |-5.000000e+02 |-6.000000e+01 | 733.33%| unknown
1800.42/1805.77	o -63
1800.42/1805.77	c d1806s|    15 |    16 | 58905 |3737.0 |pscostdi|  14 |2000 |3003 |3625 |   0 |  1 |   2 | 282 |-5.000000e+02 |-6.300000e+01 | 693.65%| unknown
2142.43/2148.70	o -80
2142.43/2148.70	c d2149s|    39 |    40 |120196 |2989.7 |fracdivi|  14 |2000 |3016 |3660 |   0 |  1 |  15 | 299 |-5.000000e+02 |-8.000000e+01 | 525.00%| unknown
3009.78/3018.51	o -85
3009.78/3018.51	c d3019s|    72 |    73 |242711 |3325.7 |linesear|  16 |2000 |3016 |3430 |   0 |  1 |  15 | 330 |-4.997604e+02 |-8.500000e+01 | 487.95%| unknown
3520.89/3531.19	o -86
3520.89/3531.19	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3520.89/3531.19	c d3531s|    92 |    93 |397751 |4298.5 |linesear|  16 |2000 |3047 |3430 |   0 |  1 |  46 | 359 |-4.992793e+02 |-8.600000e+01 | 480.56%| unknown
3586.80/3597.23	c 
3586.80/3597.23	c SCIP Status        : solving was interrupted [time limit reached]
3586.80/3597.23	c Solving Time (sec) : 3597.23
3586.80/3597.23	c Solving Nodes      : 98
3586.80/3597.23	c Primal Bound       : -8.60000000000000e+01 (30 solutions)
3586.80/3597.23	c Dual Bound         : -4.99279250813720e+02
3586.80/3597.23	c Gap                : 480.56 %
3586.90/3597.34	s SATISFIABLE
3586.90/3597.34	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
3586.90/3597.34	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
3586.90/3597.34	v -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
3586.90/3597.34	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
3586.90/3597.34	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
3586.90/3597.34	v -x128 -x129 -x130 -x131 -x132 x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
3586.90/3597.34	v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171
3586.90/3597.34	v x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193
3586.90/3597.34	v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215
3586.90/3597.34	v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237
3586.90/3597.34	v -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259
3586.90/3597.34	v -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 x278 -x279 -x280 -x281
3586.90/3597.34	v -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303
3586.90/3597.34	v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325
3586.90/3597.34	v -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347
3586.90/3597.34	v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369
3586.90/3597.34	v -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391
3586.90/3597.34	v x392 -x393 x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413
3586.90/3597.34	v -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435
3586.90/3597.34	v -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457
3586.90/3597.34	v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 x475 -x476 -x477 -x478 x479 -x480
3586.90/3597.34	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
3586.90/3597.34	v -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
3586.90/3597.34	v -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
3586.90/3597.34	v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568
3586.90/3597.34	v -x569 -x570 -x571 -x572 x573 -x574 x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
3586.90/3597.34	v -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 x606 -x607 -x608 -x609 -x610 -x611 -x612
3586.90/3597.34	v -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634
3586.90/3597.34	v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656
3586.90/3597.34	v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678
3586.90/3597.34	v -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
3586.90/3597.34	v -x701 -x702 -x703 -x704 x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 x720 -x721 -x722
3586.90/3597.34	v -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744
3586.90/3597.34	v -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766
3586.90/3597.34	v x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 -x786 -x787 -x788
3586.90/3597.34	v -x789 -x790 -x791 -x792 -x793 x794 x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
3586.90/3597.34	v -x811 -x812 -x813 x814 -x815 x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 x831 -x832 -x833
3586.90/3597.34	v -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 -x854 -x855
3586.90/3597.34	v -x856 x857 -x858 -x859 -x860 x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877
3586.90/3597.34	v -x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899
3586.90/3597.34	v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921
3586.90/3597.34	v -x922 -x923 x924 x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943
3586.90/3597.34	v -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 x957 -x958 -x959 -x960 -x961 -x962 x963 -x964 -x965
3586.90/3597.34	v -x966 x967 -x968 -x969 -x970 -x971 -x972 x973 x974 x975 -x976 -x977 -x978 -x979 x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 -x988
3586.90/3597.34	v -x989 -x990 -x991 -x992 -x993 -x994 x995 x996 -x997 -x998 x999 x1000 -x1291 -x1720 -x1789 -x1576 -x1062 -x1499 -x1865 -x1278 -x1746
3586.90/3597.34	v x1628 -x1343 -x1180 -x1150 -x1094 -x1038 -x1050 -x1655 x1774 -x1368 -x1731 -x1003 -x1573 -x1570 -x1316 -x1768 -x1392 -x1211 -x1631
3586.90/3597.34	v -x1297 -x1064 -x1014 x1587 -x1783 -x1803 -x1162 -x1197 -x1653 -x1378 -x1474 -x1398 -x1358 -x1168 -x1929 x1507 -x1261 -x1966 -x1557
3586.90/3597.34	v -x1915 x1091 -x1276 -x1645 -x1446 -x1200 -x1567 -x1761 -x1967 -x1310 -x1324 -x1949 -x1606 -x1031 -x1042 -x1049 -x1054 -x1080 -x1115
3586.90/3597.34	v -x1131 -x1163 -x1191 -x1223 -x1224 -x1227 -x1241 -x1252 -x1348 -x1356 -x1362 -x1397 -x1414 x1449 -x1551 -x1559 -x1579 x1596 -x1604
3586.90/3597.34	v -x1617 -x1619 -x1621 -x1664 -x1712 -x1802 -x1804 -x1909 -x1910 -x1940 -x1948 -x1952 x1959 -x1985 -x1992 -x1001 x1387 -x1963 -x1544
3586.90/3597.34	v -x1522 -x1117 -x1057 -x1718 -x1769 -x1787 -x1518 -x1144 -x1711 -x1650 -x1971 -x1763 -x1558 -x1238 -x1205 -x1186 -x1234 -x1385 -x1800
3586.90/3597.34	v x1704 -x1461 -x1438 -x1652 x1418 -x1824 -x1961 -x1697 -x1082 -x1370 x1766 -x1202 -x1156 -x1309 -x1719 -x1299 -x1019 -x1516 -x1300
3586.90/3597.34	v -x1989 -x1210 -x1578 -x1483 -x1747 -x1812 -x1484 -x1598 -x1424 -x1035 -x1190 -x1193 -x1155 -x1506 -x1005 -x1017 -x1025 -x1102 -x1106
3586.90/3597.34	v -x1116 -x1239 -x1283 -x1334 -x1353 -x1367 -x1373 -x1402 -x1405 -x1431 -x1460 -x1480 -x1505 x1524 -x1575 -x1605 -x1616 -x1749 -x1759
3586.90/3597.34	v -x1773 -x1891 -x1907 -x1925 -x1938 x1945 -x1002 -x1589 -x1875 -x1673 -x1142 -x1382 -x1333 -x1861 -x1032 -x1351 -x1376 -x1331 -x1691
3586.90/3597.34	v -x1006 -x1892 -x1269 -x1488 -x1638 -x1323 -x1473 -x1921 -x1010 -x1817 -x1307 -x1199 -x1517 -x1706 -x1867 x1776 x1646 -x1741 -x1122
3586.90/3597.34	v -x1132 -x1999 -x1153 -x1482 x1727 -x1835 -x1732 -x1079 -x1792 x1571 -x1068 -x1893 -x1540 -x1165 -x1550 -x1785 -x1472 x1100 -x1146
3586.90/3597.34	v -x1340 -x1011 -x1063 -x1088 -x1092 -x1099 -x1104 -x1105 -x1143 -x1215 x1233 -x1237 -x1268 x1275 -x1277 -x1303 -x1305 -x1341 -x1345
3586.90/3597.34	v -x1440 -x1456 -x1527 -x1580 -x1613 -x1660 -x1668 -x1679 -x1707 -x1846 -x1904 -x1157 -x1012 -x1752 -x1914 x1941 -x1225 -x1939 -x1729
3586.90/3597.34	v -x1230 -x1564 -x1754 -x1748 -x1642 -x1545 -x1670 -x1709 -x1120 -x1601 -x1736 -x1520 -x1902 -x1666 -x1242 -x1758 -x1677 -x1708 -x1911
3586.90/3597.34	v -x1781 -x1974 -x1851 -x1357 -x1086 -x1600 -x1158 -x1649 -x1705 -x1258 -x1249 -x1927 -x1702 -x1841 -x1302 -x1455 -x1272 -x1327 -x1173
3586.90/3597.34	v -x1404 -x1344 -x1021 -x1078 -x1085 -x1171 -x1192 -x1232 -x1259 -x1311 -x1346 -x1416 -x1529 -x1566 -x1690 -x1743 -x1750 -x1772 -x1808
3586.90/3597.34	v -x1829 -x1863 -x1869 -x1919 -x1996 -x1997 -x1004 -x1513 -x1020 x1826 -x1423 -x1152 -x1799 -x1274 -x1509 -x1767 -x1594 -x1119 -x1924
3586.90/3597.34	v x1823 -x1533 -x1288 -x1942 -x1950 -x1096 -x1565 -x1363 -x1990 -x1390 -x1786 -x1494 -x1411 -x1060 -x1177 x1947 -x1530 -x1452 -x1478
3586.90/3597.34	v -x1128 -x1796 -x1765 -x1622 -x1447 -x1058 -x1722 -x1198 -x1521 -x1816 -x1013 -x1029 -x1037 -x1053 -x1097 -x1176 x1184 -x1267 -x1271
3586.90/3597.34	v -x1289 -x1338 -x1369 -x1401 -x1485 -x1503 -x1554 -x1738 -x1779 -x1877 -x1922 -x1437 -x1179 x1856 x1651 -x1618 -x1777 -x1597 -x1581
3586.90/3597.34	v -x1318 -x1490 -x1434 -x1111 -x1175 -x1844 -x1034 -x1248 -x1349 -x1231 -x1399 -x1556 -x1981 -x1206 -x1209 -x1932 -x1095 -x1510 -x1590
3586.90/3597.34	v -x1692 -x1350 x1624 -x1793 -x1352 -x1878 -x1647 -x1125 -x1347 -x1519 -x1244 -x1403 -x1917 -x1041 -x1056 -x1066 -x1087 -x1093 -x1101
3586.90/3597.34	v -x1183 -x1189 -x1222 -x1263 -x1296 -x1301 -x1312 -x1319 -x1426 -x1467 -x1487 -x1543 -x1546 -x1643 -x1680 -x1715 -x1726 -x1770 -x1791
3586.90/3597.34	v -x1818 x1854 -x1964 -x1968 x1983 -x1991 -x1151 -x1381 -x1810 -x1675 x1905 -x1098 x1568 -x1923 -x1169 -x1713 -x1973 -x1256 -x1627
3586.90/3597.34	v -x1870 -x1072 x1043 -x1599 -x1218 -x1609 -x1107 -x1187 -x1637 -x1994 x1956 -x1626 -x1280 -x1593 -x1170 -x1602 -x1848 x1797 -x1018
3586.90/3597.34	v x1015 -x1030 -x1077 -x1089 -x1127 -x1135 -x1201 -x1228 -x1247 -x1328 -x1372 -x1379 -x1384 -x1396 -x1451 -x1458 -x1508 -x1595 -x1611
3586.90/3597.34	v -x1623 x1644 -x1725 -x1866 -x1962 -x1007 -x1742 -x1047 -x1315 -x1721 -x1958 -x1496 -x1689 -x1314 -x1683 -x1688 -x1954 -x1295 -x1235
3586.90/3597.34	v -x1676 -x1501 -x1634 -x1858 -x1931 -x1335 -x1287 -x1463 -x1134 -x1936 -x1074 -x1608 -x1453 -x1355 -x1051 -x1009 -x1023 -x1027 -x1059
3586.90/3597.34	v -x1126 -x1140 -x1145 -x1160 -x1217 -x1270 x1293 x1441 -x1498 -x1547 -x1633 -x1714 -x1744 -x1926 -x1008 -x1874 -x1695 -x1108 -x1659
3586.90/3597.34	v -x1475 -x1723 -x1998 -x1901 -x1753 -x1686 -x1279 -x1882 -x1109 -x1166 -x1260 -x1636 -x1794 -x1788 -x1614 -x1046 -x1523 -x1136 -x1159
3586.90/3597.34	v -x1203 -x1221 -x1226 -x1250 -x1409 -x1430 -x1439 -x1443 -x1528 -x1549 -x1662 -x1678 -x1730 -x1836 -x1886 -x1943 -x1194 -x1900 -x1739
3586.90/3597.34	v -x1630 -x1465 -x1265 -x1975 -x1552 -x1762 -x1913 -x1375 x1526 -x1860 -x1845 -x1756 -x1737 -x1584 -x1337 x1815 -x1339 -x1330 -x1433
3586.90/3597.34	v -x1048 -x1065 -x1112 -x1139 -x1181 -x1255 -x1389 -x1428 -x1436 -x1457 -x1492 -x1536 -x1539 -x1592 -x1629 -x1830 -x1937 -x1946 -x1993
3586.90/3597.34	v -x1216 -x1124 -x1076 -x1432 -x1304 -x1141 -x1470 -x1682 -x1665 -x1930 -x1982 -x1322 -x1735 -x1148 -x1717 -x1970 -x1980 -x1986 -x1562
3586.90/3597.34	v -x1212 -x1028 -x1110 -x1172 -x1188 -x1354 -x1388 -x1415 -x1444 -x1471 -x1728 -x1798 -x1819 -x1821 -x1889 x1648 -x1972 x1612 -x1960
3586.90/3597.34	v -x1408 -x1243 -x1935 -x1859 -x1896 x1262 -x1332 -x1548 -x1879 x1698 -x1445 -x1284 x1500 -x1710 -x1442 -x1965 -x1196 -x1036 -x1290
3586.90/3597.34	v -x1317 -x1429 x1464 x1640 x1669 -x1852 -x1534 -x1081 -x1979 -x1448 -x1185 -x1084 -x1607 x1984 x1422 x1531 -x1489 -x1383 -x1254 -x1806
3586.90/3597.34	v x1978 -x1365 -x1876 -x1857 -x1182 -x1220 -x1377 x1525 -x1563 -x1658 -x1661 -x1674 -x1764 -x1342 -x1883 -x1828 -x1454 x1495 -x1425
3586.90/3597.34	v -x1782 -x1149 -x1240 -x1511 -x1285 -x1419 -x1069 -x1071 -x1435 x1535 -x2000 -x1147 -x1281 -x1313 -x1394 -x1400 -x1462 -x1696 x1820
3586.90/3597.34	v -x1113 -x1413 -x1873 -x1603 -x1219 -x1266 -x1016 x1734 -x1045 -x1130 -x1306 x1469 -x1840 -x1887 -x1321 -x1561 -x1784 -x1329 -x1502
3586.90/3597.34	v -x1906 -x1133 -x1121 -x1477 -x1934 -x1033 -x1164 -x1214 -x1371 -x1491 -x1497 -x1654 x1755 -x1842 x1903 -x1995 x1838 -x1236 -x1420
3586.90/3597.34	v -x1137 -x1831 -x1282 -x1760 -x1024 -x1245 -x1264 -x1298 -x1410 -x1468 -x1671 -x1684 -x1853 x1898 -x1123 x1569 -x1553 -x1273 -x1586
3586.90/3597.34	v -x1724 -x1129 -x1118 -x1286 -x1391 -x1577 -x1663 -x1672 x1834 -x1694 -x1213 -x1849 -x1161 -x1884 -x1899 -x1951 -x1693 -x1933 -x1751
3586.90/3597.34	v -x1916 -x1635 -x1114 -x1154 -x1204 -x1246 -x1308 -x1555 -x1591 -x1778 x1585 x1336 -x1699 -x1855 -x1969 x1560 -x1380 x1667 -x1039
3586.90/3597.34	v -x1022 -x1771 -x1928 -x1486 x1740 -x1479 -x1538 -x1872 -x1813 -x1918 -x1061 -x1583 -x1780 -x1837 -x1406 -x1625 -x1574 -x1325 -x1466
3586.90/3597.34	v -x1515 -x1657 -x1885 -x1850 -x1229 -x1944 -x1716 -x1493 -x1138 -x1920 -x1257 -x1083 -x1421 x1588 -x1320 -x1251 -x1393 -x1417 -x1895
3586.90/3597.34	v -x1481 -x1075 -x1044 -x1070 -x1610 -x1843 -x1795 x1897 -x1833 -x1450 -x1476 -x1811 x1366 -x1542 -x1880 -x1809 -x1641 -x1955 -x1537
3586.90/3597.34	v -x1052 -x1541 -x1775 -x1908 -x1026 -x1825 -x1572 -x1894 -x1700 -x1839 -x1253 -x1514 -x1532 -x1701 -x1178 -x1073 -x1055 -x1620 -x1174
3586.90/3597.34	v -x1832 x1862 -x1412 x1977 -x1685 x1827 -x1871 -x1801 -x1504 -x1814 -x1208 -x1374 -x1681 -x1864 x1703 -x1359 -x1364 x1407 -x1040
3586.90/3597.34	v -x1294 -x1615 -x1090 -x1912 -x1745 -x1103 -x1207 -x1386 -x1847 -x1360 -x1953 x1757 -x1195 x1639 x1582 -x1067 -x1790 -x1822 x1459
3586.90/3597.34	v -x1890 -x1292 -x1656 -x1987 x1512 -x1687 -x1976 -x1167 -x1868 -x1805 -x1888 -x1632 -x1733 -x1326 -x1395 x1807 x1988 -x1881 -x1361
3586.90/3597.34	v -x1427 -x1957
3586.90/3597.34	c SCIP Status        : solving was interrupted [time limit reached]
3586.90/3597.34	c Total Time         :    3597.23
3586.90/3597.34	c   solving          :    3597.23
3586.90/3597.34	c   presolving       :       0.90 (included in solving)
3586.90/3597.34	c   reading          :       0.24 (included in solving)
3586.90/3597.34	c   copying          :       0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3586.90/3597.34	c Original Problem   :
3586.90/3597.34	c   Problem name     : HOME/instance-4498426-1751270892.opb
3586.90/3597.34	c   Variables        : 77286 (2000 binary, 0 integer, 75286 continuous)
3586.90/3597.34	c   implied integral : 75286 (0 binary, 0 integer, 75286 continuous)
3586.90/3597.34	c   Constraints      : 80287 initial, 80287 maximal
3586.90/3597.34	c   Objective        : minimize, 1000 non-zeros (abs.min = 1, abs.max = 1)
3586.90/3597.34	c Presolved Problem  :
3586.90/3597.34	c   Problem name     : t_HOME/instance-4498426-1751270892.opb
3586.90/3597.34	c   Variables        : 2000 (2000 binary, 0 integer, 0 continuous)
3586.90/3597.34	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.90/3597.34	c   Constraints      : 3001 initial, 3047 maximal
3586.90/3597.34	c   Objective        : minimize, 1000 non-zeros (abs.min = 1, abs.max = 1)
3586.90/3597.34	c   Nonzeros         : 156572 constraint, 2000 clique table
3586.90/3597.34	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3586.90/3597.34	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   domcol           :       0.04       0.00      1          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   dualsparsify     :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   gateextraction   :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   implics          :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   milp             :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   sparsify         :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   trivial          :       0.01       0.00      4          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   dualfix          :       0.03       0.00      4      75286          0          0          0          0          0          0          0          0
3586.90/3597.34	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   probing          :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   symmetry         :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   vbounds          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   knapsack         :       0.05       0.00      3          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   setppc           :       0.04       0.00      5          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   linear           :       0.07       0.00      6          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   logicor          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   pseudoboolean    :       0.32       0.01      1          0          0          0          0          0      79286       2000          0          0
3586.90/3597.34	c   components       :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3586.90/3597.34	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3586.90/3597.34	c   integral         :          0          0          0          0         98          0          0         39          0          0          0          0          0          0        196
3586.90/3597.34	c   knapsack         :       2000       2000          8      13775          0          0          0         33      37824         43       1598          0          0          0          0
3586.90/3597.34	c   setppc           :       1000       1000          8      13335          0          0          0         33        806          0         70          0          0          0          0
3586.90/3597.34	c   linear           :          1          1          8      13734          0          0          0         32         84        148          0          0          0          0          0
3586.90/3597.34	c   logicor          :          0+        46          8        194          0          0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   fixedvar         :          0          0          0          0          0          0          0         33          0          0          0          0          0          0          0
3586.90/3597.34	c   countsols        :          0          0          0          0          0          0          0         33          0          0          0          0          0          0          0
3586.90/3597.34	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3586.90/3597.34	c   integral         :    1893.48       0.00       0.00       0.00    1893.48       0.00       0.00       0.00       0.00       0.00
3586.90/3597.34	c   knapsack         :       1.14       0.00       0.34       0.59       0.00       0.00       0.00       0.08       0.02       0.10
3586.90/3597.34	c   setppc           :       0.03       0.00       0.00       0.01       0.00       0.00       0.00       0.01       0.00       0.00
3586.90/3597.34	c   linear           :       0.12       0.00       0.02       0.09       0.00       0.00       0.00       0.00       0.01       0.00
3586.90/3597.34	c   logicor          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.90/3597.34	c   fixedvar         :       0.14       0.00       0.00       0.00       0.00       0.00       0.00       0.13       0.00       0.00
3586.90/3597.34	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.90/3597.34	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.90/3597.34	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3586.90/3597.34	c   dualfix          :          2          0          0          0
3586.90/3597.34	c   genvbounds       :          0          0          0          0
3586.90/3597.34	c   nlobbt           :          0          0          0          0
3586.90/3597.34	c   obbt             :          0          0          0          0
3586.90/3597.34	c   probing          :          0          0          0          0
3586.90/3597.34	c   pseudoobj        :        294          0          0          0
3586.90/3597.34	c   redcost          :         12          0          0          0
3586.90/3597.34	c   rootredcost      :          0          0          0          0
3586.90/3597.34	c   symmetry         :          0          0          0          0
3586.90/3597.34	c   vbounds          :       3232          0          0          0
3586.90/3597.34	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3586.90/3597.34	c   dualfix          :       0.03       0.00       0.03       0.00       0.00       0.00
3586.90/3597.34	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3586.90/3597.34	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3586.90/3597.34	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3586.90/3597.34	c   probing          :       0.03       0.00       0.03       0.00       0.00       0.00
3586.90/3597.34	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00       0.00
3586.90/3597.34	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
3586.90/3597.34	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
3586.90/3597.34	c   symmetry         :       0.03       0.00       0.03       0.00       0.00       0.00
3586.90/3597.34	c   vbounds          :       0.00       0.00       0.00       0.00       0.00       0.00
3586.90/3597.34	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3586.90/3597.34	c   propagation      :       0.19         42         42          -       2961      714.3          0        0.0          -          -          -
3586.90/3597.34	c   infeasible LP    :       0.00          1          1          -         64      336.9          0        0.0          0        0.0          0
3586.90/3597.34	c   bound exceed. LP :       0.10         37          0          -          0        0.0          0        0.0          0        0.0        270
3586.90/3597.34	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3586.90/3597.34	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3586.90/3597.34	c   applied globally :       0.00          -          -          0         46      104.1          -          -          0          -          -
3586.90/3597.34	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3586.90/3597.34	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3586.90/3597.34	c   cut pool         :       0.10          -        175         13          -          -       9263      26277          -          -          -          -          -    (maximal pool size:       8190)
3586.90/3597.34	c   aggregation      :       0.92       0.00         82          8          0          0       9260      26272          0       5341       5341          0          0
3586.90/3597.34	c   > cmir           :          -          -          -          -          -          -          -      26272          0       5341       5341          0          -
3586.90/3597.34	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.90/3597.34	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.90/3597.34	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   clique           :       0.11       0.00          8          8          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   gomory           :      70.03       0.00         48          8          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   > gomorymi       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.90/3597.34	c   > strongcg       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.90/3597.34	c   impliedbounds    :       0.01       0.00         82          8          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   mcf              :       0.00       0.00          1          1          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   multilinear      :       0.00       0.00         19          8          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   rlt              :       0.00       0.00          8          8          0          0          0          0          0          0          0          0          0
3586.90/3597.34	c   zerohalf         :      36.68       0.00         48          8          0          0          3          5          0          2          2          0          0
3586.90/3597.34	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3586.90/3597.34	c   hybrid           :       0.14       0.00         94          6       5343          0      20934        992          0       1114
3586.90/3597.34	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.90/3597.34	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.90/3597.34	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3586.90/3597.34	c   problem variables:       0.00          -          0          0
3586.90/3597.34	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3586.90/3597.34	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3586.90/3597.34	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3586.90/3597.34	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3586.90/3597.34	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3586.90/3597.34	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.90/3597.34	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.90/3597.34	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.90/3597.34	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.90/3597.34	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.90/3597.34	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.90/3597.34	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.90/3597.34	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.90/3597.34	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.90/3597.34	c   relpscost        :    1893.48       0.00         98          0          0          0          0          0          0        196
3586.90/3597.34	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3586.90/3597.34	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3586.90/3597.34	c   LP solutions     :       0.00          -          -          0          0
3586.90/3597.34	c   relax solutions  :       0.00          -          -          0          0
3586.90/3597.34	c   pseudo solutions :       0.00          -          -          0          0
3586.90/3597.34	c   strong branching :       0.00          -          -          0          0
3586.90/3597.34	c   actconsdiving    :       0.00       0.00          0          0          0
3586.90/3597.34	c   adaptivediving   :      14.16       0.00          1          0          0
3586.90/3597.34	c   alns             :       0.19       0.00          1          0          0
3586.90/3597.34	c   bound            :       0.00       0.00          0          0          0
3586.90/3597.34	c   clique           :       0.07       0.00          1          0          0
3586.90/3597.34	c   coefdiving       :       0.00       0.00          0          0          0
3586.90/3597.34	c   completesol      :       0.00       0.00          0          0          0
3586.90/3597.34	c   conflictdiving   :      74.31       0.00          3          0          0
3586.90/3597.34	c   crossover        :       0.00       0.00          0          0          0
3586.90/3597.34	c   dins             :       0.00       0.00          0          0          0
3586.90/3597.34	c   distributiondivin:      70.94       0.00          3          0          0
3586.90/3597.34	c   dks              :       0.00       0.00          0          0          0
3586.90/3597.34	c   dps              :       0.00       0.00          0          0          0
3586.90/3597.34	c   dualval          :       0.00       0.00          0          0          0
3586.90/3597.34	c   farkasdiving     :       0.00       0.00          0          0          0
3586.90/3597.34	c   feaspump         :      63.81       0.00          1          1          1
3586.90/3597.34	c   fixandinfer      :       0.00       0.00          0          0          0
3586.90/3597.34	c   fracdiving       :      50.38       0.00          3          1          1
3586.90/3597.34	c   gins             :       0.00       0.00          0          0          0
3586.90/3597.34	c   guideddiving     :      24.28       0.00          2          0          0
3586.90/3597.34	c   indicator        :       0.00       0.00          0          0          0
3586.90/3597.34	c   indicatordiving  :       0.00       0.00          0          0          0
3586.90/3597.34	c   intdiving        :       0.00       0.00          0          0          0
3586.90/3597.34	c   intshifting      :       0.00       0.00          0          0          0
3586.90/3597.34	c   linesearchdiving :      72.06       0.00          2          2          2
3586.90/3597.34	c   localbranching   :       0.00       0.00          0          0          0
3586.90/3597.34	c   locks            :       0.04       0.00          1          0          0
3586.90/3597.34	c   lpface           :       0.00       0.00          0          0          0
3586.90/3597.34	c   mpec             :       0.00       0.00          0          0          0
3586.90/3597.34	c   multistart       :       0.00       0.00          0          0          0
3586.90/3597.34	c   mutation         :       0.00       0.00          0          0          0
3586.90/3597.34	c   nlpdiving        :       0.00       0.00          0          0          0
3586.90/3597.34	c   objpscostdiving  :     421.46       0.00          1          1          0
3586.90/3597.34	c   octane           :       0.00       0.00          0          0          0
3586.90/3597.34	c   ofins            :       0.00       0.00          0          0          0
3586.90/3597.34	c   oneopt           :       0.03       0.00          8          0          0
3586.90/3597.34	c   padm             :       0.00       0.00          0          0          0
3586.90/3597.34	c   proximity        :       0.00       0.00          0          0          0
3586.90/3597.34	c   pscostdiving     :      32.62       0.00          3          1          1
3586.90/3597.34	c   randrounding     :       2.64       0.00          8          2          1
3586.90/3597.34	c   rens             :       0.00       0.00          0          0          0
3586.90/3597.34	c   reoptsols        :       0.00       0.00          0          0          0
3586.90/3597.34	c   repair           :       0.00       0.00          0          0          0
3586.90/3597.34	c   rins             :       0.00       0.00          0          0          0
3586.90/3597.34	c   rootsoldiving    :      14.84       0.00          1          0          0
3586.90/3597.34	c   rounding         :      12.61       0.00        193          1          1
3586.90/3597.34	c   scheduler        :       0.00       0.00          0          0          0
3586.90/3597.34	c   shiftandpropagate:       0.00       0.00          0          0          0
3586.90/3597.34	c   shifting         :       8.38       0.00        104         20          0
3586.90/3597.34	c   simplerounding   :       0.00       0.00          0          0          0
3586.90/3597.34	c   subnlp           :       0.00       0.00          0          0          0
3586.90/3597.34	c   trivial          :       0.04       0.00          2          1          1
3586.90/3597.34	c   trivialnegation  :       0.00       0.00          0          0          0
3586.90/3597.34	c   trustregion      :       0.00       0.00          0          0          0
3586.90/3597.34	c   trysol           :       0.00       0.00          0          0          0
3586.90/3597.34	c   twoopt           :       0.00       0.00          0          0          0
3586.90/3597.34	c   undercover       :       0.00       0.00          0          0          0
3586.90/3597.34	c   vbounds          :       0.08       0.00          1          0          0
3586.90/3597.34	c   veclendiving     :      24.34       0.00          2          0          0
3586.90/3597.34	c   zeroobj          :       0.00       0.00          0          0          0
3586.90/3597.34	c   zirounding       :       0.06       0.00         97          0          0
3586.90/3597.34	c   other solutions  :          -          -          -          0          -
3586.90/3597.34	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3586.90/3597.34	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.90/3597.34	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.90/3597.34	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.90/3597.34	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.90/3597.34	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.90/3597.34	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.90/3597.34	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.90/3597.34	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.90/3597.34	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3586.90/3597.34	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3586.90/3597.34	c   primal LP        :       4.47         22          3       1.00       0.67       0.90         19
3586.90/3597.34	c   dual LP          :     701.77        192     148483     773.35     211.58       0.00          0
3586.90/3597.34	c   lex dual LP      :       0.00          0          0       0.00          -
3586.90/3597.34	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3586.90/3597.34	c   resolve instable :       0.00          0          0       0.00          -
3586.90/3597.34	c   diving/probing LP:     877.92       2058     280836     136.46     319.89
3586.90/3597.34	c   strong branching :    1876.42        371     224436     604.95     119.61          -          -        345
3586.90/3597.34	c     (at root node) :          -         44      44000    1000.00          -
3586.90/3597.34	c   conflict analysis:       0.07         27        270      10.00    3760.24
3586.90/3597.34	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
3586.90/3597.34	c   benders          :       0.00          0          0          0       0.00          0          0          0
3586.90/3597.34	c B&B Tree           :
3586.90/3597.34	c   number of runs   :          1
3586.90/3597.34	c   nodes            :         98 (98 internal, 0 leaves)
3586.90/3597.34	c   feasible leaves  :          0
3586.90/3597.34	c   infeas. leaves   :          0
3586.90/3597.34	c   objective leaves :          0
3586.90/3597.34	c   nodes (total)    :         98 (98 internal, 0 leaves)
3586.90/3597.34	c   nodes left       :         99
3586.90/3597.34	c   max depth        :         18
3586.90/3597.34	c   max depth (total):         18
3586.90/3597.34	c   backtracks       :         20 (20.4%)
3586.90/3597.34	c   early backtracks :          0 (0.0%)
3586.90/3597.34	c   nodes exc. ref.  :          0 (0.0%)
3586.90/3597.34	c   delayed cutoffs  :          0
3586.90/3597.34	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3586.90/3597.34	c   avg switch length:       3.02
3586.90/3597.34	c   switching time   :       4.49
3586.90/3597.34	c Root Node          :
3586.90/3597.34	c   First LP value   : -5.00000000000000e+02
3586.90/3597.34	c   First LP Iters   :       5491 (652.70 Iter/sec)
3586.90/3597.34	c   First LP Time    :       8.41
3586.90/3597.34	c   Final Dual Bound : -5.00000000000000e+02
3586.90/3597.34	c   Final Root Iters :       6587
3586.90/3597.34	c   Root LP Estimate : +3.21492728824603e+02
3586.90/3597.34	c Solution           :
3586.90/3597.34	c   Solutions found  :         30 (8 improvements)
3586.90/3597.34	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.53 seconds, depth 0, found by <trivial>)
3586.90/3597.34	c   Gap First Sol.   :   infinite
3586.90/3597.34	c   Gap Last Sol.    :     480.56 %
3586.90/3597.34	c   Primal Bound     : -8.60000000000000e+01   (in run 1, after 92 nodes, 3531.18 seconds, depth 230, found by <linesearchdiving>)
3586.90/3597.34	c   Dual Bound       : -4.99279250813720e+02
3586.90/3597.34	c   Gap              :     480.56 %
3586.90/3597.34	c Integrals          :      Total       Avg%
3586.90/3597.34	c   primal-dual      :  310441.85      86.30
3586.90/3597.34	c   primal-ref       :          -          - (not evaluated)
3586.90/3597.34	c   dual-ref         :          -          - (not evaluated)
3587.00/3597.49	c Time complete (sec):   3587.111

Verifier Data

OK	-86

Watcher Data

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 (62244 MiB free)
  memory of node 1: 64465 MiB (62187 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498426-1751270892/watcher-4498426-1751270892 -o /tmp/evaluation-result-4498426-1751270892/solver-4498426-1751270892 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751268232-39661 --watchdog 3760 pbsolver -f HOME/instance-4498426-1751270892.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=40084, runsolver pid=40081

[startup+0.100067 s]*
/proc/loadavg: 4.15 4.14 3.95 5/265 40085
/proc/meminfo: memFree=127370860/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=89076 memory=77440 CPUtime=0.09 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 17404 0 0 0 7 2 0 0 20 0 1 0 42768639 91213824 19360 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 22269 19360 2176 2575 0 19176 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89076 KiB
Current children cumulated memory: 77440 KiB

[startup+0.205662 s]*
/proc/loadavg: 4.15 4.14 3.95 5/265 40085
/proc/meminfo: memFree=127330792/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=135520 memory=123776 CPUtime=0.2 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 29006 0 0 0 16 4 0 0 20 0 1 0 42768639 138772480 30944 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 33880 30944 2176 2575 0 30787 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 135520 KiB
Current children cumulated memory: 123776 KiB

[startup+0.305533 s]*
/proc/loadavg: 4.15 4.14 3.95 6/265 40085
/proc/meminfo: memFree=127258468/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=206648 memory=196956 CPUtime=0.29 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 48412 0 0 0 23 6 0 0 20 0 1 0 42768639 211607552 49207 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 51662 49207 2368 2575 0 48569 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 206648 KiB
Current children cumulated memory: 196956 KiB

[startup+0.700159 s]
/proc/loadavg: 4.15 4.14 3.95 5/265 40085
/proc/meminfo: memFree=127194208/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=322328 memory=310324 CPUtime=0.69 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 76245 0 0 0 57 12 0 0 20 0 1 0 42768639 330063872 77581 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 80582 77581 2400 2575 0 77489 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 322328 KiB
Current children cumulated memory: 310324 KiB

[startup+1.50015 s]
/proc/loadavg: 4.15 4.14 3.95 5/265 40085
/proc/meminfo: memFree=127129696/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=369040 memory=353552 CPUtime=1.48 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 89074 0 0 0 134 14 0 0 20 0 1 0 42768639 377896960 88356 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 92260 88388 2560 2575 0 89167 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 369040 KiB
Current children cumulated memory: 353552 KiB

[startup+3.10549 s]
/proc/loadavg: 4.15 4.14 3.95 5/265 40085
/proc/meminfo: memFree=127088368/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=392984 memory=373796 CPUtime=3.08 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 94725 0 0 0 293 15 0 0 20 0 1 0 42768639 402415616 93449 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 98246 93449 2624 2575 0 95153 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 392984 KiB
Current children cumulated memory: 373796 KiB

[startup+6.30016 s]
/proc/loadavg: 4.14 4.14 3.95 5/265 40085
/proc/meminfo: memFree=127058528/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=428268 memory=404956 CPUtime=6.27 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 97387 0 0 0 610 17 0 0 20 0 1 0 42768639 438546432 101239 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 107067 101239 2624 2575 0 103974 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 428268 KiB
Current children cumulated memory: 404956 KiB

[startup+12.7001 s]
/proc/loadavg: 4.13 4.14 3.95 5/265 40085
/proc/meminfo: memFree=127030744/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=462944 memory=441816 CPUtime=12.65 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 105084 0 0 0 1247 18 0 0 20 0 1 0 42768639 474054656 110454 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 115736 110454 2624 2575 0 112643 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 462944 KiB
Current children cumulated memory: 441816 KiB

[startup+25.5001 s]
/proc/loadavg: 4.10 4.13 3.95 5/265 40086
/proc/meminfo: memFree=126991052/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=488872 memory=467412 CPUtime=25.41 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 112070 0 0 0 2522 19 0 0 20 0 1 0 42768639 500604928 116853 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 122218 116853 2624 2575 0 119125 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 488872 KiB
Current children cumulated memory: 467412 KiB

[startup+51.1055 s]
/proc/loadavg: 4.14 4.14 3.96 5/265 40086
/proc/meminfo: memFree=126969912/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=503508 memory=482836 CPUtime=50.95 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 124699 0 0 0 5072 23 0 0 20 0 1 0 42768639 515592192 120709 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 125877 120709 2624 2575 0 122784 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 503508 KiB
Current children cumulated memory: 482836 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.13 3.97 5/264 40088
/proc/meminfo: memFree=126955500/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=506716 memory=490268 CPUtime=101.99 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 125024 0 0 0 10176 23 0 0 20 0 1 0 42768639 518877184 122567 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 126679 122567 2624 2575 0 123586 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 506716 KiB
Current children cumulated memory: 490268 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.12 3.98 5/264 40090
/proc/meminfo: memFree=126955428/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=507628 memory=491036 CPUtime=161.83 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 125196 0 0 0 16160 23 0 0 20 0 1 0 42768639 519811072 122759 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 126907 122759 2656 2575 0 123814 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 507628 KiB
Current children cumulated memory: 491036 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.00 5/263 40093
/proc/meminfo: memFree=126939504/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=507628 memory=491036 CPUtime=221.65 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 125219 0 0 0 22142 23 0 0 20 0 1 0 42768639 519811072 122759 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 126907 122759 2656 2575 0 123814 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 507628 KiB
Current children cumulated memory: 491036 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.00 5/263 40095
/proc/meminfo: memFree=126919008/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=507628 memory=491036 CPUtime=281.46 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 125242 0 0 0 28122 24 0 0 20 0 1 0 42768639 519811072 122759 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 126907 122759 2656 2575 0 123814 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 507628 KiB
Current children cumulated memory: 491036 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.01 5/263 40097
/proc/meminfo: memFree=126872172/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=507628 memory=491036 CPUtime=341.27 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 125242 0 0 0 34103 24 0 0 20 0 1 0 42768639 519811072 122759 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 126907 122759 2656 2575 0 123814 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 507628 KiB
Current children cumulated memory: 491036 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.01 5/264 40106
/proc/meminfo: memFree=126825396/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=507628 memory=491036 CPUtime=401.08 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 125265 0 0 0 40084 24 0 0 20 0 1 0 42768639 519811072 122759 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 126907 122759 2656 2575 0 123814 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 507628 KiB
Current children cumulated memory: 491036 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.01 6/264 40108
/proc/meminfo: memFree=126743580/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=520796 memory=504156 CPUtime=460.9 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 126008 0 0 0 46065 25 0 0 20 0 1 0 42768639 533295104 126039 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 130199 126039 2656 2575 0 127106 0
Current children cumulated CPU time: 460.9 s

################
# More data... #
################

/proc/loadavg: 4.08 4.08 4.09 5/264 40375
/proc/meminfo: memFree=127120312/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=550440 memory=531952 CPUtime=3153.17 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 129291 0 0 0 315282 35 0 0 20 0 1 0 42768639 563650560 132988 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 137610 132988 2656 2575 0 134517 0
Current children cumulated CPU time: 3153.17 s
Current children cumulated vsize: 550440 KiB
Current children cumulated memory: 531952 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 40388
/proc/meminfo: memFree=127080572/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=550440 memory=531952 CPUtime=3213 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 129500 0 0 0 321265 35 0 0 20 0 1 0 42768639 563650560 132988 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 137610 132988 2656 2575 0 134517 0
Current children cumulated CPU time: 3213 s
Current children cumulated vsize: 550440 KiB
Current children cumulated memory: 531952 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 40390
/proc/meminfo: memFree=127036708/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=550440 memory=531952 CPUtime=3272.82 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 129629 0 0 0 327247 35 0 0 20 0 1 0 42768639 563650560 132988 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 137610 132988 2656 2575 0 134517 0
Current children cumulated CPU time: 3272.82 s
Current children cumulated vsize: 550440 KiB
Current children cumulated memory: 531952 KiB

[startup+3342.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/264 40393
/proc/meminfo: memFree=126995788/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=555244 memory=541740 CPUtime=3332.64 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 130558 0 0 0 333228 36 0 0 20 0 1 0 42768639 568569856 135435 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 138811 135435 2656 2575 0 135718 0
Current children cumulated CPU time: 3332.64 s
Current children cumulated vsize: 555244 KiB
Current children cumulated memory: 541740 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 40395
/proc/meminfo: memFree=127039440/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=555244 memory=541740 CPUtime=3392.46 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 130579 0 0 0 339210 36 0 0 20 0 1 0 42768639 568569856 135435 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 138811 135435 2656 2575 0 135718 0
Current children cumulated CPU time: 3392.46 s
Current children cumulated vsize: 555244 KiB
Current children cumulated memory: 541740 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 40404
/proc/meminfo: memFree=127039476/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=555244 memory=541740 CPUtime=3452.29 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 130581 0 0 0 345191 38 0 0 20 0 1 0 42768639 568569856 135435 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 138811 135435 2656 2575 0 135718 0
Current children cumulated CPU time: 3452.29 s
Current children cumulated vsize: 555244 KiB
Current children cumulated memory: 541740 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 40406
/proc/meminfo: memFree=127023104/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=555244 memory=541740 CPUtime=3512.11 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 130584 0 0 0 351173 38 0 0 20 0 1 0 42768639 568569856 135435 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 138811 135435 2656 2575 0 135718 0
Current children cumulated CPU time: 3512.11 s
Current children cumulated vsize: 555244 KiB
Current children cumulated memory: 541740 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 40408
/proc/meminfo: memFree=126979100/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=555244 memory=541740 CPUtime=3571.94 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 130633 0 0 0 357156 38 0 0 20 0 1 0 42768639 568569856 135435 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 138811 135435 2656 2575 0 135718 0
Current children cumulated CPU time: 3571.94 s
Current children cumulated vsize: 555244 KiB
Current children cumulated memory: 541740 KiB

[startup+3597.5 s]
# the end of solver process 40084 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3586.72 s, system=0.396233 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3584 s]*
/proc/loadavg: 4.12 4.10 4.09 5/264 40408
/proc/meminfo: memFree=126979116/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=555244 memory=541740 CPUtime=3573.64 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 130633 0 0 0 357326 38 0 0 20 0 1 0 42768639 568569856 135435 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 138811 135435 2656 2575 0 135718 0
Current children cumulated CPU time: 3573.64 s
Current children cumulated vsize: 555244 KiB
Current children cumulated memory: 541740 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 40408
/proc/meminfo: memFree=126979172/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=555244 memory=541740 CPUtime=3580.02 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 130633 0 0 0 357964 38 0 0 20 0 1 0 42768639 568569856 135435 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 138811 135435 2656 2575 0 135718 0
Current children cumulated CPU time: 3580.02 s
Current children cumulated vsize: 555244 KiB
Current children cumulated memory: 541740 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 40408
/proc/meminfo: memFree=126979180/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=555244 memory=541740 CPUtime=3583.21 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 130633 0 0 0 358283 38 0 0 20 0 1 0 42768639 568569856 135435 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 138811 135435 2656 2575 0 135718 0
Current children cumulated CPU time: 3583.21 s
Current children cumulated vsize: 555244 KiB
Current children cumulated memory: 541740 KiB

[startup+3595.2 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 40408
/proc/meminfo: memFree=126977416/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=555244 memory=541740 CPUtime=3584.81 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 130633 0 0 0 358443 38 0 0 20 0 1 0 42768639 568569856 135435 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 138811 135435 2656 2575 0 135718 0
Current children cumulated CPU time: 3584.81 s
Current children cumulated vsize: 555244 KiB
Current children cumulated memory: 541740 KiB

[startup+3596.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 40408
/proc/meminfo: memFree=126977416/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=555244 memory=541740 CPUtime=3586.4 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 130633 0 0 0 358602 38 0 0 20 0 1 0 42768639 568569856 135435 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 138811 135435 2656 2575 0 135718 0
Current children cumulated CPU time: 3586.4 s
Current children cumulated vsize: 555244 KiB
Current children cumulated memory: 541740 KiB

[startup+3597.2 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 40408
/proc/meminfo: memFree=126975400/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=555244 memory=541740 CPUtime=3586.8 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 130633 0 0 0 358642 38 0 0 20 0 1 0 42768639 568569856 135435 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 138811 135435 2656 2575 0 135718 0
Current children cumulated CPU time: 3586.8 s
Current children cumulated vsize: 555244 KiB
Current children cumulated memory: 541740 KiB

[startup+3597.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 40408
/proc/meminfo: memFree=126975400/131250000 swapFree=33009904/33010684
[pid=40084] ppid=40081 vsize=555244 memory=541740 CPUtime=3587 cores=0,2
/proc/40084/stat : 40084 (pbsolver) R 40081 40084 39644 0 -1 4194304 131035 0 0 0 358662 38 0 0 20 0 1 0 42768639 568569856 135435 18446744073709551615 4198400 14743177 140729198167296 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23912448 140729198176650 140729198176746 140729198176746 140729198182348 0
/proc/40084/statm: 138811 135435 2656 2575 0 135718 0
Current children cumulated CPU time: 3587 s
Current children cumulated vsize: 555244 KiB
Current children cumulated memory: 541740 KiB

Child status: 0

Real time (s): 3597.5
CPU time (s): 3587.11
CPU user time (s): 3586.72
CPU system time (s): 0.396233
CPU usage (%): 99.7113
Max. virtual memory (cumulated for all children) (KiB): 555244
Max. memory (cumulated for all children) (KiB): 541740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.72
system time used= 0.396233
maximum resident set size= 541740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131179
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= 13
involuntary context switches= 7816


# summary of solver processes directly reported to runsolver:
#   pid: 40084
#   total CPU time (s): 3587.11
#   total CPU user time (s): 3586.72
#   total CPU system time (s): 0.396233

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12624 second user time and 16.0341 second system time

The end

Launcher Data

Begin job on nodeC033 at 2025-06-30 10:08:12
IDJOB=4498426
IDBENCH=148671
IDSOLVER=3366
FILE ID=nodeC033/4498426-1751270892
RUNJOBID= nodeC033-1751268232-39661
SLURM_JOB_ID= 9594200
Free space on /tmp= 432732 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_2.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498426-1751270892/watcher-4498426-1751270892 -o /tmp/evaluation-result-4498426-1751270892/solver-4498426-1751270892 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751268232-39661 --watchdog 3760  pbsolver -f HOME/instance-4498426-1751270892.opb -t 3600 -m 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= a48c66dfa619fe9822eb3addabc6673c
RANDOM SEED=27383631

nodeC033 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		: 3597.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	: 7000.13
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		: 3600.067
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	: 7000.13
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.052
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	: 7000.13
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		: 3639.480
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.070
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	: 7000.13
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.086
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	: 7000.13
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		: 3629.866
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	: 7000.13
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		: 3600.346
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127419072 kB
MemAvailable:   127156004 kB
Buffers:            2128 kB
Cached:           536652 kB
SwapCached:           68 kB
Active:          2837948 kB
Inactive:         359896 kB
Active(anon):    2652280 kB
Inactive(anon):    24812 kB
Active(file):     185668 kB
Inactive(file):   335084 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16856 kB
Writeback:             0 kB
AnonPages:       2660368 kB
Mapped:           136264 kB
Shmem:             18028 kB
KReclaimable:     110836 kB
Slab:             198476 kB
SReclaimable:     110836 kB
SUnreclaim:        87640 kB
KernelStack:        4288 kB
PageTables:         9444 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    3928556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2228224 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432716 MiB
End job on nodeC033 at 2025-06-30 11:08:10