Trace number 4530607

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP-NaPS 1.00a2? 1478.71 1483.77

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/wallon/
normalized-WordGolf-4-ogd2008-50-0_c24.opb
MD5SUM7b85ce4cd64937c81c9b69135828a61d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark329.026
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables333830
Total number of constraints1254811
Number of constraints which are clauses1252194
Number of constraints which are cardinality constraints (but not clauses)243
Number of constraints which are nor clauses,nor cardinality constraints2374
Minimum length of a constraint1
Maximum length of a constraint6530
Number of terms in the objective function 6
Biggest coefficient in the objective function 32
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 63
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 21247094
Number of bits of the biggest sum of numbers25
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1000.94/1004.47	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530607-1752264385.opb
1000.94/1004.47	c Solving mode: optimization
1000.94/1004.47	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
1000.94/1004.47	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
1000.94/1004.47	c original problem has 333830 variables (333830 bin, 0 int, 0 impl, 0 cont) and 1254811 constraints
1000.94/1004.47	c presolving:
1000.94/1004.47	c (round 1, fast)       142 del vars, 111 del conss, 292 add conss, 141 chg bounds, 1060 chg sides, 1521 chg coeffs, 0 upgd conss, 0 impls, 213131 clqs
1000.94/1004.47	c (round 2, fast)       148 del vars, 221 del conss, 292 add conss, 145 chg bounds, 166288 chg sides, 166749 chg coeffs, 0 upgd conss, 0 impls, 213127 clqs
1000.94/1004.47	c (round 3, fast)       4625 del vars, 227 del conss, 294 add conss, 4620 chg bounds, 166298 chg sides, 166777 chg coeffs, 0 upgd conss, 0 impls, 213131 clqs
1000.94/1004.47	c (round 4, fast)       5200 del vars, 227 del conss, 296 add conss, 5195 chg bounds, 169569 chg sides, 170856 chg coeffs, 0 upgd conss, 0 impls, 213131 clqs
1000.94/1004.47	c (round 5, exhaustive) 5269 del vars, 431 del conss, 298 add conss, 5264 chg bounds, 169596 chg sides, 178850 chg coeffs, 1254137 upgd conss, 0 impls, 213131 clqs
1000.94/1004.47	c (round 6, medium)     5272 del vars, 889 del conss, 1188 add conss, 5264 chg bounds, 169636 chg sides, 180021 chg coeffs, 1254137 upgd conss, 0 impls, 213131 clqs
1000.94/1004.47	c (round 7, exhaustive) 5272 del vars, 1935 del conss, 1546 add conss, 5264 chg bounds, 169662 chg sides, 180050 chg coeffs, 1254137 upgd conss, 0 impls, 213131 clqs
1000.94/1004.47	c    (138.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1000.94/1004.47	c    (139.4s) no symmetry present (symcode time: 0.43)
1000.94/1004.47	c presolving (8 rounds: 8 fast, 4 medium, 3 exhaustive):
1000.94/1004.47	c  5303 deleted vars, 1946 deleted constraints, 1546 added constraints, 5264 tightened bounds, 0 added holes, 169686 changed sides, 180075 changed coefficients
1000.94/1004.47	c  0 implications, 213131 cliques
1000.94/1004.47	c presolved problem has 328529 variables (328529 bin, 0 int, 0 impl, 0 cont) and 1254411 constraints
1000.94/1004.47	c    1381 constraints of type <knapsack>
1000.94/1004.47	c 1252095 constraints of type <setppc>
1000.94/1004.47	c     302 constraints of type <and>
1000.94/1004.47	c     531 constraints of type <linear>
1000.94/1004.47	c     102 constraints of type <logicor>
1000.94/1004.47	c transformed objective value is always integral (scale: 1)
1000.94/1004.47	c Presolving Time: 137.54
1000.94/1004.47	c 
1000.94/1004.47	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1000.94/1004.47	c   154s|     1 |     0 |  2744 |     - |  4354M |   0 | 328k|1254k|1254k|   0 |  0 |  37 |   0 | 1.000000e+00 |      --      |    Inf | unknown
1000.94/1004.47	c   321s|     1 |     0 | 23673 |     - |  4680M |   0 | 328k|1254k|1254k| 214 |  1 |  39 |   0 | 1.000000e+00 |      --      |    Inf | unknown
1000.94/1004.47	c   476s|     1 |     0 | 28042 |     - |  4947M |   0 | 328k|1254k|1255k| 365 |  2 |  39 |   0 | 2.000000e+00 |      --      |    Inf | unknown
1000.94/1004.47	c   646s|     1 |     0 | 32832 |     - |  5169M |   0 | 328k|1254k|1255k| 467 |  3 |  43 |   0 | 2.000000e+00 |      --      |    Inf | unknown
1000.94/1004.47	c   857s|     1 |     0 | 45137 |     - |  5384M |   0 | 328k|1254k|1255k| 575 |  4 |  44 |   0 | 2.000000e+00 |      --      |    Inf | unknown
1000.94/1004.47	c  1000s|     1 |     0 | 45137 |     - |  5407M |   0 | 328k|1254k|1255k| 655 |  5 |  45 |   0 | 2.000000e+00 |      --      |    Inf | unknown
1000.94/1004.47	c (node 1) LP solver hit time limit in LP 6 -- using pseudo solution instead
1000.94/1004.47	c 
1000.94/1004.47	c SCIP Status        : solving was interrupted [time limit reached]
1000.94/1004.47	c Solving Time (sec) : 1000.13
1000.94/1004.47	c Solving Nodes      : 1
1000.94/1004.47	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1000.94/1004.47	c Dual Bound         : +2.00000000000000e+00
1000.94/1004.47	c Gap                : infinite
1000.94/1004.47	c ----------------------------------------------------------------------
1000.94/1004.47	c dual bound: 2.0 -> 2
1000.94/1004.47	c primal bound: 1e+20 -> 100000000000000000000
1000.94/1004.47	c scip-goal-lb: 2
1000.94/1004.47	c scip-goal-ub: 100000000000000000000
1000.94/1004.47	c writing output to: HOME/tmpm2zywa1d.opb
1000.94/1004.47	c appending fixed variable constraints
1000.94/1004.47	c scip-fixed vars: 1.61% (5304/328529)
1000.94/1004.47	c ----------------------------------------------------------------------
1000.94/1004.47	c executing external solver: HOME/naps-1.03a6
1000.94/1004.47	c ----------------------------------------------------------------------
1000.94/1004.47	c command: HOME/naps-1.03a6 -goal-lb=2 -goal-ub=99999999999999999999 HOME/tmpm2zywa1d.opb
1001.04/1004.55	c NaPS 1.03a6.
1001.04/1004.55	c Input file name: HOME/tmpm2zywa1d.opb
1473.77/1478.85	c malloc failed in xmalloc
1473.77/1478.85	c
1473.77/1478.85	c *** TERMINATED *** by signal 15
1473.77/1478.85	c s UNKNOWN
1473.77/1478.85	c _____________________________________________________________________________
1473.77/1478.85	c std/band forms        : 546,132
1473.77/1478.85	c 2cl/3cl ITE-codings   : 0,0
1473.77/1478.85	c BDD/srt/adr Max costs : 442,9713773,0
1473.77/1478.85	c BDDraw/bin/mul/srt/adr: 255,0,190,233,0
1473.77/1478.85	c BDD nodes             : 73764
1473.77/1478.85	c Es1/CC detections     : 0,0
1473.77/1478.85	c CC sort               : 166
1473.77/1478.85	c SAT/UNSAT calls       : 0,0
1473.77/1478.85	c regenrated variables  : 0
1473.77/1478.85	c eliminated fixed lits : 5546
1473.77/1478.85	c goal lit flips        : 0
1473.77/1478.85	c goal stages           : 0
1473.77/1478.85	c goal shrink           : 0
1473.77/1478.85	c goal coeff separations: 0
1473.77/1478.85	c restarts              : 0
1473.77/1478.85	c conflicts             : 0              (0 /sec)
1473.77/1478.85	c decisions             : 0              (0 /sec)
1473.77/1478.85	c propagations          : 0              (0 /sec)
1473.77/1478.85	c inspects              : 0              (0 /sec)
1473.77/1478.85	c CPU time (solving tm) : 465.9 s        (0 s, SAT 0 s, UNSAT 0 s)
1473.77/1478.85	c Time for Opt-base     : 83.23 s
1473.77/1478.85	c Steps for Opt-base    : 446368000
1473.77/1478.85	c Time for BDD coding   : 0.4839 s
1473.77/1478.85	c Time for srt coding   : 356.9 s
1473.77/1478.85	c _____________________________________________________________________________
1001.06/1479.17	s UNKNOWN

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530607-1752264385/watcher-4530607-1752264385 -o /tmp/evaluation-result-4530607-1752264385/solver-4530607-1752264385 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752258008-122967 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530607-1752264385.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
Current StackSize limit: 8192 KiB

solver pid=124079, runsolver pid=124076

[startup+0.100063 s]*
/proc/loadavg: 4.08 4.10 4.09 5/272 124084
/proc/meminfo: memFree=121850684/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/statm: 1048 768 704 219 0 110 0
[pid=124084] ppid=124079 vsize=1187396 memory=32476 CPUtime=0.07 cores=5,7
/proc/124084/stat : 124084 (python3) R 124079 124079 122954 0 -1 4194304 3823 0 0 0 6 1 0 0 20 0 1 0 142116040 1215893504 8119 18446744073709551615 94764205289472 94764205289849 140735108951008 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94764205301144 94764205301764 94764219518976 140735108954462 140735108954656 140735108954656 140735108960231 0
/proc/124084/statm: 296849 8119 4926 1 0 268871 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191588 KiB
Current children cumulated memory: 35548 KiB

[startup+0.205993 s]*
/proc/loadavg: 4.08 4.10 4.09 5/272 124084
/proc/meminfo: memFree=121815672/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/statm: 1048 768 704 219 0 110 0
[pid=124084] ppid=124079 vsize=1228032 memory=79964 CPUtime=0.17 cores=5,7
/proc/124084/stat : 124084 (python3) R 124079 124079 122954 0 -1 4194304 13222 0 0 0 14 3 0 0 20 0 1 0 142116040 1257504768 19991 18446744073709551615 94764205289472 94764205289849 140735108951008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94764205301144 94764205301764 94764219518976 140735108954462 140735108954656 140735108954656 140735108960231 0
/proc/124084/statm: 307008 19991 7646 1 0 278366 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1232224 KiB
Current children cumulated memory: 83036 KiB

[startup+0.306032 s]*
/proc/loadavg: 4.08 4.10 4.09 5/272 124084
/proc/meminfo: memFree=121783416/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/statm: 1048 768 704 219 0 110 0
[pid=124084] ppid=124079 vsize=1260372 memory=111836 CPUtime=0.27 cores=5,7
/proc/124084/stat : 124084 (python3) R 124079 124079 122954 0 -1 4194304 21188 0 0 0 23 4 0 0 20 0 1 0 142116040 1290620928 27959 18446744073709551615 94764205289472 94764205289849 140735108951008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94764205301144 94764205301764 94764219518976 140735108954462 140735108954656 140735108954656 140735108960231 0
/proc/124084/statm: 315093 27959 7646 1 0 286451 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1264564 KiB
Current children cumulated memory: 114908 KiB

[startup+0.700206 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 124084
/proc/meminfo: memFree=121720316/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/statm: 1048 768 704 219 0 110 0
[pid=124084] ppid=124079 vsize=1389728 memory=239892 CPUtime=0.66 cores=5,7
/proc/124084/stat : 124084 (python3) R 124079 124079 122954 0 -1 4194304 52693 0 0 0 56 10 0 0 20 0 1 0 142116040 1423081472 59973 18446744073709551615 94764205289472 94764205289849 140735108951008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94764205301144 94764205301764 94764219518976 140735108954462 140735108954656 140735108954656 140735108960231 0
/proc/124084/statm: 347432 59973 7646 1 0 318790 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1393920 KiB
Current children cumulated memory: 242964 KiB

[startup+1.50021 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 124084
/proc/meminfo: memFree=121585008/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/statm: 1048 768 704 219 0 110 0
[pid=124084] ppid=124079 vsize=1646832 memory=496972 CPUtime=1.45 cores=5,7
/proc/124084/stat : 124084 (python3) R 124079 124079 122954 0 -1 4194304 114904 0 0 0 124 21 0 0 20 0 1 0 142116040 1686355968 124243 18446744073709551615 94764205289472 94764205289849 140735108951008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94764205301144 94764205301764 94764219518976 140735108954462 140735108954656 140735108954656 140735108960231 0
/proc/124084/statm: 411708 124243 7646 1 0 383066 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1651024 KiB
Current children cumulated memory: 500044 KiB

[startup+3.10588 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 124084
/proc/meminfo: memFree=120946964/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/statm: 1048 768 704 219 0 110 0
[pid=124084] ppid=124079 vsize=2209056 memory=1057616 CPUtime=3.05 cores=5,7
/proc/124084/stat : 124084 (python3) R 124079 124079 122954 0 -1 4194304 253391 0 0 0 263 42 0 0 20 0 1 0 142116040 2262073344 264404 18446744073709551615 94764205289472 94764205289849 140735108951008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94764205301144 94764205301764 94764219518976 140735108954462 140735108954656 140735108954656 140735108960231 0
/proc/124084/statm: 552264 264404 7806 1 0 523622 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 2213248 KiB
Current children cumulated memory: 1060688 KiB

[startup+6.3002 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 124084
/proc/meminfo: memFree=119470104/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/statm: 1048 768 704 219 0 110 0
[pid=124084] ppid=124079 vsize=3660872 memory=2482736 CPUtime=6.24 cores=5,7
/proc/124084/stat : 124084 (python3) R 124079 124079 122954 0 -1 4194304 567698 0 0 0 527 97 0 0 20 0 1 0 142116040 3748732928 620684 18446744073709551615 94764205289472 94764205289849 140735108951008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94764205301144 94764205301764 94764219518976 140735108954462 140735108954656 140735108954656 140735108960231 0
/proc/124084/statm: 915218 620684 7902 1 0 886576 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 3665064 KiB
Current children cumulated memory: 2485808 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 124084
/proc/meminfo: memFree=119225456/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/statm: 1048 768 704 219 0 110 0
[pid=124084] ppid=124079 vsize=4074792 memory=2842496 CPUtime=12.62 cores=5,7
/proc/124084/stat : 124084 (python3) R 124079 124079 122954 0 -1 4194304 639838 0 0 0 1153 109 0 0 20 0 1 0 142116040 4172587008 710624 18446744073709551615 94764205289472 94764205289849 140735108951008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94764205301144 94764205301764 94764219518976 140735108954462 140735108954656 140735108954656 140735108960231 0
/proc/124084/statm: 1018698 710624 7902 1 0 990056 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 4078984 KiB
Current children cumulated memory: 2845568 KiB

[startup+25.5002 s]
/proc/loadavg: 4.05 4.09 4.09 5/272 124084
/proc/meminfo: memFree=118635544/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/statm: 1048 768 704 219 0 110 0
[pid=124084] ppid=124079 vsize=4593688 memory=3348836 CPUtime=25.38 cores=5,7
/proc/124084/stat : 124084 (python3) R 124079 124079 122954 0 -1 4194304 696973 0 0 0 2414 124 0 0 20 0 1 0 142116040 4703936512 837209 18446744073709551615 94764205289472 94764205289849 140735108951008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94764205301144 94764205301764 94764219518976 140735108954462 140735108954656 140735108954656 140735108960231 0
/proc/124084/statm: 1148422 837209 7966 1 0 1119780 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 4597880 KiB
Current children cumulated memory: 3351908 KiB

[startup+51.1062 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 124086
/proc/meminfo: memFree=118587552/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/statm: 1048 768 704 219 0 110 0
[pid=124084] ppid=124079 vsize=4593688 memory=3348836 CPUtime=50.9 cores=5,7
/proc/124084/stat : 124084 (python3) R 124079 124079 122954 0 -1 4194304 696973 0 0 0 4966 124 0 0 20 0 1 0 142116040 4703936512 837209 18446744073709551615 94764205289472 94764205289849 140735108951008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94764205301144 94764205301764 94764219518976 140735108954462 140735108954656 140735108954656 140735108960231 0
/proc/124084/statm: 1148422 837209 7966 1 0 1119780 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 4597880 KiB
Current children cumulated memory: 3351908 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/273 124089
/proc/meminfo: memFree=115178024/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/statm: 1048 768 704 219 0 110 0
[pid=124084] ppid=124079 vsize=4593688 memory=3348836 CPUtime=101.91 cores=5,7
/proc/124084/stat : 124084 (python3) R 124079 124079 122954 0 -1 4194304 697031 0 0 0 10066 125 0 0 20 0 1 0 142116040 4703936512 837209 18446744073709551615 94764205289472 94764205289849 140735108951008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94764205301144 94764205301764 94764219518976 140735108954462 140735108954656 140735108954656 140735108960231 0
/proc/124084/statm: 1148422 837209 7966 1 0 1119780 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 4597880 KiB
Current children cumulated memory: 3351908 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/273 124091
/proc/meminfo: memFree=114363712/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/statm: 1048 768 704 219 0 110 0
[pid=124084] ppid=124079 vsize=6482892 memory=5056092 CPUtime=161.7 cores=5,7
/proc/124084/stat : 124084 (python3) R 124079 124079 122954 0 -1 4194304 927996 0 0 0 15980 190 0 0 20 0 1 0 142116040 6638481408 1264023 18446744073709551615 94764205289472 94764205289849 140735108951008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94764205301144 94764205301764 94764219518976 140735108954462 140735108954656 140735108954656 140735108960231 0
/proc/124084/statm: 1620723 1264023 8126 1 0 1592081 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 6487084 KiB
Current children cumulated memory: 5059164 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/272 124093
/proc/meminfo: memFree=114520432/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/statm: 1048 768 704 219 0 110 0
[pid=124084] ppid=124079 vsize=6482892 memory=5057244 CPUtime=221.5 cores=5,7
/proc/124084/stat : 124084 (python3) R 124079 124079 122954 0 -1 4194304 928491 0 0 0 21960 190 0 0 20 0 1 0 142116040 6638481408 1264311 18446744073709551615 94764205289472 94764205289849 140735108951008 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94764205301144 94764205301764 94764219518976 140735108954462 140735108954656 140735108954656 140735108960231 0
/proc/124084/statm: 1620723 1264311 8126 1 0 1592081 0
Current children cumulated CPU time: 221.5 s

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

[pid=124239] ppid=124084 vsize=7572676 memory=7351508 CPUtime=117.28 cores=5,7
/proc/124239/stat : 124239 (naps-1.03a6) R 124084 124239 124239 0 -1 4194304 813426 0 0 0 11460 268 0 0 20 0 1 0 142216490 7754420224 1837877 18446744073709551615 4198400 7047149 140724853967856 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 12427264 140724853971302 140724853971441 140724853971441 140724853977033 0
/proc/124239/statm: 1893169 1837877 576 696 0 1892330 0
Current children cumulated CPU time: 1118.34 s
Current children cumulated vsize: 15556300 KiB
Current children cumulated memory: 13375012 KiB

[startup+1182.3 s]
/proc/loadavg: 2.13 2.70 3.42 3/257 124249
/proc/meminfo: memFree=103192240/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/statm: 1048 768 704 219 0 110 0
[pid=124084] ppid=124079 vsize=7979432 memory=6020432 CPUtime=1001.06 cores=5,7
/proc/124084/stat : 124084 (python3) S 124079 124079 122954 0 -1 4194304 1043064 0 0 0 99850 256 0 0 20 0 1 0 142116040 8170938368 1505108 18446744073709551615 94764205289472 94764205289849 140735108951008 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94764205301144 94764205301764 94764219518976 140735108954462 140735108954656 140735108954656 140735108960231 0
/proc/124084/statm: 1994858 1505108 8158 1 0 1966216 0
[pid=124239] ppid=124084 vsize=15049772 memory=14655936 CPUtime=177.1 cores=5,7
/proc/124239/stat : 124239 (naps-1.03a6) R 124084 124239 124239 0 -1 4194304 1140068 0 0 0 17268 442 0 0 20 0 1 0 142216490 15410966528 3663984 18446744073709551615 4198400 7047149 140724853967856 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 12427264 140724853971302 140724853971441 140724853971441 140724853977033 0
/proc/124239/statm: 3762443 3663984 576 696 0 3761604 0
Current children cumulated CPU time: 1178.16 s
Current children cumulated vsize: 23033396 KiB
Current children cumulated memory: 20679440 KiB

[startup+1242.3 s]
/proc/loadavg: 2.10 2.58 3.34 3/257 124255
/proc/meminfo: memFree=104979120/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/statm: 1048 768 704 219 0 110 0
[pid=124084] ppid=124079 vsize=7979432 memory=6020432 CPUtime=1001.06 cores=5,7
/proc/124084/stat : 124084 (python3) S 124079 124079 122954 0 -1 4194304 1043064 0 0 0 99850 256 0 0 20 0 1 0 142116040 8170938368 1505108 18446744073709551615 94764205289472 94764205289849 140735108951008 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94764205301144 94764205301764 94764219518976 140735108954462 140735108954656 140735108954656 140735108960231 0
/proc/124084/statm: 1994858 1505108 8158 1 0 1966216 0
[pid=124239] ppid=124084 vsize=12966768 memory=12874008 CPUtime=236.92 cores=5,7
/proc/124239/stat : 124239 (naps-1.03a6) R 124084 124239 124239 0 -1 4194304 1297434 0 0 0 23213 479 0 0 20 0 1 0 142216490 13277970432 3218502 18446744073709551615 4198400 7047149 140724853967856 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 12427264 140724853971302 140724853971441 140724853971441 140724853977033 0
/proc/124239/statm: 3241692 3218502 576 696 0 3240853 0
Current children cumulated CPU time: 1237.98 s
Current children cumulated vsize: 20950392 KiB
Current children cumulated memory: 18897512 KiB

[startup+1302.3 s]
/proc/loadavg: 2.15 2.51 3.26 3/257 124257
/proc/meminfo: memFree=103439628/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/statm: 1048 768 704 219 0 110 0
[pid=124084] ppid=124079 vsize=7979432 memory=6020432 CPUtime=1001.06 cores=5,7
/proc/124084/stat : 124084 (python3) S 124079 124079 122954 0 -1 4194304 1043064 0 0 0 99850 256 0 0 20 0 1 0 142116040 8170938368 1505108 18446744073709551615 94764205289472 94764205289849 140735108951008 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94764205301144 94764205301764 94764219518976 140735108954462 140735108954656 140735108954656 140735108960231 0
/proc/124084/statm: 1994858 1505108 8158 1 0 1966216 0
[pid=124239] ppid=124084 vsize=15199132 memory=14414960 CPUtime=296.73 cores=5,7
/proc/124239/stat : 124239 (naps-1.03a6) R 124084 124239 124239 0 -1 4194304 1562243 0 0 0 29136 537 0 0 20 0 1 0 142216490 15563911168 3603740 18446744073709551615 4198400 7047149 140724853967856 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 12427264 140724853971302 140724853971441 140724853971441 140724853977033 0
/proc/124239/statm: 3799783 3603740 576 696 0 3798944 0
Current children cumulated CPU time: 1297.79 s
Current children cumulated vsize: 23182756 KiB
Current children cumulated memory: 20438464 KiB

[startup+1362.3 s]
/proc/loadavg: 2.11 2.43 3.18 3/257 124259
/proc/meminfo: memFree=102106556/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/statm: 1048 768 704 219 0 110 0
[pid=124084] ppid=124079 vsize=7979432 memory=6020432 CPUtime=1001.06 cores=5,7
/proc/124084/stat : 124084 (python3) S 124079 124079 122954 0 -1 4194304 1043064 0 0 0 99850 256 0 0 20 0 1 0 142116040 8170938368 1505108 18446744073709551615 94764205289472 94764205289849 140735108951008 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94764205301144 94764205301764 94764219518976 140735108954462 140735108954656 140735108954656 140735108960231 0
/proc/124084/statm: 1994858 1505108 8158 1 0 1966216 0
[pid=124239] ppid=124084 vsize=16095272 memory=15749440 CPUtime=356.55 cores=5,7
/proc/124239/stat : 124239 (naps-1.03a6) R 124084 124239 124239 0 -1 4194304 1791802 0 0 0 35064 591 0 0 20 0 1 0 142216490 16481558528 3937360 18446744073709551615 4198400 7047149 140724853967856 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 12427264 140724853971302 140724853971441 140724853971441 140724853977033 0
/proc/124239/statm: 4023818 3937360 576 696 0 4022979 0
Current children cumulated CPU time: 1357.61 s
Current children cumulated vsize: 24078896 KiB
Current children cumulated memory: 21772944 KiB

[startup+1422.3 s]
/proc/loadavg: 2.08 2.36 3.11 3/257 124262
/proc/meminfo: memFree=100792460/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/statm: 1048 768 704 219 0 110 0
[pid=124084] ppid=124079 vsize=7979432 memory=6020432 CPUtime=1001.06 cores=5,7
/proc/124084/stat : 124084 (python3) S 124079 124079 122954 0 -1 4194304 1043064 0 0 0 99850 256 0 0 20 0 1 0 142116040 8170938368 1505108 18446744073709551615 94764205289472 94764205289849 140735108951008 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94764205301144 94764205301764 94764219518976 140735108954462 140735108954656 140735108954656 140735108960231 0
/proc/124084/statm: 1994858 1505108 8158 1 0 1966216 0
[pid=124239] ppid=124084 vsize=18760144 memory=17042360 CPUtime=416.38 cores=5,7
/proc/124239/stat : 124239 (naps-1.03a6) R 124084 124239 124239 0 -1 4194304 2015930 0 0 0 40994 644 0 0 20 0 1 0 142216490 19210387456 4260590 18446744073709551615 4198400 7047149 140724853967856 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 12427264 140724853971302 140724853971441 140724853971441 140724853977033 0
/proc/124239/statm: 4690036 4260590 576 696 0 4689197 0
Current children cumulated CPU time: 1417.44 s
Current children cumulated vsize: 26743768 KiB
Current children cumulated memory: 23065864 KiB

[startup+1482.3 s]
/proc/loadavg: 2.13 2.32 3.05 3/255 124264
/proc/meminfo: memFree=117805720/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/statm: 1048 768 704 219 0 110 0
[pid=124084] ppid=124079 vsize=7944460 memory=5985752 CPUtime=1477.23 cores=5,7
/proc/124084/stat : 124084 (python3) R 124079 124079 122954 0 -1 4194304 1424801 2204037 0 0 100138 277 46585 723 20 0 1 0 142116040 8135127040 1496438 18446744073709551615 94764205289472 94764205289849 140735108951008 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94764205301144 94764205301764 94764219518976 140735108954462 140735108954656 140735108954656 140735108960231 0
/proc/124084/statm: 1986115 1496438 8158 1 0 1957473 0
Current children cumulated CPU time: 1477.23 s
Current children cumulated vsize: 7948652 KiB
Current children cumulated memory: 5988824 KiB

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

# cumulated CPU time of all completed processes:  user=1468.36 s, system=10.3521 s

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

[startup+1482.4 s]
/proc/loadavg: 2.13 2.32 3.05 3/255 124264
/proc/meminfo: memFree=117805720/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/statm: 1048 768 704 219 0 110 0
[pid=124084] ppid=124079 vsize=7933164 memory=5975980 CPUtime=1477.33 cores=5,7
/proc/124084/stat : 124084 (python3) R 124079 124079 122954 0 -1 4194304 1443589 2204037 0 0 100147 278 46585 723 20 0 1 0 142116040 8123559936 1493995 18446744073709551615 94764205289472 94764205289849 140735108951008 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94764205301144 94764205301764 94764219518976 140735108954462 140735108954656 140735108954656 140735108960231 0
/proc/124084/statm: 1983291 1493995 8158 1 0 1954649 0
Current children cumulated CPU time: 1477.33 s
Current children cumulated vsize: 7937356 KiB
Current children cumulated memory: 5979052 KiB

[startup+1483.2 s]
/proc/loadavg: 2.13 2.32 3.05 3/255 124264
/proc/meminfo: memFree=118151960/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/statm: 1048 768 704 219 0 110 0
[pid=124084] ppid=124079 vsize=7506424 memory=5619992 CPUtime=1478.12 cores=5,7
/proc/124084/stat : 124084 (python3) R 124079 124079 122954 0 -1 4194304 1687251 2204037 0 0 100214 290 46585 723 20 0 1 0 142116040 7686578176 1404998 18446744073709551615 94764205289472 94764205289849 140735108951008 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94764205301144 94764205301764 94764219518976 140735108954462 140735108954656 140735108954656 140735108960231 0
/proc/124084/statm: 1876606 1404998 8158 1 0 1847964 0
Current children cumulated CPU time: 1478.12 s
Current children cumulated vsize: 7510616 KiB
Current children cumulated memory: 5623064 KiB

[startup+1483.6 s]
/proc/loadavg: 2.13 2.32 3.05 3/255 124264
/proc/meminfo: memFree=118151960/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/statm: 1048 768 704 219 0 110 0
[pid=124084] ppid=124079 vsize=6070744 memory=4797084 CPUtime=1478.52 cores=5,7
/proc/124084/stat : 124084 (python3) R 124079 124079 122954 0 -1 4194304 1773141 2204037 0 0 100248 296 46585 723 20 0 1 0 142116040 6216441856 1199271 18446744073709551615 94764205289472 94764205289849 140735108951008 0 0 0 0 16781312 0 0 0 0 17 7 0 0 0 0 0 94764205301144 94764205301764 94764219518976 140735108954462 140735108954656 140735108954656 140735108960231 0
/proc/124084/statm: 1517686 1199271 8158 1 0 1489044 0
Current children cumulated CPU time: 1478.52 s
Current children cumulated vsize: 6074936 KiB
Current children cumulated memory: 4800156 KiB

[startup+1483.7 s]
/proc/loadavg: 2.13 2.32 3.05 3/255 124264
/proc/meminfo: memFree=118151960/131250000 swapFree=33008100/33010684
[pid=124079] ppid=124076 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/124079/stat : 124079 (scip-naps-1.00a) S 124076 124079 122954 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 142116038 4292608 768 18446744073709551615 93835597328384 93835598222917 140722435572688 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93835598461968 93835598509712 93835602149376 140722435578267 140722435578366 140722435578366 140722435583970 0
/proc/124079/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): 1483.77
CPU time (s): 1478.71
CPU user time (s): 1468.36
CPU system time (s): 10.3521
CPU usage (%): 99.6593
Max. virtual memory (cumulated for all children) (KiB): 27468768
Max. memory (cumulated for all children) (KiB): 24145200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1468.36
system time used= 10.3521
maximum resident set size= 18122720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3984511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 111632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357
involuntary context switches= 2446


# summary of solver processes directly reported to runsolver:
#   pid: 124079
#   total CPU time (s): 1478.71
#   total CPU user time (s): 1468.36
#   total CPU system time (s): 10.3521

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.67402 second user time and 7.63455 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-07-11 22:06:25
IDJOB=4530607
IDBENCH=180476
IDSOLVER=3388
FILE ID=nodeC019/4530607-1752264385
RUNJOBID= nodeC019-1752258008-122967
SLURM_JOB_ID= 9682610
Free space on /tmp= 431496 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-WordGolf-4-ogd2008-50-0_c24.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4530607-1752264385/watcher-4530607-1752264385 -o /tmp/evaluation-result-4530607-1752264385/solver-4530607-1752264385 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752258008-122967 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4530607-1752264385.opb

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

MD5SUM BENCH= 7b85ce4cd64937c81c9b69135828a61d
RANDOM SEED=1632283122

nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.680
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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.113
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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.910
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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		: 3599.455
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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		: 3599.756
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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		: 3855.036
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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		: 3612.130
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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.164
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        121819932 kB
MemAvailable:   123926896 kB
Buffers:             904 kB
Cached:          2905996 kB
SwapCached:          568 kB
Active:          6116668 kB
Inactive:        2693752 kB
Active(anon):    5893160 kB
Inactive(anon):    27320 kB
Active(file):     223508 kB
Inactive(file):  2666432 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008100 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             61252 kB
Writeback:             0 kB
AnonPages:       5902652 kB
Mapped:           134724 kB
Shmem:             16960 kB
KReclaimable:     112528 kB
Slab:             204788 kB
SReclaimable:     112528 kB
SUnreclaim:        92260 kB
KernelStack:        4384 kB
PageTables:        15236 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    9974712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3391488 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431476 MiB
End job on nodeC019 at 2025-07-11 22:31:09