Trace number 4507965

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.00a1UNSAT 1014.29 1016.91

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep4.5.opb
MD5SUMb67c8b15922ffb2eac696beabc53406c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.626446
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9324
Total number of constraints28660
Number of constraints which are clauses26658
Number of constraints which are cardinality constraints (but not clauses)238
Number of constraints which are nor clauses,nor cardinality constraints1764
Minimum length of a constraint2
Maximum length of a constraint240
Number of terms in the objective function 26
Biggest coefficient in the objective function 20
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 211
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 160
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 670
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

998.32/1000.92	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4507965-1751501212.opb
998.32/1000.92	c Solving mode: optimization
998.32/1000.92	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
998.32/1000.92	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
998.32/1000.92	c original problem has 9324 variables (9324 bin, 0 int, 0 impl, 0 cont) and 28660 constraints
998.32/1000.92	c presolving:
998.32/1000.92	c (round 1, fast)       56 del vars, 812 del conss, 0 add conss, 0 chg bounds, 1680 chg sides, 2520 chg coeffs, 0 upgd conss, 0 impls, 15960 clqs
998.32/1000.92	c (round 2, fast)       71 del vars, 1262 del conss, 0 add conss, 0 chg bounds, 1680 chg sides, 2520 chg coeffs, 0 upgd conss, 0 impls, 15510 clqs
998.32/1000.92	c (round 3, exhaustive) 71 del vars, 1290 del conss, 0 add conss, 0 chg bounds, 1680 chg sides, 2520 chg coeffs, 0 upgd conss, 0 impls, 15510 clqs
998.32/1000.92	c (round 4, exhaustive) 71 del vars, 1290 del conss, 0 add conss, 0 chg bounds, 1680 chg sides, 2520 chg coeffs, 27342 upgd conss, 0 impls, 15510 clqs
998.32/1000.92	c (round 5, exhaustive) 71 del vars, 2130 del conss, 0 add conss, 0 chg bounds, 1680 chg sides, 2520 chg coeffs, 27342 upgd conss, 0 impls, 15510 clqs
998.32/1000.92	c    (2.3s) probing: 1000/9253 (10.8%) - 0 fixings, 0 aggregations, 4677 implications, 0 bound changes
998.32/1000.92	c    (2.3s) probing: 1001/9253 (10.8%) - 0 fixings, 0 aggregations, 4680 implications, 0 bound changes
998.32/1000.92	c    (2.3s) probing aborted: 1000/1000 successive useless probings
998.32/1000.92	c    (2.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
998.32/1000.92	c    (2.4s) symmetry computation finished: 23 generators found (max: 1500, log10 of symmetry group size: 10.0) (symcode time: 0.07)
998.32/1000.92	c dynamic symmetry handling statistics:
998.32/1000.92	c    orbitopal reduction:        4 components: 331x6, 331x6, 330x11, 330x4
998.32/1000.92	c    orbital reduction:         no components
998.32/1000.92	c    lexicographic reduction:   no permutations
998.32/1000.92	c handled 4 out of 4 symmetry components
998.32/1000.92	c presolving (6 rounds: 6 fast, 4 medium, 4 exhaustive):
998.32/1000.92	c  71 deleted vars, 2130 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 1680 changed sides, 2520 changed coefficients
998.32/1000.92	c  0 implications, 20190 cliques
998.32/1000.92	c presolved problem has 9253 variables (9253 bin, 0 int, 0 impl, 0 cont) and 26530 constraints
998.32/1000.92	c    1106 constraints of type <knapsack>
998.32/1000.92	c   15510 constraints of type <setppc>
998.32/1000.92	c      28 constraints of type <linear>
998.32/1000.92	c    9886 constraints of type <logicor>
998.32/1000.92	c transformed objective value is always integral (scale: 1)
998.32/1000.92	c Presolving Time: 2.40
998.32/1000.92	c 
998.32/1000.92	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
998.32/1000.92	c  61.4s|     1 |     0 | 52713 |     - |   199M |   0 |9253 |  26k|  26k|   0 |  0 |  66 |   0 | 3.895635e+01 |      --      |    Inf | unknown
998.32/1000.92	c   110s|     1 |     0 |172073 |     - |   208M |   0 |9253 |  26k|  26k| 204 |  1 |  67 |   0 | 4.153635e+01 |      --      |    Inf | unknown
998.32/1000.92	c   114s|     1 |     0 |176198 |     - |   213M |   0 |9253 |  26k|  26k| 409 |  2 |  70 |   0 | 4.162302e+01 |      --      |    Inf | unknown
998.32/1000.92	c   119s|     1 |     0 |180864 |     - |   218M |   0 |9253 |  26k|  27k| 615 |  3 |  72 |   0 | 4.208765e+01 |      --      |    Inf | unknown
998.32/1000.92	c   127s|     1 |     0 |190104 |     - |   221M |   0 |9253 |  26k|  27k| 804 |  4 |  73 |   0 | 4.252650e+01 |      --      |    Inf | unknown
998.32/1000.92	c   140s|     1 |     0 |202510 |     - |   225M |   0 |9253 |  26k|  27k|1036 |  5 |  75 |   0 | 4.361668e+01 |      --      |    Inf | unknown
998.32/1000.92	c   146s|     1 |     0 |208429 |     - |   228M |   0 |9253 |  26k|  27k|1234 |  6 |  77 |   0 | 6.022222e+01 |      --      |    Inf | unknown
998.32/1000.92	c   151s|     1 |     0 |214528 |     - |   231M |   0 |9253 |  26k|  27k|1414 |  7 |  80 |   0 | 6.022222e+01 |      --      |    Inf | unknown
998.32/1000.92	c   156s|     1 |     0 |219424 |     - |   234M |   0 |9253 |  26k|  28k|1571 |  8 |  82 |   0 | 6.044444e+01 |      --      |    Inf | unknown
998.32/1000.92	c   160s|     1 |     0 |223436 |     - |   238M |   0 |9253 |  26k|  28k|1721 |  9 |  83 |   0 | 6.111111e+01 |      --      |    Inf | unknown
998.32/1000.92	c   164s|     1 |     0 |228013 |     - |   242M |   0 |9253 |  26k|  28k|1849 | 10 |  85 |   0 | 6.244444e+01 |      --      |    Inf | unknown
998.32/1000.92	c   168s|     1 |     0 |232650 |     - |   245M |   0 |9253 |  26k|  28k|1966 | 11 |  87 |   0 | 6.600000e+01 |      --      |    Inf | unknown
998.32/1000.92	c   171s|     1 |     0 |235622 |     - |   248M |   0 |9253 |  26k|  28k|2055 | 12 |  89 |   0 | 6.600000e+01 |      --      |    Inf | unknown
998.32/1000.92	c   174s|     1 |     0 |238773 |     - |   252M |   0 |9253 |  26k|  28k|2137 | 13 |  91 |   0 | 6.733333e+01 |      --      |    Inf | unknown
998.32/1000.92	c   177s|     1 |     0 |242416 |     - |   255M |   0 |9253 |  26k|  28k|2199 | 14 |  93 |   0 | 6.866667e+01 |      --      |    Inf | unknown
998.32/1000.92	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
998.32/1000.92	c   180s|     1 |     0 |247013 |     - |   257M |   0 |9253 |  26k|  28k|2308 | 15 |  95 |   0 | 6.955556e+01 |      --      |    Inf | unknown
998.32/1000.92	c   184s|     1 |     0 |251879 |     - |   260M |   0 |9253 |  26k|  28k|2400 | 16 |  96 |   0 | 7.583333e+01 |      --      |    Inf | unknown
998.32/1000.92	c   188s|     1 |     0 |255690 |     - |   263M |   0 |9253 |  26k|  28k|2492 | 17 |  97 |   0 | 7.700000e+01 |      --      |    Inf | unknown
998.32/1000.92	c   190s|     1 |     0 |258048 |     - |   266M |   0 |9253 |  26k|  28k|2552 | 18 |  99 |   0 | 7.766667e+01 |      --      |    Inf | unknown
998.32/1000.92	c   192s|     1 |     0 |260770 |     - |   269M |   0 |9253 |  26k|  28k|2656 | 19 | 100 |   0 | 7.938889e+01 |      --      |    Inf | unknown
998.32/1000.92	c   196s|     1 |     0 |264292 |     - |   272M |   0 |9253 |  26k|  29k|2727 | 20 | 101 |   0 | 8.172222e+01 |      --      |    Inf | unknown
998.32/1000.92	c   198s|     1 |     0 |266605 |     - |   272M |   0 |9253 |  26k|  29k|2735 | 21 | 102 |   0 | 8.172222e+01 |      --      |    Inf | unknown
998.32/1000.92	c   198s|     1 |     0 |267148 |     - |   272M |   0 |9253 |  26k|  28k|2744 | 22 | 104 |   0 | 8.172222e+01 |      --      |    Inf | unknown
998.32/1000.92	c   200s|     1 |     0 |268281 |     - |   272M |   0 |9253 |  26k|  28k|2749 | 23 | 105 |   0 | 8.172222e+01 |      --      |    Inf | unknown
998.32/1000.92	c   200s|     1 |     0 |268948 |     - |   272M |   0 |9253 |  26k|  28k|2759 | 24 | 107 |   0 | 8.172222e+01 |      --      |    Inf | unknown
998.32/1000.92	c   201s|     1 |     0 |269762 |     - |   272M |   0 |9253 |  26k|  28k|2772 | 25 | 108 |   0 | 8.172222e+01 |      --      |    Inf | unknown
998.32/1000.92	c   202s|     1 |     0 |270526 |     - |   272M |   0 |9253 |  26k|  28k|2780 | 26 | 110 |   0 | 8.172222e+01 |      --      |    Inf | unknown
998.32/1000.92	c   204s|     1 |     0 |272385 |     - |   272M |   0 |9253 |  26k|  28k|2788 | 27 | 111 |   0 | 8.172222e+01 |      --      |    Inf | unknown
998.32/1000.92	c   204s|     1 |     0 |272894 |     - |   272M |   0 |9253 |  26k|  28k|2797 | 28 | 112 |   0 | 8.172222e+01 |      --      |    Inf | unknown
998.32/1000.92	c   205s|     1 |     0 |273162 |     - |   272M |   0 |9253 |  26k|  28k|2802 | 29 | 115 |   0 | 8.172222e+01 |      --      |    Inf | unknown
998.32/1000.92	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
998.32/1000.92	c   205s|     1 |     0 |273344 |     - |   272M |   0 |9253 |  26k|  28k|2811 | 30 | 117 |   0 | 8.172222e+01 |      --      |    Inf | unknown
998.32/1000.92	c  1001s|     1 |     2 |395154 |     - |   274M |   0 |9253 |  26k|  28k|2811 | 30 | 184 |   0 | 8.172222e+01 |      --      |    Inf | unknown
998.32/1000.92	c 
998.32/1000.92	c SCIP Status        : solving was interrupted [time limit reached]
998.32/1000.92	c Solving Time (sec) : 1000.72
998.32/1000.92	c Solving Nodes      : 1
998.32/1000.92	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
998.32/1000.92	c Dual Bound         : +8.17222222222222e+01
998.32/1000.92	c Gap                : infinite
998.32/1000.92	c ----------------------------------------------------------------------
998.32/1000.92	c dual bound: 81.72222222222224 -> 82
998.32/1000.92	c primal bound: 1e+20 -> 100000000000000000000
998.32/1000.92	c scip-goal-lb: 82
998.32/1000.92	c scip-goal-ub: 100000000000000000000
998.32/1000.94	c writing output to: HOME/tmp3vh8eobx.opb
998.32/1000.94	c appending fixed variable constraints
998.32/1000.94	c scip-fixed vars: 0.63% (58/9253)
998.32/1000.94	c ----------------------------------------------------------------------
998.32/1000.94	c executing external solver: HOME/naps-1.03a6
998.32/1000.94	c ----------------------------------------------------------------------
998.32/1000.94	c command: HOME/naps-1.03a6 -goal-lb=82 -goal-ub=99999999999999999999 HOME/tmp3vh8eobx.opb
998.32/1000.94	c NaPS 1.03a6.
998.32/1000.94	c Input file name: HOME/tmp3vh8eobx.opb
1000.00/1002.67	c single stage optimization mode
1014.06/1016.76	c _____________________________________________________________________________
1014.06/1016.76	c std/band forms        : 1163,0
1014.06/1016.76	c 2cl/3cl ITE-codings   : 315930,0
1014.06/1016.76	c BDD/srt/adr Max costs : 13589,1467,0
1014.06/1016.76	c BDDraw/bin/mul/srt/adr: 869,0,0,294,0
1014.06/1016.76	c BDD nodes             : 330640
1014.06/1016.76	c Es1/CC detections     : 0,0
1014.06/1016.76	c CC sort               : 266
1014.06/1016.76	c SAT/UNSAT calls       : 0,1
1014.06/1016.76	c regenrated variables  : 0
1014.06/1016.76	c eliminated fixed lits : 58
1014.06/1016.76	c goal lit flips        : 0
1014.06/1016.76	c goal stages           : 1
1014.06/1016.76	c goal shrink           : 0
1014.06/1016.76	c goal coeff separations: 0
1014.06/1016.76	c restarts              : 2047
1014.06/1016.76	c conflicts             : 45678          (2922 /sec)
1014.06/1016.76	c decisions             : 402347         (25740 /sec)
1014.06/1016.76	c propagations          : 31230789       (1998010 /sec)
1014.06/1016.76	c inspects              : 0              (0 /sec)
1014.06/1016.76	c CPU time (solving tm) : 15.63 s        (13.99 s, SAT 0 s, UNSAT 13.99 s)
1014.06/1016.76	c Time for Opt-base     : 0.002702 s
1014.06/1016.76	c Steps for Opt-base    : 0
1014.06/1016.76	c Time for BDD coding   : 1.036 s
1014.06/1016.76	c Time for srt coding   : 0.04668 s
1014.06/1016.76	c _____________________________________________________________________________
1014.06/1016.78	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507965-1751501212/watcher-4507965-1751501212 -o /tmp/evaluation-result-4507965-1751501212/solver-4507965-1751501212 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751500140-76140 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4507965-1751501212.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10006 s]*
/proc/loadavg: 4.09 4.03 3.63 5/270 76542
/proc/meminfo: memFree=121455892/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1188232 memory=32912 CPUtime=0.07 cores=0,2
/proc/76542/stat : 76542 (python3) R 76537 76537 76130 0 -1 4194304 3994 0 0 0 6 1 0 0 20 0 1 0 65799082 1216749568 8228 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 297058 8228 4908 1 0 269049 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1192424 KiB
Current children cumulated memory: 35984 KiB

