Trace number 4545322

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.00a1? (TO) 3601.07 3611.29

General information on the benchmark

NamePB25/normalized-PB25/DEC-LIN/wallon/
normalized-SocialGolfers-08-04-08_c24.opb
MD5SUMe5dad10f2c51a051686c6ce21bebf57a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables101921
Total number of constraints213661
Number of constraints which are clauses56497
Number of constraints which are cardinality constraints (but not clauses)776
Number of constraints which are nor clauses,nor cardinality constraints156388
Minimum length of a constraint1
Maximum length of a constraint32
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 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

719.75/721.83	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4545322-1753228452.opb
719.75/721.83	c Solving mode: decision
719.75/721.83	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
719.75/721.83	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
719.75/721.83	c original problem has 101921 variables (101921 bin, 0 int, 0 impl, 0 cont) and 213661 constraints
719.75/721.83	c presolving:
719.75/721.83	c (round 1, fast)       14107 del vars, 13987 del conss, 256 add conss, 14106 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1710 clqs
719.75/721.83	c (round 2, fast)       27852 del vars, 57708 del conss, 264 add conss, 27742 chg bounds, 30947 chg sides, 38078 chg coeffs, 0 upgd conss, 0 impls, 25487 clqs
719.75/721.83	c (round 3, fast)       28135 del vars, 58536 del conss, 264 add conss, 27762 chg bounds, 30951 chg sides, 38078 chg coeffs, 0 upgd conss, 0 impls, 25377 clqs
719.75/721.83	c (round 4, medium)     30698 del vars, 58540 del conss, 264 add conss, 27762 chg bounds, 30951 chg sides, 38078 chg coeffs, 0 upgd conss, 0 impls, 20251 clqs
719.75/721.83	c (round 5, fast)       30698 del vars, 63666 del conss, 311 add conss, 27762 chg bounds, 30951 chg sides, 38078 chg coeffs, 0 upgd conss, 0 impls, 21685 clqs
719.75/721.83	c (round 6, exhaustive) 30698 del vars, 63769 del conss, 311 add conss, 27762 chg bounds, 30951 chg sides, 38219 chg coeffs, 146638 upgd conss, 0 impls, 21685 clqs
719.75/721.83	c (round 7, fast)       30698 del vars, 63769 del conss, 311 add conss, 27762 chg bounds, 33718 chg sides, 63934 chg coeffs, 146638 upgd conss, 0 impls, 21685 clqs
719.75/721.83	c (round 8, medium)     30698 del vars, 89010 del conss, 54846 add conss, 27762 chg bounds, 36882 chg sides, 70018 chg coeffs, 146638 upgd conss, 0 impls, 68882 clqs
719.75/721.83	c (round 9, fast)       30698 del vars, 91781 del conss, 57617 add conss, 27762 chg bounds, 36882 chg sides, 70018 chg coeffs, 146638 upgd conss, 0 impls, 68882 clqs
719.75/721.83	c (round 10, exhaustive) 30698 del vars, 168193 del conss, 82625 add conss, 27762 chg bounds, 36882 chg sides, 70018 chg coeffs, 146638 upgd conss, 0 impls, 68882 clqs
719.75/721.83	c (round 11, exhaustive) 35610 del vars, 173105 del conss, 82625 add conss, 27762 chg bounds, 36882 chg sides, 70202 chg coeffs, 146638 upgd conss, 0 impls, 56727 clqs
719.75/721.83	c (round 12, exhaustive) 36490 del vars, 174105 del conss, 82745 add conss, 27762 chg bounds, 36882 chg sides, 70202 chg coeffs, 146638 upgd conss, 0 impls, 55223 clqs
719.75/721.83	c (round 13, exhaustive) 36490 del vars, 174105 del conss, 82745 add conss, 27762 chg bounds, 36882 chg sides, 70202 chg coeffs, 149951 upgd conss, 0 impls, 55342 clqs
719.75/721.83	c (round 14, medium)     36490 del vars, 177250 del conss, 89030 add conss, 27762 chg bounds, 36904 chg sides, 70877 chg coeffs, 149951 upgd conss, 0 impls, 61728 clqs
719.75/721.83	c (round 15, exhaustive) 36490 del vars, 187006 del conss, 92297 add conss, 27762 chg bounds, 36904 chg sides, 70877 chg coeffs, 149951 upgd conss, 0 impls, 61728 clqs
719.75/721.83	c (round 16, medium)     36721 del vars, 187006 del conss, 92297 add conss, 27762 chg bounds, 37135 chg sides, 71108 chg coeffs, 149951 upgd conss, 0 impls, 61035 clqs
719.75/721.83	c (round 17, fast)       36721 del vars, 187217 del conss, 92297 add conss, 27762 chg bounds, 37135 chg sides, 71108 chg coeffs, 149951 upgd conss, 0 impls, 61035 clqs
719.75/721.83	c (round 18, exhaustive) 37113 del vars, 187609 del conss, 92297 add conss, 27762 chg bounds, 37135 chg sides, 71116 chg coeffs, 149951 upgd conss, 0 impls, 60047 clqs
719.75/721.83	c    (70.1s) probing: 1000/64875 (1.5%) - 0 fixings, 0 aggregations, 7623 implications, 0 bound changes
719.75/721.83	c    (70.2s) probing: 1001/64875 (1.5%) - 0 fixings, 0 aggregations, 7627 implications, 0 bound changes
719.75/721.83	c    (70.2s) probing aborted: 1000/1000 successive useless probings
719.75/721.83	c    (70.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
719.75/721.83	c    (70.6s) symmetry computation finished: 11 generators found (max: 986, log10 of symmetry group size: 0.0) (symcode time: 0.13)
719.75/721.83	c dynamic symmetry handling statistics:
719.75/721.83	c    orbitopal reduction:       no components
719.75/721.83	c    orbital reduction:         no components
719.75/721.83	c    lexicographic reduction:   no permutations
719.75/721.83	c handled 11 out of 11 symmetry components
719.75/721.83	c presolving (19 rounds: 19 fast, 12 medium, 8 exhaustive):
719.75/721.83	c  37113 deleted vars, 187609 deleted constraints, 92308 added constraints, 27762 tightened bounds, 0 added holes, 37135 changed sides, 71116 changed coefficients
719.75/721.83	c  0 implications, 67685 cliques
719.75/721.83	c presolved problem has 64875 variables (64875 bin, 0 int, 0 impl, 0 cont) and 118360 constraints
719.75/721.83	c   78985 constraints of type <knapsack>
719.75/721.83	c   15320 constraints of type <setppc>
719.75/721.83	c   20553 constraints of type <and>
719.75/721.83	c     263 constraints of type <linear>
719.75/721.83	c    3239 constraints of type <logicor>
719.75/721.83	c transformed objective value is always integral (scale: 1)
719.75/721.83	c Presolving Time: 70.26
719.75/721.83	c 
719.75/721.83	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
719.75/721.83	c   126s|     1 |     0 | 38233 |     - |  1025M |   0 |  64k| 118k| 138k|   0 |  0 |  40 |   0 | 0.000000e+00 |      --      |    Inf | unknown
719.75/721.83	c 
719.75/721.83	c SCIP Status        : solving was interrupted [time limit reached]
719.75/721.83	c Solving Time (sec) : 720.73
719.75/721.83	c Solving Nodes      : 1
719.75/721.83	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
719.75/721.83	c Dual Bound         : +0.00000000000000e+00
719.75/721.83	c Gap                : infinite
719.75/721.83	c ----------------------------------------------------------------------
719.75/721.83	c dual bound: 0.0 -> 0
719.75/721.83	c primal bound: 1e+20 -> 100000000000000000000
719.75/721.83	c scip-goal-lb: 0
719.75/721.83	c scip-goal-ub: 100000000000000000000
719.75/721.83	c writing output to: HOME/tmpfh9nvr8p.opb
719.75/721.83	c appending fixed variable constraints
719.75/721.83	c scip-fixed vars: 42.95% (27865/64875)
719.75/721.83	c ----------------------------------------------------------------------
719.75/721.83	c executing external solver: HOME/naps-1.03a6
719.75/721.83	c ----------------------------------------------------------------------
719.75/721.83	c command: HOME/naps-1.03a6 HOME/tmpfh9nvr8p.opb
719.75/721.87	c NaPS 1.03a6.
719.75/721.87	c Input file name: HOME/tmpfh9nvr8p.opb
3600.06/3610.30	c
3600.06/3610.30	c *** TERMINATED *** by signal 15
3600.06/3610.30	c _____________________________________________________________________________
3600.06/3610.30	c std/band forms        : 156852,256
3600.06/3610.30	c 2cl/3cl ITE-codings   : 33536,2560
3600.06/3610.30	c BDD/srt/adr Max costs : 33,383,0
3600.06/3610.30	c BDDraw/bin/mul/srt/adr: 156332,0,0,776,0
3600.06/3610.30	c BDD nodes             : 1160804
3600.06/3610.30	c Es1/CC detections     : 0,0
3600.06/3610.30	c CC sort               : 712
3600.06/3610.30	c SAT/UNSAT calls       : 0,0
3600.06/3610.30	c regenrated variables  : 0
3600.06/3610.30	c eliminated fixed lits : 37789
3600.06/3610.30	c goal lit flips        : 0
3600.06/3610.30	c goal stages           : 0
3600.06/3610.30	c goal shrink           : 0
3600.06/3610.30	c goal coeff separations: 0
3600.06/3610.30	c restarts              : 0
3600.06/3610.30	c conflicts             : 0              (0 /sec)
3600.06/3610.30	c decisions             : 0              (0 /sec)
3600.06/3610.30	c propagations          : 0              (0 /sec)
3600.06/3610.30	c inspects              : 0              (0 /sec)
3600.06/3610.30	c CPU time (solving tm) : 2875 s        (2869 s, SAT 0 s, UNSAT 0 s)
3600.06/3610.30	c Time for Opt-base     : 0.004053 s
3600.06/3610.30	c Steps for Opt-base    : 0
3600.06/3610.30	c Time for BDD coding   : 2.506 s
3600.06/3610.30	c Time for srt coding   : 0.006145 s
3600.06/3610.30	c _____________________________________________________________________________
3600.06/3610.30	s UNKNOWN
3600.87/3611.13	c received SIGTERM, forwarding to pbsolver...
3600.87/3611.13	c failed to send SIGTERM to pbsolver: [Errno 3] No such process

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61487 MiB free)
  memory of node 1: 64465 MiB (50163 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545322-1753228452/watcher-4545322-1753228452 -o /tmp/evaluation-result-4545322-1753228452/solver-4545322-1753228452 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753222578-168828 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4545322-1753228452.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=172078, runsolver pid=172075
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.12 4.12 4.09 5/269 172083
/proc/meminfo: memFree=114321324/131249988 swapFree=33010416/33010684
[pid=172078] ppid=172075 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172078/stat : 172078 (scip-naps-1.00.) S 172075 172078 168818 0 -1 4194304 259 333 0 0 0 0 0 0 20 0 1 0 238523785 4292608 736 18446744073709551615 93834862546944 93834863441477 140736903994112 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93834863680528 93834863728272 93834869022720 140736903997855 140736903997952 140736903997952 140736904003556 0
/proc/172078/statm: 1048 736 672 219 0 110 0
[pid=172083] ppid=172078 vsize=1186916 memory=31880 CPUtime=0.06 cores=0,2
/proc/172083/stat : 172083 (python3) R 172078 172078 168818 0 -1 4194304 3726 0 0 0 5 1 0 0 20 0 1 0 238523787 1215401984 7970 18446744073709551615 94443173257216 94443173257593 140724998827984 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94443173268888 94443173269508 94443196256256 140724998830422 140724998830624 140724998830624 140724998836199 0
/proc/172083/statm: 296729 7970 4898 1 0 268751 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191108 KiB
Current children cumulated memory: 34824 KiB

[startup+0.205706 s]*
/proc/loadavg: 4.12 4.12 4.09 5/269 172083
/proc/meminfo: memFree=114297384/131249988 swapFree=33010416/33010684
[pid=172078] ppid=172075 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172078/stat : 172078 (scip-naps-1.00.) S 172075 172078 168818 0 -1 4194304 259 333 0 0 0 0 0 0 20 0 1 0 238523785 4292608 736 18446744073709551615 93834862546944 93834863441477 140736903994112 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93834863680528 93834863728272 93834869022720 140736903997855 140736903997952 140736903997952 140736904003556 0
/proc/172078/statm: 1048 736 672 219 0 110 0
[pid=172083] ppid=172078 vsize=1222264 memory=73736 CPUtime=0.17 cores=0,2
/proc/172083/stat : 172083 (python3) R 172078 172078 168818 0 -1 4194304 11716 0 0 0 14 3 0 0 20 0 1 0 238523787 1251598336 18434 18446744073709551615 94443173257216 94443173257593 140724998827984 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94443173268888 94443173269508 94443196256256 140724998830422 140724998830624 140724998830624 140724998836199 0
/proc/172083/statm: 305566 18434 7586 1 0 276924 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1226456 KiB
Current children cumulated memory: 76680 KiB

[startup+0.305604 s]*
/proc/loadavg: 4.12 4.12 4.09 5/269 172083
/proc/meminfo: memFree=114265128/131249988 swapFree=33010416/33010684
[pid=172078] ppid=172075 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172078/stat : 172078 (scip-naps-1.00.) S 172075 172078 168818 0 -1 4194304 259 333 0 0 0 0 0 0 20 0 1 0 238523785 4292608 736 18446744073709551615 93834862546944 93834863441477 140736903994112 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93834863680528 93834863728272 93834869022720 140736903997855 140736903997952 140736903997952 140736904003556 0
/proc/172078/statm: 1048 736 672 219 0 110 0
[pid=172083] ppid=172078 vsize=1255080 memory=106248 CPUtime=0.27 cores=0,2
/proc/172083/stat : 172083 (python3) R 172078 172078 168818 0 -1 4194304 19850 0 0 0 23 4 0 0 20 0 1 0 238523787 1285201920 26562 18446744073709551615 94443173257216 94443173257593 140724998827984 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94443173268888 94443173269508 94443196256256 140724998830422 140724998830624 140724998830624 140724998836199 0
/proc/172083/statm: 313770 26562 7586 1 0 285128 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1259272 KiB
Current children cumulated memory: 109192 KiB

[startup+0.700213 s]
/proc/loadavg: 4.12 4.12 4.09 5/269 172083
/proc/meminfo: memFree=114190536/131249988 swapFree=33010416/33010684
[pid=172078] ppid=172075 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172078/stat : 172078 (scip-naps-1.00.) S 172075 172078 168818 0 -1 4194304 259 333 0 0 0 0 0 0 20 0 1 0 238523785 4292608 736 18446744073709551615 93834862546944 93834863441477 140736903994112 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93834863680528 93834863728272 93834869022720 140736903997855 140736903997952 140736903997952 140736904003556 0
/proc/172078/statm: 1048 736 672 219 0 110 0
[pid=172083] ppid=172078 vsize=1387756 memory=237704 CPUtime=0.65 cores=0,2
/proc/172083/stat : 172083 (python3) R 172078 172078 168818 0 -1 4194304 52694 0 0 0 56 9 0 0 20 0 1 0 238523787 1421062144 59426 18446744073709551615 94443173257216 94443173257593 140724998827984 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94443173268888 94443173269508 94443196256256 140724998830422 140724998830624 140724998830624 140724998836199 0
/proc/172083/statm: 346939 59426 7586 1 0 318297 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1391948 KiB
Current children cumulated memory: 240648 KiB

[startup+1.5002 s]
/proc/loadavg: 4.12 4.12 4.09 5/269 172083
/proc/meminfo: memFree=113940572/131249988 swapFree=33010416/33010684
[pid=172078] ppid=172075 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172078/stat : 172078 (scip-naps-1.00.) S 172075 172078 168818 0 -1 4194304 259 333 0 0 0 0 0 0 20 0 1 0 238523785 4292608 736 18446744073709551615 93834862546944 93834863441477 140736903994112 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93834863680528 93834863728272 93834869022720 140736903997855 140736903997952 140736903997952 140736904003556 0
/proc/172078/statm: 1048 736 672 219 0 110 0
[pid=172083] ppid=172078 vsize=1741192 memory=584072 CPUtime=1.45 cores=0,2
/proc/172083/stat : 172083 (python3) R 172078 172078 168818 0 -1 4194304 139051 0 0 0 121 24 0 0 20 0 1 0 238523787 1782980608 146018 18446744073709551615 94443173257216 94443173257593 140724998827984 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94443173268888 94443173269508 94443196256256 140724998830422 140724998830624 140724998830624 140724998836199 0
/proc/172083/statm: 435298 146018 7842 1 0 406656 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1745384 KiB
Current children cumulated memory: 587016 KiB

[startup+3.1054 s]
/proc/loadavg: 4.12 4.12 4.09 5/269 172083
/proc/meminfo: memFree=113597804/131249988 swapFree=33010416/33010684
[pid=172078] ppid=172075 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172078/stat : 172078 (scip-naps-1.00.) S 172075 172078 168818 0 -1 4194304 259 333 0 0 0 0 0 0 20 0 1 0 238523785 4292608 736 18446744073709551615 93834862546944 93834863441477 140736903994112 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93834863680528 93834863728272 93834869022720 140736903997855 140736903997952 140736903997952 140736904003556 0
/proc/172078/statm: 1048 736 672 219 0 110 0
[pid=172083] ppid=172078 vsize=1924192 memory=761608 CPUtime=3.06 cores=0,2
/proc/172083/stat : 172083 (python3) R 172078 172078 168818 0 -1 4194304 183445 0 0 0 275 31 0 0 20 0 1 0 238523787 1970372608 190402 18446744073709551615 94443173257216 94443173257593 140724998827984 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94443173268888 94443173269508 94443196256256 140724998830422 140724998830624 140724998830624 140724998836199 0
/proc/172083/statm: 481048 190402 7874 1 0 452406 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1928384 KiB
Current children cumulated memory: 764552 KiB

[startup+6.30022 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 172083
/proc/meminfo: memFree=113558800/131249988 swapFree=33010416/33010684
[pid=172078] ppid=172075 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172078/stat : 172078 (scip-naps-1.00.) S 172075 172078 168818 0 -1 4194304 259 333 0 0 0 0 0 0 20 0 1 0 238523785 4292608 736 18446744073709551615 93834862546944 93834863441477 140736903994112 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93834863680528 93834863728272 93834869022720 140736903997855 140736903997952 140736903997952 140736904003556 0
/proc/172078/statm: 1048 736 672 219 0 110 0
[pid=172083] ppid=172078 vsize=1936920 memory=774280 CPUtime=6.23 cores=0,2
/proc/172083/stat : 172083 (python3) R 172078 172078 168818 0 -1 4194304 186773 0 0 0 592 31 0 0 20 0 1 0 238523787 1983406080 193570 18446744073709551615 94443173257216 94443173257593 140724998827984 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94443173268888 94443173269508 94443196256256 140724998830422 140724998830624 140724998830624 140724998836199 0
/proc/172083/statm: 484230 193570 7906 1 0 455588 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1941112 KiB
Current children cumulated memory: 777224 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 172084
/proc/meminfo: memFree=113585568/131249988 swapFree=33010416/33010684
[pid=172078] ppid=172075 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172078/stat : 172078 (scip-naps-1.00.) S 172075 172078 168818 0 -1 4194304 259 333 0 0 0 0 0 0 20 0 1 0 238523785 4292608 736 18446744073709551615 93834862546944 93834863441477 140736903994112 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93834863680528 93834863728272 93834869022720 140736903997855 140736903997952 140736903997952 140736904003556 0
/proc/172078/statm: 1048 736 672 219 0 110 0
[pid=172083] ppid=172078 vsize=1939280 memory=777736 CPUtime=12.62 cores=0,2
/proc/172083/stat : 172083 (python3) R 172078 172078 168818 0 -1 4194304 187933 0 0 0 1230 32 0 0 20 0 1 0 238523787 1985822720 194434 18446744073709551615 94443173257216 94443173257593 140724998827984 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94443173268888 94443173269508 94443196256256 140724998830422 140724998830624 140724998830624 140724998836199 0
/proc/172083/statm: 484820 194434 7906 1 0 456178 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1943472 KiB
Current children cumulated memory: 780680 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.12 4.09 5/269 172084
/proc/meminfo: memFree=113542124/131249988 swapFree=33010416/33010684
[pid=172078] ppid=172075 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172078/stat : 172078 (scip-naps-1.00.) S 172075 172078 168818 0 -1 4194304 259 333 0 0 0 0 0 0 20 0 1 0 238523785 4292608 736 18446744073709551615 93834862546944 93834863441477 140736903994112 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93834863680528 93834863728272 93834869022720 140736903997855 140736903997952 140736903997952 140736904003556 0
/proc/172078/statm: 1048 736 672 219 0 110 0
[pid=172083] ppid=172078 vsize=1939280 memory=777736 CPUtime=25.38 cores=0,2
/proc/172083/stat : 172083 (python3) R 172078 172078 168818 0 -1 4194304 187933 0 0 0 2506 32 0 0 20 0 1 0 238523787 1985822720 194434 18446744073709551615 94443173257216 94443173257593 140724998827984 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94443173268888 94443173269508 94443196256256 140724998830422 140724998830624 140724998830624 140724998836199 0
/proc/172083/statm: 484820 194434 7906 1 0 456178 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1943472 KiB
Current children cumulated memory: 780680 KiB

[startup+51.1055 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 172084
/proc/meminfo: memFree=113535752/131249988 swapFree=33010416/33010684
[pid=172078] ppid=172075 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172078/stat : 172078 (scip-naps-1.00.) S 172075 172078 168818 0 -1 4194304 259 333 0 0 0 0 0 0 20 0 1 0 238523785 4292608 736 18446744073709551615 93834862546944 93834863441477 140736903994112 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93834863680528 93834863728272 93834869022720 140736903997855 140736903997952 140736903997952 140736904003556 0
/proc/172078/statm: 1048 736 672 219 0 110 0
[pid=172083] ppid=172078 vsize=1940304 memory=778760 CPUtime=50.9 cores=0,2
/proc/172083/stat : 172083 (python3) R 172078 172078 168818 0 -1 4194304 188189 0 0 0 5057 33 0 0 20 0 1 0 238523787 1986871296 194690 18446744073709551615 94443173257216 94443173257593 140724998827984 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94443173268888 94443173269508 94443196256256 140724998830422 140724998830624 140724998830624 140724998836199 0
/proc/172083/statm: 485076 194690 7906 1 0 456434 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1944496 KiB
Current children cumulated memory: 781704 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 172086
/proc/meminfo: memFree=113181844/131249988 swapFree=33010416/33010684
[pid=172078] ppid=172075 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172078/stat : 172078 (scip-naps-1.00.) S 172075 172078 168818 0 -1 4194304 259 333 0 0 0 0 0 0 20 0 1 0 238523785 4292608 736 18446744073709551615 93834862546944 93834863441477 140736903994112 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93834863680528 93834863728272 93834869022720 140736903997855 140736903997952 140736903997952 140736904003556 0
/proc/172078/statm: 1048 736 672 219 0 110 0
[pid=172083] ppid=172078 vsize=2365384 memory=1100028 CPUtime=101.94 cores=0,2
/proc/172083/stat : 172083 (python3) R 172078 172078 168818 0 -1 4194304 269065 0 0 0 10145 49 0 0 20 0 1 0 238523787 2422153216 275007 18446744073709551615 94443173257216 94443173257593 140724998827984 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94443173268888 94443173269508 94443196256256 140724998830422 140724998830624 140724998830624 140724998836199 0
/proc/172083/statm: 591346 275007 8130 1 0 562704 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 2369576 KiB
Current children cumulated memory: 1102972 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 172088
/proc/meminfo: memFree=113169804/131249988 swapFree=33010416/33010684
[pid=172078] ppid=172075 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172078/stat : 172078 (scip-naps-1.00.) S 172075 172078 168818 0 -1 4194304 259 333 0 0 0 0 0 0 20 0 1 0 238523785 4292608 736 18446744073709551615 93834862546944 93834863441477 140736903994112 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93834863680528 93834863728272 93834869022720 140736903997855 140736903997952 140736903997952 140736904003556 0
/proc/172078/statm: 1048 736 672 219 0 110 0
[pid=172083] ppid=172078 vsize=2391524 memory=1120644 CPUtime=161.79 cores=0,2
/proc/172083/stat : 172083 (python3) R 172078 172078 168818 0 -1 4194304 270680 0 0 0 16126 53 0 0 20 0 1 0 238523787 2448920576 280161 18446744073709551615 94443173257216 94443173257593 140724998827984 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94443173268888 94443173269508 94443196256256 140724998830422 140724998830624 140724998830624 140724998836199 0
/proc/172083/statm: 597881 280161 8130 1 0 569239 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 2395716 KiB
Current children cumulated memory: 1123588 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 172090
/proc/meminfo: memFree=113066376/131249988 swapFree=33010416/33010684
[pid=172078] ppid=172075 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172078/stat : 172078 (scip-naps-1.00.) S 172075 172078 168818 0 -1 4194304 259 333 0 0 0 0 0 0 20 0 1 0 238523785 4292608 736 18446744073709551615 93834862546944 93834863441477 140736903994112 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93834863680528 93834863728272 93834869022720 140736903997855 140736903997952 140736903997952 140736904003556 0
/proc/172078/statm: 1048 736 672 219 0 110 0
[pid=172083] ppid=172078 vsize=2391524 memory=1122888 CPUtime=221.59 cores=0,2
/proc/172083/stat : 172083 (python3) R 172078 172078 168818 0 -1 4194304 270798 0 0 0 22105 54 0 0 20 0 1 0 238523787 2448920576 280722 18446744073709551615 94443173257216 94443173257593 140724998827984 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94443173268888 94443173269508 94443196256256 140724998830422 140724998830624 140724998830624 140724998836199 0
/proc/172083/statm: 597881 280722 8130 1 0 569239 0
Current children cumulated CPU time: 221.59 s

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

/proc/172133/stat : 172133 (naps-1.03a6) R 172083 172133 172133 0 -1 4194304 1038537 0 0 0 254888 437 0 0 20 0 1 0 238595971 339517440 80075 18446744073709551615 4198400 7047149 140729836395872 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 40939520 140729836398991 140729836399089 140729836399089 140729836404681 0
/proc/172133/statm: 82890 80075 544 696 0 82051 0
Current children cumulated CPU time: 3273.06 s
Current children cumulated vsize: 3035160 KiB
Current children cumulated memory: 1749268 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/270 172448
/proc/meminfo: memFree=118627996/131249988 swapFree=33010416/33010684
[pid=172078] ppid=172075 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172078/stat : 172078 (scip-naps-1.00.) S 172075 172078 168818 0 -1 4194304 259 333 0 0 0 0 0 0 20 0 1 0 238523785 4292608 736 18446744073709551615 93834862546944 93834863441477 140736903994112 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93834863680528 93834863728272 93834869022720 140736903997855 140736903997952 140736903997952 140736904003556 0
/proc/172078/statm: 1048 736 672 219 0 110 0
[pid=172083] ppid=172078 vsize=2699408 memory=1426024 CPUtime=719.81 cores=0,2
/proc/172083/stat : 172083 (python3) S 172078 172078 168818 0 -1 4194304 346199 0 0 0 71904 77 0 0 20 0 1 0 238523787 2764193792 356506 18446744073709551615 94443173257216 94443173257593 140724998827984 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94443173268888 94443173269508 94443196256256 140724998830422 140724998830624 140724998830624 140724998836199 0
/proc/172083/statm: 674852 356506 8162 1 0 646210 0
[pid=172133] ppid=172083 vsize=331560 memory=317872 CPUtime=2613.06 cores=0,2
/proc/172133/stat : 172133 (naps-1.03a6) R 172083 172133 172133 0 -1 4194304 1074172 0 0 0 260853 453 0 0 20 0 1 0 238595971 339517440 79468 18446744073709551615 4198400 7047149 140729836395872 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 40939520 140729836398991 140729836399089 140729836399089 140729836404681 0
/proc/172133/statm: 82890 79468 544 696 0 82051 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 3035160 KiB
Current children cumulated memory: 1746840 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 172548
/proc/meminfo: memFree=121137048/131249988 swapFree=33010416/33010684
[pid=172078] ppid=172075 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172078/stat : 172078 (scip-naps-1.00.) S 172075 172078 168818 0 -1 4194304 259 333 0 0 0 0 0 0 20 0 1 0 238523785 4292608 736 18446744073709551615 93834862546944 93834863441477 140736903994112 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93834863680528 93834863728272 93834869022720 140736903997855 140736903997952 140736903997952 140736904003556 0
/proc/172078/statm: 1048 736 672 219 0 110 0
[pid=172083] ppid=172078 vsize=2699408 memory=1426024 CPUtime=719.81 cores=0,2
/proc/172083/stat : 172083 (python3) S 172078 172078 168818 0 -1 4194304 346199 0 0 0 71904 77 0 0 20 0 1 0 238523787 2764193792 356506 18446744073709551615 94443173257216 94443173257593 140724998827984 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94443173268888 94443173269508 94443196256256 140724998830422 140724998830624 140724998830624 140724998836199 0
/proc/172083/statm: 674852 356506 8162 1 0 646210 0
[pid=172133] ppid=172083 vsize=331556 memory=316680 CPUtime=2672.86 cores=0,2
/proc/172133/stat : 172133 (naps-1.03a6) R 172083 172133 172133 0 -1 4194304 1175565 0 0 0 266794 492 0 0 20 0 1 0 238595971 339513344 79170 18446744073709551615 4198400 7047149 140729836395872 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 40939520 140729836398991 140729836399089 140729836399089 140729836404681 0
/proc/172133/statm: 82889 79170 544 696 0 82050 0
Current children cumulated CPU time: 3392.67 s
Current children cumulated vsize: 3035156 KiB
Current children cumulated memory: 1745648 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 172553
/proc/meminfo: memFree=120944340/131249988 swapFree=33010416/33010684
[pid=172078] ppid=172075 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172078/stat : 172078 (scip-naps-1.00.) S 172075 172078 168818 0 -1 4194304 259 333 0 0 0 0 0 0 20 0 1 0 238523785 4292608 736 18446744073709551615 93834862546944 93834863441477 140736903994112 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93834863680528 93834863728272 93834869022720 140736903997855 140736903997952 140736903997952 140736904003556 0
/proc/172078/statm: 1048 736 672 219 0 110 0
[pid=172083] ppid=172078 vsize=2699408 memory=1426024 CPUtime=719.81 cores=0,2
/proc/172083/stat : 172083 (python3) S 172078 172078 168818 0 -1 4194304 346199 0 0 0 71904 77 0 0 20 0 1 0 238523787 2764193792 356506 18446744073709551615 94443173257216 94443173257593 140724998827984 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94443173268888 94443173269508 94443196256256 140724998830422 140724998830624 140724998830624 140724998836199 0
/proc/172083/statm: 674852 356506 8162 1 0 646210 0
[pid=172133] ppid=172083 vsize=331560 memory=312432 CPUtime=2732.68 cores=0,2
/proc/172133/stat : 172133 (naps-1.03a6) R 172083 172133 172133 0 -1 4194304 1192344 0 0 0 272767 501 0 0 20 0 1 0 238595971 339517440 78108 18446744073709551615 4198400 7047149 140729836395872 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 40939520 140729836398991 140729836399089 140729836399089 140729836404681 0
/proc/172133/statm: 82890 78108 544 696 0 82051 0
Current children cumulated CPU time: 3452.49 s
Current children cumulated vsize: 3035160 KiB
Current children cumulated memory: 1741400 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/270 172560
/proc/meminfo: memFree=120931548/131249988 swapFree=33010416/33010684
[pid=172078] ppid=172075 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172078/stat : 172078 (scip-naps-1.00.) S 172075 172078 168818 0 -1 4194304 259 333 0 0 0 0 0 0 20 0 1 0 238523785 4292608 736 18446744073709551615 93834862546944 93834863441477 140736903994112 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93834863680528 93834863728272 93834869022720 140736903997855 140736903997952 140736903997952 140736904003556 0
/proc/172078/statm: 1048 736 672 219 0 110 0
[pid=172083] ppid=172078 vsize=2699408 memory=1426024 CPUtime=719.81 cores=0,2
/proc/172083/stat : 172083 (python3) S 172078 172078 168818 0 -1 4194304 346199 0 0 0 71904 77 0 0 20 0 1 0 238523787 2764193792 356506 18446744073709551615 94443173257216 94443173257593 140724998827984 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94443173268888 94443173269508 94443196256256 140724998830422 140724998830624 140724998830624 140724998836199 0
/proc/172083/statm: 674852 356506 8162 1 0 646210 0
[pid=172133] ppid=172083 vsize=331560 memory=324272 CPUtime=2792.5 cores=0,2
/proc/172133/stat : 172133 (naps-1.03a6) R 172083 172133 172133 0 -1 4194304 1270002 0 0 0 278720 530 0 0 20 0 1 0 238595971 339517440 81068 18446744073709551615 4198400 7047149 140729836395872 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 40939520 140729836398991 140729836399089 140729836399089 140729836404681 0
/proc/172133/statm: 82890 81068 544 696 0 82051 0
Current children cumulated CPU time: 3512.31 s
Current children cumulated vsize: 3035160 KiB
Current children cumulated memory: 1753240 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/270 172562
/proc/meminfo: memFree=120951584/131249988 swapFree=33010416/33010684
[pid=172078] ppid=172075 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172078/stat : 172078 (scip-naps-1.00.) S 172075 172078 168818 0 -1 4194304 259 333 0 0 0 0 0 0 20 0 1 0 238523785 4292608 736 18446744073709551615 93834862546944 93834863441477 140736903994112 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93834863680528 93834863728272 93834869022720 140736903997855 140736903997952 140736903997952 140736904003556 0
/proc/172078/statm: 1048 736 672 219 0 110 0
[pid=172083] ppid=172078 vsize=2699408 memory=1426024 CPUtime=719.81 cores=0,2
/proc/172083/stat : 172083 (python3) S 172078 172078 168818 0 -1 4194304 346199 0 0 0 71904 77 0 0 20 0 1 0 238523787 2764193792 356506 18446744073709551615 94443173257216 94443173257593 140724998827984 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94443173268888 94443173269508 94443196256256 140724998830422 140724998830624 140724998830624 140724998836199 0
/proc/172083/statm: 674852 356506 8162 1 0 646210 0
[pid=172133] ppid=172083 vsize=347944 memory=329792 CPUtime=2852.33 cores=0,2
/proc/172133/stat : 172133 (naps-1.03a6) R 172083 172133 172133 0 -1 4194304 1345595 0 0 0 284674 559 0 0 20 0 1 0 238595971 356294656 82448 18446744073709551615 4198400 7047149 140729836395872 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 40939520 140729836398991 140729836399089 140729836399089 140729836404681 0
/proc/172133/statm: 86986 82448 544 696 0 86147 0
Current children cumulated CPU time: 3572.14 s
Current children cumulated vsize: 3051544 KiB
Current children cumulated memory: 1758760 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/270 172562
/proc/meminfo: memFree=121042872/131249988 swapFree=33010416/33010684
[pid=172078] ppid=172075 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172078/stat : 172078 (scip-naps-1.00.) S 172075 172078 168818 0 -1 4194304 259 333 0 0 0 0 0 0 20 0 1 0 238523785 4292608 736 18446744073709551615 93834862546944 93834863441477 140736903994112 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93834863680528 93834863728272 93834869022720 140736903997855 140736903997952 140736903997952 140736904003556 0
/proc/172078/statm: 1048 736 672 219 0 110 0
[pid=172083] ppid=172078 vsize=2699408 memory=1426024 CPUtime=719.81 cores=0,2
/proc/172083/stat : 172083 (python3) S 172078 172078 168818 0 -1 4194304 346199 0 0 0 71904 77 0 0 20 0 1 0 238523787 2764193792 356506 18446744073709551615 94443173257216 94443173257593 140724998827984 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94443173268888 94443173269508 94443196256256 140724998830422 140724998830624 140724998830624 140724998836199 0
/proc/172083/statm: 674852 356506 8162 1 0 646210 0
[pid=172133] ppid=172083 vsize=347944 memory=329864 CPUtime=2880.25 cores=0,2
/proc/172133/stat : 172133 (naps-1.03a6) R 172083 172133 172133 0 -1 4194304 1356963 0 0 0 287461 564 0 0 20 0 1 0 238595971 356294656 82466 18446744073709551615 4198400 7047149 140729836395872 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 40939520 140729836398991 140729836399089 140729836399089 140729836404681 0
/proc/172133/statm: 86986 82466 544 696 0 86147 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3051544 KiB
Current children cumulated memory: 1758832 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.32 s]
# the end of solver process 172078 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.002863 s, system=0.00453 s

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

# cumulated CPU time of all completed processes:  user=3594.49 s, system=6.58077 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3610.42 s]*
/proc/loadavg: 4.13 4.11 4.09 5/268 172562
/proc/meminfo: memFree=121358268/131249988 swapFree=33010416/33010684
[pid=172083] ppid=172075 vsize=2699408 memory=1426024 CPUtime=3600.18 cores=0,2
/proc/172083/stat : 172083 (python3) R 172075 172078 168818 0 -1 4194304 408967 1356964 0 0 71913 80 287461 564 20 0 1 0 238523787 2764193792 356506 18446744073709551615 94443173257216 94443173257593 140724998827984 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94443173268888 94443173269508 94443196256256 140724998830422 140724998830624 140724998830624 140724998836199 0
/proc/172083/statm: 674852 356506 8162 1 0 646210 0
Current cumulated CPU time of completed processes: 0.007393 s
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 2699408 KiB
Current children cumulated memory: 1426024 KiB

[startup+3610.8 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 172562
/proc/meminfo: memFree=121358268/131249988 swapFree=33010416/33010684
[pid=172083] ppid=172075 vsize=2699408 memory=1426024 CPUtime=3600.56 cores=0,2
/proc/172083/stat : 172083 (python3) R 172075 172078 168818 0 -1 4194304 441457 1356964 0 0 71949 82 287461 564 20 0 1 0 238523787 2764193792 356506 18446744073709551615 94443173257216 94443173257593 140724998827984 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94443173268888 94443173269508 94443196256256 140724998830422 140724998830624 140724998830624 140724998836199 0
/proc/172083/statm: 674852 356506 8162 1 0 646210 0
Current cumulated CPU time of completed processes: 0.007393 s
Current children cumulated CPU time: 3600.56 s
Current children cumulated vsize: 2699408 KiB
Current children cumulated memory: 1426024 KiB

[startup+3611.2 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 172562
/proc/meminfo: memFree=121383044/131249988 swapFree=33010416/33010684
[pid=172083] ppid=172075 vsize=2517544 memory=1336180 CPUtime=3600.95 cores=0,2
/proc/172083/stat : 172083 (python3) R 172075 172078 168818 0 -1 4194304 530996 1356964 0 0 71984 86 287461 564 20 0 1 0 238523787 2577965056 334109 18446744073709551615 94443173257216 94443173257593 140724998827984 0 0 0 0 16781312 0 0 0 0 17 0 0 0 0 0 0 94443173268888 94443173269508 94443196256256 140724998830422 140724998830624 140724998830624 140724998836199 0
/proc/172083/statm: 629386 334045 8162 1 0 600744 0
Current cumulated CPU time of completed processes: 0.007393 s
Current children cumulated CPU time: 3600.95 s
Current children cumulated vsize: 2517544 KiB
Current children cumulated memory: 1336180 KiB

Child status: 0

Real time (s): 3611.29
CPU time (s): 3601.07
CPU user time (s): 3594.49
CPU system time (s): 6.58077
CPU usage (%): 99.7169
Max. virtual memory (cumulated for all children) (KiB): 3067928
Max. memory (cumulated for all children) (KiB): 1773464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.49
system time used= 6.58077
maximum resident set size= 1426024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1894329
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 379
involuntary context switches= 7948


# summary of solver processes directly reported to runsolver:
#   pid: 172078,172083
#   total CPU time (s): 3601.07
#   total CPU user time (s): 3594.49
#   total CPU system time (s): 6.58077

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.60077 second user time and 16.7175 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-07-23 01:54:12
IDJOB=4545322
IDBENCH=180812
IDSOLVER=3368
FILE ID=nodeC031/4545322-1753228452
RUNJOBID= nodeC031-1753222578-168828
SLURM_JOB_ID= 9687820
Free space on /tmp= 432856 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SocialGolfers-08-04-08_c24.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545322-1753228452/watcher-4545322-1753228452 -o /tmp/evaluation-result-4545322-1753228452/solver-4545322-1753228452 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753222578-168828 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4545322-1753228452.opb

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

MD5SUM BENCH= e5dad10f2c51a051686c6ce21bebf57a
RANDOM SEED=76973604

nodeC031 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.095
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.78
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.224
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.78
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		: 3665.337
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.78
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		: 3572.421
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.78
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.805
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.872
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.066
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.78
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		: 3495.305
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        114331152 kB
MemAvailable:   119564416 kB
Buffers:            2128 kB
Cached:          5917848 kB
SwapCached:            8 kB
Active:         11230488 kB
Inactive:        4783780 kB
Active(anon):   10110076 kB
Inactive(anon):    10464 kB
Active(file):    1120412 kB
Inactive(file):  4773316 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16308 kB
Writeback:             0 kB
AnonPages:      10092180 kB
Mapped:           133524 kB
Shmem:             26248 kB
KReclaimable:     357552 kB
Slab:             456156 kB
SReclaimable:     357552 kB
SUnreclaim:        98604 kB
KernelStack:        4336 kB
PageTables:        23908 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:   14471724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2404352 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432900 MiB
End job on nodeC031 at 2025-07-23 02:54:24