Trace number 4486897
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 | ? (TO) | | 3600.24 | 3610.58 |
General information on the benchmark
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g125.18.opb |
| MD5SUM | 95947120f800d2178fb6b614b0e3950b |
| 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 | 2231 |
| Best CPU time to get the best result obtained on this benchmark | 3600.07 |
| 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 | 4500 |
| Total number of constraints | 72413 |
| Number of constraints which are clauses | 72413 |
| 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 | 18 |
| Number of terms in the objective function | 4500 |
| 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 | 4500 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 4500 |
| Number of bits of the biggest sum of numbers | 13 |
| 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
37.35/37.54 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4486897-1751324395.opb
37.35/37.54 c Solving mode: optimization
37.35/37.54 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
37.35/37.54 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
37.35/37.54 c original problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 72413 constraints
37.35/37.54 c presolving:
37.35/37.54 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 70163 upgd conss, 0 impls, 72288 clqs
37.35/37.54 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 72413 upgd conss, 0 impls, 72288 clqs
37.35/37.54 c (8.4s) probing: 1000/4500 (22.2%) - 0 fixings, 0 aggregations, 57465 implications, 0 bound changes
37.35/37.54 c (8.4s) probing: 1001/4500 (22.2%) - 0 fixings, 0 aggregations, 57526 implications, 0 bound changes
37.35/37.54 c (8.4s) probing aborted: 1000/1000 successive useless probings
37.35/37.54 c (9.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
37.35/37.54 c (9.5s) symmetry computation finished: 17 generators found (max: 1500, log10 of symmetry group size: 10.0) (symcode time: 0.04)
37.35/37.54 c dynamic symmetry handling statistics:
37.35/37.54 c orbitopal reduction: 1 components: 250x18
37.35/37.54 c orbital reduction: no components
37.35/37.54 c lexicographic reduction: no permutations
37.35/37.54 c handled 1 out of 1 symmetry components
37.35/37.54 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
37.35/37.54 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
37.35/37.54 c 0 implications, 129814 cliques
37.35/37.54 c presolved problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 72413 constraints
37.35/37.54 c 72288 constraints of type <setppc>
37.35/37.54 c 125 constraints of type <logicor>
37.35/37.54 c transformed objective value is always integral (scale: 1)
37.35/37.54 c Presolving Time: 9.41
37.35/37.54 c
37.35/37.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
37.35/37.54 c 10.2s| 1 | 0 | 2574 | - | 627M | 0 |4500 | 72k| 72k| 0 | 0 | 63 | 0 | 1.250000e+03 | -- | Inf | unknown
37.35/37.54 c 14.4s| 1 | 0 | 24020 | - | 654M | 0 |4500 | 72k| 72k| 119 | 1 | 64 | 0 | 1.315000e+03 | -- | Inf | unknown
37.35/37.54 c 16.2s| 1 | 0 | 25016 | - | 662M | 0 |4500 | 72k| 72k| 263 | 2 | 65 | 0 | 1.378500e+03 | -- | Inf | unknown
37.35/37.54 c 17.8s| 1 | 0 | 26208 | - | 670M | 0 |4500 | 72k| 72k| 411 | 3 | 67 | 0 | 1.426500e+03 | -- | Inf | unknown
37.35/37.54 c 18.9s| 1 | 0 | 27352 | - | 679M | 0 |4500 | 72k| 72k| 543 | 4 | 69 | 0 | 1.466500e+03 | -- | Inf | unknown
37.35/37.54 c 20.1s| 1 | 0 | 28589 | - | 687M | 0 |4500 | 72k| 73k| 679 | 5 | 71 | 0 | 1.494250e+03 | -- | Inf | unknown
37.35/37.54 c 21.0s| 1 | 0 | 29678 | - | 696M | 0 |4500 | 72k| 73k| 758 | 6 | 72 | 0 | 1.516625e+03 | -- | Inf | unknown
37.35/37.54 c 21.9s| 1 | 0 | 30681 | - | 705M | 0 |4500 | 72k| 73k| 827 | 7 | 73 | 0 | 1.531500e+03 | -- | Inf | unknown
37.35/37.54 c 22.8s| 1 | 0 | 31802 | - | 713M | 0 |4500 | 72k| 73k| 906 | 8 | 74 | 0 | 1.545481e+03 | -- | Inf | unknown
37.35/37.54 c 23.6s| 1 | 0 | 33035 | - | 721M | 0 |4500 | 72k| 73k| 978 | 9 | 75 | 0 | 1.563917e+03 | -- | Inf | unknown
37.35/37.54 c 24.6s| 1 | 0 | 34428 | - | 730M | 0 |4500 | 72k| 73k|1095 | 10 | 76 | 0 | 1.580208e+03 | -- | Inf | unknown
37.35/37.54 c 25.6s| 1 | 0 | 36034 | - | 737M | 0 |4500 | 72k| 73k|1205 | 11 | 78 | 0 | 1.589183e+03 | -- | Inf | unknown
37.35/37.54 c 26.3s| 1 | 0 | 36942 | - | 744M | 0 |4500 | 72k| 73k|1243 | 12 | 79 | 0 | 1.596583e+03 | -- | Inf | unknown
37.35/37.54 c 26.9s| 1 | 0 | 37699 | - | 752M | 0 |4500 | 72k| 73k|1275 | 13 | 81 | 0 | 1.602857e+03 | -- | Inf | unknown
37.35/37.54 c 27.5s| 1 | 0 | 38166 | - | 759M | 0 |4500 | 72k| 73k|1302 | 14 | 82 | 0 | 1.605577e+03 | -- | Inf | unknown
37.35/37.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
37.35/37.54 c 28.1s| 1 | 0 | 39017 | - | 767M | 0 |4500 | 72k| 73k|1328 | 15 | 83 | 0 | 1.611296e+03 | -- | Inf | unknown
37.35/37.54 c 28.8s| 1 | 0 | 39918 | - | 775M | 0 |4500 | 72k| 73k|1351 | 16 | 86 | 0 | 1.618830e+03 | -- | Inf | unknown
37.35/37.54 c 29.5s| 1 | 0 | 41337 | - | 782M | 0 |4500 | 72k| 73k|1451 | 17 | 87 | 0 | 1.630978e+03 | -- | Inf | unknown
37.35/37.54 c 30.2s| 1 | 0 | 42930 | - | 789M | 0 |4500 | 72k| 73k|1528 | 18 | 88 | 0 | 1.640613e+03 | -- | Inf | unknown
37.35/37.54 c 30.9s| 1 | 0 | 44200 | - | 797M | 0 |4500 | 72k| 73k|1614 | 19 | 89 | 0 | 1.648209e+03 | -- | Inf | unknown
37.35/37.54 c 31.6s| 1 | 0 | 45857 | - | 805M | 0 |4500 | 72k| 73k|1713 | 20 | 91 | 0 | 1.659589e+03 | -- | Inf | unknown
37.35/37.54 c 32.0s| 1 | 0 | 46504 | - | 805M | 0 |4500 | 72k| 73k|1734 | 21 | 92 | 0 | 1.663073e+03 | -- | Inf | unknown
37.35/37.54 c 32.3s| 1 | 0 | 46861 | - | 806M | 0 |4500 | 72k| 74k|1753 | 22 | 93 | 0 | 1.666393e+03 | -- | Inf | unknown
37.35/37.54 c 32.6s| 1 | 0 | 47229 | - | 807M | 0 |4500 | 72k| 73k|1759 | 23 | 94 | 0 | 1.667694e+03 | -- | Inf | unknown
37.35/37.54 c 32.9s| 1 | 0 | 47617 | - | 807M | 0 |4500 | 72k| 73k|1767 | 24 | 96 | 0 | 1.670843e+03 | -- | Inf | unknown
37.35/37.54 c 33.2s| 1 | 0 | 47848 | - | 807M | 0 |4500 | 72k| 73k|1777 | 25 | 99 | 0 | 1.672798e+03 | -- | Inf | unknown
37.35/37.54 c 33.4s| 1 | 0 | 48107 | - | 808M | 0 |4500 | 72k| 73k|1784 | 26 | 100 | 0 | 1.675313e+03 | -- | Inf | unknown
37.35/37.54 c 33.7s| 1 | 0 | 48497 | - | 809M | 0 |4500 | 72k| 73k|1793 | 27 | 103 | 0 | 1.679480e+03 | -- | Inf | unknown
37.35/37.54 c 34.0s| 1 | 0 | 48880 | - | 809M | 0 |4500 | 72k| 73k|1806 | 28 | 104 | 0 | 1.683855e+03 | -- | Inf | unknown
37.35/37.54 c 34.3s| 1 | 0 | 49109 | - | 810M | 0 |4500 | 72k| 73k|1816 | 29 | 105 | 0 | 1.687688e+03 | -- | Inf | unknown
37.35/37.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
37.35/37.54 c 34.5s| 1 | 0 | 49293 | - | 810M | 0 |4500 | 72k| 73k|1826 | 30 | 106 | 0 | 1.690688e+03 | -- | Inf | unknown
37.35/37.54 c 34.9s| 1 | 0 | 49876 | - | 811M | 0 |4500 | 72k| 73k|1840 | 31 | 107 | 0 | 1.696080e+03 | -- | Inf | unknown
37.35/37.54 c 35.2s| 1 | 0 | 50220 | - | 811M | 0 |4500 | 72k| 73k|1853 | 32 | 108 | 0 | 1.698039e+03 | -- | Inf | unknown
37.35/37.54 c 35.5s| 1 | 0 | 50567 | - | 811M | 0 |4500 | 72k| 73k|1868 | 33 | 109 | 0 | 1.700015e+03 | -- | Inf | unknown
37.35/37.54 c 35.9s| 1 | 0 | 50960 | - | 812M | 0 |4500 | 72k| 73k|1880 | 34 | 111 | 0 | 1.702890e+03 | -- | Inf | unknown
37.35/37.54 c 36.2s| 1 | 0 | 51242 | - | 813M | 0 |4500 | 72k| 73k|1890 | 35 | 112 | 0 | 1.705390e+03 | -- | Inf | unknown
37.35/37.54 c 36.5s| 1 | 0 | 51629 | - | 813M | 0 |4500 | 72k| 73k|1899 | 36 | 113 | 0 | 1.709553e+03 | -- | Inf | unknown
37.35/37.54 c 36.7s| 1 | 0 | 51964 | - | 813M | 0 |4500 | 72k| 73k|1918 | 37 | 114 | 0 | 1.711744e+03 | -- | Inf | unknown
37.35/37.54 c 37.0s| 1 | 0 | 52314 | - | 814M | 0 |4500 | 72k| 73k|1933 | 38 | 115 | 0 | 1.714098e+03 | -- | Inf | unknown
53.10/53.34 c 37.3s| 1 | 0 | 52574 | - | 814M | 0 |4500 | 72k| 73k|1948 | 39 | 116 | 0 | 1.717275e+03 | -- | Inf | unknown
53.10/53.34 c 37.5s| 1 | 0 | 52886 | - | 815M | 0 |4500 | 72k| 73k|1962 | 40 | 117 | 0 | 1.720300e+03 | -- | Inf | unknown
53.10/53.34 c 37.9s| 1 | 0 | 53232 | - | 816M | 0 |4500 | 72k| 73k|1973 | 41 | 118 | 0 | 1.724112e+03 | -- | Inf | unknown
53.10/53.34 c 38.2s| 1 | 0 | 53540 | - | 816M | 0 |4500 | 72k| 73k|1986 | 42 | 119 | 0 | 1.727362e+03 | -- | Inf | unknown
53.10/53.34 c 38.5s| 1 | 0 | 53830 | - | 816M | 0 |4500 | 72k| 73k|2000 | 43 | 123 | 0 | 1.730875e+03 | -- | Inf | unknown
53.10/53.34 c 38.8s| 1 | 0 | 54410 | - | 816M | 0 |4500 | 72k| 73k|2018 | 44 | 126 | 0 | 1.737375e+03 | -- | Inf | unknown
53.10/53.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
53.10/53.34 c 39.1s| 1 | 0 | 54700 | - | 817M | 0 |4500 | 72k| 73k|2034 | 45 | 127 | 0 | 1.739875e+03 | -- | Inf | unknown
53.10/53.34 c 39.4s| 1 | 0 | 55075 | - | 817M | 0 |4500 | 72k| 73k|2050 | 46 | 130 | 0 | 1.742875e+03 | -- | Inf | unknown
53.10/53.34 c 39.8s| 1 | 0 | 55528 | - | 817M | 0 |4500 | 72k| 73k|2070 | 47 | 131 | 0 | 1.748625e+03 | -- | Inf | unknown
53.10/53.34 c 40.0s| 1 | 0 | 55856 | - | 817M | 0 |4500 | 72k| 73k|2088 | 48 | 133 | 0 | 1.751015e+03 | -- | Inf | unknown
53.10/53.34 c 40.4s| 1 | 0 | 56223 | - | 818M | 0 |4500 | 72k| 73k|2108 | 49 | 134 | 0 | 1.755796e+03 | -- | Inf | unknown
53.10/53.34 c 40.7s| 1 | 0 | 56573 | - | 818M | 0 |4500 | 72k| 73k|2125 | 50 | 136 | 0 | 1.759234e+03 | -- | Inf | unknown
53.10/53.34 c 40.9s| 1 | 0 | 56841 | - | 819M | 0 |4500 | 72k| 73k|2141 | 51 | 138 | 0 | 1.762452e+03 | -- | Inf | unknown
53.10/53.34 c 41.2s| 1 | 0 | 57108 | - | 819M | 0 |4500 | 72k| 73k|2153 | 52 | 140 | 0 | 1.764952e+03 | -- | Inf | unknown
53.10/53.34 c 41.5s| 1 | 0 | 57511 | - | 820M | 0 |4500 | 72k| 73k|2165 | 53 | 143 | 0 | 1.770202e+03 | -- | Inf | unknown
53.10/53.34 c 41.7s| 1 | 0 | 57863 | - | 820M | 0 |4500 | 72k| 73k|2178 | 54 | 147 | 0 | 1.775077e+03 | -- | Inf | unknown
53.10/53.34 c 42.0s| 1 | 0 | 58351 | - | 821M | 0 |4500 | 72k| 73k|2193 | 55 | 148 | 0 | 1.778500e+03 | -- | Inf | unknown
53.10/53.34 c 42.3s| 1 | 0 | 58628 | - | 821M | 0 |4500 | 72k| 73k|2222 | 56 | 150 | 0 | 1.780083e+03 | -- | Inf | unknown
53.10/53.34 c 42.7s| 1 | 0 | 59129 | - | 822M | 0 |4500 | 72k| 73k|2249 | 57 | 151 | 0 | 1.783208e+03 | -- | Inf | unknown
53.10/53.34 c 43.1s| 1 | 0 | 59579 | - | 822M | 0 |4500 | 72k| 73k|2269 | 58 | 155 | 0 | 1.785438e+03 | -- | Inf | unknown
53.10/53.34 c 43.4s| 1 | 0 | 59874 | - | 822M | 0 |4500 | 72k| 73k|2287 | 59 | 156 | 0 | 1.786438e+03 | -- | Inf | unknown
53.10/53.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
53.10/53.34 c 43.8s| 1 | 0 | 60495 | - | 822M | 0 |4500 | 72k| 73k|2302 | 60 | 157 | 0 | 1.791438e+03 | -- | Inf | unknown
53.10/53.34 c 44.1s| 1 | 0 | 61231 | - | 822M | 0 |4500 | 72k| 73k|2328 | 61 | 158 | 0 | 1.799188e+03 | -- | Inf | unknown
53.10/53.34 c 44.5s| 1 | 0 | 61642 | - | 822M | 0 |4500 | 72k| 73k|2344 | 62 | 159 | 0 | 1.802771e+03 | -- | Inf | unknown
53.10/53.34 c 44.7s| 1 | 0 | 61996 | - | 823M | 0 |4500 | 72k| 73k|2359 | 63 | 160 | 0 | 1.805479e+03 | -- | Inf | unknown
53.10/53.34 c 45.0s| 1 | 0 | 62512 | - | 823M | 0 |4500 | 72k| 73k|2379 | 64 | 161 | 0 | 1.808000e+03 | -- | Inf | unknown
53.10/53.34 c 45.3s| 1 | 0 | 62733 | - | 823M | 0 |4500 | 72k| 73k|2393 | 65 | 162 | 0 | 1.809052e+03 | -- | Inf | unknown
53.10/53.34 c 45.5s| 1 | 0 | 63005 | - | 823M | 0 |4500 | 72k| 73k|2401 | 66 | 163 | 0 | 1.812052e+03 | -- | Inf | unknown
53.10/53.34 c 45.8s| 1 | 0 | 63184 | - | 824M | 0 |4500 | 72k| 73k|2411 | 67 | 164 | 0 | 1.813302e+03 | -- | Inf | unknown
53.10/53.34 c 46.0s| 1 | 0 | 63365 | - | 825M | 0 |4500 | 72k| 73k|2417 | 68 | 173 | 0 | 1.815802e+03 | -- | Inf | unknown
53.10/53.34 c 46.2s| 1 | 0 | 63728 | - | 825M | 0 |4500 | 72k| 73k|2427 | 69 | 174 | 0 | 1.817352e+03 | -- | Inf | unknown
53.10/53.34 c 46.6s| 1 | 0 | 64127 | - | 826M | 0 |4500 | 72k| 73k|2443 | 70 | 176 | 0 | 1.819045e+03 | -- | Inf | unknown
53.10/53.34 c 46.8s| 1 | 0 | 64420 | - | 826M | 0 |4500 | 72k| 73k|2460 | 71 | 179 | 0 | 1.821402e+03 | -- | Inf | unknown
53.10/53.34 c 47.1s| 1 | 0 | 64785 | - | 826M | 0 |4500 | 72k| 73k|2478 | 72 | 181 | 0 | 1.823902e+03 | -- | Inf | unknown
53.10/53.34 c 47.5s| 1 | 0 | 65275 | - | 827M | 0 |4500 | 72k| 73k|2503 | 73 | 183 | 0 | 1.826152e+03 | -- | Inf | unknown
53.10/53.34 c 47.8s| 1 | 0 | 65760 | - | 827M | 0 |4500 | 72k| 73k|2518 | 74 | 184 | 0 | 1.828152e+03 | -- | Inf | unknown
53.10/53.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
53.10/53.34 c 48.1s| 1 | 0 | 66145 | - | 827M | 0 |4500 | 72k| 73k|2538 | 75 | 190 | 0 | 1.828402e+03 | -- | Inf | unknown
53.10/53.34 c 48.4s| 1 | 0 | 66669 | - | 827M | 0 |4500 | 72k| 73k|2555 | 76 | 192 | 0 | 1.832527e+03 | -- | Inf | unknown
53.10/53.34 c 48.7s| 1 | 0 | 67136 | - | 827M | 0 |4500 | 72k| 73k|2573 | 77 | 193 | 0 | 1.834070e+03 | -- | Inf | unknown
53.10/53.34 c 49.0s| 1 | 0 | 67432 | - | 827M | 0 |4500 | 72k| 73k|2590 | 78 | 194 | 0 | 1.835329e+03 | -- | Inf | unknown
53.10/53.34 c 49.2s| 1 | 0 | 67866 | - | 827M | 0 |4500 | 72k| 73k|2610 | 79 | 195 | 0 | 1.838715e+03 | -- | Inf | unknown
53.10/53.34 c 49.6s| 1 | 0 | 68395 | - | 828M | 0 |4500 | 72k| 73k|2634 | 80 | 196 | 0 | 1.842365e+03 | -- | Inf | unknown
53.10/53.34 c 49.9s| 1 | 0 | 68809 | - | 828M | 0 |4500 | 72k| 73k|2653 | 81 | 197 | 0 | 1.843698e+03 | -- | Inf | unknown
53.10/53.34 c 50.1s| 1 | 0 | 69100 | - | 828M | 0 |4500 | 72k| 73k|2669 | 82 | 198 | 0 | 1.845092e+03 | -- | Inf | unknown
53.10/53.34 c 50.4s| 1 | 0 | 69530 | - | 829M | 0 |4500 | 72k| 73k|2683 | 83 | 199 | 0 | 1.848467e+03 | -- | Inf | unknown
53.10/53.34 c 50.7s| 1 | 0 | 70090 | - | 829M | 0 |4500 | 72k| 73k|2702 | 84 | 200 | 0 | 1.852000e+03 | -- | Inf | unknown
53.10/53.34 c 51.1s| 1 | 0 | 70819 | - | 829M | 0 |4500 | 72k| 73k|2728 | 85 | 201 | 0 | 1.855277e+03 | -- | Inf | unknown
53.10/53.34 c 51.6s| 1 | 0 | 71574 | - | 830M | 0 |4500 | 72k| 73k|2754 | 86 | 203 | 0 | 1.858301e+03 | -- | Inf | unknown
53.10/53.34 c 51.9s| 1 | 0 | 72142 | - | 830M | 0 |4500 | 72k| 73k|2782 | 87 | 204 | 0 | 1.861426e+03 | -- | Inf | unknown
53.10/53.34 c 52.2s| 1 | 0 | 72528 | - | 830M | 0 |4500 | 72k| 73k|2809 | 88 | 205 | 0 | 1.864205e+03 | -- | Inf | unknown
53.10/53.34 c 52.5s| 1 | 0 | 72838 | - | 831M | 0 |4500 | 72k| 73k|2827 | 89 | 206 | 0 | 1.864532e+03 | -- | Inf | unknown
53.10/53.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
53.10/53.34 c 52.8s| 1 | 0 | 73261 | - | 831M | 0 |4500 | 72k| 73k|2848 | 90 | 208 | 0 | 1.866814e+03 | -- | Inf | unknown
75.04/75.32 c 53.1s| 1 | 0 | 73477 | - | 832M | 0 |4500 | 72k| 73k|2871 | 91 | 209 | 0 | 1.867245e+03 | -- | Inf | unknown
75.04/75.32 c 53.3s| 1 | 0 | 73856 | - | 832M | 0 |4500 | 72k| 73k|2887 | 92 | 211 | 0 | 1.869454e+03 | -- | Inf | unknown
75.04/75.32 c 53.7s| 1 | 0 | 74410 | - | 832M | 0 |4500 | 72k| 73k|2902 | 93 | 215 | 0 | 1.871537e+03 | -- | Inf | unknown
75.04/75.32 c 54.1s| 1 | 0 | 74784 | - | 832M | 0 |4500 | 72k| 73k|2916 | 94 | 216 | 0 | 1.872819e+03 | -- | Inf | unknown
75.04/75.32 c 54.4s| 1 | 0 | 75319 | - | 833M | 0 |4500 | 72k| 73k|2934 | 95 | 219 | 0 | 1.876134e+03 | -- | Inf | unknown
75.04/75.32 c 54.8s| 1 | 0 | 75910 | - | 833M | 0 |4500 | 72k| 73k|2948 | 96 | 222 | 0 | 1.880060e+03 | -- | Inf | unknown
75.04/75.32 c 55.0s| 1 | 0 | 76154 | - | 833M | 0 |4500 | 72k| 73k|2969 | 97 | 223 | 0 | 1.881622e+03 | -- | Inf | unknown
75.04/75.32 c 55.2s| 1 | 0 | 76298 | - | 834M | 0 |4500 | 72k| 73k|2976 | 98 | 224 | 0 | 1.882848e+03 | -- | Inf | unknown
75.04/75.32 c 55.7s| 1 | 0 | 76939 | - | 835M | 0 |4500 | 72k| 73k|2989 | 99 | 225 | 0 | 1.885920e+03 | -- | Inf | unknown
75.04/75.32 c 56.1s| 1 | 0 | 77621 | - | 835M | 0 |4500 | 72k| 73k|3010 |100 | 226 | 0 | 1.889496e+03 | -- | Inf | unknown
75.04/75.32 c 56.3s| 1 | 0 | 77960 | - | 835M | 0 |4500 | 72k| 73k|3030 |101 | 227 | 0 | 1.890839e+03 | -- | Inf | unknown
75.04/75.32 c 56.7s| 1 | 0 | 78526 | - | 835M | 0 |4500 | 72k| 73k|3050 |102 | 228 | 0 | 1.892951e+03 | -- | Inf | unknown
75.04/75.32 c 57.0s| 1 | 0 | 78963 | - | 835M | 0 |4500 | 72k| 73k|3069 |103 | 229 | 0 | 1.893748e+03 | -- | Inf | unknown
75.04/75.32 c 57.3s| 1 | 0 | 79408 | - | 836M | 0 |4500 | 72k| 73k|3080 |104 | 230 | 0 | 1.894763e+03 | -- | Inf | unknown
75.04/75.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
75.04/75.32 c 57.6s| 1 | 0 | 79825 | - | 837M | 0 |4500 | 72k| 73k|3097 |105 | 234 | 0 | 1.897000e+03 | -- | Inf | unknown
75.04/75.32 c 57.9s| 1 | 0 | 80218 | - | 837M | 0 |4500 | 72k| 73k|3114 |106 | 236 | 0 | 1.897926e+03 | -- | Inf | unknown
75.04/75.32 c 58.2s| 1 | 0 | 80610 | - | 838M | 0 |4500 | 72k| 73k|3128 |107 | 237 | 0 | 1.898958e+03 | -- | Inf | unknown
75.04/75.32 c 58.6s| 1 | 0 | 81369 | - | 838M | 0 |4500 | 72k| 73k|3144 |108 | 239 | 0 | 1.902465e+03 | -- | Inf | unknown
75.04/75.32 c 59.0s| 1 | 0 | 81994 | - | 838M | 0 |4500 | 72k| 73k|3164 |109 | 242 | 0 | 1.904544e+03 | -- | Inf | unknown
75.04/75.32 c 59.4s| 1 | 0 | 82543 | - | 839M | 0 |4500 | 72k| 73k|3179 |110 | 243 | 0 | 1.906049e+03 | -- | Inf | unknown
75.04/75.32 c 59.8s| 1 | 0 | 83232 | - | 840M | 0 |4500 | 72k| 73k|3198 |111 | 244 | 0 | 1.909146e+03 | -- | Inf | unknown
75.04/75.32 c 60.2s| 1 | 0 | 83816 | - | 840M | 0 |4500 | 72k| 73k|3218 |112 | 245 | 0 | 1.911175e+03 | -- | Inf | unknown
75.04/75.32 c 60.8s| 1 | 0 | 84710 | - | 840M | 0 |4500 | 72k| 73k|3235 |113 | 246 | 0 | 1.912258e+03 | -- | Inf | unknown
75.04/75.32 c 61.2s| 1 | 0 | 85270 | - | 840M | 0 |4500 | 72k| 73k|3252 |114 | 256 | 0 | 1.913240e+03 | -- | Inf | unknown
75.04/75.32 c 61.6s| 1 | 0 | 85754 | - | 841M | 0 |4500 | 72k| 73k|3270 |115 | 257 | 0 | 1.914587e+03 | -- | Inf | unknown
75.04/75.32 c 61.8s| 1 | 0 | 85939 | - | 842M | 0 |4500 | 72k| 73k|3277 |116 | 258 | 0 | 1.916302e+03 | -- | Inf | unknown
75.04/75.32 c 62.1s| 1 | 0 | 86352 | - | 842M | 0 |4500 | 72k| 73k|3287 |117 | 260 | 0 | 1.918795e+03 | -- | Inf | unknown
75.04/75.32 c 62.4s| 1 | 0 | 86893 | - | 843M | 0 |4500 | 72k| 73k|3301 |118 | 261 | 0 | 1.919800e+03 | -- | Inf | unknown
75.04/75.32 c 62.8s| 1 | 0 | 87389 | - | 843M | 0 |4500 | 72k| 73k|3315 |119 | 262 | 0 | 1.922082e+03 | -- | Inf | unknown
75.04/75.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
75.04/75.32 c 63.1s| 1 | 0 | 87843 | - | 843M | 0 |4500 | 72k| 73k|3325 |120 | 263 | 0 | 1.923184e+03 | -- | Inf | unknown
75.04/75.32 c 63.5s| 1 | 0 | 88323 | - | 843M | 0 |4500 | 72k| 73k|3343 |121 | 264 | 0 | 1.924592e+03 | -- | Inf | unknown
75.04/75.32 c 64.0s| 1 | 0 | 89035 | - | 843M | 0 |4500 | 72k| 73k|3359 |122 | 268 | 0 | 1.926980e+03 | -- | Inf | unknown
75.04/75.32 c 64.4s| 1 | 0 | 89470 | - | 843M | 0 |4500 | 72k| 73k|3374 |123 | 271 | 0 | 1.928012e+03 | -- | Inf | unknown
75.04/75.32 c 64.7s| 1 | 0 | 89775 | - | 844M | 0 |4500 | 72k| 73k|3387 |124 | 273 | 0 | 1.928928e+03 | -- | Inf | unknown
75.04/75.32 c 65.1s| 1 | 0 | 90151 | - | 845M | 0 |4500 | 72k| 73k|3396 |125 | 274 | 0 | 1.930520e+03 | -- | Inf | unknown
75.04/75.32 c 65.5s| 1 | 0 | 90716 | - | 845M | 0 |4500 | 72k| 73k|3408 |126 | 276 | 0 | 1.931668e+03 | -- | Inf | unknown
75.04/75.32 c 65.9s| 1 | 0 | 91334 | - | 845M | 0 |4500 | 72k| 73k|3424 |127 | 278 | 0 | 1.933098e+03 | -- | Inf | unknown
75.04/75.32 c 66.2s| 1 | 0 | 91785 | - | 846M | 0 |4500 | 72k| 73k|3439 |128 | 279 | 0 | 1.934799e+03 | -- | Inf | unknown
75.04/75.32 c 66.5s| 1 | 0 | 92165 | - | 847M | 0 |4500 | 72k| 74k|3454 |129 | 281 | 0 | 1.935351e+03 | -- | Inf | unknown
75.04/75.32 c 66.8s| 1 | 0 | 92446 | - | 847M | 0 |4500 | 72k| 74k|3467 |130 | 282 | 0 | 1.935942e+03 | -- | Inf | unknown
75.04/75.32 c 67.1s| 1 | 0 | 92745 | - | 848M | 0 |4500 | 72k| 73k|3478 |131 | 283 | 0 | 1.936625e+03 | -- | Inf | unknown
75.04/75.32 c 67.5s| 1 | 0 | 93501 | - | 848M | 0 |4500 | 72k| 74k|3489 |132 | 284 | 0 | 1.939285e+03 | -- | Inf | unknown
75.04/75.32 c 68.0s| 1 | 0 | 94202 | - | 849M | 0 |4500 | 72k| 74k|3510 |133 | 285 | 0 | 1.940896e+03 | -- | Inf | unknown
75.04/75.32 c 68.6s| 1 | 0 | 94946 | - | 849M | 0 |4500 | 72k| 74k|3526 |134 | 286 | 0 | 1.942603e+03 | -- | Inf | unknown
75.04/75.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
75.04/75.32 c 69.0s| 1 | 0 | 95546 | - | 849M | 0 |4500 | 72k| 74k|3542 |135 | 289 | 0 | 1.943478e+03 | -- | Inf | unknown
75.04/75.32 c 69.3s| 1 | 0 | 95861 | - | 850M | 0 |4500 | 72k| 74k|3554 |136 | 290 | 0 | 1.944405e+03 | -- | Inf | unknown
75.04/75.32 c 70.2s| 1 | 0 | 97094 | - | 850M | 0 |4500 | 72k| 74k|3570 |137 | 291 | 0 | 1.946246e+03 | -- | Inf | unknown
75.04/75.32 c 70.6s| 1 | 0 | 97739 | - | 850M | 0 |4500 | 72k| 74k|3591 |138 | 292 | 0 | 1.947854e+03 | -- | Inf | unknown
75.04/75.32 c 71.4s| 1 | 0 | 98623 | - | 851M | 0 |4500 | 72k| 74k|3607 |139 | 294 | 0 | 1.948604e+03 | -- | Inf | unknown
75.04/75.32 c 71.9s| 1 | 0 | 99041 | - | 851M | 0 |4500 | 72k| 74k|3614 |140 | 298 | 0 | 1.949298e+03 | -- | Inf | unknown
75.04/75.32 c 72.5s| 1 | 0 | 99694 | - | 852M | 0 |4500 | 72k| 74k|3628 |141 | 299 | 0 | 1.949946e+03 | -- | Inf | unknown
75.04/75.32 c 73.6s| 1 | 0 |101258 | - | 852M | 0 |4500 | 72k| 74k|3640 |142 | 300 | 0 | 1.951312e+03 | -- | Inf | unknown
75.04/75.32 c 74.4s| 1 | 0 |102315 | - | 852M | 0 |4500 | 72k| 74k|3655 |143 | 302 | 0 | 1.952630e+03 | -- | Inf | unknown
103.67/104.09 c 75.0s| 1 | 0 |103350 | - | 852M | 0 |4500 | 72k| 74k|3667 |144 | 303 | 0 | 1.954256e+03 | -- | Inf | unknown
103.67/104.09 c 75.7s| 1 | 0 |104351 | - | 852M | 0 |4500 | 72k| 74k|3680 |145 | 306 | 0 | 1.955762e+03 | -- | Inf | unknown
103.67/104.09 c 76.1s| 1 | 0 |104856 | - | 852M | 0 |4500 | 72k| 74k|3694 |146 | 309 | 0 | 1.957484e+03 | -- | Inf | unknown
103.67/104.09 c 76.7s| 1 | 0 |105773 | - | 853M | 0 |4500 | 72k| 74k|3706 |147 | 310 | 0 | 1.958732e+03 | -- | Inf | unknown
103.67/104.09 c 77.6s| 1 | 0 |107100 | - | 853M | 0 |4500 | 72k| 74k|3719 |148 | 311 | 0 | 1.960070e+03 | -- | Inf | unknown
103.67/104.09 c 78.2s| 1 | 0 |108159 | - | 854M | 0 |4500 | 72k| 74k|3733 |149 | 312 | 0 | 1.961193e+03 | -- | Inf | unknown
103.67/104.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
103.67/104.09 c 78.7s| 1 | 0 |108907 | - | 854M | 0 |4500 | 72k| 74k|3744 |150 | 313 | 0 | 1.962121e+03 | -- | Inf | unknown
103.67/104.09 c 79.1s| 1 | 0 |109385 | - | 854M | 0 |4500 | 72k| 74k|3759 |151 | 314 | 0 | 1.962922e+03 | -- | Inf | unknown
103.67/104.09 c 79.7s| 1 | 0 |110256 | - | 855M | 0 |4500 | 72k| 74k|3769 |152 | 315 | 0 | 1.963735e+03 | -- | Inf | unknown
103.67/104.09 c 80.1s| 1 | 0 |110767 | - | 856M | 0 |4500 | 72k| 74k|3778 |153 | 319 | 0 | 1.964013e+03 | -- | Inf | unknown
103.67/104.09 c 80.7s| 1 | 0 |111698 | - | 856M | 0 |4500 | 72k| 74k|3788 |154 | 321 | 0 | 1.965067e+03 | -- | Inf | unknown
103.67/104.09 c 81.2s| 1 | 0 |112208 | - | 857M | 0 |4500 | 72k| 74k|3803 |155 | 322 | 0 | 1.965635e+03 | -- | Inf | unknown
103.67/104.09 c 81.9s| 1 | 0 |113183 | - | 857M | 0 |4500 | 72k| 74k|3818 |156 | 332 | 0 | 1.967300e+03 | -- | Inf | unknown
103.67/104.09 c 82.7s| 1 | 0 |114519 | - | 857M | 0 |4500 | 72k| 74k|3834 |157 | 334 | 0 | 1.971094e+03 | -- | Inf | unknown
103.67/104.09 c 83.1s| 1 | 0 |115012 | - | 858M | 0 |4500 | 72k| 74k|3856 |158 | 335 | 0 | 1.971842e+03 | -- | Inf | unknown
103.67/104.09 c 83.7s| 1 | 0 |115889 | - | 859M | 0 |4500 | 72k| 74k|3872 |159 | 336 | 0 | 1.973897e+03 | -- | Inf | unknown
103.67/104.09 c 84.4s| 1 | 0 |116903 | - | 859M | 0 |4500 | 72k| 74k|3891 |160 | 337 | 0 | 1.974995e+03 | -- | Inf | unknown
103.67/104.09 c 84.7s| 1 | 0 |117161 | - | 860M | 0 |4500 | 72k| 74k|3903 |161 | 339 | 0 | 1.975441e+03 | -- | Inf | unknown
103.67/104.09 c 85.3s| 1 | 0 |117940 | - | 860M | 0 |4500 | 72k| 74k|3912 |162 | 342 | 0 | 1.975981e+03 | -- | Inf | unknown
103.67/104.09 c 85.9s| 1 | 0 |118770 | - | 861M | 0 |4500 | 72k| 74k|3921 |163 | 343 | 0 | 1.976786e+03 | -- | Inf | unknown
103.67/104.09 c 86.5s| 1 | 0 |119484 | - | 861M | 0 |4500 | 72k| 74k|3929 |164 | 344 | 0 | 1.977354e+03 | -- | Inf | unknown
103.67/104.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
103.67/104.09 c 86.7s| 1 | 0 |119790 | - | 862M | 0 |4500 | 72k| 74k|3937 |165 | 345 | 0 | 1.977763e+03 | -- | Inf | unknown
103.67/104.09 c 87.1s| 1 | 0 |120204 | - | 863M | 0 |4500 | 72k| 74k|3946 |166 | 347 | 0 | 1.978470e+03 | -- | Inf | unknown
103.67/104.09 c 87.7s| 1 | 0 |120840 | - | 863M | 0 |4500 | 72k| 74k|3953 |167 | 348 | 0 | 1.979447e+03 | -- | Inf | unknown
103.67/104.09 c 88.2s| 1 | 0 |121660 | - | 863M | 0 |4500 | 72k| 74k|3968 |168 | 349 | 0 | 1.980940e+03 | -- | Inf | unknown
103.67/104.09 c 88.7s| 1 | 0 |122248 | - | 864M | 0 |4500 | 72k| 74k|3985 |169 | 350 | 0 | 1.981455e+03 | -- | Inf | unknown
103.67/104.09 c 89.3s| 1 | 0 |122942 | - | 864M | 0 |4500 | 72k| 74k|3999 |170 | 356 | 0 | 1.982114e+03 | -- | Inf | unknown
103.67/104.09 c 89.8s| 1 | 0 |123552 | - | 865M | 0 |4500 | 72k| 74k|4010 |171 | 357 | 0 | 1.982528e+03 | -- | Inf | unknown
103.67/104.09 c 90.2s| 1 | 0 |124035 | - | 866M | 0 |4500 | 72k| 74k|4024 |172 | 360 | 0 | 1.983278e+03 | -- | Inf | unknown
103.67/104.09 c 90.8s| 1 | 0 |124692 | - | 866M | 0 |4500 | 72k| 74k|4033 |173 | 362 | 0 | 1.984099e+03 | -- | Inf | unknown
103.67/104.09 c 91.2s| 1 | 0 |125279 | - | 866M | 0 |4500 | 72k| 74k|4046 |174 | 369 | 0 | 1.985157e+03 | -- | Inf | unknown
103.67/104.09 c 91.6s| 1 | 0 |125777 | - | 867M | 0 |4500 | 72k| 74k|4061 |175 | 371 | 0 | 1.985537e+03 | -- | Inf | unknown
103.67/104.09 c 92.0s| 1 | 0 |126207 | - | 868M | 0 |4500 | 72k| 74k|4078 |176 | 373 | 0 | 1.986145e+03 | -- | Inf | unknown
103.67/104.09 c 92.4s| 1 | 0 |126588 | - | 868M | 0 |4500 | 72k| 74k|4095 |177 | 374 | 0 | 1.986829e+03 | -- | Inf | unknown
103.67/104.09 c 93.1s| 1 | 0 |127366 | - | 869M | 0 |4500 | 72k| 74k|4109 |178 | 375 | 0 | 1.987353e+03 | -- | Inf | unknown
103.67/104.09 c 93.9s| 1 | 0 |128397 | - | 871M | 0 |4500 | 72k| 74k|4120 |179 | 378 | 0 | 1.988529e+03 | -- | Inf | unknown
103.67/104.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
103.67/104.09 c 94.5s| 1 | 0 |129019 | - | 871M | 0 |4500 | 72k| 74k|4130 |180 | 379 | 0 | 1.989259e+03 | -- | Inf | unknown
103.67/104.09 c 95.0s| 1 | 0 |129518 | - | 871M | 0 |4500 | 72k| 74k|4138 |181 | 380 | 0 | 1.989893e+03 | -- | Inf | unknown
103.67/104.09 c 95.5s| 1 | 0 |130077 | - | 872M | 0 |4500 | 72k| 74k|4147 |182 | 381 | 0 | 1.990372e+03 | -- | Inf | unknown
103.67/104.09 c 96.3s| 1 | 0 |130920 | - | 873M | 0 |4500 | 72k| 74k|4158 |183 | 382 | 0 | 1.991064e+03 | -- | Inf | unknown
103.67/104.09 c 97.0s| 1 | 0 |131636 | - | 873M | 0 |4500 | 72k| 74k|4167 |184 | 383 | 0 | 1.991875e+03 | -- | Inf | unknown
103.67/104.09 c 97.4s| 1 | 0 |132068 | - | 874M | 0 |4500 | 72k| 74k|4176 |185 | 386 | 0 | 1.992370e+03 | -- | Inf | unknown
103.67/104.09 c 98.1s| 1 | 0 |132874 | - | 874M | 0 |4500 | 72k| 74k|4186 |186 | 387 | 0 | 1.993260e+03 | -- | Inf | unknown
103.67/104.09 c 98.7s| 1 | 0 |133529 | - | 874M | 0 |4500 | 72k| 74k|4201 |187 | 388 | 0 | 1.993797e+03 | -- | Inf | unknown
103.67/104.09 c 99.2s| 1 | 0 |134091 | - | 875M | 0 |4500 | 72k| 74k|4208 |188 | 389 | 0 | 1.994085e+03 | -- | Inf | unknown
103.67/104.09 c 99.9s| 1 | 0 |134921 | - | 876M | 0 |4500 | 72k| 74k|4217 |189 | 390 | 0 | 1.995149e+03 | -- | Inf | unknown
103.67/104.09 c 101s| 1 | 0 |135656 | - | 876M | 0 |4500 | 72k| 74k|4225 |190 | 400 | 0 | 1.995873e+03 | -- | Inf | unknown
103.67/104.09 c 101s| 1 | 0 |136212 | - | 877M | 0 |4500 | 72k| 74k|4239 |191 | 403 | 0 | 1.996491e+03 | -- | Inf | unknown
103.67/104.09 c 102s| 1 | 0 |136922 | - | 877M | 0 |4500 | 72k| 74k|4252 |192 | 406 | 0 | 1.997596e+03 | -- | Inf | unknown
103.67/104.09 c 102s| 1 | 0 |137616 | - | 878M | 0 |4500 | 72k| 74k|4262 |193 | 407 | 0 | 1.998232e+03 | -- | Inf | unknown
103.67/104.09 c 103s| 1 | 0 |138154 | - | 878M | 0 |4500 | 72k| 74k|4273 |194 | 409 | 0 | 1.998478e+03 | -- | Inf | unknown
103.67/104.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
103.67/104.09 c 103s| 1 | 0 |138766 | - | 879M | 0 |4500 | 72k| 74k|4286 |195 | 410 | 0 | 1.998837e+03 | -- | Inf | unknown
140.47/140.96 c 104s| 1 | 0 |139586 | - | 880M | 0 |4500 | 72k| 74k|4295 |196 | 411 | 0 | 1.999422e+03 | -- | Inf | unknown
140.47/140.96 c 104s| 1 | 0 |140308 | - | 880M | 0 |4500 | 72k| 74k|4310 |197 | 413 | 0 | 2.000275e+03 | -- | Inf | unknown
140.47/140.96 c 105s| 1 | 0 |141227 | - | 880M | 0 |4500 | 72k| 74k|4324 |198 | 414 | 0 | 2.001029e+03 | -- | Inf | unknown
140.47/140.96 c 106s| 1 | 0 |141887 | - | 881M | 0 |4500 | 72k| 74k|4335 |199 | 421 | 0 | 2.001302e+03 | -- | Inf | unknown
140.47/140.96 c 107s| 1 | 0 |142865 | - | 881M | 0 |4500 | 72k| 74k|4348 |200 | 431 | 0 | 2.002649e+03 | -- | Inf | unknown
140.47/140.96 c 108s| 1 | 0 |144042 | - | 882M | 0 |4500 | 72k| 74k|4367 |201 | 433 | 0 | 2.004035e+03 | -- | Inf | unknown
140.47/140.96 c 108s| 1 | 0 |144695 | - | 883M | 0 |4500 | 72k| 74k|4388 |202 | 434 | 0 | 2.004574e+03 | -- | Inf | unknown
140.47/140.96 c 109s| 1 | 0 |145251 | - | 883M | 0 |4500 | 72k| 74k|4401 |203 | 435 | 0 | 2.005083e+03 | -- | Inf | unknown
140.47/140.96 c 110s| 1 | 0 |146192 | - | 883M | 0 |4500 | 72k| 74k|4411 |204 | 436 | 0 | 2.005920e+03 | -- | Inf | unknown
140.47/140.96 c 111s| 1 | 0 |147160 | - | 884M | 0 |4500 | 72k| 74k|4424 |205 | 437 | 0 | 2.006488e+03 | -- | Inf | unknown
140.47/140.96 c 111s| 1 | 0 |147865 | - | 885M | 0 |4500 | 72k| 74k|4433 |206 | 440 | 0 | 2.007086e+03 | -- | Inf | unknown
140.47/140.96 c 112s| 1 | 0 |148394 | - | 885M | 0 |4500 | 72k| 74k|4441 |207 | 450 | 0 | 2.007913e+03 | -- | Inf | unknown
140.47/140.96 c 112s| 1 | 0 |148869 | - | 886M | 0 |4500 | 72k| 74k|4450 |208 | 453 | 0 | 2.008521e+03 | -- | Inf | unknown
140.47/140.96 c 113s| 1 | 0 |149259 | - | 887M | 0 |4500 | 72k| 74k|4458 |209 | 456 | 0 | 2.009079e+03 | -- | Inf | unknown
140.47/140.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
140.47/140.96 c 113s| 1 | 0 |149848 | - | 887M | 0 |4500 | 72k| 74k|4464 |210 | 457 | 0 | 2.009466e+03 | -- | Inf | unknown
140.47/140.96 c 114s| 1 | 0 |150199 | - | 887M | 0 |4500 | 72k| 74k|4470 |211 | 458 | 0 | 2.009842e+03 | -- | Inf | unknown
140.47/140.96 c 114s| 1 | 0 |150525 | - | 888M | 0 |4500 | 72k| 74k|4476 |212 | 459 | 0 | 2.010100e+03 | -- | Inf | unknown
140.47/140.96 c 115s| 1 | 0 |151504 | - | 889M | 0 |4500 | 72k| 74k|4483 |213 | 460 | 0 | 2.010664e+03 | -- | Inf | unknown
140.47/140.96 c 116s| 1 | 0 |152077 | - | 889M | 0 |4500 | 72k| 74k|4495 |214 | 461 | 0 | 2.011034e+03 | -- | Inf | unknown
140.47/140.96 c 117s| 1 | 0 |152929 | - | 890M | 0 |4500 | 72k| 74k|4506 |215 | 463 | 0 | 2.011852e+03 | -- | Inf | unknown
140.47/140.96 c 117s| 1 | 0 |153755 | - | 890M | 0 |4500 | 72k| 74k|4517 |216 | 464 | 0 | 2.012754e+03 | -- | Inf | unknown
140.47/140.96 c 118s| 1 | 0 |154347 | - | 890M | 0 |4500 | 72k| 74k|4531 |217 | 466 | 0 | 2.013040e+03 | -- | Inf | unknown
140.47/140.96 c 118s| 1 | 0 |154808 | - | 891M | 0 |4500 | 72k| 74k|4543 |218 | 468 | 0 | 2.013417e+03 | -- | Inf | unknown
140.47/140.96 c 119s| 1 | 0 |155374 | - | 892M | 0 |4500 | 72k| 74k|4554 |219 | 470 | 0 | 2.014075e+03 | -- | Inf | unknown
140.47/140.96 c 120s| 1 | 0 |156109 | - | 892M | 0 |4500 | 72k| 74k|4569 |220 | 479 | 0 | 2.014640e+03 | -- | Inf | unknown
140.47/140.96 c 120s| 1 | 0 |156799 | - | 893M | 0 |4500 | 72k| 74k|4581 |221 | 480 | 0 | 2.015098e+03 | -- | Inf | unknown
140.47/140.96 c 121s| 1 | 0 |157702 | - | 893M | 0 |4500 | 72k| 74k|4593 |222 | 481 | 0 | 2.016116e+03 | -- | Inf | unknown
140.47/140.96 c 122s| 1 | 0 |158571 | - | 894M | 0 |4500 | 72k| 74k|4611 |223 | 482 | 0 | 2.016643e+03 | -- | Inf | unknown
140.47/140.96 c 123s| 1 | 0 |159196 | - | 895M | 0 |4500 | 72k| 74k|4625 |224 | 484 | 0 | 2.017114e+03 | -- | Inf | unknown
140.47/140.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
140.47/140.96 c 123s| 1 | 0 |159712 | - | 895M | 0 |4500 | 72k| 74k|4637 |225 | 485 | 0 | 2.017421e+03 | -- | Inf | unknown
140.47/140.96 c 124s| 1 | 0 |160736 | - | 895M | 0 |4500 | 72k| 74k|4647 |226 | 487 | 0 | 2.018289e+03 | -- | Inf | unknown
140.47/140.96 c 125s| 1 | 0 |161243 | - | 896M | 0 |4500 | 72k| 74k|4658 |227 | 497 | 0 | 2.018619e+03 | -- | Inf | unknown
140.47/140.96 c 125s| 1 | 0 |161867 | - | 896M | 0 |4500 | 72k| 74k|4666 |228 | 499 | 0 | 2.019074e+03 | -- | Inf | unknown
140.47/140.96 c 126s| 1 | 0 |162641 | - | 897M | 0 |4500 | 72k| 74k|4672 |229 | 500 | 0 | 2.019730e+03 | -- | Inf | unknown
140.47/140.96 c 127s| 1 | 0 |163269 | - | 897M | 0 |4500 | 72k| 74k|4687 |230 | 501 | 0 | 2.019983e+03 | -- | Inf | unknown
140.47/140.96 c 128s| 1 | 0 |164272 | - | 898M | 0 |4500 | 72k| 74k|4700 |231 | 502 | 0 | 2.020884e+03 | -- | Inf | unknown
140.47/140.96 c 128s| 1 | 0 |164786 | - | 899M | 0 |4500 | 72k| 74k|4709 |232 | 512 | 0 | 2.021124e+03 | -- | Inf | unknown
140.47/140.96 c 129s| 1 | 0 |165288 | - | 899M | 0 |4500 | 72k| 74k|4716 |233 | 513 | 0 | 2.021316e+03 | -- | Inf | unknown
140.47/140.96 c 130s| 1 | 0 |165947 | - | 899M | 0 |4500 | 72k| 74k|4724 |234 | 514 | 0 | 2.021748e+03 | -- | Inf | unknown
140.47/140.96 c 130s| 1 | 0 |166792 | - | 900M | 0 |4500 | 72k| 74k|4734 |235 | 515 | 0 | 2.022139e+03 | -- | Inf | unknown
140.47/140.96 c 131s| 1 | 0 |167542 | - | 900M | 0 |4500 | 72k| 74k|4744 |236 | 517 | 0 | 2.022642e+03 | -- | Inf | unknown
140.47/140.96 c 132s| 1 | 0 |168306 | - | 901M | 0 |4500 | 72k| 74k|4758 |237 | 527 | 0 | 2.022910e+03 | -- | Inf | unknown
140.47/140.96 c 133s| 1 | 0 |169036 | - | 902M | 0 |4500 | 72k| 74k|4771 |238 | 531 | 0 | 2.023251e+03 | -- | Inf | unknown
140.47/140.96 c 133s| 1 | 0 |169588 | - | 902M | 0 |4500 | 72k| 74k|4779 |239 | 532 | 0 | 2.023485e+03 | -- | Inf | unknown
140.47/140.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
140.47/140.96 c 134s| 1 | 0 |170115 | - | 902M | 0 |4500 | 72k| 74k|4788 |240 | 534 | 0 | 2.023836e+03 | -- | Inf | unknown
140.47/140.96 c 135s| 1 | 0 |171039 | - | 903M | 0 |4500 | 72k| 74k|4796 |241 | 535 | 0 | 2.024207e+03 | -- | Inf | unknown
140.47/140.96 c 135s| 1 | 0 |171765 | - | 903M | 0 |4500 | 72k| 74k|4805 |242 | 539 | 0 | 2.024747e+03 | -- | Inf | unknown
140.47/140.96 c 136s| 1 | 0 |172408 | - | 904M | 0 |4500 | 72k| 74k|4819 |243 | 540 | 0 | 2.025108e+03 | -- | Inf | unknown
140.47/140.96 c 137s| 1 | 0 |173146 | - | 904M | 0 |4500 | 72k| 74k|4831 |244 | 541 | 0 | 2.025722e+03 | -- | Inf | unknown
140.47/140.96 c 138s| 1 | 0 |173930 | - | 905M | 0 |4500 | 72k| 74k|4843 |245 | 544 | 0 | 2.026548e+03 | -- | Inf | unknown
140.47/140.96 c 139s| 1 | 0 |175061 | - | 905M | 0 |4500 | 72k| 74k|4861 |246 | 549 | 0 | 2.027258e+03 | -- | Inf | unknown
140.47/140.96 c 140s| 1 | 0 |176172 | - | 906M | 0 |4500 | 72k| 74k|4880 |247 | 550 | 0 | 2.028201e+03 | -- | Inf | unknown
140.47/140.96 c 140s| 1 | 0 |176585 | - | 906M | 0 |4500 | 72k| 74k|4899 |248 | 552 | 0 | 2.028420e+03 | -- | Inf | unknown
172.67/173.25 c 141s| 1 | 0 |176908 | - | 907M | 0 |4500 | 72k| 74k|4910 |249 | 553 | 0 | 2.028672e+03 | -- | Inf | unknown
172.67/173.25 c 141s| 1 | 0 |177477 | - | 908M | 0 |4500 | 72k| 74k|4919 |250 | 554 | 0 | 2.028965e+03 | -- | Inf | unknown
172.67/173.25 c 142s| 1 | 0 |178137 | - | 908M | 0 |4500 | 72k| 74k|4931 |251 | 556 | 0 | 2.029459e+03 | -- | Inf | unknown
172.67/173.25 c 142s| 1 | 0 |178619 | - | 908M | 0 |4500 | 72k| 74k|4939 |252 | 566 | 0 | 2.030120e+03 | -- | Inf | unknown
172.67/173.25 c 143s| 1 | 0 |179003 | - | 909M | 0 |4500 | 72k| 74k|4952 |253 | 570 | 0 | 2.030450e+03 | -- | Inf | unknown
172.67/173.25 c 144s| 1 | 0 |179828 | - | 909M | 0 |4500 | 72k| 74k|4964 |254 | 572 | 0 | 2.031095e+03 | -- | Inf | unknown
172.67/173.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
172.67/173.25 c 144s| 1 | 0 |180325 | - | 910M | 0 |4500 | 72k| 74k|4979 |255 | 573 | 0 | 2.031367e+03 | -- | Inf | unknown
172.67/173.25 c 145s| 1 | 0 |181201 | - | 911M | 0 |4500 | 72k| 74k|4993 |256 | 575 | 0 | 2.031727e+03 | -- | Inf | unknown
172.67/173.25 c 146s| 1 | 0 |181759 | - | 911M | 0 |4500 | 72k| 74k|5006 |257 | 585 | 0 | 2.032018e+03 | -- | Inf | unknown
172.67/173.25 c 146s| 1 | 0 |182272 | - | 911M | 0 |4500 | 72k| 74k|5015 |258 | 587 | 0 | 2.032156e+03 | -- | Inf | unknown
172.67/173.25 c 147s| 1 | 0 |182902 | - | 911M | 0 |4500 | 72k| 74k|5026 |259 | 596 | 0 | 2.032468e+03 | -- | Inf | unknown
172.67/173.25 c 147s| 1 | 0 |183385 | - | 912M | 0 |4500 | 72k| 74k|5034 |260 | 597 | 0 | 2.032698e+03 | -- | Inf | unknown
172.67/173.25 c 148s| 1 | 0 |184052 | - | 913M | 0 |4500 | 72k| 74k|5047 |261 | 599 | 0 | 2.033230e+03 | -- | Inf | unknown
172.67/173.25 c 149s| 1 | 0 |184563 | - | 913M | 0 |4500 | 72k| 74k|5064 |262 | 601 | 0 | 2.033521e+03 | -- | Inf | unknown
172.67/173.25 c 149s| 1 | 0 |185152 | - | 913M | 0 |4500 | 72k| 74k|5071 |263 | 602 | 0 | 2.033823e+03 | -- | Inf | unknown
172.67/173.25 c 150s| 1 | 0 |185823 | - | 913M | 0 |4500 | 72k| 74k|5078 |264 | 603 | 0 | 2.034248e+03 | -- | Inf | unknown
172.67/173.25 c 150s| 1 | 0 |186227 | - | 914M | 0 |4500 | 72k| 74k|5091 |265 | 613 | 0 | 2.034463e+03 | -- | Inf | unknown
172.67/173.25 c 151s| 1 | 0 |186686 | - | 915M | 0 |4500 | 72k| 74k|5100 |266 | 616 | 0 | 2.034677e+03 | -- | Inf | unknown
172.67/173.25 c 152s| 1 | 0 |187630 | - | 915M | 0 |4500 | 72k| 74k|5109 |267 | 619 | 0 | 2.035241e+03 | -- | Inf | unknown
172.67/173.25 c 152s| 1 | 0 |188111 | - | 916M | 0 |4500 | 72k| 74k|5123 |268 | 621 | 0 | 2.035547e+03 | -- | Inf | unknown
172.67/173.25 c 153s| 1 | 0 |188478 | - | 917M | 0 |4500 | 72k| 74k|5138 |269 | 622 | 0 | 2.035615e+03 | -- | Inf | unknown
172.67/173.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
172.67/173.25 c 154s| 1 | 0 |189120 | - | 917M | 0 |4500 | 72k| 74k|5149 |270 | 623 | 0 | 2.035780e+03 | -- | Inf | unknown
172.67/173.25 c 154s| 1 | 0 |189670 | - | 917M | 0 |4500 | 72k| 74k|5158 |271 | 625 | 0 | 2.036101e+03 | -- | Inf | unknown
172.67/173.25 c 155s| 1 | 0 |190070 | - | 918M | 0 |4500 | 72k| 74k|5168 |272 | 626 | 0 | 2.036384e+03 | -- | Inf | unknown
172.67/173.25 c 155s| 1 | 0 |190579 | - | 918M | 0 |4500 | 72k| 74k|5179 |273 | 628 | 0 | 2.036661e+03 | -- | Inf | unknown
172.67/173.25 c 156s| 1 | 0 |191726 | - | 919M | 0 |4500 | 72k| 75k|5192 |274 | 629 | 0 | 2.037328e+03 | -- | Inf | unknown
172.67/173.25 c 157s| 1 | 0 |192195 | - | 920M | 0 |4500 | 72k| 74k|5205 |275 | 639 | 0 | 2.037457e+03 | -- | Inf | unknown
172.67/173.25 c 157s| 1 | 0 |192725 | - | 920M | 0 |4500 | 72k| 74k|5216 |276 | 640 | 0 | 2.037967e+03 | -- | Inf | unknown
172.67/173.25 c 158s| 1 | 0 |193167 | - | 920M | 0 |4500 | 72k| 75k|5234 |277 | 642 | 0 | 2.038120e+03 | -- | Inf | unknown
172.67/173.25 c 159s| 1 | 0 |193748 | - | 921M | 0 |4500 | 72k| 75k|5246 |278 | 643 | 0 | 2.038463e+03 | -- | Inf | unknown
172.67/173.25 c 159s| 1 | 0 |194373 | - | 922M | 0 |4500 | 72k| 75k|5258 |279 | 645 | 0 | 2.038709e+03 | -- | Inf | unknown
172.67/173.25 c 160s| 1 | 0 |195090 | - | 922M | 0 |4500 | 72k| 75k|5268 |280 | 647 | 0 | 2.039236e+03 | -- | Inf | unknown
172.67/173.25 c 161s| 1 | 0 |195799 | - | 923M | 0 |4500 | 72k| 75k|5285 |281 | 648 | 0 | 2.039843e+03 | -- | Inf | unknown
172.67/173.25 c 161s| 1 | 0 |196388 | - | 923M | 0 |4500 | 72k| 75k|5300 |282 | 649 | 0 | 2.040161e+03 | -- | Inf | unknown
172.67/173.25 c 162s| 1 | 0 |197274 | - | 924M | 0 |4500 | 72k| 75k|5311 |283 | 650 | 0 | 2.040383e+03 | -- | Inf | unknown
172.67/173.25 c 162s| 1 | 0 |197604 | - | 924M | 0 |4500 | 72k| 75k|5320 |284 | 651 | 0 | 2.040445e+03 | -- | Inf | unknown
172.67/173.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
172.67/173.25 c 163s| 1 | 0 |198122 | - | 925M | 0 |4500 | 72k| 75k|5332 |285 | 652 | 0 | 2.040635e+03 | -- | Inf | unknown
172.67/173.25 c 164s| 1 | 0 |199082 | - | 926M | 0 |4500 | 72k| 75k|5345 |286 | 653 | 0 | 2.041135e+03 | -- | Inf | unknown
172.67/173.25 c 165s| 1 | 0 |199639 | - | 926M | 0 |4500 | 72k| 75k|5365 |287 | 655 | 0 | 2.041402e+03 | -- | Inf | unknown
172.67/173.25 c 165s| 1 | 0 |200115 | - | 926M | 0 |4500 | 72k| 75k|5375 |288 | 656 | 0 | 2.041573e+03 | -- | Inf | unknown
172.67/173.25 c 166s| 1 | 0 |200744 | - | 927M | 0 |4500 | 72k| 75k|5392 |289 | 657 | 0 | 2.041848e+03 | -- | Inf | unknown
172.67/173.25 c 166s| 1 | 0 |201104 | - | 927M | 0 |4500 | 72k| 75k|5399 |290 | 659 | 0 | 2.041961e+03 | -- | Inf | unknown
172.67/173.25 c 167s| 1 | 0 |201735 | - | 928M | 0 |4500 | 72k| 75k|5410 |291 | 660 | 0 | 2.042365e+03 | -- | Inf | unknown
172.67/173.25 c 168s| 1 | 0 |202537 | - | 929M | 0 |4500 | 72k| 75k|5419 |292 | 662 | 0 | 2.042725e+03 | -- | Inf | unknown
172.67/173.25 c 168s| 1 | 0 |203105 | - | 929M | 0 |4500 | 72k| 75k|5433 |293 | 672 | 0 | 2.043102e+03 | -- | Inf | unknown
172.67/173.25 c 169s| 1 | 0 |203901 | - | 929M | 0 |4500 | 72k| 75k|5443 |294 | 674 | 0 | 2.043333e+03 | -- | Inf | unknown
172.67/173.25 c 170s| 1 | 0 |204641 | - | 930M | 0 |4500 | 72k| 75k|5452 |295 | 675 | 0 | 2.043660e+03 | -- | Inf | unknown
172.67/173.25 c 170s| 1 | 0 |205079 | - | 931M | 0 |4500 | 72k| 75k|5461 |296 | 676 | 0 | 2.043879e+03 | -- | Inf | unknown
172.67/173.25 c 171s| 1 | 0 |205755 | - | 931M | 0 |4500 | 72k| 75k|5469 |297 | 679 | 0 | 2.044205e+03 | -- | Inf | unknown
172.67/173.25 c 171s| 1 | 0 |206105 | - | 931M | 0 |4500 | 72k| 75k|5479 |298 | 680 | 0 | 2.044337e+03 | -- | Inf | unknown
172.67/173.25 c 172s| 1 | 0 |206838 | - | 932M | 0 |4500 | 72k| 75k|5489 |299 | 681 | 0 | 2.044679e+03 | -- | Inf | unknown
172.67/173.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
172.67/173.25 c 173s| 1 | 0 |207263 | - | 932M | 0 |4500 | 72k| 75k|5504 |300 | 682 | 0 | 2.044784e+03 | -- | Inf | unknown
206.79/207.43 c 173s| 1 | 0 |207690 | - | 933M | 0 |4500 | 72k| 75k|5516 |301 | 683 | 0 | 2.044934e+03 | -- | Inf | unknown
206.79/207.43 c 173s| 1 | 0 |208144 | - | 933M | 0 |4500 | 72k| 75k|5527 |302 | 684 | 0 | 2.045092e+03 | -- | Inf | unknown
206.79/207.43 c 174s| 1 | 0 |208627 | - | 934M | 0 |4500 | 72k| 75k|5534 |303 | 686 | 0 | 2.045368e+03 | -- | Inf | unknown
206.79/207.43 c 175s| 1 | 0 |209552 | - | 935M | 0 |4500 | 72k| 75k|5544 |304 | 695 | 0 | 2.045936e+03 | -- | Inf | unknown
206.79/207.43 c 176s| 1 | 0 |210157 | - | 935M | 0 |4500 | 72k| 75k|5556 |305 | 698 | 0 | 2.046126e+03 | -- | Inf | unknown
206.79/207.43 c 176s| 1 | 0 |210809 | - | 935M | 0 |4500 | 72k| 75k|5567 |306 | 699 | 0 | 2.046379e+03 | -- | Inf | unknown
206.79/207.43 c 177s| 1 | 0 |211543 | - | 936M | 0 |4500 | 72k| 75k|5580 |307 | 700 | 0 | 2.046815e+03 | -- | Inf | unknown
206.79/207.43 c 178s| 1 | 0 |212394 | - | 936M | 0 |4500 | 72k| 75k|5602 |308 | 702 | 0 | 2.047145e+03 | -- | Inf | unknown
206.79/207.43 c 179s| 1 | 0 |212856 | - | 936M | 0 |4500 | 72k| 75k|5620 |309 | 703 | 0 | 2.047274e+03 | -- | Inf | unknown
206.79/207.43 c 179s| 1 | 0 |213345 | - | 937M | 0 |4500 | 72k| 75k|5633 |310 | 704 | 0 | 2.047438e+03 | -- | Inf | unknown
206.79/207.43 c 180s| 1 | 0 |213915 | - | 938M | 0 |4500 | 72k| 75k|5642 |311 | 705 | 0 | 2.047559e+03 | -- | Inf | unknown
206.79/207.43 c 180s| 1 | 0 |214524 | - | 938M | 0 |4500 | 72k| 75k|5654 |312 | 706 | 0 | 2.047707e+03 | -- | Inf | unknown
206.79/207.43 c 181s| 1 | 0 |215069 | - | 938M | 0 |4500 | 72k| 75k|5670 |313 | 708 | 0 | 2.047877e+03 | -- | Inf | unknown
206.79/207.43 c 181s| 1 | 0 |215450 | - | 939M | 0 |4500 | 72k| 75k|5682 |314 | 709 | 0 | 2.048030e+03 | -- | Inf | unknown
206.79/207.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
206.79/207.43 c 182s| 1 | 0 |215929 | - | 940M | 0 |4500 | 72k| 75k|5690 |315 | 711 | 0 | 2.048264e+03 | -- | Inf | unknown
206.79/207.43 c 183s| 1 | 0 |216458 | - | 940M | 0 |4500 | 72k| 75k|5703 |316 | 712 | 0 | 2.048440e+03 | -- | Inf | unknown
206.79/207.43 c 183s| 1 | 0 |217176 | - | 941M | 0 |4500 | 72k| 75k|5718 |317 | 713 | 0 | 2.048659e+03 | -- | Inf | unknown
206.79/207.43 c 184s| 1 | 0 |217782 | - | 941M | 0 |4500 | 72k| 75k|5733 |318 | 717 | 0 | 2.048877e+03 | -- | Inf | unknown
206.79/207.43 c 185s| 1 | 0 |218398 | - | 942M | 0 |4500 | 72k| 75k|5748 |319 | 718 | 0 | 2.048987e+03 | -- | Inf | unknown
206.79/207.43 c 185s| 1 | 0 |218738 | - | 942M | 0 |4500 | 72k| 75k|5756 |320 | 720 | 0 | 2.049063e+03 | -- | Inf | unknown
206.79/207.43 c 186s| 1 | 0 |219194 | - | 943M | 0 |4500 | 72k| 75k|5765 |321 | 723 | 0 | 2.049218e+03 | -- | Inf | unknown
206.79/207.43 c 186s| 1 | 0 |219847 | - | 944M | 0 |4500 | 72k| 75k|5775 |322 | 725 | 0 | 2.049497e+03 | -- | Inf | unknown
206.79/207.43 c 187s| 1 | 0 |220559 | - | 944M | 0 |4500 | 72k| 75k|5784 |323 | 726 | 0 | 2.049894e+03 | -- | Inf | unknown
206.79/207.43 c 188s| 1 | 0 |221506 | - | 944M | 0 |4500 | 72k| 75k|5800 |324 | 727 | 0 | 2.050326e+03 | -- | Inf | unknown
206.79/207.43 c 189s| 1 | 0 |222011 | - | 945M | 0 |4500 | 72k| 75k|5813 |325 | 728 | 0 | 2.050435e+03 | -- | Inf | unknown
206.79/207.43 c 190s| 1 | 0 |222859 | - | 945M | 0 |4500 | 72k| 75k|5822 |326 | 738 | 0 | 2.050768e+03 | -- | Inf | unknown
206.79/207.43 c 190s| 1 | 0 |223339 | - | 945M | 0 |4500 | 72k| 75k|5832 |327 | 739 | 0 | 2.050941e+03 | -- | Inf | unknown
206.79/207.43 c 191s| 1 | 0 |224050 | - | 946M | 0 |4500 | 72k| 75k|5838 |328 | 742 | 0 | 2.051251e+03 | -- | Inf | unknown
206.79/207.43 c 192s| 1 | 0 |224498 | - | 947M | 0 |4500 | 72k| 75k|5849 |329 | 743 | 0 | 2.051383e+03 | -- | Inf | unknown
206.79/207.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
206.79/207.43 c 192s| 1 | 0 |224976 | - | 947M | 0 |4500 | 72k| 75k|5857 |330 | 744 | 0 | 2.051522e+03 | -- | Inf | unknown
206.79/207.43 c 193s| 1 | 0 |225545 | - | 947M | 0 |4500 | 72k| 75k|5866 |331 | 745 | 0 | 2.051739e+03 | -- | Inf | unknown
206.79/207.43 c 194s| 1 | 0 |226280 | - | 948M | 0 |4500 | 72k| 75k|5880 |332 | 747 | 0 | 2.052340e+03 | -- | Inf | unknown
206.79/207.43 c 195s| 1 | 0 |227159 | - | 949M | 0 |4500 | 72k| 75k|5896 |333 | 757 | 0 | 2.052628e+03 | -- | Inf | unknown
206.79/207.43 c 195s| 1 | 0 |227562 | - | 949M | 0 |4500 | 72k| 75k|5911 |334 | 758 | 0 | 2.052730e+03 | -- | Inf | unknown
206.79/207.43 c 196s| 1 | 0 |227950 | - | 950M | 0 |4500 | 72k| 75k|5918 |335 | 759 | 0 | 2.052817e+03 | -- | Inf | unknown
206.79/207.43 c 196s| 1 | 0 |228477 | - | 950M | 0 |4500 | 72k| 75k|5927 |336 | 760 | 0 | 2.052930e+03 | -- | Inf | unknown
206.79/207.43 c 197s| 1 | 0 |228805 | - | 951M | 0 |4500 | 72k| 75k|5938 |337 | 762 | 0 | 2.052988e+03 | -- | Inf | unknown
206.79/207.43 c 197s| 1 | 0 |229385 | - | 951M | 0 |4500 | 72k| 75k|5946 |338 | 766 | 0 | 2.053275e+03 | -- | Inf | unknown
206.79/207.43 c 198s| 1 | 0 |230053 | - | 952M | 0 |4500 | 72k| 75k|5958 |339 | 767 | 0 | 2.053506e+03 | -- | Inf | unknown
206.79/207.43 c 199s| 1 | 0 |230506 | - | 953M | 0 |4500 | 72k| 75k|5968 |340 | 768 | 0 | 2.053605e+03 | -- | Inf | unknown
206.79/207.43 c 199s| 1 | 0 |230847 | - | 953M | 0 |4500 | 72k| 75k|5975 |341 | 770 | 0 | 2.053734e+03 | -- | Inf | unknown
206.79/207.43 c 199s| 1 | 0 |231236 | - | 953M | 0 |4500 | 72k| 75k|5980 |342 | 771 | 0 | 2.053896e+03 | -- | Inf | unknown
206.79/207.43 c 200s| 1 | 0 |231829 | - | 954M | 0 |4500 | 72k| 75k|5988 |343 | 776 | 0 | 2.054165e+03 | -- | Inf | unknown
206.79/207.43 c 201s| 1 | 0 |232349 | - | 954M | 0 |4500 | 72k| 75k|5999 |344 | 777 | 0 | 2.054325e+03 | -- | Inf | unknown
206.79/207.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
206.79/207.43 c 201s| 1 | 0 |232842 | - | 955M | 0 |4500 | 72k| 75k|6008 |345 | 780 | 0 | 2.054451e+03 | -- | Inf | unknown
206.79/207.43 c 202s| 1 | 0 |233402 | - | 955M | 0 |4500 | 72k| 75k|6019 |346 | 781 | 0 | 2.054605e+03 | -- | Inf | unknown
206.79/207.43 c 203s| 1 | 0 |234119 | - | 956M | 0 |4500 | 72k| 75k|6029 |347 | 784 | 0 | 2.054830e+03 | -- | Inf | unknown
206.79/207.43 c 203s| 1 | 0 |234569 | - | 956M | 0 |4500 | 72k| 75k|6042 |348 | 785 | 0 | 2.055008e+03 | -- | Inf | unknown
206.79/207.43 c 204s| 1 | 0 |235231 | - | 956M | 0 |4500 | 72k| 75k|6055 |349 | 786 | 0 | 2.055235e+03 | -- | Inf | unknown
206.79/207.43 c 204s| 1 | 0 |235722 | - | 956M | 0 |4500 | 72k| 75k|6072 |350 | 788 | 0 | 2.055340e+03 | -- | Inf | unknown
206.79/207.43 c 205s| 1 | 0 |236435 | - | 957M | 0 |4500 | 72k| 75k|6084 |351 | 789 | 0 | 2.055571e+03 | -- | Inf | unknown
206.79/207.43 c 206s| 1 | 0 |237148 | - | 958M | 0 |4500 | 72k| 75k|6094 |352 | 790 | 0 | 2.055740e+03 | -- | Inf | unknown
206.79/207.43 c 207s| 1 | 0 |237746 | - | 958M | 0 |4500 | 72k| 75k|6103 |353 | 792 | 0 | 2.055921e+03 | -- | Inf | unknown
997.25/1000.30 c 207s| 1 | 0 |238156 | - | 958M | 0 |4500 | 72k| 75k|6116 |354 | 794 | 0 | 2.055982e+03 | -- | Inf | unknown
997.25/1000.30 c 208s| 1 | 0 |238472 | - | 959M | 0 |4500 | 72k| 75k|6126 |355 | 796 | 0 | 2.056076e+03 | -- | Inf | unknown
997.25/1000.30 c 208s| 1 | 0 |239131 | - | 960M | 0 |4500 | 72k| 75k|6138 |356 | 797 | 0 | 2.056353e+03 | -- | Inf | unknown
997.25/1000.30 c 209s| 1 | 0 |239589 | - | 960M | 0 |4500 | 72k| 75k|6148 |357 | 800 | 0 | 2.056477e+03 | -- | Inf | unknown
997.25/1000.30 c 209s| 1 | 0 |240171 | - | 961M | 0 |4500 | 72k| 75k|6162 |358 | 803 | 0 | 2.056646e+03 | -- | Inf | unknown
997.25/1000.30 c 210s| 1 | 0 |240786 | - | 962M | 0 |4500 | 72k| 75k|6175 |359 | 804 | 0 | 2.056824e+03 | -- | Inf | unknown
997.25/1000.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.25/1000.30 c 211s| 1 | 0 |241383 | - | 962M | 0 |4500 | 72k| 75k|6191 |360 | 805 | 0 | 2.057058e+03 | -- | Inf | unknown
997.25/1000.30 c 211s| 1 | 0 |241866 | - | 962M | 0 |4500 | 72k| 75k|6201 |361 | 814 | 0 | 2.057141e+03 | -- | Inf | unknown
997.25/1000.30 c 212s| 1 | 0 |242389 | - | 963M | 0 |4500 | 72k| 75k|6214 |362 | 815 | 0 | 2.057262e+03 | -- | Inf | unknown
997.25/1000.30 c 213s| 1 | 0 |242808 | - | 963M | 0 |4500 | 72k| 75k|6229 |363 | 818 | 0 | 2.057349e+03 | -- | Inf | unknown
997.25/1000.30 c 213s| 1 | 0 |243234 | - | 964M | 0 |4500 | 72k| 75k|6240 |364 | 819 | 0 | 2.057428e+03 | -- | Inf | unknown
997.25/1000.30 c 214s| 1 | 0 |243724 | - | 965M | 0 |4500 | 72k| 75k|6249 |365 | 820 | 0 | 2.057603e+03 | -- | Inf | unknown
997.25/1000.30 c 214s| 1 | 0 |244168 | - | 965M | 0 |4500 | 72k| 75k|6260 |366 | 822 | 0 | 2.057711e+03 | -- | Inf | unknown
997.25/1000.30 c 215s| 1 | 0 |244962 | - | 965M | 0 |4500 | 72k| 75k|6273 |367 | 823 | 0 | 2.057939e+03 | -- | Inf | unknown
997.25/1000.30 c 216s| 1 | 0 |245744 | - | 965M | 0 |4500 | 72k| 75k|6293 |368 | 825 | 0 | 2.058102e+03 | -- | Inf | unknown
997.25/1000.30 c 217s| 1 | 0 |246258 | - | 966M | 0 |4500 | 72k| 75k|6311 |369 | 826 | 0 | 2.058190e+03 | -- | Inf | unknown
997.25/1000.30 c 217s| 1 | 0 |246743 | - | 967M | 0 |4500 | 72k| 75k|6326 |370 | 827 | 0 | 2.058296e+03 | -- | Inf | unknown
997.25/1000.30 c 218s| 1 | 0 |247149 | - | 967M | 0 |4500 | 72k| 75k|6338 |371 | 828 | 0 | 2.058385e+03 | -- | Inf | unknown
997.25/1000.30 c 218s| 1 | 0 |247679 | - | 967M | 0 |4500 | 72k| 75k|6348 |372 | 829 | 0 | 2.058469e+03 | -- | Inf | unknown
997.25/1000.30 c 219s| 1 | 0 |248266 | - | 968M | 0 |4500 | 72k| 75k|6357 |373 | 830 | 0 | 2.058540e+03 | -- | Inf | unknown
997.25/1000.30 c 219s| 1 | 0 |248770 | - | 969M | 0 |4500 | 72k| 75k|6368 |374 | 832 | 0 | 2.058622e+03 | -- | Inf | unknown
997.25/1000.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.25/1000.30 c 220s| 1 | 0 |249285 | - | 969M | 0 |4500 | 72k| 75k|6380 |375 | 834 | 0 | 2.058693e+03 | -- | Inf | unknown
997.25/1000.30 c 221s| 1 | 0 |249787 | - | 970M | 0 |4500 | 72k| 75k|6396 |376 | 836 | 0 | 2.058835e+03 | -- | Inf | unknown
997.25/1000.30 c 221s| 1 | 0 |250318 | - | 971M | 0 |4500 | 72k| 75k|6406 |377 | 837 | 0 | 2.058937e+03 | -- | Inf | unknown
997.25/1000.30 c 243s| 1 | 2 |262594 | - | 971M | 0 |4500 | 72k| 75k|6406 |377 | 858 | 21 | 2.059099e+03 | -- | Inf | unknown
997.25/1000.30 c
997.25/1000.30 c SCIP Status : solving was interrupted [time limit reached]
997.25/1000.30 c Solving Time (sec) : 1000.00
997.25/1000.30 c Solving Nodes : 61
997.25/1000.30 c Primal Bound : +1.00000000000000e+20 (0 solutions)
997.25/1000.30 c Dual Bound : +2.05967787499086e+03
997.25/1000.30 c Gap : infinite
997.25/1000.30 c ----------------------------------------------------------------------
997.25/1000.30 c dual bound: 2059.677874990863 -> 2060
997.25/1000.30 c primal bound: 1e+20 -> 100000000000000000000
997.25/1000.30 c scip-goal-lb: 2060
997.25/1000.30 c scip-goal-ub: 100000000000000000000
997.25/1000.30 c writing output to: HOME/tmpl8nee873.opb
997.25/1000.30 c appending fixed variable constraints
997.25/1000.30 c scip-fixed vars: 0.00% (0/4500)
997.25/1000.30 c ----------------------------------------------------------------------
997.25/1000.30 c executing external solver: HOME/naps-1.03a6
997.25/1000.30 c ----------------------------------------------------------------------
997.25/1000.30 c command: HOME/naps-1.03a6 -goal-lb=2060 -goal-ub=99999999999999999999 HOME/tmpl8nee873.opb
997.25/1000.31 c NaPS 1.03a6.
997.25/1000.31 c Input file name: HOME/tmpl8nee873.opb
997.25/1000.94 c single stage optimization mode
3600.04/3610.40 c
3600.04/3610.40 c *** TERMINATED *** by signal 15
3600.04/3610.40 c _____________________________________________________________________________
3600.04/3610.40 c std/band forms : 1,0
3600.04/3610.40 c 2cl/3cl ITE-codings : 0,0
3600.04/3610.40 c BDD/srt/adr Max costs : 0,350312,0
3600.04/3610.40 c BDDraw/bin/mul/srt/adr: 0,0,0,1,0
3600.04/3610.40 c BDD nodes : 0
3600.04/3610.40 c Es1/CC detections : 0,0
3600.04/3610.40 c CC sort : 1
3600.04/3610.40 c SAT/UNSAT calls : 0,0
3600.04/3610.40 c regenrated variables : 0
3600.04/3610.40 c eliminated fixed lits : 0
3600.04/3610.40 c goal lit flips : 0
3600.04/3610.40 c goal stages : 1
3600.04/3610.40 c goal shrink : 0
3600.04/3610.40 c goal coeff separations: 0
3600.04/3610.40 c restarts : 0
3600.04/3610.40 c conflicts : 0 (0 /sec)
3600.04/3610.40 c decisions : 0 (0 /sec)
3600.04/3610.40 c propagations : 0 (0 /sec)
3600.04/3610.40 c inspects : 0 (0 /sec)
3600.04/3610.40 c CPU time (solving tm) : 2602 s (2601 s, SAT 0 s, UNSAT 0 s)
3600.04/3610.40 c Time for Opt-base : 0.000897 s
3600.04/3610.40 c Steps for Opt-base : 0
3600.04/3610.40 c Time for BDD coding : 0 s
3600.04/3610.40 c Time for srt coding : 0.05386 s
3600.04/3610.40 c _____________________________________________________________________________
3600.04/3610.40 s UNKNOWN
3600.17/3610.54 c received SIGTERM, forwarding to pbsolver...
3600.17/3610.54 c failed to send SIGTERM to pbsolver: [Errno 3] No such process
Verifier Data
ERROR: no interpretation found !
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: 63665 MiB (62353 MiB free)
memory of node 1: 64507 MiB (62222 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486897-1751324395/watcher-4486897-1751324395 -o /tmp/evaluation-result-4486897-1751324395/solver-4486897-1751324395 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751324274-42410 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4486897-1751324395.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
Starting watchdog thread
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=42778, runsolver pid=42775
[startup+0.100065 s]*
/proc/loadavg: 3.77 3.16 4.86 5/271 42783
/proc/meminfo: memFree=127566400/131249996 swapFree=33010416/33010684
[pid=42778] ppid=42775 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42778/stat : 42778 (scip-naps-1.00.) S 42775 42778 42398 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 48119108 4292608 768 18446744073709551615 94282313756672 94282314651205 140726157723168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282314890256 94282314938000 94282342600704 140726157728161 140726157728258 140726157728258 140726157733860 0
/proc/42778/statm: 1048 768 704 219 0 110 0
[pid=42783] ppid=42778 vsize=1187328 memory=32268 CPUtime=0.07 cores=1,3
/proc/42783/stat : 42783 (python3) R 42778 42778 42398 0 -1 4194304 3792 0 0 0 5 2 0 0 20 0 1 0 48119110 1215823872 8067 18446744073709551615 93894760640512 93894760640889 140727945837952 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93894760652184 93894760652804 93894782459904 140727945840999 140727945841186 140727945841186 140727945846759 0
/proc/42783/statm: 296832 8067 4899 1 0 268854 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191520 KiB
Current children cumulated memory: 35340 KiB
[startup+0.205694 s]*
/proc/loadavg: 3.77 3.16 4.86 5/271 42783
/proc/meminfo: memFree=127542220/131249996 swapFree=33010416/33010684
[pid=42778] ppid=42775 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42778/stat : 42778 (scip-naps-1.00.) S 42775 42778 42398 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 48119108 4292608 768 18446744073709551615 94282313756672 94282314651205 140726157723168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282314890256 94282314938000 94282342600704 140726157728161 140726157728258 140726157728258 140726157733860 0
/proc/42778/statm: 1048 768 704 219 0 110 0
[pid=42783] ppid=42778 vsize=1221836 memory=73356 CPUtime=0.17 cores=1,3
/proc/42783/stat : 42783 (python3) R 42778 42778 42398 0 -1 4194304 11586 0 0 0 14 3 0 0 20 0 1 0 48119110 1251160064 18339 18446744073709551615 93894760640512 93894760640889 140727945837952 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93894760652184 93894760652804 93894782459904 140727945840999 140727945841186 140727945841186 140727945846759 0
/proc/42783/statm: 305459 18339 7619 1 0 276817 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1226028 KiB
Current children cumulated memory: 76428 KiB
[startup+0.305629 s]*
/proc/loadavg: 3.79 3.18 4.86 5/271 42783
/proc/meminfo: memFree=127501900/131249996 swapFree=33010416/33010684
[pid=42778] ppid=42775 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42778/stat : 42778 (scip-naps-1.00.) S 42775 42778 42398 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 48119108 4292608 768 18446744073709551615 94282313756672 94282314651205 140726157723168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282314890256 94282314938000 94282342600704 140726157728161 140726157728258 140726157728258 140726157733860 0
/proc/42778/statm: 1048 768 704 219 0 110 0
[pid=42783] ppid=42778 vsize=1262632 memory=115340 CPUtime=0.27 cores=1,3
/proc/42783/stat : 42783 (python3) R 42778 42778 42398 0 -1 4194304 21906 0 0 0 22 5 0 0 20 0 1 0 48119110 1292935168 28835 18446744073709551615 93894760640512 93894760640889 140727945837952 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93894760652184 93894760652804 93894782459904 140727945840999 140727945841186 140727945841186 140727945846759 0
/proc/42783/statm: 315658 28835 7811 1 0 287016 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1266824 KiB
Current children cumulated memory: 118412 KiB
[startup+0.70021 s]
/proc/loadavg: 3.79 3.18 4.86 5/271 42783
/proc/meminfo: memFree=127453516/131249996 swapFree=33010416/33010684
[pid=42778] ppid=42775 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42778/stat : 42778 (scip-naps-1.00.) S 42775 42778 42398 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 48119108 4292608 768 18446744073709551615 94282313756672 94282314651205 140726157723168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282314890256 94282314938000 94282342600704 140726157728161 140726157728258 140726157728258 140726157733860 0
/proc/42778/statm: 1048 768 704 219 0 110 0
[pid=42783] ppid=42778 vsize=1338080 memory=189580 CPUtime=0.65 cores=1,3
/proc/42783/stat : 42783 (python3) R 42778 42778 42398 0 -1 4194304 40430 0 0 0 57 8 0 0 20 0 1 0 48119110 1370193920 47395 18446744073709551615 93894760640512 93894760640889 140727945837952 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93894760652184 93894760652804 93894782459904 140727945840999 140727945841186 140727945841186 140727945846759 0
/proc/42783/statm: 334520 47395 7875 1 0 305878 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1342272 KiB
Current children cumulated memory: 192652 KiB
[startup+1.50021 s]
/proc/loadavg: 3.79 3.18 4.86 5/271 42783
/proc/meminfo: memFree=127429340/131249996 swapFree=33010416/33010684
[pid=42778] ppid=42775 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42778/stat : 42778 (scip-naps-1.00.) S 42775 42778 42398 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 48119108 4292608 768 18446744073709551615 94282313756672 94282314651205 140726157723168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282314890256 94282314938000 94282342600704 140726157728161 140726157728258 140726157728258 140726157733860 0
/proc/42778/statm: 1048 768 704 219 0 110 0
[pid=42783] ppid=42778 vsize=1338080 memory=189964 CPUtime=1.45 cores=1,3
/proc/42783/stat : 42783 (python3) R 42778 42778 42398 0 -1 4194304 40480 0 0 0 137 8 0 0 20 0 1 0 48119110 1370193920 47491 18446744073709551615 93894760640512 93894760640889 140727945837952 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93894760652184 93894760652804 93894782459904 140727945840999 140727945841186 140727945841186 140727945846759 0
/proc/42783/statm: 334520 47491 7907 1 0 305878 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1342272 KiB
Current children cumulated memory: 193036 KiB
[startup+3.1057 s]
/proc/loadavg: 3.79 3.18 4.86 5/271 42783
/proc/meminfo: memFree=127429776/131249996 swapFree=33010416/33010684
[pid=42778] ppid=42775 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42778/stat : 42778 (scip-naps-1.00.) S 42775 42778 42398 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 48119108 4292608 768 18446744073709551615 94282313756672 94282314651205 140726157723168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282314890256 94282314938000 94282342600704 140726157728161 140726157728258 140726157728258 140726157733860 0
/proc/42778/statm: 1048 768 704 219 0 110 0
[pid=42783] ppid=42778 vsize=1338080 memory=189964 CPUtime=3.05 cores=1,3
/proc/42783/stat : 42783 (python3) R 42778 42778 42398 0 -1 4194304 40483 0 0 0 297 8 0 0 20 0 1 0 48119110 1370193920 47491 18446744073709551615 93894760640512 93894760640889 140727945837952 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93894760652184 93894760652804 93894782459904 140727945840999 140727945841186 140727945841186 140727945846759 0
/proc/42783/statm: 334520 47491 7907 1 0 305878 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1342272 KiB
Current children cumulated memory: 193036 KiB
[startup+6.3002 s]
/proc/loadavg: 3.81 3.19 4.85 5/271 42783
/proc/meminfo: memFree=127413900/131249996 swapFree=33010416/33010684
[pid=42778] ppid=42775 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42778/stat : 42778 (scip-naps-1.00.) S 42775 42778 42398 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 48119108 4292608 768 18446744073709551615 94282313756672 94282314651205 140726157723168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282314890256 94282314938000 94282342600704 140726157728161 140726157728258 140726157728258 140726157733860 0
/proc/42778/statm: 1048 768 704 219 0 110 0
[pid=42783] ppid=42778 vsize=1339280 memory=191116 CPUtime=6.23 cores=1,3
/proc/42783/stat : 42783 (python3) R 42778 42778 42398 0 -1 4194304 40781 0 0 0 615 8 0 0 20 0 1 0 48119110 1371422720 47779 18446744073709551615 93894760640512 93894760640889 140727945837952 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93894760652184 93894760652804 93894782459904 140727945840999 140727945841186 140727945841186 140727945846759 0
/proc/42783/statm: 334820 47779 7907 1 0 306178 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1343472 KiB
Current children cumulated memory: 194188 KiB
[startup+12.7001 s]
/proc/loadavg: 3.82 3.21 4.85 5/271 42783
/proc/meminfo: memFree=126949156/131249996 swapFree=33010416/33010684
[pid=42778] ppid=42775 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42778/stat : 42778 (scip-naps-1.00.) S 42775 42778 42398 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 48119108 4292608 768 18446744073709551615 94282313756672 94282314651205 140726157723168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282314890256 94282314938000 94282342600704 140726157728161 140726157728258 140726157728258 140726157733860 0
/proc/42778/statm: 1048 768 704 219 0 110 0
[pid=42783] ppid=42778 vsize=1850872 memory=635780 CPUtime=12.62 cores=1,3
/proc/42783/stat : 42783 (python3) R 42778 42778 42398 0 -1 4194304 84016 0 0 0 1241 21 0 0 20 0 1 0 48119110 1895292928 158945 18446744073709551615 93894760640512 93894760640889 140727945837952 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93894760652184 93894760652804 93894782459904 140727945840999 140727945841186 140727945841186 140727945846759 0
/proc/42783/statm: 462718 158945 8131 1 0 434076 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1855064 KiB
Current children cumulated memory: 638852 KiB
[startup+25.5002 s]
/proc/loadavg: 3.85 3.23 4.84 5/271 42783
/proc/meminfo: memFree=126904324/131249996 swapFree=33010416/33010684
[pid=42778] ppid=42775 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42778/stat : 42778 (scip-naps-1.00.) S 42775 42778 42398 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 48119108 4292608 768 18446744073709551615 94282313756672 94282314651205 140726157723168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282314890256 94282314938000 94282342600704 140726157728161 140726157728258 140726157728258 140726157733860 0
/proc/42778/statm: 1048 768 704 219 0 110 0
[pid=42783] ppid=42778 vsize=1977620 memory=685560 CPUtime=25.38 cores=1,3
/proc/42783/stat : 42783 (python3) R 42778 42778 42398 0 -1 4194304 96958 0 0 0 2515 23 0 0 20 0 1 0 48119110 2025082880 171390 18446744073709551615 93894760640512 93894760640889 140727945837952 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93894760652184 93894760652804 93894782459904 140727945840999 140727945841186 140727945841186 140727945846759 0
/proc/42783/statm: 494405 171390 8131 1 0 465763 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1981812 KiB
Current children cumulated memory: 688632 KiB
[startup+51.1056 s]
/proc/loadavg: 3.91 3.31 4.81 5/271 42784
/proc/meminfo: memFree=126857088/131249996 swapFree=33010416/33010684
[pid=42778] ppid=42775 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42778/stat : 42778 (scip-naps-1.00.) S 42775 42778 42398 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 48119108 4292608 768 18446744073709551615 94282313756672 94282314651205 140726157723168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282314890256 94282314938000 94282342600704 140726157728161 140726157728258 140726157728258 140726157733860 0
/proc/42778/statm: 1048 768 704 219 0 110 0
[pid=42783] ppid=42778 vsize=2070312 memory=717012 CPUtime=50.91 cores=1,3
/proc/42783/stat : 42783 (python3) R 42778 42778 42398 0 -1 4194304 104337 0 0 0 5067 24 0 0 20 0 1 0 48119110 2119999488 179253 18446744073709551615 93894760640512 93894760640889 140727945837952 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93894760652184 93894760652804 93894782459904 140727945840999 140727945841186 140727945841186 140727945846759 0
/proc/42783/statm: 517578 179253 8131 1 0 488936 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2074504 KiB
Current children cumulated memory: 720084 KiB
[startup+102.3 s]
/proc/loadavg: 4.00 3.43 4.77 5/272 42806
/proc/meminfo: memFree=126770860/131249996 swapFree=33010416/33010684
[pid=42778] ppid=42775 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42778/stat : 42778 (scip-naps-1.00.) S 42775 42778 42398 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 48119108 4292608 768 18446744073709551615 94282313756672 94282314651205 140726157723168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282314890256 94282314938000 94282342600704 140726157728161 140726157728258 140726157728258 140726157733860 0
/proc/42778/statm: 1048 768 704 219 0 110 0
[pid=42783] ppid=42778 vsize=2128956 memory=777044 CPUtime=101.97 cores=1,3
/proc/42783/stat : 42783 (python3) R 42778 42778 42398 0 -1 4194304 119327 0 0 0 10170 27 0 0 20 0 1 0 48119110 2180050944 194261 18446744073709551615 93894760640512 93894760640889 140727945837952 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93894760652184 93894760652804 93894782459904 140727945840999 140727945841186 140727945841186 140727945846759 0
/proc/42783/statm: 532239 194261 8131 1 0 503597 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2133148 KiB
Current children cumulated memory: 780116 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 3.57 4.73 5/272 42808
/proc/meminfo: memFree=126673900/131249996 swapFree=33010416/33010684
[pid=42778] ppid=42775 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42778/stat : 42778 (scip-naps-1.00.) S 42775 42778 42398 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 48119108 4292608 768 18446744073709551615 94282313756672 94282314651205 140726157723168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282314890256 94282314938000 94282342600704 140726157728161 140726157728258 140726157728258 140726157733860 0
/proc/42778/statm: 1048 768 704 219 0 110 0
[pid=42783] ppid=42778 vsize=2188264 memory=836436 CPUtime=161.81 cores=1,3
/proc/42783/stat : 42783 (python3) R 42778 42778 42398 0 -1 4194304 134172 0 0 0 16151 30 0 0 20 0 1 0 48119110 2240782336 209109 18446744073709551615 93894760640512 93894760640889 140727945837952 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93894760652184 93894760652804 93894782459904 140727945840999 140727945841186 140727945841186 140727945846759 0
/proc/42783/statm: 547066 209109 8131 1 0 518424 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 2192456 KiB
Current children cumulated memory: 839508 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 3.66 4.69 5/270 42810
/proc/meminfo: memFree=126607200/131249996 swapFree=33010416/33010684
[pid=42778] ppid=42775 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42778/stat : 42778 (scip-naps-1.00.) S 42775 42778 42398 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 48119108 4292608 768 18446744073709551615 94282313756672 94282314651205 140726157723168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282314890256 94282314938000 94282342600704 140726157728161 140726157728258 140726157728258 140726157733860 0
/proc/42778/statm: 1048 768 704 219 0 110 0
[pid=42783] ppid=42778 vsize=2244404 memory=890964 CPUtime=221.64 cores=1,3
/proc/42783/stat : 42783 (python3) R 42778 42778 42398 0 -1 4194304 147803 0 0 0 22132 32 0 0 20 0 1 0 48119110 2298269696 222741 18446744073709551615 93894760640512 93894760640889 140727945837952 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93894760652184 93894760652804 93894782459904 140727945840999 140727945841186 140727945841186 140727945846759 0
/proc/42783/statm: 561101 222741 8131 1 0 532459 0
Current children cumulated CPU time: 221.64 s
################
# More data... #
################
/proc/42778/stat : 42778 (scip-naps-1.00.) S 42775 42778 42398 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 48119108 4292608 768 18446744073709551615 94282313756672 94282314651205 140726157723168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282314890256 94282314938000 94282342600704 140726157728161 140726157728258 140726157728258 140726157733860 0
/proc/42778/statm: 1048 768 704 219 0 110 0
[pid=42783] ppid=42778 vsize=2359776 memory=979204 CPUtime=997.25 cores=1,3
/proc/42783/stat : 42783 (python3) S 42778 42778 42398 0 -1 4194304 174260 0 0 0 99688 37 0 0 20 0 1 0 48119110 2416410624 244801 18446744073709551615 93894760640512 93894760640889 140727945837952 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 93894760652184 93894760652804 93894782459904 140727945840999 140727945841186 140727945841186 140727945846759 0
/proc/42783/statm: 589944 244801 8163 1 0 561302 0
[pid=42848] ppid=42783 vsize=287208 memory=285672 CPUtime=2215.79 cores=1,3
/proc/42848/stat : 42848 (naps-1.03a6) R 42783 42848 42848 0 -1 4194304 96561 0 0 0 221495 84 0 0 20 0 1 0 48219139 294100992 71418 18446744073709551615 4198400 7047149 140721686651648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27324416 140721686653285 140721686653427 140721686653427 140721686659017 0
/proc/42848/statm: 71802 71418 640 696 0 70963 0
Current children cumulated CPU time: 3213.04 s
Current children cumulated vsize: 2651176 KiB
Current children cumulated memory: 1267948 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/273 42960
/proc/meminfo: memFree=124857108/131249996 swapFree=33010416/33010684
[pid=42778] ppid=42775 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42778/stat : 42778 (scip-naps-1.00.) S 42775 42778 42398 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 48119108 4292608 768 18446744073709551615 94282313756672 94282314651205 140726157723168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282314890256 94282314938000 94282342600704 140726157728161 140726157728258 140726157728258 140726157733860 0
/proc/42778/statm: 1048 768 704 219 0 110 0
[pid=42783] ppid=42778 vsize=2359776 memory=979204 CPUtime=997.25 cores=1,3
/proc/42783/stat : 42783 (python3) S 42778 42778 42398 0 -1 4194304 174260 0 0 0 99688 37 0 0 20 0 1 0 48119110 2416410624 244801 18446744073709551615 93894760640512 93894760640889 140727945837952 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 93894760652184 93894760652804 93894782459904 140727945840999 140727945841186 140727945841186 140727945846759 0
/proc/42783/statm: 589944 244801 8163 1 0 561302 0
[pid=42848] ppid=42783 vsize=254116 memory=252636 CPUtime=2275.62 cores=1,3
/proc/42848/stat : 42848 (naps-1.03a6) R 42783 42848 42848 0 -1 4194304 97513 0 0 0 227477 85 0 0 20 0 1 0 48219139 260214784 63159 18446744073709551615 4198400 7047149 140721686651648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27324416 140721686653285 140721686653427 140721686653427 140721686659017 0
/proc/42848/statm: 63529 63159 640 696 0 62690 0
Current children cumulated CPU time: 3272.87 s
Current children cumulated vsize: 2618084 KiB
Current children cumulated memory: 1234912 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/273 42962
/proc/meminfo: memFree=124817996/131249996 swapFree=33010416/33010684
[pid=42778] ppid=42775 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42778/stat : 42778 (scip-naps-1.00.) S 42775 42778 42398 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 48119108 4292608 768 18446744073709551615 94282313756672 94282314651205 140726157723168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282314890256 94282314938000 94282342600704 140726157728161 140726157728258 140726157728258 140726157733860 0
/proc/42778/statm: 1048 768 704 219 0 110 0
[pid=42783] ppid=42778 vsize=2359776 memory=979204 CPUtime=997.25 cores=1,3
/proc/42783/stat : 42783 (python3) S 42778 42778 42398 0 -1 4194304 174260 0 0 0 99688 37 0 0 20 0 1 0 48119110 2416410624 244801 18446744073709551615 93894760640512 93894760640889 140727945837952 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 93894760652184 93894760652804 93894782459904 140727945840999 140727945841186 140727945841186 140727945846759 0
/proc/42783/statm: 589944 244801 8163 1 0 561302 0
[pid=42848] ppid=42783 vsize=285988 memory=284392 CPUtime=2335.47 cores=1,3
/proc/42848/stat : 42848 (naps-1.03a6) R 42783 42848 42848 0 -1 4194304 98365 0 0 0 233460 87 0 0 20 0 1 0 48219139 292851712 71098 18446744073709551615 4198400 7047149 140721686651648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27324416 140721686653285 140721686653427 140721686653427 140721686659017 0
/proc/42848/statm: 71497 71098 640 696 0 70658 0
Current children cumulated CPU time: 3332.72 s
Current children cumulated vsize: 2649956 KiB
Current children cumulated memory: 1266668 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/272 42964
/proc/meminfo: memFree=124850060/131249996 swapFree=33010416/33010684
[pid=42778] ppid=42775 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42778/stat : 42778 (scip-naps-1.00.) S 42775 42778 42398 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 48119108 4292608 768 18446744073709551615 94282313756672 94282314651205 140726157723168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282314890256 94282314938000 94282342600704 140726157728161 140726157728258 140726157728258 140726157733860 0
/proc/42778/statm: 1048 768 704 219 0 110 0
[pid=42783] ppid=42778 vsize=2359776 memory=979204 CPUtime=997.25 cores=1,3
/proc/42783/stat : 42783 (python3) S 42778 42778 42398 0 -1 4194304 174260 0 0 0 99688 37 0 0 20 0 1 0 48119110 2416410624 244801 18446744073709551615 93894760640512 93894760640889 140727945837952 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 93894760652184 93894760652804 93894782459904 140727945840999 140727945841186 140727945841186 140727945846759 0
/proc/42783/statm: 589944 244801 8163 1 0 561302 0
[pid=42848] ppid=42783 vsize=224528 memory=223176 CPUtime=2395.3 cores=1,3
/proc/42848/stat : 42848 (naps-1.03a6) R 42783 42848 42848 0 -1 4194304 101486 0 0 0 239439 91 0 0 20 0 1 0 48219139 229916672 55794 18446744073709551615 4198400 7047149 140721686651648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27324416 140721686653285 140721686653427 140721686653427 140721686659017 0
/proc/42848/statm: 56132 55794 640 696 0 55293 0
Current children cumulated CPU time: 3392.55 s
Current children cumulated vsize: 2588496 KiB
Current children cumulated memory: 1205452 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/271 42966
/proc/meminfo: memFree=124865376/131249996 swapFree=33010416/33010684
[pid=42778] ppid=42775 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42778/stat : 42778 (scip-naps-1.00.) S 42775 42778 42398 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 48119108 4292608 768 18446744073709551615 94282313756672 94282314651205 140726157723168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282314890256 94282314938000 94282342600704 140726157728161 140726157728258 140726157728258 140726157733860 0
/proc/42778/statm: 1048 768 704 219 0 110 0
[pid=42783] ppid=42778 vsize=2359776 memory=979204 CPUtime=997.25 cores=1,3
/proc/42783/stat : 42783 (python3) S 42778 42778 42398 0 -1 4194304 174260 0 0 0 99688 37 0 0 20 0 1 0 48119110 2416410624 244801 18446744073709551615 93894760640512 93894760640889 140727945837952 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 93894760652184 93894760652804 93894782459904 140727945840999 140727945841186 140727945841186 140727945846759 0
/proc/42783/statm: 589944 244801 8163 1 0 561302 0
[pid=42848] ppid=42783 vsize=223140 memory=221660 CPUtime=2455.14 cores=1,3
/proc/42848/stat : 42848 (naps-1.03a6) R 42783 42848 42848 0 -1 4194304 104370 0 0 0 245419 95 0 0 20 0 1 0 48219139 228495360 55415 18446744073709551615 4198400 7047149 140721686651648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27324416 140721686653285 140721686653427 140721686653427 140721686659017 0
/proc/42848/statm: 55785 55415 640 696 0 54946 0
Current children cumulated CPU time: 3452.39 s
Current children cumulated vsize: 2587108 KiB
Current children cumulated memory: 1203936 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/269 43119
/proc/meminfo: memFree=126621132/131249996 swapFree=33010416/33010684
[pid=42778] ppid=42775 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42778/stat : 42778 (scip-naps-1.00.) S 42775 42778 42398 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 48119108 4292608 768 18446744073709551615 94282313756672 94282314651205 140726157723168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282314890256 94282314938000 94282342600704 140726157728161 140726157728258 140726157728258 140726157733860 0
/proc/42778/statm: 1048 768 704 219 0 110 0
[pid=42783] ppid=42778 vsize=2359776 memory=979204 CPUtime=997.25 cores=1,3
/proc/42783/stat : 42783 (python3) S 42778 42778 42398 0 -1 4194304 174260 0 0 0 99688 37 0 0 20 0 1 0 48119110 2416410624 244801 18446744073709551615 93894760640512 93894760640889 140727945837952 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 93894760652184 93894760652804 93894782459904 140727945840999 140727945841186 140727945841186 140727945846759 0
/proc/42783/statm: 589944 244801 8163 1 0 561302 0
[pid=42848] ppid=42783 vsize=257136 memory=255656 CPUtime=2514.96 cores=1,3
/proc/42848/stat : 42848 (naps-1.03a6) R 42783 42848 42848 0 -1 4194304 107369 0 0 0 251397 99 0 0 20 0 1 0 48219139 263307264 63914 18446744073709551615 4198400 7047149 140721686651648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27324416 140721686653285 140721686653427 140721686653427 140721686659017 0
/proc/42848/statm: 64284 63914 640 696 0 63445 0
Current children cumulated CPU time: 3512.21 s
Current children cumulated vsize: 2621104 KiB
Current children cumulated memory: 1237932 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/269 43121
/proc/meminfo: memFree=126408228/131249996 swapFree=33010416/33010684
[pid=42778] ppid=42775 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42778/stat : 42778 (scip-naps-1.00.) S 42775 42778 42398 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 48119108 4292608 768 18446744073709551615 94282313756672 94282314651205 140726157723168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282314890256 94282314938000 94282342600704 140726157728161 140726157728258 140726157728258 140726157733860 0
/proc/42778/statm: 1048 768 704 219 0 110 0
[pid=42783] ppid=42778 vsize=2359776 memory=979204 CPUtime=997.25 cores=1,3
/proc/42783/stat : 42783 (python3) S 42778 42778 42398 0 -1 4194304 174260 0 0 0 99688 37 0 0 20 0 1 0 48119110 2416410624 244801 18446744073709551615 93894760640512 93894760640889 140727945837952 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 93894760652184 93894760652804 93894782459904 140727945840999 140727945841186 140727945841186 140727945846759 0
/proc/42783/statm: 589944 244801 8163 1 0 561302 0
[pid=42848] ppid=42783 vsize=258492 memory=257012 CPUtime=2574.78 cores=1,3
/proc/42848/stat : 42848 (naps-1.03a6) R 42783 42848 42848 0 -1 4194304 111169 0 0 0 257373 105 0 0 20 0 1 0 48219139 264695808 64253 18446744073709551615 4198400 7047149 140721686651648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27324416 140721686653285 140721686653427 140721686653427 140721686659017 0
/proc/42848/statm: 64623 64253 640 696 0 63784 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 2622460 KiB
Current children cumulated memory: 1239288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.12 4.12 4.13 5/269 43122
/proc/meminfo: memFree=126370384/131249996 swapFree=33010416/33010684
[pid=42778] ppid=42775 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/42778/stat : 42778 (scip-naps-1.00.) S 42775 42778 42398 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 48119108 4292608 768 18446744073709551615 94282313756672 94282314651205 140726157723168 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282314890256 94282314938000 94282342600704 140726157728161 140726157728258 140726157728258 140726157733860 0
/proc/42778/statm: 1048 768 704 219 0 110 0
[pid=42783] ppid=42778 vsize=2359776 memory=979204 CPUtime=997.25 cores=1,3
/proc/42783/stat : 42783 (python3) S 42778 42778 42398 0 -1 4194304 174260 0 0 0 99688 37 0 0 20 0 1 0 48119110 2416410624 244801 18446744073709551615 93894760640512 93894760640889 140727945837952 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 93894760652184 93894760652804 93894782459904 140727945840999 140727945841186 140727945841186 140727945846759 0
/proc/42783/statm: 589944 244801 8163 1 0 561302 0
[pid=42848] ppid=42783 vsize=258652 memory=257172 CPUtime=2602.79 cores=1,3
/proc/42848/stat : 42848 (naps-1.03a6) R 42783 42848 42848 0 -1 4194304 112296 0 0 0 260172 107 0 0 20 0 1 0 48219139 264859648 64293 18446744073709551615 4198400 7047149 140721686651648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27324416 140721686653285 140721686653427 140721686653427 140721686659017 0
/proc/42848/statm: 64663 64293 640 696 0 63824 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2622620 KiB
Current children cumulated memory: 1239448 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.42 s]
# the end of solver process 42778 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001677 s, system=0.004241 s
[startup+3610.58 s]
# the end of solver process 42783 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.77 s, system=1.46993 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.52 s]*
/proc/loadavg: 4.12 4.12 4.13 5/267 43122
/proc/meminfo: memFree=126639200/131249996 swapFree=33010416/33010684
[pid=42783] ppid=42775 vsize=2359776 memory=979204 CPUtime=3600.16 cores=1,3
/proc/42783/stat : 42783 (python3) R 42775 42778 42398 0 -1 4194304 176691 112297 0 0 99700 37 260172 107 20 0 1 0 48119110 2416410624 244801 18446744073709551615 93894760640512 93894760640889 140727945837952 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93894760652184 93894760652804 93894782459904 140727945840999 140727945841186 140727945841186 140727945846759 0
/proc/42783/statm: 589944 244801 8163 1 0 561302 0
Current cumulated CPU time of completed processes: 0.005918 s
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 2359776 KiB
Current children cumulated memory: 979204 KiB
Child status: 0
Real time (s): 3610.58
CPU time (s): 3600.24
CPU user time (s): 3598.77
CPU system time (s): 1.46993
CPU usage (%): 99.7138
Max. virtual memory (cumulated for all children) (KiB): 2682896
Max. memory (cumulated for all children) (KiB): 1299616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.77
system time used= 1.46993
maximum resident set size= 979204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292387
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 400
involuntary context switches= 3283
# summary of solver processes directly reported to runsolver:
# pid: 42778,42783
# total CPU time (s): 3600.24
# total CPU user time (s): 3598.77
# total CPU system time (s): 1.46993
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.51302 second user time and 17.1892 second system time
The end
Launcher Data
Begin job on nodeC030 at 2025-07-01 00:59:55
IDJOB=4486897
IDBENCH=147077
IDSOLVER=3368
FILE ID=nodeC030/4486897-1751324395
RUNJOBID= nodeC030-1751324274-42410
SLURM_JOB_ID= 9594345
Free space on /tmp= 433016 MiB
SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g125.18.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486897-1751324395/watcher-4486897-1751324395 -o /tmp/evaluation-result-4486897-1751324395/solver-4486897-1751324395 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751324274-42410 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4486897-1751324395.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 95947120f800d2178fb6b614b0e3950b
RANDOM SEED=1501011012
nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.814
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.290
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3593.111
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3804.704
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.316
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.323
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3611.570
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.542
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 127566048 kB
MemAvailable: 129059788 kB
Buffers: 2564 kB
Cached: 2288004 kB
SwapCached: 16 kB
Active: 1123084 kB
Inactive: 1937760 kB
Active(anon): 783664 kB
Inactive(anon): 4660 kB
Active(file): 339420 kB
Inactive(file): 1933100 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7216 kB
Writeback: 8 kB
AnonPages: 771716 kB
Mapped: 125004 kB
Shmem: 18048 kB
KReclaimable: 120516 kB
Slab: 207636 kB
SReclaimable: 120516 kB
SUnreclaim: 87120 kB
KernelStack: 4384 kB
PageTables: 5144 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 4401188 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 137216 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433012 MiB
End job on nodeC030 at 2025-07-01 02:00:06