[startup+0.205572 s]*
/proc/loadavg: 4.09 4.03 3.63 5/270 76542
/proc/meminfo: memFree=121422376/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1230956 memory=83856 CPUtime=0.18 cores=0,2
/proc/76542/stat : 76542 (python3) R 76537 76537 76130 0 -1 4194304 14099 0 0 0 15 3 0 0 20 0 1 0 65799082 1260498944 20964 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 307739 20964 7756 1 0 279097 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 1235148 KiB
Current children cumulated memory: 86928 KiB

[startup+0.305592 s]*
/proc/loadavg: 4.09 4.03 3.63 5/270 76542
/proc/meminfo: memFree=121390120/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1263208 memory=113936 CPUtime=0.28 cores=0,2
/proc/76542/stat : 76542 (python3) R 76537 76537 76130 0 -1 4194304 21543 0 0 0 24 4 0 0 20 0 1 0 65799082 1293524992 28484 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 315802 28484 7852 1 0 287160 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 1267400 KiB
Current children cumulated memory: 117008 KiB

[startup+0.700201 s]
/proc/loadavg: 4.09 4.03 3.63 5/270 76542
/proc/meminfo: memFree=121349800/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1289588 memory=140560 CPUtime=0.66 cores=0,2
/proc/76542/stat : 76542 (python3) R 76537 76537 76130 0 -1 4194304 28166 0 0 0 61 5 0 0 20 0 1 0 65799082 1320538112 35140 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 322397 35140 7916 1 0 293755 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1293780 KiB
Current children cumulated memory: 143632 KiB

