Trace number 4530362

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.00a2? (MO) 1478.38 1482.82

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX120_K192_cod1.opb
MD5SUMc802f246252f1c3f359f42604d33488d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-11408
Best CPU time to get the best result obtained on this benchmark7035.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables399113
Total number of constraints400980
Number of constraints which are clauses399002
Number of constraints which are cardinality constraints (but not clauses)1977
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint397089
Number of terms in the objective function 272557
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 174643715
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 174643715
Number of bits of the biggest sum of numbers28
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1004.09/1007.34	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530362-1752258008.opb
1004.09/1007.34	c Solving mode: optimization
1004.09/1007.34	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
1004.09/1007.34	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
1004.09/1007.34	c original problem has 399113 variables (399113 bin, 0 int, 0 impl, 0 cont) and 400980 constraints
1004.09/1007.34	c presolving:
1004.09/1007.34	c (round 1, fast)       67996 del vars, 68352 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 23395 clqs
1004.09/1007.34	c (round 2, exhaustive) 67996 del vars, 68546 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 331179 upgd conss, 0 impls, 23395 clqs
1004.09/1007.34	c (round 3, exhaustive) 67996 del vars, 68546 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 332434 upgd conss, 0 impls, 23395 clqs
1004.09/1007.34	c    (13.3s) sparsify finished: 5/1886543 (0.0%) nonzeros canceled - in total 5 canceled nonzeros, 5 changed coefficients, 0 added nonzeros
1004.09/1007.34	c    (150.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1004.09/1007.34	c    (152.3s) symmetry computation finished: 193 generators found (max: 193, log10 of symmetry group size: 0.0) (symcode time: 0.72)
1004.09/1007.34	c dynamic symmetry handling statistics:
1004.09/1007.34	c    orbitopal reduction:        1 components: 191x3
1004.09/1007.34	c    orbital reduction:         14 components of sizes 13, 9, 16, 12, 13, 9, 10, 3, 6, 16, 11, 9, 18, 40
1004.09/1007.34	c    lexicographic reduction:  191 permutations with support sizes 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382
1004.09/1007.34	c handled 21 out of 21 symmetry components
1004.09/1007.34	c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
1004.09/1007.34	c  68209 deleted vars, 68567 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 2981 changed coefficients
1004.09/1007.34	c  0 implications, 2169724 cliques
1004.09/1007.34	c presolved problem has 330904 variables (330904 bin, 0 int, 0 impl, 0 cont) and 332413 constraints
1004.09/1007.34	c       1 constraints of type <knapsack>
1004.09/1007.34	c   23373 constraints of type <setppc>
1004.09/1007.34	c       1 constraints of type <linear>
1004.09/1007.34	c  309038 constraints of type <logicor>
1004.09/1007.34	c transformed objective value is always integral (scale: 1)
1004.09/1007.34	c Presolving Time: 151.73
1004.09/1007.34	c 
1004.09/1007.34	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1004.09/1007.34	c  1004s|     1 |     0 |  4130 |     - |  3566M |   0 | 330k| 328k| 325k|   0 |  0 |3482 |   0 |-1.709264e+08 |      --      |    Inf | unknown
1004.09/1007.34	c (node 1) LP solver hit time limit in LP 2 -- using pseudo solution instead
1004.09/1007.34	c 
1004.09/1007.34	c SCIP Status        : solving was interrupted [time limit reached]
1004.09/1007.34	c Solving Time (sec) : 1004.01
1004.09/1007.34	c Solving Nodes      : 1
1004.09/1007.34	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1004.09/1007.34	c Dual Bound         : -1.70926392000000e+08
1004.09/1007.34	c Gap                : infinite
1004.09/1007.34	c ----------------------------------------------------------------------
1004.09/1007.34	c dual bound: -170926392.0 -> -170926392
1004.09/1007.34	c primal bound: 1e+20 -> 100000000000000000000
1004.09/1007.34	c scip-goal-lb: -170926392
1004.09/1007.34	c scip-goal-ub: 100000000000000000000
1004.09/1007.34	c writing output to: HOME/tmpx6sad43i.opb
1004.09/1007.34	c appending fixed variable constraints
1004.09/1007.34	c scip-fixed vars: 22.74% (75246/330904)
1004.09/1007.34	c ----------------------------------------------------------------------
1004.09/1007.34	c executing external solver: HOME/naps-1.03a6
1004.09/1007.34	c ----------------------------------------------------------------------
1004.09/1007.34	c command: HOME/naps-1.03a6 -goal-lb=-170926392 -goal-ub=99999999999999999999 HOME/tmpx6sad43i.opb
1004.16/1007.40	c NaPS 1.03a6.
1004.16/1007.40	c Input file name: HOME/tmpx6sad43i.opb
1476.22/1480.70	c
1476.22/1480.70	c *** TERMINATED *** by signal 15
1476.22/1480.70	c s UNKNOWN
1476.22/1480.70	c _____________________________________________________________________________
1476.22/1480.70	c std/band forms        : 1978,0
1476.22/1480.70	c 2cl/3cl ITE-codings   : 0,0
1476.22/1480.70	c BDD/srt/adr Max costs : 0,86130336,0
1476.22/1480.70	c BDDraw/bin/mul/srt/adr: 0,0,0,1978,0
1476.22/1480.70	c BDD nodes             : 0
1476.22/1480.70	c Es1/CC detections     : 0,0
1476.22/1480.70	c CC sort               : 1977
1476.22/1480.70	c SAT/UNSAT calls       : 0,0
1476.22/1480.70	c regenrated variables  : 0
1476.22/1480.70	c eliminated fixed lits : 88720
1476.22/1480.70	c goal lit flips        : 0
1476.22/1480.70	c goal stages           : 0
1476.22/1480.70	c goal shrink           : 0
1476.22/1480.70	c goal coeff separations: 0
1476.22/1480.70	c restarts              : 0
1476.22/1480.70	c conflicts             : 0              (0 /sec)
1476.22/1480.70	c decisions             : 0              (0 /sec)
1476.22/1480.70	c propagations          : 0              (0 /sec)
1476.22/1480.70	c inspects              : 0              (0 /sec)
1476.22/1480.70	c CPU time (solving tm) : 463 s        (0 s, SAT 0 s, UNSAT 0 s)
1476.22/1480.70	c Time for Opt-base     : 0.6838 s
1476.22/1480.70	c Steps for Opt-base    : 2574128
1476.22/1480.70	c Time for BDD coding   : 0 s
1476.22/1480.70	c Time for srt coding   : 54.48 s
1476.22/1480.70	c _____________________________________________________________________________
1476.22/1480.70	c received SIGTERM, forwarding to pbsolver...
1004.17/1481.04	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: 63708 MiB (61499 MiB free)
  memory of node 1: 64465 MiB (63126 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530362-1752258008/watcher-4530362-1752258008 -o /tmp/evaluation-result-4530362-1752258008/solver-4530362-1752258008 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752258008-122965 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530362-1752258008.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=123017, runsolver pid=123013

[startup+0.100063 s]*
/proc/loadavg: 1.13 1.14 1.59 5/273 123039
/proc/meminfo: memFree=127576024/131250000 swapFree=33008100/33010684
[pid=123017] ppid=123013 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/123017/stat : 123017 (scip-naps-1.00a) S 123013 123017 122954 0 -1 4194304 259 2355 0 0 0 0 0 0 20 0 1 0 141478350 4292608 768 18446744073709551615 94901192036352 94901192930885 140721449697008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94901193169936 94901193217680 94901226315776 140721449703835 140721449703934 140721449703934 140721449709538 0
/proc/123017/statm: 1048 768 704 219 0 110 0
[pid=123034] ppid=123017 vsize=60112 memory=22144 CPUtime=0.03 cores=4,6
/proc/123034/stat : 123034 (python3) R 123017 123017 122954 0 -1 4194304 2595 0 0 0 3 0 0 0 20 0 1 0 141478354 61554688 5536 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 15028 5536 3360 1 0 3744 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 64304 KiB
Current children cumulated memory: 25216 KiB

[startup+0.205783 s]*
/proc/loadavg: 1.13 1.14 1.59 5/273 123039
/proc/meminfo: memFree=127434780/131250000 swapFree=33008100/33010684
[pid=123017] ppid=123013 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/123017/stat : 123017 (scip-naps-1.00a) S 123013 123017 122954 0 -1 4194304 259 2355 0 0 0 0 0 0 20 0 1 0 141478350 4292608 768 18446744073709551615 94901192036352 94901192930885 140721449697008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94901193169936 94901193217680 94901226315776 140721449703835 140721449703934 140721449703934 140721449709538 0
/proc/123017/statm: 1048 768 704 219 0 110 0
[pid=123034] ppid=123017 vsize=1235432 memory=86392 CPUtime=0.13 cores=4,6
/proc/123034/stat : 123034 (python3) R 123017 123017 122954 0 -1 4194304 14366 0 0 0 10 3 0 0 20 0 1 0 141478354 1265082368 21598 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 308858 21598 7614 1 0 280216 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 1239624 KiB
Current children cumulated memory: 89464 KiB

[startup+0.305813 s]*
/proc/loadavg: 1.13 1.14 1.59 5/273 123039
/proc/meminfo: memFree=127077460/131250000 swapFree=33008100/33010684
[pid=123017] ppid=123013 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/123017/stat : 123017 (scip-naps-1.00a) S 123013 123017 122954 0 -1 4194304 259 2355 0 0 0 0 0 0 20 0 1 0 141478350 4292608 768 18446744073709551615 94901192036352 94901192930885 140721449697008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94901193169936 94901193217680 94901226315776 140721449703835 140721449703934 140721449703934 140721449709538 0
/proc/123017/statm: 1048 768 704 219 0 110 0
[pid=123034] ppid=123017 vsize=1344184 memory=191608 CPUtime=0.23 cores=4,6
/proc/123034/stat : 123034 (python3) R 123017 123017 122954 0 -1 4194304 40655 0 0 0 16 7 0 0 20 0 1 0 141478354 1376444416 47902 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 336046 47902 7614 1 0 307404 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 1348376 KiB
Current children cumulated memory: 194680 KiB

[startup+0.700206 s]
/proc/loadavg: 1.13 1.14 1.59 5/273 123039
/proc/meminfo: memFree=126472532/131250000 swapFree=33008100/33010684
[pid=123017] ppid=123013 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/123017/stat : 123017 (scip-naps-1.00a) S 123013 123017 122954 0 -1 4194304 259 2355 0 0 0 0 0 0 20 0 1 0 141478350 4292608 768 18446744073709551615 94901192036352 94901192930885 140721449697008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94901193169936 94901193217680 94901226315776 140721449703835 140721449703934 140721449703934 140721449709538 0
/proc/123017/statm: 1048 768 704 219 0 110 0
[pid=123034] ppid=123017 vsize=1581092 memory=429080 CPUtime=0.62 cores=4,6
/proc/123034/stat : 123034 (python3) R 123017 123017 122954 0 -1 4194304 99505 0 0 0 48 14 0 0 20 0 1 0 141478354 1619038208 107270 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 395273 107270 7646 1 0 366631 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 1585284 KiB
Current children cumulated memory: 432152 KiB

[startup+1.50021 s]
/proc/loadavg: 1.13 1.14 1.59 5/273 123039
/proc/meminfo: memFree=125799188/131250000 swapFree=33008100/33010684
[pid=123017] ppid=123013 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/123017/stat : 123017 (scip-naps-1.00a) S 123013 123017 122954 0 -1 4194304 259 2355 0 0 0 0 0 0 20 0 1 0 141478350 4292608 768 18446744073709551615 94901192036352 94901192930885 140721449697008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94901193169936 94901193217680 94901226315776 140721449703835 140721449703934 140721449703934 140721449709538 0
/proc/123017/statm: 1048 768 704 219 0 110 0
[pid=123034] ppid=123017 vsize=1781552 memory=629208 CPUtime=1.42 cores=4,6
/proc/123034/stat : 123034 (python3) R 123017 123017 122954 0 -1 4194304 149004 0 0 0 120 22 0 0 20 0 1 0 141478354 1824309248 157302 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 445388 157302 7646 1 0 416746 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 1785744 KiB
Current children cumulated memory: 632280 KiB

[startup+3.10567 s]
/proc/loadavg: 1.13 1.14 1.59 5/273 123039
/proc/meminfo: memFree=122820592/131250000 swapFree=33008100/33010684
[pid=123017] ppid=123013 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/123017/stat : 123017 (scip-naps-1.00a) S 123013 123017 122954 0 -1 4194304 259 2355 0 0 0 0 0 0 20 0 1 0 141478350 4292608 768 18446744073709551615 94901192036352 94901192930885 140721449697008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94901193169936 94901193217680 94901226315776 140721449703835 140721449703934 140721449703934 140721449709538 0
/proc/123017/statm: 1048 768 704 219 0 110 0
[pid=123034] ppid=123017 vsize=2500060 memory=1351204 CPUtime=3.02 cores=4,6
/proc/123034/stat : 123034 (python3) R 123017 123017 122954 0 -1 4194304 334630 0 0 0 253 49 0 0 20 0 1 0 141478354 2560061440 337801 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 625015 337801 7806 1 0 596373 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 2504252 KiB
Current children cumulated memory: 1354276 KiB

[startup+6.3002 s]
/proc/loadavg: 1.36 1.19 1.60 5/273 123039
/proc/meminfo: memFree=120747288/131250000 swapFree=33008100/33010684
[pid=123017] ppid=123013 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/123017/stat : 123017 (scip-naps-1.00a) S 123013 123017 122954 0 -1 4194304 259 2355 0 0 0 0 0 0 20 0 1 0 141478350 4292608 768 18446744073709551615 94901192036352 94901192930885 140721449697008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94901193169936 94901193217680 94901226315776 140721449703835 140721449703934 140721449703934 140721449709538 0
/proc/123017/statm: 1048 768 704 219 0 110 0
[pid=123034] ppid=123017 vsize=3153208 memory=1982380 CPUtime=6.2 cores=4,6
/proc/123034/stat : 123034 (python3) R 123017 123017 122954 0 -1 4194304 485704 0 0 0 549 71 0 0 20 0 1 0 141478354 3228884992 495595 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 788302 495595 7902 1 0 759660 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 3157400 KiB
Current children cumulated memory: 1985452 KiB

[startup+12.7002 s]
/proc/loadavg: 1.57 1.24 1.62 5/273 123039
/proc/meminfo: memFree=120142832/131250000 swapFree=33008100/33010684
[pid=123017] ppid=123013 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/123017/stat : 123017 (scip-naps-1.00a) S 123013 123017 122954 0 -1 4194304 259 2355 0 0 0 0 0 0 20 0 1 0 141478350 4292608 768 18446744073709551615 94901192036352 94901192930885 140721449697008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94901193169936 94901193217680 94901226315776 140721449703835 140721449703934 140721449703934 140721449709538 0
/proc/123017/statm: 1048 768 704 219 0 110 0
[pid=123034] ppid=123017 vsize=3304244 memory=2119604 CPUtime=12.58 cores=4,6
/proc/123034/stat : 123034 (python3) R 123017 123017 122954 0 -1 4194304 499733 0 0 0 1183 75 0 0 20 0 1 0 141478354 3383545856 529901 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 826061 529901 7966 1 0 797419 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 3308436 KiB
Current children cumulated memory: 2122676 KiB

[startup+25.5002 s]
/proc/loadavg: 2.18 1.39 1.66 5/273 123040
/proc/meminfo: memFree=118814404/131250000 swapFree=33008100/33010684
[pid=123017] ppid=123013 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/123017/stat : 123017 (scip-naps-1.00a) S 123013 123017 122954 0 -1 4194304 259 2355 0 0 0 0 0 0 20 0 1 0 141478350 4292608 768 18446744073709551615 94901192036352 94901192930885 140721449697008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94901193169936 94901193217680 94901226315776 140721449703835 140721449703934 140721449703934 140721449709538 0
/proc/123017/statm: 1048 768 704 219 0 110 0
[pid=123034] ppid=123017 vsize=3679248 memory=2492548 CPUtime=25.34 cores=4,6
/proc/123034/stat : 123034 (python3) R 123017 123017 122954 0 -1 4194304 556843 0 0 0 2447 87 0 0 20 0 1 0 141478354 3767549952 623137 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 919812 623137 7966 1 0 891170 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 3683440 KiB
Current children cumulated memory: 2495620 KiB

[startup+51.1056 s]
/proc/loadavg: 2.80 1.60 1.72 5/273 123040
/proc/meminfo: memFree=118570332/131250000 swapFree=33008100/33010684
[pid=123017] ppid=123013 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/123017/stat : 123017 (scip-naps-1.00a) S 123013 123017 122954 0 -1 4194304 259 2355 0 0 0 0 0 0 20 0 1 0 141478350 4292608 768 18446744073709551615 94901192036352 94901192930885 140721449697008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94901193169936 94901193217680 94901226315776 140721449703835 140721449703934 140721449703934 140721449709538 0
/proc/123017/statm: 1048 768 704 219 0 110 0
[pid=123034] ppid=123017 vsize=3699552 memory=2511492 CPUtime=50.88 cores=4,6
/proc/123034/stat : 123034 (python3) R 123017 123017 122954 0 -1 4194304 561572 0 0 0 5000 88 0 0 20 0 1 0 141478354 3788341248 627873 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 924888 627873 7966 1 0 896246 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 3703744 KiB
Current children cumulated memory: 2514564 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 1.99 1.85 5/273 123042
/proc/meminfo: memFree=118570028/131250000 swapFree=33008100/33010684
[pid=123017] ppid=123013 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/123017/stat : 123017 (scip-naps-1.00a) S 123013 123017 122954 0 -1 4194304 259 2355 0 0 0 0 0 0 20 0 1 0 141478350 4292608 768 18446744073709551615 94901192036352 94901192930885 140721449697008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94901193169936 94901193217680 94901226315776 140721449703835 140721449703934 140721449703934 140721449709538 0
/proc/123017/statm: 1048 768 704 219 0 110 0
[pid=123034] ppid=123017 vsize=3699552 memory=2511492 CPUtime=101.92 cores=4,6
/proc/123034/stat : 123034 (python3) R 123017 123017 122954 0 -1 4194304 561734 0 0 0 10103 89 0 0 20 0 1 0 141478354 3788341248 627873 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 924888 627873 7966 1 0 896246 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 3703744 KiB
Current children cumulated memory: 2514564 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.37 1.99 5/269 123045
/proc/meminfo: memFree=116497984/131250000 swapFree=33008100/33010684
[pid=123017] ppid=123013 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/123017/stat : 123017 (scip-naps-1.00a) S 123013 123017 122954 0 -1 4194304 259 2355 0 0 0 0 0 0 20 0 1 0 141478350 4292608 768 18446744073709551615 94901192036352 94901192930885 140721449697008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94901193169936 94901193217680 94901226315776 140721449703835 140721449703934 140721449703934 140721449709538 0
/proc/123017/statm: 1048 768 704 219 0 110 0
[pid=123034] ppid=123017 vsize=5031476 memory=3682308 CPUtime=161.74 cores=4,6
/proc/123034/stat : 123034 (python3) R 123017 123017 122954 0 -1 4194304 765144 0 0 0 16041 133 0 0 20 0 1 0 141478354 5152231424 920577 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 1257869 920577 8158 1 0 1229227 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 5035668 KiB
Current children cumulated memory: 3685380 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.69 2.13 5/270 123055
/proc/meminfo: memFree=114681124/131250000 swapFree=33008100/33010684
[pid=123017] ppid=123013 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/123017/stat : 123017 (scip-naps-1.00a) S 123013 123017 122954 0 -1 4194304 259 2355 0 0 0 0 0 0 20 0 1 0 141478350 4292608 768 18446744073709551615 94901192036352 94901192930885 140721449697008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94901193169936 94901193217680 94901226315776 140721449703835 140721449703934 140721449703934 140721449709538 0
/proc/123017/statm: 1048 768 704 219 0 110 0
[pid=123034] ppid=123017 vsize=5040472 memory=3685252 CPUtime=221.5 cores=4,6
/proc/123034/stat : 123034 (python3) R 123017 123017 122954 0 -1 4194304 765897 0 0 0 22017 133 0 0 20 0 1 0 141478354 5161443328 921313 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 1260118 921313 8158 1 0 1231476 0
Current children cumulated CPU time: 221.5 s

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

/proc/123034/stat : 123034 (python3) S 123017 123017 122954 0 -1 4194304 836840 0 0 0 100250 166 0 0 20 0 1 0 141478354 5545902080 1011100 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 1353980 1011100 8158 1 0 1325338 0
[pid=123095] ppid=123034 vsize=502308 memory=495760 CPUtime=174.46 cores=4,6
/proc/123095/stat : 123095 (naps-1.03a6) R 123034 123095 123095 0 -1 4194304 103003 0 0 0 17416 30 0 0 20 0 1 0 141579087 514363392 123940 18446744073709551615 4198400 7047149 140729047556096 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23785472 140729047562589 140729047562737 140729047562737 140729047568329 0
/proc/123095/statm: 125577 123940 544 696 0 124738 0
Current children cumulated CPU time: 1178.62 s
Current children cumulated vsize: 5922420 KiB
Current children cumulated memory: 4543232 KiB

[startup+1242.3 s]
/proc/loadavg: 4.10 4.07 3.49 5/272 123153
/proc/meminfo: memFree=113277940/131250000 swapFree=33008100/33010684
[pid=123017] ppid=123013 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/123017/stat : 123017 (scip-naps-1.00a) S 123013 123017 122954 0 -1 4194304 259 2355 0 0 0 0 0 0 20 0 1 0 141478350 4292608 768 18446744073709551615 94901192036352 94901192930885 140721449697008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94901193169936 94901193217680 94901226315776 140721449703835 140721449703934 140721449703934 140721449709538 0
/proc/123017/statm: 1048 768 704 219 0 110 0
[pid=123034] ppid=123017 vsize=5415920 memory=4044400 CPUtime=1004.16 cores=4,6
/proc/123034/stat : 123034 (python3) S 123017 123017 122954 0 -1 4194304 836840 0 0 0 100250 166 0 0 20 0 1 0 141478354 5545902080 1011100 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 1353980 1011100 8158 1 0 1325338 0
[pid=123095] ppid=123034 vsize=502308 memory=495760 CPUtime=234.31 cores=4,6
/proc/123095/stat : 123095 (naps-1.03a6) R 123034 123095 123095 0 -1 4194304 103003 0 0 0 23400 31 0 0 20 0 1 0 141579087 514363392 123940 18446744073709551615 4198400 7047149 140729047556096 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23785472 140729047562589 140729047562737 140729047562737 140729047568329 0
/proc/123095/statm: 125577 123940 544 696 0 124738 0
Current children cumulated CPU time: 1238.47 s
Current children cumulated vsize: 5922420 KiB
Current children cumulated memory: 4543232 KiB

[startup+1302.3 s]
/proc/loadavg: 4.08 4.07 3.53 5/272 123155
/proc/meminfo: memFree=99149268/131250000 swapFree=33008100/33010684
[pid=123017] ppid=123013 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/123017/stat : 123017 (scip-naps-1.00a) S 123013 123017 122954 0 -1 4194304 259 2355 0 0 0 0 0 0 20 0 1 0 141478350 4292608 768 18446744073709551615 94901192036352 94901192930885 140721449697008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94901193169936 94901193217680 94901226315776 140721449703835 140721449703934 140721449703934 140721449709538 0
/proc/123017/statm: 1048 768 704 219 0 110 0
[pid=123034] ppid=123017 vsize=5415920 memory=4044400 CPUtime=1004.16 cores=4,6
/proc/123034/stat : 123034 (python3) S 123017 123017 122954 0 -1 4194304 836840 0 0 0 100250 166 0 0 20 0 1 0 141478354 5545902080 1011100 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 1353980 1011100 8158 1 0 1325338 0
[pid=123095] ppid=123034 vsize=502308 memory=495760 CPUtime=294.15 cores=4,6
/proc/123095/stat : 123095 (naps-1.03a6) R 123034 123095 123095 0 -1 4194304 103003 0 0 0 29384 31 0 0 20 0 1 0 141579087 514363392 123940 18446744073709551615 4198400 7047149 140729047556096 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23785472 140729047562589 140729047562737 140729047562737 140729047568329 0
/proc/123095/statm: 125577 123940 544 696 0 124738 0
Current children cumulated CPU time: 1298.31 s
Current children cumulated vsize: 5922420 KiB
Current children cumulated memory: 4543232 KiB

[startup+1362.3 s]
/proc/loadavg: 4.13 4.08 3.57 5/270 123206
/proc/meminfo: memFree=103871532/131250000 swapFree=33008100/33010684
[pid=123017] ppid=123013 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/123017/stat : 123017 (scip-naps-1.00a) S 123013 123017 122954 0 -1 4194304 259 2355 0 0 0 0 0 0 20 0 1 0 141478350 4292608 768 18446744073709551615 94901192036352 94901192930885 140721449697008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94901193169936 94901193217680 94901226315776 140721449703835 140721449703934 140721449703934 140721449709538 0
/proc/123017/statm: 1048 768 704 219 0 110 0
[pid=123034] ppid=123017 vsize=5415920 memory=4044400 CPUtime=1004.16 cores=4,6
/proc/123034/stat : 123034 (python3) S 123017 123017 122954 0 -1 4194304 836840 0 0 0 100250 166 0 0 20 0 1 0 141478354 5545902080 1011100 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 1353980 1011100 8158 1 0 1325338 0
[pid=123095] ppid=123034 vsize=502308 memory=495760 CPUtime=354 cores=4,6
/proc/123095/stat : 123095 (naps-1.03a6) R 123034 123095 123095 0 -1 4194304 103337 0 0 0 35368 32 0 0 20 0 1 0 141579087 514363392 123940 18446744073709551615 4198400 7047149 140729047556096 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23785472 140729047562589 140729047562737 140729047562737 140729047568329 0
/proc/123095/statm: 125577 123940 544 696 0 124738 0
Current children cumulated CPU time: 1358.16 s
Current children cumulated vsize: 5922420 KiB
Current children cumulated memory: 4543232 KiB

[startup+1422.3 s]
/proc/loadavg: 4.04 4.07 3.60 5/271 123215
/proc/meminfo: memFree=99002616/131250000 swapFree=33008100/33010684
[pid=123017] ppid=123013 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/123017/stat : 123017 (scip-naps-1.00a) S 123013 123017 122954 0 -1 4194304 259 2355 0 0 0 0 0 0 20 0 1 0 141478350 4292608 768 18446744073709551615 94901192036352 94901192930885 140721449697008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94901193169936 94901193217680 94901226315776 140721449703835 140721449703934 140721449703934 140721449709538 0
/proc/123017/statm: 1048 768 704 219 0 110 0
[pid=123034] ppid=123017 vsize=5415920 memory=4044400 CPUtime=1004.16 cores=4,6
/proc/123034/stat : 123034 (python3) S 123017 123017 122954 0 -1 4194304 836840 0 0 0 100250 166 0 0 20 0 1 0 141478354 5545902080 1011100 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 1353980 1011100 8158 1 0 1325338 0
[pid=123095] ppid=123034 vsize=4743328 memory=4615880 CPUtime=413.83 cores=4,6
/proc/123095/stat : 123095 (naps-1.03a6) R 123034 123095 123095 0 -1 4194304 566730 0 0 0 41202 181 0 0 20 0 1 0 141579087 4857167872 1153970 18446744073709551615 4198400 7047149 140729047556096 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23785472 140729047562589 140729047562737 140729047562737 140729047568329 0
/proc/123095/statm: 1185832 1153970 576 696 0 1184993 0
Current children cumulated CPU time: 1417.99 s
Current children cumulated vsize: 10163440 KiB
Current children cumulated memory: 8663352 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1480.7 s]
/proc/loadavg: 4.12 4.08 3.64 5/270 123217
/proc/meminfo: memFree=78091636/131250000 swapFree=33008100/33010684
[pid=123017] ppid=123013 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/123017/stat : 123017 (scip-naps-1.00a) S 123013 123017 122954 0 -1 4194304 259 2355 0 0 0 0 0 0 20 0 1 0 141478350 4292608 768 18446744073709551615 94901192036352 94901192930885 140721449697008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94901193169936 94901193217680 94901226315776 140721449703835 140721449703934 140721449703934 140721449709538 0
/proc/123017/statm: 1048 768 704 219 0 110 0
[pid=123034] ppid=123017 vsize=5415920 memory=4044400 CPUtime=1004.16 cores=4,6
/proc/123034/stat : 123034 (python3) S 123017 123017 122954 0 -1 4194304 836840 0 0 0 100250 166 0 0 20 0 1 0 141478354 5545902080 1011100 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 1353980 1011100 8158 1 0 1325338 0
[pid=123095] ppid=123034 vsize=26888000 memory=24558340 CPUtime=472.06 cores=4,6
/proc/123095/stat : 123095 (naps-1.03a6) R 123034 123095 123095 0 -1 4194304 2294462 0 0 0 46299 907 0 0 20 0 1 0 141579087 27533312000 6139585 18446744073709551615 4198400 7047149 140729047556096 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23785472 140729047562589 140729047562737 140729047562737 140729047568329 0
/proc/123095/statm: 6722000 6139585 576 696 0 6721161 0
Current children cumulated CPU time: 1476.22 s
Current children cumulated vsize: 32308112 KiB
Current children cumulated memory: 28605812 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000991 s, system=0.011777 s

[startup+1482.3 s]
/proc/loadavg: 4.12 4.08 3.64 5/268 123218
/proc/meminfo: memFree=102305424/131250000 swapFree=33008100/33010684
[pid=123034] ppid=123013 vsize=5415920 memory=4044400 CPUtime=1477.83 cores=4,6
/proc/123034/stat : 123034 (python3) R 123013 123017 122954 0 -1 4194304 1086300 2294464 0 0 100364 178 46299 942 20 0 1 0 141478354 5545902080 1011100 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 1353980 1011100 8158 1 0 1325338 0
Current cumulated CPU time of completed processes: 0.012768 s
Current children cumulated CPU time: 1477.83 s
Current children cumulated vsize: 5415920 KiB
Current children cumulated memory: 4044400 KiB

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+1482.82 s]
# the end of solver process 123034 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=1467 s, system=11.3791 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
Dumping a history of the last processes samples

