Trace number 4545329

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.00a2? (TO) 3601.1 3611.52

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 

724.86/726.88	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4545329-1753228476.opb
724.86/726.88	c Solving mode: decision
724.86/726.88	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
724.86/726.88	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
724.86/726.88	c original problem has 101921 variables (101921 bin, 0 int, 0 impl, 0 cont) and 213661 constraints
724.86/726.88	c presolving:
724.86/726.88	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
724.86/726.88	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
724.86/726.88	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
724.86/726.88	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
724.86/726.88	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
724.86/726.88	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
724.86/726.88	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
724.86/726.88	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
724.86/726.88	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
724.86/726.88	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
724.86/726.88	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
724.86/726.88	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
724.86/726.88	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
724.86/726.88	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
724.86/726.88	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
724.86/726.88	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
724.86/726.88	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
724.86/726.88	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
724.86/726.88	c    (70.0s) probing: 1000/64875 (1.5%) - 0 fixings, 0 aggregations, 7623 implications, 0 bound changes
724.86/726.88	c    (70.0s) probing: 1001/64875 (1.5%) - 0 fixings, 0 aggregations, 7627 implications, 0 bound changes
724.86/726.88	c    (70.0s) probing aborted: 1000/1000 successive useless probings
724.86/726.88	c    (70.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
724.86/726.88	c    (70.4s) symmetry computation finished: 11 generators found (max: 986, log10 of symmetry group size: 0.0) (symcode time: 0.13)
724.86/726.88	c dynamic symmetry handling statistics:
724.86/726.88	c    orbitopal reduction:       no components
724.86/726.88	c    orbital reduction:         no components
724.86/726.88	c    lexicographic reduction:   no permutations
724.86/726.88	c handled 11 out of 11 symmetry components
724.86/726.88	c presolving (19 rounds: 19 fast, 12 medium, 8 exhaustive):
724.86/726.88	c  37113 deleted vars, 187609 deleted constraints, 92308 added constraints, 27762 tightened bounds, 0 added holes, 37135 changed sides, 71116 changed coefficients
724.86/726.88	c  0 implications, 67685 cliques
724.86/726.88	c presolved problem has 64875 variables (64875 bin, 0 int, 0 impl, 0 cont) and 118360 constraints
724.86/726.88	c   78985 constraints of type <knapsack>
724.86/726.88	c   15320 constraints of type <setppc>
724.86/726.88	c   20553 constraints of type <and>
724.86/726.88	c     263 constraints of type <linear>
724.86/726.88	c    3239 constraints of type <logicor>
724.86/726.88	c transformed objective value is always integral (scale: 1)
724.86/726.88	c Presolving Time: 70.07
724.86/726.88	c 
724.86/726.88	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
724.86/726.88	c   125s|     1 |     0 | 38233 |     - |  1025M |   0 |  64k| 118k| 138k|   0 |  0 |  40 |   0 | 0.000000e+00 |      --      |    Inf | unknown
724.86/726.88	c 
724.86/726.88	c SCIP Status        : solving was interrupted [time limit reached]
724.86/726.88	c Solving Time (sec) : 725.73
724.86/726.88	c Solving Nodes      : 1
724.86/726.88	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
724.86/726.88	c Dual Bound         : +0.00000000000000e+00
724.86/726.88	c Gap                : infinite
724.86/726.88	c ----------------------------------------------------------------------
724.86/726.88	c dual bound: 0.0 -> 0
724.86/726.88	c primal bound: 1e+20 -> 100000000000000000000
724.86/726.88	c scip-goal-lb: 0
724.86/726.88	c scip-goal-ub: 100000000000000000000
724.86/726.88	c writing output to: HOME/tmplw2j46_q.opb
724.86/726.88	c appending fixed variable constraints
724.86/726.88	c scip-fixed vars: 42.95% (27865/64875)
724.86/726.88	c ----------------------------------------------------------------------
724.86/726.88	c executing external solver: HOME/naps-1.03a6
724.86/726.88	c ----------------------------------------------------------------------
724.86/726.88	c command: HOME/naps-1.03a6 HOME/tmplw2j46_q.opb
724.96/726.92	c NaPS 1.03a6.
724.96/726.92	c Input file name: HOME/tmplw2j46_q.opb
3600.06/3610.50	c
3600.06/3610.50	c *** TERMINATED *** by signal 15
3600.06/3610.50	c s UNKNOWN
3600.06/3610.50	c _____________________________________________________________________________
3600.06/3610.50	c std/band forms        : 156852,256
3600.06/3610.50	c 2cl/3cl ITE-codings   : 33536,2560
3600.06/3610.50	c BDD/srt/adr Max costs : 33,383,0
3600.06/3610.50	c BDDraw/bin/mul/srt/adr: 156332,0,0,776,0
3600.06/3610.50	c BDD nodes             : 1160804
3600.06/3610.50	c Es1/CC detections     : 0,0
3600.06/3610.50	c CC sort               : 712
3600.06/3610.50	c SAT/UNSAT calls       : 0,0
3600.06/3610.50	c regenrated variables  : 0
3600.06/3610.50	c eliminated fixed lits : 37789
3600.06/3610.50	c goal lit flips        : 0
3600.06/3610.50	c goal stages           : 0
3600.06/3610.50	c goal shrink           : 0
3600.06/3610.50	c goal coeff separations: 0
3600.06/3610.50	c restarts              : 0
3600.06/3610.50	c conflicts             : 0              (0 /sec)
3600.06/3610.50	c decisions             : 0              (0 /sec)
3600.06/3610.50	c propagations          : 0              (0 /sec)
3600.06/3610.50	c inspects              : 0              (0 /sec)
3600.06/3610.50	c CPU time (solving tm) : 2871 s        (2865 s, SAT 0 s, UNSAT 0 s)
3600.06/3610.50	c Time for Opt-base     : 0.004076 s
3600.06/3610.50	c Steps for Opt-base    : 0
3600.06/3610.50	c Time for BDD coding   : 2.51 s
3600.06/3610.50	c Time for srt coding   : 0.007349 s
3600.06/3610.50	c _____________________________________________________________________________
3600.06/3610.50	s UNKNOWN
3600.86/3611.36	c received SIGTERM, forwarding to pbsolver...
3600.86/3611.36	c failed to send SIGTERM to pbsolver: [Errno 3] No such process

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (61004 MiB free)
  memory of node 1: 64507 MiB (54698 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545329-1753228476/watcher-4545329-1753228476 -o /tmp/evaluation-result-4545329-1753228476/solver-4545329-1753228476 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753222587-197774 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4545329-1753228476.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=201032, runsolver pid=201029

[startup+0.100065 s]*
/proc/loadavg: 4.15 4.12 4.09 5/270 201037
/proc/meminfo: memFree=118470136/131250000 swapFree=33008868/33010684
[pid=201032] ppid=201029 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/201032/stat : 201032 (scip-naps-1.00a) S 201029 201032 197761 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 238527894 4292608 768 18446744073709551615 94477289394176 94477290288709 140735746974400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94477290527760 94477290575504 94477295677440 140735746976155 140735746976254 140735746976254 140735746981858 0
/proc/201032/statm: 1048 768 704 219 0 110 0
[pid=201037] ppid=201032 vsize=1186968 memory=31844 CPUtime=0.06 cores=5,7
/proc/201037/stat : 201037 (python3) R 201032 201032 197761 0 -1 4194304 3712 0 0 0 5 1 0 0 20 0 1 0 238527896 1215455232 7961 18446744073709551615 94649752657920 94649752658297 140728305782432 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94649752669592 94649752670212 94649767198720 140728305785167 140728305785376 140728305785376 140728305790951 0
/proc/201037/statm: 296742 7961 4897 1 0 268764 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191160 KiB
Current children cumulated memory: 34916 KiB

[startup+0.205823 s]*
/proc/loadavg: 4.15 4.12 4.09 5/270 201037
/proc/meminfo: memFree=118440148/131250000 swapFree=33008868/33010684
[pid=201032] ppid=201029 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/201032/stat : 201032 (scip-naps-1.00a) S 201029 201032 197761 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 238527894 4292608 768 18446744073709551615 94477289394176 94477290288709 140735746974400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94477290527760 94477290575504 94477295677440 140735746976155 140735746976254 140735746976254 140735746981858 0
/proc/201032/statm: 1048 768 704 219 0 110 0
[pid=201037] ppid=201032 vsize=1220068 memory=71780 CPUtime=0.16 cores=5,7
/proc/201037/stat : 201037 (python3) R 201032 201032 197761 0 -1 4194304 11170 0 0 0 14 2 0 0 20 0 1 0 238527896 1249349632 17945 18446744073709551615 94649752657920 94649752658297 140728305782432 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94649752669592 94649752670212 94649767198720 140728305785167 140728305785376 140728305785376 140728305790951 0
/proc/201037/statm: 305017 17945 7649 1 0 276375 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1224260 KiB
Current children cumulated memory: 74852 KiB

[startup+0.305684 s]*
/proc/loadavg: 4.15 4.12 4.09 5/270 201037
/proc/meminfo: memFree=118407892/131250000 swapFree=33008868/33010684
[pid=201032] ppid=201029 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/201032/stat : 201032 (scip-naps-1.00a) S 201029 201032 197761 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 238527894 4292608 768 18446744073709551615 94477289394176 94477290288709 140735746974400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94477290527760 94477290575504 94477295677440 140735746976155 140735746976254 140735746976254 140735746981858 0
/proc/201032/statm: 1048 768 704 219 0 110 0
[pid=201037] ppid=201032 vsize=1253084 memory=104548 CPUtime=0.27 cores=5,7
/proc/201037/stat : 201037 (python3) R 201032 201032 197761 0 -1 4194304 19345 0 0 0 23 4 0 0 20 0 1 0 238527896 1283158016 26137 18446744073709551615 94649752657920 94649752658297 140728305782432 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94649752669592 94649752670212 94649767198720 140728305785167 140728305785376 140728305785376 140728305790951 0
/proc/201037/statm: 313271 26137 7649 1 0 284629 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1257276 KiB
Current children cumulated memory: 107620 KiB

[startup+0.70022 s]
/proc/loadavg: 4.15 4.12 4.09 5/270 201037
/proc/meminfo: memFree=118343380/131250000 swapFree=33008868/33010684
[pid=201032] ppid=201029 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/201032/stat : 201032 (scip-naps-1.00a) S 201029 201032 197761 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 238527894 4292608 768 18446744073709551615 94477289394176 94477290288709 140735746974400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94477290527760 94477290575504 94477295677440 140735746976155 140735746976254 140735746976254 140735746981858 0
/proc/201032/statm: 1048 768 704 219 0 110 0
[pid=201037] ppid=201032 vsize=1375680 memory=226660 CPUtime=0.65 cores=5,7
/proc/201037/stat : 201037 (python3) R 201032 201032 197761 0 -1 4194304 49863 0 0 0 57 8 0 0 20 0 1 0 238527896 1408696320 56665 18446744073709551615 94649752657920 94649752658297 140728305782432 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94649752669592 94649752670212 94649767198720 140728305785167 140728305785376 140728305785376 140728305790951 0
/proc/201037/statm: 343920 56665 7649 1 0 315278 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1379872 KiB
Current children cumulated memory: 229732 KiB

[startup+1.50023 s]
/proc/loadavg: 4.15 4.12 4.09 5/270 201037
/proc/meminfo: memFree=118101712/131250000 swapFree=33008868/33010684
[pid=201032] ppid=201029 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/201032/stat : 201032 (scip-naps-1.00a) S 201029 201032 197761 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 238527894 4292608 768 18446744073709551615 94477289394176 94477290288709 140735746974400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94477290527760 94477290575504 94477295677440 140735746976155 140735746976254 140735746976254 140735746981858 0
/proc/201032/statm: 1048 768 704 219 0 110 0
[pid=201037] ppid=201032 vsize=1740188 memory=583268 CPUtime=1.45 cores=5,7
/proc/201037/stat : 201037 (python3) R 201032 201032 197761 0 -1 4194304 138797 0 0 0 125 20 0 0 20 0 1 0 238527896 1781952512 145817 18446744073709551615 94649752657920 94649752658297 140728305782432 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94649752669592 94649752670212 94649767198720 140728305785167 140728305785376 140728305785376 140728305790951 0
/proc/201037/statm: 435047 145817 7905 1 0 406405 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1744380 KiB
Current children cumulated memory: 586340 KiB

[startup+3.10552 s]
/proc/loadavg: 4.15 4.12 4.09 5/270 201037
/proc/meminfo: memFree=117746916/131250000 swapFree=33008868/33010684
[pid=201032] ppid=201029 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/201032/stat : 201032 (scip-naps-1.00a) S 201029 201032 197761 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 238527894 4292608 768 18446744073709551615 94477289394176 94477290288709 140735746974400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94477290527760 94477290575504 94477295677440 140735746976155 140735746976254 140735746976254 140735746981858 0
/proc/201032/statm: 1048 768 704 219 0 110 0
[pid=201037] ppid=201032 vsize=1924244 memory=761956 CPUtime=3.05 cores=5,7
/proc/201037/stat : 201037 (python3) R 201032 201032 197761 0 -1 4194304 183458 0 0 0 277 28 0 0 20 0 1 0 238527896 1970425856 190489 18446744073709551615 94649752657920 94649752658297 140728305782432 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94649752669592 94649752670212 94649767198720 140728305785167 140728305785376 140728305785376 140728305790951 0
/proc/201037/statm: 481061 190489 7937 1 0 452419 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1928436 KiB
Current children cumulated memory: 765028 KiB

[startup+6.30022 s]
/proc/loadavg: 4.14 4.12 4.09 5/270 201037
/proc/meminfo: memFree=117718880/131250000 swapFree=33008868/33010684
[pid=201032] ppid=201029 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/201032/stat : 201032 (scip-naps-1.00a) S 201029 201032 197761 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 238527894 4292608 768 18446744073709551615 94477289394176 94477290288709 140735746974400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94477290527760 94477290575504 94477295677440 140735746976155 140735746976254 140735746976254 140735746981858 0
/proc/201032/statm: 1048 768 704 219 0 110 0
[pid=201037] ppid=201032 vsize=1936972 memory=774628 CPUtime=6.24 cores=5,7
/proc/201037/stat : 201037 (python3) R 201032 201032 197761 0 -1 4194304 186787 0 0 0 595 29 0 0 20 0 1 0 238527896 1983459328 193657 18446744073709551615 94649752657920 94649752658297 140728305782432 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94649752669592 94649752670212 94649767198720 140728305785167 140728305785376 140728305785376 140728305790951 0
/proc/201037/statm: 484243 193657 7969 1 0 455601 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1941164 KiB
Current children cumulated memory: 777700 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.09 5/270 201037
/proc/meminfo: memFree=117719052/131250000 swapFree=33008868/33010684
[pid=201032] ppid=201029 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/201032/stat : 201032 (scip-naps-1.00a) S 201029 201032 197761 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 238527894 4292608 768 18446744073709551615 94477289394176 94477290288709 140735746974400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94477290527760 94477290575504 94477295677440 140735746976155 140735746976254 140735746976254 140735746981858 0
/proc/201032/statm: 1048 768 704 219 0 110 0
[pid=201037] ppid=201032 vsize=1939332 memory=778084 CPUtime=12.62 cores=5,7
/proc/201037/stat : 201037 (python3) R 201032 201032 197761 0 -1 4194304 187949 0 0 0 1233 29 0 0 20 0 1 0 238527896 1985875968 194521 18446744073709551615 94649752657920 94649752658297 140728305782432 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94649752669592 94649752670212 94649767198720 140728305785167 140728305785376 140728305785376 140728305790951 0
/proc/201037/statm: 484833 194521 7969 1 0 456191 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1943524 KiB
Current children cumulated memory: 781156 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/270 201037
/proc/meminfo: memFree=117710988/131250000 swapFree=33008868/33010684
[pid=201032] ppid=201029 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/201032/stat : 201032 (scip-naps-1.00a) S 201029 201032 197761 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 238527894 4292608 768 18446744073709551615 94477289394176 94477290288709 140735746974400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94477290527760 94477290575504 94477295677440 140735746976155 140735746976254 140735746976254 140735746981858 0
/proc/201032/statm: 1048 768 704 219 0 110 0
[pid=201037] ppid=201032 vsize=1939332 memory=778084 CPUtime=25.39 cores=5,7
/proc/201037/stat : 201037 (python3) R 201032 201032 197761 0 -1 4194304 187949 0 0 0 2510 29 0 0 20 0 1 0 238527896 1985875968 194521 18446744073709551615 94649752657920 94649752658297 140728305782432 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94649752669592 94649752670212 94649767198720 140728305785167 140728305785376 140728305785376 140728305790951 0
/proc/201037/statm: 484833 194521 7969 1 0 456191 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1943524 KiB
Current children cumulated memory: 781156 KiB

[startup+51.1057 s]
/proc/loadavg: 4.14 4.11 4.09 5/270 201038
/proc/meminfo: memFree=117683752/131250000 swapFree=33008868/33010684
[pid=201032] ppid=201029 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/201032/stat : 201032 (scip-naps-1.00a) S 201029 201032 197761 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 238527894 4292608 768 18446744073709551615 94477289394176 94477290288709 140735746974400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94477290527760 94477290575504 94477295677440 140735746976155 140735746976254 140735746976254 140735746981858 0
/proc/201032/statm: 1048 768 704 219 0 110 0
[pid=201037] ppid=201032 vsize=1940356 memory=779108 CPUtime=50.92 cores=5,7
/proc/201037/stat : 201037 (python3) R 201032 201032 197761 0 -1 4194304 188205 0 0 0 5063 29 0 0 20 0 1 0 238527896 1986924544 194777 18446744073709551615 94649752657920 94649752658297 140728305782432 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94649752669592 94649752670212 94649767198720 140728305785167 140728305785376 140728305785376 140728305790951 0
/proc/201037/statm: 485089 194777 7969 1 0 456447 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1944548 KiB
Current children cumulated memory: 782180 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/270 201040
/proc/meminfo: memFree=117372140/131250000 swapFree=33008868/33010684
[pid=201032] ppid=201029 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/201032/stat : 201032 (scip-naps-1.00a) S 201029 201032 197761 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 238527894 4292608 768 18446744073709551615 94477289394176 94477290288709 140735746974400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94477290527760 94477290575504 94477295677440 140735746976155 140735746976254 140735746976254 140735746981858 0
/proc/201032/statm: 1048 768 704 219 0 110 0
[pid=201037] ppid=201032 vsize=2372036 memory=1105612 CPUtime=101.97 cores=5,7
/proc/201037/stat : 201037 (python3) R 201032 201032 197761 0 -1 4194304 268407 0 0 0 10153 44 0 0 20 0 1 0 238527896 2428964864 276403 18446744073709551615 94649752657920 94649752658297 140728305782432 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94649752669592 94649752670212 94649767198720 140728305785167 140728305785376 140728305785376 140728305790951 0
/proc/201037/statm: 593009 276403 8161 1 0 564367 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2376228 KiB
Current children cumulated memory: 1108684 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/269 201042
/proc/meminfo: memFree=117361000/131250000 swapFree=33008868/33010684
[pid=201032] ppid=201029 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/201032/stat : 201032 (scip-naps-1.00a) S 201029 201032 197761 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 238527894 4292608 768 18446744073709551615 94477289394176 94477290288709 140735746974400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94477290527760 94477290575504 94477295677440 140735746976155 140735746976254 140735746976254 140735746981858 0
/proc/201032/statm: 1048 768 704 219 0 110 0
[pid=201037] ppid=201032 vsize=2387032 memory=1116156 CPUtime=161.84 cores=5,7
/proc/201037/stat : 201037 (python3) R 201032 201032 197761 0 -1 4194304 269135 0 0 0 16136 48 0 0 20 0 1 0 238527896 2444320768 279039 18446744073709551615 94649752657920 94649752658297 140728305782432 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94649752669592 94649752670212 94649767198720 140728305785167 140728305785376 140728305785376 140728305790951 0
/proc/201037/statm: 596758 279039 8161 1 0 568116 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2391224 KiB
Current children cumulated memory: 1119228 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 201044
/proc/meminfo: memFree=117350876/131250000 swapFree=33008868/33010684
[pid=201032] ppid=201029 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/201032/stat : 201032 (scip-naps-1.00a) S 201029 201032 197761 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 238527894 4292608 768 18446744073709551615 94477289394176 94477290288709 140735746974400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94477290527760 94477290575504 94477295677440 140735746976155 140735746976254 140735746976254 140735746981858 0
/proc/201032/statm: 1048 768 704 219 0 110 0
[pid=201037] ppid=201032 vsize=2387032 memory=1118392 CPUtime=221.66 cores=5,7
/proc/201037/stat : 201037 (python3) R 201032 201032 197761 0 -1 4194304 269253 0 0 0 22117 49 0 0 20 0 1 0 238527896 2444320768 279598 18446744073709551615 94649752657920 94649752658297 140728305782432 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94649752669592 94649752670212 94649767198720 140728305785167 140728305785376 140728305785376 140728305790951 0
/proc/201037/statm: 596758 279598 8161 1 0 568116 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 2391224 KiB

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

/proc/201037/stat : 201037 (python3) S 201032 201032 197761 0 -1 4194304 345195 0 0 0 72433 63 0 0 20 0 1 0 238527896 2764218368 355214 18446744073709551615 94649752657920 94649752658297 140728305782432 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94649752669592 94649752670212 94649767198720 140728305785167 140728305785376 140728305785376 140728305790951 0
/proc/201037/statm: 674858 355214 8193 1 0 646216 0
[pid=201089] ppid=201037 vsize=315176 memory=309624 CPUtime=2547.88 cores=5,7
/proc/201089/stat : 201089 (naps-1.03a6) R 201037 201089 201089 0 -1 4194304 719064 0 0 0 254443 345 0 0 20 0 1 0 238600585 322740224 77406 18446744073709551615 4198400 7047149 140727178282496 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21602304 140727178291599 140727178291697 140727178291697 140727178297289 0
/proc/201089/statm: 78794 77406 544 696 0 77955 0
Current children cumulated CPU time: 3272.84 s
Current children cumulated vsize: 3018800 KiB
Current children cumulated memory: 1733552 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/270 201406
/proc/meminfo: memFree=123050572/131250000 swapFree=33008868/33010684
[pid=201032] ppid=201029 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/201032/stat : 201032 (scip-naps-1.00a) S 201029 201032 197761 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 238527894 4292608 768 18446744073709551615 94477289394176 94477290288709 140735746974400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94477290527760 94477290575504 94477295677440 140735746976155 140735746976254 140735746976254 140735746981858 0
/proc/201032/statm: 1048 768 704 219 0 110 0
[pid=201037] ppid=201032 vsize=2699432 memory=1420856 CPUtime=724.96 cores=5,7
/proc/201037/stat : 201037 (python3) S 201032 201032 197761 0 -1 4194304 345195 0 0 0 72433 63 0 0 20 0 1 0 238527896 2764218368 355214 18446744073709551615 94649752657920 94649752658297 140728305782432 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94649752669592 94649752670212 94649767198720 140728305785167 140728305785376 140728305785376 140728305790951 0
/proc/201037/statm: 674858 355214 8193 1 0 646216 0
[pid=201089] ppid=201037 vsize=331560 memory=322368 CPUtime=2607.69 cores=5,7
/proc/201089/stat : 201089 (naps-1.03a6) R 201037 201089 201089 0 -1 4194304 756421 0 0 0 260406 363 0 0 20 0 1 0 238600585 339517440 80592 18446744073709551615 4198400 7047149 140727178282496 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21602304 140727178291599 140727178291697 140727178291697 140727178297289 0
/proc/201089/statm: 82890 80592 544 696 0 82051 0
Current children cumulated CPU time: 3332.65 s
Current children cumulated vsize: 3035184 KiB
Current children cumulated memory: 1746296 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/269 201408
/proc/meminfo: memFree=122972152/131250000 swapFree=33008868/33010684
[pid=201032] ppid=201029 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/201032/stat : 201032 (scip-naps-1.00a) S 201029 201032 197761 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 238527894 4292608 768 18446744073709551615 94477289394176 94477290288709 140735746974400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94477290527760 94477290575504 94477295677440 140735746976155 140735746976254 140735746976254 140735746981858 0
/proc/201032/statm: 1048 768 704 219 0 110 0
[pid=201037] ppid=201032 vsize=2699432 memory=1420856 CPUtime=724.96 cores=5,7
/proc/201037/stat : 201037 (python3) S 201032 201032 197761 0 -1 4194304 345195 0 0 0 72433 63 0 0 20 0 1 0 238527896 2764218368 355214 18446744073709551615 94649752657920 94649752658297 140728305782432 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94649752669592 94649752670212 94649767198720 140728305785167 140728305785376 140728305785376 140728305790951 0
/proc/201037/statm: 674858 355214 8193 1 0 646216 0
[pid=201089] ppid=201037 vsize=331560 memory=322368 CPUtime=2667.49 cores=5,7
/proc/201089/stat : 201089 (naps-1.03a6) R 201037 201089 201089 0 -1 4194304 828797 0 0 0 266356 393 0 0 20 0 1 0 238600585 339517440 80592 18446744073709551615 4198400 7047149 140727178282496 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21602304 140727178291599 140727178291697 140727178291697 140727178297289 0
/proc/201089/statm: 82890 80592 544 696 0 82051 0
Current children cumulated CPU time: 3392.45 s
Current children cumulated vsize: 3035184 KiB
Current children cumulated memory: 1746296 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/268 201508
/proc/meminfo: memFree=125268088/131250000 swapFree=33008868/33010684
[pid=201032] ppid=201029 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/201032/stat : 201032 (scip-naps-1.00a) S 201029 201032 197761 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 238527894 4292608 768 18446744073709551615 94477289394176 94477290288709 140735746974400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94477290527760 94477290575504 94477295677440 140735746976155 140735746976254 140735746976254 140735746981858 0
/proc/201032/statm: 1048 768 704 219 0 110 0
[pid=201037] ppid=201032 vsize=2699432 memory=1420856 CPUtime=724.96 cores=5,7
/proc/201037/stat : 201037 (python3) S 201032 201032 197761 0 -1 4194304 345195 0 0 0 72433 63 0 0 20 0 1 0 238527896 2764218368 355214 18446744073709551615 94649752657920 94649752658297 140728305782432 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94649752669592 94649752670212 94649767198720 140728305785167 140728305785376 140728305785376 140728305790951 0
/proc/201037/statm: 674858 355214 8193 1 0 646216 0
[pid=201089] ppid=201037 vsize=323368 memory=313720 CPUtime=2727.3 cores=5,7
/proc/201089/stat : 201089 (naps-1.03a6) R 201037 201089 201089 0 -1 4194304 841203 0 0 0 272329 401 0 0 20 0 1 0 238600585 331128832 78430 18446744073709551615 4198400 7047149 140727178282496 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21602304 140727178291599 140727178291697 140727178291697 140727178297289 0
/proc/201089/statm: 80842 78430 544 696 0 80003 0
Current children cumulated CPU time: 3452.26 s
Current children cumulated vsize: 3026992 KiB
Current children cumulated memory: 1737648 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/268 201510
/proc/meminfo: memFree=125138572/131250000 swapFree=33008868/33010684
[pid=201032] ppid=201029 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/201032/stat : 201032 (scip-naps-1.00a) S 201029 201032 197761 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 238527894 4292608 768 18446744073709551615 94477289394176 94477290288709 140735746974400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94477290527760 94477290575504 94477295677440 140735746976155 140735746976254 140735746976254 140735746981858 0
/proc/201032/statm: 1048 768 704 219 0 110 0
[pid=201037] ppid=201032 vsize=2699432 memory=1420856 CPUtime=724.96 cores=5,7
/proc/201037/stat : 201037 (python3) S 201032 201032 197761 0 -1 4194304 345195 0 0 0 72433 63 0 0 20 0 1 0 238527896 2764218368 355214 18446744073709551615 94649752657920 94649752658297 140728305782432 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94649752669592 94649752670212 94649767198720 140728305785167 140728305785376 140728305785376 140728305790951 0
/proc/201037/statm: 674858 355214 8193 1 0 646216 0
[pid=201089] ppid=201037 vsize=323368 memory=315328 CPUtime=2787.13 cores=5,7
/proc/201089/stat : 201089 (naps-1.03a6) R 201037 201089 201089 0 -1 4194304 907308 0 0 0 278282 431 0 0 20 0 1 0 238600585 331128832 78832 18446744073709551615 4198400 7047149 140727178282496 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21602304 140727178291599 140727178291697 140727178291697 140727178297289 0
/proc/201089/statm: 80842 78832 544 696 0 80003 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 3026992 KiB
Current children cumulated memory: 1739256 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/268 201512
/proc/meminfo: memFree=125212120/131250000 swapFree=33008868/33010684
[pid=201032] ppid=201029 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/201032/stat : 201032 (scip-naps-1.00a) S 201029 201032 197761 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 238527894 4292608 768 18446744073709551615 94477289394176 94477290288709 140735746974400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94477290527760 94477290575504 94477295677440 140735746976155 140735746976254 140735746976254 140735746981858 0
/proc/201032/statm: 1048 768 704 219 0 110 0
[pid=201037] ppid=201032 vsize=2699432 memory=1420856 CPUtime=724.96 cores=5,7
/proc/201037/stat : 201037 (python3) S 201032 201032 197761 0 -1 4194304 345195 0 0 0 72433 63 0 0 20 0 1 0 238527896 2764218368 355214 18446744073709551615 94649752657920 94649752658297 140728305782432 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94649752669592 94649752670212 94649767198720 140728305785167 140728305785376 140728305785376 140728305790951 0
/proc/201037/statm: 674858 355214 8193 1 0 646216 0
[pid=201089] ppid=201037 vsize=347944 memory=326720 CPUtime=2846.97 cores=5,7
/proc/201089/stat : 201089 (naps-1.03a6) R 201037 201089 201089 0 -1 4194304 951422 0 0 0 284245 452 0 0 20 0 1 0 238600585 356294656 81680 18446744073709551615 4198400 7047149 140727178282496 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21602304 140727178291599 140727178291697 140727178291697 140727178297289 0
/proc/201089/statm: 86986 81680 544 696 0 86147 0
Current children cumulated CPU time: 3571.93 s
Current children cumulated vsize: 3051568 KiB
Current children cumulated memory: 1750648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 201513
/proc/meminfo: memFree=125216612/131250000 swapFree=33008868/33010684
[pid=201032] ppid=201029 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/201032/stat : 201032 (scip-naps-1.00a) S 201029 201032 197761 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 238527894 4292608 768 18446744073709551615 94477289394176 94477290288709 140735746974400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94477290527760 94477290575504 94477295677440 140735746976155 140735746976254 140735746976254 140735746981858 0
/proc/201032/statm: 1048 768 704 219 0 110 0
[pid=201037] ppid=201032 vsize=2699432 memory=1420856 CPUtime=724.96 cores=5,7
/proc/201037/stat : 201037 (python3) S 201032 201032 197761 0 -1 4194304 345195 0 0 0 72433 63 0 0 20 0 1 0 238527896 2764218368 355214 18446744073709551615 94649752657920 94649752658297 140728305782432 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94649752669592 94649752670212 94649767198720 140728305785167 140728305785376 140728305785376 140728305790951 0
/proc/201037/statm: 674858 355214 8193 1 0 646216 0
[pid=201089] ppid=201037 vsize=347944 memory=334400 CPUtime=2875.1 cores=5,7
/proc/201089/stat : 201089 (naps-1.03a6) R 201037 201089 201089 0 -1 4194304 959626 0 0 0 287053 457 0 0 20 0 1 0 238600585 356294656 83600 18446744073709551615 4198400 7047149 140727178282496 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21602304 140727178291599 140727178291697 140727178291697 140727178297289 0
/proc/201089/statm: 86986 83600 544 696 0 86147 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3051568 KiB
Current children cumulated memory: 1758328 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001441 s, system=0.007384 s

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

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

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

[startup+3611.2 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 201513
/proc/meminfo: memFree=125526592/131250000 swapFree=33008868/33010684
[pid=201037] ppid=201029 vsize=2697604 memory=1419252 CPUtime=3600.75 cores=5,7
/proc/201037/stat : 201037 (python3) R 201029 201032 197761 0 -1 4194304 479407 959627 0 0 72493 72 287053 457 20 0 1 0 238527896 2762346496 354813 18446744073709551615 94649752657920 94649752658297 140728305782432 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94649752669592 94649752670212 94649767198720 140728305785167 140728305785376 140728305785376 140728305790951 0
/proc/201037/statm: 674401 354813 8193 1 0 645759 0
Current cumulated CPU time of completed processes: 0.008825 s
Current children cumulated CPU time: 3600.75 s
Current children cumulated vsize: 2697604 KiB
Current children cumulated memory: 1419252 KiB

[startup+3611.4 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 201513
/proc/meminfo: memFree=125526592/131250000 swapFree=33008868/33010684
[pid=201037] ppid=201029 vsize=2517824 memory=1333040 CPUtime=3600.95 cores=5,7
/proc/201037/stat : 201037 (python3) R 201029 201032 197761 0 -1 4194304 529630 959627 0 0 72510 75 287053 457 20 0 1 0 238527896 2578251776 333260 18446744073709551615 94649752657920 94649752658297 140728305782432 0 0 0 0 16781312 0 0 0 0 17 5 0 0 0 0 0 94649752669592 94649752670212 94649767198720 140728305785167 140728305785376 140728305785376 140728305790951 0
/proc/201037/statm: 629456 333260 8193 1 0 600814 0
Current cumulated CPU time of completed processes: 0.008825 s
Current children cumulated CPU time: 3600.95 s
Current children cumulated vsize: 2517824 KiB
Current children cumulated memory: 1333040 KiB

[startup+3611.5 s]*
/proc/loadavg: 4.12 4.12 4.09 5/266 201513
/proc/meminfo: memFree=126260084/131250000 swapFree=33008868/33010684
Current cumulated CPU time of completed processes: 0.008825 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3611.52
CPU time (s): 3601.1
CPU user time (s): 3595.7
CPU system time (s): 5.40108
CPU usage (%): 99.7115
Max. virtual memory (cumulated for all children) (KiB): 3067952
Max. memory (cumulated for all children) (KiB): 1766776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.7
system time used= 5.40108
maximum resident set size= 1420856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1496060
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= 367
involuntary context switches= 2909


# summary of solver processes directly reported to runsolver:
#   pid: 201032,201037
#   total CPU time (s): 3601.1
#   total CPU user time (s): 3595.7
#   total CPU system time (s): 5.40108

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.80832 second user time and 18.2648 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-23 01:54:36
IDJOB=4545329
IDBENCH=180812
IDSOLVER=3388
FILE ID=nodeC013/4545329-1753228476
RUNJOBID= nodeC013-1753222587-197774
SLURM_JOB_ID= 9687822
Free space on /tmp= 432948 MiB

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

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

MD5SUM BENCH= e5dad10f2c51a051686c6ce21bebf57a
RANDOM SEED=1091290453

nodeC013 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.810
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.67
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		: 3599.833
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.67
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		: 3562.022
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.67
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		: 3571.253
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.67
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		: 3601.758
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.67
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.489
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.67
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		: 3606.779
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.67
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		: 3599.515
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        118479108 kB
MemAvailable:   119628660 kB
Buffers:            1668 kB
Cached:          1889904 kB
SwapCached:           52 kB
Active:         10925136 kB
Inactive:        1031944 kB
Active(anon):   10082060 kB
Inactive(anon):     4872 kB
Active(file):     843076 kB
Inactive(file):  1027072 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008868 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16168 kB
Writeback:             0 kB
AnonPages:      10050496 kB
Mapped:           128900 kB
Shmem:             21424 kB
KReclaimable:     236884 kB
Slab:             334204 kB
SReclaimable:     236884 kB
SUnreclaim:        97320 kB
KernelStack:        4368 kB
PageTables:        23796 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   14418608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2631680 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432992 MiB
End job on nodeC013 at 2025-07-23 02:54:48