[startup+1.50019 s]
/proc/loadavg: 4.09 4.03 3.63 6/270 76542
/proc/meminfo: memFree=121333672/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1291380 memory=142352 CPUtime=1.46 cores=0,2
/proc/76542/stat : 76542 (python3) R 76537 76537 76130 0 -1 4194304 28614 0 0 0 141 5 0 0 20 0 1 0 65799082 1322373120 35588 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 322845 35588 7916 1 0 294203 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1295572 KiB
Current children cumulated memory: 145424 KiB

[startup+3.10526 s]
/proc/loadavg: 4.09 4.03 3.63 6/270 76542
/proc/meminfo: memFree=121244752/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1413192 memory=236708 CPUtime=3.06 cores=0,2
/proc/76542/stat : 76542 (python3) R 76537 76537 76130 0 -1 4194304 53133 0 0 0 297 9 0 0 20 0 1 0 65799082 1447108608 59177 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 353298 59177 8108 1 0 324656 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1417384 KiB
Current children cumulated memory: 239780 KiB

[startup+6.30015 s]
/proc/loadavg: 4.08 4.03 3.64 6/270 76542
/proc/meminfo: memFree=121236688/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1417080 memory=241828 CPUtime=6.24 cores=0,2
/proc/76542/stat : 76542 (python3) R 76537 76537 76130 0 -1 4194304 54426 0 0 0 615 9 0 0 20 0 1 0 65799082 1451089920 60457 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 354270 60457 8108 1 0 325628 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1421272 KiB
Current children cumulated memory: 244900 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.03 3.64 6/270 76542
/proc/meminfo: memFree=121228412/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1417988 memory=242724 CPUtime=12.63 cores=0,2
/proc/76542/stat : 76542 (python3) R 76537 76537 76130 0 -1 4194304 54672 0 0 0 1254 9 0 0 20 0 1 0 65799082 1452019712 60681 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 354497 60681 8108 1 0 325855 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1422180 KiB
Current children cumulated memory: 245796 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.04 3.65 6/270 76542
/proc/meminfo: memFree=121196268/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1419100 memory=243876 CPUtime=25.39 cores=0,2
/proc/76542/stat : 76542 (python3) R 76537 76537 76130 0 -1 4194304 54931 0 0 0 2530 9 0 0 20 0 1 0 65799082 1453158400 60969 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 354775 60969 8108 1 0 326133 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1423292 KiB
Current children cumulated memory: 246948 KiB