[startup+1482.4 s]
/proc/loadavg: 4.12 4.08 3.64 5/268 123218
/proc/meminfo: memFree=102305424/131250000 swapFree=33008100/33010684
[pid=123034] ppid=123013 vsize=5415920 memory=4044400 CPUtime=1477.93 cores=4,6
/proc/123034/stat : 123034 (python3) R 123013 123017 122954 0 -1 4194304 1106252 2294464 0 0 100373 179 46299 942 20 0 1 0 141478354 5545902080 1011100 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 1353980 1011100 8158 1 0 1325338 0
Current cumulated CPU time of completed processes: 0.012768 s
Current children cumulated CPU time: 1477.93 s
Current children cumulated vsize: 5415920 KiB
Current children cumulated memory: 4044400 KiB

[startup+1482.6 s]
/proc/loadavg: 4.12 4.08 3.64 5/268 123218
/proc/meminfo: memFree=102305424/131250000 swapFree=33008100/33010684
[pid=123034] ppid=123013 vsize=5415920 memory=4044400 CPUtime=1478.12 cores=4,6
/proc/123034/stat : 123034 (python3) R 123013 123017 122954 0 -1 4194304 1142467 2294464 0 0 100390 181 46299 942 20 0 1 0 141478354 5545902080 1011100 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 1353980 1011100 8158 1 0 1325338 0
Current cumulated CPU time of completed processes: 0.012768 s
Current children cumulated CPU time: 1478.12 s
Current children cumulated vsize: 5415920 KiB
Current children cumulated memory: 4044400 KiB

