Trace number 4529998

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) 3600.16 3610.75

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round23-3.opb
MD5SUM9ddf61ddf9175117d21c5f59d371263b
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2684.38
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9504
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

498.87/500.22	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529998-1752260686.opb
498.87/500.22	c Solving mode: decision
498.87/500.22	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
498.87/500.22	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
498.87/500.22	c original problem has 4288 variables (4288 bin, 0 int, 0 impl, 0 cont) and 9504 constraints
498.87/500.22	c presolving:
498.87/500.22	c (round 1, fast)       598 del vars, 1004 del conss, 681 add conss, 520 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 323 clqs
498.87/500.22	c (round 2, fast)       893 del vars, 1699 del conss, 776 add conss, 699 chg bounds, 4 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 431 clqs
498.87/500.22	c (round 3, fast)       895 del vars, 1704 del conss, 796 add conss, 701 chg bounds, 6 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 456 clqs
498.87/500.22	c (round 4, medium)     948 del vars, 1704 del conss, 796 add conss, 701 chg bounds, 6 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 350 clqs
498.87/500.22	c (round 5, fast)       948 del vars, 1772 del conss, 851 add conss, 701 chg bounds, 6 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 365 clqs
498.87/500.22	c (round 6, exhaustive) 948 del vars, 2468 del conss, 851 add conss, 701 chg bounds, 6 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 365 clqs
498.87/500.22	c (round 7, exhaustive) 948 del vars, 2468 del conss, 851 add conss, 701 chg bounds, 6 chg sides, 0 chg coeffs, 6470 upgd conss, 0 impls, 365 clqs
498.87/500.22	c (round 8, exhaustive) 948 del vars, 2564 del conss, 883 add conss, 701 chg bounds, 6 chg sides, 0 chg coeffs, 6470 upgd conss, 0 impls, 365 clqs
498.87/500.22	c (round 9, exhaustive) 948 del vars, 2564 del conss, 883 add conss, 701 chg bounds, 69 chg sides, 0 chg coeffs, 6470 upgd conss, 0 impls, 365 clqs
498.87/500.22	c (round 10, exhaustive) 948 del vars, 2564 del conss, 883 add conss, 701 chg bounds, 69 chg sides, 0 chg coeffs, 6533 upgd conss, 0 impls, 365 clqs
498.87/500.22	c    (0.2s) probing: 1000/3400 (29.4%) - 2 fixings, 0 aggregations, 323 implications, 0 bound changes
498.87/500.22	c    (0.3s) probing: 1098/3400 (32.3%) - 2 fixings, 1 aggregations, 342 implications, 0 bound changes
498.87/500.22	c    (0.3s) probing aborted: 50/50 successive totally useless probings
498.87/500.22	c (round 11, exhaustive) 951 del vars, 2564 del conss, 883 add conss, 701 chg bounds, 69 chg sides, 32 chg coeffs, 6533 upgd conss, 0 impls, 698 clqs
498.87/500.22	c (round 12, fast)       951 del vars, 2564 del conss, 1498 add conss, 701 chg bounds, 69 chg sides, 32 chg coeffs, 6533 upgd conss, 0 impls, 700 clqs
498.87/500.22	c (round 13, exhaustive) 951 del vars, 2616 del conss, 1498 add conss, 701 chg bounds, 134 chg sides, 32 chg coeffs, 6533 upgd conss, 0 impls, 700 clqs
498.87/500.22	c (round 14, exhaustive) 951 del vars, 2616 del conss, 1498 add conss, 701 chg bounds, 134 chg sides, 32 chg coeffs, 7096 upgd conss, 0 impls, 700 clqs
498.87/500.22	c (round 15, fast)       951 del vars, 3179 del conss, 1498 add conss, 701 chg bounds, 134 chg sides, 32 chg coeffs, 7096 upgd conss, 0 impls, 700 clqs
498.87/500.22	c    (0.3s) probing: 1229/3400 (36.1%) - 2 fixings, 1 aggregations, 389 implications, 0 bound changes
498.87/500.22	c    (0.3s) probing aborted: 50/50 successive totally useless probings
498.87/500.22	c    (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
498.87/500.22	c    (0.3s) no symmetry present (symcode time: 0.00)
498.87/500.22	c presolving (16 rounds: 16 fast, 10 medium, 9 exhaustive):
498.87/500.22	c  951 deleted vars, 3179 deleted constraints, 1498 added constraints, 701 tightened bounds, 0 added holes, 134 changed sides, 36 changed coefficients
498.87/500.22	c  0 implications, 747 cliques
498.87/500.22	c presolved problem has 3397 variables (3397 bin, 0 int, 0 impl, 0 cont) and 7823 constraints
498.87/500.22	c      32 constraints of type <and>
498.87/500.22	c    1354 constraints of type <linear>
498.87/500.22	c    6437 constraints of type <logicor>
498.87/500.22	c transformed objective value is always integral (scale: 1)
498.87/500.22	c Presolving Time: 0.33
498.87/500.22	c 
498.87/500.22	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
498.87/500.22	c   0.4s|     1 |     0 |   919 |     - |    54M |   0 |3397 |7848 |7855 |   0 |  0 |  25 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.87/500.22	c   1.1s|     1 |     0 |  3740 |     - |    59M |   0 |3397 |7848 |8159 | 304 |  1 |  25 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.87/500.22	c   2.0s|     1 |     0 |  5531 |     - |    62M |   0 |3397 |7848 |8473 | 618 |  2 |  25 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.87/500.22	c   4.1s|     1 |     0 |  8747 |     - |    65M |   0 |3397 |7848 |8755 | 900 |  3 |  25 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.87/500.22	c   6.3s|     1 |     0 | 12051 |     - |    68M |   0 |3397 |7848 |9040 |1185 |  4 |  25 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.87/500.22	c   8.7s|     1 |     0 | 15525 |     - |    71M |   0 |3397 |7848 |9336 |1481 |  5 |  25 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.87/500.22	c  11.3s|     1 |     0 | 19310 |     - |    73M |   0 |3397 |7848 |9507 |1652 |  6 |  25 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.87/500.22	c  14.7s|     1 |     0 | 24250 |     - |    74M |   0 |3397 |7848 |9764 |1909 |  7 |  25 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.87/500.22	c  17.7s|     1 |     0 | 28474 |     - |    77M |   0 |3397 |7848 |9924 |2069 |  8 |  25 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.87/500.22	c  20.4s|     1 |     0 | 31860 |     - |    79M |   0 |3397 |7848 |  10k|2183 |  9 |  25 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.87/500.22	c  22.9s|     1 |     0 | 34896 |     - |    80M |   0 |3397 |7848 |  10k|2297 | 10 |  25 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.87/500.22	c  24.5s|     1 |     0 | 37918 |     - |    81M |   0 |3397 |7848 |  10k|2382 | 11 |  25 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.87/500.22	c  44.4s|     1 |     2 | 48015 |     - |    81M |   0 |3397 |7843 |  10k|2382 | 11 |  25 |  19 | 0.000000e+00 |      --      |    Inf | unknown
498.87/500.22	c   421s|   100 |   101 |424888 |3908.8 |    84M |  17 |3397 |7861 |8032 |4210 |  1 |  65 |  19 | 0.000000e+00 |      --      |    Inf | unknown
498.87/500.22	c   461s|   200 |   201 |513006 |2387.4 |    84M |  22 |3397 |7864 |8329 |6612 |  1 |  69 |  19 | 0.000000e+00 |      --      |    Inf | unknown
498.87/500.22	c 
498.87/500.22	c SCIP Status        : solving was interrupted [time limit reached]
498.87/500.22	c Solving Time (sec) : 500.03
498.87/500.22	c Solving Nodes      : 271
498.87/500.22	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
498.87/500.22	c Dual Bound         : +0.00000000000000e+00
498.87/500.22	c Gap                : infinite
498.87/500.22	c ----------------------------------------------------------------------
498.87/500.22	c dual bound: 0.0 -> 0
498.87/500.22	c primal bound: 1e+20 -> 100000000000000000000
498.87/500.22	c scip-goal-lb: 0
498.87/500.22	c scip-goal-ub: 100000000000000000000
498.87/500.22	c writing output to: HOME/tmpwd5_0c_c.opb
498.87/500.22	c appending fixed variable constraints
498.87/500.22	c scip-fixed vars: 22.87% (777/3397)
498.87/500.22	c ----------------------------------------------------------------------
498.87/500.22	c executing external solver: HOME/naps-1.03a6
498.87/500.22	c ----------------------------------------------------------------------
498.87/500.22	c command: HOME/naps-1.03a6 HOME/tmpwd5_0c_c.opb
498.87/500.22	c NaPS 1.03a6.
498.87/500.22	c Input file name: HOME/tmpwd5_0c_c.opb
3600.08/3610.70	c
3600.08/3610.70	c *** TERMINATED *** by signal 15
3600.08/3610.70	c s UNKNOWN
3600.08/3610.70	c _____________________________________________________________________________
3600.08/3610.70	c std/band forms        : 16,882
3600.08/3610.70	c 2cl/3cl ITE-codings   : 22,13078
3600.08/3610.70	c BDD/srt/adr Max costs : 32,0,0
3600.08/3610.70	c BDDraw/bin/mul/srt/adr: 898,0,0,0,0
3600.08/3610.70	c BDD nodes             : 23783
3600.08/3610.70	c Es1/CC detections     : 0,0
3600.08/3610.70	c CC sort               : 0
3600.08/3610.70	c SAT/UNSAT calls       : 0,0
3600.08/3610.70	c regenrated variables  : 0
3600.08/3610.70	c eliminated fixed lits : 5108
3600.08/3610.70	c goal lit flips        : 0
3600.08/3610.70	c goal stages           : 0
3600.08/3610.70	c goal shrink           : 0
3600.08/3610.70	c goal coeff separations: 0
3600.08/3610.70	c restarts              : 0
3600.08/3610.70	c conflicts             : 0              (0 /sec)
3600.08/3610.70	c decisions             : 0              (0 /sec)
3600.08/3610.70	c propagations          : 0              (0 /sec)
3600.08/3610.70	c inspects              : 0              (0 /sec)
3600.08/3610.70	c CPU time (solving tm) : 3091 s        (3091 s, SAT 0 s, UNSAT 0 s)
3600.08/3610.70	c Time for Opt-base     : 0 s
3600.08/3610.70	c Steps for Opt-base    : 0
3600.08/3610.70	c Time for BDD coding   : 0.09425 s
3600.08/3610.70	c Time for srt coding   : 0 s
3600.08/3610.70	c _____________________________________________________________________________
3600.08/3610.70	s UNKNOWN
3600.08/3610.73	c received SIGTERM, forwarding to pbsolver...
3600.08/3610.73	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 (61438 MiB free)
  memory of node 1: 64465 MiB (55496 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529998-1752260686/watcher-4529998-1752260686 -o /tmp/evaluation-result-4529998-1752260686/solver-4529998-1752260686 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1752256569-171617 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529998-1752260686.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=172292, runsolver pid=172289

[startup+0.100063 s]*
/proc/loadavg: 4.09 4.11 4.10 5/266 172297
/proc/meminfo: memFree=119732440/131249992 swapFree=33010160/33010684
[pid=172292] ppid=172289 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172292/stat : 172292 (scip-naps-1.00a) S 172289 172292 171604 0 -1 4194304 261 337 0 0 0 0 0 0 20 0 1 0 141747347 4292608 768 18446744073709551615 94050291691520 94050292586053 140720742983568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94050292825104 94050292872848 94050309382144 140720742992283 140720742992382 140720742992382 140720742997986 0
/proc/172292/statm: 1048 768 704 219 0 110 0
[pid=172297] ppid=172292 vsize=1186972 memory=31832 CPUtime=0.07 cores=5,7
/proc/172297/stat : 172297 (python3) R 172292 172292 171604 0 -1 4194304 3718 0 0 0 6 1 0 0 20 0 1 0 141747349 1215459328 7958 18446744073709551615 93923614167040 93923614167417 140730700485552 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93923614178712 93923614179332 93923618947072 140730700491087 140730700491296 140730700491296 140730700496871 0
/proc/172297/statm: 296743 7958 4894 1 0 268765 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191164 KiB
Current children cumulated memory: 34904 KiB

[startup+0.205885 s]*
/proc/loadavg: 4.09 4.11 4.10 5/266 172297
/proc/meminfo: memFree=119699176/131249992 swapFree=33010160/33010684
[pid=172292] ppid=172289 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172292/stat : 172292 (scip-naps-1.00a) S 172289 172292 171604 0 -1 4194304 261 337 0 0 0 0 0 0 20 0 1 0 141747347 4292608 768 18446744073709551615 94050291691520 94050292586053 140720742983568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94050292825104 94050292872848 94050309382144 140720742992283 140720742992382 140720742992382 140720742997986 0
/proc/172292/statm: 1048 768 704 219 0 110 0
[pid=172297] ppid=172292 vsize=1222544 memory=74712 CPUtime=0.17 cores=5,7
/proc/172297/stat : 172297 (python3) R 172292 172292 171604 0 -1 4194304 11657 0 0 0 15 2 0 0 20 0 1 0 141747349 1251885056 18678 18446744073709551615 93923614167040 93923614167417 140730700485552 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93923614178712 93923614179332 93923618947072 140730700491087 140730700491296 140730700491296 140730700496871 0
/proc/172297/statm: 305636 18678 7902 1 0 276994 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1226736 KiB
Current children cumulated memory: 77784 KiB

[startup+0.305855 s]*
/proc/loadavg: 4.09 4.11 4.10 5/266 172297
/proc/meminfo: memFree=119691132/131249992 swapFree=33010160/33010684
[pid=172292] ppid=172289 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172292/stat : 172292 (scip-naps-1.00a) S 172289 172292 171604 0 -1 4194304 261 337 0 0 0 0 0 0 20 0 1 0 141747347 4292608 768 18446744073709551615 94050291691520 94050292586053 140720742983568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94050292825104 94050292872848 94050309382144 140720742992283 140720742992382 140720742992382 140720742997986 0
/proc/172292/statm: 1048 768 704 219 0 110 0
[pid=172297] ppid=172292 vsize=1231680 memory=83544 CPUtime=0.26 cores=5,7
/proc/172297/stat : 172297 (python3) R 172292 172292 171604 0 -1 4194304 13872 0 0 0 24 2 0 0 20 0 1 0 141747349 1261240320 20886 18446744073709551615 93923614167040 93923614167417 140730700485552 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93923614178712 93923614179332 93923618947072 140730700491087 140730700491296 140730700491296 140730700496871 0
/proc/172297/statm: 307920 20886 7902 1 0 279278 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1235872 KiB
Current children cumulated memory: 86616 KiB

[startup+0.700201 s]
/proc/loadavg: 4.09 4.11 4.10 5/266 172297
/proc/meminfo: memFree=119683068/131249992 swapFree=33010160/33010684
[pid=172292] ppid=172289 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172292/stat : 172292 (scip-naps-1.00a) S 172289 172292 171604 0 -1 4194304 261 337 0 0 0 0 0 0 20 0 1 0 141747347 4292608 768 18446744073709551615 94050291691520 94050292586053 140720742983568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94050292825104 94050292872848 94050309382144 140720742992283 140720742992382 140720742992382 140720742997986 0
/proc/172292/statm: 1048 768 704 219 0 110 0
[pid=172297] ppid=172292 vsize=1258500 memory=106148 CPUtime=0.65 cores=5,7
/proc/172297/stat : 172297 (python3) R 172292 172292 171604 0 -1 4194304 19664 0 0 0 62 3 0 0 20 0 1 0 141747349 1288704000 26537 18446744073709551615 93923614167040 93923614167417 140730700485552 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93923614178712 93923614179332 93923618947072 140730700491087 140730700491296 140730700491296 140730700496871 0
/proc/172297/statm: 314625 26537 8126 1 0 285983 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1262692 KiB
Current children cumulated memory: 109220 KiB

[startup+1.5002 s]
/proc/loadavg: 4.09 4.11 4.10 5/266 172297
/proc/meminfo: memFree=119634936/131249992 swapFree=33010160/33010684
[pid=172292] ppid=172289 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172292/stat : 172292 (scip-naps-1.00a) S 172289 172292 171604 0 -1 4194304 261 337 0 0 0 0 0 0 20 0 1 0 141747347 4292608 768 18446744073709551615 94050291691520 94050292586053 140720742983568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94050292825104 94050292872848 94050309382144 140720742992283 140720742992382 140720742992382 140720742997986 0
/proc/172292/statm: 1048 768 704 219 0 110 0
[pid=172297] ppid=172292 vsize=1289692 memory=135488 CPUtime=1.45 cores=5,7
/proc/172297/stat : 172297 (python3) R 172292 172292 171604 0 -1 4194304 28282 0 0 0 141 4 0 0 20 0 1 0 141747349 1320644608 33872 18446744073709551615 93923614167040 93923614167417 140730700485552 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93923614178712 93923614179332 93923618947072 140730700491087 140730700491296 140730700491296 140730700496871 0
/proc/172297/statm: 322423 33872 8158 1 0 293781 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1293884 KiB
Current children cumulated memory: 138560 KiB

[startup+3.10571 s]
/proc/loadavg: 4.09 4.11 4.10 5/267 172298
/proc/meminfo: memFree=119623716/131249992 swapFree=33010160/33010684
[pid=172292] ppid=172289 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172292/stat : 172292 (scip-naps-1.00a) S 172289 172292 171604 0 -1 4194304 261 337 0 0 0 0 0 0 20 0 1 0 141747347 4292608 768 18446744073709551615 94050291691520 94050292586053 140720742983568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94050292825104 94050292872848 94050309382144 140720742992283 140720742992382 140720742992382 140720742997986 0
/proc/172292/statm: 1048 768 704 219 0 110 0
[pid=172297] ppid=172292 vsize=1289692 memory=135488 CPUtime=3.05 cores=5,7
/proc/172297/stat : 172297 (python3) R 172292 172292 171604 0 -1 4194304 28306 0 0 0 301 4 0 0 20 0 1 0 141747349 1320644608 33872 18446744073709551615 93923614167040 93923614167417 140730700485552 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93923614178712 93923614179332 93923618947072 140730700491087 140730700491296 140730700491296 140730700496871 0
/proc/172297/statm: 322423 33872 8158 1 0 293781 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1293884 KiB
Current children cumulated memory: 138560 KiB

[startup+6.30019 s]
/proc/loadavg: 4.08 4.10 4.10 5/267 172298
/proc/meminfo: memFree=119620900/131249992 swapFree=33010160/33010684
[pid=172292] ppid=172289 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172292/stat : 172292 (scip-naps-1.00a) S 172289 172292 171604 0 -1 4194304 261 337 0 0 0 0 0 0 20 0 1 0 141747347 4292608 768 18446744073709551615 94050291691520 94050292586053 140720742983568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94050292825104 94050292872848 94050309382144 140720742992283 140720742992382 140720742992382 140720742997986 0
/proc/172292/statm: 1048 768 704 219 0 110 0
[pid=172297] ppid=172292 vsize=1289692 memory=135744 CPUtime=6.24 cores=5,7
/proc/172297/stat : 172297 (python3) R 172292 172292 171604 0 -1 4194304 28353 0 0 0 620 4 0 0 20 0 1 0 141747349 1320644608 33936 18446744073709551615 93923614167040 93923614167417 140730700485552 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93923614178712 93923614179332 93923618947072 140730700491087 140730700491296 140730700491296 140730700496871 0
/proc/172297/statm: 322423 33936 8158 1 0 293781 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1293884 KiB
Current children cumulated memory: 138816 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 172298
/proc/meminfo: memFree=119614788/131249992 swapFree=33010160/33010684
[pid=172292] ppid=172289 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172292/stat : 172292 (scip-naps-1.00a) S 172289 172292 171604 0 -1 4194304 261 337 0 0 0 0 0 0 20 0 1 0 141747347 4292608 768 18446744073709551615 94050291691520 94050292586053 140720742983568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94050292825104 94050292872848 94050309382144 140720742992283 140720742992382 140720742992382 140720742997986 0
/proc/172292/statm: 1048 768 704 219 0 110 0
[pid=172297] ppid=172292 vsize=1289692 memory=136256 CPUtime=12.63 cores=5,7
/proc/172297/stat : 172297 (python3) R 172292 172292 171604 0 -1 4194304 28486 0 0 0 1258 5 0 0 20 0 1 0 141747349 1320644608 34064 18446744073709551615 93923614167040 93923614167417 140730700485552 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93923614178712 93923614179332 93923618947072 140730700491087 140730700491296 140730700491296 140730700496871 0
/proc/172297/statm: 322423 34064 8158 1 0 293781 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1293884 KiB
Current children cumulated memory: 139328 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.10 5/268 172350
/proc/meminfo: memFree=119780852/131249992 swapFree=33010160/33010684
[pid=172292] ppid=172289 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172292/stat : 172292 (scip-naps-1.00a) S 172289 172292 171604 0 -1 4194304 261 337 0 0 0 0 0 0 20 0 1 0 141747347 4292608 768 18446744073709551615 94050291691520 94050292586053 140720742983568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94050292825104 94050292872848 94050309382144 140720742992283 140720742992382 140720742992382 140720742997986 0
/proc/172292/statm: 1048 768 704 219 0 110 0
[pid=172297] ppid=172292 vsize=1292320 memory=137792 CPUtime=25.39 cores=5,7
/proc/172297/stat : 172297 (python3) R 172292 172292 171604 0 -1 4194304 28860 0 0 0 2534 5 0 0 20 0 1 0 141747349 1323335680 34448 18446744073709551615 93923614167040 93923614167417 140730700485552 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93923614178712 93923614179332 93923618947072 140730700491087 140730700491296 140730700491296 140730700496871 0
/proc/172297/statm: 323080 34448 8158 1 0 294438 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1296512 KiB
Current children cumulated memory: 140864 KiB

[startup+51.1055 s]
/proc/loadavg: 4.09 4.10 4.09 5/270 172352
/proc/meminfo: memFree=119716960/131249992 swapFree=33010160/33010684
[pid=172292] ppid=172289 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172292/stat : 172292 (scip-naps-1.00a) S 172289 172292 171604 0 -1 4194304 261 337 0 0 0 0 0 0 20 0 1 0 141747347 4292608 768 18446744073709551615 94050291691520 94050292586053 140720742983568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94050292825104 94050292872848 94050309382144 140720742992283 140720742992382 140720742992382 140720742997986 0
/proc/172292/statm: 1048 768 704 219 0 110 0
[pid=172297] ppid=172292 vsize=1319148 memory=163276 CPUtime=50.92 cores=5,7
/proc/172297/stat : 172297 (python3) R 172292 172292 171604 0 -1 4194304 39104 0 0 0 5086 6 0 0 20 0 1 0 141747349 1350807552 40819 18446744073709551615 93923614167040 93923614167417 140730700485552 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93923614178712 93923614179332 93923618947072 140730700491087 140730700491296 140730700491296 140730700496871 0
/proc/172297/statm: 329787 40819 8158 1 0 301145 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1323340 KiB
Current children cumulated memory: 166348 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/270 172406
/proc/meminfo: memFree=119979888/131249992 swapFree=33010160/33010684
[pid=172292] ppid=172289 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172292/stat : 172292 (scip-naps-1.00a) S 172289 172292 171604 0 -1 4194304 261 337 0 0 0 0 0 0 20 0 1 0 141747347 4292608 768 18446744073709551615 94050291691520 94050292586053 140720742983568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94050292825104 94050292872848 94050309382144 140720742992283 140720742992382 140720742992382 140720742997986 0
/proc/172292/statm: 1048 768 704 219 0 110 0
[pid=172297] ppid=172292 vsize=1319148 memory=163276 CPUtime=101.99 cores=5,7
/proc/172297/stat : 172297 (python3) R 172292 172292 171604 0 -1 4194304 39106 0 0 0 10193 6 0 0 20 0 1 0 141747349 1350807552 40819 18446744073709551615 93923614167040 93923614167417 140730700485552 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93923614178712 93923614179332 93923618947072 140730700491087 140730700491296 140730700491296 140730700496871 0
/proc/172297/statm: 329787 40819 8158 1 0 301145 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1323340 KiB
Current children cumulated memory: 166348 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/270 172456
/proc/meminfo: memFree=119926140/131249992 swapFree=33010160/33010684
[pid=172292] ppid=172289 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172292/stat : 172292 (scip-naps-1.00a) S 172289 172292 171604 0 -1 4194304 261 337 0 0 0 0 0 0 20 0 1 0 141747347 4292608 768 18446744073709551615 94050291691520 94050292586053 140720742983568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94050292825104 94050292872848 94050309382144 140720742992283 140720742992382 140720742992382 140720742997986 0
/proc/172292/statm: 1048 768 704 219 0 110 0
[pid=172297] ppid=172292 vsize=1319148 memory=163276 CPUtime=161.84 cores=5,7
/proc/172297/stat : 172297 (python3) R 172292 172292 171604 0 -1 4194304 39106 0 0 0 16178 6 0 0 20 0 1 0 141747349 1350807552 40819 18446744073709551615 93923614167040 93923614167417 140730700485552 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93923614178712 93923614179332 93923618947072 140730700491087 140730700491296 140730700491296 140730700496871 0
/proc/172297/statm: 329787 40819 8158 1 0 301145 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1323340 KiB
Current children cumulated memory: 166348 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 172464
/proc/meminfo: memFree=119883064/131249992 swapFree=33010160/33010684
[pid=172292] ppid=172289 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172292/stat : 172292 (scip-naps-1.00a) S 172289 172292 171604 0 -1 4194304 261 337 0 0 0 0 0 0 20 0 1 0 141747347 4292608 768 18446744073709551615 94050291691520 94050292586053 140720742983568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94050292825104 94050292872848 94050309382144 140720742992283 140720742992382 140720742992382 140720742997986 0
/proc/172292/statm: 1048 768 704 219 0 110 0
[pid=172297] ppid=172292 vsize=1319148 memory=163276 CPUtime=221.7 cores=5,7
/proc/172297/stat : 172297 (python3) R 172292 172292 171604 0 -1 4194304 39106 0 0 0 22164 6 0 0 20 0 1 0 141747349 1350807552 40819 18446744073709551615 93923614167040 93923614167417 140730700485552 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93923614178712 93923614179332 93923618947072 140730700491087 140730700491296 140730700491296 140730700496871 0
/proc/172297/statm: 329787 40819 8158 1 0 301145 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 1323340 KiB

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

[pid=172474] ppid=172297 vsize=50556 memory=45432 CPUtime=2714.12 cores=5,7
/proc/172474/stat : 172474 (naps-1.03a6) R 172297 172474 172474 0 -1 4194304 2006264 0 0 0 270539 873 0 0 20 0 1 0 141797370 51769344 11358 18446744073709551615 4198400 7047149 140726724561136 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23687168 140726724569487 140726724569585 140726724569585 140726724575177 0
/proc/172474/statm: 12639 11358 544 696 0 11800 0
Current children cumulated CPU time: 3213.02 s
Current children cumulated vsize: 1381968 KiB
Current children cumulated memory: 229840 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 173053
/proc/meminfo: memFree=118233524/131249992 swapFree=33010160/33010684
[pid=172292] ppid=172289 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172292/stat : 172292 (scip-naps-1.00a) S 172289 172292 171604 0 -1 4194304 261 337 0 0 0 0 0 0 20 0 1 0 141747347 4292608 768 18446744073709551615 94050291691520 94050292586053 140720742983568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94050292825104 94050292872848 94050309382144 140720742992283 140720742992382 140720742992382 140720742997986 0
/proc/172292/statm: 1048 768 704 219 0 110 0
[pid=172297] ppid=172292 vsize=1327220 memory=181336 CPUtime=498.9 cores=5,7
/proc/172297/stat : 172297 (python3) S 172292 172292 171604 0 -1 4194304 50123 0 0 0 49881 9 0 0 20 0 1 0 141747349 1359073280 45334 18446744073709551615 93923614167040 93923614167417 140730700485552 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93923614178712 93923614179332 93923618947072 140730700491087 140730700491296 140730700491296 140730700496871 0
/proc/172297/statm: 331805 45334 8158 1 0 303163 0
[pid=172474] ppid=172297 vsize=79228 memory=71104 CPUtime=2773.93 cores=5,7
/proc/172474/stat : 172474 (naps-1.03a6) R 172297 172474 172474 0 -1 4194304 2033151 0 0 0 276501 892 0 0 20 0 1 0 141797370 81129472 17776 18446744073709551615 4198400 7047149 140726724561136 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23687168 140726724569487 140726724569585 140726724569585 140726724575177 0
/proc/172474/statm: 19807 17776 544 696 0 18968 0
Current children cumulated CPU time: 3272.83 s
Current children cumulated vsize: 1410640 KiB
Current children cumulated memory: 255512 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/273 173055
/proc/meminfo: memFree=118169492/131249992 swapFree=33010160/33010684
[pid=172292] ppid=172289 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172292/stat : 172292 (scip-naps-1.00a) S 172289 172292 171604 0 -1 4194304 261 337 0 0 0 0 0 0 20 0 1 0 141747347 4292608 768 18446744073709551615 94050291691520 94050292586053 140720742983568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94050292825104 94050292872848 94050309382144 140720742992283 140720742992382 140720742992382 140720742997986 0
/proc/172292/statm: 1048 768 704 219 0 110 0
[pid=172297] ppid=172292 vsize=1327220 memory=181336 CPUtime=498.9 cores=5,7
/proc/172297/stat : 172297 (python3) S 172292 172292 171604 0 -1 4194304 50123 0 0 0 49881 9 0 0 20 0 1 0 141747349 1359073280 45334 18446744073709551615 93923614167040 93923614167417 140730700485552 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93923614178712 93923614179332 93923618947072 140730700491087 140730700491296 140730700491296 140730700496871 0
/proc/172297/statm: 331805 45334 8158 1 0 303163 0
[pid=172474] ppid=172297 vsize=71036 memory=60864 CPUtime=2833.7 cores=5,7
/proc/172474/stat : 172474 (naps-1.03a6) R 172297 172474 172474 0 -1 4194304 2213350 0 0 0 282404 966 0 0 20 0 1 0 141797370 72740864 15216 18446744073709551615 4198400 7047149 140726724561136 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23687168 140726724569487 140726724569585 140726724569585 140726724575177 0
/proc/172474/statm: 17759 15216 544 696 0 16920 0
Current children cumulated CPU time: 3332.6 s
Current children cumulated vsize: 1402448 KiB
Current children cumulated memory: 245272 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/273 173068
/proc/meminfo: memFree=118144180/131249992 swapFree=33010160/33010684
[pid=172292] ppid=172289 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172292/stat : 172292 (scip-naps-1.00a) S 172289 172292 171604 0 -1 4194304 261 337 0 0 0 0 0 0 20 0 1 0 141747347 4292608 768 18446744073709551615 94050291691520 94050292586053 140720742983568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94050292825104 94050292872848 94050309382144 140720742992283 140720742992382 140720742992382 140720742997986 0
/proc/172292/statm: 1048 768 704 219 0 110 0
[pid=172297] ppid=172292 vsize=1327220 memory=181336 CPUtime=498.9 cores=5,7
/proc/172297/stat : 172297 (python3) S 172292 172292 171604 0 -1 4194304 50123 0 0 0 49881 9 0 0 20 0 1 0 141747349 1359073280 45334 18446744073709551615 93923614167040 93923614167417 140730700485552 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93923614178712 93923614179332 93923618947072 140730700491087 140730700491296 140730700491296 140730700496871 0
/proc/172297/statm: 331805 45334 8158 1 0 303163 0
[pid=172474] ppid=172297 vsize=71032 memory=62372 CPUtime=2893.49 cores=5,7
/proc/172474/stat : 172474 (naps-1.03a6) R 172297 172474 172474 0 -1 4194304 2304352 0 0 0 288349 1000 0 0 20 0 1 0 141797370 72736768 15593 18446744073709551615 4198400 7047149 140726724561136 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23687168 140726724569487 140726724569585 140726724569585 140726724575177 0
/proc/172474/statm: 17758 15593 544 696 0 16919 0
Current children cumulated CPU time: 3392.39 s
Current children cumulated vsize: 1402444 KiB
Current children cumulated memory: 246780 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.11 4.10 5/273 173070
/proc/meminfo: memFree=118052208/131249992 swapFree=33010160/33010684
[pid=172292] ppid=172289 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172292/stat : 172292 (scip-naps-1.00a) S 172289 172292 171604 0 -1 4194304 261 337 0 0 0 0 0 0 20 0 1 0 141747347 4292608 768 18446744073709551615 94050291691520 94050292586053 140720742983568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94050292825104 94050292872848 94050309382144 140720742992283 140720742992382 140720742992382 140720742997986 0
/proc/172292/statm: 1048 768 704 219 0 110 0
[pid=172297] ppid=172292 vsize=1327220 memory=181336 CPUtime=498.9 cores=5,7
/proc/172297/stat : 172297 (python3) S 172292 172292 171604 0 -1 4194304 50123 0 0 0 49881 9 0 0 20 0 1 0 141747349 1359073280 45334 18446744073709551615 93923614167040 93923614167417 140730700485552 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93923614178712 93923614179332 93923618947072 140730700491087 140730700491296 140730700491296 140730700496871 0
/proc/172297/statm: 331805 45334 8158 1 0 303163 0
[pid=172474] ppid=172297 vsize=120188 memory=79296 CPUtime=2953.29 cores=5,7
/proc/172474/stat : 172474 (naps-1.03a6) R 172297 172474 172474 0 -1 4194304 2330976 0 0 0 294314 1015 0 0 20 0 1 0 141797370 123072512 19824 18446744073709551615 4198400 7047149 140726724561136 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23687168 140726724569487 140726724569585 140726724569585 140726724575177 0
/proc/172474/statm: 30047 19824 544 696 0 29208 0
Current children cumulated CPU time: 3452.19 s
Current children cumulated vsize: 1451600 KiB
Current children cumulated memory: 263704 KiB

[startup+3522.3 s]
/proc/loadavg: 4.33 4.18 4.12 5/270 173072
/proc/meminfo: memFree=118096300/131249992 swapFree=33010160/33010684
[pid=172292] ppid=172289 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172292/stat : 172292 (scip-naps-1.00a) S 172289 172292 171604 0 -1 4194304 261 337 0 0 0 0 0 0 20 0 1 0 141747347 4292608 768 18446744073709551615 94050291691520 94050292586053 140720742983568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94050292825104 94050292872848 94050309382144 140720742992283 140720742992382 140720742992382 140720742997986 0
/proc/172292/statm: 1048 768 704 219 0 110 0
[pid=172297] ppid=172292 vsize=1327220 memory=181336 CPUtime=498.9 cores=5,7
/proc/172297/stat : 172297 (python3) S 172292 172292 171604 0 -1 4194304 50123 0 0 0 49881 9 0 0 20 0 1 0 141747349 1359073280 45334 18446744073709551615 93923614167040 93923614167417 140730700485552 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93923614178712 93923614179332 93923618947072 140730700491087 140730700491296 140730700491296 140730700496871 0
/proc/172297/statm: 331805 45334 8158 1 0 303163 0
[pid=172474] ppid=172297 vsize=54648 memory=49112 CPUtime=3013.08 cores=5,7
/proc/172474/stat : 172474 (naps-1.03a6) R 172297 172474 172474 0 -1 4194304 2355283 0 0 0 300284 1024 0 0 20 0 1 0 141797370 55959552 12278 18446744073709551615 4198400 7047149 140726724561136 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23687168 140726724569487 140726724569585 140726724569585 140726724575177 0
/proc/172474/statm: 13662 12278 544 696 0 12823 0
Current children cumulated CPU time: 3511.98 s
Current children cumulated vsize: 1386060 KiB
Current children cumulated memory: 233520 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/268 173074
/proc/meminfo: memFree=118071956/131249992 swapFree=33010160/33010684
[pid=172292] ppid=172289 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172292/stat : 172292 (scip-naps-1.00a) S 172289 172292 171604 0 -1 4194304 261 337 0 0 0 0 0 0 20 0 1 0 141747347 4292608 768 18446744073709551615 94050291691520 94050292586053 140720742983568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94050292825104 94050292872848 94050309382144 140720742992283 140720742992382 140720742992382 140720742997986 0
/proc/172292/statm: 1048 768 704 219 0 110 0
[pid=172297] ppid=172292 vsize=1327220 memory=181336 CPUtime=498.9 cores=5,7
/proc/172297/stat : 172297 (python3) S 172292 172292 171604 0 -1 4194304 50123 0 0 0 49881 9 0 0 20 0 1 0 141747349 1359073280 45334 18446744073709551615 93923614167040 93923614167417 140730700485552 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93923614178712 93923614179332 93923618947072 140730700491087 140730700491296 140730700491296 140730700496871 0
/proc/172297/statm: 331805 45334 8158 1 0 303163 0
[pid=172474] ppid=172297 vsize=50556 memory=45432 CPUtime=3072.88 cores=5,7
/proc/172474/stat : 172474 (naps-1.03a6) R 172297 172474 172474 0 -1 4194304 2363382 0 0 0 306257 1031 0 0 20 0 1 0 141797370 51769344 11358 18446744073709551615 4198400 7047149 140726724561136 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23687168 140726724569487 140726724569585 140726724569585 140726724575177 0
/proc/172474/statm: 12639 11358 544 696 0 11800 0
Current children cumulated CPU time: 3571.78 s
Current children cumulated vsize: 1381968 KiB
Current children cumulated memory: 229840 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.14 4.15 4.11 5/268 173074
/proc/meminfo: memFree=118067736/131249992 swapFree=33010160/33010684
[pid=172292] ppid=172289 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172292/stat : 172292 (scip-naps-1.00a) S 172289 172292 171604 0 -1 4194304 261 337 0 0 0 0 0 0 20 0 1 0 141747347 4292608 768 18446744073709551615 94050291691520 94050292586053 140720742983568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94050292825104 94050292872848 94050309382144 140720742992283 140720742992382 140720742992382 140720742997986 0
/proc/172292/statm: 1048 768 704 219 0 110 0
[pid=172297] ppid=172292 vsize=1327220 memory=181336 CPUtime=498.9 cores=5,7
/proc/172297/stat : 172297 (python3) S 172292 172292 171604 0 -1 4194304 50123 0 0 0 49881 9 0 0 20 0 1 0 141747349 1359073280 45334 18446744073709551615 93923614167040 93923614167417 140730700485552 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93923614178712 93923614179332 93923618947072 140730700491087 140730700491296 140730700491296 140730700496871 0
/proc/172297/statm: 331805 45334 8158 1 0 303163 0
[pid=172474] ppid=172297 vsize=87420 memory=75840 CPUtime=3101.18 cores=5,7
/proc/172474/stat : 172474 (naps-1.03a6) R 172297 172474 172474 0 -1 4194304 2376753 0 0 0 309079 1039 0 0 20 0 1 0 141797370 89518080 18960 18446744073709551615 4198400 7047149 140726724561136 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23687168 140726724569487 140726724569585 140726724569585 140726724575177 0
/proc/172474/statm: 21855 18960 544 696 0 21016 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1418832 KiB
Current children cumulated memory: 260248 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000442 s, system=0.006459 s

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

# cumulated CPU time of all completed processes:  user=3589.66 s, system=10.5017 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.7 s]
/proc/loadavg: 4.14 4.15 4.11 5/268 173074
/proc/meminfo: memFree=118067736/131249992 swapFree=33010160/33010684
[pid=172292] ppid=172289 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/172292/stat : 172292 (scip-naps-1.00a) S 172289 172292 171604 0 -1 4194304 261 337 0 0 0 0 0 0 20 0 1 0 141747347 4292608 768 18446744073709551615 94050291691520 94050292586053 140720742983568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94050292825104 94050292872848 94050309382144 140720742992283 140720742992382 140720742992382 140720742997986 0
/proc/172292/statm: 1048 768 704 219 0 110 0
[pid=172297] ppid=172292 vsize=1327220 memory=181336 CPUtime=498.9 cores=5,7
/proc/172297/stat : 172297 (python3) S 172292 172292 171604 0 -1 4194304 50123 0 0 0 49881 9 0 0 20 0 1 0 141747349 1359073280 45334 18446744073709551615 93923614167040 93923614167417 140730700485552 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93923614178712 93923614179332 93923618947072 140730700491087 140730700491296 140730700491296 140730700496871 0
/proc/172297/statm: 331805 45334 8158 1 0 303163 0
[pid=172474] ppid=172297 vsize=87420 memory=75840 CPUtime=3101.18 cores=5,7
/proc/172474/stat : 172474 (naps-1.03a6) R 172297 172474 172474 0 -1 4194304 2376753 0 0 0 309079 1039 0 0 20 0 1 0 141797370 89518080 18960 18446744073709551615 4198400 7047149 140726724561136 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 23687168 140726724569487 140726724569585 140726724569585 140726724575177 0
/proc/172474/statm: 21855 18960 544 696 0 21016 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1418832 KiB
Current children cumulated memory: 260248 KiB

Child status: 0

Real time (s): 3610.75
CPU time (s): 3600.16
CPU user time (s): 3589.66
CPU system time (s): 10.5017
CPU usage (%): 99.7066
Max. virtual memory (cumulated for all children) (KiB): 1467984
Max. memory (cumulated for all children) (KiB): 286236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.66
system time used= 10.5017
maximum resident set size= 181720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2430543
page faults= 0
swaps= 0
block input operations= 0
block output operations= 848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 384
involuntary context switches= 3434


# summary of solver processes directly reported to runsolver:
#   pid: 172292,172297
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3589.66
#   total CPU system time (s): 10.5017

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21548 second user time and 17.2332 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-11 21:04:46
IDJOB=4529998
IDBENCH=162283
IDSOLVER=3388
FILE ID=nodeC025/4529998-1752260686
RUNJOBID= nodeC025-1752256569-171617
SLURM_JOB_ID= 9682602
Free space on /tmp= 432960 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round23-3.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529998-1752260686/watcher-4529998-1752260686 -o /tmp/evaluation-result-4529998-1752260686/solver-4529998-1752260686 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1752256569-171617 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4529998-1752260686.opb

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

MD5SUM BENCH= 9ddf61ddf9175117d21c5f59d371263b
RANDOM SEED=757150454

nodeC025 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.829
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.837
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		: 3601.202
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		: 3570.153
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		: 3599.834
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		: 3601.185
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		: 3575.591
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.839
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:       131249992 kB
MemFree:        119740724 kB
MemAvailable:   128801864 kB
Buffers:            2128 kB
Cached:          9803552 kB
SwapCached:          200 kB
Active:          1325284 kB
Inactive:        9445536 kB
Active(anon):     965936 kB
Inactive(anon):    17060 kB
Active(file):     359348 kB
Inactive(file):  9428476 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5840 kB
Writeback:             0 kB
AnonPages:        968060 kB
Mapped:           127356 kB
Shmem:             17856 kB
KReclaimable:     225108 kB
Slab:             319932 kB
SReclaimable:     225108 kB
SUnreclaim:        94824 kB
KernelStack:        4320 kB
PageTables:         5676 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4596784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432948 MiB
End job on nodeC025 at 2025-07-11 22:04:57