[startup+51.1052 s]
/proc/loadavg: 4.08 4.04 3.66 6/270 76542
/proc/meminfo: memFree=121122524/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1421512 memory=245412 CPUtime=50.93 cores=0,2
/proc/76542/stat : 76542 (python3) R 76537 76537 76130 0 -1 4194304 55340 0 0 0 5083 10 0 0 20 0 1 0 65799082 1455628288 61353 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 355378 61353 8108 1 0 326736 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1425704 KiB
Current children cumulated memory: 248484 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.04 3.68 6/271 76545
/proc/meminfo: memFree=121077520/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1421512 memory=245796 CPUtime=101.99 cores=0,2
/proc/76542/stat : 76542 (python3) R 76537 76537 76130 0 -1 4194304 55437 0 0 0 10189 10 0 0 20 0 1 0 65799082 1455628288 61449 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 355378 61449 8108 1 0 326736 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1425704 KiB
Current children cumulated memory: 248868 KiB

[startup+162.3 s]
/proc/loadavg: 4.43 4.13 3.74 6/271 76547
/proc/meminfo: memFree=121035944/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1483900 memory=283604 CPUtime=161.83 cores=0,2
/proc/76542/stat : 76542 (python3) R 76537 76537 76130 0 -1 4194304 61892 0 0 0 16172 11 0 0 20 0 1 0 65799082 1519513600 70901 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 370975 70901 8108 1 0 342333 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1488092 KiB
Current children cumulated memory: 286676 KiB

