Trace number 4502167

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP-NaPS 1.00a1? (TO) 3600.53 3610.61

General information on the benchmark

NamePB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12011_3-sat.opb
MD5SUMf7b2b496c30aa17fcbe59599d08153aa
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 variables49368
Total number of constraints158090
Number of constraints which are clauses157278
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints812
Minimum length of a constraint1
Maximum length of a constraint93
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 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 546
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

54.82/55.02	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4502167-1751162967.opb
54.82/55.02	c Solving mode: decision
54.82/55.02	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
54.82/55.02	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
54.82/55.02	c original problem has 49368 variables (49368 bin, 0 int, 0 impl, 0 cont) and 158090 constraints
54.82/55.02	c presolving:
54.82/55.02	c (round 1, fast)       16710 del vars, 14375 del conss, 0 add conss, 3307 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 90456 clqs
54.82/55.02	c (round 2, fast)       29667 del vars, 62455 del conss, 0 add conss, 3307 chg bounds, 66 chg sides, 68 chg coeffs, 0 upgd conss, 0 impls, 90259 clqs
54.82/55.02	c (round 3, fast)       29667 del vars, 63601 del conss, 0 add conss, 3307 chg bounds, 66 chg sides, 68 chg coeffs, 0 upgd conss, 0 impls, 91106 clqs
54.82/55.02	c (round 4, medium)     29700 del vars, 63601 del conss, 0 add conss, 3307 chg bounds, 66 chg sides, 68 chg coeffs, 0 upgd conss, 0 impls, 90603 clqs
54.82/55.02	c (round 5, fast)       29753 del vars, 64130 del conss, 0 add conss, 3307 chg bounds, 66 chg sides, 68 chg coeffs, 0 upgd conss, 0 impls, 90574 clqs
54.82/55.02	c (round 6, exhaustive) 29753 del vars, 64158 del conss, 0 add conss, 3307 chg bounds, 66 chg sides, 68 chg coeffs, 93932 upgd conss, 0 impls, 90593 clqs
54.82/55.02	c (round 7, exhaustive) 29753 del vars, 112213 del conss, 15395 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93932 upgd conss, 0 impls, 90601 clqs
54.82/55.02	c (round 8, fast)       29755 del vars, 112303 del conss, 15398 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93932 upgd conss, 0 impls, 92368 clqs
54.82/55.02	c (round 9, fast)       29758 del vars, 112420 del conss, 15398 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93932 upgd conss, 0 impls, 92243 clqs
54.82/55.02	c (round 10, fast)       29760 del vars, 112537 del conss, 15398 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93932 upgd conss, 0 impls, 92120 clqs
54.82/55.02	c (round 11, fast)       29762 del vars, 112656 del conss, 15398 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93932 upgd conss, 0 impls, 91996 clqs
54.82/55.02	c (round 12, fast)       29764 del vars, 112781 del conss, 15398 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93932 upgd conss, 0 impls, 91872 clqs
54.82/55.02	c (round 13, fast)       29766 del vars, 112884 del conss, 15398 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93932 upgd conss, 0 impls, 91748 clqs
54.82/55.02	c (round 14, fast)       29768 del vars, 113000 del conss, 15398 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93932 upgd conss, 0 impls, 91624 clqs
54.82/55.02	c (round 15, fast)       29770 del vars, 113115 del conss, 15398 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93932 upgd conss, 0 impls, 91500 clqs
54.82/55.02	c (round 16, fast)       29772 del vars, 113228 del conss, 15398 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93932 upgd conss, 0 impls, 91376 clqs
54.82/55.02	c (round 17, fast)       29774 del vars, 113338 del conss, 15398 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93932 upgd conss, 0 impls, 91252 clqs
54.82/55.02	c (round 18, fast)       29775 del vars, 113432 del conss, 15398 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93932 upgd conss, 0 impls, 91251 clqs
54.82/55.02	c (round 19, fast)       29776 del vars, 113549 del conss, 15398 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93932 upgd conss, 0 impls, 91128 clqs
54.82/55.02	c (round 20, fast)       29778 del vars, 113670 del conss, 15398 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93932 upgd conss, 0 impls, 91004 clqs
54.82/55.02	c (round 21, fast)       29780 del vars, 113792 del conss, 15398 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93932 upgd conss, 0 impls, 90880 clqs
54.82/55.02	c (round 22, fast)       29782 del vars, 113913 del conss, 15398 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93932 upgd conss, 0 impls, 90756 clqs
54.82/55.02	c (round 23, fast)       29784 del vars, 114034 del conss, 15398 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93932 upgd conss, 0 impls, 90632 clqs
54.82/55.02	c (round 24, medium)     29876 del vars, 114155 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93932 upgd conss, 0 impls, 90240 clqs
54.82/55.02	c (round 25, fast)       29877 del vars, 114276 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93932 upgd conss, 0 impls, 90119 clqs
54.82/55.02	c (round 26, fast)       29882 del vars, 114849 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93932 upgd conss, 0 impls, 89515 clqs
54.82/55.02	c (round 27, fast)       29892 del vars, 115771 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93932 upgd conss, 0 impls, 88320 clqs
54.82/55.02	c (round 28, fast)       29897 del vars, 116577 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93932 upgd conss, 0 impls, 87733 clqs
54.82/55.02	c (round 29, fast)       29899 del vars, 116838 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93932 upgd conss, 0 impls, 87501 clqs
54.82/55.02	c (round 30, fast)       29902 del vars, 117178 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93932 upgd conss, 0 impls, 87157 clqs
54.82/55.02	c (round 31, fast)       29904 del vars, 117402 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93932 upgd conss, 0 impls, 86930 clqs
54.82/55.02	c (round 32, fast)       29906 del vars, 117611 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93932 upgd conss, 0 impls, 86707 clqs
54.82/55.02	c (round 33, fast)       29908 del vars, 117819 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93932 upgd conss, 0 impls, 86488 clqs
54.82/55.02	c (round 34, fast)       29914 del vars, 118319 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93932 upgd conss, 0 impls, 85846 clqs
54.82/55.02	c (round 35, fast)       29925 del vars, 119226 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93932 upgd conss, 0 impls, 84756 clqs
54.82/55.02	c (round 36, fast)       29929 del vars, 119804 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93932 upgd conss, 0 impls, 84407 clqs
54.82/55.02	c (round 37, fast)       29932 del vars, 120130 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93932 upgd conss, 0 impls, 84174 clqs
54.82/55.02	c (round 38, fast)       29938 del vars, 120361 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93932 upgd conss, 0 impls, 83790 clqs
54.82/55.02	c (round 39, fast)       29944 del vars, 120622 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93932 upgd conss, 0 impls, 83528 clqs
54.82/55.02	c (round 40, fast)       29947 del vars, 120905 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93932 upgd conss, 0 impls, 83426 clqs
54.82/55.02	c (round 41, fast)       29950 del vars, 121027 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93932 upgd conss, 0 impls, 83348 clqs
54.82/55.02	c (round 42, medium)     29965 del vars, 121118 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93932 upgd conss, 0 impls, 83261 clqs
54.82/55.02	c (round 43, fast)       29967 del vars, 121216 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93932 upgd conss, 0 impls, 83161 clqs
54.82/55.02	c (round 44, exhaustive) 29996 del vars, 121222 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 216 chg coeffs, 93932 upgd conss, 0 impls, 359719 clqs
54.82/55.02	c (round 45, fast)       30011 del vars, 121305 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 227 chg coeffs, 93932 upgd conss, 0 impls, 358332 clqs
54.82/55.02	c    (27.9s) probing: 1000/31232 (3.2%) - 27 fixings, 0 aggregations, 1654595 implications, 0 bound changes
54.82/55.02	c (round 46, exhaustive) 30056 del vars, 121336 del conss, 15398 add conss, 3307 chg bounds, 163 chg sides, 233 chg coeffs, 93932 upgd conss, 0 impls, 361602 clqs
54.82/55.02	c (round 47, fast)       30072 del vars, 121436 del conss, 15398 add conss, 3307 chg bounds, 164 chg sides, 247 chg coeffs, 93932 upgd conss, 0 impls, 360727 clqs
499.30/500.73	c    (54.5s) probing: 2000/31232 (6.4%) - 56 fixings, 0 aggregations, 3672599 implications, 0 bound changes
499.30/500.73	c (round 48, exhaustive) 30100 del vars, 121446 del conss, 15410 add conss, 3307 chg bounds, 169 chg sides, 257 chg coeffs, 93932 upgd conss, 0 impls, 361597 clqs
499.30/500.73	c (round 49, fast)       30126 del vars, 121553 del conss, 15410 add conss, 3307 chg bounds, 172 chg sides, 289 chg coeffs, 93932 upgd conss, 0 impls, 360531 clqs
499.30/500.73	c    (79.4s) probing: 3000/31232 (9.6%) - 80 fixings, 0 aggregations, 5614093 implications, 0 bound changes
499.30/500.73	c (round 50, exhaustive) 30155 del vars, 121559 del conss, 15416 add conss, 3307 chg bounds, 174 chg sides, 294 chg coeffs, 93932 upgd conss, 0 impls, 361178 clqs
499.30/500.73	c (round 51, fast)       30178 del vars, 121665 del conss, 15416 add conss, 3307 chg bounds, 174 chg sides, 315 chg coeffs, 93932 upgd conss, 0 impls, 359872 clqs
499.30/500.73	c    (101.9s) probing: 4000/31232 (12.8%) - 105 fixings, 1 aggregations, 6914372 implications, 0 bound changes
499.30/500.73	c    (124.1s) probing: 5000/31232 (16.0%) - 112 fixings, 1 aggregations, 8178698 implications, 0 bound changes
499.30/500.73	c    (145.9s) probing: 6000/31232 (19.2%) - 118 fixings, 1 aggregations, 9421806 implications, 0 bound changes
499.30/500.73	c    (151.1s) probing: 6250/31232 (20.0%) - 118 fixings, 1 aggregations, 9747689 implications, 0 bound changes
499.30/500.73	c    (151.1s) probing aborted: 1000/1000 successive useless probings
499.30/500.73	c    (151.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
499.30/500.73	c    (151.2s) no symmetry present (symcode time: 0.05)
499.30/500.73	c presolving (52 rounds: 52 fast, 10 medium, 7 exhaustive):
499.30/500.73	c  30195 deleted vars, 121668 deleted constraints, 15418 added constraints, 3307 tightened bounds, 0 added holes, 174 changed sides, 317 changed coefficients
499.30/500.73	c  0 implications, 362418 cliques
499.30/500.73	c presolved problem has 31008 variables (31008 bin, 0 int, 0 impl, 0 cont) and 51810 constraints
499.30/500.73	c     757 constraints of type <knapsack>
499.30/500.73	c   37642 constraints of type <setppc>
499.30/500.73	c   13397 constraints of type <and>
499.30/500.73	c      14 constraints of type <logicor>
499.30/500.73	c transformed objective value is always integral (scale: 1)
499.30/500.73	c Presolving Time: 150.99
499.30/500.73	c 
499.30/500.73	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
499.30/500.73	c   500s|     1 |     0 | 50605 |     - |   522M |   0 |  31k|  51k|  65k|   0 |  0 |  56 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.30/500.73	c (node 1) LP solver hit time limit in LP 1 -- using pseudo solution instead
499.30/500.73	c 
499.30/500.73	c SCIP Status        : solving was interrupted [time limit reached]
499.30/500.73	c Solving Time (sec) : 500.03
499.30/500.73	c Solving Nodes      : 1
499.30/500.73	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
499.30/500.73	c Dual Bound         : +0.00000000000000e+00
499.30/500.73	c Gap                : infinite
499.30/500.73	c ----------------------------------------------------------------------
499.30/500.73	c dual bound: 0.0 -> 0
499.30/500.73	c primal bound: 1e+20 -> 100000000000000000000
499.30/500.73	c scip-goal-lb: 0
499.30/500.73	c scip-goal-ub: 100000000000000000000
499.30/500.73	c writing output to: HOME/tmpayh6hd53.opb
499.30/500.73	c appending fixed variable constraints
499.30/500.73	c scip-fixed vars: 54.55% (16916/31008)
499.30/500.73	c ----------------------------------------------------------------------
499.30/500.73	c executing external solver: HOME/naps-1.03a6
499.30/500.73	c ----------------------------------------------------------------------
499.30/500.73	c command: HOME/naps-1.03a6 HOME/tmpayh6hd53.opb
499.30/500.74	c NaPS 1.03a6.
499.30/500.74	c Input file name: HOME/tmpayh6hd53.opb
3600.01/3610.10	c
3600.01/3610.10	c *** TERMINATED *** by signal 15
3600.01/3610.10	c _____________________________________________________________________________
3600.01/3610.10	c std/band forms        : 775,0
3600.01/3610.10	c 2cl/3cl ITE-codings   : 311819,0
3600.01/3610.10	c BDD/srt/adr Max costs : 943,0,0
3600.01/3610.10	c BDDraw/bin/mul/srt/adr: 607,0,168,0,0
3600.01/3610.10	c BDD nodes             : 467385
3600.01/3610.10	c Es1/CC detections     : 0,0
3600.01/3610.10	c CC sort               : 0
3600.01/3610.10	c SAT/UNSAT calls       : 0,0
3600.01/3610.10	c regenrated variables  : 0
3600.01/3610.10	c eliminated fixed lits : 122783
3600.01/3610.10	c goal lit flips        : 0
3600.01/3610.10	c goal stages           : 0
3600.01/3610.10	c goal shrink           : 0
3600.01/3610.10	c goal coeff separations: 0
3600.01/3610.10	c restarts              : 0
3600.01/3610.10	c conflicts             : 0              (0 /sec)
3600.01/3610.10	c decisions             : 0              (0 /sec)
3600.01/3610.10	c propagations          : 0              (0 /sec)
3600.01/3610.10	c inspects              : 0              (0 /sec)
3600.01/3610.10	c CPU time (solving tm) : 3100 s        (3097 s, SAT 0 s, UNSAT 0 s)
3600.01/3610.10	c Time for Opt-base     : 0.02127 s
3600.01/3610.10	c Steps for Opt-base    : 39465
3600.01/3610.10	c Time for BDD coding   : 1.228 s
3600.01/3610.10	c Time for srt coding   : 0 s
3600.01/3610.10	c _____________________________________________________________________________
3600.01/3610.10	s UNKNOWN
3600.40/3610.53	c received SIGTERM, forwarding to pbsolver...
3600.40/3610.53	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 (62044 MiB free)
  memory of node 1: 64465 MiB (63298 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502167-1751162967/watcher-4502167-1751162967 -o /tmp/evaluation-result-4502167-1751162967/solver-4502167-1751162967 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751159326-19842 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4502167-1751162967.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=20786, runsolver pid=20783
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.16 4.12 4.05 5/270 20791
/proc/meminfo: memFree=128347144/131249988 swapFree=33010684/33010684
[pid=20786] ppid=20783 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20786/stat : 20786 (scip-naps-1.00.) S 20783 20786 19830 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 31974295 4292608 736 18446744073709551615 94692057935872 94692058830405 140723604829424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94692059069456 94692059117200 94692087373824 140723604834721 140723604834818 140723604834818 140723604840420 0
/proc/20786/statm: 1048 736 672 219 0 110 0
[pid=20791] ppid=20786 vsize=1187344 memory=32376 CPUtime=0.07 cores=1,3
/proc/20791/stat : 20791 (python3) R 20786 20786 19830 0 -1 4194304 3812 0 0 0 6 1 0 0 20 0 1 0 31974297 1215840256 8094 18446744073709551615 94766687080448 94766687080825 140732936378624 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94766687092120 94766687092740 94766715936768 140732936382808 140732936383010 140732936383010 140732936388583 0
/proc/20791/statm: 296836 8094 4926 1 0 268858 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191536 KiB
Current children cumulated memory: 35320 KiB

[startup+0.205706 s]*
/proc/loadavg: 4.16 4.12 4.05 5/270 20791
/proc/meminfo: memFree=128300792/131249988 swapFree=33010684/33010684
[pid=20786] ppid=20783 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20786/stat : 20786 (scip-naps-1.00.) S 20783 20786 19830 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 31974295 4292608 736 18446744073709551615 94692057935872 94692058830405 140723604829424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94692059069456 94692059117200 94692087373824 140723604834721 140723604834818 140723604834818 140723604840420 0
/proc/20786/statm: 1048 736 672 219 0 110 0
[pid=20791] ppid=20786 vsize=1232524 memory=84088 CPUtime=0.17 cores=1,3
/proc/20791/stat : 20791 (python3) R 20786 20786 19830 0 -1 4194304 14263 0 0 0 14 3 0 0 20 0 1 0 31974297 1262104576 21022 18446744073709551615 94766687080448 94766687080825 140732936378624 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94766687092120 94766687092740 94766715936768 140732936382808 140732936383010 140732936383010 140732936388583 0
/proc/20791/statm: 308131 21022 7614 1 0 279489 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1236716 KiB
Current children cumulated memory: 87032 KiB

[startup+0.305765 s]*
/proc/loadavg: 4.16 4.12 4.05 5/270 20791
/proc/meminfo: memFree=128268536/131249988 swapFree=33010684/33010684
[pid=20786] ppid=20783 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20786/stat : 20786 (scip-naps-1.00.) S 20783 20786 19830 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 31974295 4292608 736 18446744073709551615 94692057935872 94692058830405 140723604829424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94692059069456 94692059117200 94692087373824 140723604834721 140723604834818 140723604834818 140723604840420 0
/proc/20786/statm: 1048 736 672 219 0 110 0
[pid=20791] ppid=20786 vsize=1257744 memory=109048 CPUtime=0.27 cores=1,3
/proc/20791/stat : 20791 (python3) R 20786 20786 19830 0 -1 4194304 20497 0 0 0 23 4 0 0 20 0 1 0 31974297 1287929856 27262 18446744073709551615 94766687080448 94766687080825 140732936378624 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94766687092120 94766687092740 94766715936768 140732936382808 140732936383010 140732936383010 140732936388583 0
/proc/20791/statm: 314436 27262 7614 1 0 285794 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1261936 KiB
Current children cumulated memory: 111992 KiB

[startup+0.700198 s]
/proc/loadavg: 4.16 4.12 4.05 5/270 20791
/proc/meminfo: memFree=128212088/131249988 swapFree=33010684/33010684
[pid=20786] ppid=20783 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20786/stat : 20786 (scip-naps-1.00.) S 20783 20786 19830 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 31974295 4292608 736 18446744073709551615 94692057935872 94692058830405 140723604829424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94692059069456 94692059117200 94692087373824 140723604834721 140723604834818 140723604834818 140723604840420 0
/proc/20786/statm: 1048 736 672 219 0 110 0
[pid=20791] ppid=20786 vsize=1427556 memory=278904 CPUtime=0.66 cores=1,3
/proc/20791/stat : 20791 (python3) R 20786 20786 19830 0 -1 4194304 62827 0 0 0 55 11 0 0 20 0 1 0 31974297 1461817344 69726 18446744073709551615 94766687080448 94766687080825 140732936378624 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94766687092120 94766687092740 94766715936768 140732936382808 140732936383010 140732936383010 140732936388583 0
/proc/20791/statm: 356889 69726 7774 1 0 328247 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1431748 KiB
Current children cumulated memory: 281848 KiB

[startup+1.50017 s]
/proc/loadavg: 4.16 4.12 4.05 5/270 20791
/proc/meminfo: memFree=128026616/131249988 swapFree=33010684/33010684
[pid=20786] ppid=20783 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20786/stat : 20786 (scip-naps-1.00.) S 20783 20786 19830 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 31974295 4292608 736 18446744073709551615 94692057935872 94692058830405 140723604829424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94692059069456 94692059117200 94692087373824 140723604834721 140723604834818 140723604834818 140723604840420 0
/proc/20786/statm: 1048 736 672 219 0 110 0
[pid=20791] ppid=20786 vsize=1517408 memory=366200 CPUtime=1.45 cores=1,3
/proc/20791/stat : 20791 (python3) R 20786 20786 19830 0 -1 4194304 84556 0 0 0 131 14 0 0 20 0 1 0 31974297 1553825792 91550 18446744073709551615 94766687080448 94766687080825 140732936378624 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94766687092120 94766687092740 94766715936768 140732936382808 140732936383010 140732936383010 140732936388583 0
/proc/20791/statm: 379352 91550 7870 1 0 350710 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1521600 KiB
Current children cumulated memory: 369144 KiB

[startup+3.10559 s]
/proc/loadavg: 4.14 4.12 4.05 5/270 20791
/proc/meminfo: memFree=127973636/131249988 swapFree=33010684/33010684
[pid=20786] ppid=20783 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20786/stat : 20786 (scip-naps-1.00.) S 20783 20786 19830 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 31974295 4292608 736 18446744073709551615 94692057935872 94692058830405 140723604829424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94692059069456 94692059117200 94692087373824 140723604834721 140723604834818 140723604834818 140723604840420 0
/proc/20786/statm: 1048 736 672 219 0 110 0
[pid=20791] ppid=20786 vsize=1567856 memory=415864 CPUtime=3.06 cores=1,3
/proc/20791/stat : 20791 (python3) R 20786 20786 19830 0 -1 4194304 97075 0 0 0 289 17 0 0 20 0 1 0 31974297 1605484544 103966 18446744073709551615 94766687080448 94766687080825 140732936378624 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94766687092120 94766687092740 94766715936768 140732936382808 140732936383010 140732936383010 140732936388583 0
/proc/20791/statm: 391964 103966 7934 1 0 363322 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1572048 KiB
Current children cumulated memory: 418808 KiB

[startup+6.30019 s]
/proc/loadavg: 4.14 4.12 4.05 5/270 20791
/proc/meminfo: memFree=127971956/131249988 swapFree=33010684/33010684
[pid=20786] ppid=20783 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20786/stat : 20786 (scip-naps-1.00.) S 20783 20786 19830 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 31974295 4292608 736 18446744073709551615 94692057935872 94692058830405 140723604829424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94692059069456 94692059117200 94692087373824 140723604834721 140723604834818 140723604834818 140723604840420 0
/proc/20786/statm: 1048 736 672 219 0 110 0
[pid=20791] ppid=20786 vsize=1585800 memory=434168 CPUtime=6.24 cores=1,3
/proc/20791/stat : 20791 (python3) R 20786 20786 19830 0 -1 4194304 101212 0 0 0 607 17 0 0 20 0 1 0 31974297 1623859200 108542 18446744073709551615 94766687080448 94766687080825 140732936378624 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94766687092120 94766687092740 94766715936768 140732936382808 140732936383010 140732936383010 140732936388583 0
/proc/20791/statm: 396450 108542 7934 1 0 367808 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1589992 KiB
Current children cumulated memory: 437112 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.05 5/270 20791
/proc/meminfo: memFree=127951620/131249988 swapFree=33010684/33010684
[pid=20786] ppid=20783 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20786/stat : 20786 (scip-naps-1.00.) S 20783 20786 19830 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 31974295 4292608 736 18446744073709551615 94692057935872 94692058830405 140723604829424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94692059069456 94692059117200 94692087373824 140723604834721 140723604834818 140723604834818 140723604840420 0
/proc/20786/statm: 1048 736 672 219 0 110 0
[pid=20791] ppid=20786 vsize=1589156 memory=437368 CPUtime=12.63 cores=1,3
/proc/20791/stat : 20791 (python3) R 20786 20786 19830 0 -1 4194304 102009 0 0 0 1246 17 0 0 20 0 1 0 31974297 1627295744 109342 18446744073709551615 94766687080448 94766687080825 140732936378624 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94766687092120 94766687092740 94766715936768 140732936382808 140732936383010 140732936383010 140732936388583 0
/proc/20791/statm: 397289 109342 7934 1 0 368647 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1593348 KiB
Current children cumulated memory: 440312 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.05 5/270 20792
/proc/meminfo: memFree=127947732/131249988 swapFree=33010684/33010684
[pid=20786] ppid=20783 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20786/stat : 20786 (scip-naps-1.00.) S 20783 20786 19830 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 31974295 4292608 736 18446744073709551615 94692057935872 94692058830405 140723604829424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94692059069456 94692059117200 94692087373824 140723604834721 140723604834818 140723604834818 140723604840420 0
/proc/20786/statm: 1048 736 672 219 0 110 0
[pid=20791] ppid=20786 vsize=1595816 memory=443896 CPUtime=25.4 cores=1,3
/proc/20791/stat : 20791 (python3) R 20786 20786 19830 0 -1 4194304 103693 0 0 0 2522 18 0 0 20 0 1 0 31974297 1634115584 110974 18446744073709551615 94766687080448 94766687080825 140732936378624 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94766687092120 94766687092740 94766715936768 140732936382808 140732936383010 140732936383010 140732936388583 0
/proc/20791/statm: 398954 110974 7934 1 0 370312 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1600008 KiB
Current children cumulated memory: 446840 KiB

[startup+51.1057 s]
/proc/loadavg: 4.14 4.12 4.05 5/270 20792
/proc/meminfo: memFree=127937492/131249988 swapFree=33010684/33010684
[pid=20786] ppid=20783 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20786/stat : 20786 (scip-naps-1.00.) S 20783 20786 19830 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 31974295 4292608 736 18446744073709551615 94692057935872 94692058830405 140723604829424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94692059069456 94692059117200 94692087373824 140723604834721 140723604834818 140723604834818 140723604840420 0
/proc/20786/statm: 1048 736 672 219 0 110 0
[pid=20791] ppid=20786 vsize=1598020 memory=446200 CPUtime=50.93 cores=1,3
/proc/20791/stat : 20791 (python3) R 20786 20786 19830 0 -1 4194304 104260 0 0 0 5075 18 0 0 20 0 1 0 31974297 1636372480 111550 18446744073709551615 94766687080448 94766687080825 140732936378624 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94766687092120 94766687092740 94766715936768 140732936382808 140732936383010 140732936383010 140732936388583 0
/proc/20791/statm: 399505 111550 7934 1 0 370863 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1602212 KiB
Current children cumulated memory: 449144 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/270 20797
/proc/meminfo: memFree=127947760/131249988 swapFree=33010684/33010684
[pid=20786] ppid=20783 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20786/stat : 20786 (scip-naps-1.00.) S 20783 20786 19830 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 31974295 4292608 736 18446744073709551615 94692057935872 94692058830405 140723604829424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94692059069456 94692059117200 94692087373824 140723604834721 140723604834818 140723604834818 140723604840420 0
/proc/20786/statm: 1048 736 672 219 0 110 0
[pid=20791] ppid=20786 vsize=1603856 memory=452088 CPUtime=101.99 cores=1,3
/proc/20791/stat : 20791 (python3) R 20786 20786 19830 0 -1 4194304 105717 0 0 0 10181 18 0 0 20 0 1 0 31974297 1642348544 113022 18446744073709551615 94766687080448 94766687080825 140732936378624 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94766687092120 94766687092740 94766715936768 140732936382808 140732936383010 140732936383010 140732936388583 0
/proc/20791/statm: 400964 113022 7934 1 0 372322 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1608048 KiB
Current children cumulated memory: 455032 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.05 5/269 20946
/proc/meminfo: memFree=127872684/131249988 swapFree=33010684/33010684
[pid=20786] ppid=20783 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20786/stat : 20786 (scip-naps-1.00.) S 20783 20786 19830 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 31974295 4292608 736 18446744073709551615 94692057935872 94692058830405 140723604829424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94692059069456 94692059117200 94692087373824 140723604834721 140723604834818 140723604834818 140723604840420 0
/proc/20786/statm: 1048 736 672 219 0 110 0
[pid=20791] ppid=20786 vsize=1779716 memory=579508 CPUtime=161.82 cores=1,3
/proc/20791/stat : 20791 (python3) R 20786 20786 19830 0 -1 4194304 141184 0 0 0 16158 24 0 0 20 0 1 0 31974297 1822429184 144877 18446744073709551615 94766687080448 94766687080825 140732936378624 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94766687092120 94766687092740 94766715936768 140732936382808 140732936383010 140732936383010 140732936388583 0
/proc/20791/statm: 444929 144877 8094 1 0 416287 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1783908 KiB
Current children cumulated memory: 582452 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.06 5/269 20948
/proc/meminfo: memFree=127834768/131249988 swapFree=33010684/33010684
[pid=20786] ppid=20783 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20786/stat : 20786 (scip-naps-1.00.) S 20783 20786 19830 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 31974295 4292608 736 18446744073709551615 94692057935872 94692058830405 140723604829424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94692059069456 94692059117200 94692087373824 140723604834721 140723604834818 140723604834818 140723604840420 0
/proc/20786/statm: 1048 736 672 219 0 110 0
[pid=20791] ppid=20786 vsize=1793312 memory=594228 CPUtime=221.66 cores=1,3
/proc/20791/stat : 20791 (python3) R 20786 20786 19830 0 -1 4194304 144860 0 0 0 22140 26 0 0 20 0 1 0 31974297 1836351488 148557 18446744073709551615 94766687080448 94766687080825 140732936378624 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94766687092120 94766687092740 94766715936768 140732936382808 140732936383010 140732936383010 140732936388583 0
/proc/20791/statm: 448328 148557 8094 1 0 419686 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 1797504 KiB

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

Current children cumulated CPU time: 3213.39 s
Current children cumulated vsize: 2128220 KiB
Current children cumulated memory: 915928 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/272 21261
/proc/meminfo: memFree=127957968/131249988 swapFree=33010684/33010684
[pid=20786] ppid=20783 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20786/stat : 20786 (scip-naps-1.00.) S 20783 20786 19830 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 31974295 4292608 736 18446744073709551615 94692057935872 94692058830405 140723604829424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94692059069456 94692059117200 94692087373824 140723604834721 140723604834818 140723604834818 140723604840420 0
/proc/20786/statm: 1048 736 672 219 0 110 0
[pid=20791] ppid=20786 vsize=1830172 memory=629692 CPUtime=499.34 cores=1,3
/proc/20791/stat : 20791 (python3) S 20786 20786 19830 0 -1 4194304 153218 0 0 0 49904 30 0 0 20 0 1 0 31974297 1874096128 157423 18446744073709551615 94766687080448 94766687080825 140732936378624 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94766687092120 94766687092740 94766715936768 140732936382808 140732936383010 140732936383010 140732936388583 0
/proc/20791/statm: 457543 157423 8126 1 0 428901 0
[pid=21013] ppid=20791 vsize=293856 memory=277148 CPUtime=2773.87 cores=1,3
/proc/21013/stat : 21013 (naps-1.03a6) R 20791 21013 21013 0 -1 4194304 100152 0 0 0 277286 101 0 0 20 0 1 0 32024368 300908544 69287 18446744073709551615 4198400 7047149 140735190014304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37699584 140735190018449 140735190018547 140735190018547 140735190024137 0
/proc/21013/statm: 73464 69287 544 696 0 72625 0
Current children cumulated CPU time: 3273.21 s
Current children cumulated vsize: 2128220 KiB
Current children cumulated memory: 909784 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/271 21263
/proc/meminfo: memFree=127953368/131249988 swapFree=33010684/33010684
[pid=20786] ppid=20783 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20786/stat : 20786 (scip-naps-1.00.) S 20783 20786 19830 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 31974295 4292608 736 18446744073709551615 94692057935872 94692058830405 140723604829424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94692059069456 94692059117200 94692087373824 140723604834721 140723604834818 140723604834818 140723604840420 0
/proc/20786/statm: 1048 736 672 219 0 110 0
[pid=20791] ppid=20786 vsize=1830172 memory=629692 CPUtime=499.34 cores=1,3
/proc/20791/stat : 20791 (python3) S 20786 20786 19830 0 -1 4194304 153218 0 0 0 49904 30 0 0 20 0 1 0 31974297 1874096128 157423 18446744073709551615 94766687080448 94766687080825 140732936378624 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94766687092120 94766687092740 94766715936768 140732936382808 140732936383010 140732936383010 140732936388583 0
/proc/20791/statm: 457543 157423 8126 1 0 428901 0
[pid=21013] ppid=20791 vsize=293856 memory=277148 CPUtime=2833.69 cores=1,3
/proc/21013/stat : 21013 (naps-1.03a6) R 20791 21013 21013 0 -1 4194304 100918 0 0 0 283267 102 0 0 20 0 1 0 32024368 300908544 69287 18446744073709551615 4198400 7047149 140735190014304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37699584 140735190018449 140735190018547 140735190018547 140735190024137 0
/proc/21013/statm: 73464 69287 544 696 0 72625 0
Current children cumulated CPU time: 3333.03 s
Current children cumulated vsize: 2128220 KiB
Current children cumulated memory: 909784 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/271 21265
/proc/meminfo: memFree=127950856/131249988 swapFree=33010684/33010684
[pid=20786] ppid=20783 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20786/stat : 20786 (scip-naps-1.00.) S 20783 20786 19830 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 31974295 4292608 736 18446744073709551615 94692057935872 94692058830405 140723604829424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94692059069456 94692059117200 94692087373824 140723604834721 140723604834818 140723604834818 140723604840420 0
/proc/20786/statm: 1048 736 672 219 0 110 0
[pid=20791] ppid=20786 vsize=1830172 memory=629692 CPUtime=499.34 cores=1,3
/proc/20791/stat : 20791 (python3) S 20786 20786 19830 0 -1 4194304 153218 0 0 0 49904 30 0 0 20 0 1 0 31974297 1874096128 157423 18446744073709551615 94766687080448 94766687080825 140732936378624 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94766687092120 94766687092740 94766715936768 140732936382808 140732936383010 140732936383010 140732936388583 0
/proc/20791/statm: 457543 157423 8126 1 0 428901 0
[pid=21013] ppid=20791 vsize=293856 memory=279196 CPUtime=2893.5 cores=1,3
/proc/21013/stat : 21013 (naps-1.03a6) R 20791 21013 21013 0 -1 4194304 101687 0 0 0 289248 102 0 0 20 0 1 0 32024368 300908544 69799 18446744073709551615 4198400 7047149 140735190014304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37699584 140735190018449 140735190018547 140735190018547 140735190024137 0
/proc/21013/statm: 73464 69799 544 696 0 72625 0
Current children cumulated CPU time: 3392.84 s
Current children cumulated vsize: 2128220 KiB
Current children cumulated memory: 911832 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/272 21270
/proc/meminfo: memFree=127956448/131249988 swapFree=33010684/33010684
[pid=20786] ppid=20783 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20786/stat : 20786 (scip-naps-1.00.) S 20783 20786 19830 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 31974295 4292608 736 18446744073709551615 94692057935872 94692058830405 140723604829424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94692059069456 94692059117200 94692087373824 140723604834721 140723604834818 140723604834818 140723604840420 0
/proc/20786/statm: 1048 736 672 219 0 110 0
[pid=20791] ppid=20786 vsize=1830172 memory=629692 CPUtime=499.34 cores=1,3
/proc/20791/stat : 20791 (python3) S 20786 20786 19830 0 -1 4194304 153218 0 0 0 49904 30 0 0 20 0 1 0 31974297 1874096128 157423 18446744073709551615 94766687080448 94766687080825 140732936378624 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94766687092120 94766687092740 94766715936768 140732936382808 140732936383010 140732936383010 140732936388583 0
/proc/20791/statm: 457543 157423 8126 1 0 428901 0
[pid=21013] ppid=20791 vsize=293856 memory=268956 CPUtime=2953.32 cores=1,3
/proc/21013/stat : 21013 (naps-1.03a6) R 20791 21013 21013 0 -1 4194304 102719 0 0 0 295228 104 0 0 20 0 1 0 32024368 300908544 67239 18446744073709551615 4198400 7047149 140735190014304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37699584 140735190018449 140735190018547 140735190018547 140735190024137 0
/proc/21013/statm: 73464 67239 544 696 0 72625 0
Current children cumulated CPU time: 3452.66 s
Current children cumulated vsize: 2128220 KiB
Current children cumulated memory: 901592 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/271 21272
/proc/meminfo: memFree=127938360/131249988 swapFree=33010684/33010684
[pid=20786] ppid=20783 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20786/stat : 20786 (scip-naps-1.00.) S 20783 20786 19830 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 31974295 4292608 736 18446744073709551615 94692057935872 94692058830405 140723604829424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94692059069456 94692059117200 94692087373824 140723604834721 140723604834818 140723604834818 140723604840420 0
/proc/20786/statm: 1048 736 672 219 0 110 0
[pid=20791] ppid=20786 vsize=1830172 memory=629692 CPUtime=499.34 cores=1,3
/proc/20791/stat : 20791 (python3) S 20786 20786 19830 0 -1 4194304 153218 0 0 0 49904 30 0 0 20 0 1 0 31974297 1874096128 157423 18446744073709551615 94766687080448 94766687080825 140732936378624 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94766687092120 94766687092740 94766715936768 140732936382808 140732936383010 140732936383010 140732936388583 0
/proc/20791/statm: 457543 157423 8126 1 0 428901 0
[pid=21013] ppid=20791 vsize=261088 memory=244380 CPUtime=3013.14 cores=1,3
/proc/21013/stat : 21013 (naps-1.03a6) R 20791 21013 21013 0 -1 4194304 103789 0 0 0 301209 105 0 0 20 0 1 0 32024368 267354112 61095 18446744073709551615 4198400 7047149 140735190014304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37699584 140735190018449 140735190018547 140735190018547 140735190024137 0
/proc/21013/statm: 65272 61095 544 696 0 64433 0
Current children cumulated CPU time: 3512.48 s
Current children cumulated vsize: 2095452 KiB
Current children cumulated memory: 877016 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/271 21326
/proc/meminfo: memFree=128319600/131249988 swapFree=33010684/33010684
[pid=20786] ppid=20783 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20786/stat : 20786 (scip-naps-1.00.) S 20783 20786 19830 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 31974295 4292608 736 18446744073709551615 94692057935872 94692058830405 140723604829424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94692059069456 94692059117200 94692087373824 140723604834721 140723604834818 140723604834818 140723604840420 0
/proc/20786/statm: 1048 736 672 219 0 110 0
[pid=20791] ppid=20786 vsize=1830172 memory=629692 CPUtime=499.34 cores=1,3
/proc/20791/stat : 20791 (python3) S 20786 20786 19830 0 -1 4194304 153218 0 0 0 49904 30 0 0 20 0 1 0 31974297 1874096128 157423 18446744073709551615 94766687080448 94766687080825 140732936378624 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94766687092120 94766687092740 94766715936768 140732936382808 140732936383010 140732936383010 140732936388583 0
/proc/20791/statm: 457543 157423 8126 1 0 428901 0
[pid=21013] ppid=20791 vsize=293856 memory=279196 CPUtime=3072.95 cores=1,3
/proc/21013/stat : 21013 (naps-1.03a6) R 20791 21013 21013 0 -1 4194304 105141 0 0 0 307188 107 0 0 20 0 1 0 32024368 300908544 69799 18446744073709551615 4198400 7047149 140735190014304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37699584 140735190018449 140735190018547 140735190018547 140735190024137 0
/proc/21013/statm: 73464 69799 544 696 0 72625 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 2128220 KiB
Current children cumulated memory: 911832 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.08 4.12 4.09 5/271 21326
/proc/meminfo: memFree=127352252/131249988 swapFree=33010684/33010684
[pid=20786] ppid=20783 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20786/stat : 20786 (scip-naps-1.00.) S 20783 20786 19830 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 31974295 4292608 736 18446744073709551615 94692057935872 94692058830405 140723604829424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94692059069456 94692059117200 94692087373824 140723604834721 140723604834818 140723604834818 140723604840420 0
/proc/20786/statm: 1048 736 672 219 0 110 0
[pid=20791] ppid=20786 vsize=1830172 memory=629692 CPUtime=499.34 cores=1,3
/proc/20791/stat : 20791 (python3) S 20786 20786 19830 0 -1 4194304 153218 0 0 0 49904 30 0 0 20 0 1 0 31974297 1874096128 157423 18446744073709551615 94766687080448 94766687080825 140732936378624 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94766687092120 94766687092740 94766715936768 140732936382808 140732936383010 140732936383010 140732936388583 0
/proc/20791/statm: 457543 157423 8126 1 0 428901 0
[pid=21013] ppid=20791 vsize=293856 memory=281244 CPUtime=3100.67 cores=1,3
/proc/21013/stat : 21013 (naps-1.03a6) R 20791 21013 21013 0 -1 4194304 105165 0 0 0 309960 107 0 0 20 0 1 0 32024368 300908544 70311 18446744073709551615 4198400 7047149 140735190014304 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37699584 140735190018449 140735190018547 140735190018547 140735190024137 0
/proc/21013/statm: 73464 70311 544 696 0 72625 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2128220 KiB
Current children cumulated memory: 913880 KiB

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

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.007382 s

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

# cumulated CPU time of all completed processes:  user=3599.06 s, system=1.46826 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.4 s]
/proc/loadavg: 4.08 4.12 4.09 5/269 21326
/proc/meminfo: memFree=127618492/131249988 swapFree=33010684/33010684
[pid=20791] ppid=20783 vsize=1828904 memory=628456 CPUtime=3600.29 cores=1,3
/proc/20791/stat : 20791 (python3) R 20783 20786 19830 0 -1 4194304 213404 105166 0 0 49929 33 309960 107 20 0 1 0 31974297 1872797696 157114 18446744073709551615 94766687080448 94766687080825 140732936378624 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94766687092120 94766687092740 94766715936768 140732936382808 140732936383010 140732936383010 140732936388583 0
/proc/20791/statm: 457226 157114 8126 1 0 428584 0
Current cumulated CPU time of completed processes: 0.007382 s
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 1828904 KiB
Current children cumulated memory: 628456 KiB

[startup+3610.6 s]*
/proc/loadavg: 4.08 4.12 4.09 5/269 21326
/proc/meminfo: memFree=127840936/131249988 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.007382 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): 3610.61
CPU time (s): 3600.53
CPU user time (s): 3599.06
CPU system time (s): 1.46826
CPU usage (%): 99.7207
Max. virtual memory (cumulated for all children) (KiB): 2129756
Max. memory (cumulated for all children) (KiB): 922072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.06
system time used= 1.46826
maximum resident set size= 629692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 360127
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 363
involuntary context switches= 5982


# summary of solver processes directly reported to runsolver:
#   pid: 20786,20791
#   total CPU time (s): 3600.53
#   total CPU user time (s): 3599.06
#   total CPU system time (s): 1.46826

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15162 second user time and 17.4684 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-06-29 04:09:27
IDJOB=4502167
IDBENCH=154773
IDSOLVER=3368
FILE ID=nodeC020/4502167-1751162967
RUNJOBID= nodeC020-1751159326-19842
SLURM_JOB_ID= 9587502
Free space on /tmp= 433032 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j120/normalized-j12011_3-sat.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502167-1751162967/watcher-4502167-1751162967 -o /tmp/evaluation-result-4502167-1751162967/solver-4502167-1751162967 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751159326-19842 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4502167-1751162967.opb

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

MD5SUM BENCH= f7b2b496c30aa17fcbe59599d08153aa
RANDOM SEED=1170059324

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        128350480 kB
MemAvailable:   128389592 kB
Buffers:            3280 kB
Cached:           846604 kB
SwapCached:            0 kB
Active:          1761064 kB
Inactive:         539324 kB
Active(anon):    1468588 kB
Inactive(anon):        0 kB
Active(file):     292476 kB
Inactive(file):   539324 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             10456 kB
Writeback:             0 kB
AnonPages:       1447380 kB
Mapped:           129648 kB
Shmem:             18056 kB
KReclaimable:      93104 kB
Slab:             179368 kB
SReclaimable:      93104 kB
SUnreclaim:        86264 kB
KernelStack:        4368 kB
PageTables:         6568 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    5124224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    999424 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433020 MiB
End job on nodeC020 at 2025-06-29 05:09:38