Trace number 4529820

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP-NaPS 1.00a2UNSAT 765.532 767.706

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-73.opb
MD5SUMf8b1a93d1916f081f91f241f6f5f832b
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark50.0132
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7936
Total number of constraints176837
Number of constraints which are clauses158928
Number of constraints which are cardinality constraints (but not clauses)563
Number of constraints which are nor clauses,nor cardinality constraints17346
Minimum length of a constraint2
Maximum length of a constraint195
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 196
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

498.98/500.50	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529820-1752255070.opb
498.98/500.50	c Solving mode: decision
498.98/500.50	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
498.98/500.50	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
498.98/500.50	c original problem has 7936 variables (7936 bin, 0 int, 0 impl, 0 cont) and 176837 constraints
498.98/500.50	c presolving:
498.98/500.50	c (round 1, exhaustive) 1 del vars, 8 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 176828 upgd conss, 0 impls, 37799 clqs
498.98/500.50	c (round 2, exhaustive) 1 del vars, 2206 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 3306 chg coeffs, 176828 upgd conss, 0 impls, 37799 clqs
498.98/500.50	c    (8.6s) probing: 665/7935 (8.4%) - 0 fixings, 0 aggregations, 19506 implications, 0 bound changes
498.98/500.50	c    (8.6s) probing aborted: 50/50 successive totally useless probings
498.98/500.50	c    (9.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
498.98/500.50	c    (9.8s) no symmetry present (symcode time: 0.04)
498.98/500.50	c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
498.98/500.50	c  1 deleted vars, 2206 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 3351 changed coefficients
498.98/500.50	c  0 implications, 57305 cliques
498.98/500.50	c presolved problem has 7935 variables (7935 bin, 0 int, 0 impl, 0 cont) and 174631 constraints
498.98/500.50	c   17621 constraints of type <knapsack>
498.98/500.50	c   37799 constraints of type <setppc>
498.98/500.50	c       1 constraints of type <linear>
498.98/500.50	c  119210 constraints of type <logicor>
498.98/500.50	c transformed objective value is always integral (scale: 1)
498.98/500.50	c Presolving Time: 9.70
498.98/500.50	c 
498.98/500.50	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
498.98/500.50	c  11.0s|     1 |     0 |   548 |     - |   773M |   0 |7935 | 174k| 174k|   0 |  0 | 155 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c  24.9s|     1 |     0 |  3624 |     - |   797M |   0 |7935 | 174k| 174k|   7 |  1 | 155 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c  43.4s|     1 |     0 |  4005 |     - |   813M |   0 |7935 | 174k| 174k|  14 |  2 | 156 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c  79.7s|     1 |     0 |  4695 |     - |   837M |   0 |7935 | 174k| 174k|  28 |  3 | 159 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c  93.5s|     1 |     0 |  5093 |     - |   853M |   0 |7935 | 174k| 174k|  43 |  4 | 159 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c  99.6s|     1 |     0 |  5582 |     - |   870M |   0 |7935 | 174k| 174k|  61 |  5 | 161 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   106s|     1 |     0 |  6677 |     - |   890M |   0 |7935 | 174k| 174k|  79 |  6 | 164 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   111s|     1 |     0 |  7211 |     - |   907M |   0 |7935 | 174k| 174k| 102 |  7 | 165 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   118s|     1 |     0 |  7914 |     - |   924M |   0 |7935 | 174k| 174k| 125 |  8 | 168 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   130s|     1 |     0 | 11341 |     - |   942M |   0 |7935 | 174k| 174k| 163 |  9 | 171 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   140s|     1 |     0 | 17576 |     - |   961M |   0 |7935 | 174k| 174k| 196 | 10 | 172 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   146s|     1 |     0 | 23281 |     - |   978M |   0 |7935 | 174k| 174k| 235 | 11 | 182 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   226s|     1 |     0 | 31751 |     - |   986M |   0 |7935 | 174k| 174k| 235 | 11 | 209 |  23 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   233s|     1 |     0 | 36896 |     - |  1004M |   0 |7935 | 174k| 174k| 280 | 12 | 212 |  23 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   235s|     1 |     0 | 38876 |     - |  1005M |   0 |7935 | 174k| 174k| 287 | 13 | 214 |  23 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
498.98/500.50	c   274s|     1 |     2 | 39343 |     - |  1005M |   0 |7935 | 174k| 174k| 287 | 13 | 224 |  42 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c (run 1, node 1) restarting after 209 global fixings of integer variables
498.98/500.50	c 
498.98/500.50	c (restart) converted 215 cuts from the global cut pool into linear constraints
498.98/500.50	c 
498.98/500.50	c presolving:
498.98/500.50	c (round 1, fast)       209 del vars, 5008 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 51252 clqs
498.98/500.50	c (round 2, exhaustive) 209 del vars, 5018 del conss, 1 add conss, 0 chg bounds, 3 chg sides, 10 chg coeffs, 199 upgd conss, 0 impls, 51252 clqs
498.98/500.50	c (round 3, medium)     209 del vars, 5035 del conss, 42 add conss, 0 chg bounds, 83 chg sides, 191 chg coeffs, 199 upgd conss, 0 impls, 51276 clqs
498.98/500.50	c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
498.98/500.50	c  209 deleted vars, 5057 deleted constraints, 45 added constraints, 0 tightened bounds, 0 added holes, 83 changed sides, 827 changed coefficients
498.98/500.50	c  0 implications, 51276 cliques
498.98/500.50	c presolved problem has 7726 variables (7726 bin, 0 int, 0 impl, 0 cont) and 170010 constraints
498.98/500.50	c   17678 constraints of type <knapsack>
498.98/500.50	c   33872 constraints of type <setppc>
498.98/500.50	c       4 constraints of type <and>
498.98/500.50	c       2 constraints of type <linear>
498.98/500.50	c  118454 constraints of type <logicor>
498.98/500.50	c transformed objective value is always integral (scale: 1)
498.98/500.50	c Presolving Time: 10.73
498.98/500.50	c 
498.98/500.50	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
498.98/500.50	c   277s|     1 |     0 | 43012 |     - |  1012M |   0 |7726 | 170k| 169k|   0 |  0 | 236 |  42 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   285s|     1 |     0 | 43959 |     - |  1031M |   0 |7726 | 170k| 169k|  39 |  1 | 246 |  42 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   288s|     1 |     0 | 45537 |     - |  1047M |   0 |7726 | 170k| 169k|  69 |  2 | 255 |  42 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   292s|     1 |     0 | 47243 |     - |  1067M |   0 |7726 | 170k| 169k| 100 |  3 | 265 |  42 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   298s|     1 |     0 | 49352 |     - |  1085M |   0 |7726 | 170k| 169k| 130 |  4 | 273 |  42 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   302s|     1 |     0 | 50810 |     - |  1108M |   0 |7726 | 170k| 169k| 156 |  5 | 276 |  42 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   306s|     1 |     0 | 52052 |     - |  1125M |   0 |7726 | 170k| 170k| 183 |  6 | 285 |  42 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   309s|     1 |     0 | 53504 |     - |  1143M |   0 |7726 | 170k| 170k| 208 |  7 | 295 |  42 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   313s|     1 |     0 | 56356 |     - |  1159M |   0 |7726 | 170k| 170k| 231 |  8 | 296 |  42 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   320s|     1 |     0 | 61179 |     - |  1176M |   0 |7726 | 170k| 170k| 271 |  9 | 300 |  42 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   330s|     1 |     0 | 66556 |     - |  1193M |   0 |7726 | 170k| 169k| 322 | 10 | 307 |  42 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   337s|     1 |     0 | 71853 |     - |  1210M |   0 |7726 | 170k| 170k| 373 | 11 | 317 |  42 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   468s|     1 |     0 | 83200 |     - |  1211M |   0 |7726 | 170k| 170k| 373 | 11 | 338 |  63 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   477s|     1 |     0 | 89005 |     - |  1227M |   0 |7726 | 170k| 170k| 425 | 12 | 339 |  63 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c   480s|     1 |     0 | 90832 |     - |  1227M |   0 |7726 | 170k| 170k| 432 | 13 | 340 |  63 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
498.98/500.50	c   500s|     1 |     2 | 90832 |     - |  1227M |   0 |7726 | 170k| 170k| 432 | 13 | 342 |  76 | 0.000000e+00 |      --      |    Inf | unknown
498.98/500.50	c 
498.98/500.55	c SCIP Status        : solving was interrupted [time limit reached]
498.98/500.55	c Solving Time (sec) : 500.01
498.98/500.55	c Solving Nodes      : 1 (total of 2 nodes in 2 runs)
498.98/500.55	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
498.98/500.55	c Dual Bound         : +0.00000000000000e+00
498.98/500.55	c Gap                : infinite
498.98/500.55	c ----------------------------------------------------------------------
498.98/500.55	c dual bound: 0.0 -> 0
498.98/500.55	c primal bound: 1e+20 -> 100000000000000000000
498.98/500.55	c scip-goal-lb: 0
498.98/500.55	c scip-goal-ub: 100000000000000000000
498.98/500.55	c writing output to: HOME/tmp5hslb5fn.opb
498.98/500.55	c appending fixed variable constraints
498.98/500.55	c scip-fixed vars: 3.30% (255/7726)
498.98/500.55	c ----------------------------------------------------------------------
498.98/500.55	c executing external solver: HOME/naps-1.03a6
498.98/500.55	c ----------------------------------------------------------------------
498.98/500.55	c command: HOME/naps-1.03a6 HOME/tmp5hslb5fn.opb
498.98/500.57	c NaPS 1.03a6.
498.98/500.57	c Input file name: HOME/tmp5hslb5fn.opb
764.92/767.18	c s UNSATISFIABLE
764.92/767.18	c _____________________________________________________________________________
764.92/767.18	c std/band forms        : 17910,0
764.92/767.18	c 2cl/3cl ITE-codings   : 16520,0
764.92/767.18	c BDD/srt/adr Max costs : 5,119,0
764.92/767.18	c BDDraw/bin/mul/srt/adr: 17346,0,0,564,0
764.92/767.18	c BDD nodes             : 102424
764.92/767.18	c Es1/CC detections     : 0,0
764.92/767.18	c CC sort               : 563
764.92/767.18	c SAT/UNSAT calls       : 0,1
764.92/767.18	c regenrated variables  : 0
764.92/767.18	c eliminated fixed lits : 253
764.92/767.18	c goal lit flips        : 0
764.92/767.18	c goal stages           : 0
764.92/767.18	c goal shrink           : 0
764.92/767.18	c goal coeff separations: 0
764.92/767.18	c restarts              : 144106
764.92/767.18	c conflicts             : 6335779        (23838 /sec)
764.92/767.18	c decisions             : 16561727       (62312 /sec)
764.92/767.18	c propagations          : 1294692877     (4871177 /sec)
764.92/767.18	c inspects              : 0              (0 /sec)
764.92/767.18	c CPU time (solving tm) : 265.8 s        (264.2 s, SAT 0 s, UNSAT 264.2 s)
764.92/767.18	c Time for Opt-base     : 0.002539 s
764.92/767.18	c Steps for Opt-base    : 0
764.92/767.18	c Time for BDD coding   : 0.2097 s
764.92/767.18	c Time for srt coding   : 0.006037 s
764.92/767.18	c _____________________________________________________________________________
764.92/767.19	s UNSATISFIABLE

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529820-1752255070/watcher-4529820-1752255070 -o /tmp/evaluation-result-4529820-1752255070/solver-4529820-1752255070 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1752253269-115890 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529820-1752255070.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=116691, runsolver pid=116688
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.13 4.10 4.01 5/273 116696
/proc/meminfo: memFree=123946908/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
[pid=116696] ppid=116691 vsize=1187384 memory=32348 CPUtime=0.07 cores=5,7
/proc/116696/stat : 116696 (python3) R 116691 116691 115877 0 -1 4194304 3810 0 0 0 6 1 0 0 20 0 1 0 141129563 1215881216 8087 18446744073709551615 94013289349120 94013289349497 140731377252416 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94013289360792 94013289361412 94013295226880 140731377260879 140731377261088 140731377261088 140731377266663 0
/proc/116696/statm: 296846 8087 4927 1 0 268868 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191576 KiB
Current children cumulated memory: 35420 KiB

[startup+0.205885 s]*
/proc/loadavg: 4.13 4.10 4.01 5/274 116697
/proc/meminfo: memFree=123958224/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
[pid=116696] ppid=116691 vsize=1218096 memory=69596 CPUtime=0.17 cores=5,7
/proc/116696/stat : 116696 (python3) R 116691 116691 115877 0 -1 4194304 10626 0 0 0 15 2 0 0 20 0 1 0 141129563 1247330304 17399 18446744073709551615 94013289349120 94013289349497 140731377252416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94013289360792 94013289361412 94013295226880 140731377260879 140731377261088 140731377261088 140731377266663 0
/proc/116696/statm: 304524 17399 7647 1 0 275882 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1222288 KiB
Current children cumulated memory: 72668 KiB

[startup+0.305901 s]*
/proc/loadavg: 4.13 4.10 4.01 5/274 116697
/proc/meminfo: memFree=123958224/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
[pid=116696] ppid=116691 vsize=1247048 memory=98012 CPUtime=0.27 cores=5,7
/proc/116696/stat : 116696 (python3) R 116691 116691 115877 0 -1 4194304 17730 0 0 0 24 3 0 0 20 0 1 0 141129563 1276977152 24503 18446744073709551615 94013289349120 94013289349497 140731377252416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94013289360792 94013289361412 94013295226880 140731377260879 140731377261088 140731377261088 140731377266663 0
/proc/116696/statm: 311762 24503 7647 1 0 283120 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1251240 KiB
Current children cumulated memory: 101084 KiB

[startup+0.700209 s]
/proc/loadavg: 4.13 4.10 4.01 5/274 116697
/proc/meminfo: memFree=123958224/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
[pid=116696] ppid=116691 vsize=1430672 memory=279900 CPUtime=0.66 cores=5,7
/proc/116696/stat : 116696 (python3) R 116691 116691 115877 0 -1 4194304 63057 0 0 0 57 9 0 0 20 0 1 0 141129563 1465008128 69975 18446744073709551615 94013289349120 94013289349497 140731377252416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94013289360792 94013289361412 94013295226880 140731377260879 140731377261088 140731377261088 140731377266663 0
/proc/116696/statm: 357668 69975 7807 1 0 329026 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1434864 KiB
Current children cumulated memory: 282972 KiB

[startup+1.5002 s]
/proc/loadavg: 4.13 4.10 4.01 5/274 116697
/proc/meminfo: memFree=123957756/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
[pid=116696] ppid=116691 vsize=1558420 memory=404956 CPUtime=1.45 cores=5,7
/proc/116696/stat : 116696 (python3) R 116691 116691 115877 0 -1 4194304 94202 0 0 0 132 13 0 0 20 0 1 0 141129563 1595822080 101239 18446744073709551615 94013289349120 94013289349497 140731377252416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94013289360792 94013289361412 94013295226880 140731377260879 140731377261088 140731377261088 140731377266663 0
/proc/116696/statm: 389605 101239 7935 1 0 360963 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1562612 KiB
Current children cumulated memory: 408028 KiB

[startup+3.10591 s]
/proc/loadavg: 4.12 4.10 4.01 5/274 116697
/proc/meminfo: memFree=123958620/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
[pid=116696] ppid=116691 vsize=1558420 memory=406108 CPUtime=3.06 cores=5,7
/proc/116696/stat : 116696 (python3) R 116691 116691 115877 0 -1 4194304 94509 0 0 0 292 14 0 0 20 0 1 0 141129563 1595822080 101527 18446744073709551615 94013289349120 94013289349497 140731377252416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94013289360792 94013289361412 94013295226880 140731377260879 140731377261088 140731377261088 140731377266663 0
/proc/116696/statm: 389605 101527 7967 1 0 360963 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1562612 KiB
Current children cumulated memory: 409180 KiB

[startup+6.3002 s]
/proc/loadavg: 4.12 4.10 4.01 5/274 116697
/proc/meminfo: memFree=123990920/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
[pid=116696] ppid=116691 vsize=1558420 memory=406236 CPUtime=6.24 cores=5,7
/proc/116696/stat : 116696 (python3) R 116691 116691 115877 0 -1 4194304 94521 0 0 0 610 14 0 0 20 0 1 0 141129563 1595822080 101559 18446744073709551615 94013289349120 94013289349497 140731377252416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94013289360792 94013289361412 94013295226880 140731377260879 140731377261088 140731377261088 140731377266663 0
/proc/116696/statm: 389605 101559 7967 1 0 360963 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1562612 KiB
Current children cumulated memory: 409308 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.01 5/274 116697
/proc/meminfo: memFree=123972552/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
[pid=116696] ppid=116691 vsize=2056228 memory=844216 CPUtime=12.62 cores=5,7
/proc/116696/stat : 116696 (python3) R 116691 116691 115877 0 -1 4194304 154356 0 0 0 1234 28 0 0 20 0 1 0 141129563 2105577472 211054 18446744073709551615 94013289349120 94013289349497 140731377252416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94013289360792 94013289361412 94013295226880 140731377260879 140731377261088 140731377261088 140731377266663 0
/proc/116696/statm: 514057 211054 8127 1 0 485415 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 2060420 KiB
Current children cumulated memory: 847288 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.01 5/274 116697
/proc/meminfo: memFree=124085376/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
[pid=116696] ppid=116691 vsize=2113456 memory=876312 CPUtime=25.39 cores=5,7
/proc/116696/stat : 116696 (python3) R 116691 116691 115877 0 -1 4194304 162042 0 0 0 2509 30 0 0 20 0 1 0 141129563 2164178944 219078 18446744073709551615 94013289349120 94013289349497 140731377252416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94013289360792 94013289361412 94013295226880 140731377260879 140731377261088 140731377261088 140731377266663 0
/proc/116696/statm: 528364 219078 8159 1 0 499722 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2117648 KiB
Current children cumulated memory: 879384 KiB

[startup+51.1051 s]
/proc/loadavg: 4.12 4.10 4.01 5/274 116698
/proc/meminfo: memFree=124359624/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
[pid=116696] ppid=116691 vsize=2132560 memory=879132 CPUtime=50.92 cores=5,7
/proc/116696/stat : 116696 (python3) R 116691 116691 115877 0 -1 4194304 162225 0 0 0 5062 30 0 0 20 0 1 0 141129563 2183741440 219783 18446744073709551615 94013289349120 94013289349497 140731377252416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94013289360792 94013289361412 94013295226880 140731377260879 140731377261088 140731377261088 140731377266663 0
/proc/116696/statm: 533140 219783 8159 1 0 504498 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2136752 KiB
Current children cumulated memory: 882204 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.01 5/273 116700
/proc/meminfo: memFree=124374668/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
[pid=116696] ppid=116691 vsize=2198268 memory=898520 CPUtime=101.98 cores=5,7
/proc/116696/stat : 116696 (python3) R 116691 116691 115877 0 -1 4194304 164792 0 0 0 10166 32 0 0 20 0 1 0 141129563 2251026432 224630 18446744073709551615 94013289349120 94013289349497 140731377252416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94013289360792 94013289361412 94013295226880 140731377260879 140731377261088 140731377261088 140731377266663 0
/proc/116696/statm: 549567 224630 8159 1 0 520925 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2202460 KiB
Current children cumulated memory: 901592 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.01 5/273 116702
/proc/meminfo: memFree=124030672/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
[pid=116696] ppid=116691 vsize=2424736 memory=1027596 CPUtime=161.8 cores=5,7
/proc/116696/stat : 116696 (python3) R 116691 116691 115877 0 -1 4194304 229968 0 0 0 16138 42 0 0 20 0 1 0 141129563 2482929664 256899 18446744073709551615 94013289349120 94013289349497 140731377252416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94013289360792 94013289361412 94013295226880 140731377260879 140731377261088 140731377261088 140731377266663 0
/proc/116696/statm: 606184 256899 8159 1 0 577542 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 2428928 KiB
Current children cumulated memory: 1030668 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/273 116705
/proc/meminfo: memFree=124066460/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
[pid=116696] ppid=116691 vsize=2424736 memory=1027596 CPUtime=221.65 cores=5,7
/proc/116696/stat : 116696 (python3) R 116691 116691 115877 0 -1 4194304 229986 0 0 0 22123 42 0 0 20 0 1 0 141129563 2482929664 256899 18446744073709551615 94013289349120 94013289349497 140731377252416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94013289360792 94013289361412 94013295226880 140731377260879 140731377261088 140731377261088 140731377266663 0
/proc/116696/statm: 606184 256899 8159 1 0 577542 0
Current children cumulated CPU time: 221.65 s

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


[startup+522.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/270 116816
/proc/meminfo: memFree=124641344/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
[pid=116696] ppid=116691 vsize=2678644 memory=1188376 CPUtime=499.05 cores=5,7
/proc/116696/stat : 116696 (python3) S 116691 116691 115877 0 -1 4194304 285324 0 0 0 49851 54 0 0 20 0 1 0 141129563 2742931456 297094 18446744073709551615 94013289349120 94013289349497 140731377252416 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94013289360792 94013289361412 94013295226880 140731377260879 140731377261088 140731377261088 140731377266663 0
/proc/116696/statm: 669661 297094 8191 1 0 641019 0
[pid=116815] ppid=116696 vsize=79012 memory=66928 CPUtime=21.66 cores=5,7
/proc/116815/stat : 116815 (naps-1.03a6) R 116696 116815 116815 0 -1 4194304 21960 0 0 0 2158 8 0 0 20 0 1 0 141179618 80908288 16732 18446744073709551615 4198400 7047149 140734913487024 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18243584 140734913493391 140734913493489 140734913493489 140734913499081 0
/proc/116815/statm: 19753 16732 544 696 0 18914 0
Current children cumulated CPU time: 520.71 s
Current children cumulated vsize: 2761848 KiB
Current children cumulated memory: 1258376 KiB

[startup+582.3 s]
/proc/loadavg: 4.04 4.07 4.01 5/270 116822
/proc/meminfo: memFree=124599824/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
[pid=116696] ppid=116691 vsize=2678644 memory=1188376 CPUtime=499.05 cores=5,7
/proc/116696/stat : 116696 (python3) S 116691 116691 115877 0 -1 4194304 285324 0 0 0 49851 54 0 0 20 0 1 0 141129563 2742931456 297094 18446744073709551615 94013289349120 94013289349497 140731377252416 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94013289360792 94013289361412 94013295226880 140731377260879 140731377261088 140731377261088 140731377266663 0
/proc/116696/statm: 669661 297094 8191 1 0 641019 0
[pid=116815] ppid=116696 vsize=79012 memory=71748 CPUtime=81.53 cores=5,7
/proc/116815/stat : 116815 (naps-1.03a6) R 116696 116815 116815 0 -1 4194304 22129 0 0 0 8144 9 0 0 20 0 1 0 141179618 80908288 17937 18446744073709551615 4198400 7047149 140734913487024 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18243584 140734913493391 140734913493489 140734913493489 140734913499081 0
/proc/116815/statm: 19753 17937 544 696 0 18914 0
Current children cumulated CPU time: 580.58 s
Current children cumulated vsize: 2761848 KiB
Current children cumulated memory: 1263196 KiB

[startup+642.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/270 116824
/proc/meminfo: memFree=124591872/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
[pid=116696] ppid=116691 vsize=2678644 memory=1188376 CPUtime=499.05 cores=5,7
/proc/116696/stat : 116696 (python3) S 116691 116691 115877 0 -1 4194304 285324 0 0 0 49851 54 0 0 20 0 1 0 141129563 2742931456 297094 18446744073709551615 94013289349120 94013289349497 140731377252416 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94013289360792 94013289361412 94013295226880 140731377260879 140731377261088 140731377261088 140731377266663 0
/proc/116696/statm: 669661 297094 8191 1 0 641019 0
[pid=116815] ppid=116696 vsize=79012 memory=75848 CPUtime=141.38 cores=5,7
/proc/116815/stat : 116815 (naps-1.03a6) R 116696 116815 116815 0 -1 4194304 22152 0 0 0 14129 9 0 0 20 0 1 0 141179618 80908288 18962 18446744073709551615 4198400 7047149 140734913487024 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18243584 140734913493391 140734913493489 140734913493489 140734913499081 0
/proc/116815/statm: 19753 18962 544 696 0 18914 0
Current children cumulated CPU time: 640.43 s
Current children cumulated vsize: 2761848 KiB
Current children cumulated memory: 1267296 KiB

[startup+702.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/270 116875
/proc/meminfo: memFree=124470232/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
[pid=116696] ppid=116691 vsize=2678644 memory=1188376 CPUtime=499.05 cores=5,7
/proc/116696/stat : 116696 (python3) S 116691 116691 115877 0 -1 4194304 285324 0 0 0 49851 54 0 0 20 0 1 0 141129563 2742931456 297094 18446744073709551615 94013289349120 94013289349497 140731377252416 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94013289360792 94013289361412 94013295226880 140731377260879 140731377261088 140731377261088 140731377266663 0
/proc/116696/statm: 669661 297094 8191 1 0 641019 0
[pid=116815] ppid=116696 vsize=79012 memory=75848 CPUtime=201.23 cores=5,7
/proc/116815/stat : 116815 (naps-1.03a6) R 116696 116815 116815 0 -1 4194304 22167 0 0 0 20114 9 0 0 20 0 1 0 141179618 80908288 18962 18446744073709551615 4198400 7047149 140734913487024 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18243584 140734913493391 140734913493489 140734913493489 140734913499081 0
/proc/116815/statm: 19753 18962 544 696 0 18914 0
Current children cumulated CPU time: 700.28 s
Current children cumulated vsize: 2761848 KiB
Current children cumulated memory: 1267296 KiB

[startup+762.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/270 116877
/proc/meminfo: memFree=124387592/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
[pid=116696] ppid=116691 vsize=2678644 memory=1188376 CPUtime=499.05 cores=5,7
/proc/116696/stat : 116696 (python3) S 116691 116691 115877 0 -1 4194304 285324 0 0 0 49851 54 0 0 20 0 1 0 141129563 2742931456 297094 18446744073709551615 94013289349120 94013289349497 140731377252416 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94013289360792 94013289361412 94013295226880 140731377260879 140731377261088 140731377261088 140731377266663 0
/proc/116696/statm: 669661 297094 8191 1 0 641019 0
[pid=116815] ppid=116696 vsize=95400 memory=85528 CPUtime=261.07 cores=5,7
/proc/116815/stat : 116815 (naps-1.03a6) R 116696 116815 116815 0 -1 4194304 38226 0 0 0 26091 16 0 0 20 0 1 0 141179618 97689600 21382 18446744073709551615 4198400 7047149 140734913487024 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18243584 140734913493391 140734913493489 140734913493489 140734913499081 0
/proc/116815/statm: 23850 21382 544 696 0 23011 0
Current children cumulated CPU time: 760.12 s
Current children cumulated vsize: 2778236 KiB
Current children cumulated memory: 1276976 KiB

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

# cumulated CPU time of all completed processes:  user=764.723 s, system=0.808796 s

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

[startup+764.8 s]
/proc/loadavg: 4.07 4.08 4.02 5/270 116877
/proc/meminfo: memFree=124387592/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
[pid=116696] ppid=116691 vsize=2678644 memory=1188376 CPUtime=499.05 cores=5,7
/proc/116696/stat : 116696 (python3) S 116691 116691 115877 0 -1 4194304 285324 0 0 0 49851 54 0 0 20 0 1 0 141129563 2742931456 297094 18446744073709551615 94013289349120 94013289349497 140731377252416 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94013289360792 94013289361412 94013295226880 140731377260879 140731377261088 140731377261088 140731377266663 0
/proc/116696/statm: 669661 297094 8191 1 0 641019 0
[pid=116815] ppid=116696 vsize=111784 memory=91032 CPUtime=263.56 cores=5,7
/proc/116815/stat : 116815 (naps-1.03a6) R 116696 116815 116815 0 -1 4194304 39417 0 0 0 26340 16 0 0 20 0 1 0 141179618 114466816 22758 18446744073709551615 4198400 7047149 140734913487024 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18243584 140734913493391 140734913493489 140734913493489 140734913499081 0
/proc/116815/statm: 27946 22758 544 696 0 27107 0
Current children cumulated CPU time: 762.61 s
Current children cumulated vsize: 2794620 KiB
Current children cumulated memory: 1282480 KiB

[startup+766.4 s]
/proc/loadavg: 4.07 4.08 4.02 5/270 116877
/proc/meminfo: memFree=124387592/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
[pid=116696] ppid=116691 vsize=2678644 memory=1188376 CPUtime=499.05 cores=5,7
/proc/116696/stat : 116696 (python3) S 116691 116691 115877 0 -1 4194304 285324 0 0 0 49851 54 0 0 20 0 1 0 141129563 2742931456 297094 18446744073709551615 94013289349120 94013289349497 140731377252416 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94013289360792 94013289361412 94013295226880 140731377260879 140731377261088 140731377261088 140731377266663 0
/proc/116696/statm: 669661 297094 8191 1 0 641019 0
[pid=116815] ppid=116696 vsize=111784 memory=88984 CPUtime=265.17 cores=5,7
/proc/116815/stat : 116815 (naps-1.03a6) R 116696 116815 116815 0 -1 4194304 40256 0 0 0 26500 17 0 0 20 0 1 0 141179618 114466816 22246 18446744073709551615 4198400 7047149 140734913487024 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18243584 140734913493391 140734913493489 140734913493489 140734913499081 0
/proc/116815/statm: 27946 22246 544 696 0 27107 0
Current children cumulated CPU time: 764.22 s
Current children cumulated vsize: 2794620 KiB
Current children cumulated memory: 1280432 KiB

[startup+767.206 s]
/proc/loadavg: 4.15 4.10 4.02 5/270 116877
/proc/meminfo: memFree=124387592/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
[pid=116696] ppid=116691 vsize=2678644 memory=1188376 CPUtime=765.01 cores=5,7
/proc/116696/stat : 116696 (python3) R 116691 116691 115877 0 -1 4194304 298320 40259 0 0 49851 55 26578 17 20 0 1 0 141129563 2742931456 297094 18446744073709551615 94013289349120 94013289349497 140731377252416 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94013289360792 94013289361412 94013295226880 140731377260879 140731377261088 140731377261088 140731377266663 0
/proc/116696/statm: 669661 297094 8191 1 0 641019 0
Current children cumulated CPU time: 765.01 s
Current children cumulated vsize: 2682836 KiB
Current children cumulated memory: 1191448 KiB

[startup+767.6 s]
/proc/loadavg: 4.15 4.10 4.02 5/270 116877
/proc/meminfo: memFree=124387592/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
[pid=116696] ppid=116691 vsize=2677120 memory=1187080 CPUtime=765.4 cores=5,7
/proc/116696/stat : 116696 (python3) R 116691 116691 115877 0 -1 4194304 364836 40259 0 0 49887 58 26578 17 20 0 1 0 141129563 2741370880 296770 18446744073709551615 94013289349120 94013289349497 140731377252416 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94013289360792 94013289361412 94013295226880 140731377260879 140731377261088 140731377261088 140731377266663 0
/proc/116696/statm: 669280 296770 8191 1 0 640638 0
Current children cumulated CPU time: 765.4 s
Current children cumulated vsize: 2681312 KiB
Current children cumulated memory: 1190152 KiB

[startup+767.7 s]
/proc/loadavg: 4.15 4.10 4.02 5/270 116877
/proc/meminfo: memFree=124387592/131250000 swapFree=33010684/33010684
[pid=116691] ppid=116688 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/116691/stat : 116691 (scip-naps-1.00a) S 116688 116691 115877 0 -1 4194304 263 340 0 0 0 0 0 0 20 0 1 0 141129561 4292608 768 18446744073709551615 94222789058560 94222789953093 140720733620496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94222790192144 94222790239888 94222793723904 140720733628827 140720733628926 140720733628926 140720733634530 0
/proc/116691/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 767.706
CPU time (s): 765.532
CPU user time (s): 764.723
CPU system time (s): 0.808796
CPU usage (%): 99.7168
Max. virtual memory (cumulated for all children) (KiB): 2794620
Max. memory (cumulated for all children) (KiB): 1285296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 764.723
system time used= 0.808796
maximum resident set size= 1245280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 426755
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 355
involuntary context switches= 491


# summary of solver processes directly reported to runsolver:
#   pid: 116691
#   total CPU time (s): 765.532
#   total CPU user time (s): 764.723
#   total CPU system time (s): 0.808796

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.57233 second user time and 3.4872 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-11 19:31:10
IDJOB=4529820
IDBENCH=155520
IDSOLVER=3388
FILE ID=nodeC028/4529820-1752255070
RUNJOBID= nodeC028-1752253269-115890
SLURM_JOB_ID= 9682584
Free space on /tmp= 431164 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-73.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529820-1752255070/watcher-4529820-1752255070 -o /tmp/evaluation-result-4529820-1752255070/solver-4529820-1752255070 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1752253269-115890 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4529820-1752255070.opb

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

MD5SUM BENCH= f8b1a93d1916f081f91f241f6f5f832b
RANDOM SEED=579332622

nodeC028 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.078
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.16
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.089
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.16
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		: 3599.513
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.16
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		: 3600.272
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.16
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.079
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.16
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		: 3739.675
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.16
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		: 3578.932
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.16
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.002
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.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        123952928 kB
MemAvailable:   126381796 kB
Buffers:            3280 kB
Cached:          3226712 kB
SwapCached:            0 kB
Active:          2418476 kB
Inactive:        2913764 kB
Active(anon):    2120316 kB
Inactive(anon):        0 kB
Active(file):     298160 kB
Inactive(file):  2913764 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             12788 kB
Writeback:             0 kB
AnonPages:       2104928 kB
Mapped:           133772 kB
Shmem:             18068 kB
KReclaimable:     112368 kB
Slab:             205548 kB
SReclaimable:     112368 kB
SUnreclaim:        93180 kB
KernelStack:        4416 kB
PageTables:         7972 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    5857640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:    614400 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431156 MiB
End job on nodeC028 at 2025-07-11 19:43:58