[startup+222.3 s]
/proc/loadavg: 4.21 4.12 3.76 6/271 76549
/proc/meminfo: memFree=120927540/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1516016 memory=293116 CPUtime=221.67 cores=0,2
/proc/76542/stat : 76542 (python3) R 76537 76537 76130 0 -1 4194304 63250 0 0 0 22156 11 0 0 20 0 1 0 65799082 1552400384 73279 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 379004 73279 8108 1 0 350362 0
Current children cumulated CPU time: 221.67 s

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


[startup+882.3 s]
/proc/loadavg: 4.66 4.28 4.02 6/269 76582
/proc/meminfo: memFree=120598540/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1516016 memory=310908 CPUtime=880.03 cores=0,2
/proc/76542/stat : 76542 (python3) R 76537 76537 76130 0 -1 4194304 63253 0 0 0 87991 12 0 0 20 0 1 0 65799082 1552400384 77727 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 379004 77727 8108 1 0 350362 0
Current children cumulated CPU time: 880.03 s
Current children cumulated vsize: 1520208 KiB
Current children cumulated memory: 313980 KiB

[startup+942.3 s]
/proc/loadavg: 4.30 4.25 4.02 6/269 76586
/proc/meminfo: memFree=120498744/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1603992 memory=413308 CPUtime=939.87 cores=0,2
/proc/76542/stat : 76542 (python3) R 76537 76537 76130 0 -1 4194304 83811 0 0 0 93972 15 0 0 20 0 1 0 65799082 1642487808 103327 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 400998 103327 8108 1 0 372356 0
Current children cumulated CPU time: 939.87 s
Current children cumulated vsize: 1608184 KiB
Current children cumulated memory: 416380 KiB

