Trace number 4522103
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.00a1 | SAT (TO) | -347 | 3600.79 | 3611.92 |
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
63.69/64.09 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4522103-1751575699.opb
63.69/64.09 c Solving mode: optimization
63.69/64.09 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
63.69/64.09 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
63.69/64.09 c original problem has 2046 variables (2046 bin, 0 int, 0 impl, 0 cont) and 18944 constraints
63.69/64.09 c feasible solution found by trivial heuristic after 0.1 seconds, objective value 0.000000e+00
63.69/64.09 c presolving:
63.69/64.09 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
63.69/64.09 c (0.4s) probing: 51/2046 (2.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
63.69/64.09 c (0.4s) probing aborted: 50/50 successive totally useless probings
63.69/64.09 c (0.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
63.69/64.09 c (0.4s) symmetry computation finished: 11 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.02)
63.69/64.09 c dynamic symmetry handling statistics:
63.69/64.09 c orbitopal reduction: no components
63.69/64.09 c orbital reduction: 5 components of sizes 3, 2, 2, 2, 2
63.69/64.09 c lexicographic reduction: 11 permutations with support sizes 924, 452, 452, 320, 660, 330, 160, 50, 110, 22, 10
63.69/64.09 c handled 5 out of 5 symmetry components
63.69/64.09 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
63.69/64.09 c 462 deleted vars, 2900 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
63.69/64.09 c 0 implications, 16044 cliques
63.69/64.09 c presolved problem has 1584 variables (1584 bin, 0 int, 0 impl, 0 cont) and 16044 constraints
63.69/64.09 c 16044 constraints of type <setppc>
63.69/64.09 c transformed objective value is always integral (scale: 1)
63.69/64.09 c Presolving Time: 53.55
63.69/64.09 c
63.69/64.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
63.69/64.09 c t53.6s| 1 | 0 | 0 | - | trivial| 0 |1584 | 16k| 0 | 0 | 0 | 0 | 0 |-1.682000e+03 |-9.800000e+01 |1616.33%| unknown
63.69/64.09 c p53.7s| 1 | 0 | 0 | - | clique| 0 |1584 | 16k| 16k| 0 | 0 | 0 | 0 |-1.682000e+03 |-2.760000e+02 | 509.42%| unknown
63.69/64.09 c p53.7s| 1 | 0 | 0 | - | locks| 0 |1584 | 16k| 16k| 0 | 0 | 0 | 0 |-1.682000e+03 |-2.970000e+02 | 466.33%| unknown
63.69/64.09 c i53.8s| 1 | 0 | 269 | - | oneopt| 0 |1584 | 16k| 16k| 0 | 0 | 0 | 0 |-1.682000e+03 |-3.040000e+02 | 453.29%| unknown
63.69/64.09 c 53.9s| 1 | 0 | 1904 | - | 70M | 0 |1584 | 16k| 16k| 0 | 0 | 0 | 0 |-8.900000e+02 |-3.040000e+02 | 192.76%| unknown
63.69/64.09 c 54.3s| 1 | 0 | 2925 | - | 78M | 0 |1584 | 16k| 16k| 151 | 1 | 0 | 0 |-8.040000e+02 |-3.040000e+02 | 164.47%| unknown
63.69/64.09 c 54.6s| 1 | 0 | 3675 | - | 80M | 0 |1584 | 16k| 16k| 287 | 2 | 0 | 0 |-7.565000e+02 |-3.040000e+02 | 148.85%| unknown
63.69/64.09 c 54.9s| 1 | 0 | 4535 | - | 82M | 0 |1584 | 16k| 16k| 419 | 3 | 0 | 0 |-7.182500e+02 |-3.040000e+02 | 136.27%| unknown
63.69/64.09 c 55.1s| 1 | 0 | 5370 | - | 84M | 0 |1584 | 16k| 16k| 549 | 4 | 0 | 0 |-6.910500e+02 |-3.040000e+02 | 127.32%| unknown
63.69/64.09 c 55.4s| 1 | 0 | 6581 | - | 86M | 0 |1584 | 16k| 16k| 681 | 5 | 0 | 0 |-6.681667e+02 |-3.040000e+02 | 119.79%| unknown
63.69/64.09 c 55.7s| 1 | 0 | 7715 | - | 89M | 0 |1584 | 16k| 16k| 806 | 6 | 0 | 0 |-6.484583e+02 |-3.040000e+02 | 113.31%| unknown
63.69/64.09 c 56.0s| 1 | 0 | 9120 | - | 92M | 0 |1584 | 16k| 16k| 919 | 7 | 0 | 0 |-6.305794e+02 |-3.040000e+02 | 107.43%| unknown
63.69/64.09 c 56.3s| 1 | 0 | 10553 | - | 94M | 0 |1584 | 16k| 17k|1045 | 8 | 0 | 0 |-6.179435e+02 |-3.040000e+02 | 103.27%| unknown
63.69/64.09 c 56.7s| 1 | 0 | 12529 | - | 97M | 0 |1584 | 16k| 17k|1161 | 9 | 0 | 0 |-6.058462e+02 |-3.040000e+02 | 99.29%| unknown
63.69/64.09 c 57.1s| 1 | 0 | 14589 | - | 100M | 0 |1584 | 16k| 17k|1270 | 10 | 0 | 0 |-5.981015e+02 |-3.040000e+02 | 96.74%| unknown
63.69/64.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
63.69/64.09 c 57.5s| 1 | 0 | 16506 | - | 103M | 0 |1584 | 16k| 17k|1382 | 11 | 0 | 0 |-5.858875e+02 |-3.040000e+02 | 92.73%| unknown
63.69/64.09 c 57.9s| 1 | 0 | 18764 | - | 105M | 0 |1584 | 16k| 17k|1499 | 12 | 0 | 0 |-5.763293e+02 |-3.040000e+02 | 89.58%| unknown
63.69/64.09 c 58.4s| 1 | 0 | 20919 | - | 106M | 0 |1584 | 16k| 17k|1595 | 13 | 0 | 0 |-5.658104e+02 |-3.040000e+02 | 86.12%| unknown
63.69/64.09 c 58.8s| 1 | 0 | 23004 | - | 109M | 0 |1584 | 16k| 17k|1677 | 14 | 0 | 0 |-5.591801e+02 |-3.040000e+02 | 83.94%| unknown
63.69/64.09 c 59.2s| 1 | 0 | 24971 | - | 111M | 0 |1584 | 16k| 17k|1749 | 15 | 0 | 0 |-5.517803e+02 |-3.040000e+02 | 81.51%| unknown
63.69/64.09 c 59.5s| 1 | 0 | 26704 | - | 113M | 0 |1584 | 16k| 17k|1820 | 16 | 0 | 0 |-5.455970e+02 |-3.040000e+02 | 79.47%| unknown
63.69/64.09 c 59.8s| 1 | 0 | 28231 | - | 114M | 0 |1584 | 16k| 17k|1884 | 17 | 0 | 0 |-5.409193e+02 |-3.040000e+02 | 77.93%| unknown
63.69/64.09 c 60.2s| 1 | 0 | 30137 | - | 116M | 0 |1584 | 16k| 17k|1947 | 18 | 0 | 0 |-5.365489e+02 |-3.040000e+02 | 76.50%| unknown
63.69/64.09 c 60.4s| 1 | 0 | 31222 | - | 119M | 0 |1584 | 16k| 17k|1992 | 19 | 0 | 0 |-5.338590e+02 |-3.040000e+02 | 75.61%| unknown
63.69/64.09 c 60.7s| 1 | 0 | 32711 | - | 121M | 0 |1584 | 16k| 17k|2050 | 20 | 0 | 0 |-5.293980e+02 |-3.040000e+02 | 74.14%| unknown
63.69/64.09 c 61.0s| 1 | 0 | 34116 | - | 122M | 0 |1584 | 16k| 17k|2064 | 21 | 0 | 0 |-5.263220e+02 |-3.040000e+02 | 73.13%| unknown
63.69/64.09 c 61.1s| 1 | 0 | 34606 | - | 122M | 0 |1584 | 16k| 17k|2078 | 22 | 0 | 0 |-5.249223e+02 |-3.040000e+02 | 72.67%| unknown
63.69/64.09 c 61.3s| 1 | 0 | 35363 | - | 122M | 0 |1584 | 16k| 17k|2087 | 23 | 0 | 0 |-5.232292e+02 |-3.040000e+02 | 72.11%| unknown
63.69/64.09 c 61.5s| 1 | 0 | 35980 | - | 122M | 0 |1584 | 16k| 17k|2101 | 24 | 0 | 0 |-5.210970e+02 |-3.040000e+02 | 71.41%| unknown
63.69/64.09 c 61.7s| 1 | 0 | 36318 | - | 122M | 0 |1584 | 16k| 17k|2110 | 25 | 0 | 0 |-5.202411e+02 |-3.040000e+02 | 71.13%| unknown
63.69/64.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
63.69/64.09 c 61.9s| 1 | 0 | 36797 | - | 122M | 0 |1584 | 16k| 17k|2118 | 26 | 0 | 0 |-5.186958e+02 |-3.040000e+02 | 70.62%| unknown
63.69/64.09 c 62.1s| 1 | 0 | 37459 | - | 122M | 0 |1584 | 16k| 17k|2128 | 27 | 0 | 0 |-5.161271e+02 |-3.040000e+02 | 69.78%| unknown
63.69/64.09 c 62.2s| 1 | 0 | 37991 | - | 123M | 0 |1584 | 16k| 17k|2135 | 28 | 0 | 0 |-5.140252e+02 |-3.040000e+02 | 69.09%| unknown
63.69/64.09 c 62.5s| 1 | 0 | 38877 | - | 123M | 0 |1584 | 16k| 17k|2143 | 29 | 0 | 0 |-5.120896e+02 |-3.040000e+02 | 68.45%| unknown
63.69/64.09 c 62.6s| 1 | 0 | 39594 | - | 123M | 0 |1584 | 16k| 17k|2153 | 30 | 0 | 0 |-5.094641e+02 |-3.040000e+02 | 67.59%| unknown
63.69/64.09 c 62.8s| 1 | 0 | 40229 | - | 123M | 0 |1584 | 16k| 17k|2172 | 31 | 0 | 0 |-5.073955e+02 |-3.040000e+02 | 66.91%| unknown
63.69/64.09 c 62.9s| 1 | 0 | 40740 | - | 123M | 0 |1584 | 16k| 17k|2197 | 32 | 0 | 0 |-5.061100e+02 |-3.040000e+02 | 66.48%| unknown
63.69/64.09 c 63.1s| 1 | 0 | 41087 | - | 123M | 0 |1584 | 16k| 17k|2218 | 33 | 0 | 0 |-5.053134e+02 |-3.040000e+02 | 66.22%| unknown
63.69/64.09 c 63.3s| 1 | 0 | 41708 | - | 124M | 0 |1584 | 16k| 17k|2234 | 34 | 0 | 0 |-5.035108e+02 |-3.040000e+02 | 65.63%| unknown
63.69/64.09 c 63.4s| 1 | 0 | 42419 | - | 124M | 0 |1584 | 16k| 17k|2258 | 35 | 0 | 0 |-5.016880e+02 |-3.040000e+02 | 65.03%| unknown
71.85/72.23 c 63.6s| 1 | 0 | 43120 | - | 124M | 0 |1584 | 16k| 17k|2296 | 36 | 0 | 0 |-4.992552e+02 |-3.040000e+02 | 64.23%| unknown
71.85/72.23 c 63.7s| 1 | 0 | 43508 | - | 124M | 0 |1584 | 16k| 17k|2322 | 37 | 0 | 0 |-4.985632e+02 |-3.040000e+02 | 64.00%| unknown
71.85/72.23 c 63.9s| 1 | 0 | 43970 | - | 125M | 0 |1584 | 16k| 17k|2338 | 38 | 0 | 0 |-4.976728e+02 |-3.040000e+02 | 63.71%| unknown
71.85/72.23 c 64.1s| 1 | 0 | 44546 | - | 125M | 0 |1584 | 16k| 17k|2360 | 39 | 0 | 0 |-4.958179e+02 |-3.040000e+02 | 63.10%| unknown
71.85/72.23 c 64.2s| 1 | 0 | 45116 | - | 125M | 0 |1584 | 16k| 17k|2378 | 40 | 0 | 0 |-4.940818e+02 |-3.040000e+02 | 62.53%| unknown
71.85/72.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
71.85/72.23 c 64.4s| 1 | 0 | 45697 | - | 125M | 0 |1584 | 16k| 17k|2392 | 41 | 0 | 0 |-4.919731e+02 |-3.040000e+02 | 61.83%| unknown
71.85/72.23 c 64.6s| 1 | 0 | 46384 | - | 125M | 0 |1584 | 16k| 17k|2402 | 42 | 0 | 0 |-4.904175e+02 |-3.040000e+02 | 61.32%| unknown
71.85/72.23 c 64.7s| 1 | 0 | 46854 | - | 125M | 0 |1584 | 16k| 17k|2416 | 43 | 0 | 0 |-4.890952e+02 |-3.040000e+02 | 60.89%| unknown
71.85/72.23 c 64.9s| 1 | 0 | 47345 | - | 125M | 0 |1584 | 16k| 17k|2427 | 44 | 0 | 0 |-4.883926e+02 |-3.040000e+02 | 60.66%| unknown
71.85/72.23 c 65.0s| 1 | 0 | 47953 | - | 126M | 0 |1584 | 16k| 17k|2443 | 45 | 0 | 0 |-4.873847e+02 |-3.040000e+02 | 60.32%| unknown
71.85/72.23 c 65.2s| 1 | 0 | 48598 | - | 126M | 0 |1584 | 16k| 17k|2452 | 46 | 0 | 0 |-4.860214e+02 |-3.040000e+02 | 59.88%| unknown
71.85/72.23 c 65.4s| 1 | 0 | 49063 | - | 126M | 0 |1584 | 16k| 17k|2465 | 47 | 0 | 0 |-4.841418e+02 |-3.040000e+02 | 59.26%| unknown
71.85/72.23 c 65.5s| 1 | 0 | 49642 | - | 126M | 0 |1584 | 16k| 17k|2493 | 48 | 0 | 0 |-4.819565e+02 |-3.040000e+02 | 58.54%| unknown
71.85/72.23 c 65.7s| 1 | 0 | 49962 | - | 127M | 0 |1584 | 16k| 17k|2520 | 49 | 0 | 0 |-4.810042e+02 |-3.040000e+02 | 58.23%| unknown
71.85/72.23 c 65.8s| 1 | 0 | 50383 | - | 127M | 0 |1584 | 16k| 17k|2535 | 50 | 0 | 0 |-4.793711e+02 |-3.040000e+02 | 57.69%| unknown
71.85/72.23 c 66.0s| 1 | 0 | 50923 | - | 127M | 0 |1584 | 16k| 17k|2547 | 51 | 0 | 0 |-4.770684e+02 |-3.040000e+02 | 56.93%| unknown
71.85/72.23 c 66.2s| 1 | 0 | 51818 | - | 127M | 0 |1584 | 16k| 17k|2565 | 52 | 0 | 0 |-4.752420e+02 |-3.040000e+02 | 56.33%| unknown
71.85/72.23 c 66.4s| 1 | 0 | 52503 | - | 127M | 0 |1584 | 16k| 17k|2589 | 53 | 0 | 0 |-4.737095e+02 |-3.040000e+02 | 55.83%| unknown
71.85/72.23 c 66.5s| 1 | 0 | 52898 | - | 127M | 0 |1584 | 16k| 17k|2615 | 54 | 0 | 0 |-4.726040e+02 |-3.040000e+02 | 55.46%| unknown
71.85/72.23 c 66.6s| 1 | 0 | 53336 | - | 127M | 0 |1584 | 16k| 17k|2630 | 55 | 0 | 0 |-4.716350e+02 |-3.040000e+02 | 55.14%| unknown
71.85/72.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
71.85/72.23 c 66.8s| 1 | 0 | 53778 | - | 128M | 0 |1584 | 16k| 17k|2645 | 56 | 0 | 0 |-4.692326e+02 |-3.040000e+02 | 54.35%| unknown
71.85/72.23 c 66.9s| 1 | 0 | 54227 | - | 128M | 0 |1584 | 16k| 17k|2655 | 57 | 0 | 0 |-4.683927e+02 |-3.040000e+02 | 54.08%| unknown
71.85/72.23 c 67.1s| 1 | 0 | 54790 | - | 128M | 0 |1584 | 16k| 17k|2671 | 58 | 0 | 0 |-4.666007e+02 |-3.040000e+02 | 53.49%| unknown
71.85/72.23 c 67.2s| 1 | 0 | 55182 | - | 128M | 0 |1584 | 16k| 17k|2686 | 59 | 0 | 0 |-4.654706e+02 |-3.040000e+02 | 53.12%| unknown
71.85/72.23 c 67.3s| 1 | 0 | 55331 | - | 128M | 0 |1584 | 16k| 17k|2696 | 60 | 0 | 0 |-4.649578e+02 |-3.040000e+02 | 52.95%| unknown
71.85/72.23 c 67.5s| 1 | 0 | 55715 | - | 128M | 0 |1584 | 16k| 17k|2711 | 61 | 0 | 0 |-4.637274e+02 |-3.040000e+02 | 52.54%| unknown
71.85/72.23 c 67.6s| 1 | 0 | 56275 | - | 128M | 0 |1584 | 16k| 17k|2728 | 62 | 0 | 0 |-4.617208e+02 |-3.040000e+02 | 51.88%| unknown
71.85/72.23 c 67.8s| 1 | 0 | 56895 | - | 128M | 0 |1584 | 16k| 17k|2748 | 63 | 0 | 0 |-4.601624e+02 |-3.040000e+02 | 51.37%| unknown
71.85/72.23 c 68.0s| 1 | 0 | 57462 | - | 128M | 0 |1584 | 16k| 17k|2768 | 64 | 0 | 0 |-4.589757e+02 |-3.040000e+02 | 50.98%| unknown
71.85/72.23 c 68.2s| 1 | 0 | 57874 | - | 128M | 0 |1584 | 16k| 17k|2779 | 65 | 0 | 0 |-4.578770e+02 |-3.040000e+02 | 50.62%| unknown
71.85/72.23 c 68.3s| 1 | 0 | 58438 | - | 128M | 0 |1584 | 16k| 17k|2787 | 66 | 0 | 0 |-4.559372e+02 |-3.040000e+02 | 49.98%| unknown
71.85/72.23 c 68.5s| 1 | 0 | 58963 | - | 128M | 0 |1584 | 16k| 17k|2802 | 67 | 0 | 0 |-4.541324e+02 |-3.040000e+02 | 49.39%| unknown
71.85/72.23 c 68.7s| 1 | 0 | 59559 | - | 130M | 0 |1584 | 16k| 17k|2822 | 68 | 0 | 0 |-4.524758e+02 |-3.040000e+02 | 48.84%| unknown
71.85/72.23 c 68.8s| 1 | 0 | 60117 | - | 130M | 0 |1584 | 16k| 17k|2846 | 69 | 0 | 0 |-4.509850e+02 |-3.040000e+02 | 48.35%| unknown
71.85/72.23 c 69.0s| 1 | 0 | 60429 | - | 130M | 0 |1584 | 16k| 17k|2861 | 70 | 0 | 0 |-4.501964e+02 |-3.040000e+02 | 48.09%| unknown
71.85/72.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
71.85/72.23 c 69.1s| 1 | 0 | 61039 | - | 130M | 0 |1584 | 16k| 17k|2876 | 71 | 0 | 0 |-4.475420e+02 |-3.040000e+02 | 47.22%| unknown
71.85/72.23 c 69.3s| 1 | 0 | 61604 | - | 130M | 0 |1584 | 16k| 17k|2893 | 72 | 0 | 0 |-4.459758e+02 |-3.040000e+02 | 46.70%| unknown
71.85/72.23 c 69.4s| 1 | 0 | 62033 | - | 130M | 0 |1584 | 16k| 17k|2906 | 73 | 0 | 0 |-4.453325e+02 |-3.040000e+02 | 46.49%| unknown
71.85/72.23 c 69.6s| 1 | 0 | 62437 | - | 130M | 0 |1584 | 16k| 17k|2920 | 74 | 0 | 0 |-4.446169e+02 |-3.040000e+02 | 46.26%| unknown
71.85/72.23 c 69.7s| 1 | 0 | 62875 | - | 131M | 0 |1584 | 16k| 17k|2931 | 75 | 0 | 0 |-4.428700e+02 |-3.040000e+02 | 45.68%| unknown
71.85/72.23 c 69.9s| 1 | 0 | 63420 | - | 131M | 0 |1584 | 16k| 17k|2941 | 76 | 0 | 0 |-4.418039e+02 |-3.040000e+02 | 45.33%| unknown
71.85/72.23 c 70.1s| 1 | 0 | 63829 | - | 131M | 0 |1584 | 16k| 17k|2956 | 77 | 0 | 0 |-4.410321e+02 |-3.040000e+02 | 45.08%| unknown
71.85/72.23 c 70.2s| 1 | 0 | 64281 | - | 131M | 0 |1584 | 16k| 17k|2968 | 78 | 0 | 0 |-4.402633e+02 |-3.040000e+02 | 44.82%| unknown
71.85/72.23 c 70.4s| 1 | 0 | 64698 | - | 131M | 0 |1584 | 16k| 17k|2978 | 79 | 0 | 0 |-4.394093e+02 |-3.040000e+02 | 44.54%| unknown
71.85/72.23 c 70.5s| 1 | 0 | 65168 | - | 131M | 0 |1584 | 16k| 17k|2988 | 80 | 0 | 0 |-4.384752e+02 |-3.040000e+02 | 44.24%| unknown
71.85/72.23 c 70.7s| 1 | 0 | 65555 | - | 131M | 0 |1584 | 16k| 17k|3000 | 81 | 0 | 0 |-4.376443e+02 |-3.040000e+02 | 43.96%| unknown
71.85/72.23 c 70.8s| 1 | 0 | 65903 | - | 131M | 0 |1584 | 16k| 17k|3009 | 82 | 0 | 0 |-4.369470e+02 |-3.040000e+02 | 43.73%| unknown
71.85/72.23 c 71.0s| 1 | 0 | 66327 | - | 131M | 0 |1584 | 16k| 17k|3017 | 83 | 0 | 0 |-4.362711e+02 |-3.040000e+02 | 43.51%| unknown
71.85/72.23 c 71.1s| 1 | 0 | 66632 | - | 131M | 0 |1584 | 16k| 17k|3025 | 84 | 0 | 0 |-4.358072e+02 |-3.040000e+02 | 43.36%| unknown
71.85/72.23 c 71.3s| 1 | 0 | 67158 | - | 132M | 0 |1584 | 16k| 17k|3036 | 85 | 0 | 0 |-4.341911e+02 |-3.040000e+02 | 42.83%| unknown
71.85/72.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
71.85/72.23 c 71.4s| 1 | 0 | 67631 | - | 132M | 0 |1584 | 16k| 17k|3052 | 86 | 0 | 0 |-4.327672e+02 |-3.040000e+02 | 42.36%| unknown
71.85/72.23 c 71.6s| 1 | 0 | 68186 | - | 132M | 0 |1584 | 16k| 17k|3073 | 87 | 0 | 0 |-4.311745e+02 |-3.040000e+02 | 41.83%| unknown
78.13/78.53 c 71.7s| 1 | 0 | 68651 | - | 132M | 0 |1584 | 16k| 17k|3094 | 88 | 0 | 0 |-4.301919e+02 |-3.040000e+02 | 41.51%| unknown
78.13/78.53 c 71.9s| 1 | 0 | 69280 | - | 132M | 0 |1584 | 16k| 17k|3110 | 89 | 0 | 0 |-4.287870e+02 |-3.040000e+02 | 41.05%| unknown
78.13/78.53 c 72.1s| 1 | 0 | 69667 | - | 132M | 0 |1584 | 16k| 17k|3128 | 90 | 0 | 0 |-4.280906e+02 |-3.040000e+02 | 40.82%| unknown
78.13/78.53 c 72.2s| 1 | 0 | 70143 | - | 132M | 0 |1584 | 16k| 17k|3145 | 91 | 0 | 0 |-4.267565e+02 |-3.040000e+02 | 40.38%| unknown
78.13/78.53 c 72.4s| 1 | 0 | 70514 | - | 132M | 0 |1584 | 16k| 17k|3156 | 92 | 0 | 0 |-4.261350e+02 |-3.040000e+02 | 40.18%| unknown
78.13/78.53 c 72.5s| 1 | 0 | 70916 | - | 133M | 0 |1584 | 16k| 17k|3164 | 93 | 0 | 0 |-4.254757e+02 |-3.040000e+02 | 39.96%| unknown
78.13/78.53 c 72.6s| 1 | 0 | 71144 | - | 133M | 0 |1584 | 16k| 17k|3169 | 94 | 0 | 0 |-4.252186e+02 |-3.040000e+02 | 39.87%| unknown
78.13/78.53 c 72.8s| 1 | 0 | 71785 | - | 133M | 0 |1584 | 16k| 17k|3182 | 95 | 0 | 0 |-4.241004e+02 |-3.040000e+02 | 39.51%| unknown
78.13/78.53 c 72.9s| 1 | 0 | 72074 | - | 133M | 0 |1584 | 16k| 17k|3194 | 96 | 0 | 0 |-4.237438e+02 |-3.040000e+02 | 39.39%| unknown
78.13/78.53 c 73.1s| 1 | 0 | 72418 | - | 133M | 0 |1584 | 16k| 17k|3204 | 97 | 0 | 0 |-4.232756e+02 |-3.040000e+02 | 39.24%| unknown
78.13/78.53 c 73.3s| 1 | 0 | 73020 | - | 133M | 0 |1584 | 16k| 17k|3217 | 98 | 0 | 0 |-4.215786e+02 |-3.040000e+02 | 38.68%| unknown
78.13/78.53 c 73.5s| 1 | 0 | 73643 | - | 133M | 0 |1584 | 16k| 17k|3242 | 99 | 0 | 0 |-4.204962e+02 |-3.040000e+02 | 38.32%| unknown
78.13/78.53 c 73.6s| 1 | 0 | 73989 | - | 134M | 0 |1584 | 16k| 17k|3256 |100 | 0 | 0 |-4.193448e+02 |-3.040000e+02 | 37.94%| unknown
78.13/78.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
78.13/78.53 c 73.7s| 1 | 0 | 74397 | - | 134M | 0 |1584 | 16k| 17k|3268 |101 | 0 | 0 |-4.186804e+02 |-3.040000e+02 | 37.72%| unknown
78.13/78.53 c 73.8s| 1 | 0 | 74945 | - | 134M | 0 |1584 | 16k| 17k|3284 |102 | 0 | 0 |-4.178342e+02 |-3.040000e+02 | 37.45%| unknown
78.13/78.53 c 73.9s| 1 | 0 | 75354 | - | 134M | 0 |1584 | 16k| 17k|3296 |103 | 0 | 0 |-4.169996e+02 |-3.040000e+02 | 37.17%| unknown
78.13/78.53 c 74.0s| 1 | 0 | 75730 | - | 134M | 0 |1584 | 16k| 17k|3305 |104 | 0 | 0 |-4.163892e+02 |-3.040000e+02 | 36.97%| unknown
78.13/78.53 c 74.1s| 1 | 0 | 75920 | - | 134M | 0 |1584 | 16k| 17k|3314 |105 | 0 | 0 |-4.161077e+02 |-3.040000e+02 | 36.88%| unknown
78.13/78.53 c 74.2s| 1 | 0 | 76323 | - | 134M | 0 |1584 | 16k| 17k|3326 |106 | 0 | 0 |-4.154344e+02 |-3.040000e+02 | 36.66%| unknown
78.13/78.53 c 74.3s| 1 | 0 | 76685 | - | 134M | 0 |1584 | 16k| 17k|3338 |107 | 0 | 0 |-4.148283e+02 |-3.040000e+02 | 36.46%| unknown
78.13/78.53 c 74.5s| 1 | 0 | 77322 | - | 134M | 0 |1584 | 16k| 17k|3348 |108 | 0 | 0 |-4.135712e+02 |-3.040000e+02 | 36.04%| unknown
78.13/78.53 c 74.6s| 1 | 0 | 77716 | - | 134M | 0 |1584 | 16k| 17k|3358 |109 | 0 | 0 |-4.129982e+02 |-3.040000e+02 | 35.85%| unknown
78.13/78.53 c 74.7s| 1 | 0 | 78162 | - | 135M | 0 |1584 | 16k| 17k|3374 |110 | 0 | 0 |-4.120768e+02 |-3.040000e+02 | 35.55%| unknown
78.13/78.53 c 74.8s| 1 | 0 | 78434 | - | 135M | 0 |1584 | 16k| 17k|3383 |111 | 0 | 0 |-4.114569e+02 |-3.040000e+02 | 35.35%| unknown
78.13/78.53 c 74.9s| 1 | 0 | 78711 | - | 135M | 0 |1584 | 16k| 17k|3389 |112 | 0 | 0 |-4.109978e+02 |-3.040000e+02 | 35.20%| unknown
78.13/78.53 c 75.0s| 1 | 0 | 79068 | - | 135M | 0 |1584 | 16k| 17k|3401 |113 | 0 | 0 |-4.100806e+02 |-3.040000e+02 | 34.89%| unknown
78.13/78.53 c 75.1s| 1 | 0 | 79493 | - | 135M | 0 |1584 | 16k| 17k|3410 |114 | 0 | 0 |-4.092698e+02 |-3.040000e+02 | 34.63%| unknown
78.13/78.53 c 75.2s| 1 | 0 | 79815 | - | 135M | 0 |1584 | 16k| 17k|3419 |115 | 0 | 0 |-4.085957e+02 |-3.040000e+02 | 34.41%| unknown
78.13/78.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
78.13/78.53 c 75.3s| 1 | 0 | 80149 | - | 135M | 0 |1584 | 16k| 17k|3432 |116 | 0 | 0 |-4.080684e+02 |-3.040000e+02 | 34.23%| unknown
78.13/78.53 c 75.4s| 1 | 0 | 80722 | - | 136M | 0 |1584 | 16k| 17k|3442 |117 | 0 | 0 |-4.071471e+02 |-3.040000e+02 | 33.93%| unknown
78.13/78.53 c 75.5s| 1 | 0 | 81257 | - | 136M | 0 |1584 | 16k| 17k|3452 |118 | 0 | 0 |-4.062713e+02 |-3.040000e+02 | 33.64%| unknown
78.13/78.53 c 75.7s| 1 | 0 | 81886 | - | 136M | 0 |1584 | 16k| 17k|3467 |119 | 0 | 0 |-4.052617e+02 |-3.040000e+02 | 33.31%| unknown
78.13/78.53 c 75.8s| 1 | 0 | 82353 | - | 136M | 0 |1584 | 16k| 17k|3483 |120 | 0 | 0 |-4.046820e+02 |-3.040000e+02 | 33.12%| unknown
78.13/78.53 c 75.9s| 1 | 0 | 82836 | - | 136M | 0 |1584 | 16k| 17k|3494 |121 | 0 | 0 |-4.040506e+02 |-3.040000e+02 | 32.91%| unknown
78.13/78.53 c 76.0s| 1 | 0 | 83248 | - | 136M | 0 |1584 | 16k| 17k|3500 |122 | 0 | 0 |-4.033088e+02 |-3.040000e+02 | 32.67%| unknown
78.13/78.53 c 76.1s| 1 | 0 | 83630 | - | 136M | 0 |1584 | 16k| 17k|3507 |123 | 0 | 0 |-4.025165e+02 |-3.040000e+02 | 32.41%| unknown
78.13/78.53 c 76.2s| 1 | 0 | 83902 | - | 136M | 0 |1584 | 16k| 17k|3519 |124 | 0 | 0 |-4.020082e+02 |-3.040000e+02 | 32.24%| unknown
78.13/78.53 c 76.3s| 1 | 0 | 84220 | - | 136M | 0 |1584 | 16k| 17k|3529 |125 | 0 | 0 |-4.011870e+02 |-3.040000e+02 | 31.97%| unknown
78.13/78.53 c 76.4s| 1 | 0 | 84644 | - | 137M | 0 |1584 | 16k| 17k|3539 |126 | 0 | 0 |-4.005229e+02 |-3.040000e+02 | 31.75%| unknown
78.13/78.53 c 76.5s| 1 | 0 | 85009 | - | 137M | 0 |1584 | 16k| 17k|3547 |127 | 0 | 0 |-3.997910e+02 |-3.040000e+02 | 31.51%| unknown
78.13/78.53 c 76.7s| 1 | 0 | 85419 | - | 137M | 0 |1584 | 16k| 17k|3557 |128 | 0 | 0 |-3.992162e+02 |-3.040000e+02 | 31.32%| unknown
78.13/78.53 c 76.8s| 1 | 0 | 85865 | - | 137M | 0 |1584 | 16k| 17k|3569 |129 | 0 | 0 |-3.985563e+02 |-3.040000e+02 | 31.10%| unknown
78.13/78.53 c 76.9s| 1 | 0 | 86319 | - | 137M | 0 |1584 | 16k| 17k|3583 |130 | 0 | 0 |-3.977198e+02 |-3.040000e+02 | 30.83%| unknown
78.13/78.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
78.13/78.53 c 77.0s| 1 | 0 | 86778 | - | 137M | 0 |1584 | 16k| 17k|3594 |131 | 0 | 0 |-3.971074e+02 |-3.040000e+02 | 30.63%| unknown
78.13/78.53 c 77.2s| 1 | 0 | 87182 | - | 137M | 0 |1584 | 16k| 17k|3607 |132 | 0 | 0 |-3.966945e+02 |-3.040000e+02 | 30.49%| unknown
78.13/78.53 c 77.2s| 1 | 0 | 87456 | - | 137M | 0 |1584 | 16k| 17k|3617 |133 | 0 | 0 |-3.963140e+02 |-3.040000e+02 | 30.37%| unknown
78.13/78.53 c 77.4s| 1 | 0 | 87862 | - | 138M | 0 |1584 | 16k| 17k|3627 |134 | 0 | 0 |-3.956029e+02 |-3.040000e+02 | 30.13%| unknown
78.13/78.53 c 77.5s| 1 | 0 | 88229 | - | 138M | 0 |1584 | 16k| 17k|3638 |135 | 0 | 0 |-3.951291e+02 |-3.040000e+02 | 29.98%| unknown
78.13/78.53 c 77.6s| 1 | 0 | 88683 | - | 138M | 0 |1584 | 16k| 17k|3653 |136 | 0 | 0 |-3.945025e+02 |-3.040000e+02 | 29.77%| unknown
78.13/78.53 c 77.7s| 1 | 0 | 88920 | - | 138M | 0 |1584 | 16k| 17k|3662 |137 | 0 | 0 |-3.941821e+02 |-3.040000e+02 | 29.67%| unknown
78.13/78.53 c 77.8s| 1 | 0 | 89322 | - | 138M | 0 |1584 | 16k| 17k|3675 |138 | 0 | 0 |-3.935368e+02 |-3.040000e+02 | 29.45%| unknown
78.13/78.53 c 77.9s| 1 | 0 | 89638 | - | 138M | 0 |1584 | 16k| 17k|3684 |139 | 0 | 0 |-3.929058e+02 |-3.040000e+02 | 29.25%| unknown
78.13/78.53 c 78.0s| 1 | 0 | 89906 | - | 138M | 0 |1584 | 16k| 17k|3691 |140 | 0 | 0 |-3.924262e+02 |-3.040000e+02 | 29.09%| unknown
82.82/83.28 c 78.0s| 1 | 0 | 90150 | - | 138M | 0 |1584 | 16k| 17k|3700 |141 | 0 | 0 |-3.918599e+02 |-3.040000e+02 | 28.90%| unknown
82.82/83.28 c 78.2s| 1 | 0 | 90530 | - | 139M | 0 |1584 | 16k| 17k|3711 |142 | 0 | 0 |-3.915133e+02 |-3.040000e+02 | 28.79%| unknown
82.82/83.28 c 78.2s| 1 | 0 | 90822 | - | 139M | 0 |1584 | 16k| 17k|3720 |143 | 0 | 0 |-3.912113e+02 |-3.040000e+02 | 28.69%| unknown
82.82/83.28 c 78.4s| 1 | 0 | 91346 | - | 139M | 0 |1584 | 16k| 17k|3733 |144 | 0 | 0 |-3.899276e+02 |-3.040000e+02 | 28.27%| unknown
82.82/83.28 c 78.5s| 1 | 0 | 91615 | - | 139M | 0 |1584 | 16k| 17k|3744 |145 | 0 | 0 |-3.895621e+02 |-3.040000e+02 | 28.15%| unknown
82.82/83.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
82.82/83.28 c 78.6s| 1 | 0 | 92112 | - | 139M | 0 |1584 | 16k| 17k|3755 |146 | 0 | 0 |-3.890423e+02 |-3.040000e+02 | 27.97%| unknown
82.82/83.28 c 78.7s| 1 | 0 | 92399 | - | 139M | 0 |1584 | 16k| 17k|3765 |147 | 0 | 0 |-3.886562e+02 |-3.040000e+02 | 27.85%| unknown
82.82/83.28 c 78.8s| 1 | 0 | 92760 | - | 139M | 0 |1584 | 16k| 17k|3774 |148 | 0 | 0 |-3.880788e+02 |-3.040000e+02 | 27.66%| unknown
82.82/83.28 c 78.9s| 1 | 0 | 93128 | - | 139M | 0 |1584 | 16k| 17k|3783 |149 | 0 | 0 |-3.876290e+02 |-3.040000e+02 | 27.51%| unknown
82.82/83.28 c 79.0s| 1 | 0 | 93648 | - | 139M | 0 |1584 | 16k| 17k|3798 |150 | 0 | 0 |-3.867104e+02 |-3.040000e+02 | 27.21%| unknown
82.82/83.28 c 79.1s| 1 | 0 | 93962 | - | 139M | 0 |1584 | 16k| 17k|3803 |151 | 0 | 0 |-3.863070e+02 |-3.040000e+02 | 27.07%| unknown
82.82/83.28 c 79.3s| 1 | 0 | 94389 | - | 140M | 0 |1584 | 16k| 17k|3811 |152 | 0 | 0 |-3.855730e+02 |-3.040000e+02 | 26.83%| unknown
82.82/83.28 c 79.3s| 1 | 0 | 94670 | - | 140M | 0 |1584 | 16k| 17k|3822 |153 | 0 | 0 |-3.852520e+02 |-3.040000e+02 | 26.73%| unknown
82.82/83.28 c 79.4s| 1 | 0 | 94961 | - | 140M | 0 |1584 | 16k| 17k|3829 |154 | 0 | 0 |-3.850013e+02 |-3.040000e+02 | 26.65%| unknown
82.82/83.28 c 79.5s| 1 | 0 | 95194 | - | 140M | 0 |1584 | 16k| 17k|3839 |155 | 0 | 0 |-3.847828e+02 |-3.040000e+02 | 26.57%| unknown
82.82/83.28 c 79.6s| 1 | 0 | 95488 | - | 140M | 0 |1584 | 16k| 17k|3849 |156 | 0 | 0 |-3.844933e+02 |-3.040000e+02 | 26.48%| unknown
82.82/83.28 c 79.7s| 1 | 0 | 95830 | - | 140M | 0 |1584 | 16k| 17k|3857 |157 | 0 | 0 |-3.838488e+02 |-3.040000e+02 | 26.27%| unknown
82.82/83.28 c 79.8s| 1 | 0 | 96121 | - | 140M | 0 |1584 | 16k| 17k|3865 |158 | 0 | 0 |-3.834541e+02 |-3.040000e+02 | 26.14%| unknown
82.82/83.28 c 79.9s| 1 | 0 | 96378 | - | 140M | 0 |1584 | 16k| 17k|3870 |159 | 0 | 0 |-3.832696e+02 |-3.040000e+02 | 26.08%| unknown
82.82/83.28 c 80.0s| 1 | 0 | 96716 | - | 141M | 0 |1584 | 16k| 17k|3878 |160 | 0 | 0 |-3.829650e+02 |-3.040000e+02 | 25.98%| unknown
82.82/83.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
82.82/83.28 c 80.1s| 1 | 0 | 96907 | - | 141M | 0 |1584 | 16k| 17k|3886 |161 | 0 | 0 |-3.827235e+02 |-3.040000e+02 | 25.90%| unknown
82.82/83.28 c 80.1s| 1 | 0 | 97084 | - | 141M | 0 |1584 | 16k| 17k|3892 |162 | 0 | 0 |-3.825751e+02 |-3.040000e+02 | 25.85%| unknown
82.82/83.28 c 80.2s| 1 | 0 | 97439 | - | 141M | 0 |1584 | 16k| 17k|3900 |163 | 0 | 0 |-3.821122e+02 |-3.040000e+02 | 25.69%| unknown
82.82/83.28 c 80.3s| 1 | 0 | 97690 | - | 141M | 0 |1584 | 16k| 17k|3909 |164 | 0 | 0 |-3.818077e+02 |-3.040000e+02 | 25.59%| unknown
82.82/83.28 c 80.4s| 1 | 0 | 97997 | - | 141M | 0 |1584 | 16k| 17k|3921 |165 | 0 | 0 |-3.815389e+02 |-3.040000e+02 | 25.51%| unknown
82.82/83.28 c 80.5s| 1 | 0 | 98388 | - | 141M | 0 |1584 | 16k| 17k|3932 |166 | 0 | 0 |-3.809911e+02 |-3.040000e+02 | 25.33%| unknown
82.82/83.28 c 80.6s| 1 | 0 | 98578 | - | 141M | 0 |1584 | 16k| 17k|3938 |167 | 0 | 0 |-3.808403e+02 |-3.040000e+02 | 25.28%| unknown
82.82/83.28 c 80.7s| 1 | 0 | 98808 | - | 141M | 0 |1584 | 16k| 17k|3945 |168 | 0 | 0 |-3.803243e+02 |-3.040000e+02 | 25.11%| unknown
82.82/83.28 c 80.8s| 1 | 0 | 98998 | - | 141M | 0 |1584 | 16k| 17k|3951 |169 | 0 | 0 |-3.801348e+02 |-3.040000e+02 | 25.04%| unknown
82.82/83.28 c 80.9s| 1 | 0 | 99312 | - | 142M | 0 |1584 | 16k| 17k|3961 |170 | 0 | 0 |-3.797643e+02 |-3.040000e+02 | 24.92%| unknown
82.82/83.28 c 80.9s| 1 | 0 | 99442 | - | 142M | 0 |1584 | 16k| 17k|3969 |171 | 0 | 0 |-3.796699e+02 |-3.040000e+02 | 24.89%| unknown
82.82/83.28 c 81.0s| 1 | 0 | 99698 | - | 142M | 0 |1584 | 16k| 17k|3979 |172 | 0 | 0 |-3.794663e+02 |-3.040000e+02 | 24.82%| unknown
82.82/83.28 c 81.1s| 1 | 0 | 99944 | - | 142M | 0 |1584 | 16k| 17k|3989 |173 | 0 | 0 |-3.793175e+02 |-3.040000e+02 | 24.78%| unknown
82.82/83.28 c 81.2s| 1 | 0 |100146 | - | 142M | 0 |1584 | 16k| 17k|3998 |174 | 0 | 0 |-3.791643e+02 |-3.040000e+02 | 24.73%| unknown
82.82/83.28 c 81.3s| 1 | 0 |100356 | - | 142M | 0 |1584 | 16k| 17k|4007 |175 | 0 | 0 |-3.789591e+02 |-3.040000e+02 | 24.66%| unknown
82.82/83.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
82.82/83.28 c 81.3s| 1 | 0 |100520 | - | 142M | 0 |1584 | 16k| 17k|4015 |176 | 0 | 0 |-3.788397e+02 |-3.040000e+02 | 24.62%| unknown
82.82/83.28 c 81.4s| 1 | 0 |100778 | - | 143M | 0 |1584 | 16k| 17k|4028 |177 | 0 | 0 |-3.785161e+02 |-3.040000e+02 | 24.51%| unknown
82.82/83.28 c 81.5s| 1 | 0 |101004 | - | 143M | 0 |1584 | 16k| 17k|4040 |178 | 0 | 0 |-3.783205e+02 |-3.040000e+02 | 24.45%| unknown
82.82/83.28 c 81.6s| 1 | 0 |101163 | - | 143M | 0 |1584 | 16k| 17k|4053 |179 | 0 | 0 |-3.781030e+02 |-3.040000e+02 | 24.38%| unknown
82.82/83.28 c 81.7s| 1 | 0 |101386 | - | 143M | 0 |1584 | 16k| 17k|4065 |180 | 0 | 0 |-3.779604e+02 |-3.040000e+02 | 24.33%| unknown
82.82/83.28 c 81.8s| 1 | 0 |101600 | - | 143M | 0 |1584 | 16k| 17k|4074 |181 | 0 | 0 |-3.778176e+02 |-3.040000e+02 | 24.28%| unknown
82.82/83.28 c 81.8s| 1 | 0 |101829 | - | 143M | 0 |1584 | 16k| 17k|4085 |182 | 0 | 0 |-3.776661e+02 |-3.040000e+02 | 24.23%| unknown
82.82/83.28 c 82.0s| 1 | 0 |102172 | - | 143M | 0 |1584 | 16k| 17k|4096 |183 | 0 | 0 |-3.773518e+02 |-3.040000e+02 | 24.13%| unknown
82.82/83.28 c 82.1s| 1 | 0 |102464 | - | 143M | 0 |1584 | 16k| 17k|4109 |184 | 0 | 0 |-3.770347e+02 |-3.040000e+02 | 24.02%| unknown
82.82/83.28 c 82.2s| 1 | 0 |102763 | - | 143M | 0 |1584 | 16k| 17k|4119 |185 | 0 | 0 |-3.768004e+02 |-3.040000e+02 | 23.95%| unknown
82.82/83.28 c 82.3s| 1 | 0 |103049 | - | 144M | 0 |1584 | 16k| 17k|4133 |186 | 0 | 0 |-3.764827e+02 |-3.040000e+02 | 23.84%| unknown
82.82/83.28 c 82.4s| 1 | 0 |103315 | - | 144M | 0 |1584 | 16k| 17k|4143 |187 | 0 | 0 |-3.762908e+02 |-3.040000e+02 | 23.78%| unknown
82.82/83.28 c 82.4s| 1 | 0 |103465 | - | 144M | 0 |1584 | 16k| 18k|4153 |188 | 0 | 0 |-3.761767e+02 |-3.040000e+02 | 23.74%| unknown
82.82/83.28 c 82.5s| 1 | 0 |103684 | - | 144M | 0 |1584 | 16k| 18k|4162 |189 | 0 | 0 |-3.760545e+02 |-3.040000e+02 | 23.70%| unknown
82.82/83.28 c 82.6s| 1 | 0 |103842 | - | 144M | 0 |1584 | 16k| 18k|4171 |190 | 0 | 0 |-3.759353e+02 |-3.040000e+02 | 23.66%| unknown
82.82/83.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
82.82/83.28 c 82.6s| 1 | 0 |103979 | - | 144M | 0 |1584 | 16k| 18k|4177 |191 | 0 | 0 |-3.757808e+02 |-3.040000e+02 | 23.61%| unknown
82.82/83.28 c 82.7s| 1 | 0 |104186 | - | 144M | 0 |1584 | 16k| 18k|4186 |192 | 0 | 0 |-3.755692e+02 |-3.040000e+02 | 23.54%| unknown
377.03/378.36 c 82.8s| 1 | 0 |104359 | - | 144M | 0 |1584 | 16k| 18k|4195 |193 | 0 | 0 |-3.754099e+02 |-3.040000e+02 | 23.49%| unknown
377.03/378.36 c 82.9s| 1 | 0 |104577 | - | 145M | 0 |1584 | 16k| 18k|4205 |194 | 0 | 0 |-3.752894e+02 |-3.040000e+02 | 23.45%| unknown
377.03/378.36 c 83.0s| 1 | 0 |104743 | - | 145M | 0 |1584 | 16k| 18k|4216 |195 | 0 | 0 |-3.751930e+02 |-3.040000e+02 | 23.42%| unknown
377.03/378.36 c 83.1s| 1 | 0 |105019 | - | 145M | 0 |1584 | 16k| 18k|4224 |196 | 0 | 0 |-3.750292e+02 |-3.040000e+02 | 23.36%| unknown
377.03/378.36 c 83.1s| 1 | 0 |105183 | - | 145M | 0 |1584 | 16k| 18k|4232 |197 | 0 | 0 |-3.749330e+02 |-3.040000e+02 | 23.33%| unknown
377.03/378.36 c 83.2s| 1 | 0 |105372 | - | 145M | 0 |1584 | 16k| 18k|4244 |198 | 0 | 0 |-3.748128e+02 |-3.040000e+02 | 23.29%| unknown
377.03/378.36 c 83.3s| 1 | 0 |105494 | - | 145M | 0 |1584 | 16k| 18k|4259 |199 | 0 | 0 |-3.747349e+02 |-3.040000e+02 | 23.27%| unknown
377.03/378.36 c 83.4s| 1 | 0 |105679 | - | 145M | 0 |1584 | 16k| 18k|4270 |200 | 0 | 0 |-3.746287e+02 |-3.040000e+02 | 23.23%| unknown
377.03/378.36 c 83.4s| 1 | 0 |105823 | - | 146M | 0 |1584 | 16k| 18k|4283 |201 | 0 | 0 |-3.745804e+02 |-3.040000e+02 | 23.22%| unknown
377.03/378.36 c 83.5s| 1 | 0 |105925 | - | 146M | 0 |1584 | 16k| 18k|4288 |202 | 0 | 0 |-3.745566e+02 |-3.040000e+02 | 23.21%| unknown
377.03/378.36 c 83.6s| 1 | 0 |106092 | - | 146M | 0 |1584 | 16k| 18k|4298 |203 | 0 | 0 |-3.744930e+02 |-3.040000e+02 | 23.19%| unknown
377.03/378.36 c 83.7s| 1 | 0 |106317 | - | 146M | 0 |1584 | 16k| 18k|4310 |204 | 0 | 0 |-3.743708e+02 |-3.040000e+02 | 23.15%| unknown
377.03/378.36 c 83.8s| 1 | 0 |106455 | - | 146M | 0 |1584 | 16k| 18k|4319 |205 | 0 | 0 |-3.743134e+02 |-3.040000e+02 | 23.13%| unknown
377.03/378.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
377.03/378.36 c 83.8s| 1 | 0 |106540 | - | 146M | 0 |1584 | 16k| 18k|4330 |206 | 0 | 0 |-3.742987e+02 |-3.040000e+02 | 23.12%| unknown
377.03/378.36 c 83.9s| 1 | 0 |106687 | - | 146M | 0 |1584 | 16k| 18k|4338 |207 | 0 | 0 |-3.742132e+02 |-3.040000e+02 | 23.10%| unknown
377.03/378.36 c 84.0s| 1 | 0 |106790 | - | 146M | 0 |1584 | 16k| 18k|4350 |208 | 0 | 0 |-3.741551e+02 |-3.040000e+02 | 23.08%| unknown
377.03/378.36 c 84.0s| 1 | 0 |106852 | - | 146M | 0 |1584 | 16k| 18k|4357 |209 | 0 | 0 |-3.741423e+02 |-3.040000e+02 | 23.07%| unknown
377.03/378.36 c 84.1s| 1 | 0 |106914 | - | 147M | 0 |1584 | 16k| 18k|4367 |210 | 0 | 0 |-3.741310e+02 |-3.040000e+02 | 23.07%| unknown
377.03/378.36 c 84.1s| 1 | 0 |107022 | - | 147M | 0 |1584 | 16k| 18k|4374 |211 | 0 | 0 |-3.740811e+02 |-3.040000e+02 | 23.05%| unknown
377.03/378.36 c 84.2s| 1 | 0 |107096 | - | 147M | 0 |1584 | 16k| 18k|4382 |212 | 0 | 0 |-3.740558e+02 |-3.040000e+02 | 23.04%| unknown
377.03/378.36 c 84.2s| 1 | 0 |107188 | - | 147M | 0 |1584 | 16k| 18k|4389 |213 | 0 | 0 |-3.740124e+02 |-3.040000e+02 | 23.03%| unknown
377.03/378.36 c 84.3s| 1 | 0 |107291 | - | 147M | 0 |1584 | 16k| 18k|4397 |214 | 0 | 0 |-3.739743e+02 |-3.040000e+02 | 23.02%| unknown
377.03/378.36 c 84.4s| 1 | 0 |107397 | - | 147M | 0 |1584 | 16k| 18k|4404 |215 | 0 | 0 |-3.739182e+02 |-3.040000e+02 | 23.00%| unknown
377.03/378.36 c 84.4s| 1 | 0 |107451 | - | 147M | 0 |1584 | 16k| 18k|4412 |216 | 0 | 0 |-3.738997e+02 |-3.040000e+02 | 22.99%| unknown
377.03/378.36 c 84.5s| 1 | 0 |107494 | - | 148M | 0 |1584 | 16k| 18k|4417 |217 | 0 | 0 |-3.738930e+02 |-3.040000e+02 | 22.99%| unknown
377.03/378.36 c 84.5s| 1 | 0 |107506 | - | 148M | 0 |1584 | 16k| 18k|4421 |218 | 0 | 0 |-3.738929e+02 |-3.040000e+02 | 22.99%| unknown
377.03/378.36 c 84.6s| 1 | 0 |107508 | - | 148M | 0 |1584 | 16k| 18k|4422 |219 | 0 | 0 |-3.738928e+02 |-3.040000e+02 | 22.99%| unknown
377.03/378.36 c 84.6s| 1 | 0 |107510 | - | 148M | 0 |1584 | 16k| 18k|4423 |220 | 0 | 0 |-3.738928e+02 |-3.040000e+02 | 22.99%| unknown
377.03/378.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
377.03/378.36 c 84.7s| 1 | 0 |107512 | - | 148M | 0 |1584 | 16k| 18k|4424 |221 | 0 | 0 |-3.738928e+02 |-3.040000e+02 | 22.99%| unknown
377.03/378.36 c 89.8s| 1 | 2 |107515 | - | 148M | 0 |1584 | 16k| 18k|4424 |222 | 0 | 51 |-3.735944e+02 |-3.040000e+02 | 22.89%| unknown
377.03/378.36 c Orbital fixing symmetry for 0x55f776c92238 broken before symmetry. Requires fixing 104/330 affected variables.
377.03/378.36 c Orbital fixing symmetry for 0x55f776c921e0 broken before symmetry. Requires fixing 56/110 affected variables.
377.03/378.36 c d 111s| 10 | 11 |112583 | 593.3 |pscostdi| 7 |1584 | 16k| 17k| 0 | 1 | 0 | 340 |-3.732835e+02 |-3.060000e+02 | 21.99%| unknown
377.03/378.36 c d 111s| 10 | 11 |112628 | 598.3 |pscostdi| 7 |1584 | 16k| 17k| 0 | 1 | 0 | 340 |-3.732835e+02 |-3.140000e+02 | 18.88%| unknown
377.03/378.36 c d 111s| 10 | 11 |112680 | 604.1 |pscostdi| 7 |1584 | 16k| 17k| 0 | 1 | 0 | 340 |-3.732835e+02 |-3.300000e+02 | 13.12%| unknown
377.03/378.36 c d 111s| 10 | 11 |112697 | 606.0 |pscostdi| 7 |1584 | 16k| 17k| 0 | 1 | 0 | 340 |-3.732835e+02 |-3.330000e+02 | 12.10%| unknown
377.03/378.36 c d 111s| 10 | 11 |112730 | 609.7 |pscostdi| 7 |1584 | 16k| 17k| 0 | 1 | 0 | 340 |-3.732835e+02 |-3.420000e+02 | 9.15%| unknown
377.03/378.36 c 176s| 100 | 101 |235521 |1295.7 | 173M | 24 |1584 | 16k| 17k|4686 | 1 | 75 | 780 |-3.727068e+02 |-3.420000e+02 | 8.98%| unknown
377.03/378.36 c L 181s| 110 | 111 |253542 |1342.2 | gins| 24 |1584 | 16k| 17k|4704 | 1 | 75 | 780 |-3.727068e+02 |-3.440000e+02 | 8.34%| unknown
377.03/378.36 c 215s| 200 | 201 |368915 |1314.9 | 212M | 27 |1584 | 16k| 17k|5019 | 1 | 144 | 822 |-3.724700e+02 |-3.440000e+02 | 8.28%| unknown
377.03/378.36 c L 228s| 260 | 261 |407194 |1158.1 | gins| 27 |1584 | 16k| 17k|5128 | 1 | 198 | 841 |-3.724169e+02 |-3.450000e+02 | 7.95%| unknown
377.03/378.36 c 237s| 300 | 301 |435108 |1096.5 | 233M | 27 |1584 | 16k| 17k|5274 | 1 | 204 | 860 |-3.722738e+02 |-3.450000e+02 | 7.91%| unknown
377.03/378.36 c 262s| 400 | 401 |489850 | 958.9 | 298M | 33 |1584 | 16k| 17k|5887 | 1 | 244 | 918 |-3.721139e+02 |-3.450000e+02 | 7.86%| unknown
377.03/378.36 c 308s| 500 | 501 |559089 | 905.5 | 299M | 37 |1584 | 16k| 17k|6321 | 1 | 276 | 961 |-3.720292e+02 |-3.450000e+02 | 7.83%| unknown
377.03/378.36 c 332s| 600 | 587 |624142 | 862.9 | 379M | 68 |1584 | 16k| 17k|6653 | 1 | 311 |1012 |-3.720292e+02 |-3.450000e+02 | 7.83%| unknown
377.03/378.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
377.03/378.36 c 336s| 700 | 611 |632818 | 751.9 | 380M | 74 |1584 | 16k| 17k|6664 | 1 | 332 |1032 |-3.720292e+02 |-3.450000e+02 | 7.83%| unknown
377.03/378.36 c 340s| 800 | 627 |640752 | 667.7 | 381M | 75 |1584 | 16k| 17k|6678 | 2 | 370 |1062 |-3.720292e+02 |-3.450000e+02 | 7.83%| unknown
377.03/378.36 c 350s| 900 | 661 |661971 | 617.1 | 385M | 76 |1584 | 16k| 17k|6929 | 1 | 378 |1097 |-3.719870e+02 |-3.450000e+02 | 7.82%| unknown
377.03/378.36 c L 352s| 928 | 626 |664807 | 601.5 | gins| 76 |1584 | 16k| 17k|6931 | 1 | 394 |1115 |-3.719870e+02 |-3.460000e+02 | 7.51%| unknown
377.03/378.36 c 357s| 1000 | 638 |675190 | 568.5 | 385M | 76 |1584 | 16k| 17k|7028 | 1 | 410 |1135 |-3.719633e+02 |-3.460000e+02 | 7.50%| unknown
377.03/378.36 c 362s| 1100 | 650 |686575 | 527.1 | 394M | 76 |1584 | 16k| 17k|7140 | 2 | 410 |1146 |-3.719350e+02 |-3.460000e+02 | 7.50%| unknown
377.03/378.36 c 368s| 1200 | 664 |698969 | 493.5 | 401M | 76 |1584 | 16k| 17k|7273 | 1 | 425 |1173 |-3.719325e+02 |-3.460000e+02 | 7.49%| unknown
377.03/378.36 c 371s| 1300 | 664 |705092 | 460.2 | 401M | 76 |1584 | 16k| 17k|7285 | 1 | 446 |1187 |-3.719325e+02 |-3.460000e+02 | 7.49%| unknown
816.96/819.61 c 378s| 1400 | 672 |721636 | 439.2 | 401M | 76 |1584 | 16k| 17k|7360 | 0 | 468 |1221 |-3.718752e+02 |-3.460000e+02 | 7.48%| unknown
816.96/819.61 c 381s| 1500 | 672 |727958 | 414.1 | 401M | 76 |1584 | 16k| 17k|7377 | 0 | 475 |1229 |-3.718752e+02 |-3.460000e+02 | 7.48%| unknown
816.96/819.61 c L 382s| 1526 | 638 |729858 | 408.3 | gins| 78 |1584 | 16k| 17k|7377 | 0 | 489 |1240 |-3.718752e+02 |-3.470000e+02 | 7.17%| unknown
816.96/819.61 c 385s| 1600 | 630 |734519 | 392.3 | 401M | 78 |1584 | 16k| 17k|7385 | 0 | 533 |1268 |-3.718752e+02 |-3.470000e+02 | 7.17%| unknown
816.96/819.61 c 392s| 1700 | 628 |746910 | 376.5 | 408M | 78 |1584 | 16k| 17k|7513 | 3 | 562 |1296 |-3.718534e+02 |-3.470000e+02 | 7.16%| unknown
816.96/819.61 c 401s| 1800 | 640 |765992 | 366.2 | 419M | 78 |1584 | 16k| 17k|7768 | 0 | 562 |1316 |-3.717992e+02 |-3.470000e+02 | 7.15%| unknown
816.96/819.61 c 411s| 1900 | 650 |786054 | 357.5 | 423M | 78 |1584 | 16k| 17k|8028 | 1 | 618 |1363 |-3.717921e+02 |-3.470000e+02 | 7.14%| unknown
816.96/819.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
816.96/819.61 c 422s| 2000 | 656 |806585 | 349.8 | 438M | 78 |1584 | 16k| 17k|8330 | 0 | 645 |1397 |-3.717759e+02 |-3.470000e+02 | 7.14%| unknown
816.96/819.61 c 428s| 2100 | 678 |820833 | 340.0 | 438M | 78 |1584 | 16k| 17k|8458 | 0 | 676 |1434 |-3.717759e+02 |-3.470000e+02 | 7.14%| unknown
816.96/819.61 c 438s| 2200 | 690 |842842 | 334.5 | 447M | 78 |1584 | 16k| 17k|8743 | 0 | 726 |1472 |-3.717676e+02 |-3.470000e+02 | 7.14%| unknown
816.96/819.61 c 449s| 2300 | 706 |862664 | 328.6 | 466M | 78 |1584 | 16k| 17k|9042 | 0 | 726 |1501 |-3.717570e+02 |-3.470000e+02 | 7.13%| unknown
816.96/819.61 c 458s| 2400 | 762 |883504 | 323.6 | 468M | 78 |1584 | 16k| 17k|9227 | 3 | 748 |1534 |-3.717547e+02 |-3.470000e+02 | 7.13%| unknown
816.96/819.61 c 477s| 2500 | 822 |926543 | 327.9 | 503M | 78 |1584 | 16k| 17k|9825 | 1 | 788 |1612 |-3.717003e+02 |-3.470000e+02 | 7.12%| unknown
816.96/819.61 c 498s| 2600 | 908 |975094 | 333.9 | 566M | 78 |1584 | 16k| 17k| 10k| 1 | 808 |1675 |-3.717003e+02 |-3.470000e+02 | 7.12%| unknown
816.96/819.61 c 524s| 2700 | 996 | 1035k| 344.0 | 578M | 78 |1584 | 16k| 17k| 11k| 2 | 833 |1738 |-3.716389e+02 |-3.470000e+02 | 7.10%| unknown
816.96/819.61 c 531s| 2800 | 1018 | 1049k| 336.7 | 578M | 78 |1584 | 16k| 17k| 11k| 1 | 861 |1782 |-3.716389e+02 |-3.470000e+02 | 7.10%| unknown
816.96/819.61 c 542s| 2900 | 1046 | 1074k| 333.5 | 583M | 78 |1584 | 16k| 17k| 11k| 1 | 910 |1833 |-3.716345e+02 |-3.470000e+02 | 7.10%| unknown
816.96/819.61 c 549s| 3000 | 1068 | 1087k| 327.0 | 583M | 78 |1584 | 16k| 17k| 11k| 1 | 948 |1874 |-3.716159e+02 |-3.470000e+02 | 7.09%| unknown
816.96/819.61 c 558s| 3100 | 1080 | 1111k| 324.0 | 584M | 78 |1584 | 16k| 17k| 11k| 2 |1028 |1942 |-3.716133e+02 |-3.470000e+02 | 7.09%| unknown
816.96/819.61 c 565s| 3200 | 1086 | 1125k| 318.4 | 590M | 78 |1584 | 17k| 17k| 11k| 2 |1078 |1973 |-3.716003e+02 |-3.470000e+02 | 7.09%| unknown
816.96/819.61 c 573s| 3300 | 1092 | 1147k| 315.2 | 590M | 78 |1584 | 16k| 17k| 12k| 0 |1084 |1993 |-3.715674e+02 |-3.470000e+02 | 7.08%| unknown
816.96/819.61 c 577s| 3400 | 1090 | 1155k| 308.5 | 590M | 78 |1584 | 17k| 17k| 12k| 0 |1176 |2034 |-3.715674e+02 |-3.470000e+02 | 7.08%| unknown
816.96/819.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
816.96/819.61 c 586s| 3500 | 1096 | 1172k| 304.5 | 591M | 78 |1584 | 17k| 17k| 12k| 0 |1364 |2145 |-3.715604e+02 |-3.470000e+02 | 7.08%| unknown
816.96/819.61 c 596s| 3600 | 1102 | 1191k| 301.3 | 592M | 78 |1584 | 17k| 17k| 12k| 2 |1453 |2222 |-3.715537e+02 |-3.470000e+02 | 7.08%| unknown
816.96/819.61 c 603s| 3700 | 1112 | 1207k| 297.3 | 593M | 78 |1584 | 17k| 17k| 12k| 1 |1495 |2277 |-3.715493e+02 |-3.470000e+02 | 7.07%| unknown
816.96/819.61 c 611s| 3800 | 1128 | 1222k| 293.6 | 593M | 81 |1584 | 17k| 17k| 12k| 1 |1528 |2314 |-3.715269e+02 |-3.470000e+02 | 7.07%| unknown
816.96/819.61 c 623s| 3900 | 1140 | 1264k| 296.9 | 594M | 81 |1584 | 17k| 17k| 12k| 0 |1575 |2363 |-3.715267e+02 |-3.470000e+02 | 7.07%| unknown
816.96/819.61 c 635s| 4000 | 1156 | 1289k| 295.6 | 595M | 81 |1584 | 17k| 17k| 13k| 0 |1687 |2422 |-3.715185e+02 |-3.470000e+02 | 7.07%| unknown
816.96/819.61 c 646s| 4100 | 1176 | 1312k| 294.0 | 600M | 81 |1584 | 17k| 17k| 13k| 0 |1724 |2468 |-3.714958e+02 |-3.470000e+02 | 7.06%| unknown
816.96/819.61 c 655s| 4200 | 1194 | 1330k| 291.4 | 600M | 81 |1584 | 17k| 17k| 13k| 2 |1743 |2509 |-3.714781e+02 |-3.470000e+02 | 7.05%| unknown
816.96/819.61 c 665s| 4300 | 1210 | 1353k| 289.9 | 605M | 81 |1584 | 17k| 17k| 14k| 1 |1817 |2563 |-3.714560e+02 |-3.470000e+02 | 7.05%| unknown
816.96/819.61 c 672s| 4400 | 1210 | 1366k| 286.2 | 605M | 81 |1584 | 17k| 17k| 14k| 0 |1909 |2616 |-3.714560e+02 |-3.470000e+02 | 7.05%| unknown
816.96/819.61 c 677s| 4500 | 1216 | 1379k| 282.9 | 605M | 81 |1584 | 17k| 17k| 14k| 0 |1950 |2634 |-3.714429e+02 |-3.470000e+02 | 7.04%| unknown
816.96/819.61 c 684s| 4600 | 1218 | 1395k| 280.2 | 605M | 81 |1584 | 17k| 17k| 14k| 3 |1987 |2674 |-3.714386e+02 |-3.470000e+02 | 7.04%| unknown
816.96/819.61 c 693s| 4700 | 1240 | 1424k| 280.4 | 606M | 81 |1584 | 17k| 17k| 14k| 0 |2077 |2727 |-3.714302e+02 |-3.470000e+02 | 7.04%| unknown
816.96/819.61 c 701s| 4800 | 1260 | 1443k| 278.4 | 606M | 81 |1584 | 17k| 17k| 15k| 0 |2119 |2763 |-3.714101e+02 |-3.470000e+02 | 7.03%| unknown
816.96/819.61 c 707s| 4900 | 1270 | 1457k| 275.7 | 606M | 81 |1584 | 17k| 17k| 15k| 0 |2178 |2792 |-3.713969e+02 |-3.470000e+02 | 7.03%| unknown
816.96/819.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
816.96/819.61 c 714s| 5000 | 1296 | 1477k| 274.2 | 607M | 81 |1584 | 17k| 17k| 15k| 4 |2197 |2810 |-3.713761e+02 |-3.470000e+02 | 7.02%| unknown
816.96/819.61 c 726s| 5100 | 1322 | 1504k| 274.1 | 609M | 81 |1584 | 17k| 17k| 15k| 3 |2269 |2866 |-3.713613e+02 |-3.470000e+02 | 7.02%| unknown
816.96/819.61 c 733s| 5200 | 1332 | 1522k| 272.2 | 612M | 81 |1584 | 17k| 17k| 16k| 0 |2319 |2884 |-3.713544e+02 |-3.470000e+02 | 7.02%| unknown
816.96/819.61 c 737s| 5300 | 1340 | 1535k| 269.5 | 612M | 81 |1584 | 17k| 17k| 16k| 1 |2335 |2896 |-3.713478e+02 |-3.470000e+02 | 7.02%| unknown
816.96/819.61 c 752s| 5400 | 1354 | 1591k| 275.0 | 614M | 81 |1584 | 17k| 17k| 16k| 1 |2365 |2924 |-3.713409e+02 |-3.470000e+02 | 7.01%| unknown
816.96/819.61 c 761s| 5500 | 1382 | 1619k| 275.1 | 613M | 81 |1584 | 17k| 17k| 16k| 1 |2393 |2944 |-3.712971e+02 |-3.470000e+02 | 7.00%| unknown
816.96/819.61 c 766s| 5600 | 1394 | 1634k| 272.8 | 613M | 81 |1584 | 17k| 17k| 17k| 1 |2407 |2951 |-3.712903e+02 |-3.470000e+02 | 7.00%| unknown
816.96/819.61 c 775s| 5700 | 1412 | 1657k| 272.0 | 618M | 81 |1584 | 17k| 17k| 17k| 0 |2431 |2965 |-3.712758e+02 |-3.470000e+02 | 7.00%| unknown
816.96/819.61 c 779s| 5800 | 1420 | 1669k| 269.5 | 618M | 81 |1584 | 17k| 17k| 17k| 0 |2452 |2978 |-3.712689e+02 |-3.470000e+02 | 6.99%| unknown
816.96/819.61 c 785s| 5900 | 1438 | 1688k| 268.1 | 618M | 81 |1584 | 17k| 17k| 17k| 0 |2501 |2991 |-3.712402e+02 |-3.470000e+02 | 6.99%| unknown
816.96/819.61 c 793s| 6000 | 1460 | 1718k| 268.5 | 618M | 81 |1584 | 17k| 17k| 18k| 1 |2517 |3009 |-3.712209e+02 |-3.470000e+02 | 6.98%| unknown
816.96/819.61 c 797s| 6100 | 1460 | 1727k| 265.6 | 618M | 81 |1584 | 17k| 17k| 18k| 2 |2563 |3025 |-3.712209e+02 |-3.470000e+02 | 6.98%| unknown
816.96/819.61 c 803s| 6200 | 1470 | 1740k| 263.5 | 619M | 81 |1584 | 18k| 17k| 18k| 1 |2634 |3055 |-3.711848e+02 |-3.470000e+02 | 6.97%| unknown
816.96/819.61 c 807s| 6300 | 1482 | 1752k| 261.1 | 619M | 81 |1584 | 18k| 17k| 18k| 2 |2642 |3068 |-3.711645e+02 |-3.470000e+02 | 6.96%| unknown
816.96/819.61 c 812s| 6400 | 1492 | 1763k| 258.9 | 619M | 81 |1584 | 17k| 17k| 18k| 0 |2670 |3081 |-3.711391e+02 |-3.470000e+02 | 6.96%| unknown
816.96/819.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.28/1000.56 c 819s| 6500 | 1512 | 1777k| 257.1 | 619M | 81 |1584 | 18k| 17k| 18k| 1 |2745 |3143 |-3.711387e+02 |-3.470000e+02 | 6.96%| unknown
997.28/1000.56 c 830s| 6600 | 1540 | 1807k| 257.6 | 630M | 81 |1584 | 18k| 17k| 19k| 0 |2824 |3167 |-3.711250e+02 |-3.470000e+02 | 6.95%| unknown
997.28/1000.56 c 835s| 6700 | 1540 | 1817k| 255.3 | 630M | 81 |1584 | 18k| 17k| 19k| 1 |2894 |3203 |-3.711250e+02 |-3.470000e+02 | 6.95%| unknown
997.28/1000.56 c 839s| 6800 | 1542 | 1827k| 253.0 | 630M | 81 |1584 | 18k| 17k| 19k| 0 |2984 |3230 |-3.711250e+02 |-3.470000e+02 | 6.95%| unknown
997.28/1000.56 c 845s| 6900 | 1552 | 1846k| 252.0 | 630M | 81 |1584 | 18k| 17k| 19k| 0 |3037 |3253 |-3.711094e+02 |-3.470000e+02 | 6.95%| unknown
997.28/1000.56 c 851s| 7000 | 1560 | 1861k| 250.6 | 630M | 81 |1584 | 18k| 17k| 19k| 0 |3079 |3279 |-3.711090e+02 |-3.470000e+02 | 6.95%| unknown
997.28/1000.56 c 856s| 7100 | 1572 | 1875k| 249.1 | 630M | 81 |1584 | 18k| 17k| 19k| 1 |3099 |3297 |-3.711090e+02 |-3.470000e+02 | 6.95%| unknown
997.28/1000.56 c 862s| 7200 | 1582 | 1888k| 247.5 | 630M | 81 |1584 | 18k| 17k| 19k| 1 |3161 |3326 |-3.711012e+02 |-3.470000e+02 | 6.95%| unknown
997.28/1000.56 c 867s| 7300 | 1582 | 1899k| 245.5 | 630M | 81 |1584 | 18k| 17k| 19k| 0 |3261 |3347 |-3.711012e+02 |-3.470000e+02 | 6.95%| unknown
997.28/1000.56 c 873s| 7400 | 1588 | 1912k| 244.0 | 630M | 81 |1584 | 18k| 17k| 19k| 0 |3301 |3388 |-3.711012e+02 |-3.470000e+02 | 6.95%| unknown
997.28/1000.56 c 882s| 7500 | 1596 | 1928k| 242.9 | 630M | 81 |1584 | 18k| 17k| 20k| 0 |3331 |3430 |-3.710988e+02 |-3.470000e+02 | 6.94%| unknown
997.28/1000.56 c 891s| 7600 | 1608 | 1969k| 245.0 | 630M | 81 |1584 | 18k| 17k| 20k| 0 |3351 |3436 |-3.710923e+02 |-3.470000e+02 | 6.94%| unknown
997.28/1000.56 c 896s| 7700 | 1610 | 1979k| 243.1 | 630M | 81 |1584 | 18k| 17k| 20k| 1 |3381 |3454 |-3.710923e+02 |-3.470000e+02 | 6.94%| unknown
997.28/1000.56 c 902s| 7800 | 1620 | 1994k| 242.0 | 630M | 81 |1584 | 18k| 17k| 20k| 0 |3425 |3487 |-3.710844e+02 |-3.470000e+02 | 6.94%| unknown
997.28/1000.56 c 914s| 7900 | 1648 | 2028k| 243.2 | 630M | 81 |1584 | 18k| 17k| 20k| 0 |3497 |3529 |-3.710606e+02 |-3.470000e+02 | 6.93%| unknown
997.28/1000.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.28/1000.56 c 921s| 8000 | 1658 | 2043k| 242.1 | 630M | 81 |1584 | 18k| 17k| 20k| 1 |3527 |3556 |-3.710605e+02 |-3.470000e+02 | 6.93%| unknown
997.28/1000.56 c 931s| 8100 | 1674 | 2066k| 241.9 | 632M | 81 |1584 | 18k| 17k| 21k| 1 |3617 |3607 |-3.710402e+02 |-3.470000e+02 | 6.93%| unknown
997.28/1000.56 c 945s| 8200 | 1696 | 2100k| 243.1 | 638M | 81 |1584 | 18k| 17k| 21k| 3 |3844 |3674 |-3.710206e+02 |-3.470000e+02 | 6.92%| unknown
997.28/1000.56 c 953s| 8300 | 1706 | 2117k| 242.2 | 638M | 81 |1584 | 18k| 17k| 21k| 0 |3887 |3695 |-3.710189e+02 |-3.470000e+02 | 6.92%| unknown
997.28/1000.56 c 961s| 8400 | 1726 | 2135k| 241.5 | 638M | 81 |1584 | 18k| 17k| 21k| 1 |3926 |3736 |-3.710025e+02 |-3.470000e+02 | 6.92%| unknown
997.28/1000.56 c 966s| 8500 | 1732 | 2146k| 239.9 | 638M | 81 |1584 | 18k| 17k| 21k| 1 |3955 |3761 |-3.710025e+02 |-3.470000e+02 | 6.92%| unknown
997.28/1000.56 c 971s| 8600 | 1734 | 2157k| 238.4 | 638M | 81 |1584 | 18k| 17k| 22k| 1 |4007 |3790 |-3.710025e+02 |-3.470000e+02 | 6.92%| unknown
997.28/1000.56 c 977s| 8700 | 1740 | 2170k| 237.2 | 638M | 81 |1584 | 18k| 17k| 22k| 0 |4089 |3841 |-3.710025e+02 |-3.470000e+02 | 6.92%| unknown
997.28/1000.56 c 985s| 8800 | 1760 | 2187k| 236.5 | 638M | 81 |1584 | 18k| 17k| 22k| 0 |4124 |3870 |-3.709860e+02 |-3.470000e+02 | 6.91%| unknown
997.28/1000.56 c 993s| 8900 | 1774 | 2206k| 235.9 | 639M | 81 |1584 | 18k| 17k| 22k| 1 |4203 |3917 |-3.709692e+02 |-3.470000e+02 | 6.91%| unknown
997.28/1000.56 c 999s| 9000 | 1778 | 2218k| 234.6 | 639M | 81 |1584 | 18k| 17k| 22k| 0 |4248 |3948 |-3.709692e+02 |-3.470000e+02 | 6.91%| unknown
997.28/1000.56 c
997.28/1000.56 c SCIP Status : solving was interrupted [time limit reached]
997.28/1000.56 c Solving Time (sec) : 1000.00
997.28/1000.56 c Solving Nodes : 9032
997.28/1000.56 c Primal Bound : -3.47000000000000e+02 (502 solutions)
997.28/1000.56 c Dual Bound : -3.70969180982965e+02
997.28/1000.56 c Gap : 6.91 %
997.28/1000.56 c All original constraints are satisfied.
997.28/1000.56 c SCIP's best solution is verified feasible for the original problem.
997.28/1000.56 c ----------------------------------------------------------------------
997.28/1000.56 c dual bound: -370.9691809829648 -> -370
997.28/1000.56 c primal bound: -347.0 -> -347
997.28/1000.56 c scip-goal-lb: -370
997.28/1000.56 c scip-goal-ub: -347
997.28/1000.56 c writing output to: HOME/tmp5jpftch6.opb
997.28/1000.56 c appending fixed variable constraints
997.28/1000.56 c scip-fixed vars: 29.17% (462/1584)
997.28/1000.56 c ----------------------------------------------------------------------
997.28/1000.56 c executing external solver: HOME/naps-1.03a6
997.28/1000.56 c ----------------------------------------------------------------------
997.28/1000.56 c command: HOME/naps-1.03a6 -goal-lb=-370 -goal-ub=-348 HOME/tmp5jpftch6.opb
997.28/1000.59 c NaPS 1.03a6.
997.28/1000.59 c Input file name: HOME/tmp5jpftch6.opb
997.78/1001.07 c single stage optimization mode
3600.06/3611.20 c
3600.06/3611.20 c *** TERMINATED *** by signal 15
3600.06/3611.20 c _____________________________________________________________________________
3600.06/3611.20 c std/band forms : 2,0
3600.06/3611.20 c 2cl/3cl ITE-codings : 0,0
3600.06/3611.20 c BDD/srt/adr Max costs : 0,109363,0
3600.06/3611.20 c BDDraw/bin/mul/srt/adr: 0,0,0,2,0
3600.06/3611.20 c BDD nodes : 0
3600.06/3611.20 c Es1/CC detections : 0,0
3600.06/3611.20 c CC sort : 1
3600.06/3611.20 c SAT/UNSAT calls : 0,0
3600.06/3611.20 c regenrated variables : 0
3600.06/3611.20 c eliminated fixed lits : 1568
3600.06/3611.20 c goal lit flips : 0
3600.06/3611.20 c goal stages : 1
3600.06/3611.20 c goal shrink : 0
3600.06/3611.20 c goal coeff separations: 0
3600.06/3611.20 c restarts : 0
3600.06/3611.20 c conflicts : 0 (0 /sec)
3600.06/3611.20 c decisions : 0 (0 /sec)
3600.06/3611.20 c propagations : 0 (0 /sec)
3600.06/3611.20 c inspects : 0 (0 /sec)
3600.06/3611.20 c CPU time (solving tm) : 2602 s (2601 s, SAT 0 s, UNSAT 0 s)
3600.06/3611.20 c Time for Opt-base : 0.000678 s
3600.06/3611.20 c Steps for Opt-base : 0
3600.06/3611.20 c Time for BDD coding : 0 s
3600.06/3611.20 c Time for srt coding : 0.03023 s
3600.06/3611.20 c _____________________________________________________________________________
3600.06/3611.21 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.06/3611.21 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.06/3611.21 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.06/3611.21 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.06/3611.21 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.06/3611.21 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.06/3611.21 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.06/3611.21 o -347
3600.06/3611.21 s SATISFIABLE
3600.65/3611.86 c received SIGTERM, forwarding to pbsolver...
3600.65/3611.86 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: 63837 MiB (46890 MiB free)
memory of node 1: 64465 MiB (63739 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522103-1751575699/watcher-4522103-1751575699 -o /tmp/evaluation-result-4522103-1751575699/solver-4522103-1751575699 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751572033-82176 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4522103-1751575699.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=83159, runsolver pid=83156
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.53 4.22 4.13 5/256 83164
/proc/meminfo: memFree=113285236/131382112 swapFree=33002444/33010684
[pid=83159] ppid=83156 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83159/stat : 83159 (scip-naps-1.00.) S 83156 83159 82164 0 -1 4194304 255 344 0 0 0 0 0 0 20 0 1 0 73249315 4292608 768 18446744073709551615 94885229879296 94885230773829 140721493446992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94885231012880 94885231060624 94885252214784 140721493449121 140721493449218 140721493449218 140721493454820 0
/proc/83159/statm: 1048 768 704 219 0 110 0
[pid=83164] ppid=83159 vsize=19280 memory=14336 CPUtime=0.06 cores=1,3
/proc/83164/stat : 83164 (python3) R 83159 83159 82164 0 -1 4194304 1878 0 0 0 6 0 0 0 20 0 1 0 73249318 19742720 3584 18446744073709551615 94521297244160 94521297244537 140737207071200 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94521297255832 94521297256452 94521330581504 140737207077223 140737207077410 140737207077410 140737207082983 0
/proc/83164/statm: 4820 3584 2016 1 0 1574 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 23472 KiB
Current children cumulated memory: 17408 KiB
[startup+0.215375 s]*
/proc/loadavg: 4.53 4.22 4.13 5/256 83164
/proc/meminfo: memFree=113276668/131382112 swapFree=33002444/33010684
[pid=83159] ppid=83156 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83159/stat : 83159 (scip-naps-1.00.) S 83156 83159 82164 0 -1 4194304 255 344 0 0 0 0 0 0 20 0 1 0 73249315 4292608 768 18446744073709551615 94885229879296 94885230773829 140721493446992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94885231012880 94885231060624 94885252214784 140721493449121 140721493449218 140721493449218 140721493454820 0
/proc/83159/statm: 1048 768 704 219 0 110 0
[pid=83164] ppid=83159 vsize=1186496 memory=31076 CPUtime=0.17 cores=1,3
/proc/83164/stat : 83164 (python3) R 83159 83159 82164 0 -1 4194304 3568 0 0 0 15 2 0 0 20 0 1 0 73249318 1214971904 7769 18446744073709551615 94521297244160 94521297244537 140737207071200 0 0 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0 94521297255832 94521297256452 94521330581504 140737207077223 140737207077410 140737207077410 140737207082983 0
/proc/83164/statm: 296624 7769 4858 1 0 268646 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1190688 KiB
Current children cumulated memory: 34148 KiB
[startup+0.316117 s]*
/proc/loadavg: 4.53 4.22 4.13 5/256 83164
/proc/meminfo: memFree=113273644/131382112 swapFree=33002444/33010684
[pid=83159] ppid=83156 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83159/stat : 83159 (scip-naps-1.00.) S 83156 83159 82164 0 -1 4194304 255 344 0 0 0 0 0 0 20 0 1 0 73249315 4292608 768 18446744073709551615 94885229879296 94885230773829 140721493446992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94885231012880 94885231060624 94885252214784 140721493449121 140721493449218 140721493449218 140721493454820 0
/proc/83159/statm: 1048 768 704 219 0 110 0
[pid=83164] ppid=83159 vsize=1189948 memory=35044 CPUtime=0.25 cores=1,3
/proc/83164/stat : 83164 (python3) R 83159 83159 82164 0 -1 4194304 4398 0 0 0 23 2 0 0 20 0 1 0 73249318 1218506752 8761 18446744073709551615 94521297244160 94521297244537 140737207071200 0 0 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0 94521297255832 94521297256452 94521330581504 140737207077223 140737207077410 140737207077410 140737207082983 0
/proc/83164/statm: 297487 8761 5050 1 0 269396 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1194140 KiB
Current children cumulated memory: 38116 KiB
[startup+0.700407 s]
/proc/loadavg: 4.53 4.22 4.13 5/256 83164
/proc/meminfo: memFree=113243404/131382112 swapFree=33002444/33010684
[pid=83159] ppid=83156 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83159/stat : 83159 (scip-naps-1.00.) S 83156 83159 82164 0 -1 4194304 255 344 0 0 0 0 0 0 20 0 1 0 73249315 4292608 768 18446744073709551615 94885229879296 94885230773829 140721493446992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94885231012880 94885231060624 94885252214784 140721493449121 140721493449218 140721493449218 140721493454820 0
/proc/83159/statm: 1048 768 704 219 0 110 0
[pid=83164] ppid=83159 vsize=1237828 memory=89188 CPUtime=0.59 cores=1,3
/proc/83164/stat : 83164 (python3) R 83159 83159 82164 0 -1 4194304 15304 0 0 0 54 5 0 0 20 0 1 0 73249318 1267535872 22297 18446744073709551615 94521297244160 94521297244537 140737207071200 0 0 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0 94521297255832 94521297256452 94521330581504 140737207077223 140737207077410 140737207077410 140737207082983 0
/proc/83164/statm: 309457 22297 7898 1 0 280815 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 1242020 KiB
Current children cumulated memory: 92260 KiB
[startup+1.50041 s]
/proc/loadavg: 4.53 4.22 4.13 5/256 83164
/proc/meminfo: memFree=113219744/131382112 swapFree=33002444/33010684
[pid=83159] ppid=83156 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83159/stat : 83159 (scip-naps-1.00.) S 83156 83159 82164 0 -1 4194304 255 344 0 0 0 0 0 0 20 0 1 0 73249315 4292608 768 18446744073709551615 94885229879296 94885230773829 140721493446992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94885231012880 94885231060624 94885252214784 140721493449121 140721493449218 140721493449218 140721493454820 0
/proc/83159/statm: 1048 768 704 219 0 110 0
[pid=83164] ppid=83159 vsize=1265652 memory=111460 CPUtime=1.38 cores=1,3
/proc/83164/stat : 83164 (python3) R 83159 83159 82164 0 -1 4194304 20686 0 0 0 132 6 0 0 20 0 1 0 73249318 1296027648 27865 18446744073709551615 94521297244160 94521297244537 140737207071200 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94521297255832 94521297256452 94521330581504 140737207077223 140737207077410 140737207077410 140737207082983 0
/proc/83164/statm: 316413 27865 8122 1 0 287771 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 1269844 KiB
Current children cumulated memory: 114532 KiB
[startup+3.11476 s]
/proc/loadavg: 4.53 4.22 4.13 5/256 83164
/proc/meminfo: memFree=113213480/131382112 swapFree=33002444/33010684
[pid=83159] ppid=83156 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83159/stat : 83159 (scip-naps-1.00.) S 83156 83159 82164 0 -1 4194304 255 344 0 0 0 0 0 0 20 0 1 0 73249315 4292608 768 18446744073709551615 94885229879296 94885230773829 140721493446992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94885231012880 94885231060624 94885252214784 140721493449121 140721493449218 140721493449218 140721493454820 0
/proc/83159/statm: 1048 768 704 219 0 110 0
[pid=83164] ppid=83159 vsize=1283900 memory=126564 CPUtime=2.98 cores=1,3
/proc/83164/stat : 83164 (python3) R 83159 83159 82164 0 -1 4194304 24485 0 0 0 291 7 0 0 20 0 1 0 73249318 1314713600 31641 18446744073709551615 94521297244160 94521297244537 140737207071200 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94521297255832 94521297256452 94521330581504 140737207077223 140737207077410 140737207077410 140737207082983 0
/proc/83164/statm: 320975 31641 8122 1 0 292333 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 1288092 KiB
Current children cumulated memory: 129636 KiB
[startup+6.3004 s]
/proc/loadavg: 4.49 4.21 4.13 5/256 83164
/proc/meminfo: memFree=113223164/131382112 swapFree=33002444/33010684
[pid=83159] ppid=83156 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83159/stat : 83159 (scip-naps-1.00.) S 83156 83159 82164 0 -1 4194304 255 344 0 0 0 0 0 0 20 0 1 0 73249315 4292608 768 18446744073709551615 94885229879296 94885230773829 140721493446992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94885231012880 94885231060624 94885252214784 140721493449121 140721493449218 140721493449218 140721493454820 0
/proc/83159/statm: 1048 768 704 219 0 110 0
[pid=83164] ppid=83159 vsize=1307432 memory=142308 CPUtime=6.16 cores=1,3
/proc/83164/stat : 83164 (python3) R 83159 83159 82164 0 -1 4194304 28390 0 0 0 608 8 0 0 20 0 1 0 73249318 1338810368 35577 18446744073709551615 94521297244160 94521297244537 140737207071200 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94521297255832 94521297256452 94521330581504 140737207077223 140737207077410 140737207077410 140737207082983 0
/proc/83164/statm: 326858 35577 8122 1 0 298216 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 1311624 KiB
Current children cumulated memory: 145380 KiB
[startup+12.7004 s]
/proc/loadavg: 4.45 4.21 4.13 5/256 83164
/proc/meminfo: memFree=113231624/131382112 swapFree=33002444/33010684
[pid=83159] ppid=83156 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83159/stat : 83159 (scip-naps-1.00.) S 83156 83159 82164 0 -1 4194304 255 344 0 0 0 0 0 0 20 0 1 0 73249315 4292608 768 18446744073709551615 94885229879296 94885230773829 140721493446992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94885231012880 94885231060624 94885252214784 140721493449121 140721493449218 140721493449218 140721493454820 0
/proc/83159/statm: 1048 768 704 219 0 110 0
[pid=83164] ppid=83159 vsize=1330020 memory=160452 CPUtime=12.54 cores=1,3
/proc/83164/stat : 83164 (python3) R 83159 83159 82164 0 -1 4194304 33271 0 0 0 1245 9 0 0 20 0 1 0 73249318 1361940480 40113 18446744073709551615 94521297244160 94521297244537 140737207071200 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94521297255832 94521297256452 94521330581504 140737207077223 140737207077410 140737207077410 140737207082983 0
/proc/83164/statm: 332505 40113 8122 1 0 303863 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 1334212 KiB
Current children cumulated memory: 163524 KiB
[startup+25.5004 s]
/proc/loadavg: 4.43 4.22 4.13 5/256 83213
/proc/meminfo: memFree=113011740/131382112 swapFree=33002444/33010684
[pid=83159] ppid=83156 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83159/stat : 83159 (scip-naps-1.00.) S 83156 83159 82164 0 -1 4194304 255 344 0 0 0 0 0 0 20 0 1 0 73249315 4292608 768 18446744073709551615 94885229879296 94885230773829 140721493446992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94885231012880 94885231060624 94885252214784 140721493449121 140721493449218 140721493449218 140721493454820 0
/proc/83159/statm: 1048 768 704 219 0 110 0
[pid=83164] ppid=83159 vsize=1334868 memory=163396 CPUtime=25.29 cores=1,3
/proc/83164/stat : 83164 (python3) R 83159 83159 82164 0 -1 4194304 33997 0 0 0 2518 11 0 0 20 0 1 0 73249318 1366904832 40849 18446744073709551615 94521297244160 94521297244537 140737207071200 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94521297255832 94521297256452 94521330581504 140737207077223 140737207077410 140737207077410 140737207082983 0
/proc/83164/statm: 333717 40849 8122 1 0 305075 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 1339060 KiB
Current children cumulated memory: 166468 KiB
[startup+51.115 s]
/proc/loadavg: 4.36 4.21 4.13 5/256 83214
/proc/meminfo: memFree=112484736/131382112 swapFree=33002444/33010684
[pid=83159] ppid=83156 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83159/stat : 83159 (scip-naps-1.00.) S 83156 83159 82164 0 -1 4194304 255 344 0 0 0 0 0 0 20 0 1 0 73249315 4292608 768 18446744073709551615 94885229879296 94885230773829 140721493446992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94885231012880 94885231060624 94885252214784 140721493449121 140721493449218 140721493449218 140721493454820 0
/proc/83159/statm: 1048 768 704 219 0 110 0
[pid=83164] ppid=83159 vsize=1346764 memory=186820 CPUtime=50.82 cores=1,3
/proc/83164/stat : 83164 (python3) R 83159 83159 82164 0 -1 4194304 39900 0 0 0 5071 11 0 0 20 0 1 0 73249318 1379086336 46705 18446744073709551615 94521297244160 94521297244537 140737207071200 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94521297255832 94521297256452 94521330581504 140737207077223 140737207077410 140737207077410 140737207082983 0
/proc/83164/statm: 336691 46705 8122 1 0 308049 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 1350956 KiB
Current children cumulated memory: 189892 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.19 4.13 5/256 83216
/proc/meminfo: memFree=112385836/131382112 swapFree=33002444/33010684
[pid=83159] ppid=83156 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83159/stat : 83159 (scip-naps-1.00.) S 83156 83159 82164 0 -1 4194304 255 344 0 0 0 0 0 0 20 0 1 0 73249315 4292608 768 18446744073709551615 94885229879296 94885230773829 140721493446992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94885231012880 94885231060624 94885252214784 140721493449121 140721493449218 140721493449218 140721493454820 0
/proc/83159/statm: 1048 768 704 219 0 110 0
[pid=83164] ppid=83159 vsize=1363868 memory=205316 CPUtime=101.86 cores=1,3
/proc/83164/stat : 83164 (python3) R 83159 83159 82164 0 -1 4194304 51953 0 0 0 10172 14 0 0 20 0 1 0 73249318 1396600832 51329 18446744073709551615 94521297244160 94521297244537 140737207071200 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94521297255832 94521297256452 94521330581504 140737207077223 140737207077410 140737207077410 140737207082983 0
/proc/83164/statm: 340967 51329 8154 1 0 312325 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 1368060 KiB
Current children cumulated memory: 208388 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/256 83219
/proc/meminfo: memFree=112074352/131382112 swapFree=33002444/33010684
[pid=83159] ppid=83156 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83159/stat : 83159 (scip-naps-1.00.) S 83156 83159 82164 0 -1 4194304 255 344 0 0 0 0 0 0 20 0 1 0 73249315 4292608 768 18446744073709551615 94885229879296 94885230773829 140721493446992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94885231012880 94885231060624 94885252214784 140721493449121 140721493449218 140721493449218 140721493454820 0
/proc/83159/statm: 1048 768 704 219 0 110 0
[pid=83164] ppid=83159 vsize=1384068 memory=216544 CPUtime=161.68 cores=1,3
/proc/83164/stat : 83164 (python3) R 83159 83159 82164 0 -1 4194304 67793 0 0 0 16151 17 0 0 20 0 1 0 73249318 1417285632 54136 18446744073709551615 94521297244160 94521297244537 140737207071200 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94521297255832 94521297256452 94521330581504 140737207077223 140737207077410 140737207077410 140737207082983 0
/proc/83164/statm: 346017 54136 8154 1 0 317375 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 1388260 KiB
Current children cumulated memory: 219616 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/256 83221
/proc/meminfo: memFree=111888056/131382112 swapFree=33002444/33010684
[pid=83159] ppid=83156 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83159/stat : 83159 (scip-naps-1.00.) S 83156 83159 82164 0 -1 4194304 255 344 0 0 0 0 0 0 20 0 1 0 73249315 4292608 768 18446744073709551615 94885229879296 94885230773829 140721493446992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94885231012880 94885231060624 94885252214784 140721493449121 140721493449218 140721493449218 140721493454820 0
/proc/83159/statm: 1048 768 704 219 0 110 0
[pid=83164] ppid=83159 vsize=1426744 memory=254432 CPUtime=221.49 cores=1,3
/proc/83164/stat : 83164 (python3) R 83159 83159 82164 0 -1 4194304 77271 0 0 0 22131 18 0 0 20 0 1 0 73249318 1460985856 63608 18446744073709551615 94521297244160 94521297244537 140737207071200 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94521297255832 94521297256452 94521330581504 140737207077223 140737207077410 140737207077410 140737207082983 0
/proc/83164/statm: 356686 63608 8154 1 0 328044 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 1430936 KiB
################
# More data... #
################
/proc/83164/stat : 83164 (python3) S 83159 83159 82164 0 -1 4194304 190513 0 0 0 99696 40 0 0 20 0 1 0 73249318 1918369792 147845 18446744073709551615 94521297244160 94521297244537 140737207071200 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94521297255832 94521297256452 94521330581504 140737207077223 140737207077410 140737207077410 140737207082983 0
/proc/83164/statm: 468352 147845 8218 1 0 439710 0
[pid=83274] ppid=83164 vsize=214524 memory=210544 CPUtime=2274.83 cores=1,3
/proc/83274/stat : 83274 (naps-1.03a6) R 83164 83274 83274 0 -1 4194304 65719 0 0 0 227394 89 0 0 20 0 1 0 73349372 219672576 52636 18446744073709551615 4198400 7047149 140733632782576 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 39559168 140733632788853 140733632788979 140733632788979 140733632794569 0
/proc/83274/statm: 53631 52636 640 696 0 52792 0
Current children cumulated CPU time: 3272.19 s
Current children cumulated vsize: 2092124 KiB
Current children cumulated memory: 804996 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.29 4.24 5/258 83444
/proc/meminfo: memFree=109963828/131382112 swapFree=33002444/33010684
[pid=83159] ppid=83156 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83159/stat : 83159 (scip-naps-1.00.) S 83156 83159 82164 0 -1 4194304 255 344 0 0 0 0 0 0 20 0 1 0 73249315 4292608 768 18446744073709551615 94885229879296 94885230773829 140721493446992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94885231012880 94885231060624 94885252214784 140721493449121 140721493449218 140721493449218 140721493454820 0
/proc/83159/statm: 1048 768 704 219 0 110 0
[pid=83164] ppid=83159 vsize=1873408 memory=591380 CPUtime=997.36 cores=1,3
/proc/83164/stat : 83164 (python3) S 83159 83159 82164 0 -1 4194304 190513 0 0 0 99696 40 0 0 20 0 1 0 73249318 1918369792 147845 18446744073709551615 94521297244160 94521297244537 140737207071200 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94521297255832 94521297256452 94521330581504 140737207077223 140737207077410 140737207077410 140737207082983 0
/proc/83164/statm: 468352 147845 8218 1 0 439710 0
[pid=83274] ppid=83164 vsize=214524 memory=210544 CPUtime=2334.65 cores=1,3
/proc/83274/stat : 83274 (naps-1.03a6) R 83164 83274 83274 0 -1 4194304 65719 0 0 0 233376 89 0 0 20 0 1 0 73349372 219672576 52636 18446744073709551615 4198400 7047149 140733632782576 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 39559168 140733632788853 140733632788979 140733632788979 140733632794569 0
/proc/83274/statm: 53631 52636 640 696 0 52792 0
Current children cumulated CPU time: 3332.01 s
Current children cumulated vsize: 2092124 KiB
Current children cumulated memory: 804996 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.23 4.22 5/258 83446
/proc/meminfo: memFree=110088632/131382112 swapFree=33002444/33010684
[pid=83159] ppid=83156 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83159/stat : 83159 (scip-naps-1.00.) S 83156 83159 82164 0 -1 4194304 255 344 0 0 0 0 0 0 20 0 1 0 73249315 4292608 768 18446744073709551615 94885229879296 94885230773829 140721493446992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94885231012880 94885231060624 94885252214784 140721493449121 140721493449218 140721493449218 140721493454820 0
/proc/83159/statm: 1048 768 704 219 0 110 0
[pid=83164] ppid=83159 vsize=1873408 memory=591380 CPUtime=997.36 cores=1,3
/proc/83164/stat : 83164 (python3) S 83159 83159 82164 0 -1 4194304 190513 0 0 0 99696 40 0 0 20 0 1 0 73249318 1918369792 147845 18446744073709551615 94521297244160 94521297244537 140737207071200 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94521297255832 94521297256452 94521330581504 140737207077223 140737207077410 140737207077410 140737207082983 0
/proc/83164/statm: 468352 147845 8218 1 0 439710 0
[pid=83274] ppid=83164 vsize=227676 memory=223728 CPUtime=2394.47 cores=1,3
/proc/83274/stat : 83274 (naps-1.03a6) R 83164 83274 83274 0 -1 4194304 65941 0 0 0 239358 89 0 0 20 0 1 0 73349372 233140224 55932 18446744073709551615 4198400 7047149 140733632782576 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 39559168 140733632788853 140733632788979 140733632788979 140733632794569 0
/proc/83274/statm: 56919 55932 640 696 0 56080 0
Current children cumulated CPU time: 3391.83 s
Current children cumulated vsize: 2105276 KiB
Current children cumulated memory: 818180 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.22 4.22 5/258 83448
/proc/meminfo: memFree=110105432/131382112 swapFree=33002444/33010684
[pid=83159] ppid=83156 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83159/stat : 83159 (scip-naps-1.00.) S 83156 83159 82164 0 -1 4194304 255 344 0 0 0 0 0 0 20 0 1 0 73249315 4292608 768 18446744073709551615 94885229879296 94885230773829 140721493446992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94885231012880 94885231060624 94885252214784 140721493449121 140721493449218 140721493449218 140721493454820 0
/proc/83159/statm: 1048 768 704 219 0 110 0
[pid=83164] ppid=83159 vsize=1873408 memory=591380 CPUtime=997.36 cores=1,3
/proc/83164/stat : 83164 (python3) S 83159 83159 82164 0 -1 4194304 190513 0 0 0 99696 40 0 0 20 0 1 0 73249318 1918369792 147845 18446744073709551615 94521297244160 94521297244537 140737207071200 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94521297255832 94521297256452 94521330581504 140737207077223 140737207077410 140737207077410 140737207082983 0
/proc/83164/statm: 468352 147845 8218 1 0 439710 0
[pid=83274] ppid=83164 vsize=227676 memory=223728 CPUtime=2454.28 cores=1,3
/proc/83274/stat : 83274 (naps-1.03a6) R 83164 83274 83274 0 -1 4194304 65941 0 0 0 245339 89 0 0 20 0 1 0 73349372 233140224 55932 18446744073709551615 4198400 7047149 140733632782576 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 39559168 140733632788853 140733632788979 140733632788979 140733632794569 0
/proc/83274/statm: 56919 55932 640 696 0 56080 0
Current children cumulated CPU time: 3451.64 s
Current children cumulated vsize: 2105276 KiB
Current children cumulated memory: 818180 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.19 4.20 5/258 83452
/proc/meminfo: memFree=110124328/131382112 swapFree=33002444/33010684
[pid=83159] ppid=83156 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83159/stat : 83159 (scip-naps-1.00.) S 83156 83159 82164 0 -1 4194304 255 344 0 0 0 0 0 0 20 0 1 0 73249315 4292608 768 18446744073709551615 94885229879296 94885230773829 140721493446992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94885231012880 94885231060624 94885252214784 140721493449121 140721493449218 140721493449218 140721493454820 0
/proc/83159/statm: 1048 768 704 219 0 110 0
[pid=83164] ppid=83159 vsize=1873408 memory=591380 CPUtime=997.36 cores=1,3
/proc/83164/stat : 83164 (python3) S 83159 83159 82164 0 -1 4194304 190513 0 0 0 99696 40 0 0 20 0 1 0 73249318 1918369792 147845 18446744073709551615 94521297244160 94521297244537 140737207071200 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94521297255832 94521297256452 94521330581504 140737207077223 140737207077410 140737207077410 140737207082983 0
/proc/83164/statm: 468352 147845 8218 1 0 439710 0
[pid=83274] ppid=83164 vsize=227676 memory=223728 CPUtime=2514.1 cores=1,3
/proc/83274/stat : 83274 (naps-1.03a6) R 83164 83274 83274 0 -1 4194304 65941 0 0 0 251321 89 0 0 20 0 1 0 73349372 233140224 55932 18446744073709551615 4198400 7047149 140733632782576 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 39559168 140733632788853 140733632788979 140733632788979 140733632794569 0
/proc/83274/statm: 56919 55932 640 696 0 56080 0
Current children cumulated CPU time: 3511.46 s
Current children cumulated vsize: 2105276 KiB
Current children cumulated memory: 818180 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.19 4.20 5/257 83503
/proc/meminfo: memFree=117770048/131382112 swapFree=33002444/33010684
[pid=83159] ppid=83156 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83159/stat : 83159 (scip-naps-1.00.) S 83156 83159 82164 0 -1 4194304 255 344 0 0 0 0 0 0 20 0 1 0 73249315 4292608 768 18446744073709551615 94885229879296 94885230773829 140721493446992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94885231012880 94885231060624 94885252214784 140721493449121 140721493449218 140721493449218 140721493454820 0
/proc/83159/statm: 1048 768 704 219 0 110 0
[pid=83164] ppid=83159 vsize=1873408 memory=591380 CPUtime=997.36 cores=1,3
/proc/83164/stat : 83164 (python3) S 83159 83159 82164 0 -1 4194304 190513 0 0 0 99696 40 0 0 20 0 1 0 73249318 1918369792 147845 18446744073709551615 94521297244160 94521297244537 140737207071200 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94521297255832 94521297256452 94521330581504 140737207077223 140737207077410 140737207077410 140737207082983 0
/proc/83164/statm: 468352 147845 8218 1 0 439710 0
[pid=83274] ppid=83164 vsize=227676 memory=223728 CPUtime=2573.91 cores=1,3
/proc/83274/stat : 83274 (naps-1.03a6) R 83164 83274 83274 0 -1 4194304 65941 0 0 0 257301 90 0 0 20 0 1 0 73349372 233140224 55932 18446744073709551615 4198400 7047149 140733632782576 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 39559168 140733632788853 140733632788979 140733632788979 140733632794569 0
/proc/83274/statm: 56919 55932 640 696 0 56080 0
Current children cumulated CPU time: 3571.27 s
Current children cumulated vsize: 2105276 KiB
Current children cumulated memory: 818180 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.2 s]
/proc/loadavg: 4.24 4.20 4.20 5/257 83504
/proc/meminfo: memFree=116267544/131382112 swapFree=33002444/33010684
[pid=83159] ppid=83156 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83159/stat : 83159 (scip-naps-1.00.) S 83156 83159 82164 0 -1 4194304 255 344 0 0 0 0 0 0 20 0 1 0 73249315 4292608 768 18446744073709551615 94885229879296 94885230773829 140721493446992 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94885231012880 94885231060624 94885252214784 140721493449121 140721493449218 140721493449218 140721493454820 0
/proc/83159/statm: 1048 768 704 219 0 110 0
[pid=83164] ppid=83159 vsize=1873408 memory=591380 CPUtime=997.36 cores=1,3
/proc/83164/stat : 83164 (python3) S 83159 83159 82164 0 -1 4194304 190513 0 0 0 99696 40 0 0 20 0 1 0 73249318 1918369792 147845 18446744073709551615 94521297244160 94521297244537 140737207071200 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94521297255832 94521297256452 94521330581504 140737207077223 140737207077410 140737207077410 140737207082983 0
/proc/83164/statm: 468352 147845 8218 1 0 439710 0
[pid=83274] ppid=83164 vsize=227676 memory=223728 CPUtime=2602.7 cores=1,3
/proc/83274/stat : 83274 (naps-1.03a6) R 83164 83274 83274 0 -1 4194304 65941 0 0 0 260180 90 0 0 20 0 1 0 73349372 233140224 55932 18446744073709551615 4198400 7047149 140733632782576 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 39559168 140733632788853 140733632788979 140733632788979 140733632794569 0
/proc/83274/statm: 56919 55932 640 696 0 56080 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2105276 KiB
Current children cumulated memory: 818180 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.22 s]
# the end of solver process 83159 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.005134 s, system=0.009535 s
[startup+3611.92 s]
# the end of solver process 83164 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.39 s, system=1.39685 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+3611.6 s]
/proc/loadavg: 4.24 4.20 4.20 5/255 83504
/proc/meminfo: memFree=116470416/131382112 swapFree=33002444/33010684
[pid=83164] ppid=83156 vsize=1873408 memory=591380 CPUtime=3600.44 cores=1,3
/proc/83164/stat : 83164 (python3) R 83156 83159 82164 0 -1 4194304 212576 65942 0 0 99731 43 260180 90 20 0 1 0 73249318 1918369792 147845 18446744073709551615 94521297244160 94521297244537 140737207071200 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94521297255832 94521297256452 94521330581504 140737207077223 140737207077410 140737207077410 140737207082983 0
/proc/83164/statm: 468352 147845 8218 1 0 439710 0
Current cumulated CPU time of completed processes: 0.014669 s
Current children cumulated CPU time: 3600.44 s
Current children cumulated vsize: 1873408 KiB
Current children cumulated memory: 591380 KiB
[startup+3611.8 s]
/proc/loadavg: 4.24 4.20 4.20 5/255 83504
/proc/meminfo: memFree=116470416/131382112 swapFree=33002444/33010684
[pid=83164] ppid=83156 vsize=1873408 memory=591380 CPUtime=3600.64 cores=1,3
/proc/83164/stat : 83164 (python3) R 83156 83159 82164 0 -1 4194304 220801 65942 0 0 99750 44 260180 90 20 0 1 0 73249318 1918369792 147845 18446744073709551615 94521297244160 94521297244537 140737207071200 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94521297255832 94521297256452 94521330581504 140737207077223 140737207077410 140737207077410 140737207082983 0
/proc/83164/statm: 468352 147845 8218 1 0 439710 0
Current cumulated CPU time of completed processes: 0.014669 s
Current children cumulated CPU time: 3600.64 s
Current children cumulated vsize: 1873408 KiB
Current children cumulated memory: 591380 KiB
[startup+3611.9 s]*
/proc/loadavg: 4.24 4.20 4.20 5/255 83504
/proc/meminfo: memFree=116543448/131382112 swapFree=33002444/33010684
Current cumulated CPU time of completed processes: 0.014669 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3611.92
CPU time (s): 3600.79
CPU user time (s): 3599.39
CPU system time (s): 1.39685
CPU usage (%): 99.6919
Max. virtual memory (cumulated for all children) (KiB): 2176384
Max. memory (cumulated for all children) (KiB): 874908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.39
system time used= 1.39685
maximum resident set size= 591380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 300792
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= 341
involuntary context switches= 1782
# summary of solver processes directly reported to runsolver:
# pid: 83159,83164
# total CPU time (s): 3600.79
# total CPU user time (s): 3599.39
# total CPU system time (s): 1.39685
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.9248 second user time and 41.1916 second system time
The end
Launcher Data
Begin job on nodeC005 at 2025-07-03 22:48:19
IDJOB=4522103
IDBENCH=178576
IDSOLVER=3368
FILE ID=nodeC005/4522103-1751575699
RUNJOBID= nodeC005-1751572033-82176
SLURM_JOB_ID= 9598794
Free space on /tmp= 429344 MiB
SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-sorrell8.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522103-1751575699/watcher-4522103-1751575699 -o /tmp/evaluation-result-4522103-1751575699/solver-4522103-1751575699 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751572033-82176 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4522103-1751575699.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3efa309da6b8ed2e5ff01ccb25d0dd51
RANDOM SEED=599705606
nodeC005 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 : 0xb00001f
cpu MHz : 3662.860
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.250
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.384
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.567
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 3491.951
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 2993.109
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 113285236 kB
MemAvailable: 113176884 kB
Buffers: 12 kB
Cached: 679212 kB
SwapCached: 240 kB
Active: 16943160 kB
Inactive: 441344 kB
Active(anon): 16677084 kB
Inactive(anon): 41068 kB
Active(file): 266076 kB
Inactive(file): 400276 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33002444 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 12340 kB
Writeback: 0 kB
AnonPages: 16703968 kB
Mapped: 119784 kB
Shmem: 12868 kB
KReclaimable: 129848 kB
Slab: 216912 kB
SReclaimable: 129848 kB
SUnreclaim: 87064 kB
KernelStack: 4112 kB
PageTables: 36480 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 22067468 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149528 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3907584 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 429384 MiB
End job on nodeC005 at 2025-07-03 23:48:31