[startup+1482.7 s]
/proc/loadavg: 4.12 4.08 3.64 5/268 123218
/proc/meminfo: memFree=102305424/131250000 swapFree=33008100/33010684
[pid=123034] ppid=123013 vsize=5415920 memory=4044400 CPUtime=1478.23 cores=4,6
/proc/123034/stat : 123034 (python3) R 123013 123017 122954 0 -1 4194304 1158216 2294464 0 0 100400 182 46299 942 20 0 1 0 141478354 5545902080 1011100 18446744073709551615 94668086718464 94668086718841 140730259721200 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94668086730136 94668086730756 94668096434176 140730259728734 140730259728928 140730259728928 140730259734503 0
/proc/123034/statm: 1353980 1011100 8158 1 0 1325338 0
Current cumulated CPU time of completed processes: 0.012768 s
Current children cumulated CPU time: 1478.23 s
Current children cumulated vsize: 5415920 KiB
Current children cumulated memory: 4044400 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1482.82
CPU time (s): 1478.38
CPU user time (s): 1467
CPU system time (s): 11.3791
CPU usage (%): 99.7002
Max. virtual memory (cumulated for all children) (KiB): 32308112
Max. memory (cumulated for all children) (KiB): 28605812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1467
system time used= 11.3791
maximum resident set size= 24560408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3455301
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 445
involuntary context switches= 768


