Trace number 4524219

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 NameAnswerobjective functionCPU timeWall clock time
SCIP-NaPS 1.00a1? (TO) 3600.45 3612.49

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/wallon/
normalized-GolombRuler-a3v18-15_c18.opb
MD5SUM64dbfbfc0114f72138d7179eedb1d684
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark168
Best CPU time to get the best result obtained on this benchmark72002
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables25846
Total number of constraints1501
Number of constraints which are clauses211
Number of constraints which are cardinality constraints (but not clauses)330
Number of constraints which are nor clauses,nor cardinality constraints960
Minimum length of a constraint1
Maximum length of a constraint232
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 513
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 25455
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

46.65/47.18	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4524219-1751597453.opb
46.65/47.18	c Solving mode: optimization
46.65/47.18	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
46.65/47.18	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
46.65/47.18	c original problem has 25846 variables (25846 bin, 0 int, 0 impl, 0 cont) and 1501 constraints
46.65/47.18	c presolving:
46.65/47.18	c (round 1, fast)       106 del vars, 106 del conss, 210 add conss, 105 chg bounds, 795 chg sides, 1005 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
46.65/47.18	c (round 2, fast)       316 del vars, 316 del conss, 210 add conss, 315 chg bounds, 795 chg sides, 12660 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
46.65/47.18	c (round 3, fast)       421 del vars, 527 del conss, 211 add conss, 420 chg bounds, 795 chg sides, 12660 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
46.65/47.18	c (round 4, fast)       421 del vars, 631 del conss, 315 add conss, 420 chg bounds, 795 chg sides, 12660 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
46.65/47.18	c (round 5, exhaustive) 421 del vars, 841 del conss, 315 add conss, 420 chg bounds, 795 chg sides, 12660 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
46.65/47.18	c (round 6, fast)       526 del vars, 841 del conss, 508 add conss, 420 chg bounds, 795 chg sides, 12660 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
46.65/47.18	c (round 7, fast)       526 del vars, 841 del conss, 657 add conss, 420 chg bounds, 795 chg sides, 12660 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
46.65/47.18	c (round 8, exhaustive) 526 del vars, 1078 del conss, 657 add conss, 420 chg bounds, 795 chg sides, 12660 chg coeffs, 0 upgd conss, 0 impls, 3249 clqs
46.65/47.18	c (round 9, exhaustive) 526 del vars, 1078 del conss, 657 add conss, 420 chg bounds, 795 chg sides, 12660 chg coeffs, 765 upgd conss, 0 impls, 3249 clqs
46.65/47.18	c    (3.1s) probing: 1000/25320 (3.9%) - 0 fixings, 0 aggregations, 657358 implications, 0 bound changes
46.65/47.18	c    (3.1s) probing: 1001/25320 (4.0%) - 0 fixings, 0 aggregations, 657694 implications, 0 bound changes
46.65/47.18	c    (3.1s) probing aborted: 1000/1000 successive useless probings
46.65/47.18	c    (3.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
46.65/47.18	c    (3.1s) no symmetry present (symcode time: 0.01)
46.65/47.18	c presolving (10 rounds: 10 fast, 4 medium, 4 exhaustive):
46.65/47.18	c  526 deleted vars, 1078 deleted constraints, 657 added constraints, 420 tightened bounds, 0 added holes, 795 changed sides, 12660 changed coefficients
46.65/47.18	c  0 implications, 3249 cliques
46.65/47.18	c presolved problem has 25320 variables (25320 bin, 0 int, 0 impl, 0 cont) and 1080 constraints
46.65/47.18	c     120 constraints of type <knapsack>
46.65/47.18	c     330 constraints of type <setppc>
46.65/47.18	c     315 constraints of type <linear>
46.65/47.18	c     315 constraints of type <logicor>
46.65/47.18	c transformed objective value is always integral (scale: 1)
46.65/47.18	c Presolving Time: 3.02
46.65/47.18	c 
46.65/47.18	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
46.65/47.18	c  12.0s|     1 |     0 | 20096 |     - |   216M |   0 |  25k|1082 |1080 |   0 |  0 |   2 |   0 | 1.351552e+02 |      --      |    Inf | unknown
46.65/47.18	c  13.1s|     1 |     0 | 24318 |     - |   218M |   0 |  25k|1082 |1080 |   0 |  0 |   2 |   0 | 1.351552e+02 |      --      |    Inf | unknown
46.65/47.18	c  13.1s|     1 |     0 | 24318 |     - |   218M |   0 |  25k|1082 |1079 |   0 |  0 |   2 |   0 | 1.351552e+02 |      --      |    Inf | unknown
46.65/47.18	c  14.1s|     1 |     0 | 25469 |     - |   231M |   0 |  25k|1082 |1216 | 137 |  1 |   2 |   0 | 1.351552e+02 |      --      |    Inf | unknown
46.65/47.18	c  15.0s|     1 |     0 | 26956 |     - |   242M |   0 |  25k|1082 |1363 | 284 |  2 |   2 |   0 | 1.351552e+02 |      --      |    Inf | unknown
46.65/47.18	c  15.9s|     1 |     0 | 28118 |     - |   248M |   0 |  25k|1082 |1498 | 419 |  3 |   2 |   0 | 1.351552e+02 |      --      |    Inf | unknown
46.65/47.18	c  16.7s|     1 |     0 | 29059 |     - |   255M |   0 |  25k|1082 |1626 | 547 |  4 |   2 |   0 | 1.351552e+02 |      --      |    Inf | unknown
46.65/47.18	c  17.9s|     1 |     0 | 30448 |     - |   261M |   0 |  25k|1082 |1756 | 677 |  5 |   2 |   0 | 1.351552e+02 |      --      |    Inf | unknown
46.65/47.18	c  19.3s|     1 |     0 | 32202 |     - |   265M |   0 |  25k|1082 |1888 | 809 |  6 |   2 |   0 | 1.351552e+02 |      --      |    Inf | unknown
46.65/47.18	c  20.7s|     1 |     0 | 33523 |     - |   271M |   0 |  25k|1082 |2017 | 938 |  7 |   2 |   0 | 1.351552e+02 |      --      |    Inf | unknown
46.65/47.18	c  22.3s|     1 |     0 | 35435 |     - |   275M |   0 |  25k|1082 |2148 |1069 |  8 |   2 |   0 | 1.351773e+02 |      --      |    Inf | unknown
46.65/47.18	c  23.3s|     1 |     0 | 36679 |     - |   283M |   0 |  25k|1082 |2278 |1199 |  9 |   2 |   0 | 1.351901e+02 |      --      |    Inf | unknown
46.65/47.18	c  24.4s|     1 |     0 | 37638 |     - |   309M |   0 |  25k|1082 |2415 |1336 | 10 |   2 |   0 | 1.351930e+02 |      --      |    Inf | unknown
46.65/47.18	c  25.1s|     1 |     0 | 38483 |     - |   310M |   0 |  25k|1082 |2537 |1458 | 11 |   2 |   0 | 1.351930e+02 |      --      |    Inf | unknown
46.65/47.18	c  25.9s|     1 |     0 | 39350 |     - |   311M |   0 |  25k|1082 |2649 |1570 | 12 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
46.65/47.18	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
46.65/47.18	c  26.9s|     1 |     0 | 40531 |     - |   311M |   0 |  25k|1082 |2358 |1682 | 13 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
46.65/47.18	c  27.6s|     1 |     0 | 41226 |     - |   314M |   0 |  25k|1082 |2468 |1792 | 14 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
46.65/47.18	c  29.0s|     1 |     0 | 41953 |     - |   315M |   0 |  25k|1082 |2592 |1916 | 15 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
46.65/47.18	c  30.1s|     1 |     0 | 42886 |     - |   318M |   0 |  25k|1082 |2709 |2033 | 16 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
46.65/47.18	c  31.0s|     1 |     0 | 44039 |     - |   318M |   0 |  25k|1082 |2818 |2142 | 17 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
46.65/47.18	c  31.9s|     1 |     0 | 44736 |     - |   323M |   0 |  25k|1082 |2929 |2253 | 18 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
46.65/47.18	c  33.1s|     1 |     0 | 45733 |     - |   328M |   0 |  25k|1082 |2503 |2386 | 19 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
46.65/47.18	c  34.5s|     1 |     0 | 46945 |     - |   328M |   0 |  25k|1082 |2621 |2504 | 20 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
46.65/47.18	c  35.7s|     1 |     0 | 48282 |     - |   330M |   0 |  25k|1082 |2745 |2628 | 21 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
46.65/47.18	c  37.1s|     1 |     0 | 49773 |     - |   330M |   0 |  25k|1082 |2864 |2747 | 22 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
46.65/47.18	c  37.2s|     1 |     0 | 49779 |     - |   330M |   0 |  25k|1248 |3031 |2747 | 22 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
46.65/47.18	c  38.3s|     1 |     0 | 51328 |     - |   331M |   0 |  25k|1248 |3147 |2863 | 23 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
46.65/47.18	c  40.4s|     1 |     0 | 54404 |     - |   331M |   0 |  25k|1248 |2762 |2975 | 24 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
46.65/47.18	c  41.5s|     1 |     0 | 55592 |     - |   332M |   0 |  25k|1248 |2874 |3087 | 25 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
46.65/47.18	c  42.7s|     1 |     0 | 56851 |     - |   334M |   0 |  25k|1248 |2986 |3199 | 26 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
46.65/47.18	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
46.65/47.18	c  43.8s|     1 |     0 | 58076 |     - |   337M |   0 |  25k|1248 |3106 |3319 | 27 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
46.65/47.18	c  44.5s|     1 |     0 | 58846 |     - |   338M |   0 |  25k|1248 |3216 |3429 | 28 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
46.65/47.18	c  45.7s|     1 |     0 | 60247 |     - |   338M |   0 |  25k|1248 |3330 |3543 | 29 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
997.19/1000.55	c  46.7s|     1 |     0 | 61377 |     - |   339M |   0 |  25k|1248 |2915 |3663 | 30 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
997.19/1000.55	c  48.0s|     1 |     0 | 62997 |     - |   340M |   0 |  25k|1248 |3029 |3777 | 31 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
997.19/1000.55	c  49.1s|     1 |     0 | 64130 |     - |   342M |   0 |  25k|1248 |3147 |3895 | 32 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
997.19/1000.55	c  50.1s|     1 |     0 | 65220 |     - |   344M |   0 |  25k|1248 |3273 |4021 | 33 |   2 |   0 | 1.352105e+02 |      --      |    Inf | unknown
997.19/1000.55	c   100s|     1 |     2 |123274 |     - |   347M |   0 |  25k|1323 |3273 |4021 | 33 |  77 |  31 | 1.352105e+02 |      --      |    Inf | unknown
997.19/1000.55	c   270s|   100 |    79 |547758 |4874.1 |   359M |  22 |  25k|1528 |1861 |6320 |  1 | 292 |  31 | 1.352105e+02 |      --      |    Inf |   2.79%
997.19/1000.55	c   373s|   200 |   165 |809657 |3740.9 |   370M |  41 |  25k|1674 |1829 |8098 |  2 | 491 |  31 | 1.352105e+02 |      --      |    Inf |   2.79%
997.19/1000.55	c   500s|   300 |   249 |  1149k|3628.0 |   375M |  41 |  25k|1762 |1846 |9147 |  1 | 703 |  31 | 1.352105e+02 |      --      |    Inf |   4.43%
997.19/1000.55	c   575s|   400 |   317 |  1355k|3232.9 |   380M |  42 |  25k|1869 |1974 |9586 |  2 | 924 |  31 | 1.352105e+02 |      --      |    Inf |   4.45%
997.19/1000.55	c   641s|   500 |   397 |  1519k|2915.0 |   389M |  43 |  25k|1951 |1846 |  10k|  1 |1190 |  31 | 1.352105e+02 |      --      |    Inf |   4.45%
997.19/1000.55	c   696s|   600 |   447 |  1663k|2667.7 |   392M |  43 |  25k|2121 |1941 |  10k|  1 |1464 |  31 | 1.352105e+02 |      --      |    Inf |   4.46%
997.19/1000.55	c   785s|   700 |   521 |  1877k|2592.6 |   398M |  43 |  25k|2152 |1823 |  12k|  1 |1710 |  31 | 1.352105e+02 |      --      |    Inf |   4.46%
997.19/1000.55	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
997.19/1000.55	c   939s|   800 |   601 |  2197k|2669.1 |   401M |  43 |  25k|2259 |2068 |  13k|  1 |1866 |  31 | 1.352105e+02 |      --      |    Inf |   6.03%
997.19/1000.55	c   962s|   900 |   620 |  2254k|2434.9 |   419M |  59 |  25k|2230 |   0 |  13k|  0 |1966 |  31 | 1.352105e+02 |      --      |    Inf |   6.03%
997.19/1000.55	c   995s|  1000 |   646 |  2336k|2273.9 |   441M |  59 |  25k|2186 |2159 |  14k|  1 |2082 |  31 | 1.352105e+02 |      --      |    Inf |   6.03%
997.19/1000.55	c 
997.19/1000.55	c SCIP Status        : solving was interrupted [time limit reached]
997.19/1000.55	c Solving Time (sec) : 1000.00
997.19/1000.55	c Solving Nodes      : 1030
997.19/1000.55	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
997.19/1000.55	c Dual Bound         : +1.35210526315790e+02
997.19/1000.55	c Gap                : infinite
997.19/1000.55	c ----------------------------------------------------------------------
997.19/1000.55	c dual bound: 135.21052631578954 -> 136
997.19/1000.55	c primal bound: 1e+20 -> 100000000000000000000
997.19/1000.55	c scip-goal-lb: 136
997.19/1000.55	c scip-goal-ub: 100000000000000000000
997.19/1000.55	c writing output to: HOME/tmp2ivn1f8v.opb
997.19/1000.55	c appending fixed variable constraints
997.19/1000.55	c scip-fixed vars: 1.67% (423/25320)
997.19/1000.55	c ----------------------------------------------------------------------
997.19/1000.55	c executing external solver: HOME/naps-1.03a6
997.19/1000.55	c ----------------------------------------------------------------------
997.19/1000.55	c command: HOME/naps-1.03a6 -goal-lb=136 -goal-ub=99999999999999999999 HOME/tmp2ivn1f8v.opb
997.19/1000.57	c NaPS 1.03a6.
997.19/1000.57	c Input file name: HOME/tmp2ivn1f8v.opb
1039.85/1043.39	c goal1 is divided by 128
1039.85/1043.39	c multi stage optimization mode: 1-th step
3600.03/3612.11	c
3600.03/3612.11	c *** TERMINATED *** by signal 15
3600.03/3612.11	c _____________________________________________________________________________
3600.03/3612.11	c std/band forms        : 1038,224
3600.03/3612.11	c 2cl/3cl ITE-codings   : 119130,3933718
3600.03/3612.11	c BDD/srt/adr Max costs : 38026,6660,0
3600.03/3612.11	c BDDraw/bin/mul/srt/adr: 330,0,602,330,0
3600.03/3612.11	c BDD nodes             : 4284398
3600.03/3612.11	c Es1/CC detections     : 0,0
3600.03/3612.11	c CC sort               : 330
3600.03/3612.11	c SAT/UNSAT calls       : 0,0
3600.03/3612.11	c regenrated variables  : 0
3600.03/3612.11	c eliminated fixed lits : 320
3600.03/3612.11	c goal lit flips        : 0
3600.03/3612.11	c goal stages           : 1
3600.03/3612.11	c goal shrink           : 1
3600.03/3612.11	c goal coeff separations: 0
3600.03/3612.11	c restarts              : 0
3600.03/3612.11	c conflicts             : 0              (0 /sec)
3600.03/3612.11	c decisions             : 0              (0 /sec)
3600.03/3612.11	c propagations          : 0              (0 /sec)
3600.03/3612.11	c inspects              : 0              (0 /sec)
3600.03/3612.11	c CPU time (solving tm) : 2583 s        (2541 s, SAT 0 s, UNSAT 0 s)
3600.03/3612.11	c Time for Opt-base     : 3.04 s
3600.03/3612.11	c Steps for Opt-base    : 4327239
3600.03/3612.11	c Time for BDD coding   : 33.53 s
3600.03/3612.11	c Time for srt coding   : 0.2738 s
3600.03/3612.11	c _____________________________________________________________________________
3600.03/3612.21	c received SIGTERM, forwarding to pbsolver...
3600.03/3612.21	s UNKNOWN

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: 63837 MiB (57102 MiB free)
  memory of node 1: 64465 MiB (44506 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524219-1751597453/watcher-4524219-1751597453 -o /tmp/evaluation-result-4524219-1751597453/solver-4524219-1751597453 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751592140-93470 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4524219-1751597453.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=94392, runsolver pid=94389

[startup+0.100072 s]*
/proc/loadavg: 4.22 4.23 4.15 5/255 94397
/proc/meminfo: memFree=104028952/131382112 swapFree=33005784/33010684
[pid=94392] ppid=94389 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/94392/stat : 94392 (scip-naps-1.00.) S 94389 94392 93457 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 75424454 4292608 768 18446744073709551615 94551131934720 94551132829253 140721185708400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551133068304 94551133116048 94551135502336 140721185712545 140721185712642 140721185712642 140721185718244 0
/proc/94392/statm: 1048 768 704 219 0 110 0
[pid=94397] ppid=94392 vsize=13228 memory=10496 CPUtime=0.06 cores=5,7
/proc/94397/stat : 94397 (python3) R 94392 94392 93457 0 -1 4194304 1596 0 0 0 5 1 0 0 20 0 1 0 75424457 13545472 2624 18446744073709551615 94046675640320 94046675640697 140734273818304 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94046675651992 94046675652612 94046682095616 140734273825127 140734273825314 140734273825314 140734273830887 0
/proc/94397/statm: 3307 2624 1248 1 0 1459 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 17420 KiB
Current children cumulated memory: 13568 KiB

[startup+0.213689 s]*
/proc/loadavg: 4.22 4.23 4.15 5/255 94397
/proc/meminfo: memFree=103999468/131382112 swapFree=33005784/33010684
[pid=94392] ppid=94389 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/94392/stat : 94392 (scip-naps-1.00.) S 94389 94392 93457 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 75424454 4292608 768 18446744073709551615 94551131934720 94551132829253 140721185708400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551133068304 94551133116048 94551135502336 140721185712545 140721185712642 140721185712642 140721185718244 0
/proc/94392/statm: 1048 768 704 219 0 110 0
[pid=94397] ppid=94392 vsize=1186104 memory=30852 CPUtime=0.16 cores=5,7
/proc/94397/stat : 94397 (python3) R 94392 94392 93457 0 -1 4194304 3508 0 0 0 13 3 0 0 20 0 1 0 75424457 1214570496 7713 18446744073709551615 94046675640320 94046675640697 140734273818304 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94046675651992 94046675652612 94046682095616 140734273825127 140734273825314 140734273825314 140734273830887 0
/proc/94397/statm: 296526 7713 4833 1 0 268580 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1190296 KiB
Current children cumulated memory: 33924 KiB

[startup+0.317654 s]*
/proc/loadavg: 4.22 4.23 4.15 5/255 94397
/proc/meminfo: memFree=103979968/131382112 swapFree=33005784/33010684
[pid=94392] ppid=94389 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/94392/stat : 94392 (scip-naps-1.00.) S 94389 94392 93457 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 75424454 4292608 768 18446744073709551615 94551131934720 94551132829253 140721185708400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551133068304 94551133116048 94551135502336 140721185712545 140721185712642 140721185712642 140721185718244 0
/proc/94392/statm: 1048 768 704 219 0 110 0
[pid=94397] ppid=94392 vsize=1189948 memory=34948 CPUtime=0.24 cores=5,7
/proc/94397/stat : 94397 (python3) R 94392 94392 93457 0 -1 4194304 4353 0 0 0 21 3 0 0 20 0 1 0 75424457 1218506752 8737 18446744073709551615 94046675640320 94046675640697 140734273818304 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94046675651992 94046675652612 94046682095616 140734273825127 140734273825314 140734273825314 140734273830887 0
/proc/94397/statm: 297487 8737 5057 1 0 269396 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 1194140 KiB
Current children cumulated memory: 38020 KiB

[startup+0.700354 s]
/proc/loadavg: 4.22 4.23 4.15 5/255 94397
/proc/meminfo: memFree=103905376/131382112 swapFree=33005784/33010684
[pid=94392] ppid=94389 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/94392/stat : 94392 (scip-naps-1.00.) S 94389 94392 93457 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 75424454 4292608 768 18446744073709551615 94551131934720 94551132829253 140721185708400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551133068304 94551133116048 94551135502336 140721185712545 140721185712642 140721185712642 140721185718244 0
/proc/94392/statm: 1048 768 704 219 0 110 0
[pid=94397] ppid=94392 vsize=1271980 memory=123140 CPUtime=0.58 cores=5,7
/proc/94397/stat : 94397 (python3) R 94392 94392 93457 0 -1 4194304 23772 0 0 0 49 9 0 0 20 0 1 0 75424457 1302507520 30785 18446744073709551615 94046675640320 94046675640697 140734273818304 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94046675651992 94046675652612 94046682095616 140734273825127 140734273825314 140734273825314 140734273830887 0
/proc/94397/statm: 317995 30785 7905 1 0 289353 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 1276172 KiB
Current children cumulated memory: 126212 KiB

[startup+1.50027 s]
/proc/loadavg: 4.22 4.23 4.15 5/255 94397
/proc/meminfo: memFree=103780572/131382112 swapFree=33005784/33010684
[pid=94392] ppid=94389 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/94392/stat : 94392 (scip-naps-1.00.) S 94389 94392 93457 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 75424454 4292608 768 18446744073709551615 94551131934720 94551132829253 140721185708400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551133068304 94551133116048 94551135502336 140721185712545 140721185712642 140721185712642 140721185718244 0
/proc/94392/statm: 1048 768 704 219 0 110 0
[pid=94397] ppid=94392 vsize=1341300 memory=185352 CPUtime=1.37 cores=5,7
/proc/94397/stat : 94397 (python3) R 94392 94392 93457 0 -1 4194304 35455 0 0 0 125 12 0 0 20 0 1 0 75424457 1373491200 46338 18446744073709551615 94046675640320 94046675640697 140734273818304 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94046675651992 94046675652612 94046682095616 140734273825127 140734273825314 140734273825314 140734273830887 0
/proc/94397/statm: 335325 46338 7969 1 0 306683 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 1345492 KiB
Current children cumulated memory: 188424 KiB

[startup+3.10549 s]
/proc/loadavg: 4.20 4.23 4.15 5/255 94397
/proc/meminfo: memFree=103116064/131382112 swapFree=33005784/33010684
[pid=94392] ppid=94389 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/94392/stat : 94392 (scip-naps-1.00.) S 94389 94392 93457 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 75424454 4292608 768 18446744073709551615 94551131934720 94551132829253 140721185708400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551133068304 94551133116048 94551135502336 140721185712545 140721185712642 140721185712642 140721185718244 0
/proc/94392/statm: 1048 768 704 219 0 110 0
[pid=94397] ppid=94392 vsize=1346300 memory=190216 CPUtime=2.96 cores=5,7
/proc/94397/stat : 94397 (python3) R 94392 94392 93457 0 -1 4194304 36708 0 0 0 283 13 0 0 20 0 1 0 75424457 1378611200 47554 18446744073709551615 94046675640320 94046675640697 140734273818304 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94046675651992 94046675652612 94046682095616 140734273825127 140734273825314 140734273825314 140734273830887 0
/proc/94397/statm: 336575 47554 7969 1 0 307933 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 1350492 KiB
Current children cumulated memory: 193288 KiB

[startup+6.3002 s]
/proc/loadavg: 4.20 4.23 4.15 5/255 94397
/proc/meminfo: memFree=103037764/131382112 swapFree=33005784/33010684
[pid=94392] ppid=94389 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/94392/stat : 94392 (scip-naps-1.00.) S 94389 94392 93457 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 75424454 4292608 768 18446744073709551615 94551131934720 94551132829253 140721185708400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551133068304 94551133116048 94551135502336 140721185712545 140721185712642 140721185712642 140721185718244 0
/proc/94392/statm: 1048 768 704 219 0 110 0
[pid=94397] ppid=94392 vsize=1427252 memory=233328 CPUtime=6.12 cores=5,7
/proc/94397/stat : 94397 (python3) R 94392 94392 93457 0 -1 4194304 48212 0 0 0 597 15 0 0 20 0 1 0 75424457 1461506048 58332 18446744073709551615 94046675640320 94046675640697 140734273818304 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94046675651992 94046675652612 94046682095616 140734273825127 140734273825314 140734273825314 140734273830887 0
/proc/94397/statm: 356813 58332 8129 1 0 328171 0
Current children cumulated CPU time: 6.12 s
Current children cumulated vsize: 1431444 KiB
Current children cumulated memory: 236400 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.22 4.15 5/255 94397
/proc/meminfo: memFree=102960700/131382112 swapFree=33005784/33010684
[pid=94392] ppid=94389 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/94392/stat : 94392 (scip-naps-1.00.) S 94389 94392 93457 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 75424454 4292608 768 18446744073709551615 94551131934720 94551132829253 140721185708400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551133068304 94551133116048 94551135502336 140721185712545 140721185712642 140721185712642 140721185718244 0
/proc/94392/statm: 1048 768 704 219 0 110 0
[pid=94397] ppid=94392 vsize=1431108 memory=236016 CPUtime=12.45 cores=5,7
/proc/94397/stat : 94397 (python3) R 94392 94392 93457 0 -1 4194304 48901 0 0 0 1230 15 0 0 20 0 1 0 75424457 1465454592 59004 18446744073709551615 94046675640320 94046675640697 140734273818304 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94046675651992 94046675652612 94046682095616 140734273825127 140734273825314 140734273825314 140734273830887 0
/proc/94397/statm: 357777 59004 8129 1 0 329135 0
Current children cumulated CPU time: 12.45 s
Current children cumulated vsize: 1435300 KiB
Current children cumulated memory: 239088 KiB

[startup+25.5002 s]
/proc/loadavg: 4.22 4.23 4.15 5/255 94398
/proc/meminfo: memFree=102345232/131382112 swapFree=33005784/33010684
[pid=94392] ppid=94389 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/94392/stat : 94392 (scip-naps-1.00.) S 94389 94392 93457 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 75424454 4292608 768 18446744073709551615 94551131934720 94551132829253 140721185708400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551133068304 94551133116048 94551135502336 140721185712545 140721185712642 140721185712642 140721185718244 0
/proc/94392/statm: 1048 768 704 219 0 110 0
[pid=94397] ppid=94392 vsize=1539044 memory=340844 CPUtime=25.13 cores=5,7
/proc/94397/stat : 94397 (python3) R 94392 94392 93457 0 -1 4194304 73797 0 0 0 2493 20 0 0 20 0 1 0 75424457 1575981056 85211 18446744073709551615 94046675640320 94046675640697 140734273818304 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94046675651992 94046675652612 94046682095616 140734273825127 140734273825314 140734273825314 140734273830887 0
/proc/94397/statm: 384761 85211 8161 1 0 356119 0
Current children cumulated CPU time: 25.13 s
Current children cumulated vsize: 1543236 KiB
Current children cumulated memory: 343916 KiB

[startup+51.1133 s]
/proc/loadavg: 4.15 4.21 4.15 5/255 94398
/proc/meminfo: memFree=101765368/131382112 swapFree=33005784/33010684
[pid=94392] ppid=94389 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/94392/stat : 94392 (scip-naps-1.00.) S 94389 94392 93457 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 75424454 4292608 768 18446744073709551615 94551131934720 94551132829253 140721185708400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551133068304 94551133116048 94551135502336 140721185712545 140721185712642 140721185712642 140721185718244 0
/proc/94392/statm: 1048 768 704 219 0 110 0
[pid=94397] ppid=94392 vsize=1579284 memory=380664 CPUtime=50.64 cores=5,7
/proc/94397/stat : 94397 (python3) R 94392 94392 93457 0 -1 4194304 84800 0 0 0 5042 22 0 0 20 0 1 0 75424457 1617186816 95166 18446744073709551615 94046675640320 94046675640697 140734273818304 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94046675651992 94046675652612 94046682095616 140734273825127 140734273825314 140734273825314 140734273830887 0
/proc/94397/statm: 394821 95166 8161 1 0 366179 0
Current children cumulated CPU time: 50.64 s
Current children cumulated vsize: 1583476 KiB
Current children cumulated memory: 383736 KiB

[startup+102.3 s]
/proc/loadavg: 4.26 4.22 4.15 5/255 94400
/proc/meminfo: memFree=99793968/131382112 swapFree=33005784/33010684
[pid=94392] ppid=94389 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/94392/stat : 94392 (scip-naps-1.00.) S 94389 94392 93457 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 75424454 4292608 768 18446744073709551615 94551131934720 94551132829253 140721185708400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551133068304 94551133116048 94551135502336 140721185712545 140721185712642 140721185712642 140721185718244 0
/proc/94392/statm: 1048 768 704 219 0 110 0
[pid=94397] ppid=94392 vsize=1606728 memory=408296 CPUtime=101.69 cores=5,7
/proc/94397/stat : 94397 (python3) R 94392 94392 93457 0 -1 4194304 107821 0 0 0 10143 26 0 0 20 0 1 0 75424457 1645289472 102074 18446744073709551615 94046675640320 94046675640697 140734273818304 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94046675651992 94046675652612 94046682095616 140734273825127 140734273825314 140734273825314 140734273830887 0
/proc/94397/statm: 401682 102074 8161 1 0 373040 0
Current children cumulated CPU time: 101.69 s
Current children cumulated vsize: 1610920 KiB
Current children cumulated memory: 411368 KiB

[startup+162.3 s]
/proc/loadavg: 4.68 4.36 4.21 5/255 94402
/proc/meminfo: memFree=99381296/131382112 swapFree=33005784/33010684
[pid=94392] ppid=94389 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/94392/stat : 94392 (scip-naps-1.00.) S 94389 94392 93457 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 75424454 4292608 768 18446744073709551615 94551131934720 94551132829253 140721185708400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551133068304 94551133116048 94551135502336 140721185712545 140721185712642 140721185712642 140721185718244 0
/proc/94392/statm: 1048 768 704 219 0 110 0
[pid=94397] ppid=94392 vsize=1606728 memory=408552 CPUtime=161.51 cores=5,7
/proc/94397/stat : 94397 (python3) R 94392 94392 93457 0 -1 4194304 107887 0 0 0 16124 27 0 0 20 0 1 0 75424457 1645289472 102138 18446744073709551615 94046675640320 94046675640697 140734273818304 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94046675651992 94046675652612 94046682095616 140734273825127 140734273825314 140734273825314 140734273830887 0
/proc/94397/statm: 401682 102138 8161 1 0 373040 0
Current children cumulated CPU time: 161.51 s
Current children cumulated vsize: 1610920 KiB
Current children cumulated memory: 411624 KiB

[startup+222.3 s]
/proc/loadavg: 4.30 4.31 4.20 5/255 94404
/proc/meminfo: memFree=99283336/131382112 swapFree=33005784/33010684
[pid=94392] ppid=94389 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/94392/stat : 94392 (scip-naps-1.00.) S 94389 94392 93457 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 75424454 4292608 768 18446744073709551615 94551131934720 94551132829253 140721185708400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551133068304 94551133116048 94551135502336 140721185712545 140721185712642 140721185712642 140721185718244 0
/proc/94392/statm: 1048 768 704 219 0 110 0
[pid=94397] ppid=94392 vsize=1642732 memory=444936 CPUtime=221.33 cores=5,7
/proc/94397/stat : 94397 (python3) R 94392 94392 93457 0 -1 4194304 122227 0 0 0 22103 30 0 0 20 0 1 0 75424457 1682157568 111234 18446744073709551615 94046675640320 94046675640697 140734273818304 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94046675651992 94046675652612 94046682095616 140734273825127 140734273825314 140734273825314 140734273830887 0
/proc/94397/statm: 410683 111234 8161 1 0 382041 0
Current children cumulated CPU time: 221.33 s

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

/proc/94392/stat : 94392 (scip-naps-1.00.) S 94389 94392 93457 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 75424454 4292608 768 18446744073709551615 94551131934720 94551132829253 140721185708400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551133068304 94551133116048 94551135502336 140721185712545 140721185712642 140721185712642 140721185718244 0
/proc/94392/statm: 1048 768 704 219 0 110 0
[pid=94397] ppid=94392 vsize=1692332 memory=496032 CPUtime=997.25 cores=5,7
/proc/94397/stat : 94397 (python3) S 94392 94392 93457 0 -1 4194304 143671 0 0 0 99684 41 0 0 20 0 1 0 75424457 1732947968 124008 18446744073709551615 94046675640320 94046675640697 140734273818304 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94046675651992 94046675652612 94046682095616 140734273825127 140734273825314 140734273825314 140734273830887 0
/proc/94397/statm: 423083 124008 8161 1 0 394441 0
[pid=94456] ppid=94397 vsize=5618788 memory=5406688 CPUtime=2214.12 cores=5,7
/proc/94456/stat : 94456 (naps-1.03a6) R 94397 94456 94456 0 -1 4194304 1284084 0 0 0 219634 1778 0 0 20 0 1 0 75524510 5753638912 1351672 18446744073709551615 4198400 7047149 140722617192384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10022912 140722617198950 140722617199091 140722617199091 140722617204681 0
/proc/94456/statm: 1404697 1351672 608 696 0 1403858 0
Current children cumulated CPU time: 3211.37 s
Current children cumulated vsize: 7315312 KiB
Current children cumulated memory: 5905792 KiB

[startup+3282.3 s]
/proc/loadavg: 3.30 3.39 3.78 4/250 94783
/proc/meminfo: memFree=95251224/131382112 swapFree=33005784/33010684
[pid=94392] ppid=94389 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/94392/stat : 94392 (scip-naps-1.00.) S 94389 94392 93457 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 75424454 4292608 768 18446744073709551615 94551131934720 94551132829253 140721185708400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551133068304 94551133116048 94551135502336 140721185712545 140721185712642 140721185712642 140721185718244 0
/proc/94392/statm: 1048 768 704 219 0 110 0
[pid=94397] ppid=94392 vsize=1692332 memory=496032 CPUtime=997.25 cores=5,7
/proc/94397/stat : 94397 (python3) S 94392 94392 93457 0 -1 4194304 143671 0 0 0 99684 41 0 0 20 0 1 0 75424457 1732947968 124008 18446744073709551615 94046675640320 94046675640697 140734273818304 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94046675651992 94046675652612 94046682095616 140734273825127 140734273825314 140734273825314 140734273830887 0
/proc/94397/statm: 423083 124008 8161 1 0 394441 0
[pid=94456] ppid=94397 vsize=5617832 memory=5330272 CPUtime=2273.94 cores=5,7
/proc/94456/stat : 94456 (naps-1.03a6) R 94397 94456 94456 0 -1 4194304 1289253 0 0 0 225592 1802 0 0 20 0 1 0 75524510 5752659968 1332568 18446744073709551615 4198400 7047149 140722617192384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10022912 140722617198950 140722617199091 140722617199091 140722617204681 0
/proc/94456/statm: 1404458 1332568 608 696 0 1403619 0
Current children cumulated CPU time: 3271.19 s
Current children cumulated vsize: 7314356 KiB
Current children cumulated memory: 5829376 KiB

[startup+3342.3 s]
/proc/loadavg: 3.71 3.50 3.80 4/250 94785
/proc/meminfo: memFree=94793516/131382112 swapFree=33005784/33010684
[pid=94392] ppid=94389 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/94392/stat : 94392 (scip-naps-1.00.) S 94389 94392 93457 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 75424454 4292608 768 18446744073709551615 94551131934720 94551132829253 140721185708400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551133068304 94551133116048 94551135502336 140721185712545 140721185712642 140721185712642 140721185718244 0
/proc/94392/statm: 1048 768 704 219 0 110 0
[pid=94397] ppid=94392 vsize=1692332 memory=496032 CPUtime=997.25 cores=5,7
/proc/94397/stat : 94397 (python3) S 94392 94392 93457 0 -1 4194304 143671 0 0 0 99684 41 0 0 20 0 1 0 75424457 1732947968 124008 18446744073709551615 94046675640320 94046675640697 140734273818304 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94046675651992 94046675652612 94046682095616 140734273825127 140734273825314 140734273825314 140734273830887 0
/proc/94397/statm: 423083 124008 8161 1 0 394441 0
[pid=94456] ppid=94397 vsize=5616580 memory=5337412 CPUtime=2333.76 cores=5,7
/proc/94456/stat : 94456 (naps-1.03a6) R 94397 94456 94456 0 -1 4194304 1299361 0 0 0 231529 1847 0 0 20 0 1 0 75524510 5751377920 1334353 18446744073709551615 4198400 7047149 140722617192384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10022912 140722617198950 140722617199091 140722617199091 140722617204681 0
/proc/94456/statm: 1404145 1334353 608 696 0 1403306 0
Current children cumulated CPU time: 3331.01 s
Current children cumulated vsize: 7313104 KiB
Current children cumulated memory: 5836516 KiB

[startup+3402.3 s]
/proc/loadavg: 3.32 3.42 3.75 4/249 94791
/proc/meminfo: memFree=94225716/131382112 swapFree=33005784/33010684
[pid=94392] ppid=94389 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/94392/stat : 94392 (scip-naps-1.00.) S 94389 94392 93457 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 75424454 4292608 768 18446744073709551615 94551131934720 94551132829253 140721185708400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551133068304 94551133116048 94551135502336 140721185712545 140721185712642 140721185712642 140721185718244 0
/proc/94392/statm: 1048 768 704 219 0 110 0
[pid=94397] ppid=94392 vsize=1692332 memory=496032 CPUtime=997.25 cores=5,7
/proc/94397/stat : 94397 (python3) S 94392 94392 93457 0 -1 4194304 143671 0 0 0 99684 41 0 0 20 0 1 0 75424457 1732947968 124008 18446744073709551615 94046675640320 94046675640697 140734273818304 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94046675651992 94046675652612 94046682095616 140734273825127 140734273825314 140734273825314 140734273830887 0
/proc/94397/statm: 423083 124008 8161 1 0 394441 0
[pid=94456] ppid=94397 vsize=5611100 memory=5331932 CPUtime=2393.59 cores=5,7
/proc/94456/stat : 94456 (naps-1.03a6) R 94397 94456 94456 0 -1 4194304 1302140 0 0 0 237498 1861 0 0 20 0 1 0 75524510 5745766400 1332983 18446744073709551615 4198400 7047149 140722617192384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10022912 140722617198950 140722617199091 140722617199091 140722617204681 0
/proc/94456/statm: 1402775 1332983 608 696 0 1401936 0
Current children cumulated CPU time: 3390.84 s
Current children cumulated vsize: 7307624 KiB
Current children cumulated memory: 5831036 KiB

[startup+3462.3 s]
/proc/loadavg: 3.12 3.34 3.70 4/250 94796
/proc/meminfo: memFree=92176308/131382112 swapFree=33005784/33010684
[pid=94392] ppid=94389 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/94392/stat : 94392 (scip-naps-1.00.) S 94389 94392 93457 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 75424454 4292608 768 18446744073709551615 94551131934720 94551132829253 140721185708400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551133068304 94551133116048 94551135502336 140721185712545 140721185712642 140721185712642 140721185718244 0
/proc/94392/statm: 1048 768 704 219 0 110 0
[pid=94397] ppid=94392 vsize=1692332 memory=496032 CPUtime=997.25 cores=5,7
/proc/94397/stat : 94397 (python3) S 94392 94392 93457 0 -1 4194304 143671 0 0 0 99684 41 0 0 20 0 1 0 75424457 1732947968 124008 18446744073709551615 94046675640320 94046675640697 140734273818304 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94046675651992 94046675652612 94046682095616 140734273825127 140734273825314 140734273825314 140734273830887 0
/proc/94397/statm: 423083 124008 8161 1 0 394441 0
[pid=94456] ppid=94397 vsize=5611100 memory=5331932 CPUtime=2453.42 cores=5,7
/proc/94456/stat : 94456 (naps-1.03a6) R 94397 94456 94456 0 -1 4194304 1302502 0 0 0 243481 1861 0 0 20 0 1 0 75524510 5745766400 1332983 18446744073709551615 4198400 7047149 140722617192384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10022912 140722617198950 140722617199091 140722617199091 140722617204681 0
/proc/94456/statm: 1402775 1332983 608 696 0 1401936 0
Current children cumulated CPU time: 3450.67 s
Current children cumulated vsize: 7307624 KiB
Current children cumulated memory: 5831036 KiB

[startup+3522.3 s]
/proc/loadavg: 3.14 3.31 3.67 4/250 94798
/proc/meminfo: memFree=78731488/131382112 swapFree=33005784/33010684
[pid=94392] ppid=94389 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/94392/stat : 94392 (scip-naps-1.00.) S 94389 94392 93457 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 75424454 4292608 768 18446744073709551615 94551131934720 94551132829253 140721185708400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551133068304 94551133116048 94551135502336 140721185712545 140721185712642 140721185712642 140721185718244 0
/proc/94392/statm: 1048 768 704 219 0 110 0
[pid=94397] ppid=94392 vsize=1692332 memory=496032 CPUtime=997.25 cores=5,7
/proc/94397/stat : 94397 (python3) S 94392 94392 93457 0 -1 4194304 143671 0 0 0 99684 41 0 0 20 0 1 0 75424457 1732947968 124008 18446744073709551615 94046675640320 94046675640697 140734273818304 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94046675651992 94046675652612 94046682095616 140734273825127 140734273825314 140734273825314 140734273830887 0
/proc/94397/statm: 423083 124008 8161 1 0 394441 0
[pid=94456] ppid=94397 vsize=5611100 memory=5332316 CPUtime=2513.24 cores=5,7
/proc/94456/stat : 94456 (naps-1.03a6) R 94397 94456 94456 0 -1 4194304 1302956 0 0 0 249463 1861 0 0 20 0 1 0 75524510 5745766400 1333079 18446744073709551615 4198400 7047149 140722617192384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10022912 140722617198950 140722617199091 140722617199091 140722617204681 0
/proc/94456/statm: 1402775 1333079 608 696 0 1401936 0
Current children cumulated CPU time: 3510.49 s
Current children cumulated vsize: 7307624 KiB
Current children cumulated memory: 5831420 KiB

[startup+3582.3 s]
/proc/loadavg: 3.18 3.28 3.63 4/250 94799
/proc/meminfo: memFree=74795020/131382112 swapFree=33005784/33010684
[pid=94392] ppid=94389 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/94392/stat : 94392 (scip-naps-1.00.) S 94389 94392 93457 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 75424454 4292608 768 18446744073709551615 94551131934720 94551132829253 140721185708400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551133068304 94551133116048 94551135502336 140721185712545 140721185712642 140721185712642 140721185718244 0
/proc/94392/statm: 1048 768 704 219 0 110 0
[pid=94397] ppid=94392 vsize=1692332 memory=496032 CPUtime=997.25 cores=5,7
/proc/94397/stat : 94397 (python3) S 94392 94392 93457 0 -1 4194304 143671 0 0 0 99684 41 0 0 20 0 1 0 75424457 1732947968 124008 18446744073709551615 94046675640320 94046675640697 140734273818304 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94046675651992 94046675652612 94046682095616 140734273825127 140734273825314 140734273825314 140734273830887 0
/proc/94397/statm: 423083 124008 8161 1 0 394441 0
[pid=94456] ppid=94397 vsize=5841896 memory=5611600 CPUtime=2573.05 cores=5,7
/proc/94456/stat : 94456 (naps-1.03a6) R 94397 94456 94456 0 -1 4194304 1319683 0 0 0 255404 1901 0 0 20 0 1 0 75524510 5982101504 1402900 18446744073709551615 4198400 7047149 140722617192384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10022912 140722617198950 140722617199091 140722617199091 140722617204681 0
/proc/94456/statm: 1460474 1402900 608 696 0 1459635 0
Current children cumulated CPU time: 3570.3 s
Current children cumulated vsize: 7538420 KiB
Current children cumulated memory: 6110704 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.11 s]
/proc/loadavg: 3.63 3.39 3.66 4/250 94801
/proc/meminfo: memFree=74896636/131382112 swapFree=33005784/33010684
[pid=94392] ppid=94389 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/94392/stat : 94392 (scip-naps-1.00.) S 94389 94392 93457 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 75424454 4292608 768 18446744073709551615 94551131934720 94551132829253 140721185708400 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94551133068304 94551133116048 94551135502336 140721185712545 140721185712642 140721185712642 140721185718244 0
/proc/94392/statm: 1048 768 704 219 0 110 0
[pid=94397] ppid=94392 vsize=1692332 memory=496032 CPUtime=997.25 cores=5,7
/proc/94397/stat : 94397 (python3) S 94392 94392 93457 0 -1 4194304 143671 0 0 0 99684 41 0 0 20 0 1 0 75424457 1732947968 124008 18446744073709551615 94046675640320 94046675640697 140734273818304 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94046675651992 94046675652612 94046682095616 140734273825127 140734273825314 140734273825314 140734273830887 0
/proc/94397/statm: 423083 124008 8161 1 0 394441 0
[pid=94456] ppid=94397 vsize=6087800 memory=5767820 CPUtime=2602.78 cores=5,7
/proc/94456/stat : 94456 (naps-1.03a6) R 94397 94456 94456 0 -1 4194304 1409895 0 0 0 258284 1994 0 0 20 0 1 0 75524510 6233907200 1441955 18446744073709551615 4198400 7047149 140722617192384 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10022912 140722617198950 140722617199091 140722617199091 140722617204681 0
/proc/94456/statm: 1521950 1441955 608 696 0 1521111 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 7784324 KiB
Current children cumulated memory: 6266924 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.006796 s, system=0.007424 s

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

# cumulated CPU time of all completed processes:  user=3579.9 s, system=20.5447 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+3612.4 s]
/proc/loadavg: 3.66 3.40 3.66 4/249 94801
/proc/meminfo: memFree=79001880/131382112 swapFree=33005784/33010684
[pid=94397] ppid=94389 vsize=1685160 memory=488976 CPUtime=3600.32 cores=5,7
/proc/94397/stat : 94397 (python3) R 94389 94392 93457 0 -1 4194304 187427 1409897 0 0 99699 44 258284 2005 20 0 1 0 75424457 1725603840 122244 18446744073709551615 94046675640320 94046675640697 140734273818304 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94046675651992 94046675652612 94046682095616 140734273825127 140734273825314 140734273825314 140734273830887 0
/proc/94397/statm: 421290 122244 8161 1 0 392648 0
Current cumulated CPU time of completed processes: 0.01422 s
Current children cumulated CPU time: 3600.32 s
Current children cumulated vsize: 1685160 KiB
Current children cumulated memory: 488976 KiB

Child status: 0

Real time (s): 3612.49
CPU time (s): 3600.45
CPU user time (s): 3579.9
CPU system time (s): 20.5447
CPU usage (%): 99.6665
Max. virtual memory (cumulated for all children) (KiB): 9373344
Max. memory (cumulated for all children) (KiB): 7588608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.9
system time used= 20.5447
maximum resident set size= 7089628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1614972
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 605
involuntary context switches= 2733


# summary of solver processes directly reported to runsolver:
#   pid: 94392,94397
#   total CPU time (s): 3600.45
#   total CPU user time (s): 3579.9
#   total CPU system time (s): 20.5447

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8601 second user time and 38.3668 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-07-04 04:50:53
IDJOB=4524219
IDBENCH=180627
IDSOLVER=3368
FILE ID=nodeC007/4524219-1751597453
RUNJOBID= nodeC007-1751592140-93470
SLURM_JOB_ID= 9598854
Free space on /tmp= 430936 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-GolombRuler-a3v18-15_c18.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524219-1751597453/watcher-4524219-1751597453 -o /tmp/evaluation-result-4524219-1751597453/solver-4524219-1751597453 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751592140-93470 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4524219-1751597453.opb

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

MD5SUM BENCH= 64dbfbfc0114f72138d7179eedb1d684
RANDOM SEED=1059043713

nodeC007 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	: 0xb00001f
cpu MHz		: 3662.333
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
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	: 0xb00001f
cpu MHz		: 3660.934
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
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	: 0xb00001f
cpu MHz		: 1197.827
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
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	: 0xb00001f
cpu MHz		: 1197.909
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
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	: 0xb00001f
cpu MHz		: 3662.317
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
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	: 0xb00001f
cpu MHz		: 1197.201
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
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	: 0xb00001f
cpu MHz		: 1197.739
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
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	: 0xb00001f
cpu MHz		: 1197.403
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        104054908 kB
MemAvailable:   113912340 kB
Buffers:              16 kB
Cached:         10525252 kB
SwapCached:          252 kB
Active:         16225020 kB
Inactive:       10208612 kB
Active(anon):   15874152 kB
Inactive(anon):    47716 kB
Active(file):     350868 kB
Inactive(file): 10160896 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005784 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6384 kB
Writeback:             0 kB
AnonPages:      15910180 kB
Mapped:           126136 kB
Shmem:             13504 kB
KReclaimable:     370588 kB
Slab:             461576 kB
SReclaimable:     370588 kB
SUnreclaim:        90988 kB
KernelStack:        4124 kB
PageTables:        35064 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   20198076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149512 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3770368 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:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 430576 MiB
End job on nodeC007 at 2025-07-04 05:51:06