[startup+1002.3 s]
/proc/loadavg: 4.16 4.21 4.02 5/273 76643
/proc/meminfo: memFree=119942532/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1610224 memory=440060 CPUtime=998.37 cores=0,2
/proc/76542/stat : 76542 (python3) S 76537 76537 76130 0 -1 4194304 85735 0 0 0 99821 16 0 0 20 0 1 0 65799082 1648869376 110015 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 402556 110015 8140 1 0 373914 0
[pid=76643] ppid=76542 vsize=46784 memory=43540 CPUtime=1.33 cores=0,2
/proc/76643/stat : 76643 (naps-1.03a6) R 76542 76643 76643 0 -1 4194304 9014 0 0 0 132 1 0 0 20 0 1 0 65899175 47906816 10885 18446744073709551615 4198400 7047149 140723500576368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13258752 140723500583271 140723500583411 140723500583411 140723500589001 0
/proc/76643/statm: 11696 10885 576 696 0 10857 0
Current children cumulated CPU time: 999.7 s
Current children cumulated vsize: 1661200 KiB
Current children cumulated memory: 486672 KiB

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

# cumulated CPU time of all completed processes:  user=1013.97 s, system=0.319224 s

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

[startup+1004.8 s]
/proc/loadavg: 4.16 4.21 4.02 5/273 76643
/proc/meminfo: memFree=119671464/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1610224 memory=440060 CPUtime=998.37 cores=0,2
/proc/76542/stat : 76542 (python3) S 76537 76537 76130 0 -1 4194304 85735 0 0 0 99821 16 0 0 20 0 1 0 65799082 1648869376 110015 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 402556 110015 8140 1 0 373914 0
[pid=76643] ppid=76542 vsize=348368 memory=310980 CPUtime=3.82 cores=0,2
/proc/76643/stat : 76643 (naps-1.03a6) R 76542 76643 76643 0 -1 4194304 44605 0 0 0 371 11 0 0 20 0 1 0 65899175 356728832 77745 18446744073709551615 4198400 7047149 140723500576368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13258752 140723500583271 140723500583411 140723500583411 140723500589001 0
/proc/76643/statm: 87092 77745 640 696 0 86253 0
Current children cumulated CPU time: 1002.19 s
Current children cumulated vsize: 1962784 KiB
Current children cumulated memory: 754112 KiB

