Trace number 4507349

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.1 3608.85

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K84.opb
MD5SUM5fb93660b547b6cc9dd610c04b6e276e
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 variables5712
Total number of constraints5882
Number of constraints which are clauses5798
Number of constraints which are cardinality constraints (but not clauses)84
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint84
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 85
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

10.23/10.30	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4507349-1751180325.opb
10.23/10.30	c Solving mode: decision
10.23/10.30	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
10.23/10.30	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
10.23/10.30	c original problem has 5712 variables (5712 bin, 0 int, 0 impl, 0 cont) and 5882 constraints
10.23/10.30	c presolving:
10.23/10.30	c (round 1, fast)       148 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1135 clqs
10.23/10.30	c (round 2, fast)       392 del vars, 155 del conss, 0 add conss, 66 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1122 clqs
10.23/10.30	c (round 3, fast)       506 del vars, 237 del conss, 0 add conss, 114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1127 clqs
10.23/10.30	c (round 4, fast)       570 del vars, 294 del conss, 0 add conss, 139 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1153 clqs
10.23/10.30	c (round 5, fast)       581 del vars, 303 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1168 clqs
10.23/10.30	c (round 6, exhaustive) 583 del vars, 387 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1171 clqs
10.23/10.30	c (round 7, exhaustive) 583 del vars, 387 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 5495 upgd conss, 0 impls, 1171 clqs
10.23/10.30	c (round 8, exhaustive) 648 del vars, 387 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 63 chg coeffs, 5495 upgd conss, 0 impls, 1158 clqs
10.23/10.30	c (round 9, fast)       713 del vars, 452 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 63 chg coeffs, 5495 upgd conss, 0 impls, 1158 clqs
10.23/10.30	c (round 10, exhaustive) 738 del vars, 453 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 63 chg coeffs, 5495 upgd conss, 0 impls, 33633 clqs
10.23/10.30	c (round 11, fast)       738 del vars, 478 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 125 chg coeffs, 5495 upgd conss, 0 impls, 33649 clqs
10.23/10.30	c (round 12, exhaustive) 765 del vars, 478 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 126 chg coeffs, 5495 upgd conss, 0 impls, 34035 clqs
10.23/10.30	c (round 13, fast)       765 del vars, 505 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 178 chg coeffs, 5495 upgd conss, 0 impls, 34044 clqs
10.23/10.30	c (round 14, exhaustive) 791 del vars, 505 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 178 chg coeffs, 5495 upgd conss, 0 impls, 34059 clqs
10.23/10.30	c (round 15, fast)       791 del vars, 531 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 232 chg coeffs, 5495 upgd conss, 0 impls, 34066 clqs
10.23/10.30	c (round 16, exhaustive) 816 del vars, 531 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 232 chg coeffs, 5495 upgd conss, 0 impls, 34076 clqs
10.23/10.30	c (round 17, fast)       816 del vars, 556 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 268 chg coeffs, 5495 upgd conss, 0 impls, 34078 clqs
10.23/10.30	c (round 18, exhaustive) 841 del vars, 556 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 268 chg coeffs, 5495 upgd conss, 0 impls, 34018 clqs
10.23/10.30	c (round 19, fast)       841 del vars, 581 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 298 chg coeffs, 5495 upgd conss, 0 impls, 34023 clqs
10.23/10.30	c (round 20, exhaustive) 866 del vars, 581 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 298 chg coeffs, 5495 upgd conss, 0 impls, 33941 clqs
10.23/10.30	c (round 21, fast)       866 del vars, 606 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 303 chg coeffs, 5495 upgd conss, 0 impls, 33941 clqs
10.23/10.30	c (round 22, exhaustive) 891 del vars, 606 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 303 chg coeffs, 5495 upgd conss, 0 impls, 33804 clqs
10.23/10.30	c (round 23, fast)       891 del vars, 631 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 313 chg coeffs, 5495 upgd conss, 0 impls, 33804 clqs
10.23/10.30	c (round 24, exhaustive) 916 del vars, 631 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 313 chg coeffs, 5495 upgd conss, 0 impls, 33693 clqs
10.23/10.30	c (round 25, fast)       916 del vars, 656 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 322 chg coeffs, 5495 upgd conss, 0 impls, 33693 clqs
10.23/10.30	c (round 26, exhaustive) 941 del vars, 656 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 322 chg coeffs, 5495 upgd conss, 0 impls, 33660 clqs
10.23/10.30	c (round 27, fast)       941 del vars, 681 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 338 chg coeffs, 5495 upgd conss, 0 impls, 33660 clqs
10.23/10.30	c    (1.6s) probing: 1000/5285 (18.9%) - 245 fixings, 1 aggregations, 517280 implications, 0 bound changes
10.23/10.30	c (round 28, exhaustive) 966 del vars, 681 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 338 chg coeffs, 5495 upgd conss, 0 impls, 34137 clqs
10.23/10.30	c (round 29, fast)       966 del vars, 706 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 361 chg coeffs, 5495 upgd conss, 0 impls, 34137 clqs
10.23/10.30	c (round 30, exhaustive) 991 del vars, 706 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 361 chg coeffs, 5495 upgd conss, 0 impls, 34105 clqs
10.23/10.30	c (round 31, fast)       991 del vars, 731 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 395 chg coeffs, 5495 upgd conss, 0 impls, 34106 clqs
10.23/10.30	c    (2.6s) probing: 2000/5285 (37.8%) - 291 fixings, 1 aggregations, 1023354 implications, 0 bound changes
10.23/10.30	c    (3.4s) probing: 3000/5285 (56.8%) - 295 fixings, 1 aggregations, 1440934 implications, 0 bound changes
10.23/10.30	c    (4.2s) probing: 4000/5285 (75.7%) - 299 fixings, 1 aggregations, 1852895 implications, 0 bound changes
10.23/10.30	c    (4.7s) probing: 4646/5285 (87.9%) - 299 fixings, 1 aggregations, 2094675 implications, 0 bound changes
10.23/10.30	c    (4.7s) probing aborted: 1000/1000 successive useless probings
10.23/10.30	c (round 32, exhaustive) 1013 del vars, 731 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 395 chg coeffs, 5495 upgd conss, 0 impls, 34136 clqs
10.23/10.30	c (round 33, fast)       1013 del vars, 753 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 433 chg coeffs, 5495 upgd conss, 0 impls, 34136 clqs
10.23/10.30	c    (5.0s) probing: 5000/5285 (94.6%) - 300 fixings, 1 aggregations, 2223931 implications, 0 bound changes
10.23/10.30	c    (5.2s) probing cycle finished: starting next cycle
10.23/10.30	c    (6.2s) probing: 1000/4984 (20.1%) - 305 fixings, 3 aggregations, 2841062 implications, 0 bound changes
10.23/10.30	c    (6.6s) probing: 1411/4984 (28.3%) - 305 fixings, 3 aggregations, 3054223 implications, 0 bound changes
10.23/10.30	c    (6.6s) probing aborted: 1000/1000 successive useless probings
10.23/10.30	c (round 34, exhaustive) 1021 del vars, 753 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 433 chg coeffs, 5495 upgd conss, 0 impls, 32742 clqs
10.23/10.30	c (round 35, fast)       1021 del vars, 761 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 449 chg coeffs, 5495 upgd conss, 0 impls, 32747 clqs
10.23/10.30	c    (6.7s) probing: 1511/4984 (30.3%) - 305 fixings, 3 aggregations, 3107502 implications, 0 bound changes
10.23/10.30	c    (6.7s) probing aborted: 1000/1000 successive useless probings
10.23/10.30	c    (6.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
10.23/10.30	c    (6.7s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
10.23/10.30	c dynamic symmetry handling statistics:
10.23/10.30	c    orbitopal reduction:       no components
10.23/10.30	c    orbital reduction:         no components
10.23/10.30	c    lexicographic reduction:    4 permutations with support sizes 156, 308, 156, 140
10.23/10.30	c handled 5 out of 5 symmetry components
10.23/10.30	c presolving (36 rounds: 36 fast, 17 medium, 17 exhaustive):
10.23/10.30	c  1024 deleted vars, 761 deleted constraints, 3 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 449 changed coefficients
10.23/10.30	c  0 implications, 34232 cliques
10.23/10.30	c presolved problem has 4974 variables (4974 bin, 0 int, 0 impl, 0 cont) and 5124 constraints
10.23/10.30	c    1094 constraints of type <setppc>
10.23/10.30	c       3 constraints of type <orbitope>
10.23/10.30	c    4027 constraints of type <logicor>
10.23/10.30	c transformed objective value is always integral (scale: 1)
10.23/10.30	c Presolving Time: 6.74
10.23/10.30	c 
10.23/10.30	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
498.70/500.18	c  10.1s|     1 |     0 | 10473 |     - |   107M |   0 |4974 |5246 |5118 |   0 |  0 | 124 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.70/500.18	c  38.6s|     1 |     0 | 68596 |     - |   113M |   0 |4974 |5448 |5129 |  11 |  1 | 126 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.70/500.18	c  40.0s|     1 |     0 | 70950 |     - |   117M |   0 |4974 |5450 |5134 |  16 |  2 | 128 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.70/500.18	c  41.4s|     1 |     0 | 73533 |     - |   119M |   0 |4974 |5452 |5138 |  20 |  3 | 130 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.70/500.18	c  44.9s|     1 |     0 | 81350 |     - |   120M |   0 |4974 |5455 |5149 |  31 |  4 | 133 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.70/500.18	c  48.7s|     1 |     0 | 89717 |     - |   121M |   0 |4974 |5454 |5160 |  42 |  5 | 134 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.70/500.18	c  51.9s|     1 |     0 | 96561 |     - |   122M |   0 |4974 |5455 |5164 |  46 |  6 | 135 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.70/500.18	c  55.0s|     1 |     0 |103063 |     - |   123M |   0 |4974 |5457 |5177 |  59 |  7 | 137 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.70/500.18	c  58.7s|     1 |     0 |110538 |     - |   124M |   0 |4974 |5445 |5188 |  70 |  8 | 138 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.70/500.18	c  62.9s|     1 |     0 |119454 |     - |   126M |   0 |4974 |5448 |5200 |  82 |  9 | 142 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.70/500.18	c  66.6s|     1 |     0 |127055 |     - |   126M |   0 |4974 |5448 |5215 |  97 | 10 | 143 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.70/500.18	c  71.8s|     1 |     0 |137645 |     - |   127M |   0 |4974 |5449 |5229 | 111 | 11 | 144 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.70/500.18	c   141s|     1 |     2 |234466 |     - |   130M |   0 |4974 |5437 |5229 | 111 | 11 | 172 |  11 | 0.000000e+00 |      --      |    Inf | unknown
498.70/500.18	c   205s|   100 |    19 |394711 |2596.6 |   137M |  32 |4974 |5479 |5191 | 137 |  0 | 234 |  11 | 0.000000e+00 |      --      |    Inf | unknown
498.70/500.18	c   304s|   200 |    21 |567257 |2158.9 |   139M |  33 |4974 |5434 |5191 | 140 |  1 | 280 |  11 | 0.000000e+00 |      --      |    Inf |  25.05%
498.70/500.18	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
498.70/500.18	c   352s|   300 |    24 |709220 |1911.6 |   143M |  33 |4974 |5510 |5191 | 142 |  0 | 368 |  11 | 0.000000e+00 |      --      |    Inf |  25.05%
498.70/500.18	c   398s|   400 |    23 |844826 |1772.4 |   147M |  34 |4974 |5560 |5192 | 145 |  1 | 487 |  11 | 0.000000e+00 |      --      |    Inf |  25.05%
498.70/500.18	c   440s|   500 |    24 |967383 |1662.8 |   150M |  34 |4974 |5587 |5191 | 149 |  1 | 545 |  11 | 0.000000e+00 |      --      |    Inf |  25.05%
498.70/500.18	c   476s|   600 |    23 |  1077k|1569.3 |   153M |  35 |4974 |5649 |5191 | 152 |  1 | 620 |  11 | 0.000000e+00 |      --      |    Inf |  25.05%
498.70/500.18	c 
498.70/500.18	c SCIP Status        : solving was interrupted [time limit reached]
498.70/500.18	c Solving Time (sec) : 500.00
498.70/500.18	c Solving Nodes      : 672
498.70/500.18	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
498.70/500.18	c Dual Bound         : +0.00000000000000e+00
498.70/500.18	c Gap                : infinite
498.70/500.18	c ----------------------------------------------------------------------
498.70/500.18	c dual bound: 0.0 -> 0
498.70/500.18	c primal bound: 1e+20 -> 100000000000000000000
498.70/500.18	c scip-goal-lb: 0
498.70/500.18	c scip-goal-ub: 100000000000000000000
498.70/500.18	c writing output to: HOME/tmpmmk0x8tm.opb
498.70/500.18	c appending fixed variable constraints
498.70/500.18	c scip-fixed vars: 15.76% (784/4974)
498.70/500.18	c ----------------------------------------------------------------------
498.70/500.18	c executing external solver: HOME/naps-1.03a6
498.70/500.18	c ----------------------------------------------------------------------
498.70/500.18	c command: HOME/naps-1.03a6 HOME/tmpmmk0x8tm.opb
498.70/500.18	c NaPS 1.03a6.
498.70/500.18	c Input file name: HOME/tmpmmk0x8tm.opb
3600.02/3608.80	c
3600.02/3608.80	c *** TERMINATED *** by signal 15
3600.02/3608.80	c _____________________________________________________________________________
3600.02/3608.80	c std/band forms        : 84,0
3600.02/3608.80	c 2cl/3cl ITE-codings   : 0,0
3600.02/3608.80	c BDD/srt/adr Max costs : 0,1410,0
3600.02/3608.80	c BDDraw/bin/mul/srt/adr: 0,0,0,84,0
3600.02/3608.80	c BDD nodes             : 0
3600.02/3608.80	c Es1/CC detections     : 0,0
3600.02/3608.80	c CC sort               : 84
3600.02/3608.80	c SAT/UNSAT calls       : 0,0
3600.02/3608.80	c regenrated variables  : 0
3600.02/3608.80	c eliminated fixed lits : 891
3600.02/3608.80	c goal lit flips        : 0
3600.02/3608.80	c goal stages           : 0
3600.02/3608.80	c goal shrink           : 0
3600.02/3608.80	c goal coeff separations: 0
3600.02/3608.80	c restarts              : 0
3600.02/3608.80	c conflicts             : 0              (0 /sec)
3600.02/3608.80	c decisions             : 0              (0 /sec)
3600.02/3608.80	c propagations          : 0              (0 /sec)
3600.02/3608.80	c inspects              : 0              (0 /sec)
3600.02/3608.80	c CPU time (solving tm) : 3100 s        (3100 s, SAT 0 s, UNSAT 0 s)
3600.02/3608.80	c Time for Opt-base     : 0.001402 s
3600.02/3608.80	c Steps for Opt-base    : 0
3600.02/3608.80	c Time for BDD coding   : 0 s
3600.02/3608.80	c Time for srt coding   : 0.01249 s
3600.02/3608.80	c _____________________________________________________________________________
3600.02/3608.80	s UNKNOWN
3600.02/3608.83	c received SIGTERM, forwarding to pbsolver...
3600.02/3608.83	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 (62266 MiB free)
  memory of node 1: 64465 MiB (63620 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507349-1751180325/watcher-4507349-1751180325 -o /tmp/evaluation-result-4507349-1751180325/solver-4507349-1751180325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751170906-18689 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4507349-1751180325.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
solver pid=20136, runsolver pid=20133
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.08 4.11 4.12 5/270 20141
/proc/meminfo: memFree=128907876/131249996 swapFree=33010684/33010684
[pid=20136] ppid=20133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20136/stat : 20136 (scip-naps-1.00.) S 20133 20136 18676 0 -1 4194304 255 341 0 0 0 0 0 0 20 0 1 0 33710327 4292608 768 18446744073709551615 94551395733504 94551396628037 140727404302576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551396867088 94551396914832 94551402455040 140727404304801 140727404304898 140727404304898 140727404310500 0
/proc/20136/statm: 1048 768 704 219 0 110 0
[pid=20141] ppid=20136 vsize=1187176 memory=32012 CPUtime=0.06 cores=5,7
/proc/20141/stat : 20141 (python3) R 20136 20136 18676 0 -1 4194304 3753 0 0 0 6 0 0 0 20 0 1 0 33710328 1215668224 8003 18446744073709551615 94112886132736 94112886133113 140729810571792 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94112886144408 94112886145028 94112891953152 140729810577752 140729810577954 140729810577954 140729810583527 0
/proc/20141/statm: 296794 8003 4899 1 0 268816 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191368 KiB
Current children cumulated memory: 35084 KiB

[startup+0.20566 s]*
/proc/loadavg: 4.08 4.11 4.12 5/270 20141
/proc/meminfo: memFree=128876376/131249996 swapFree=33010684/33010684
[pid=20136] ppid=20133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20136/stat : 20136 (scip-naps-1.00.) S 20133 20136 18676 0 -1 4194304 255 341 0 0 0 0 0 0 20 0 1 0 33710327 4292608 768 18446744073709551615 94551395733504 94551396628037 140727404302576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551396867088 94551396914832 94551402455040 140727404304801 140727404304898 140727404304898 140727404310500 0
/proc/20136/statm: 1048 768 704 219 0 110 0
[pid=20141] ppid=20136 vsize=1223184 memory=74892 CPUtime=0.16 cores=5,7
/proc/20141/stat : 20141 (python3) R 20136 20136 18676 0 -1 4194304 11765 0 0 0 15 1 0 0 20 0 1 0 33710328 1252540416 18723 18446744073709551615 94112886132736 94112886133113 140729810571792 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94112886144408 94112886145028 94112891953152 140729810577752 140729810577954 140729810577954 140729810583527 0
/proc/20141/statm: 305796 18723 7843 1 0 277154 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1227376 KiB
Current children cumulated memory: 77964 KiB

[startup+0.305644 s]*
/proc/loadavg: 4.08 4.11 4.12 5/270 20141
/proc/meminfo: memFree=128874612/131249996 swapFree=33010684/33010684
[pid=20136] ppid=20133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20136/stat : 20136 (scip-naps-1.00.) S 20133 20136 18676 0 -1 4194304 255 341 0 0 0 0 0 0 20 0 1 0 33710327 4292608 768 18446744073709551615 94551395733504 94551396628037 140727404302576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551396867088 94551396914832 94551402455040 140727404304801 140727404304898 140727404304898 140727404310500 0
/proc/20136/statm: 1048 768 704 219 0 110 0
[pid=20141] ppid=20136 vsize=1247960 memory=97164 CPUtime=0.26 cores=5,7
/proc/20141/stat : 20141 (python3) R 20136 20136 18676 0 -1 4194304 17431 0 0 0 24 2 0 0 20 0 1 0 33710328 1277911040 24291 18446744073709551615 94112886132736 94112886133113 140729810571792 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94112886144408 94112886145028 94112891953152 140729810577752 140729810577954 140729810577954 140729810583527 0
/proc/20141/statm: 311990 24291 7875 1 0 283348 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1252152 KiB
Current children cumulated memory: 100236 KiB

[startup+0.700209 s]
/proc/loadavg: 4.08 4.11 4.12 5/270 20141
/proc/meminfo: memFree=128860500/131249996 swapFree=33010684/33010684
[pid=20136] ppid=20133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20136/stat : 20136 (scip-naps-1.00.) S 20133 20136 18676 0 -1 4194304 255 341 0 0 0 0 0 0 20 0 1 0 33710327 4292608 768 18446744073709551615 94551395733504 94551396628037 140727404302576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551396867088 94551396914832 94551402455040 140727404304801 140727404304898 140727404304898 140727404310500 0
/proc/20136/statm: 1048 768 704 219 0 110 0
[pid=20141] ppid=20136 vsize=1253820 memory=103052 CPUtime=0.65 cores=5,7
/proc/20141/stat : 20141 (python3) R 20136 20136 18676 0 -1 4194304 18915 0 0 0 63 2 0 0 20 0 1 0 33710328 1283911680 25763 18446744073709551615 94112886132736 94112886133113 140729810571792 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94112886144408 94112886145028 94112891953152 140729810577752 140729810577954 140729810577954 140729810583527 0
/proc/20141/statm: 313455 25763 7875 1 0 284813 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1258012 KiB
Current children cumulated memory: 106124 KiB

[startup+1.50019 s]
/proc/loadavg: 4.08 4.11 4.12 5/270 20141
/proc/meminfo: memFree=128860960/131249996 swapFree=33010684/33010684
[pid=20136] ppid=20133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20136/stat : 20136 (scip-naps-1.00.) S 20133 20136 18676 0 -1 4194304 255 341 0 0 0 0 0 0 20 0 1 0 33710327 4292608 768 18446744073709551615 94551395733504 94551396628037 140727404302576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551396867088 94551396914832 94551402455040 140727404304801 140727404304898 140727404304898 140727404310500 0
/proc/20136/statm: 1048 768 704 219 0 110 0
[pid=20141] ppid=20136 vsize=1254100 memory=103948 CPUtime=1.45 cores=5,7
/proc/20141/stat : 20141 (python3) R 20136 20136 18676 0 -1 4194304 19130 0 0 0 143 2 0 0 20 0 1 0 33710328 1284198400 25987 18446744073709551615 94112886132736 94112886133113 140729810571792 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94112886144408 94112886145028 94112891953152 140729810577752 140729810577954 140729810577954 140729810583527 0
/proc/20141/statm: 313525 25987 7875 1 0 284883 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1258292 KiB
Current children cumulated memory: 107020 KiB

[startup+3.10552 s]
/proc/loadavg: 4.08 4.11 4.12 5/270 20141
/proc/meminfo: memFree=128861500/131249996 swapFree=33010684/33010684
[pid=20136] ppid=20133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20136/stat : 20136 (scip-naps-1.00.) S 20133 20136 18676 0 -1 4194304 255 341 0 0 0 0 0 0 20 0 1 0 33710327 4292608 768 18446744073709551615 94551395733504 94551396628037 140727404302576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551396867088 94551396914832 94551402455040 140727404304801 140727404304898 140727404304898 140727404310500 0
/proc/20136/statm: 1048 768 704 219 0 110 0
[pid=20141] ppid=20136 vsize=1254236 memory=104204 CPUtime=3.05 cores=5,7
/proc/20141/stat : 20141 (python3) R 20136 20136 18676 0 -1 4194304 19163 0 0 0 303 2 0 0 20 0 1 0 33710328 1284337664 26051 18446744073709551615 94112886132736 94112886133113 140729810571792 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94112886144408 94112886145028 94112891953152 140729810577752 140729810577954 140729810577954 140729810583527 0
/proc/20141/statm: 313559 26051 7907 1 0 284917 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1258428 KiB
Current children cumulated memory: 107276 KiB

[startup+6.30019 s]
/proc/loadavg: 4.07 4.11 4.12 5/270 20141
/proc/meminfo: memFree=128862004/131249996 swapFree=33010684/33010684
[pid=20136] ppid=20133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20136/stat : 20136 (scip-naps-1.00.) S 20133 20136 18676 0 -1 4194304 255 341 0 0 0 0 0 0 20 0 1 0 33710327 4292608 768 18446744073709551615 94551395733504 94551396628037 140727404302576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551396867088 94551396914832 94551402455040 140727404304801 140727404304898 140727404304898 140727404310500 0
/proc/20136/statm: 1048 768 704 219 0 110 0
[pid=20141] ppid=20136 vsize=1255276 memory=105228 CPUtime=6.23 cores=5,7
/proc/20141/stat : 20141 (python3) R 20136 20136 18676 0 -1 4194304 19424 0 0 0 621 2 0 0 20 0 1 0 33710328 1285402624 26307 18446744073709551615 94112886132736 94112886133113 140729810571792 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94112886144408 94112886145028 94112891953152 140729810577752 140729810577954 140729810577954 140729810583527 0
/proc/20141/statm: 313819 26307 7907 1 0 285177 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1259468 KiB
Current children cumulated memory: 108300 KiB

[startup+12.7001 s]
/proc/loadavg: 4.06 4.11 4.12 5/270 20141
/proc/meminfo: memFree=128829524/131249996 swapFree=33010684/33010684
[pid=20136] ppid=20133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20136/stat : 20136 (scip-naps-1.00.) S 20133 20136 18676 0 -1 4194304 255 341 0 0 0 0 0 0 20 0 1 0 33710327 4292608 768 18446744073709551615 94551395733504 94551396628037 140727404302576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551396867088 94551396914832 94551402455040 140727404304801 140727404304898 140727404304898 140727404310500 0
/proc/20136/statm: 1048 768 704 219 0 110 0
[pid=20141] ppid=20136 vsize=1314620 memory=148108 CPUtime=12.62 cores=5,7
/proc/20141/stat : 20141 (python3) R 20136 20136 18676 0 -1 4194304 30025 0 0 0 1258 4 0 0 20 0 1 0 33710328 1346170880 37027 18446744073709551615 94112886132736 94112886133113 140729810571792 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94112886144408 94112886145028 94112891953152 140729810577752 140729810577954 140729810577954 140729810583527 0
/proc/20141/statm: 328655 37027 8099 1 0 300013 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1318812 KiB
Current children cumulated memory: 151180 KiB

[startup+25.5001 s]
/proc/loadavg: 4.20 4.14 4.12 5/270 20141
/proc/meminfo: memFree=128823096/131249996 swapFree=33010684/33010684
[pid=20136] ppid=20133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20136/stat : 20136 (scip-naps-1.00.) S 20133 20136 18676 0 -1 4194304 255 341 0 0 0 0 0 0 20 0 1 0 33710327 4292608 768 18446744073709551615 94551395733504 94551396628037 140727404302576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551396867088 94551396914832 94551402455040 140727404304801 140727404304898 140727404304898 140727404310500 0
/proc/20136/statm: 1048 768 704 219 0 110 0
[pid=20141] ppid=20136 vsize=1314620 memory=148236 CPUtime=25.39 cores=5,7
/proc/20141/stat : 20141 (python3) R 20136 20136 18676 0 -1 4194304 30056 0 0 0 2535 4 0 0 20 0 1 0 33710328 1346170880 37059 18446744073709551615 94112886132736 94112886133113 140729810571792 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94112886144408 94112886145028 94112891953152 140729810577752 140729810577954 140729810577954 140729810583527 0
/proc/20141/statm: 328655 37059 8099 1 0 300013 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1318812 KiB
Current children cumulated memory: 151308 KiB

[startup+51.1056 s]
/proc/loadavg: 4.40 4.19 4.14 5/272 20145
/proc/meminfo: memFree=128756284/131249996 swapFree=33010684/33010684
[pid=20136] ppid=20133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20136/stat : 20136 (scip-naps-1.00.) S 20133 20136 18676 0 -1 4194304 255 341 0 0 0 0 0 0 20 0 1 0 33710327 4292608 768 18446744073709551615 94551395733504 94551396628037 140727404302576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551396867088 94551396914832 94551402455040 140727404304801 140727404304898 140727404304898 140727404310500 0
/proc/20136/statm: 1048 768 704 219 0 110 0
[pid=20141] ppid=20136 vsize=1379980 memory=216164 CPUtime=50.92 cores=5,7
/proc/20141/stat : 20141 (python3) R 20136 20136 18676 0 -1 4194304 45350 0 0 0 5086 6 0 0 20 0 1 0 33710328 1413099520 54041 18446744073709551615 94112886132736 94112886133113 140729810571792 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94112886144408 94112886145028 94112891953152 140729810577752 140729810577954 140729810577954 140729810583527 0
/proc/20141/statm: 344995 54041 8131 1 0 316353 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1384172 KiB
Current children cumulated memory: 219236 KiB

[startup+102.3 s]
/proc/loadavg: 4.22 4.17 4.14 5/273 20149
/proc/meminfo: memFree=128710084/131249996 swapFree=33010684/33010684
[pid=20136] ppid=20133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20136/stat : 20136 (scip-naps-1.00.) S 20133 20136 18676 0 -1 4194304 255 341 0 0 0 0 0 0 20 0 1 0 33710327 4292608 768 18446744073709551615 94551395733504 94551396628037 140727404302576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551396867088 94551396914832 94551402455040 140727404304801 140727404304898 140727404304898 140727404310500 0
/proc/20136/statm: 1048 768 704 219 0 110 0
[pid=20141] ppid=20136 vsize=1379980 memory=226916 CPUtime=101.97 cores=5,7
/proc/20141/stat : 20141 (python3) R 20136 20136 18676 0 -1 4194304 45436 0 0 0 10191 6 0 0 20 0 1 0 33710328 1413099520 56729 18446744073709551615 94112886132736 94112886133113 140729810571792 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94112886144408 94112886145028 94112891953152 140729810577752 140729810577954 140729810577954 140729810583527 0
/proc/20141/statm: 344995 56729 8131 1 0 316353 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1384172 KiB
Current children cumulated memory: 229988 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.15 4.13 5/273 20161
/proc/meminfo: memFree=128698416/131249996 swapFree=33010684/33010684
[pid=20136] ppid=20133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20136/stat : 20136 (scip-naps-1.00.) S 20133 20136 18676 0 -1 4194304 255 341 0 0 0 0 0 0 20 0 1 0 33710327 4292608 768 18446744073709551615 94551395733504 94551396628037 140727404302576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551396867088 94551396914832 94551402455040 140727404304801 140727404304898 140727404304898 140727404310500 0
/proc/20136/statm: 1048 768 704 219 0 110 0
[pid=20141] ppid=20136 vsize=1379920 memory=230248 CPUtime=161.8 cores=5,7
/proc/20141/stat : 20141 (python3) R 20136 20136 18676 0 -1 4194304 53103 0 0 0 16172 8 0 0 20 0 1 0 33710328 1413038080 57562 18446744073709551615 94112886132736 94112886133113 140729810571792 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94112886144408 94112886145028 94112891953152 140729810577752 140729810577954 140729810577954 140729810583527 0
/proc/20141/statm: 344980 57562 8131 1 0 316338 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1384112 KiB
Current children cumulated memory: 233320 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/273 20163
/proc/meminfo: memFree=128710452/131249996 swapFree=33010684/33010684
[pid=20136] ppid=20133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20136/stat : 20136 (scip-naps-1.00.) S 20133 20136 18676 0 -1 4194304 255 341 0 0 0 0 0 0 20 0 1 0 33710327 4292608 768 18446744073709551615 94551395733504 94551396628037 140727404302576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551396867088 94551396914832 94551402455040 140727404304801 140727404304898 140727404304898 140727404310500 0
/proc/20136/statm: 1048 768 704 219 0 110 0
[pid=20141] ppid=20136 vsize=1384244 memory=234216 CPUtime=221.64 cores=5,7
/proc/20141/stat : 20141 (python3) R 20136 20136 18676 0 -1 4194304 60844 0 0 0 22154 10 0 0 20 0 1 0 33710328 1417465856 58554 18446744073709551615 94112886132736 94112886133113 140729810571792 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94112886144408 94112886145028 94112891953152 140729810577752 140729810577954 140729810577954 140729810583527 0
/proc/20141/statm: 346061 58554 8131 1 0 317419 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 1388436 KiB

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

[pid=20280] ppid=20141 vsize=88576 memory=76132 CPUtime=2655.79 cores=5,7
/proc/20280/stat : 20280 (naps-1.03a6) R 20141 20280 20280 0 -1 4194304 338100 0 0 0 265470 109 0 0 20 0 1 0 33760345 90701824 19033 18446744073709551615 4198400 7047149 140736159245840 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 32169984 140736159250833 140736159250931 140736159250931 140736159256521 0
/proc/20280/statm: 22144 19033 544 696 0 21305 0
Current children cumulated CPU time: 3154.56 s
Current children cumulated vsize: 1483408 KiB
Current children cumulated memory: 320108 KiB

[startup+3222.3 s]
/proc/loadavg: 1.06 1.08 1.27 2/249 20499
/proc/meminfo: memFree=129696380/131249996 swapFree=33010684/33010684
[pid=20136] ppid=20133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20136/stat : 20136 (scip-naps-1.00.) S 20133 20136 18676 0 -1 4194304 255 341 0 0 0 0 0 0 20 0 1 0 33710327 4292608 768 18446744073709551615 94551395733504 94551396628037 140727404302576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551396867088 94551396914832 94551402455040 140727404304801 140727404304898 140727404304898 140727404310500 0
/proc/20136/statm: 1048 768 704 219 0 110 0
[pid=20141] ppid=20136 vsize=1390640 memory=240904 CPUtime=498.77 cores=5,7
/proc/20141/stat : 20141 (python3) S 20136 20136 18676 0 -1 4194304 82258 0 0 0 49863 14 0 0 20 0 1 0 33710328 1424015360 60226 18446744073709551615 94112886132736 94112886133113 140729810571792 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94112886144408 94112886145028 94112891953152 140729810577752 140729810577954 140729810577954 140729810583527 0
/proc/20141/statm: 347660 60226 8131 1 0 319018 0
[pid=20280] ppid=20141 vsize=104960 memory=92516 CPUtime=2715.65 cores=5,7
/proc/20280/stat : 20280 (naps-1.03a6) R 20141 20280 20280 0 -1 4194304 348116 0 0 0 271453 112 0 0 20 0 1 0 33760345 107479040 23129 18446744073709551615 4198400 7047149 140736159245840 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 32169984 140736159250833 140736159250931 140736159250931 140736159256521 0
/proc/20280/statm: 26240 23129 544 696 0 25401 0
Current children cumulated CPU time: 3214.42 s
Current children cumulated vsize: 1499792 KiB
Current children cumulated memory: 336492 KiB

[startup+3282.3 s]
/proc/loadavg: 1.06 1.08 1.25 2/247 20501
/proc/meminfo: memFree=129702900/131249996 swapFree=33010684/33010684
[pid=20136] ppid=20133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20136/stat : 20136 (scip-naps-1.00.) S 20133 20136 18676 0 -1 4194304 255 341 0 0 0 0 0 0 20 0 1 0 33710327 4292608 768 18446744073709551615 94551395733504 94551396628037 140727404302576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551396867088 94551396914832 94551402455040 140727404304801 140727404304898 140727404304898 140727404310500 0
/proc/20136/statm: 1048 768 704 219 0 110 0
[pid=20141] ppid=20136 vsize=1390640 memory=240904 CPUtime=498.77 cores=5,7
/proc/20141/stat : 20141 (python3) S 20136 20136 18676 0 -1 4194304 82258 0 0 0 49863 14 0 0 20 0 1 0 33710328 1424015360 60226 18446744073709551615 94112886132736 94112886133113 140729810571792 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94112886144408 94112886145028 94112891953152 140729810577752 140729810577954 140729810577954 140729810583527 0
/proc/20141/statm: 347660 60226 8131 1 0 319018 0
[pid=20280] ppid=20141 vsize=104960 memory=84324 CPUtime=2775.51 cores=5,7
/proc/20280/stat : 20280 (naps-1.03a6) R 20141 20280 20280 0 -1 4194304 358735 0 0 0 277435 116 0 0 20 0 1 0 33760345 107479040 21081 18446744073709551615 4198400 7047149 140736159245840 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 32169984 140736159250833 140736159250931 140736159250931 140736159256521 0
/proc/20280/statm: 26240 21081 544 696 0 25401 0
Current children cumulated CPU time: 3274.28 s
Current children cumulated vsize: 1499792 KiB
Current children cumulated memory: 328300 KiB

[startup+3342.3 s]
/proc/loadavg: 1.13 1.09 1.25 2/247 20503
/proc/meminfo: memFree=129698836/131249996 swapFree=33010684/33010684
[pid=20136] ppid=20133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20136/stat : 20136 (scip-naps-1.00.) S 20133 20136 18676 0 -1 4194304 255 341 0 0 0 0 0 0 20 0 1 0 33710327 4292608 768 18446744073709551615 94551395733504 94551396628037 140727404302576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551396867088 94551396914832 94551402455040 140727404304801 140727404304898 140727404304898 140727404310500 0
/proc/20136/statm: 1048 768 704 219 0 110 0
[pid=20141] ppid=20136 vsize=1390640 memory=240904 CPUtime=498.77 cores=5,7
/proc/20141/stat : 20141 (python3) S 20136 20136 18676 0 -1 4194304 82258 0 0 0 49863 14 0 0 20 0 1 0 33710328 1424015360 60226 18446744073709551615 94112886132736 94112886133113 140729810571792 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94112886144408 94112886145028 94112891953152 140729810577752 140729810577954 140729810577954 140729810583527 0
/proc/20141/statm: 347660 60226 8131 1 0 319018 0
[pid=20280] ppid=20141 vsize=104960 memory=88292 CPUtime=2835.36 cores=5,7
/proc/20280/stat : 20280 (naps-1.03a6) R 20141 20280 20280 0 -1 4194304 367987 0 0 0 283416 120 0 0 20 0 1 0 33760345 107479040 22073 18446744073709551615 4198400 7047149 140736159245840 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 32169984 140736159250833 140736159250931 140736159250931 140736159256521 0
/proc/20280/statm: 26240 22073 544 696 0 25401 0
Current children cumulated CPU time: 3334.13 s
Current children cumulated vsize: 1499792 KiB
Current children cumulated memory: 332268 KiB

[startup+3402.3 s]
/proc/loadavg: 1.10 1.09 1.24 2/246 20505
/proc/meminfo: memFree=129694892/131249996 swapFree=33010684/33010684
[pid=20136] ppid=20133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20136/stat : 20136 (scip-naps-1.00.) S 20133 20136 18676 0 -1 4194304 255 341 0 0 0 0 0 0 20 0 1 0 33710327 4292608 768 18446744073709551615 94551395733504 94551396628037 140727404302576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551396867088 94551396914832 94551402455040 140727404304801 140727404304898 140727404304898 140727404310500 0
/proc/20136/statm: 1048 768 704 219 0 110 0
[pid=20141] ppid=20136 vsize=1390640 memory=240904 CPUtime=498.77 cores=5,7
/proc/20141/stat : 20141 (python3) S 20136 20136 18676 0 -1 4194304 82258 0 0 0 49863 14 0 0 20 0 1 0 33710328 1424015360 60226 18446744073709551615 94112886132736 94112886133113 140729810571792 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94112886144408 94112886145028 94112891953152 140729810577752 140729810577954 140729810577954 140729810583527 0
/proc/20141/statm: 347660 60226 8131 1 0 319018 0
[pid=20280] ppid=20141 vsize=88572 memory=85508 CPUtime=2895.21 cores=5,7
/proc/20280/stat : 20280 (naps-1.03a6) R 20141 20280 20280 0 -1 4194304 377634 0 0 0 289397 124 0 0 20 0 1 0 33760345 90697728 21377 18446744073709551615 4198400 7047149 140736159245840 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 32169984 140736159250833 140736159250931 140736159250931 140736159256521 0
/proc/20280/statm: 22143 21377 544 696 0 21304 0
Current children cumulated CPU time: 3393.98 s
Current children cumulated vsize: 1483404 KiB
Current children cumulated memory: 329484 KiB

[startup+3462.3 s]
/proc/loadavg: 1.12 1.09 1.22 2/248 20511
/proc/meminfo: memFree=129711276/131249996 swapFree=33010684/33010684
[pid=20136] ppid=20133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20136/stat : 20136 (scip-naps-1.00.) S 20133 20136 18676 0 -1 4194304 255 341 0 0 0 0 0 0 20 0 1 0 33710327 4292608 768 18446744073709551615 94551395733504 94551396628037 140727404302576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551396867088 94551396914832 94551402455040 140727404304801 140727404304898 140727404304898 140727404310500 0
/proc/20136/statm: 1048 768 704 219 0 110 0
[pid=20141] ppid=20136 vsize=1390640 memory=240904 CPUtime=498.77 cores=5,7
/proc/20141/stat : 20141 (python3) S 20136 20136 18676 0 -1 4194304 82258 0 0 0 49863 14 0 0 20 0 1 0 33710328 1424015360 60226 18446744073709551615 94112886132736 94112886133113 140729810571792 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94112886144408 94112886145028 94112891953152 140729810577752 140729810577954 140729810577954 140729810583527 0
/proc/20141/statm: 347660 60226 8131 1 0 319018 0
[pid=20280] ppid=20141 vsize=72188 memory=65028 CPUtime=2955.08 cores=5,7
/proc/20280/stat : 20280 (naps-1.03a6) R 20141 20280 20280 0 -1 4194304 378580 0 0 0 295384 124 0 0 20 0 1 0 33760345 73920512 16257 18446744073709551615 4198400 7047149 140736159245840 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 32169984 140736159250833 140736159250931 140736159250931 140736159256521 0
/proc/20280/statm: 18047 16257 544 696 0 17208 0
Current children cumulated CPU time: 3453.85 s
Current children cumulated vsize: 1467020 KiB
Current children cumulated memory: 309004 KiB

[startup+3522.3 s]
/proc/loadavg: 1.10 1.09 1.21 2/248 20517
/proc/meminfo: memFree=129704392/131249996 swapFree=33010684/33010684
[pid=20136] ppid=20133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20136/stat : 20136 (scip-naps-1.00.) S 20133 20136 18676 0 -1 4194304 255 341 0 0 0 0 0 0 20 0 1 0 33710327 4292608 768 18446744073709551615 94551395733504 94551396628037 140727404302576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551396867088 94551396914832 94551402455040 140727404304801 140727404304898 140727404304898 140727404310500 0
/proc/20136/statm: 1048 768 704 219 0 110 0
[pid=20141] ppid=20136 vsize=1390640 memory=240904 CPUtime=498.77 cores=5,7
/proc/20141/stat : 20141 (python3) S 20136 20136 18676 0 -1 4194304 82258 0 0 0 49863 14 0 0 20 0 1 0 33710328 1424015360 60226 18446744073709551615 94112886132736 94112886133113 140729810571792 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94112886144408 94112886145028 94112891953152 140729810577752 140729810577954 140729810577954 140729810583527 0
/proc/20141/statm: 347660 60226 8131 1 0 319018 0
[pid=20280] ppid=20141 vsize=88572 memory=83460 CPUtime=3014.94 cores=5,7
/proc/20280/stat : 20280 (naps-1.03a6) R 20141 20280 20280 0 -1 4194304 379102 0 0 0 301369 125 0 0 20 0 1 0 33760345 90697728 20865 18446744073709551615 4198400 7047149 140736159245840 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 32169984 140736159250833 140736159250931 140736159250931 140736159256521 0
/proc/20280/statm: 22143 20865 544 696 0 21304 0
Current children cumulated CPU time: 3513.71 s
Current children cumulated vsize: 1483404 KiB
Current children cumulated memory: 327436 KiB

[startup+3582.3 s]
/proc/loadavg: 1.08 1.08 1.20 2/249 20520
/proc/meminfo: memFree=129715944/131249996 swapFree=33010684/33010684
[pid=20136] ppid=20133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20136/stat : 20136 (scip-naps-1.00.) S 20133 20136 18676 0 -1 4194304 255 341 0 0 0 0 0 0 20 0 1 0 33710327 4292608 768 18446744073709551615 94551395733504 94551396628037 140727404302576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551396867088 94551396914832 94551402455040 140727404304801 140727404304898 140727404304898 140727404310500 0
/proc/20136/statm: 1048 768 704 219 0 110 0
[pid=20141] ppid=20136 vsize=1390640 memory=240904 CPUtime=498.77 cores=5,7
/proc/20141/stat : 20141 (python3) S 20136 20136 18676 0 -1 4194304 82258 0 0 0 49863 14 0 0 20 0 1 0 33710328 1424015360 60226 18446744073709551615 94112886132736 94112886133113 140729810571792 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94112886144408 94112886145028 94112891953152 140729810577752 140729810577954 140729810577954 140729810583527 0
/proc/20141/statm: 347660 60226 8131 1 0 319018 0
[pid=20280] ppid=20141 vsize=72188 memory=65028 CPUtime=3074.81 cores=5,7
/proc/20280/stat : 20280 (naps-1.03a6) R 20141 20280 20280 0 -1 4194304 380045 0 0 0 307356 125 0 0 20 0 1 0 33760345 73920512 16257 18446744073709551615 4198400 7047149 140736159245840 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 32169984 140736159250833 140736159250931 140736159250931 140736159256521 0
/proc/20280/statm: 18047 16257 544 696 0 17208 0
Current children cumulated CPU time: 3573.58 s
Current children cumulated vsize: 1467020 KiB
Current children cumulated memory: 309004 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 1.12 1.09 1.20 2/249 20521
/proc/meminfo: memFree=129710336/131249996 swapFree=33010684/33010684
[pid=20136] ppid=20133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20136/stat : 20136 (scip-naps-1.00.) S 20133 20136 18676 0 -1 4194304 255 341 0 0 0 0 0 0 20 0 1 0 33710327 4292608 768 18446744073709551615 94551395733504 94551396628037 140727404302576 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551396867088 94551396914832 94551402455040 140727404304801 140727404304898 140727404304898 140727404310500 0
/proc/20136/statm: 1048 768 704 219 0 110 0
[pid=20141] ppid=20136 vsize=1390640 memory=240904 CPUtime=498.77 cores=5,7
/proc/20141/stat : 20141 (python3) S 20136 20136 18676 0 -1 4194304 82258 0 0 0 49863 14 0 0 20 0 1 0 33710328 1424015360 60226 18446744073709551615 94112886132736 94112886133113 140729810571792 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94112886144408 94112886145028 94112891953152 140729810577752 140729810577954 140729810577954 140729810583527 0
/proc/20141/statm: 347660 60226 8131 1 0 319018 0
[pid=20280] ppid=20141 vsize=88572 memory=85508 CPUtime=3101.25 cores=5,7
/proc/20280/stat : 20280 (naps-1.03a6) R 20141 20280 20280 0 -1 4194304 381294 0 0 0 309999 126 0 0 20 0 1 0 33760345 90697728 21377 18446744073709551615 4198400 7047149 140736159245840 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 32169984 140736159250833 140736159250931 140736159250931 140736159256521 0
/proc/20280/statm: 22143 21377 544 696 0 21304 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1483404 KiB
Current children cumulated memory: 329484 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001697 s, system=0.004002 s

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

# cumulated CPU time of all completed processes:  user=3598.68 s, system=1.42032 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

Child status: 0

Real time (s): 3608.85
CPU time (s): 3600.1
CPU user time (s): 3598.68
CPU system time (s): 1.42032
CPU usage (%): 99.7574
Max. virtual memory (cumulated for all children) (KiB): 1516176
Max. memory (cumulated for all children) (KiB): 342636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.68
system time used= 1.42031
maximum resident set size= 258532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 467552
page faults= 0
swaps= 0
block input operations= 0
block output operations= 744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 415
involuntary context switches= 20054


# summary of solver processes directly reported to runsolver:
#   pid: 20136,20141
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3598.68
#   total CPU system time (s): 1.42032

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.73048 second user time and 15.0743 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-06-29 08:58:45
IDJOB=4507349
IDBENCH=158343
IDSOLVER=3368
FILE ID=nodeC023/4507349-1751180325
RUNJOBID= nodeC023-1751170906-18689
SLURM_JOB_ID= 9587532
Free space on /tmp= 433044 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K84.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507349-1751180325/watcher-4507349-1751180325 -o /tmp/evaluation-result-4507349-1751180325/solver-4507349-1751180325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751170906-18689 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4507349-1751180325.opb

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

MD5SUM BENCH= 5fb93660b547b6cc9dd610c04b6e276e
RANDOM SEED=210640110

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128907700 kB
MemAvailable:   128645296 kB
Buffers:            3280 kB
Cached:           548004 kB
SwapCached:            0 kB
Active:          1388992 kB
Inactive:         277648 kB
Active(anon):    1133420 kB
Inactive(anon):        0 kB
Active(file):     255572 kB
Inactive(file):   277648 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5852 kB
Writeback:            20 kB
AnonPages:       1114140 kB
Mapped:           127748 kB
Shmem:             18064 kB
KReclaimable:      87232 kB
Slab:             172880 kB
SReclaimable:      87232 kB
SUnreclaim:        85648 kB
KernelStack:        4352 kB
PageTables:         5756 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4684044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    843776 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:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC023 at 2025-06-29 09:58:54