Trace number 4530471
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:
-
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.
-
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.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
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.
-
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 Name | Answer | objective function | CPU time | Wall clock time |
|---|
| SCIP-NaPS 1.00a2 | SAT (TO) | -347 | 3600.37 | 3610.35 |
General information on the benchmark
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-sorrell8.opb |
| MD5SUM | 3efa309da6b8ed2e5ff01ccb25d0dd51 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -350 |
| Best CPU time to get the best result obtained on this benchmark | 3581.82 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2046 |
| Total number of constraints | 18944 |
| Number of constraints which are clauses | 18944 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 2046 |
| 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 | 2046 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 2046 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
Solver Data
62.66/62.92 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530471-1752262875.opb
62.66/62.92 c Solving mode: optimization
62.66/62.92 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
62.66/62.92 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
62.66/62.92 c original problem has 2046 variables (2046 bin, 0 int, 0 impl, 0 cont) and 18944 constraints
62.66/62.92 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 0.000000e+00
62.66/62.92 c presolving:
62.66/62.92 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 18944 upgd conss, 0 impls, 18944 clqs
62.66/62.92 c (0.2s) probing: 51/2046 (2.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
62.66/62.92 c (0.2s) probing aborted: 50/50 successive totally useless probings
62.66/62.92 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
62.66/62.92 c (0.2s) symmetry computation finished: 11 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
62.66/62.92 c dynamic symmetry handling statistics:
62.66/62.92 c orbitopal reduction: no components
62.66/62.92 c orbital reduction: 5 components of sizes 3, 2, 2, 2, 2
62.66/62.92 c lexicographic reduction: 11 permutations with support sizes 924, 452, 452, 320, 660, 330, 160, 50, 110, 22, 10
62.66/62.92 c handled 5 out of 5 symmetry components
62.66/62.92 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
62.66/62.92 c 462 deleted vars, 2900 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
62.66/62.92 c 0 implications, 16044 cliques
62.66/62.92 c presolved problem has 1584 variables (1584 bin, 0 int, 0 impl, 0 cont) and 16044 constraints
62.66/62.92 c 16044 constraints of type <setppc>
62.66/62.92 c transformed objective value is always integral (scale: 1)
62.66/62.92 c Presolving Time: 52.67
62.66/62.92 c
62.66/62.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
62.66/62.92 c t52.7s| 1 | 0 | 0 | - | trivial| 0 |1584 | 16k| 0 | 0 | 0 | 0 | 0 |-1.682000e+03 |-9.800000e+01 |1616.33%| unknown
62.66/62.92 c p52.7s| 1 | 0 | 0 | - | clique| 0 |1584 | 16k| 16k| 0 | 0 | 0 | 0 |-1.682000e+03 |-2.760000e+02 | 509.42%| unknown
62.66/62.92 c p52.8s| 1 | 0 | 0 | - | locks| 0 |1584 | 16k| 16k| 0 | 0 | 0 | 0 |-1.682000e+03 |-2.970000e+02 | 466.33%| unknown
62.66/62.92 c i52.8s| 1 | 0 | 269 | - | oneopt| 0 |1584 | 16k| 16k| 0 | 0 | 0 | 0 |-1.682000e+03 |-3.040000e+02 | 453.29%| unknown
62.66/62.92 c 52.9s| 1 | 0 | 1904 | - | 70M | 0 |1584 | 16k| 16k| 0 | 0 | 0 | 0 |-8.900000e+02 |-3.040000e+02 | 192.76%| unknown
62.66/62.92 c 53.4s| 1 | 0 | 2925 | - | 78M | 0 |1584 | 16k| 16k| 151 | 1 | 0 | 0 |-8.040000e+02 |-3.040000e+02 | 164.47%| unknown
62.66/62.92 c 53.6s| 1 | 0 | 3675 | - | 80M | 0 |1584 | 16k| 16k| 287 | 2 | 0 | 0 |-7.565000e+02 |-3.040000e+02 | 148.85%| unknown
62.66/62.92 c 53.9s| 1 | 0 | 4535 | - | 82M | 0 |1584 | 16k| 16k| 419 | 3 | 0 | 0 |-7.182500e+02 |-3.040000e+02 | 136.27%| unknown
62.66/62.92 c 54.2s| 1 | 0 | 5370 | - | 84M | 0 |1584 | 16k| 16k| 549 | 4 | 0 | 0 |-6.910500e+02 |-3.040000e+02 | 127.32%| unknown
62.66/62.92 c 54.4s| 1 | 0 | 6581 | - | 86M | 0 |1584 | 16k| 16k| 681 | 5 | 0 | 0 |-6.681667e+02 |-3.040000e+02 | 119.79%| unknown
62.66/62.92 c 54.7s| 1 | 0 | 7715 | - | 89M | 0 |1584 | 16k| 16k| 806 | 6 | 0 | 0 |-6.484583e+02 |-3.040000e+02 | 113.31%| unknown
62.66/62.92 c 55.0s| 1 | 0 | 9120 | - | 92M | 0 |1584 | 16k| 16k| 919 | 7 | 0 | 0 |-6.305794e+02 |-3.040000e+02 | 107.43%| unknown
62.66/62.92 c 55.3s| 1 | 0 | 10553 | - | 94M | 0 |1584 | 16k| 17k|1045 | 8 | 0 | 0 |-6.179435e+02 |-3.040000e+02 | 103.27%| unknown
62.66/62.92 c 55.7s| 1 | 0 | 12529 | - | 97M | 0 |1584 | 16k| 17k|1161 | 9 | 0 | 0 |-6.058462e+02 |-3.040000e+02 | 99.29%| unknown
62.66/62.92 c 56.1s| 1 | 0 | 14589 | - | 100M | 0 |1584 | 16k| 17k|1270 | 10 | 0 | 0 |-5.981015e+02 |-3.040000e+02 | 96.74%| unknown
62.66/62.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
62.66/62.92 c 56.5s| 1 | 0 | 16506 | - | 103M | 0 |1584 | 16k| 17k|1382 | 11 | 0 | 0 |-5.858875e+02 |-3.040000e+02 | 92.73%| unknown
62.66/62.92 c 57.0s| 1 | 0 | 18764 | - | 105M | 0 |1584 | 16k| 17k|1499 | 12 | 0 | 0 |-5.763293e+02 |-3.040000e+02 | 89.58%| unknown
62.66/62.92 c 57.4s| 1 | 0 | 20919 | - | 106M | 0 |1584 | 16k| 17k|1595 | 13 | 0 | 0 |-5.658104e+02 |-3.040000e+02 | 86.12%| unknown
62.66/62.92 c 57.8s| 1 | 0 | 23004 | - | 109M | 0 |1584 | 16k| 17k|1677 | 14 | 0 | 0 |-5.591801e+02 |-3.040000e+02 | 83.94%| unknown
62.66/62.92 c 58.2s| 1 | 0 | 24971 | - | 111M | 0 |1584 | 16k| 17k|1749 | 15 | 0 | 0 |-5.517803e+02 |-3.040000e+02 | 81.51%| unknown
62.66/62.92 c 58.6s| 1 | 0 | 26704 | - | 113M | 0 |1584 | 16k| 17k|1820 | 16 | 0 | 0 |-5.455970e+02 |-3.040000e+02 | 79.47%| unknown
62.66/62.92 c 58.9s| 1 | 0 | 28231 | - | 114M | 0 |1584 | 16k| 17k|1884 | 17 | 0 | 0 |-5.409193e+02 |-3.040000e+02 | 77.93%| unknown
62.66/62.92 c 59.2s| 1 | 0 | 30137 | - | 116M | 0 |1584 | 16k| 17k|1947 | 18 | 0 | 0 |-5.365489e+02 |-3.040000e+02 | 76.50%| unknown
62.66/62.92 c 59.5s| 1 | 0 | 31222 | - | 119M | 0 |1584 | 16k| 17k|1992 | 19 | 0 | 0 |-5.338590e+02 |-3.040000e+02 | 75.61%| unknown
62.66/62.92 c 59.8s| 1 | 0 | 32711 | - | 121M | 0 |1584 | 16k| 17k|2050 | 20 | 0 | 0 |-5.293980e+02 |-3.040000e+02 | 74.14%| unknown
62.66/62.92 c 60.1s| 1 | 0 | 34116 | - | 122M | 0 |1584 | 16k| 17k|2064 | 21 | 0 | 0 |-5.263220e+02 |-3.040000e+02 | 73.13%| unknown
62.66/62.92 c 60.2s| 1 | 0 | 34606 | - | 122M | 0 |1584 | 16k| 17k|2078 | 22 | 0 | 0 |-5.249223e+02 |-3.040000e+02 | 72.67%| unknown
62.66/62.92 c 60.4s| 1 | 0 | 35363 | - | 122M | 0 |1584 | 16k| 17k|2087 | 23 | 0 | 0 |-5.232292e+02 |-3.040000e+02 | 72.11%| unknown
62.66/62.92 c 60.6s| 1 | 0 | 35980 | - | 122M | 0 |1584 | 16k| 17k|2101 | 24 | 0 | 0 |-5.210970e+02 |-3.040000e+02 | 71.41%| unknown
62.66/62.92 c 60.8s| 1 | 0 | 36318 | - | 122M | 0 |1584 | 16k| 17k|2110 | 25 | 0 | 0 |-5.202411e+02 |-3.040000e+02 | 71.13%| unknown
62.66/62.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
62.66/62.92 c 61.0s| 1 | 0 | 36797 | - | 122M | 0 |1584 | 16k| 17k|2118 | 26 | 0 | 0 |-5.186958e+02 |-3.040000e+02 | 70.62%| unknown
62.66/62.92 c 61.2s| 1 | 0 | 37459 | - | 122M | 0 |1584 | 16k| 17k|2128 | 27 | 0 | 0 |-5.161271e+02 |-3.040000e+02 | 69.78%| unknown
62.66/62.92 c 61.3s| 1 | 0 | 37991 | - | 123M | 0 |1584 | 16k| 17k|2135 | 28 | 0 | 0 |-5.140252e+02 |-3.040000e+02 | 69.09%| unknown
62.66/62.92 c 61.6s| 1 | 0 | 38877 | - | 123M | 0 |1584 | 16k| 17k|2143 | 29 | 0 | 0 |-5.120896e+02 |-3.040000e+02 | 68.45%| unknown
62.66/62.92 c 61.7s| 1 | 0 | 39594 | - | 123M | 0 |1584 | 16k| 17k|2153 | 30 | 0 | 0 |-5.094641e+02 |-3.040000e+02 | 67.59%| unknown
62.66/62.92 c 61.9s| 1 | 0 | 40229 | - | 123M | 0 |1584 | 16k| 17k|2172 | 31 | 0 | 0 |-5.073955e+02 |-3.040000e+02 | 66.91%| unknown
62.66/62.92 c 62.1s| 1 | 0 | 40740 | - | 123M | 0 |1584 | 16k| 17k|2197 | 32 | 0 | 0 |-5.061100e+02 |-3.040000e+02 | 66.48%| unknown
62.66/62.92 c 62.2s| 1 | 0 | 41087 | - | 123M | 0 |1584 | 16k| 17k|2218 | 33 | 0 | 0 |-5.053134e+02 |-3.040000e+02 | 66.22%| unknown
62.66/62.92 c 62.4s| 1 | 0 | 41708 | - | 124M | 0 |1584 | 16k| 17k|2234 | 34 | 0 | 0 |-5.035108e+02 |-3.040000e+02 | 65.63%| unknown
62.66/62.92 c 62.6s| 1 | 0 | 42419 | - | 124M | 0 |1584 | 16k| 17k|2258 | 35 | 0 | 0 |-5.016880e+02 |-3.040000e+02 | 65.03%| unknown
70.75/71.02 c 62.7s| 1 | 0 | 43120 | - | 124M | 0 |1584 | 16k| 17k|2296 | 36 | 0 | 0 |-4.992552e+02 |-3.040000e+02 | 64.23%| unknown
70.75/71.02 c 62.9s| 1 | 0 | 43508 | - | 124M | 0 |1584 | 16k| 17k|2322 | 37 | 0 | 0 |-4.985632e+02 |-3.040000e+02 | 64.00%| unknown
70.75/71.02 c 63.0s| 1 | 0 | 43970 | - | 125M | 0 |1584 | 16k| 17k|2338 | 38 | 0 | 0 |-4.976728e+02 |-3.040000e+02 | 63.71%| unknown
70.75/71.02 c 63.2s| 1 | 0 | 44546 | - | 125M | 0 |1584 | 16k| 17k|2360 | 39 | 0 | 0 |-4.958179e+02 |-3.040000e+02 | 63.10%| unknown
70.75/71.02 c 63.4s| 1 | 0 | 45116 | - | 125M | 0 |1584 | 16k| 17k|2378 | 40 | 0 | 0 |-4.940818e+02 |-3.040000e+02 | 62.53%| unknown
70.75/71.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
70.75/71.02 c 63.6s| 1 | 0 | 45697 | - | 125M | 0 |1584 | 16k| 17k|2392 | 41 | 0 | 0 |-4.919731e+02 |-3.040000e+02 | 61.83%| unknown
70.75/71.02 c 63.7s| 1 | 0 | 46384 | - | 125M | 0 |1584 | 16k| 17k|2402 | 42 | 0 | 0 |-4.904175e+02 |-3.040000e+02 | 61.32%| unknown
70.75/71.02 c 63.9s| 1 | 0 | 46854 | - | 125M | 0 |1584 | 16k| 17k|2416 | 43 | 0 | 0 |-4.890952e+02 |-3.040000e+02 | 60.89%| unknown
70.75/71.02 c 64.0s| 1 | 0 | 47345 | - | 125M | 0 |1584 | 16k| 17k|2427 | 44 | 0 | 0 |-4.883926e+02 |-3.040000e+02 | 60.66%| unknown
70.75/71.02 c 64.2s| 1 | 0 | 47953 | - | 126M | 0 |1584 | 16k| 17k|2443 | 45 | 0 | 0 |-4.873847e+02 |-3.040000e+02 | 60.32%| unknown
70.75/71.02 c 64.4s| 1 | 0 | 48598 | - | 126M | 0 |1584 | 16k| 17k|2452 | 46 | 0 | 0 |-4.860214e+02 |-3.040000e+02 | 59.88%| unknown
70.75/71.02 c 64.5s| 1 | 0 | 49063 | - | 126M | 0 |1584 | 16k| 17k|2465 | 47 | 0 | 0 |-4.841418e+02 |-3.040000e+02 | 59.26%| unknown
70.75/71.02 c 64.7s| 1 | 0 | 49642 | - | 126M | 0 |1584 | 16k| 17k|2493 | 48 | 0 | 0 |-4.819565e+02 |-3.040000e+02 | 58.54%| unknown
70.75/71.02 c 64.8s| 1 | 0 | 49962 | - | 127M | 0 |1584 | 16k| 17k|2520 | 49 | 0 | 0 |-4.810042e+02 |-3.040000e+02 | 58.23%| unknown
70.75/71.02 c 65.0s| 1 | 0 | 50383 | - | 127M | 0 |1584 | 16k| 17k|2535 | 50 | 0 | 0 |-4.793711e+02 |-3.040000e+02 | 57.69%| unknown
70.75/71.02 c 65.2s| 1 | 0 | 50923 | - | 127M | 0 |1584 | 16k| 17k|2547 | 51 | 0 | 0 |-4.770684e+02 |-3.040000e+02 | 56.93%| unknown
70.75/71.02 c 65.4s| 1 | 0 | 51818 | - | 127M | 0 |1584 | 16k| 17k|2565 | 52 | 0 | 0 |-4.752420e+02 |-3.040000e+02 | 56.33%| unknown
70.75/71.02 c 65.5s| 1 | 0 | 52503 | - | 127M | 0 |1584 | 16k| 17k|2589 | 53 | 0 | 0 |-4.737095e+02 |-3.040000e+02 | 55.83%| unknown
70.75/71.02 c 65.7s| 1 | 0 | 52898 | - | 127M | 0 |1584 | 16k| 17k|2615 | 54 | 0 | 0 |-4.726040e+02 |-3.040000e+02 | 55.46%| unknown
70.75/71.02 c 65.8s| 1 | 0 | 53336 | - | 127M | 0 |1584 | 16k| 17k|2630 | 55 | 0 | 0 |-4.716350e+02 |-3.040000e+02 | 55.14%| unknown
70.75/71.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
70.75/71.02 c 66.0s| 1 | 0 | 53778 | - | 128M | 0 |1584 | 16k| 17k|2645 | 56 | 0 | 0 |-4.692326e+02 |-3.040000e+02 | 54.35%| unknown
70.75/71.02 c 66.1s| 1 | 0 | 54227 | - | 128M | 0 |1584 | 16k| 17k|2655 | 57 | 0 | 0 |-4.683927e+02 |-3.040000e+02 | 54.08%| unknown
70.75/71.02 c 66.3s| 1 | 0 | 54790 | - | 128M | 0 |1584 | 16k| 17k|2671 | 58 | 0 | 0 |-4.666007e+02 |-3.040000e+02 | 53.49%| unknown
70.75/71.02 c 66.4s| 1 | 0 | 55182 | - | 128M | 0 |1584 | 16k| 17k|2686 | 59 | 0 | 0 |-4.654706e+02 |-3.040000e+02 | 53.12%| unknown
70.75/71.02 c 66.5s| 1 | 0 | 55331 | - | 128M | 0 |1584 | 16k| 17k|2696 | 60 | 0 | 0 |-4.649578e+02 |-3.040000e+02 | 52.95%| unknown
70.75/71.02 c 66.6s| 1 | 0 | 55715 | - | 128M | 0 |1584 | 16k| 17k|2711 | 61 | 0 | 0 |-4.637274e+02 |-3.040000e+02 | 52.54%| unknown
70.75/71.02 c 66.8s| 1 | 0 | 56275 | - | 128M | 0 |1584 | 16k| 17k|2728 | 62 | 0 | 0 |-4.617208e+02 |-3.040000e+02 | 51.88%| unknown
70.75/71.02 c 67.0s| 1 | 0 | 56895 | - | 128M | 0 |1584 | 16k| 17k|2748 | 63 | 0 | 0 |-4.601624e+02 |-3.040000e+02 | 51.37%| unknown
70.75/71.02 c 67.2s| 1 | 0 | 57462 | - | 128M | 0 |1584 | 16k| 17k|2768 | 64 | 0 | 0 |-4.589757e+02 |-3.040000e+02 | 50.98%| unknown
70.75/71.02 c 67.3s| 1 | 0 | 57874 | - | 128M | 0 |1584 | 16k| 17k|2779 | 65 | 0 | 0 |-4.578770e+02 |-3.040000e+02 | 50.62%| unknown
70.75/71.02 c 67.5s| 1 | 0 | 58438 | - | 128M | 0 |1584 | 16k| 17k|2787 | 66 | 0 | 0 |-4.559372e+02 |-3.040000e+02 | 49.98%| unknown
70.75/71.02 c 67.7s| 1 | 0 | 58963 | - | 128M | 0 |1584 | 16k| 17k|2802 | 67 | 0 | 0 |-4.541324e+02 |-3.040000e+02 | 49.39%| unknown
70.75/71.02 c 67.8s| 1 | 0 | 59559 | - | 130M | 0 |1584 | 16k| 17k|2822 | 68 | 0 | 0 |-4.524758e+02 |-3.040000e+02 | 48.84%| unknown
70.75/71.02 c 68.0s| 1 | 0 | 60117 | - | 130M | 0 |1584 | 16k| 17k|2846 | 69 | 0 | 0 |-4.509850e+02 |-3.040000e+02 | 48.35%| unknown
70.75/71.02 c 68.1s| 1 | 0 | 60429 | - | 130M | 0 |1584 | 16k| 17k|2861 | 70 | 0 | 0 |-4.501964e+02 |-3.040000e+02 | 48.09%| unknown
70.75/71.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
70.75/71.02 c 68.3s| 1 | 0 | 61039 | - | 130M | 0 |1584 | 16k| 17k|2876 | 71 | 0 | 0 |-4.475420e+02 |-3.040000e+02 | 47.22%| unknown
70.75/71.02 c 68.4s| 1 | 0 | 61604 | - | 130M | 0 |1584 | 16k| 17k|2893 | 72 | 0 | 0 |-4.459758e+02 |-3.040000e+02 | 46.70%| unknown
70.75/71.02 c 68.6s| 1 | 0 | 62033 | - | 130M | 0 |1584 | 16k| 17k|2906 | 73 | 0 | 0 |-4.453325e+02 |-3.040000e+02 | 46.49%| unknown
70.75/71.02 c 68.7s| 1 | 0 | 62437 | - | 130M | 0 |1584 | 16k| 17k|2920 | 74 | 0 | 0 |-4.446169e+02 |-3.040000e+02 | 46.26%| unknown
70.75/71.02 c 68.9s| 1 | 0 | 62875 | - | 131M | 0 |1584 | 16k| 17k|2931 | 75 | 0 | 0 |-4.428700e+02 |-3.040000e+02 | 45.68%| unknown
70.75/71.02 c 69.0s| 1 | 0 | 63420 | - | 131M | 0 |1584 | 16k| 17k|2941 | 76 | 0 | 0 |-4.418039e+02 |-3.040000e+02 | 45.33%| unknown
70.75/71.02 c 69.2s| 1 | 0 | 63829 | - | 131M | 0 |1584 | 16k| 17k|2956 | 77 | 0 | 0 |-4.410321e+02 |-3.040000e+02 | 45.08%| unknown
70.75/71.02 c 69.3s| 1 | 0 | 64281 | - | 131M | 0 |1584 | 16k| 17k|2968 | 78 | 0 | 0 |-4.402633e+02 |-3.040000e+02 | 44.82%| unknown
70.75/71.02 c 69.5s| 1 | 0 | 64698 | - | 131M | 0 |1584 | 16k| 17k|2978 | 79 | 0 | 0 |-4.394093e+02 |-3.040000e+02 | 44.54%| unknown
70.75/71.02 c 69.6s| 1 | 0 | 65168 | - | 131M | 0 |1584 | 16k| 17k|2988 | 80 | 0 | 0 |-4.384752e+02 |-3.040000e+02 | 44.24%| unknown
70.75/71.02 c 69.8s| 1 | 0 | 65555 | - | 131M | 0 |1584 | 16k| 17k|3000 | 81 | 0 | 0 |-4.376443e+02 |-3.040000e+02 | 43.96%| unknown
70.75/71.02 c 69.9s| 1 | 0 | 65903 | - | 131M | 0 |1584 | 16k| 17k|3009 | 82 | 0 | 0 |-4.369470e+02 |-3.040000e+02 | 43.73%| unknown
70.75/71.02 c 70.1s| 1 | 0 | 66327 | - | 131M | 0 |1584 | 16k| 17k|3017 | 83 | 0 | 0 |-4.362711e+02 |-3.040000e+02 | 43.51%| unknown
70.75/71.02 c 70.2s| 1 | 0 | 66632 | - | 131M | 0 |1584 | 16k| 17k|3025 | 84 | 0 | 0 |-4.358072e+02 |-3.040000e+02 | 43.36%| unknown
70.75/71.02 c 70.4s| 1 | 0 | 67158 | - | 132M | 0 |1584 | 16k| 17k|3036 | 85 | 0 | 0 |-4.341911e+02 |-3.040000e+02 | 42.83%| unknown
70.75/71.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
70.75/71.02 c 70.5s| 1 | 0 | 67631 | - | 132M | 0 |1584 | 16k| 17k|3052 | 86 | 0 | 0 |-4.327672e+02 |-3.040000e+02 | 42.36%| unknown
70.75/71.02 c 70.7s| 1 | 0 | 68186 | - | 132M | 0 |1584 | 16k| 17k|3073 | 87 | 0 | 0 |-4.311745e+02 |-3.040000e+02 | 41.83%| unknown
76.93/77.22 c 70.9s| 1 | 0 | 68651 | - | 132M | 0 |1584 | 16k| 17k|3094 | 88 | 0 | 0 |-4.301919e+02 |-3.040000e+02 | 41.51%| unknown
76.93/77.22 c 71.0s| 1 | 0 | 69280 | - | 132M | 0 |1584 | 16k| 17k|3110 | 89 | 0 | 0 |-4.287870e+02 |-3.040000e+02 | 41.05%| unknown
76.93/77.22 c 71.2s| 1 | 0 | 69667 | - | 132M | 0 |1584 | 16k| 17k|3128 | 90 | 0 | 0 |-4.280906e+02 |-3.040000e+02 | 40.82%| unknown
76.93/77.22 c 71.3s| 1 | 0 | 70143 | - | 132M | 0 |1584 | 16k| 17k|3145 | 91 | 0 | 0 |-4.267565e+02 |-3.040000e+02 | 40.38%| unknown
76.93/77.22 c 71.5s| 1 | 0 | 70514 | - | 132M | 0 |1584 | 16k| 17k|3156 | 92 | 0 | 0 |-4.261350e+02 |-3.040000e+02 | 40.18%| unknown
76.93/77.22 c 71.6s| 1 | 0 | 70916 | - | 133M | 0 |1584 | 16k| 17k|3164 | 93 | 0 | 0 |-4.254757e+02 |-3.040000e+02 | 39.96%| unknown
76.93/77.22 c 71.7s| 1 | 0 | 71144 | - | 133M | 0 |1584 | 16k| 17k|3169 | 94 | 0 | 0 |-4.252186e+02 |-3.040000e+02 | 39.87%| unknown
76.93/77.22 c 71.9s| 1 | 0 | 71785 | - | 133M | 0 |1584 | 16k| 17k|3182 | 95 | 0 | 0 |-4.241004e+02 |-3.040000e+02 | 39.51%| unknown
76.93/77.22 c 72.0s| 1 | 0 | 72074 | - | 133M | 0 |1584 | 16k| 17k|3194 | 96 | 0 | 0 |-4.237438e+02 |-3.040000e+02 | 39.39%| unknown
76.93/77.22 c 72.2s| 1 | 0 | 72418 | - | 133M | 0 |1584 | 16k| 17k|3204 | 97 | 0 | 0 |-4.232756e+02 |-3.040000e+02 | 39.24%| unknown
76.93/77.22 c 72.3s| 1 | 0 | 73020 | - | 133M | 0 |1584 | 16k| 17k|3217 | 98 | 0 | 0 |-4.215786e+02 |-3.040000e+02 | 38.68%| unknown
76.93/77.22 c 72.5s| 1 | 0 | 73643 | - | 133M | 0 |1584 | 16k| 17k|3242 | 99 | 0 | 0 |-4.204962e+02 |-3.040000e+02 | 38.32%| unknown
76.93/77.22 c 72.7s| 1 | 0 | 73989 | - | 134M | 0 |1584 | 16k| 17k|3256 |100 | 0 | 0 |-4.193448e+02 |-3.040000e+02 | 37.94%| unknown
76.93/77.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
76.93/77.22 c 72.8s| 1 | 0 | 74397 | - | 134M | 0 |1584 | 16k| 17k|3268 |101 | 0 | 0 |-4.186804e+02 |-3.040000e+02 | 37.72%| unknown
76.93/77.22 c 72.9s| 1 | 0 | 74945 | - | 134M | 0 |1584 | 16k| 17k|3284 |102 | 0 | 0 |-4.178342e+02 |-3.040000e+02 | 37.45%| unknown
76.93/77.22 c 73.0s| 1 | 0 | 75354 | - | 134M | 0 |1584 | 16k| 17k|3296 |103 | 0 | 0 |-4.169996e+02 |-3.040000e+02 | 37.17%| unknown
76.93/77.22 c 73.1s| 1 | 0 | 75730 | - | 134M | 0 |1584 | 16k| 17k|3305 |104 | 0 | 0 |-4.163892e+02 |-3.040000e+02 | 36.97%| unknown
76.93/77.22 c 73.2s| 1 | 0 | 75920 | - | 134M | 0 |1584 | 16k| 17k|3314 |105 | 0 | 0 |-4.161077e+02 |-3.040000e+02 | 36.88%| unknown
76.93/77.22 c 73.3s| 1 | 0 | 76323 | - | 134M | 0 |1584 | 16k| 17k|3326 |106 | 0 | 0 |-4.154344e+02 |-3.040000e+02 | 36.66%| unknown
76.93/77.22 c 73.4s| 1 | 0 | 76685 | - | 134M | 0 |1584 | 16k| 17k|3338 |107 | 0 | 0 |-4.148283e+02 |-3.040000e+02 | 36.46%| unknown
76.93/77.22 c 73.5s| 1 | 0 | 77322 | - | 134M | 0 |1584 | 16k| 17k|3348 |108 | 0 | 0 |-4.135712e+02 |-3.040000e+02 | 36.04%| unknown
76.93/77.22 c 73.6s| 1 | 0 | 77716 | - | 134M | 0 |1584 | 16k| 17k|3358 |109 | 0 | 0 |-4.129982e+02 |-3.040000e+02 | 35.85%| unknown
76.93/77.22 c 73.8s| 1 | 0 | 78162 | - | 135M | 0 |1584 | 16k| 17k|3374 |110 | 0 | 0 |-4.120768e+02 |-3.040000e+02 | 35.55%| unknown
76.93/77.22 c 73.8s| 1 | 0 | 78434 | - | 135M | 0 |1584 | 16k| 17k|3383 |111 | 0 | 0 |-4.114569e+02 |-3.040000e+02 | 35.35%| unknown
76.93/77.22 c 73.9s| 1 | 0 | 78711 | - | 135M | 0 |1584 | 16k| 17k|3389 |112 | 0 | 0 |-4.109978e+02 |-3.040000e+02 | 35.20%| unknown
76.93/77.22 c 74.0s| 1 | 0 | 79068 | - | 135M | 0 |1584 | 16k| 17k|3401 |113 | 0 | 0 |-4.100806e+02 |-3.040000e+02 | 34.89%| unknown
76.93/77.22 c 74.1s| 1 | 0 | 79493 | - | 135M | 0 |1584 | 16k| 17k|3410 |114 | 0 | 0 |-4.092698e+02 |-3.040000e+02 | 34.63%| unknown
76.93/77.22 c 74.2s| 1 | 0 | 79815 | - | 135M | 0 |1584 | 16k| 17k|3419 |115 | 0 | 0 |-4.085957e+02 |-3.040000e+02 | 34.41%| unknown
76.93/77.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
76.93/77.22 c 74.3s| 1 | 0 | 80149 | - | 135M | 0 |1584 | 16k| 17k|3432 |116 | 0 | 0 |-4.080684e+02 |-3.040000e+02 | 34.23%| unknown
76.93/77.22 c 74.4s| 1 | 0 | 80722 | - | 136M | 0 |1584 | 16k| 17k|3442 |117 | 0 | 0 |-4.071471e+02 |-3.040000e+02 | 33.93%| unknown
76.93/77.22 c 74.6s| 1 | 0 | 81257 | - | 136M | 0 |1584 | 16k| 17k|3452 |118 | 0 | 0 |-4.062713e+02 |-3.040000e+02 | 33.64%| unknown
76.93/77.22 c 74.7s| 1 | 0 | 81886 | - | 136M | 0 |1584 | 16k| 17k|3467 |119 | 0 | 0 |-4.052617e+02 |-3.040000e+02 | 33.31%| unknown
76.93/77.22 c 74.9s| 1 | 0 | 82353 | - | 136M | 0 |1584 | 16k| 17k|3483 |120 | 0 | 0 |-4.046820e+02 |-3.040000e+02 | 33.12%| unknown
76.93/77.22 c 75.0s| 1 | 0 | 82836 | - | 136M | 0 |1584 | 16k| 17k|3494 |121 | 0 | 0 |-4.040506e+02 |-3.040000e+02 | 32.91%| unknown
76.93/77.23 c 75.1s| 1 | 0 | 83248 | - | 136M | 0 |1584 | 16k| 17k|3500 |122 | 0 | 0 |-4.033088e+02 |-3.040000e+02 | 32.67%| unknown
76.93/77.23 c 75.2s| 1 | 0 | 83630 | - | 136M | 0 |1584 | 16k| 17k|3507 |123 | 0 | 0 |-4.025165e+02 |-3.040000e+02 | 32.41%| unknown
76.93/77.23 c 75.3s| 1 | 0 | 83902 | - | 136M | 0 |1584 | 16k| 17k|3519 |124 | 0 | 0 |-4.020082e+02 |-3.040000e+02 | 32.24%| unknown
76.93/77.23 c 75.3s| 1 | 0 | 84220 | - | 136M | 0 |1584 | 16k| 17k|3529 |125 | 0 | 0 |-4.011870e+02 |-3.040000e+02 | 31.97%| unknown
76.93/77.23 c 75.5s| 1 | 0 | 84644 | - | 137M | 0 |1584 | 16k| 17k|3539 |126 | 0 | 0 |-4.005229e+02 |-3.040000e+02 | 31.75%| unknown
76.93/77.23 c 75.6s| 1 | 0 | 85009 | - | 137M | 0 |1584 | 16k| 17k|3547 |127 | 0 | 0 |-3.997910e+02 |-3.040000e+02 | 31.51%| unknown
76.93/77.23 c 75.7s| 1 | 0 | 85419 | - | 137M | 0 |1584 | 16k| 17k|3557 |128 | 0 | 0 |-3.992162e+02 |-3.040000e+02 | 31.32%| unknown
76.93/77.23 c 75.8s| 1 | 0 | 85865 | - | 137M | 0 |1584 | 16k| 17k|3569 |129 | 0 | 0 |-3.985563e+02 |-3.040000e+02 | 31.10%| unknown
76.93/77.23 c 75.9s| 1 | 0 | 86319 | - | 137M | 0 |1584 | 16k| 17k|3583 |130 | 0 | 0 |-3.977198e+02 |-3.040000e+02 | 30.83%| unknown
76.93/77.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
76.93/77.23 c 76.1s| 1 | 0 | 86778 | - | 137M | 0 |1584 | 16k| 17k|3594 |131 | 0 | 0 |-3.971074e+02 |-3.040000e+02 | 30.63%| unknown
76.93/77.23 c 76.2s| 1 | 0 | 87182 | - | 137M | 0 |1584 | 16k| 17k|3607 |132 | 0 | 0 |-3.966945e+02 |-3.040000e+02 | 30.49%| unknown
76.93/77.23 c 76.3s| 1 | 0 | 87456 | - | 137M | 0 |1584 | 16k| 17k|3617 |133 | 0 | 0 |-3.963140e+02 |-3.040000e+02 | 30.37%| unknown
76.93/77.23 c 76.4s| 1 | 0 | 87862 | - | 138M | 0 |1584 | 16k| 17k|3627 |134 | 0 | 0 |-3.956029e+02 |-3.040000e+02 | 30.13%| unknown
76.93/77.23 c 76.5s| 1 | 0 | 88229 | - | 138M | 0 |1584 | 16k| 17k|3638 |135 | 0 | 0 |-3.951291e+02 |-3.040000e+02 | 29.98%| unknown
76.93/77.23 c 76.6s| 1 | 0 | 88683 | - | 138M | 0 |1584 | 16k| 17k|3653 |136 | 0 | 0 |-3.945025e+02 |-3.040000e+02 | 29.77%| unknown
76.93/77.23 c 76.7s| 1 | 0 | 88920 | - | 138M | 0 |1584 | 16k| 17k|3662 |137 | 0 | 0 |-3.941821e+02 |-3.040000e+02 | 29.67%| unknown
76.93/77.23 c 76.8s| 1 | 0 | 89322 | - | 138M | 0 |1584 | 16k| 17k|3675 |138 | 0 | 0 |-3.935368e+02 |-3.040000e+02 | 29.45%| unknown
76.93/77.23 c 76.9s| 1 | 0 | 89638 | - | 138M | 0 |1584 | 16k| 17k|3684 |139 | 0 | 0 |-3.929058e+02 |-3.040000e+02 | 29.25%| unknown
76.93/77.23 c 77.0s| 1 | 0 | 89906 | - | 138M | 0 |1584 | 16k| 17k|3691 |140 | 0 | 0 |-3.924262e+02 |-3.040000e+02 | 29.09%| unknown
81.51/81.84 c 77.1s| 1 | 0 | 90150 | - | 138M | 0 |1584 | 16k| 17k|3700 |141 | 0 | 0 |-3.918599e+02 |-3.040000e+02 | 28.90%| unknown
81.51/81.84 c 77.2s| 1 | 0 | 90530 | - | 139M | 0 |1584 | 16k| 17k|3711 |142 | 0 | 0 |-3.915133e+02 |-3.040000e+02 | 28.79%| unknown
81.51/81.84 c 77.2s| 1 | 0 | 90822 | - | 139M | 0 |1584 | 16k| 17k|3720 |143 | 0 | 0 |-3.912113e+02 |-3.040000e+02 | 28.69%| unknown
81.51/81.84 c 77.4s| 1 | 0 | 91346 | - | 139M | 0 |1584 | 16k| 17k|3733 |144 | 0 | 0 |-3.899276e+02 |-3.040000e+02 | 28.27%| unknown
81.51/81.84 c 77.5s| 1 | 0 | 91615 | - | 139M | 0 |1584 | 16k| 17k|3744 |145 | 0 | 0 |-3.895621e+02 |-3.040000e+02 | 28.15%| unknown
81.51/81.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
81.51/81.84 c 77.6s| 1 | 0 | 92112 | - | 139M | 0 |1584 | 16k| 17k|3755 |146 | 0 | 0 |-3.890423e+02 |-3.040000e+02 | 27.97%| unknown
81.51/81.84 c 77.7s| 1 | 0 | 92399 | - | 139M | 0 |1584 | 16k| 17k|3765 |147 | 0 | 0 |-3.886562e+02 |-3.040000e+02 | 27.85%| unknown
81.51/81.84 c 77.8s| 1 | 0 | 92760 | - | 139M | 0 |1584 | 16k| 17k|3774 |148 | 0 | 0 |-3.880788e+02 |-3.040000e+02 | 27.66%| unknown
81.51/81.84 c 77.9s| 1 | 0 | 93128 | - | 139M | 0 |1584 | 16k| 17k|3783 |149 | 0 | 0 |-3.876290e+02 |-3.040000e+02 | 27.51%| unknown
81.51/81.84 c 78.0s| 1 | 0 | 93648 | - | 139M | 0 |1584 | 16k| 17k|3798 |150 | 0 | 0 |-3.867104e+02 |-3.040000e+02 | 27.21%| unknown
81.51/81.84 c 78.1s| 1 | 0 | 93962 | - | 139M | 0 |1584 | 16k| 17k|3803 |151 | 0 | 0 |-3.863070e+02 |-3.040000e+02 | 27.07%| unknown
81.51/81.84 c 78.2s| 1 | 0 | 94389 | - | 140M | 0 |1584 | 16k| 17k|3811 |152 | 0 | 0 |-3.855730e+02 |-3.040000e+02 | 26.83%| unknown
81.51/81.84 c 78.3s| 1 | 0 | 94670 | - | 140M | 0 |1584 | 16k| 17k|3822 |153 | 0 | 0 |-3.852520e+02 |-3.040000e+02 | 26.73%| unknown
81.51/81.84 c 78.4s| 1 | 0 | 94961 | - | 140M | 0 |1584 | 16k| 17k|3829 |154 | 0 | 0 |-3.850013e+02 |-3.040000e+02 | 26.65%| unknown
81.51/81.84 c 78.5s| 1 | 0 | 95194 | - | 140M | 0 |1584 | 16k| 17k|3839 |155 | 0 | 0 |-3.847828e+02 |-3.040000e+02 | 26.57%| unknown
81.51/81.84 c 78.6s| 1 | 0 | 95488 | - | 140M | 0 |1584 | 16k| 17k|3849 |156 | 0 | 0 |-3.844933e+02 |-3.040000e+02 | 26.48%| unknown
81.51/81.84 c 78.7s| 1 | 0 | 95830 | - | 140M | 0 |1584 | 16k| 17k|3857 |157 | 0 | 0 |-3.838488e+02 |-3.040000e+02 | 26.27%| unknown
81.51/81.84 c 78.8s| 1 | 0 | 96121 | - | 140M | 0 |1584 | 16k| 17k|3865 |158 | 0 | 0 |-3.834541e+02 |-3.040000e+02 | 26.14%| unknown
81.51/81.84 c 78.9s| 1 | 0 | 96378 | - | 140M | 0 |1584 | 16k| 17k|3870 |159 | 0 | 0 |-3.832696e+02 |-3.040000e+02 | 26.08%| unknown
81.51/81.84 c 79.0s| 1 | 0 | 96716 | - | 141M | 0 |1584 | 16k| 17k|3878 |160 | 0 | 0 |-3.829650e+02 |-3.040000e+02 | 25.98%| unknown
81.51/81.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
81.51/81.84 c 79.0s| 1 | 0 | 96907 | - | 141M | 0 |1584 | 16k| 17k|3886 |161 | 0 | 0 |-3.827235e+02 |-3.040000e+02 | 25.90%| unknown
81.51/81.84 c 79.1s| 1 | 0 | 97084 | - | 141M | 0 |1584 | 16k| 17k|3892 |162 | 0 | 0 |-3.825751e+02 |-3.040000e+02 | 25.85%| unknown
81.51/81.84 c 79.2s| 1 | 0 | 97439 | - | 141M | 0 |1584 | 16k| 17k|3900 |163 | 0 | 0 |-3.821122e+02 |-3.040000e+02 | 25.69%| unknown
81.51/81.84 c 79.3s| 1 | 0 | 97690 | - | 141M | 0 |1584 | 16k| 17k|3909 |164 | 0 | 0 |-3.818077e+02 |-3.040000e+02 | 25.59%| unknown
81.51/81.84 c 79.4s| 1 | 0 | 97997 | - | 141M | 0 |1584 | 16k| 17k|3921 |165 | 0 | 0 |-3.815389e+02 |-3.040000e+02 | 25.51%| unknown
81.51/81.84 c 79.5s| 1 | 0 | 98388 | - | 141M | 0 |1584 | 16k| 17k|3932 |166 | 0 | 0 |-3.809911e+02 |-3.040000e+02 | 25.33%| unknown
81.51/81.84 c 79.6s| 1 | 0 | 98578 | - | 141M | 0 |1584 | 16k| 17k|3938 |167 | 0 | 0 |-3.808403e+02 |-3.040000e+02 | 25.28%| unknown
81.51/81.84 c 79.6s| 1 | 0 | 98808 | - | 141M | 0 |1584 | 16k| 17k|3945 |168 | 0 | 0 |-3.803243e+02 |-3.040000e+02 | 25.11%| unknown
81.51/81.84 c 79.7s| 1 | 0 | 98998 | - | 141M | 0 |1584 | 16k| 17k|3951 |169 | 0 | 0 |-3.801348e+02 |-3.040000e+02 | 25.04%| unknown
81.51/81.84 c 79.8s| 1 | 0 | 99312 | - | 142M | 0 |1584 | 16k| 17k|3961 |170 | 0 | 0 |-3.797643e+02 |-3.040000e+02 | 24.92%| unknown
81.51/81.84 c 79.9s| 1 | 0 | 99442 | - | 142M | 0 |1584 | 16k| 17k|3969 |171 | 0 | 0 |-3.796699e+02 |-3.040000e+02 | 24.89%| unknown
81.51/81.84 c 79.9s| 1 | 0 | 99698 | - | 142M | 0 |1584 | 16k| 17k|3979 |172 | 0 | 0 |-3.794663e+02 |-3.040000e+02 | 24.82%| unknown
81.51/81.84 c 80.0s| 1 | 0 | 99944 | - | 142M | 0 |1584 | 16k| 17k|3989 |173 | 0 | 0 |-3.793175e+02 |-3.040000e+02 | 24.78%| unknown
81.51/81.84 c 80.1s| 1 | 0 |100146 | - | 142M | 0 |1584 | 16k| 17k|3998 |174 | 0 | 0 |-3.791643e+02 |-3.040000e+02 | 24.73%| unknown
81.51/81.84 c 80.2s| 1 | 0 |100356 | - | 142M | 0 |1584 | 16k| 17k|4007 |175 | 0 | 0 |-3.789591e+02 |-3.040000e+02 | 24.66%| unknown
81.51/81.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
81.51/81.84 c 80.2s| 1 | 0 |100520 | - | 142M | 0 |1584 | 16k| 17k|4015 |176 | 0 | 0 |-3.788397e+02 |-3.040000e+02 | 24.62%| unknown
81.51/81.84 c 80.3s| 1 | 0 |100778 | - | 143M | 0 |1584 | 16k| 17k|4028 |177 | 0 | 0 |-3.785161e+02 |-3.040000e+02 | 24.51%| unknown
81.51/81.84 c 80.4s| 1 | 0 |101004 | - | 143M | 0 |1584 | 16k| 17k|4040 |178 | 0 | 0 |-3.783205e+02 |-3.040000e+02 | 24.45%| unknown
81.51/81.84 c 80.5s| 1 | 0 |101163 | - | 143M | 0 |1584 | 16k| 17k|4053 |179 | 0 | 0 |-3.781030e+02 |-3.040000e+02 | 24.38%| unknown
81.51/81.84 c 80.6s| 1 | 0 |101386 | - | 143M | 0 |1584 | 16k| 17k|4065 |180 | 0 | 0 |-3.779604e+02 |-3.040000e+02 | 24.33%| unknown
81.51/81.84 c 80.7s| 1 | 0 |101600 | - | 143M | 0 |1584 | 16k| 17k|4074 |181 | 0 | 0 |-3.778176e+02 |-3.040000e+02 | 24.28%| unknown
81.51/81.84 c 80.7s| 1 | 0 |101829 | - | 143M | 0 |1584 | 16k| 17k|4085 |182 | 0 | 0 |-3.776661e+02 |-3.040000e+02 | 24.23%| unknown
81.51/81.84 c 80.8s| 1 | 0 |102172 | - | 143M | 0 |1584 | 16k| 17k|4096 |183 | 0 | 0 |-3.773518e+02 |-3.040000e+02 | 24.13%| unknown
81.51/81.84 c 80.9s| 1 | 0 |102464 | - | 143M | 0 |1584 | 16k| 17k|4109 |184 | 0 | 0 |-3.770347e+02 |-3.040000e+02 | 24.02%| unknown
81.51/81.84 c 81.1s| 1 | 0 |102763 | - | 143M | 0 |1584 | 16k| 17k|4119 |185 | 0 | 0 |-3.768004e+02 |-3.040000e+02 | 23.95%| unknown
81.51/81.84 c 81.1s| 1 | 0 |103049 | - | 144M | 0 |1584 | 16k| 17k|4133 |186 | 0 | 0 |-3.764827e+02 |-3.040000e+02 | 23.84%| unknown
81.51/81.84 c 81.2s| 1 | 0 |103315 | - | 144M | 0 |1584 | 16k| 17k|4143 |187 | 0 | 0 |-3.762908e+02 |-3.040000e+02 | 23.78%| unknown
81.51/81.84 c 81.3s| 1 | 0 |103465 | - | 144M | 0 |1584 | 16k| 18k|4153 |188 | 0 | 0 |-3.761767e+02 |-3.040000e+02 | 23.74%| unknown
81.51/81.84 c 81.4s| 1 | 0 |103684 | - | 144M | 0 |1584 | 16k| 18k|4162 |189 | 0 | 0 |-3.760545e+02 |-3.040000e+02 | 23.70%| unknown
81.51/81.84 c 81.5s| 1 | 0 |103842 | - | 144M | 0 |1584 | 16k| 18k|4171 |190 | 0 | 0 |-3.759353e+02 |-3.040000e+02 | 23.66%| unknown
81.51/81.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
81.51/81.84 c 81.5s| 1 | 0 |103979 | - | 144M | 0 |1584 | 16k| 18k|4177 |191 | 0 | 0 |-3.757808e+02 |-3.040000e+02 | 23.61%| unknown
81.51/81.84 c 81.6s| 1 | 0 |104186 | - | 144M | 0 |1584 | 16k| 18k|4186 |192 | 0 | 0 |-3.755692e+02 |-3.040000e+02 | 23.54%| unknown
375.29/376.43 c 81.7s| 1 | 0 |104359 | - | 144M | 0 |1584 | 16k| 18k|4195 |193 | 0 | 0 |-3.754099e+02 |-3.040000e+02 | 23.49%| unknown
375.29/376.43 c 81.8s| 1 | 0 |104577 | - | 145M | 0 |1584 | 16k| 18k|4205 |194 | 0 | 0 |-3.752894e+02 |-3.040000e+02 | 23.45%| unknown
375.29/376.43 c 81.8s| 1 | 0 |104743 | - | 145M | 0 |1584 | 16k| 18k|4216 |195 | 0 | 0 |-3.751930e+02 |-3.040000e+02 | 23.42%| unknown
375.29/376.43 c 81.9s| 1 | 0 |105019 | - | 145M | 0 |1584 | 16k| 18k|4224 |196 | 0 | 0 |-3.750292e+02 |-3.040000e+02 | 23.36%| unknown
375.29/376.43 c 82.0s| 1 | 0 |105183 | - | 145M | 0 |1584 | 16k| 18k|4232 |197 | 0 | 0 |-3.749330e+02 |-3.040000e+02 | 23.33%| unknown
375.29/376.43 c 82.1s| 1 | 0 |105372 | - | 145M | 0 |1584 | 16k| 18k|4244 |198 | 0 | 0 |-3.748128e+02 |-3.040000e+02 | 23.29%| unknown
375.29/376.43 c 82.1s| 1 | 0 |105494 | - | 145M | 0 |1584 | 16k| 18k|4259 |199 | 0 | 0 |-3.747349e+02 |-3.040000e+02 | 23.27%| unknown
375.29/376.43 c 82.2s| 1 | 0 |105679 | - | 145M | 0 |1584 | 16k| 18k|4270 |200 | 0 | 0 |-3.746287e+02 |-3.040000e+02 | 23.23%| unknown
375.29/376.43 c 82.3s| 1 | 0 |105823 | - | 146M | 0 |1584 | 16k| 18k|4283 |201 | 0 | 0 |-3.745804e+02 |-3.040000e+02 | 23.22%| unknown
375.29/376.43 c 82.4s| 1 | 0 |105925 | - | 146M | 0 |1584 | 16k| 18k|4288 |202 | 0 | 0 |-3.745566e+02 |-3.040000e+02 | 23.21%| unknown
375.29/376.43 c 82.4s| 1 | 0 |106092 | - | 146M | 0 |1584 | 16k| 18k|4298 |203 | 0 | 0 |-3.744930e+02 |-3.040000e+02 | 23.19%| unknown
375.29/376.43 c 82.5s| 1 | 0 |106317 | - | 146M | 0 |1584 | 16k| 18k|4310 |204 | 0 | 0 |-3.743708e+02 |-3.040000e+02 | 23.15%| unknown
375.29/376.43 c 82.6s| 1 | 0 |106455 | - | 146M | 0 |1584 | 16k| 18k|4319 |205 | 0 | 0 |-3.743134e+02 |-3.040000e+02 | 23.13%| unknown
375.29/376.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
375.29/376.43 c 82.6s| 1 | 0 |106540 | - | 146M | 0 |1584 | 16k| 18k|4330 |206 | 0 | 0 |-3.742987e+02 |-3.040000e+02 | 23.12%| unknown
375.29/376.43 c 82.7s| 1 | 0 |106687 | - | 146M | 0 |1584 | 16k| 18k|4338 |207 | 0 | 0 |-3.742132e+02 |-3.040000e+02 | 23.10%| unknown
375.29/376.43 c 82.8s| 1 | 0 |106790 | - | 146M | 0 |1584 | 16k| 18k|4350 |208 | 0 | 0 |-3.741551e+02 |-3.040000e+02 | 23.08%| unknown
375.29/376.43 c 82.8s| 1 | 0 |106852 | - | 146M | 0 |1584 | 16k| 18k|4357 |209 | 0 | 0 |-3.741423e+02 |-3.040000e+02 | 23.07%| unknown
375.29/376.43 c 82.9s| 1 | 0 |106914 | - | 147M | 0 |1584 | 16k| 18k|4367 |210 | 0 | 0 |-3.741310e+02 |-3.040000e+02 | 23.07%| unknown
375.29/376.43 c 82.9s| 1 | 0 |107022 | - | 147M | 0 |1584 | 16k| 18k|4374 |211 | 0 | 0 |-3.740811e+02 |-3.040000e+02 | 23.05%| unknown
375.29/376.43 c 83.0s| 1 | 0 |107096 | - | 147M | 0 |1584 | 16k| 18k|4382 |212 | 0 | 0 |-3.740558e+02 |-3.040000e+02 | 23.04%| unknown
375.29/376.43 c 83.1s| 1 | 0 |107188 | - | 147M | 0 |1584 | 16k| 18k|4389 |213 | 0 | 0 |-3.740124e+02 |-3.040000e+02 | 23.03%| unknown
375.29/376.43 c 83.1s| 1 | 0 |107291 | - | 147M | 0 |1584 | 16k| 18k|4397 |214 | 0 | 0 |-3.739743e+02 |-3.040000e+02 | 23.02%| unknown
375.29/376.43 c 83.2s| 1 | 0 |107397 | - | 147M | 0 |1584 | 16k| 18k|4404 |215 | 0 | 0 |-3.739182e+02 |-3.040000e+02 | 23.00%| unknown
375.29/376.43 c 83.2s| 1 | 0 |107451 | - | 147M | 0 |1584 | 16k| 18k|4412 |216 | 0 | 0 |-3.738997e+02 |-3.040000e+02 | 22.99%| unknown
375.29/376.43 c 83.3s| 1 | 0 |107494 | - | 148M | 0 |1584 | 16k| 18k|4417 |217 | 0 | 0 |-3.738930e+02 |-3.040000e+02 | 22.99%| unknown
375.29/376.43 c 83.3s| 1 | 0 |107506 | - | 148M | 0 |1584 | 16k| 18k|4421 |218 | 0 | 0 |-3.738929e+02 |-3.040000e+02 | 22.99%| unknown
375.29/376.43 c 83.4s| 1 | 0 |107508 | - | 148M | 0 |1584 | 16k| 18k|4422 |219 | 0 | 0 |-3.738928e+02 |-3.040000e+02 | 22.99%| unknown
375.29/376.43 c 83.4s| 1 | 0 |107510 | - | 148M | 0 |1584 | 16k| 18k|4423 |220 | 0 | 0 |-3.738928e+02 |-3.040000e+02 | 22.99%| unknown
375.29/376.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
375.29/376.43 c 83.5s| 1 | 0 |107512 | - | 148M | 0 |1584 | 16k| 18k|4424 |221 | 0 | 0 |-3.738928e+02 |-3.040000e+02 | 22.99%| unknown
375.29/376.43 c 88.6s| 1 | 2 |107515 | - | 148M | 0 |1584 | 16k| 18k|4424 |222 | 0 | 51 |-3.735944e+02 |-3.040000e+02 | 22.89%| unknown
375.29/376.43 c Orbital fixing symmetry for 0x564269672578 broken before symmetry. Requires fixing 104/330 affected variables.
375.29/376.43 c Orbital fixing symmetry for 0x564269672520 broken before symmetry. Requires fixing 56/110 affected variables.
375.29/376.43 c d 109s| 10 | 11 |112583 | 593.3 |pscostdi| 7 |1584 | 16k| 17k| 0 | 1 | 0 | 340 |-3.732835e+02 |-3.060000e+02 | 21.99%| unknown
375.29/376.43 c d 110s| 10 | 11 |112628 | 598.3 |pscostdi| 7 |1584 | 16k| 17k| 0 | 1 | 0 | 340 |-3.732835e+02 |-3.140000e+02 | 18.88%| unknown
375.29/376.43 c d 110s| 10 | 11 |112680 | 604.1 |pscostdi| 7 |1584 | 16k| 17k| 0 | 1 | 0 | 340 |-3.732835e+02 |-3.300000e+02 | 13.12%| unknown
375.29/376.43 c d 110s| 10 | 11 |112697 | 606.0 |pscostdi| 7 |1584 | 16k| 17k| 0 | 1 | 0 | 340 |-3.732835e+02 |-3.330000e+02 | 12.10%| unknown
375.29/376.43 c d 110s| 10 | 11 |112730 | 609.7 |pscostdi| 7 |1584 | 16k| 17k| 0 | 1 | 0 | 340 |-3.732835e+02 |-3.420000e+02 | 9.15%| unknown
375.29/376.43 c 175s| 100 | 101 |235521 |1295.7 | 173M | 24 |1584 | 16k| 17k|4686 | 1 | 75 | 780 |-3.727068e+02 |-3.420000e+02 | 8.98%| unknown
375.29/376.43 c L 179s| 110 | 111 |253542 |1342.2 | gins| 24 |1584 | 16k| 17k|4704 | 1 | 75 | 780 |-3.727068e+02 |-3.440000e+02 | 8.34%| unknown
375.29/376.43 c 213s| 200 | 201 |368915 |1314.9 | 212M | 27 |1584 | 16k| 17k|5019 | 1 | 144 | 822 |-3.724700e+02 |-3.440000e+02 | 8.28%| unknown
375.29/376.43 c L 226s| 260 | 261 |407194 |1158.1 | gins| 27 |1584 | 16k| 17k|5128 | 1 | 198 | 841 |-3.724169e+02 |-3.450000e+02 | 7.95%| unknown
375.29/376.43 c 236s| 300 | 301 |435108 |1096.5 | 233M | 27 |1584 | 16k| 17k|5274 | 1 | 204 | 860 |-3.722738e+02 |-3.450000e+02 | 7.91%| unknown
375.29/376.43 c 260s| 400 | 401 |489850 | 958.9 | 298M | 33 |1584 | 16k| 17k|5887 | 1 | 244 | 918 |-3.721139e+02 |-3.450000e+02 | 7.86%| unknown
375.29/376.43 c 306s| 500 | 501 |559089 | 905.5 | 299M | 37 |1584 | 16k| 17k|6321 | 1 | 276 | 961 |-3.720292e+02 |-3.450000e+02 | 7.83%| unknown
375.29/376.43 c 330s| 600 | 587 |624142 | 862.9 | 379M | 68 |1584 | 16k| 17k|6653 | 1 | 311 |1012 |-3.720292e+02 |-3.450000e+02 | 7.83%| unknown
375.29/376.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
375.29/376.43 c 334s| 700 | 611 |632818 | 751.9 | 380M | 74 |1584 | 16k| 17k|6664 | 1 | 332 |1032 |-3.720292e+02 |-3.450000e+02 | 7.83%| unknown
375.29/376.43 c 338s| 800 | 627 |640752 | 667.7 | 381M | 75 |1584 | 16k| 17k|6678 | 2 | 370 |1062 |-3.720292e+02 |-3.450000e+02 | 7.83%| unknown
375.29/376.43 c 349s| 900 | 661 |661971 | 617.1 | 385M | 76 |1584 | 16k| 17k|6929 | 1 | 378 |1097 |-3.719870e+02 |-3.450000e+02 | 7.82%| unknown
375.29/376.43 c L 350s| 928 | 626 |664807 | 601.5 | gins| 76 |1584 | 16k| 17k|6931 | 1 | 394 |1115 |-3.719870e+02 |-3.460000e+02 | 7.51%| unknown
375.29/376.43 c 355s| 1000 | 638 |675190 | 568.5 | 385M | 76 |1584 | 16k| 17k|7028 | 1 | 410 |1135 |-3.719633e+02 |-3.460000e+02 | 7.50%| unknown
375.29/376.43 c 360s| 1100 | 650 |686575 | 527.1 | 394M | 76 |1584 | 16k| 17k|7140 | 2 | 410 |1146 |-3.719350e+02 |-3.460000e+02 | 7.50%| unknown
375.29/376.43 c 367s| 1200 | 664 |698969 | 493.5 | 401M | 76 |1584 | 16k| 17k|7273 | 1 | 425 |1173 |-3.719325e+02 |-3.460000e+02 | 7.49%| unknown
375.29/376.43 c 370s| 1300 | 664 |705092 | 460.2 | 401M | 76 |1584 | 16k| 17k|7285 | 1 | 446 |1187 |-3.719325e+02 |-3.460000e+02 | 7.49%| unknown
811.75/814.13 c 376s| 1400 | 672 |721636 | 439.2 | 401M | 76 |1584 | 16k| 17k|7360 | 0 | 468 |1221 |-3.718752e+02 |-3.460000e+02 | 7.48%| unknown
811.75/814.13 c 379s| 1500 | 672 |727958 | 414.1 | 401M | 76 |1584 | 16k| 17k|7377 | 0 | 475 |1229 |-3.718752e+02 |-3.460000e+02 | 7.48%| unknown
811.75/814.13 c L 381s| 1526 | 638 |729858 | 408.3 | gins| 78 |1584 | 16k| 17k|7377 | 0 | 489 |1240 |-3.718752e+02 |-3.470000e+02 | 7.17%| unknown
811.75/814.13 c 383s| 1600 | 630 |734519 | 392.3 | 401M | 78 |1584 | 16k| 17k|7385 | 0 | 533 |1268 |-3.718752e+02 |-3.470000e+02 | 7.17%| unknown
811.75/814.13 c 390s| 1700 | 628 |746910 | 376.5 | 408M | 78 |1584 | 16k| 17k|7513 | 3 | 562 |1296 |-3.718534e+02 |-3.470000e+02 | 7.16%| unknown
811.75/814.13 c 399s| 1800 | 640 |765992 | 366.2 | 419M | 78 |1584 | 16k| 17k|7768 | 0 | 562 |1316 |-3.717992e+02 |-3.470000e+02 | 7.15%| unknown
811.75/814.13 c 410s| 1900 | 650 |786054 | 357.5 | 423M | 78 |1584 | 16k| 17k|8028 | 1 | 618 |1363 |-3.717921e+02 |-3.470000e+02 | 7.14%| unknown
811.75/814.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
811.75/814.13 c 420s| 2000 | 656 |806585 | 349.8 | 438M | 78 |1584 | 16k| 17k|8330 | 0 | 645 |1397 |-3.717759e+02 |-3.470000e+02 | 7.14%| unknown
811.75/814.13 c 426s| 2100 | 678 |820833 | 340.0 | 438M | 78 |1584 | 16k| 17k|8458 | 0 | 676 |1434 |-3.717759e+02 |-3.470000e+02 | 7.14%| unknown
811.75/814.13 c 437s| 2200 | 690 |842842 | 334.5 | 447M | 78 |1584 | 16k| 17k|8743 | 0 | 726 |1472 |-3.717676e+02 |-3.470000e+02 | 7.14%| unknown
811.75/814.13 c 447s| 2300 | 706 |862664 | 328.6 | 466M | 78 |1584 | 16k| 17k|9042 | 0 | 726 |1501 |-3.717570e+02 |-3.470000e+02 | 7.13%| unknown
811.75/814.13 c 456s| 2400 | 762 |883504 | 323.6 | 468M | 78 |1584 | 16k| 17k|9227 | 3 | 748 |1534 |-3.717547e+02 |-3.470000e+02 | 7.13%| unknown
811.75/814.13 c 475s| 2500 | 822 |926543 | 327.9 | 503M | 78 |1584 | 16k| 17k|9825 | 1 | 788 |1612 |-3.717003e+02 |-3.470000e+02 | 7.12%| unknown
811.75/814.13 c 496s| 2600 | 908 |975094 | 333.9 | 566M | 78 |1584 | 16k| 17k| 10k| 1 | 808 |1675 |-3.717003e+02 |-3.470000e+02 | 7.12%| unknown
811.75/814.13 c 522s| 2700 | 996 | 1035k| 344.0 | 578M | 78 |1584 | 16k| 17k| 11k| 2 | 833 |1738 |-3.716389e+02 |-3.470000e+02 | 7.10%| unknown
811.75/814.13 c 529s| 2800 | 1018 | 1049k| 336.7 | 578M | 78 |1584 | 16k| 17k| 11k| 1 | 861 |1782 |-3.716389e+02 |-3.470000e+02 | 7.10%| unknown
811.75/814.13 c 541s| 2900 | 1046 | 1074k| 333.5 | 583M | 78 |1584 | 16k| 17k| 11k| 1 | 910 |1833 |-3.716345e+02 |-3.470000e+02 | 7.10%| unknown
811.75/814.13 c 547s| 3000 | 1068 | 1087k| 327.0 | 583M | 78 |1584 | 16k| 17k| 11k| 1 | 948 |1874 |-3.716159e+02 |-3.470000e+02 | 7.09%| unknown
811.75/814.13 c 556s| 3100 | 1080 | 1111k| 324.0 | 584M | 78 |1584 | 16k| 17k| 11k| 2 |1028 |1942 |-3.716133e+02 |-3.470000e+02 | 7.09%| unknown
811.75/814.13 c 563s| 3200 | 1086 | 1125k| 318.4 | 590M | 78 |1584 | 17k| 17k| 11k| 2 |1078 |1973 |-3.716003e+02 |-3.470000e+02 | 7.09%| unknown
811.75/814.13 c 571s| 3300 | 1092 | 1147k| 315.2 | 590M | 78 |1584 | 16k| 17k| 12k| 0 |1084 |1993 |-3.715674e+02 |-3.470000e+02 | 7.08%| unknown
811.75/814.13 c 576s| 3400 | 1090 | 1155k| 308.5 | 590M | 78 |1584 | 17k| 17k| 12k| 0 |1176 |2034 |-3.715674e+02 |-3.470000e+02 | 7.08%| unknown
811.75/814.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
811.75/814.13 c 584s| 3500 | 1096 | 1172k| 304.5 | 591M | 78 |1584 | 17k| 17k| 12k| 0 |1364 |2145 |-3.715604e+02 |-3.470000e+02 | 7.08%| unknown
811.75/814.13 c 594s| 3600 | 1102 | 1191k| 301.3 | 592M | 78 |1584 | 17k| 17k| 12k| 2 |1453 |2222 |-3.715537e+02 |-3.470000e+02 | 7.08%| unknown
811.75/814.13 c 601s| 3700 | 1112 | 1207k| 297.3 | 593M | 78 |1584 | 17k| 17k| 12k| 1 |1495 |2277 |-3.715493e+02 |-3.470000e+02 | 7.07%| unknown
811.75/814.13 c 608s| 3800 | 1128 | 1222k| 293.6 | 593M | 81 |1584 | 17k| 17k| 12k| 1 |1528 |2314 |-3.715269e+02 |-3.470000e+02 | 7.07%| unknown
811.75/814.13 c 620s| 3900 | 1140 | 1264k| 296.9 | 594M | 81 |1584 | 17k| 17k| 12k| 0 |1575 |2363 |-3.715267e+02 |-3.470000e+02 | 7.07%| unknown
811.75/814.13 c 632s| 4000 | 1156 | 1289k| 295.6 | 595M | 81 |1584 | 17k| 17k| 13k| 0 |1687 |2422 |-3.715185e+02 |-3.470000e+02 | 7.07%| unknown
811.75/814.13 c 643s| 4100 | 1176 | 1312k| 294.0 | 600M | 81 |1584 | 17k| 17k| 13k| 0 |1724 |2468 |-3.714958e+02 |-3.470000e+02 | 7.06%| unknown
811.75/814.13 c 651s| 4200 | 1194 | 1330k| 291.4 | 600M | 81 |1584 | 17k| 17k| 13k| 2 |1743 |2509 |-3.714781e+02 |-3.470000e+02 | 7.05%| unknown
811.75/814.13 c 662s| 4300 | 1210 | 1353k| 289.9 | 605M | 81 |1584 | 17k| 17k| 14k| 1 |1817 |2563 |-3.714560e+02 |-3.470000e+02 | 7.05%| unknown
811.75/814.13 c 668s| 4400 | 1210 | 1366k| 286.2 | 605M | 81 |1584 | 17k| 17k| 14k| 0 |1909 |2616 |-3.714560e+02 |-3.470000e+02 | 7.05%| unknown
811.75/814.13 c 673s| 4500 | 1216 | 1379k| 282.9 | 605M | 81 |1584 | 17k| 17k| 14k| 0 |1950 |2634 |-3.714429e+02 |-3.470000e+02 | 7.04%| unknown
811.75/814.13 c 680s| 4600 | 1218 | 1395k| 280.2 | 605M | 81 |1584 | 17k| 17k| 14k| 3 |1987 |2674 |-3.714386e+02 |-3.470000e+02 | 7.04%| unknown
811.75/814.13 c 689s| 4700 | 1240 | 1424k| 280.4 | 606M | 81 |1584 | 17k| 17k| 14k| 0 |2077 |2727 |-3.714302e+02 |-3.470000e+02 | 7.04%| unknown
811.75/814.13 c 697s| 4800 | 1260 | 1443k| 278.4 | 606M | 81 |1584 | 17k| 17k| 15k| 0 |2119 |2763 |-3.714101e+02 |-3.470000e+02 | 7.03%| unknown
811.75/814.13 c 703s| 4900 | 1270 | 1457k| 275.7 | 606M | 81 |1584 | 17k| 17k| 15k| 0 |2178 |2792 |-3.713969e+02 |-3.470000e+02 | 7.03%| unknown
811.75/814.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
811.75/814.13 c 710s| 5000 | 1296 | 1477k| 274.2 | 607M | 81 |1584 | 17k| 17k| 15k| 4 |2197 |2810 |-3.713761e+02 |-3.470000e+02 | 7.02%| unknown
811.75/814.13 c 722s| 5100 | 1322 | 1504k| 274.1 | 609M | 81 |1584 | 17k| 17k| 15k| 3 |2269 |2866 |-3.713613e+02 |-3.470000e+02 | 7.02%| unknown
811.75/814.13 c 729s| 5200 | 1332 | 1522k| 272.2 | 612M | 81 |1584 | 17k| 17k| 16k| 0 |2319 |2884 |-3.713544e+02 |-3.470000e+02 | 7.02%| unknown
811.75/814.13 c 733s| 5300 | 1340 | 1535k| 269.5 | 612M | 81 |1584 | 17k| 17k| 16k| 1 |2335 |2896 |-3.713478e+02 |-3.470000e+02 | 7.02%| unknown
811.75/814.13 c 748s| 5400 | 1354 | 1591k| 275.0 | 614M | 81 |1584 | 17k| 17k| 16k| 1 |2365 |2924 |-3.713409e+02 |-3.470000e+02 | 7.01%| unknown
811.75/814.13 c 757s| 5500 | 1382 | 1619k| 275.1 | 613M | 81 |1584 | 17k| 17k| 16k| 1 |2393 |2944 |-3.712971e+02 |-3.470000e+02 | 7.00%| unknown
811.75/814.13 c 762s| 5600 | 1394 | 1634k| 272.8 | 613M | 81 |1584 | 17k| 17k| 17k| 1 |2407 |2951 |-3.712903e+02 |-3.470000e+02 | 7.00%| unknown
811.75/814.13 c 771s| 5700 | 1412 | 1657k| 272.0 | 618M | 81 |1584 | 17k| 17k| 17k| 0 |2431 |2965 |-3.712758e+02 |-3.470000e+02 | 7.00%| unknown
811.75/814.13 c 775s| 5800 | 1420 | 1669k| 269.5 | 618M | 81 |1584 | 17k| 17k| 17k| 0 |2452 |2978 |-3.712689e+02 |-3.470000e+02 | 6.99%| unknown
811.75/814.13 c 781s| 5900 | 1438 | 1688k| 268.1 | 618M | 81 |1584 | 17k| 17k| 17k| 0 |2501 |2991 |-3.712402e+02 |-3.470000e+02 | 6.99%| unknown
811.75/814.13 c 789s| 6000 | 1460 | 1718k| 268.5 | 618M | 81 |1584 | 17k| 17k| 18k| 1 |2517 |3009 |-3.712209e+02 |-3.470000e+02 | 6.98%| unknown
811.75/814.13 c 793s| 6100 | 1460 | 1727k| 265.6 | 618M | 81 |1584 | 17k| 17k| 18k| 2 |2563 |3025 |-3.712209e+02 |-3.470000e+02 | 6.98%| unknown
811.75/814.13 c 798s| 6200 | 1470 | 1740k| 263.5 | 619M | 81 |1584 | 18k| 17k| 18k| 1 |2634 |3055 |-3.711848e+02 |-3.470000e+02 | 6.97%| unknown
811.75/814.13 c 802s| 6300 | 1482 | 1752k| 261.1 | 619M | 81 |1584 | 18k| 17k| 18k| 2 |2642 |3068 |-3.711645e+02 |-3.470000e+02 | 6.96%| unknown
811.75/814.13 c 807s| 6400 | 1492 | 1763k| 258.9 | 619M | 81 |1584 | 17k| 17k| 18k| 0 |2670 |3081 |-3.711391e+02 |-3.470000e+02 | 6.96%| unknown
811.75/814.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.30/1000.25 c 814s| 6500 | 1512 | 1777k| 257.1 | 619M | 81 |1584 | 18k| 17k| 18k| 1 |2745 |3143 |-3.711387e+02 |-3.470000e+02 | 6.96%| unknown
997.30/1000.25 c 824s| 6600 | 1540 | 1807k| 257.6 | 630M | 81 |1584 | 18k| 17k| 19k| 0 |2824 |3167 |-3.711250e+02 |-3.470000e+02 | 6.95%| unknown
997.30/1000.25 c 829s| 6700 | 1540 | 1817k| 255.3 | 630M | 81 |1584 | 18k| 17k| 19k| 1 |2894 |3203 |-3.711250e+02 |-3.470000e+02 | 6.95%| unknown
997.30/1000.25 c 833s| 6800 | 1542 | 1827k| 253.0 | 630M | 81 |1584 | 18k| 17k| 19k| 0 |2984 |3230 |-3.711250e+02 |-3.470000e+02 | 6.95%| unknown
997.30/1000.25 c 839s| 6900 | 1552 | 1846k| 252.0 | 630M | 81 |1584 | 18k| 17k| 19k| 0 |3037 |3253 |-3.711094e+02 |-3.470000e+02 | 6.95%| unknown
997.30/1000.25 c 845s| 7000 | 1560 | 1861k| 250.6 | 630M | 81 |1584 | 18k| 17k| 19k| 0 |3079 |3279 |-3.711090e+02 |-3.470000e+02 | 6.95%| unknown
997.30/1000.25 c 850s| 7100 | 1572 | 1875k| 249.1 | 630M | 81 |1584 | 18k| 17k| 19k| 1 |3099 |3297 |-3.711090e+02 |-3.470000e+02 | 6.95%| unknown
997.30/1000.25 c 856s| 7200 | 1582 | 1888k| 247.5 | 630M | 81 |1584 | 18k| 17k| 19k| 1 |3161 |3326 |-3.711012e+02 |-3.470000e+02 | 6.95%| unknown
997.30/1000.25 c 861s| 7300 | 1582 | 1899k| 245.5 | 630M | 81 |1584 | 18k| 17k| 19k| 0 |3261 |3347 |-3.711012e+02 |-3.470000e+02 | 6.95%| unknown
997.30/1000.25 c 867s| 7400 | 1588 | 1912k| 244.0 | 630M | 81 |1584 | 18k| 17k| 19k| 0 |3301 |3388 |-3.711012e+02 |-3.470000e+02 | 6.95%| unknown
997.30/1000.25 c 875s| 7500 | 1596 | 1928k| 242.9 | 630M | 81 |1584 | 18k| 17k| 20k| 0 |3331 |3430 |-3.710988e+02 |-3.470000e+02 | 6.94%| unknown
997.30/1000.25 c 885s| 7600 | 1608 | 1969k| 245.0 | 630M | 81 |1584 | 18k| 17k| 20k| 0 |3351 |3436 |-3.710923e+02 |-3.470000e+02 | 6.94%| unknown
997.30/1000.25 c 890s| 7700 | 1610 | 1979k| 243.1 | 630M | 81 |1584 | 18k| 17k| 20k| 1 |3381 |3454 |-3.710923e+02 |-3.470000e+02 | 6.94%| unknown
997.30/1000.25 c 896s| 7800 | 1620 | 1994k| 242.0 | 630M | 81 |1584 | 18k| 17k| 20k| 0 |3425 |3487 |-3.710844e+02 |-3.470000e+02 | 6.94%| unknown
997.30/1000.25 c 908s| 7900 | 1648 | 2028k| 243.2 | 630M | 81 |1584 | 18k| 17k| 20k| 0 |3497 |3529 |-3.710606e+02 |-3.470000e+02 | 6.93%| unknown
997.30/1000.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.30/1000.25 c 914s| 8000 | 1658 | 2043k| 242.1 | 630M | 81 |1584 | 18k| 17k| 20k| 1 |3527 |3556 |-3.710605e+02 |-3.470000e+02 | 6.93%| unknown
997.30/1000.25 c 925s| 8100 | 1674 | 2066k| 241.9 | 632M | 81 |1584 | 18k| 17k| 21k| 1 |3617 |3607 |-3.710402e+02 |-3.470000e+02 | 6.93%| unknown
997.30/1000.25 c 939s| 8200 | 1696 | 2100k| 243.1 | 638M | 81 |1584 | 18k| 17k| 21k| 3 |3844 |3674 |-3.710206e+02 |-3.470000e+02 | 6.92%| unknown
997.30/1000.25 c 946s| 8300 | 1706 | 2117k| 242.2 | 638M | 81 |1584 | 18k| 17k| 21k| 0 |3887 |3695 |-3.710189e+02 |-3.470000e+02 | 6.92%| unknown
997.30/1000.25 c 954s| 8400 | 1726 | 2135k| 241.5 | 638M | 81 |1584 | 18k| 17k| 21k| 1 |3926 |3736 |-3.710025e+02 |-3.470000e+02 | 6.92%| unknown
997.30/1000.25 c 959s| 8500 | 1732 | 2146k| 239.9 | 638M | 81 |1584 | 18k| 17k| 21k| 1 |3955 |3761 |-3.710025e+02 |-3.470000e+02 | 6.92%| unknown
997.30/1000.25 c 964s| 8600 | 1734 | 2157k| 238.4 | 638M | 81 |1584 | 18k| 17k| 22k| 1 |4007 |3790 |-3.710025e+02 |-3.470000e+02 | 6.92%| unknown
997.30/1000.25 c 970s| 8700 | 1740 | 2170k| 237.2 | 638M | 81 |1584 | 18k| 17k| 22k| 0 |4089 |3841 |-3.710025e+02 |-3.470000e+02 | 6.92%| unknown
997.30/1000.25 c 977s| 8800 | 1760 | 2187k| 236.5 | 638M | 81 |1584 | 18k| 17k| 22k| 0 |4124 |3870 |-3.709860e+02 |-3.470000e+02 | 6.91%| unknown
997.30/1000.25 c 985s| 8900 | 1774 | 2206k| 235.9 | 639M | 81 |1584 | 18k| 17k| 22k| 1 |4203 |3917 |-3.709692e+02 |-3.470000e+02 | 6.91%| unknown
997.30/1000.25 c 991s| 9000 | 1778 | 2218k| 234.6 | 639M | 81 |1584 | 18k| 17k| 22k| 0 |4248 |3948 |-3.709692e+02 |-3.470000e+02 | 6.91%| unknown
997.30/1000.25 c 995s| 9100 | 1778 | 2228k| 233.1 | 639M | 81 |1584 | 18k| 17k| 22k| 0 |4270 |3965 |-3.709692e+02 |-3.470000e+02 | 6.91%| unknown
997.30/1000.25 c
997.30/1000.25 c SCIP Status : solving was interrupted [time limit reached]
997.30/1000.25 c Solving Time (sec) : 1000.00
997.30/1000.25 c Solving Nodes : 9140
997.30/1000.25 c Primal Bound : -3.47000000000000e+02 (502 solutions)
997.30/1000.25 c Dual Bound : -3.70959707551848e+02
997.30/1000.25 c Gap : 6.90 %
997.30/1000.25 c All original constraints are satisfied.
997.30/1000.25 c SCIP's best solution is verified feasible for the original problem.
997.30/1000.25 c ----------------------------------------------------------------------
997.30/1000.25 c dual bound: -370.9597075518482 -> -370
997.30/1000.25 c primal bound: -347.0 -> -347
997.30/1000.25 c scip-goal-lb: -370
997.30/1000.25 c scip-goal-ub: -347
997.30/1000.25 c writing output to: HOME/tmp8ifc6q2q.opb
997.30/1000.25 c appending fixed variable constraints
997.30/1000.25 c scip-fixed vars: 29.17% (462/1584)
997.30/1000.25 c ----------------------------------------------------------------------
997.30/1000.25 c executing external solver: HOME/naps-1.03a6
997.30/1000.25 c ----------------------------------------------------------------------
997.30/1000.25 c command: HOME/naps-1.03a6 -goal-lb=-370 -goal-ub=-348 HOME/tmp8ifc6q2q.opb
997.30/1000.27 c NaPS 1.03a6.
997.30/1000.27 c Input file name: HOME/tmp8ifc6q2q.opb
997.37/1000.48 c single stage optimization mode
3600.00/3610.00 c
3600.00/3610.00 c *** TERMINATED *** by signal 15
3600.00/3610.00 c s UNKNOWN
3600.00/3610.00 c _____________________________________________________________________________
3600.00/3610.00 c std/band forms : 2,0
3600.00/3610.00 c 2cl/3cl ITE-codings : 0,0
3600.00/3610.00 c BDD/srt/adr Max costs : 0,109363,0
3600.00/3610.00 c BDDraw/bin/mul/srt/adr: 0,0,0,2,0
3600.00/3610.00 c BDD nodes : 0
3600.00/3610.00 c Es1/CC detections : 0,0
3600.00/3610.00 c CC sort : 1
3600.00/3610.00 c SAT/UNSAT calls : 0,0
3600.00/3610.00 c regenrated variables : 0
3600.00/3610.00 c eliminated fixed lits : 1568
3600.00/3610.00 c goal lit flips : 0
3600.00/3610.00 c goal stages : 1
3600.00/3610.00 c goal shrink : 0
3600.00/3610.00 c goal coeff separations: 0
3600.00/3610.00 c restarts : 0
3600.00/3610.00 c conflicts : 0 (0 /sec)
3600.00/3610.00 c decisions : 0 (0 /sec)
3600.00/3610.00 c propagations : 0 (0 /sec)
3600.00/3610.00 c inspects : 0 (0 /sec)
3600.00/3610.00 c CPU time (solving tm) : 2602 s (2601 s, SAT 0 s, UNSAT 0 s)
3600.00/3610.00 c Time for Opt-base : 0.000221 s
3600.00/3610.00 c Steps for Opt-base : 0
3600.00/3610.00 c Time for BDD coding : 0 s
3600.00/3610.00 c Time for srt coding : 0.007271 s
3600.00/3610.00 c _____________________________________________________________________________
3600.00/3610.01 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 x43 -x44 -x45 x46 -x47 x48 -x49 -x50 x51 x52 x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 x116 -x117 x118 -x119 -x120 -x121 x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 x150 x151 -x152 -x153 -x154 -x155 x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 x203 -x204 -x205 x206 x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 x248 x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 x267 x268 x269 -x270 x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 x330 x331 -x332 -x333 x334 -x335 x336 -x337 -x338 x339 -x340 -x341 x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 x359 -x360 -x361 -x362 -x363
3600.00/3610.01 v -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 x478 -x479 x480 -x481 -x482 -x483 x484 x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x640 x641 -x642 x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 x675 x676 -x677 x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 x691 -x692 -x693 x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705
3600.00/3610.01 v -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 x715 -x716 -x717 -x718 x719 -x720 -x721 x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 x735 -x736 x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 x765 x766 -x767 -x768 -x769 -x770 x771 x772 x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 x804 x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 x830 -x831 -x832 x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 x899 -x900 -x901 -x902 -x903 -x904 x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 x953 x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 x1013 -x1014 x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 x1041
3600.00/3610.01 v -x1042 -x1043 x1044 -x1045 x1046 x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 x1055 -x1056 x1057 -x1058 -x1059 -x1060 -x1061 x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 x1109 x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 x1141 -x1142 -x1143 x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 x1183 -x1184 x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 x1212 -x1213 -x1214 -x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 x1247 -x1248 -x1249 -x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 x1314 x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 x1324 x1325 -x1326 -x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334
3600.00/3610.01 v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 x1358 x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 x1377 x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 -x1389 -x1390 -x1391 -x1392 x1393 x1394 -x1395 -x1396 -x1397 -x1398 x1399 -x1400 -x1401 -x1402 -x1403 x1404 -x1405 -x1406 x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 x1460 -x1461 x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 x1484 x1485 x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520 -x1521 -x1522 -x1523 x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 -x1539 x1540 -x1541 x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 x1573 -x1574 x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 x1604 -x1605 -x1606 -x1607 x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 x1619 x1620 -x1621 -x1622 x1623 -x1624 x1625 -x1626 -x1627
3600.00/3610.01 v -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 x1648 -x1649 -x1650 -x1651 -x1652 -x1653 x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679 x1680 -x1681 x1682 -x1683 x1684 -x1685 -x1686 -x1687 x1688 -x1689 x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 x1708 -x1709 -x1710 -x1711 -x1712 x1713 -x1714 x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x1740 -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 x1782 -x1783 -x1784 -x1785 x1786 x1787 -x1788 -x1789 x1790 -x1791 -x1792 -x1793 x1794 -x1795 -x1796 x1797 x1798 x1799 -x1800 -x1801 -x1802 -x1803 x1804 -x1805 x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 x1892 -x1893 x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 x1903 -x1904 -x1905 -x1906 x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 x1914 -x1915 -x1916 -x1917 -x1918
3600.00/3610.01 v -x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 x1932 -x1933 -x1934 x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 x1952 x1953 x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 x2001 -x2002 -x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046
3600.00/3610.01 o -347
3600.00/3610.01 s SATISFIABLE
3600.30/3610.30 c received SIGTERM, forwarding to pbsolver...
3600.30/3610.30 c failed to send SIGTERM to pbsolver: [Errno 3] No such process
Verifier Data
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 (61705 MiB free)
memory of node 1: 64465 MiB (58167 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530471-1752262875/watcher-4530471-1752262875 -o /tmp/evaluation-result-4530471-1752262875/solver-4530471-1752262875 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1752253208-142840 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530471-1752262875.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=145184, runsolver pid=145181
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.11 4.16 4.12 5/268 145189
/proc/meminfo: memFree=122745784/131249996 swapFree=33010160/33010684
[pid=145184] ppid=145181 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/145184/stat : 145184 (scip-naps-1.00a) S 145181 145184 142829 0 -1 4194304 262 344 0 0 0 0 0 0 20 0 1 0 141965957 4292608 768 18446744073709551615 94065817600000 94065818494533 140724325652432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065818733584 94065818781328 94065851686912 140724325656987 140724325657086 140724325657086 140724325662690 0
/proc/145184/statm: 1048 768 704 219 0 110 0
[pid=145189] ppid=145184 vsize=1188288 memory=33020 CPUtime=0.07 cores=4,6
/proc/145189/stat : 145189 (python3) R 145184 145184 142829 0 -1 4194304 4009 0 0 0 6 1 0 0 20 0 1 0 141965959 1216806912 8255 18446744073709551615 94843222933504 94843222933881 140732642458704 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94843222945176 94843222945796 94843228545024 140732642466142 140732642466336 140732642466336 140732642471911 0
/proc/145189/statm: 297072 8255 4899 1 0 269063 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1192480 KiB
Current children cumulated memory: 36092 KiB
[startup+0.205906 s]*
/proc/loadavg: 4.11 4.16 4.12 5/268 145189
/proc/meminfo: memFree=122737972/131249996 swapFree=33010160/33010684
[pid=145184] ppid=145181 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/145184/stat : 145184 (scip-naps-1.00a) S 145181 145184 142829 0 -1 4194304 262 344 0 0 0 0 0 0 20 0 1 0 141965957 4292608 768 18446744073709551615 94065817600000 94065818494533 140724325652432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065818733584 94065818781328 94065851686912 140724325656987 140724325657086 140724325657086 140724325662690 0
/proc/145184/statm: 1048 768 704 219 0 110 0
[pid=145189] ppid=145184 vsize=1227560 memory=79484 CPUtime=0.17 cores=4,6
/proc/145189/stat : 145189 (python3) R 145184 145184 142829 0 -1 4194304 12877 0 0 0 15 2 0 0 20 0 1 0 141965959 1257021440 19871 18446744073709551615 94843222933504 94843222933881 140732642458704 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94843222945176 94843222945796 94843228545024 140732642466142 140732642466336 140732642466336 140732642471911 0
/proc/145189/statm: 306890 19871 7875 1 0 278248 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1231752 KiB
Current children cumulated memory: 82556 KiB
[startup+0.30589 s]*
/proc/loadavg: 4.11 4.16 4.12 5/268 145189
/proc/meminfo: memFree=122721860/131249996 swapFree=33010160/33010684
[pid=145184] ppid=145181 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/145184/stat : 145184 (scip-naps-1.00a) S 145181 145184 142829 0 -1 4194304 262 344 0 0 0 0 0 0 20 0 1 0 141965957 4292608 768 18446744073709551615 94065817600000 94065818494533 140724325652432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065818733584 94065818781328 94065851686912 140724325656987 140724325657086 140724325657086 140724325662690 0
/proc/145184/statm: 1048 768 704 219 0 110 0
[pid=145189] ppid=145184 vsize=1238344 memory=89852 CPUtime=0.27 cores=4,6
/proc/145189/stat : 145189 (python3) R 145184 145184 142829 0 -1 4194304 15470 0 0 0 25 2 0 0 20 0 1 0 141965959 1268064256 22463 18446744073709551615 94843222933504 94843222933881 140732642458704 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94843222945176 94843222945796 94843228545024 140732642466142 140732642466336 140732642466336 140732642471911 0
/proc/145189/statm: 309586 22463 7907 1 0 280944 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1242536 KiB
Current children cumulated memory: 92924 KiB
[startup+0.700203 s]
/proc/loadavg: 4.11 4.16 4.12 5/268 145189
/proc/meminfo: memFree=122693572/131249996 swapFree=33010160/33010684
[pid=145184] ppid=145181 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/145184/stat : 145184 (scip-naps-1.00a) S 145181 145184 142829 0 -1 4194304 262 344 0 0 0 0 0 0 20 0 1 0 141965957 4292608 768 18446744073709551615 94065817600000 94065818494533 140724325652432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065818733584 94065818781328 94065851686912 140724325656987 140724325657086 140724325657086 140724325662690 0
/proc/145184/statm: 1048 768 704 219 0 110 0
[pid=145189] ppid=145184 vsize=1265712 memory=112892 CPUtime=0.66 cores=4,6
/proc/145189/stat : 145189 (python3) R 145184 145184 142829 0 -1 4194304 21057 0 0 0 63 3 0 0 20 0 1 0 141965959 1296089088 28223 18446744073709551615 94843222933504 94843222933881 140732642458704 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94843222945176 94843222945796 94843228545024 140732642466142 140732642466336 140732642466336 140732642471911 0
/proc/145189/statm: 316428 28223 8099 1 0 287786 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1269904 KiB
Current children cumulated memory: 115964 KiB
[startup+1.50016 s]
/proc/loadavg: 4.11 4.16 4.12 5/268 145189
/proc/meminfo: memFree=122681128/131249996 swapFree=33010160/33010684
[pid=145184] ppid=145181 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/145184/stat : 145184 (scip-naps-1.00a) S 145181 145184 142829 0 -1 4194304 262 344 0 0 0 0 0 0 20 0 1 0 141965957 4292608 768 18446744073709551615 94065817600000 94065818494533 140724325652432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065818733584 94065818781328 94065851686912 140724325656987 140724325657086 140724325657086 140724325662690 0
/proc/145184/statm: 1048 768 704 219 0 110 0
[pid=145189] ppid=145184 vsize=1283948 memory=127356 CPUtime=1.46 cores=4,6
/proc/145189/stat : 145189 (python3) R 145184 145184 142829 0 -1 4194304 24671 0 0 0 142 4 0 0 20 0 1 0 141965959 1314762752 31839 18446744073709551615 94843222933504 94843222933881 140732642458704 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94843222945176 94843222945796 94843228545024 140732642466142 140732642466336 140732642466336 140732642471911 0
/proc/145189/statm: 320987 31839 8099 1 0 292345 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1288140 KiB
Current children cumulated memory: 130428 KiB
[startup+3.10566 s]
/proc/loadavg: 4.11 4.16 4.12 5/268 145189
/proc/meminfo: memFree=122688176/131249996 swapFree=33010160/33010684
[pid=145184] ppid=145181 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/145184/stat : 145184 (scip-naps-1.00a) S 145181 145184 142829 0 -1 4194304 262 344 0 0 0 0 0 0 20 0 1 0 141965957 4292608 768 18446744073709551615 94065817600000 94065818494533 140724325652432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065818733584 94065818781328 94065851686912 140724325656987 140724325657086 140724325657086 140724325662690 0
/proc/145184/statm: 1048 768 704 219 0 110 0
[pid=145189] ppid=145184 vsize=1294676 memory=134012 CPUtime=3.06 cores=4,6
/proc/145189/stat : 145189 (python3) R 145184 145184 142829 0 -1 4194304 26334 0 0 0 302 4 0 0 20 0 1 0 141965959 1325748224 33503 18446744073709551615 94843222933504 94843222933881 140732642458704 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94843222945176 94843222945796 94843228545024 140732642466142 140732642466336 140732642466336 140732642471911 0
/proc/145189/statm: 323669 33503 8099 1 0 295027 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1298868 KiB
Current children cumulated memory: 137084 KiB
[startup+6.30019 s]
/proc/loadavg: 4.10 4.15 4.12 5/268 145189
/proc/meminfo: memFree=122669152/131249996 swapFree=33010160/33010684
[pid=145184] ppid=145181 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/145184/stat : 145184 (scip-naps-1.00a) S 145181 145184 142829 0 -1 4194304 262 344 0 0 0 0 0 0 20 0 1 0 141965957 4292608 768 18446744073709551615 94065817600000 94065818494533 140724325652432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065818733584 94065818781328 94065851686912 140724325656987 140724325657086 140724325657086 140724325662690 0
/proc/145184/statm: 1048 768 704 219 0 110 0
[pid=145189] ppid=145184 vsize=1320652 memory=152828 CPUtime=6.24 cores=4,6
/proc/145189/stat : 145189 (python3) R 145184 145184 142829 0 -1 4194304 31093 0 0 0 619 5 0 0 20 0 1 0 141965959 1352347648 38207 18446744073709551615 94843222933504 94843222933881 140732642458704 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94843222945176 94843222945796 94843228545024 140732642466142 140732642466336 140732642466336 140732642471911 0
/proc/145189/statm: 330163 38207 8099 1 0 301521 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1324844 KiB
Current children cumulated memory: 155900 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.15 4.12 5/268 145189
/proc/meminfo: memFree=122665568/131249996 swapFree=33010160/33010684
[pid=145184] ppid=145181 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/145184/stat : 145184 (scip-naps-1.00a) S 145181 145184 142829 0 -1 4194304 262 344 0 0 0 0 0 0 20 0 1 0 141965957 4292608 768 18446744073709551615 94065817600000 94065818494533 140724325652432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065818733584 94065818781328 94065851686912 140724325656987 140724325657086 140724325657086 140724325662690 0
/proc/145184/statm: 1048 768 704 219 0 110 0
[pid=145189] ppid=145184 vsize=1330192 memory=161404 CPUtime=12.63 cores=4,6
/proc/145189/stat : 145189 (python3) R 145184 145184 142829 0 -1 4194304 33281 0 0 0 1257 6 0 0 20 0 1 0 141965959 1362116608 40351 18446744073709551615 94843222933504 94843222933881 140732642458704 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94843222945176 94843222945796 94843228545024 140732642466142 140732642466336 140732642466336 140732642471911 0
/proc/145189/statm: 332548 40351 8099 1 0 303906 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1334384 KiB
Current children cumulated memory: 164476 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.14 4.11 5/268 145189
/proc/meminfo: memFree=122667676/131249996 swapFree=33010160/33010684
[pid=145184] ppid=145181 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/145184/stat : 145184 (scip-naps-1.00a) S 145181 145184 142829 0 -1 4194304 262 344 0 0 0 0 0 0 20 0 1 0 141965957 4292608 768 18446744073709551615 94065817600000 94065818494533 140724325652432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065818733584 94065818781328 94065851686912 140724325656987 140724325657086 140724325657086 140724325662690 0
/proc/145184/statm: 1048 768 704 219 0 110 0
[pid=145189] ppid=145184 vsize=1334912 memory=168828 CPUtime=25.38 cores=4,6
/proc/145189/stat : 145189 (python3) R 145184 145184 142829 0 -1 4194304 35126 0 0 0 2532 6 0 0 20 0 1 0 141965959 1366949888 42207 18446744073709551615 94843222933504 94843222933881 140732642458704 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94843222945176 94843222945796 94843228545024 140732642466142 140732642466336 140732642466336 140732642471911 0
/proc/145189/statm: 333728 42207 8099 1 0 305086 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1339104 KiB
Current children cumulated memory: 171900 KiB
[startup+51.1058 s]
/proc/loadavg: 4.04 4.13 4.11 5/268 145189
/proc/meminfo: memFree=122644608/131249996 swapFree=33010160/33010684
[pid=145184] ppid=145181 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/145184/stat : 145184 (scip-naps-1.00a) S 145181 145184 142829 0 -1 4194304 262 344 0 0 0 0 0 0 20 0 1 0 141965957 4292608 768 18446744073709551615 94065817600000 94065818494533 140724325652432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065818733584 94065818781328 94065851686912 140724325656987 140724325657086 140724325657086 140724325662690 0
/proc/145184/statm: 1048 768 704 219 0 110 0
[pid=145189] ppid=145184 vsize=1346800 memory=189180 CPUtime=50.9 cores=4,6
/proc/145189/stat : 145189 (python3) R 145184 145184 142829 0 -1 4194304 40216 0 0 0 5083 7 0 0 20 0 1 0 141965959 1379123200 47295 18446744073709551615 94843222933504 94843222933881 140732642458704 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94843222945176 94843222945796 94843228545024 140732642466142 140732642466336 140732642466336 140732642471911 0
/proc/145189/statm: 336700 47295 8099 1 0 308058 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1350992 KiB
Current children cumulated memory: 192252 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/269 145192
/proc/meminfo: memFree=122619824/131249996 swapFree=33010160/33010684
[pid=145184] ppid=145181 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/145184/stat : 145184 (scip-naps-1.00a) S 145181 145184 142829 0 -1 4194304 262 344 0 0 0 0 0 0 20 0 1 0 141965957 4292608 768 18446744073709551615 94065817600000 94065818494533 140724325652432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065818733584 94065818781328 94065851686912 140724325656987 140724325657086 140724325657086 140724325662690 0
/proc/145184/statm: 1048 768 704 219 0 110 0
[pid=145189] ppid=145184 vsize=1363424 memory=207040 CPUtime=101.96 cores=4,6
/proc/145189/stat : 145189 (python3) R 145184 145184 142829 0 -1 4194304 52102 0 0 0 10186 10 0 0 20 0 1 0 141965959 1396146176 51760 18446744073709551615 94843222933504 94843222933881 140732642458704 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94843222945176 94843222945796 94843228545024 140732642466142 140732642466336 140732642466336 140732642471911 0
/proc/145189/statm: 340856 51760 8131 1 0 312214 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1367616 KiB
Current children cumulated memory: 210112 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/270 145195
/proc/meminfo: memFree=122586160/131249996 swapFree=33010160/33010684
[pid=145184] ppid=145181 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/145184/stat : 145184 (scip-naps-1.00a) S 145181 145184 142829 0 -1 4194304 262 344 0 0 0 0 0 0 20 0 1 0 141965957 4292608 768 18446744073709551615 94065817600000 94065818494533 140724325652432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065818733584 94065818781328 94065851686912 140724325656987 140724325657086 140724325657086 140724325662690 0
/proc/145184/statm: 1048 768 704 219 0 110 0
[pid=145189] ppid=145184 vsize=1402604 memory=236736 CPUtime=161.79 cores=4,6
/proc/145189/stat : 145189 (python3) R 145184 145184 142829 0 -1 4194304 59570 0 0 0 16168 11 0 0 20 0 1 0 141965959 1436266496 59184 18446744073709551615 94843222933504 94843222933881 140732642458704 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94843222945176 94843222945796 94843228545024 140732642466142 140732642466336 140732642466336 140732642471911 0
/proc/145189/statm: 350651 59184 8131 1 0 322009 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1406796 KiB
Current children cumulated memory: 239808 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/270 145197
/proc/meminfo: memFree=122537284/131249996 swapFree=33010160/33010684
[pid=145184] ppid=145181 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/145184/stat : 145184 (scip-naps-1.00a) S 145181 145184 142829 0 -1 4194304 262 344 0 0 0 0 0 0 20 0 1 0 141965957 4292608 768 18446744073709551615 94065817600000 94065818494533 140724325652432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065818733584 94065818781328 94065851686912 140724325656987 140724325657086 140724325657086 140724325662690 0
/proc/145184/statm: 1048 768 704 219 0 110 0
[pid=145189] ppid=145184 vsize=1450612 memory=278976 CPUtime=221.62 cores=4,6
/proc/145189/stat : 145189 (python3) R 145184 145184 142829 0 -1 4194304 70127 0 0 0 22149 13 0 0 20 0 1 0 141965959 1485426688 69744 18446744073709551615 94843222933504 94843222933881 140732642458704 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94843222945176 94843222945796 94843228545024 140732642466142 140732642466336 140732642466336 140732642471911 0
/proc/145189/statm: 362653 69744 8131 1 0 334011 0
Current children cumulated CPU time: 221.62 s
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 1.42 2.51 2.98 2/247 145445
/proc/meminfo: memFree=125241084/131249996 swapFree=33010160/33010684
[pid=145184] ppid=145181 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/145184/stat : 145184 (scip-naps-1.00a) S 145181 145184 142829 0 -1 4194304 262 344 0 0 0 0 0 0 20 0 1 0 141965957 4292608 768 18446744073709551615 94065817600000 94065818494533 140724325652432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065818733584 94065818781328 94065851686912 140724325656987 140724325657086 140724325657086 140724325662690 0
/proc/145184/statm: 1048 768 704 219 0 110 0
[pid=145189] ppid=145184 vsize=1873352 memory=592784 CPUtime=997.37 cores=4,6
/proc/145189/stat : 145189 (python3) S 145184 145184 142829 0 -1 4194304 179022 0 0 0 99702 35 0 0 20 0 1 0 141965959 1918312448 148196 18446744073709551615 94843222933504 94843222933881 140732642458704 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94843222945176 94843222945796 94843228545024 140732642466142 140732642466336 140732642466336 140732642471911 0
/proc/145189/statm: 468338 148196 8195 1 0 439696 0
[pid=145235] ppid=145189 vsize=228688 memory=226888 CPUtime=2275.7 cores=4,6
/proc/145235/stat : 145235 (naps-1.03a6) R 145189 145235 145235 0 -1 4194304 74612 0 0 0 227482 88 0 0 20 0 1 0 142065984 234176512 56722 18446744073709551615 4198400 7047149 140722643125504 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 36970496 140722643134835 140722643134961 140722643134961 140722643140553 0
/proc/145235/statm: 57172 56722 640 696 0 56333 0
Current children cumulated CPU time: 3273.07 s
Current children cumulated vsize: 2106232 KiB
Current children cumulated memory: 822744 KiB
[startup+3342.3 s]
/proc/loadavg: 1.22 2.24 2.86 2/246 145447
/proc/meminfo: memFree=125241028/131249996 swapFree=33010160/33010684
[pid=145184] ppid=145181 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/145184/stat : 145184 (scip-naps-1.00a) S 145181 145184 142829 0 -1 4194304 262 344 0 0 0 0 0 0 20 0 1 0 141965957 4292608 768 18446744073709551615 94065817600000 94065818494533 140724325652432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065818733584 94065818781328 94065851686912 140724325656987 140724325657086 140724325657086 140724325662690 0
/proc/145184/statm: 1048 768 704 219 0 110 0
[pid=145189] ppid=145184 vsize=1873352 memory=592784 CPUtime=997.37 cores=4,6
/proc/145189/stat : 145189 (python3) S 145184 145184 142829 0 -1 4194304 179022 0 0 0 99702 35 0 0 20 0 1 0 141965959 1918312448 148196 18446744073709551615 94843222933504 94843222933881 140732642458704 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94843222945176 94843222945796 94843228545024 140732642466142 140732642466336 140732642466336 140732642471911 0
/proc/145189/statm: 468338 148196 8195 1 0 439696 0
[pid=145235] ppid=145189 vsize=228688 memory=226888 CPUtime=2335.56 cores=4,6
/proc/145235/stat : 145235 (naps-1.03a6) R 145189 145235 145235 0 -1 4194304 74630 0 0 0 233468 88 0 0 20 0 1 0 142065984 234176512 56722 18446744073709551615 4198400 7047149 140722643125504 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 36970496 140722643134835 140722643134961 140722643134961 140722643140553 0
/proc/145235/statm: 57172 56722 640 696 0 56333 0
Current children cumulated CPU time: 3332.93 s
Current children cumulated vsize: 2106232 KiB
Current children cumulated memory: 822744 KiB
[startup+3402.3 s]
/proc/loadavg: 1.13 2.03 2.74 2/246 145449
/proc/meminfo: memFree=125299864/131249996 swapFree=33010160/33010684
[pid=145184] ppid=145181 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/145184/stat : 145184 (scip-naps-1.00a) S 145181 145184 142829 0 -1 4194304 262 344 0 0 0 0 0 0 20 0 1 0 141965957 4292608 768 18446744073709551615 94065817600000 94065818494533 140724325652432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065818733584 94065818781328 94065851686912 140724325656987 140724325657086 140724325657086 140724325662690 0
/proc/145184/statm: 1048 768 704 219 0 110 0
[pid=145189] ppid=145184 vsize=1873352 memory=592784 CPUtime=997.37 cores=4,6
/proc/145189/stat : 145189 (python3) S 145184 145184 142829 0 -1 4194304 179022 0 0 0 99702 35 0 0 20 0 1 0 141965959 1918312448 148196 18446744073709551615 94843222933504 94843222933881 140732642458704 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94843222945176 94843222945796 94843228545024 140732642466142 140732642466336 140732642466336 140732642471911 0
/proc/145189/statm: 468338 148196 8195 1 0 439696 0
[pid=145235] ppid=145189 vsize=191044 memory=189256 CPUtime=2395.41 cores=4,6
/proc/145235/stat : 145235 (naps-1.03a6) R 145189 145235 145235 0 -1 4194304 77307 0 0 0 239451 90 0 0 20 0 1 0 142065984 195629056 47314 18446744073709551615 4198400 7047149 140722643125504 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 36970496 140722643134835 140722643134961 140722643134961 140722643140553 0
/proc/145235/statm: 47761 47314 640 696 0 46922 0
Current children cumulated CPU time: 3392.78 s
Current children cumulated vsize: 2068588 KiB
Current children cumulated memory: 785112 KiB
[startup+3462.3 s]
/proc/loadavg: 1.16 1.87 2.64 2/246 145451
/proc/meminfo: memFree=125274088/131249996 swapFree=33010160/33010684
[pid=145184] ppid=145181 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/145184/stat : 145184 (scip-naps-1.00a) S 145181 145184 142829 0 -1 4194304 262 344 0 0 0 0 0 0 20 0 1 0 141965957 4292608 768 18446744073709551615 94065817600000 94065818494533 140724325652432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065818733584 94065818781328 94065851686912 140724325656987 140724325657086 140724325657086 140724325662690 0
/proc/145184/statm: 1048 768 704 219 0 110 0
[pid=145189] ppid=145184 vsize=1873352 memory=592784 CPUtime=997.37 cores=4,6
/proc/145189/stat : 145189 (python3) S 145184 145184 142829 0 -1 4194304 179022 0 0 0 99702 35 0 0 20 0 1 0 141965959 1918312448 148196 18446744073709551615 94843222933504 94843222933881 140732642458704 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94843222945176 94843222945796 94843228545024 140732642466142 140732642466336 140732642466336 140732642471911 0
/proc/145189/statm: 468338 148196 8195 1 0 439696 0
[pid=145235] ppid=145189 vsize=215248 memory=213448 CPUtime=2455.28 cores=4,6
/proc/145235/stat : 145235 (naps-1.03a6) R 145189 145235 145235 0 -1 4194304 78248 0 0 0 245437 91 0 0 20 0 1 0 142065984 220413952 53362 18446744073709551615 4198400 7047149 140722643125504 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 36970496 140722643134835 140722643134961 140722643134961 140722643140553 0
/proc/145235/statm: 53812 53362 640 696 0 52973 0
Current children cumulated CPU time: 3452.65 s
Current children cumulated vsize: 2092792 KiB
Current children cumulated memory: 809304 KiB
[startup+3522.3 s]
/proc/loadavg: 1.06 1.71 2.54 2/246 145453
/proc/meminfo: memFree=125264776/131249996 swapFree=33010160/33010684
[pid=145184] ppid=145181 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/145184/stat : 145184 (scip-naps-1.00a) S 145181 145184 142829 0 -1 4194304 262 344 0 0 0 0 0 0 20 0 1 0 141965957 4292608 768 18446744073709551615 94065817600000 94065818494533 140724325652432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065818733584 94065818781328 94065851686912 140724325656987 140724325657086 140724325657086 140724325662690 0
/proc/145184/statm: 1048 768 704 219 0 110 0
[pid=145189] ppid=145184 vsize=1873352 memory=592784 CPUtime=997.37 cores=4,6
/proc/145189/stat : 145189 (python3) S 145184 145184 142829 0 -1 4194304 179022 0 0 0 99702 35 0 0 20 0 1 0 141965959 1918312448 148196 18446744073709551615 94843222933504 94843222933881 140732642458704 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94843222945176 94843222945796 94843228545024 140732642466142 140732642466336 140732642466336 140732642471911 0
/proc/145189/statm: 468338 148196 8195 1 0 439696 0
[pid=145235] ppid=145189 vsize=221004 memory=219208 CPUtime=2515.13 cores=4,6
/proc/145235/stat : 145235 (naps-1.03a6) R 145189 145235 145235 0 -1 4194304 78736 0 0 0 251422 91 0 0 20 0 1 0 142065984 226308096 54802 18446744073709551615 4198400 7047149 140722643125504 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 36970496 140722643134835 140722643134961 140722643134961 140722643140553 0
/proc/145235/statm: 55251 54802 640 696 0 54412 0
Current children cumulated CPU time: 3512.5 s
Current children cumulated vsize: 2098548 KiB
Current children cumulated memory: 815064 KiB
[startup+3582.3 s]
/proc/loadavg: 1.06 1.59 2.44 2/246 145455
/proc/meminfo: memFree=125126044/131249996 swapFree=33010160/33010684
[pid=145184] ppid=145181 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/145184/stat : 145184 (scip-naps-1.00a) S 145181 145184 142829 0 -1 4194304 262 344 0 0 0 0 0 0 20 0 1 0 141965957 4292608 768 18446744073709551615 94065817600000 94065818494533 140724325652432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065818733584 94065818781328 94065851686912 140724325656987 140724325657086 140724325657086 140724325662690 0
/proc/145184/statm: 1048 768 704 219 0 110 0
[pid=145189] ppid=145184 vsize=1873352 memory=592784 CPUtime=997.37 cores=4,6
/proc/145189/stat : 145189 (python3) S 145184 145184 142829 0 -1 4194304 179022 0 0 0 99702 35 0 0 20 0 1 0 141965959 1918312448 148196 18446744073709551615 94843222933504 94843222933881 140732642458704 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94843222945176 94843222945796 94843228545024 140732642466142 140732642466336 140732642466336 140732642471911 0
/proc/145189/statm: 468338 148196 8195 1 0 439696 0
[pid=145235] ppid=145189 vsize=338748 memory=337152 CPUtime=2574.98 cores=4,6
/proc/145235/stat : 145235 (naps-1.03a6) R 145189 145235 145235 0 -1 4194304 80408 0 0 0 257399 99 0 0 20 0 1 0 142065984 346877952 84288 18446744073709551615 4198400 7047149 140722643125504 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 36970496 140722643134835 140722643134961 140722643134961 140722643140553 0
/proc/145235/statm: 84687 84288 640 696 0 83848 0
Current children cumulated CPU time: 3572.35 s
Current children cumulated vsize: 2216292 KiB
Current children cumulated memory: 933008 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 1.10 1.56 2.41 2/246 145456
/proc/meminfo: memFree=125162884/131249996 swapFree=33010160/33010684
[pid=145184] ppid=145181 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/145184/stat : 145184 (scip-naps-1.00a) S 145181 145184 142829 0 -1 4194304 262 344 0 0 0 0 0 0 20 0 1 0 141965957 4292608 768 18446744073709551615 94065817600000 94065818494533 140724325652432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94065818733584 94065818781328 94065851686912 140724325656987 140724325657086 140724325657086 140724325662690 0
/proc/145184/statm: 1048 768 704 219 0 110 0
[pid=145189] ppid=145184 vsize=1873352 memory=592784 CPUtime=997.37 cores=4,6
/proc/145189/stat : 145189 (python3) S 145184 145184 142829 0 -1 4194304 179022 0 0 0 99702 35 0 0 20 0 1 0 141965959 1918312448 148196 18446744073709551615 94843222933504 94843222933881 140732642458704 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94843222945176 94843222945796 94843228545024 140732642466142 140732642466336 140732642466336 140732642471911 0
/proc/145189/statm: 468338 148196 8195 1 0 439696 0
[pid=145235] ppid=145189 vsize=303944 memory=302232 CPUtime=2602.63 cores=4,6
/proc/145235/stat : 145235 (naps-1.03a6) R 145189 145235 145235 0 -1 4194304 81440 0 0 0 260160 103 0 0 20 0 1 0 142065984 311238656 75558 18446744073709551615 4198400 7047149 140722643125504 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 36970496 140722643134835 140722643134961 140722643134961 140722643140553 0
/proc/145235/statm: 75986 75558 640 696 0 75147 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2181488 KiB
Current children cumulated memory: 898088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.03 s]
# the end of solver process 145184 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001548 s, system=0.003685 s
[startup+3610.35 s]
# the end of solver process 145189 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.93 s, system=1.443 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.21 s]
/proc/loadavg: 1.09 1.55 2.40 2/244 145456
/proc/meminfo: memFree=125464804/131249996 swapFree=33010160/33010684
[pid=145189] ppid=145181 vsize=1873352 memory=592784 CPUtime=3600.2 cores=4,6
/proc/145189/stat : 145189 (python3) R 145181 145184 142829 0 -1 4194304 202918 81441 0 0 99721 36 260160 103 20 0 1 0 141965959 1918312448 148196 18446744073709551615 94843222933504 94843222933881 140732642458704 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94843222945176 94843222945796 94843228545024 140732642466142 140732642466336 140732642466336 140732642471911 0
/proc/145189/statm: 468338 148196 8195 1 0 439696 0
Current cumulated CPU time of completed processes: 0.005233 s
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 1873352 KiB
Current children cumulated memory: 592784 KiB
[startup+3610.3 s]
/proc/loadavg: 1.09 1.55 2.40 2/244 145456
/proc/meminfo: memFree=125464804/131249996 swapFree=33010160/33010684
[pid=145189] ppid=145181 vsize=1873352 memory=592784 CPUtime=3600.3 cores=4,6
/proc/145189/stat : 145189 (python3) R 145181 145184 142829 0 -1 4194304 216741 81441 0 0 99730 37 260160 103 20 0 1 0 141965959 1918312448 148196 18446744073709551615 94843222933504 94843222933881 140732642458704 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94843222945176 94843222945796 94843228545024 140732642466142 140732642466336 140732642466336 140732642471911 0
/proc/145189/statm: 468338 148196 8195 1 0 439696 0
Current cumulated CPU time of completed processes: 0.005233 s
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 1873352 KiB
Current children cumulated memory: 592784 KiB
Child status: 0
Real time (s): 3610.35
CPU time (s): 3600.37
CPU user time (s): 3598.93
CPU system time (s): 1.443
CPU usage (%): 99.7236
Max. virtual memory (cumulated for all children) (KiB): 2393852
Max. memory (cumulated for all children) (KiB): 1107668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.93
system time used= 1.443
maximum resident set size= 592784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 303411
page faults= 0
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 376
involuntary context switches= 3467
# summary of solver processes directly reported to runsolver:
# pid: 145184,145189
# total CPU time (s): 3600.37
# total CPU user time (s): 3598.93
# total CPU system time (s): 1.443
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.52404 second user time and 18.2957 second system time
The end
Launcher Data
Begin job on nodeC029 at 2025-07-11 21:41:15
IDJOB=4530471
IDBENCH=178576
IDSOLVER=3388
FILE ID=nodeC029/4530471-1752262875
RUNJOBID= nodeC029-1752253208-142840
SLURM_JOB_ID= 9682582
Free space on /tmp= 432172 MiB
SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-sorrell8.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4530471-1752262875/watcher-4530471-1752262875 -o /tmp/evaluation-result-4530471-1752262875/solver-4530471-1752262875 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1752253208-142840 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530471-1752262875.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3efa309da6b8ed2e5ff01ccb25d0dd51
RANDOM SEED=477892554
nodeC029 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.723
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.619
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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.053
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 3584.409
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 3510.526
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.743
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.726
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 3602.096
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 122749880 kB
MemAvailable: 126467992 kB
Buffers: 2128 kB
Cached: 4504900 kB
SwapCached: 40 kB
Active: 3713796 kB
Inactive: 4061668 kB
Active(anon): 3281692 kB
Inactive(anon): 4764 kB
Active(file): 432104 kB
Inactive(file): 4056904 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 5848 kB
Writeback: 0 kB
AnonPages: 3271496 kB
Mapped: 131672 kB
Shmem: 18020 kB
KReclaimable: 136684 kB
Slab: 230328 kB
SReclaimable: 136684 kB
SUnreclaim: 93644 kB
KernelStack: 4320 kB
PageTables: 10100 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 7051056 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3968 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1177600 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432204 MiB
End job on nodeC029 at 2025-07-11 22:41:26