[startup+1011.2 s]
/proc/loadavg: 4.23 4.23 4.02 5/273 76643
/proc/meminfo: memFree=119641040/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1610224 memory=440060 CPUtime=998.37 cores=0,2
/proc/76542/stat : 76542 (python3) S 76537 76537 76130 0 -1 4194304 85735 0 0 0 99821 16 0 0 20 0 1 0 65799082 1648869376 110015 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 402556 110015 8140 1 0 373914 0
[pid=76643] ppid=76542 vsize=257136 memory=250100 CPUtime=10.2 cores=0,2
/proc/76643/stat : 76643 (naps-1.03a6) R 76542 76643 76643 0 -1 4194304 46611 0 0 0 1008 12 0 0 20 0 1 0 65899175 263307264 62525 18446744073709551615 4198400 7047149 140723500576368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13258752 140723500583271 140723500583411 140723500583411 140723500589001 0
/proc/76643/statm: 64284 62525 640 696 0 63445 0
Current children cumulated CPU time: 1008.57 s
Current children cumulated vsize: 1871552 KiB
Current children cumulated memory: 693232 KiB

[startup+1014.4 s]
/proc/loadavg: 4.21 4.22 4.02 5/273 76643
/proc/meminfo: memFree=119699916/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1610224 memory=440060 CPUtime=998.37 cores=0,2
/proc/76542/stat : 76542 (python3) S 76537 76537 76130 0 -1 4194304 85735 0 0 0 99821 16 0 0 20 0 1 0 65799082 1648869376 110015 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 402556 110015 8140 1 0 373914 0
[pid=76643] ppid=76542 vsize=285748 memory=280632 CPUtime=13.4 cores=0,2
/proc/76643/stat : 76643 (naps-1.03a6) R 76542 76643 76643 0 -1 4194304 47606 0 0 0 1327 13 0 0 20 0 1 0 65899175 292605952 70158 18446744073709551615 4198400 7047149 140723500576368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13258752 140723500583271 140723500583411 140723500583411 140723500589001 0
/proc/76643/statm: 71437 70158 640 696 0 70598 0
Current children cumulated CPU time: 1011.77 s
Current children cumulated vsize: 1900164 KiB
Current children cumulated memory: 723764 KiB

[startup+1016 s]*
/proc/loadavg: 4.21 4.22 4.02 5/273 76643
/proc/meminfo: memFree=119687628/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1610224 memory=440316 CPUtime=998.37 cores=0,2
/proc/76542/stat : 76542 (python3) S 76537 76537 76130 0 -1 4194304 85735 0 0 0 99821 16 0 0 20 0 1 0 65799082 1648869376 110079 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 402556 110079 8140 1 0 373914 0
[pid=76643] ppid=76542 vsize=289504 memory=284344 CPUtime=14.99 cores=0,2
/proc/76643/stat : 76643 (naps-1.03a6) R 76542 76643 76643 0 -1 4194304 48045 0 0 0 1486 13 0 0 20 0 1 0 65899175 296452096 71086 18446744073709551615 4198400 7047149 140723500576368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13258752 140723500583271 140723500583411 140723500583411 140723500589001 0
/proc/76643/statm: 72376 71086 640 696 0 71537 0
Current children cumulated CPU time: 1013.36 s
Current children cumulated vsize: 1903920 KiB
Current children cumulated memory: 727732 KiB

[startup+1016.4 s]
/proc/loadavg: 4.21 4.22 4.02 5/273 76643
/proc/meminfo: memFree=119687628/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1610224 memory=440316 CPUtime=998.37 cores=0,2
/proc/76542/stat : 76542 (python3) S 76537 76537 76130 0 -1 4194304 85735 0 0 0 99821 16 0 0 20 0 1 0 65799082 1648869376 110079 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 402556 110079 8140 1 0 373914 0
[pid=76643] ppid=76542 vsize=289504 memory=284344 CPUtime=15.39 cores=0,2
/proc/76643/stat : 76643 (naps-1.03a6) R 76542 76643 76643 0 -1 4194304 48045 0 0 0 1526 13 0 0 20 0 1 0 65899175 296452096 71086 18446744073709551615 4198400 7047149 140723500576368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13258752 140723500583271 140723500583411 140723500583411 140723500589001 0
/proc/76643/statm: 72376 71086 640 696 0 71537 0
Current children cumulated CPU time: 1013.76 s
Current children cumulated vsize: 1903920 KiB
Current children cumulated memory: 727732 KiB