# summary of solver processes directly reported to runsolver:
#   pid: 123017,123034
#   total CPU time (s): 1478.38
#   total CPU user time (s): 1467
#   total CPU system time (s): 11.3791

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.07503 second user time and 6.88311 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-07-11 20:20:08
IDJOB=4530362
IDBENCH=157385
IDSOLVER=3388
FILE ID=nodeC019/4530362-1752258008
RUNJOBID= nodeC019-1752258008-122965
SLURM_JOB_ID= 9682610
Free space on /tmp= 431496 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX120_K192_cod1.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4530362-1752258008/watcher-4530362-1752258008 -o /tmp/evaluation-result-4530362-1752258008/solver-4530362-1752258008 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752258008-122965 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4530362-1752258008.opb

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

MD5SUM BENCH= c802f246252f1c3f359f42604d33488d
RANDOM SEED=2072593343

nodeC019 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.967
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.37
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		: 2281.591
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.37
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.176
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.37
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		: 2068.241
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.37
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.678
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.37
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		: 2325.150
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127612748 kB
MemAvailable:   129710936 kB
Buffers:             904 kB
Cached:          2897352 kB
SwapCached:          568 kB
Active:           280704 kB
Inactive:        2685588 kB
Active(anon):      57676 kB
Inactive(anon):    27320 kB
Active(file):     223028 kB
Inactive(file):  2658268 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008100 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            122244 kB
Writeback:             4 kB
AnonPages:         70560 kB
Mapped:           106548 kB
Shmem:             16960 kB
KReclaimable:     112260 kB
Slab:             204672 kB
SReclaimable:     112260 kB
SUnreclaim:        92412 kB
KernelStack:        4116 kB
PageTables:         2824 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     331816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431456 MiB
End job on nodeC019 at 2025-07-11 20:44:51