[startup+1016.8 s]
/proc/loadavg: 4.21 4.22 4.02 5/273 76643
/proc/meminfo: memFree=119687628/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1594564 memory=424740 CPUtime=1014.16 cores=0,2
/proc/76542/stat : 76542 (python3) R 76537 76537 76130 0 -1 4194304 86305 48050 0 0 99822 16 1564 14 20 0 1 0 65799082 1632833536 106185 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 398641 106185 8140 1 0 369999 0
Current children cumulated CPU time: 1014.16 s
Current children cumulated vsize: 1598756 KiB
Current children cumulated memory: 427812 KiB

[startup+1016.9 s]
/proc/loadavg: 4.21 4.22 4.02 5/273 76643
/proc/meminfo: memFree=119687628/131249996 swapFree=33010684/33010684
[pid=76537] ppid=76534 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/76537/stat : 76537 (scip-naps-1.00.) S 76534 76537 76130 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 65799080 4292608 768 18446744073709551615 94664875970560 94664876865093 140725802259712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94664877104144 94664877151888 94664882712576 140725802264993 140725802265090 140725802265090 140725802270692 0
/proc/76537/statm: 1048 768 704 219 0 110 0
[pid=76542] ppid=76537 vsize=1572564 memory=411068 CPUtime=1014.25 cores=0,2
/proc/76542/stat : 76542 (python3) R 76537 76537 76130 0 -1 4194304 90163 48050 0 0 99831 16 1564 14 20 0 1 0 65799082 1610305536 102767 18446744073709551615 94100521140224 94100521140601 140722762063664 0 0 0 0 16781312 0 0 0 0 17 2 0 0 0 0 0 94100521151896 94100521152516 94100523409408 140722762066279 140722762066466 140722762066466 140722762072039 0
/proc/76542/statm: 393141 102767 8172 1 0 364499 0
Current children cumulated CPU time: 1014.25 s
Current children cumulated vsize: 1576756 KiB
Current children cumulated memory: 414140 KiB

Child status: 0

Real time (s): 1016.91
CPU time (s): 1014.29
CPU user time (s): 1013.97
CPU system time (s): 0.319224
CPU usage (%): 99.742
Max. virtual memory (cumulated for all children) (KiB): 1962784
Max. memory (cumulated for all children) (KiB): 782400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1013.97
system time used= 0.319224
maximum resident set size= 440316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139721
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357
involuntary context switches= 2314


# summary of solver processes directly reported to runsolver:
#   pid: 76537
#   total CPU time (s): 1014.29
#   total CPU user time (s): 1013.97
#   total CPU system time (s): 0.319224

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.82499 second user time and 3.99701 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-03 02:06:52
IDJOB=4507965
IDBENCH=158390
IDSOLVER=3368
FILE ID=nodeC024/4507965-1751501212
RUNJOBID= nodeC024-1751500140-76140
SLURM_JOB_ID= 9598580
Free space on /tmp= 432340 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep4.5.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507965-1751501212/watcher-4507965-1751501212 -o /tmp/evaluation-result-4507965-1751501212/solver-4507965-1751501212 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751500140-76140 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4507965-1751501212.opb

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

MD5SUM BENCH= b67c8b15922ffb2eac696beabc53406c
RANDOM SEED=1465034744

nodeC024 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.696
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.36
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.652
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.36
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		: 3600.188
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.36
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		: 3602.130
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.36
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.676
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        121459868 kB
MemAvailable:   129047324 kB
Buffers:            3280 kB
Cached:          8355008 kB
SwapCached:            0 kB
Active:          1035024 kB
Inactive:        8046708 kB
Active(anon):     741508 kB
Inactive(anon):        0 kB
Active(file):     293516 kB
Inactive(file):  8046708 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13320 kB
Writeback:           132 kB
AnonPages:        724372 kB
Mapped:           126440 kB
Shmem:             18064 kB
KReclaimable:     172540 kB
Slab:             264508 kB
SReclaimable:     172540 kB
SUnreclaim:        91968 kB
KernelStack:        4316 kB
PageTables:         5220 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4351384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432332 MiB
End job on nodeC024 at 2025-07-03 02:23:49