Trace number 4530470

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) 2071.87 2078

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2010/normalized-bab3.opb
MD5SUM5650d49d55a36e62ab842bae231a0f3b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-9098882
Best CPU time to get the best result obtained on this benchmark3600.71
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables393800
Total number of constraints23067
Number of constraints which are clauses17479
Number of constraints which are cardinality constraints (but not clauses)1092
Number of constraints which are nor clauses,nor cardinality constraints4496
Minimum length of a constraint1
Maximum length of a constraint101656
Number of terms in the objective function 122664
Biggest coefficient in the objective function 30378
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 500013378
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 4511353
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 500013378
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1000.89/1004.09	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530470-1752263113.opb
1000.89/1004.09	c Solving mode: optimization
1000.89/1004.09	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
1000.89/1004.09	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
1000.89/1004.09	c original problem has 393800 variables (393800 bin, 0 int, 0 impl, 0 cont) and 23067 constraints
1000.89/1004.09	c presolving:
1000.89/1004.09	c (round 1, fast)       380 del vars, 348 del conss, 0 add conss, 288 chg bounds, 156 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1777 clqs
1000.89/1004.09	c (round 2, exhaustive) 380 del vars, 504 del conss, 0 add conss, 288 chg bounds, 156 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1777 clqs
1000.89/1004.09	c (round 3, exhaustive) 380 del vars, 504 del conss, 0 add conss, 288 chg bounds, 156 chg sides, 0 chg coeffs, 19501 upgd conss, 0 impls, 1777 clqs
1000.89/1004.09	c (round 4, medium)     401 del vars, 525 del conss, 0 add conss, 288 chg bounds, 156 chg sides, 0 chg coeffs, 19501 upgd conss, 0 impls, 1777 clqs
1000.89/1004.09	c (round 5, medium)     422 del vars, 546 del conss, 0 add conss, 288 chg bounds, 156 chg sides, 0 chg coeffs, 19501 upgd conss, 0 impls, 1798 clqs
1000.89/1004.09	c (round 6, medium)     443 del vars, 567 del conss, 0 add conss, 288 chg bounds, 156 chg sides, 0 chg coeffs, 19501 upgd conss, 0 impls, 1819 clqs
1000.89/1004.09	c (round 7, medium)     464 del vars, 588 del conss, 0 add conss, 288 chg bounds, 156 chg sides, 0 chg coeffs, 19501 upgd conss, 0 impls, 1840 clqs
1000.89/1004.09	c (round 8, exhaustive) 464 del vars, 588 del conss, 0 add conss, 288 chg bounds, 156 chg sides, 0 chg coeffs, 19553 upgd conss, 0 impls, 1861 clqs
1000.89/1004.09	c    (31.1s) sparsify aborted: 302184/3097377 (9.8%) nonzeros canceled - in total 302184 canceled nonzeros, 399704 changed coefficients, 0 added nonzeros
1000.89/1004.09	c (round 9, exhaustive) 464 del vars, 588 del conss, 0 add conss, 288 chg bounds, 156 chg sides, 399705 chg coeffs, 19553 upgd conss, 0 impls, 1861 clqs
1000.89/1004.09	c (round 10, exhaustive) 464 del vars, 588 del conss, 0 add conss, 288 chg bounds, 156 chg sides, 399705 chg coeffs, 19573 upgd conss, 0 impls, 1862 clqs
1000.89/1004.09	c    (148.9s) probing: 1000/393336 (0.3%) - 0 fixings, 0 aggregations, 1389512 implications, 0 bound changes
1000.89/1004.09	c    (149.0s) probing: 1001/393336 (0.3%) - 0 fixings, 0 aggregations, 1391239 implications, 0 bound changes
1000.89/1004.09	c    (149.0s) probing aborted: 1000/1000 successive useless probings
1000.89/1004.09	c    (150.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1000.89/1004.09	c    (151.1s) symmetry computation finished: 3 generators found (max: 162, log10 of symmetry group size: 0.0) (symcode time: 0.18)
1000.89/1004.09	c dynamic symmetry handling statistics:
1000.89/1004.09	c    orbitopal reduction:       no components
1000.89/1004.09	c    orbital reduction:         no components
1000.89/1004.09	c    lexicographic reduction:    3 permutations with support sizes 12312, 12312, 12312
1000.89/1004.09	c handled 3 out of 3 symmetry components
1000.89/1004.09	c presolving (11 rounds: 11 fast, 10 medium, 6 exhaustive):
1000.89/1004.09	c  464 deleted vars, 588 deleted constraints, 0 added constraints, 288 tightened bounds, 0 added holes, 156 changed sides, 399705 changed coefficients
1000.89/1004.09	c  0 implications, 1393101 cliques
1000.89/1004.09	c presolved problem has 393336 variables (393336 bin, 0 int, 0 impl, 0 cont) and 22479 constraints
1000.89/1004.09	c     489 constraints of type <knapsack>
1000.89/1004.09	c    1693 constraints of type <setppc>
1000.89/1004.09	c    3010 constraints of type <linear>
1000.89/1004.09	c   17287 constraints of type <logicor>
1000.89/1004.09	c transformed objective value is always integral (scale: 1)
1000.89/1004.09	c Presolving Time: 150.53
1000.89/1004.09	c 
1000.89/1004.09	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1000.89/1004.09	c  1000s|     1 |     0 |134388 |     - |  3590M |   0 | 393k|  22k|  22k|   0 |  0 |  66 |   0 |-8.321902e+07 |      --      |    Inf | unknown
1000.89/1004.09	c (node 1) LP solver hit time limit in LP 1 -- using pseudo solution instead
1000.89/1004.09	c 
1000.89/1004.09	c SCIP Status        : solving was interrupted [time limit reached]
1000.89/1004.09	c Solving Time (sec) : 1000.27
1000.89/1004.09	c Solving Nodes      : 1
1000.89/1004.09	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1000.89/1004.09	c Dual Bound         : -8.32190200000000e+07
1000.89/1004.09	c Gap                : infinite
1000.89/1004.09	c ----------------------------------------------------------------------
1000.89/1004.09	c dual bound: -83219020.0 -> -83219020
1000.89/1004.09	c primal bound: 1e+20 -> 100000000000000000000
1000.89/1004.09	c scip-goal-lb: -83219020
1000.89/1004.09	c scip-goal-ub: 100000000000000000000
1000.89/1004.09	c writing output to: HOME/tmpcydfle4u.opb
1000.89/1004.09	c appending fixed variable constraints
1000.89/1004.09	c scip-fixed vars: 0.07% (288/393336)
1000.89/1004.09	c ----------------------------------------------------------------------
1000.89/1004.09	c executing external solver: HOME/naps-1.03a6
1000.89/1004.09	c ----------------------------------------------------------------------
1000.89/1004.09	c command: HOME/naps-1.03a6 -goal-lb=-83219020 -goal-ub=99999999999999999999 HOME/tmpcydfle4u.opb
1001.01/1004.20	c NaPS 1.03a6.
1001.01/1004.20	c Input file name: HOME/tmpcydfle4u.opb
2069.65/2075.80	c
2069.65/2075.80	c *** TERMINATED *** by signal 15
2069.65/2075.80	c s UNKNOWN
2069.65/2075.80	c _____________________________________________________________________________
2069.65/2075.80	c std/band forms        : 5594,1072
2069.65/2075.80	c 2cl/3cl ITE-codings   : 0,0
2069.65/2075.80	c BDD/srt/adr Max costs : 49836396,36450126,0
2069.65/2075.80	c BDDraw/bin/mul/srt/adr: 1074,0,0,5591,0
2069.65/2075.80	c BDD nodes             : 88831155
2069.65/2075.80	c Es1/CC detections     : 0,0
2069.65/2075.80	c CC sort               : 3681
2069.65/2075.80	c SAT/UNSAT calls       : 0,0
2069.65/2075.80	c regenrated variables  : 0
2069.65/2075.80	c eliminated fixed lits : 1536
2069.65/2075.80	c goal lit flips        : 0
2069.65/2075.80	c goal stages           : 0
2069.65/2075.80	c goal shrink           : 0
2069.65/2075.80	c goal coeff separations: 0
2069.65/2075.80	c restarts              : 0
2069.65/2075.80	c conflicts             : 0              (0 /sec)
2069.65/2075.80	c decisions             : 0              (0 /sec)
2069.65/2075.80	c propagations          : 0              (0 /sec)
2069.65/2075.80	c inspects              : 0              (0 /sec)
2069.65/2075.80	c CPU time (solving tm) : 1058 s        (0 s, SAT 0 s, UNSAT 0 s)
2069.65/2075.80	c Time for Opt-base     : 3.738 s
2069.65/2075.80	c Steps for Opt-base    : 18298080
2069.65/2075.80	c Time for BDD coding   : 919.5 s
2069.65/2075.80	c Time for srt coding   : 110.8 s
2069.65/2075.80	c _____________________________________________________________________________
2069.65/2075.80	c received SIGTERM, forwarding to pbsolver...
1001.03/2076.46	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (60362 MiB free)
  memory of node 1: 64465 MiB (61578 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530470-1752263113/watcher-4530470-1752263113 -o /tmp/evaluation-result-4530470-1752263113/solver-4530470-1752263113 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1752258608-128093 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530470-1752263113.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=131035, runsolver pid=131032

[startup+0.100063 s]*
/proc/loadavg: 4.07 4.09 4.10 5/258 131040
/proc/meminfo: memFree=124861108/131382116 swapFree=33009904/33010684
[pid=131035] ppid=131032 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131035/stat : 131035 (scip-naps-1.00a) S 131032 131035 128080 0 -1 4194304 260 1844 0 0 0 0 0 0 20 0 1 0 141990526 4292608 768 18446744073709551615 94068534398976 94068535293509 140721322257584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068535532560 94068535580304 94068556189696 140721322264987 140721322265086 140721322265086 140721322270690 0
/proc/131035/statm: 1048 768 704 219 0 110 0
[pid=131040] ppid=131035 vsize=59836 memory=21888 CPUtime=0.05 cores=5,7
/proc/131040/stat : 131040 (python3) R 131035 131035 128080 0 -1 4194304 2524 0 0 0 4 1 0 0 20 0 1 0 141990528 61272064 5472 18446744073709551615 94766587076608 94766587076985 140732920075792 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94766587088280 94766587088900 94766607953920 140732920084830 140732920085024 140732920085024 140732920090599 0
/proc/131040/statm: 14959 5472 3360 1 0 3679 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 64028 KiB
Current children cumulated memory: 24960 KiB

[startup+0.207656 s]*
/proc/loadavg: 4.07 4.09 4.10 5/258 131040
/proc/meminfo: memFree=124851280/131382116 swapFree=33009904/33010684
[pid=131035] ppid=131032 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131035/stat : 131035 (scip-naps-1.00a) S 131032 131035 128080 0 -1 4194304 260 1844 0 0 0 0 0 0 20 0 1 0 141990526 4292608 768 18446744073709551615 94068534398976 94068535293509 140721322257584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068535532560 94068535580304 94068556189696 140721322264987 140721322265086 140721322265086 140721322270690 0
/proc/131035/statm: 1048 768 704 219 0 110 0
[pid=131040] ppid=131035 vsize=1194128 memory=39200 CPUtime=0.15 cores=5,7
/proc/131040/stat : 131040 (python3) R 131035 131035 128080 0 -1 4194304 4907 0 0 0 13 2 0 0 20 0 1 0 141990528 1222787072 9800 18446744073709551615 94766587076608 94766587076985 140732920075792 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94766587088280 94766587088900 94766607953920 140732920084830 140732920085024 140732920085024 140732920090599 0
/proc/131040/statm: 298532 9800 5614 1 0 269890 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 1198320 KiB
Current children cumulated memory: 42272 KiB

[startup+0.307651 s]*
/proc/loadavg: 4.07 4.09 4.10 5/258 131040
/proc/meminfo: memFree=124779712/131382116 swapFree=33009904/33010684
[pid=131035] ppid=131032 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131035/stat : 131035 (scip-naps-1.00a) S 131032 131035 128080 0 -1 4194304 260 1844 0 0 0 0 0 0 20 0 1 0 141990526 4292608 768 18446744073709551615 94068534398976 94068535293509 140721322257584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068535532560 94068535580304 94068556189696 140721322264987 140721322265086 140721322265086 140721322270690 0
/proc/131035/statm: 1048 768 704 219 0 110 0
[pid=131040] ppid=131035 vsize=1267104 memory=115360 CPUtime=0.24 cores=5,7
/proc/131040/stat : 131040 (python3) R 131035 131035 128080 0 -1 4194304 22096 0 0 0 19 5 0 0 20 0 1 0 141990528 1297514496 28840 18446744073709551615 94766587076608 94766587076985 140732920075792 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94766587088280 94766587088900 94766607953920 140732920084830 140732920085024 140732920085024 140732920090599 0
/proc/131040/statm: 316776 28840 7598 1 0 288134 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 1271296 KiB
Current children cumulated memory: 118432 KiB

[startup+0.700236 s]
/proc/loadavg: 4.07 4.09 4.10 5/258 131040
/proc/meminfo: memFree=124707136/131382116 swapFree=33009904/33010684
[pid=131035] ppid=131032 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131035/stat : 131035 (scip-naps-1.00a) S 131032 131035 128080 0 -1 4194304 260 1844 0 0 0 0 0 0 20 0 1 0 141990526 4292608 768 18446744073709551615 94068534398976 94068535293509 140721322257584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068535532560 94068535580304 94068556189696 140721322264987 140721322265086 140721322265086 140721322270690 0
/proc/131035/statm: 1048 768 704 219 0 110 0
[pid=131040] ppid=131035 vsize=1386152 memory=234016 CPUtime=0.61 cores=5,7
/proc/131040/stat : 131040 (python3) R 131035 131035 128080 0 -1 4194304 51757 0 0 0 50 11 0 0 20 0 1 0 141990528 1419419648 58504 18446744073709551615 94766587076608 94766587076985 140732920075792 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94766587088280 94766587088900 94766607953920 140732920084830 140732920085024 140732920085024 140732920090599 0
/proc/131040/statm: 346538 58504 7630 1 0 317896 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 1390344 KiB
Current children cumulated memory: 237088 KiB

[startup+1.50042 s]
/proc/loadavg: 4.07 4.09 4.10 5/258 131040
/proc/meminfo: memFree=124548868/131382116 swapFree=33009904/33010684
[pid=131035] ppid=131032 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131035/stat : 131035 (scip-naps-1.00a) S 131032 131035 128080 0 -1 4194304 260 1844 0 0 0 0 0 0 20 0 1 0 141990526 4292608 768 18446744073709551615 94068534398976 94068535293509 140721322257584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068535532560 94068535580304 94068556189696 140721322264987 140721322265086 140721322265086 140721322270690 0
/proc/131035/statm: 1048 768 704 219 0 110 0
[pid=131040] ppid=131035 vsize=1613060 memory=461048 CPUtime=1.41 cores=5,7
/proc/131040/stat : 131040 (python3) R 131035 131035 128080 0 -1 4194304 108009 0 0 0 114 27 0 0 20 0 1 0 141990528 1651773440 115262 18446744073709551615 94766587076608 94766587076985 140732920075792 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94766587088280 94766587088900 94766607953920 140732920084830 140732920085024 140732920085024 140732920090599 0
/proc/131040/statm: 403265 115262 7630 1 0 374623 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 1617252 KiB
Current children cumulated memory: 464120 KiB

[startup+3.1135 s]
/proc/loadavg: 4.07 4.09 4.10 5/258 131040
/proc/meminfo: memFree=123984900/131382116 swapFree=33009904/33010684
[pid=131035] ppid=131032 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131035/stat : 131035 (scip-naps-1.00a) S 131032 131035 128080 0 -1 4194304 260 1844 0 0 0 0 0 0 20 0 1 0 141990526 4292608 768 18446744073709551615 94068534398976 94068535293509 140721322257584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068535532560 94068535580304 94068556189696 140721322264987 140721322265086 140721322265086 140721322270690 0
/proc/131035/statm: 1048 768 704 219 0 110 0
[pid=131040] ppid=131035 vsize=2092072 memory=940412 CPUtime=3.02 cores=5,7
/proc/131040/stat : 131040 (python3) R 131035 131035 128080 0 -1 4194304 229271 0 0 0 253 49 0 0 20 0 1 0 141990528 2142281728 235103 18446744073709551615 94766587076608 94766587076985 140732920075792 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94766587088280 94766587088900 94766607953920 140732920084830 140732920085024 140732920085024 140732920090599 0
/proc/131040/statm: 523018 235103 7790 1 0 494376 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 2096264 KiB
Current children cumulated memory: 943484 KiB

[startup+6.30042 s]
/proc/loadavg: 4.14 4.10 4.11 5/258 131040
/proc/meminfo: memFree=123332724/131382116 swapFree=33009904/33010684
[pid=131035] ppid=131032 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131035/stat : 131035 (scip-naps-1.00a) S 131032 131035 128080 0 -1 4194304 260 1844 0 0 0 0 0 0 20 0 1 0 141990526 4292608 768 18446744073709551615 94068534398976 94068535293509 140721322257584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068535532560 94068535580304 94068556189696 140721322264987 140721322265086 140721322265086 140721322270690 0
/proc/131035/statm: 1048 768 704 219 0 110 0
[pid=131040] ppid=131035 vsize=2808600 memory=1609688 CPUtime=6.2 cores=5,7
/proc/131040/stat : 131040 (python3) R 131035 131035 128080 0 -1 4194304 393462 0 0 0 544 76 0 0 20 0 1 0 141990528 2876006400 402422 18446744073709551615 94766587076608 94766587076985 140732920075792 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94766587088280 94766587088900 94766607953920 140732920084830 140732920085024 140732920085024 140732920090599 0
/proc/131040/statm: 702150 402422 7886 1 0 673508 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 2812792 KiB
Current children cumulated memory: 1612760 KiB

[startup+12.7004 s]
/proc/loadavg: 4.13 4.10 4.11 5/258 131040
/proc/meminfo: memFree=123288308/131382116 swapFree=33009904/33010684
[pid=131035] ppid=131032 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131035/stat : 131035 (scip-naps-1.00a) S 131032 131035 128080 0 -1 4194304 260 1844 0 0 0 0 0 0 20 0 1 0 141990526 4292608 768 18446744073709551615 94068534398976 94068535293509 140721322257584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068535532560 94068535580304 94068556189696 140721322264987 140721322265086 140721322265086 140721322270690 0
/proc/131035/statm: 1048 768 704 219 0 110 0
[pid=131040] ppid=131035 vsize=2822428 memory=1636416 CPUtime=12.58 cores=5,7
/proc/131040/stat : 131040 (python3) R 131035 131035 128080 0 -1 4194304 399183 0 0 0 1181 77 0 0 20 0 1 0 141990528 2890166272 409104 18446744073709551615 94766587076608 94766587076985 140732920075792 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94766587088280 94766587088900 94766607953920 140732920084830 140732920085024 140732920085024 140732920090599 0
/proc/131040/statm: 705607 409104 7918 1 0 676965 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 2826620 KiB
Current children cumulated memory: 1639488 KiB

[startup+25.5005 s]
/proc/loadavg: 4.10 4.09 4.11 5/258 131040
/proc/meminfo: memFree=123289568/131382116 swapFree=33009904/33010684
[pid=131035] ppid=131032 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131035/stat : 131035 (scip-naps-1.00a) S 131032 131035 128080 0 -1 4194304 260 1844 0 0 0 0 0 0 20 0 1 0 141990526 4292608 768 18446744073709551615 94068534398976 94068535293509 140721322257584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068535532560 94068535580304 94068556189696 140721322264987 140721322265086 140721322265086 140721322270690 0
/proc/131035/statm: 1048 768 704 219 0 110 0
[pid=131040] ppid=131035 vsize=2841684 memory=1646540 CPUtime=25.36 cores=5,7
/proc/131040/stat : 131040 (python3) R 131035 131035 128080 0 -1 4194304 400369 0 0 0 2458 78 0 0 20 0 1 0 141990528 2909884416 411635 18446744073709551615 94766587076608 94766587076985 140732920075792 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94766587088280 94766587088900 94766607953920 140732920084830 140732920085024 140732920085024 140732920090599 0
/proc/131040/statm: 710421 411635 7950 1 0 681779 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 2845876 KiB
Current children cumulated memory: 1649612 KiB

[startup+51.1137 s]
/proc/loadavg: 4.21 4.12 4.11 5/258 131041
/proc/meminfo: memFree=122443692/131382116 swapFree=33009904/33010684
[pid=131035] ppid=131032 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131035/stat : 131035 (scip-naps-1.00a) S 131032 131035 128080 0 -1 4194304 260 1844 0 0 0 0 0 0 20 0 1 0 141990526 4292608 768 18446744073709551615 94068534398976 94068535293509 140721322257584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068535532560 94068535580304 94068556189696 140721322264987 140721322265086 140721322265086 140721322270690 0
/proc/131035/statm: 1048 768 704 219 0 110 0
[pid=131040] ppid=131035 vsize=3805904 memory=2487964 CPUtime=50.9 cores=5,7
/proc/131040/stat : 131040 (python3) R 131035 131035 128080 0 -1 4194304 436578 0 0 0 4994 96 0 0 20 0 1 0 141990528 3897245696 621991 18446744073709551615 94766587076608 94766587076985 140732920075792 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94766587088280 94766587088900 94766607953920 140732920084830 140732920085024 140732920085024 140732920090599 0
/proc/131040/statm: 951476 621991 7950 1 0 922834 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 3810096 KiB
Current children cumulated memory: 2491036 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/257 131042
/proc/meminfo: memFree=122326984/131382116 swapFree=33009904/33010684
[pid=131035] ppid=131032 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131035/stat : 131035 (scip-naps-1.00a) S 131032 131035 128080 0 -1 4194304 260 1844 0 0 0 0 0 0 20 0 1 0 141990526 4292608 768 18446744073709551615 94068534398976 94068535293509 140721322257584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068535532560 94068535580304 94068556189696 140721322264987 140721322265086 140721322265086 140721322270690 0
/proc/131035/statm: 1048 768 704 219 0 110 0
[pid=131040] ppid=131035 vsize=3932876 memory=2612252 CPUtime=101.95 cores=5,7
/proc/131040/stat : 131040 (python3) R 131035 131035 128080 0 -1 4194304 467661 0 0 0 10092 103 0 0 20 0 1 0 141990528 4027265024 653063 18446744073709551615 94766587076608 94766587076985 140732920075792 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94766587088280 94766587088900 94766607953920 140732920084830 140732920085024 140732920085024 140732920090599 0
/proc/131040/statm: 983219 653063 7950 1 0 954577 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 3937068 KiB
Current children cumulated memory: 2615324 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.10 5/256 131044
/proc/meminfo: memFree=121532540/131382116 swapFree=33009904/33010684
[pid=131035] ppid=131032 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131035/stat : 131035 (scip-naps-1.00a) S 131032 131035 128080 0 -1 4194304 260 1844 0 0 0 0 0 0 20 0 1 0 141990526 4292608 768 18446744073709551615 94068534398976 94068535293509 140721322257584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068535532560 94068535580304 94068556189696 140721322264987 140721322265086 140721322265086 140721322270690 0
/proc/131035/statm: 1048 768 704 219 0 110 0
[pid=131040] ppid=131035 vsize=4775808 memory=3297056 CPUtime=161.77 cores=5,7
/proc/131040/stat : 131040 (python3) R 131035 131035 128080 0 -1 4194304 599204 0 0 0 16040 137 0 0 20 0 1 0 141990528 4890427392 824264 18446744073709551615 94766587076608 94766587076985 140732920075792 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94766587088280 94766587088900 94766607953920 140732920084830 140732920085024 140732920085024 140732920090599 0
/proc/131040/statm: 1193952 824264 8078 1 0 1165310 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 4780000 KiB
Current children cumulated memory: 3300128 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.10 4.10 5/256 131046
/proc/meminfo: memFree=121553804/131382116 swapFree=33009904/33010684
[pid=131035] ppid=131032 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131035/stat : 131035 (scip-naps-1.00a) S 131032 131035 128080 0 -1 4194304 260 1844 0 0 0 0 0 0 20 0 1 0 141990526 4292608 768 18446744073709551615 94068534398976 94068535293509 140721322257584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068535532560 94068535580304 94068556189696 140721322264987 140721322265086 140721322265086 140721322270690 0
/proc/131035/statm: 1048 768 704 219 0 110 0
[pid=131040] ppid=131035 vsize=4775968 memory=3297952 CPUtime=221.59 cores=5,7
/proc/131040/stat : 131040 (python3) R 131035 131035 128080 0 -1 4194304 599427 0 0 0 22021 138 0 0 20 0 1 0 141990528 4890591232 824488 18446744073709551615 94766587076608 94766587076985 140732920075792 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94766587088280 94766587088900 94766607953920 140732920084830 140732920085024 140732920085024 140732920090599 0
/proc/131040/statm: 1193992 824488 8078 1 0 1165350 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 4780160 KiB

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

Current children cumulated CPU time: 1717.11 s
Current children cumulated vsize: 27513616 KiB
Current children cumulated memory: 25897120 KiB

[startup+1782.3 s]
/proc/loadavg: 4.12 4.18 4.18 5/258 131130
/proc/meminfo: memFree=97106888/131382116 swapFree=33009904/33010684
[pid=131035] ppid=131032 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131035/stat : 131035 (scip-naps-1.00a) S 131032 131035 128080 0 -1 4194304 260 1844 0 0 0 0 0 0 20 0 1 0 141990526 4292608 768 18446744073709551615 94068534398976 94068535293509 140721322257584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068535532560 94068535580304 94068556189696 140721322264987 140721322265086 140721322265086 140721322270690 0
/proc/131035/statm: 1048 768 704 219 0 110 0
[pid=131040] ppid=131035 vsize=5311224 memory=3789056 CPUtime=1001.01 cores=5,7
/proc/131040/stat : 131040 (python3) S 131035 131035 128080 0 -1 4194304 699635 0 0 0 99904 197 0 0 20 0 1 0 141990528 5438693376 947264 18446744073709551615 94766587076608 94766587076985 140732920075792 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94766587088280 94766587088900 94766607953920 140732920084830 140732920085024 140732920085024 140732920090599 0
/proc/131040/statm: 1327806 947264 8142 1 0 1299164 0
[pid=131093] ppid=131040 vsize=23548008 memory=23514192 CPUtime=775.94 cores=5,7
/proc/131093/stat : 131093 (naps-1.03a6) R 131040 131093 131093 0 -1 4194304 4989882 0 0 0 76597 997 0 0 20 0 1 0 142090939 24113160192 5878548 18446744073709551615 4198400 7047149 140725592882064 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 33574912 140725592885598 140725592885745 140725592885745 140725592891337 0
/proc/131093/statm: 5887002 5878548 576 696 0 5886163 0
Current children cumulated CPU time: 1776.95 s
Current children cumulated vsize: 28863424 KiB
Current children cumulated memory: 27306320 KiB

[startup+1842.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/258 131136
/proc/meminfo: memFree=97055944/131382116 swapFree=33009904/33010684
[pid=131035] ppid=131032 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131035/stat : 131035 (scip-naps-1.00a) S 131032 131035 128080 0 -1 4194304 260 1844 0 0 0 0 0 0 20 0 1 0 141990526 4292608 768 18446744073709551615 94068534398976 94068535293509 140721322257584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068535532560 94068535580304 94068556189696 140721322264987 140721322265086 140721322265086 140721322270690 0
/proc/131035/statm: 1048 768 704 219 0 110 0
[pid=131040] ppid=131035 vsize=5311224 memory=3789056 CPUtime=1001.01 cores=5,7
/proc/131040/stat : 131040 (python3) S 131035 131035 128080 0 -1 4194304 699635 0 0 0 99904 197 0 0 20 0 1 0 141990528 5438693376 947264 18446744073709551615 94766587076608 94766587076985 140732920075792 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94766587088280 94766587088900 94766607953920 140732920084830 140732920085024 140732920085024 140732920090599 0
/proc/131040/statm: 1327806 947264 8142 1 0 1299164 0
[pid=131093] ppid=131040 vsize=24080104 memory=23596112 CPUtime=835.77 cores=5,7
/proc/131093/stat : 131093 (naps-1.03a6) R 131040 131093 131093 0 -1 4194304 4996639 0 0 0 82577 1000 0 0 20 0 1 0 142090939 24658026496 5899028 18446744073709551615 4198400 7047149 140725592882064 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 33574912 140725592885598 140725592885745 140725592885745 140725592891337 0
/proc/131093/statm: 6020026 5899028 576 696 0 6019187 0
Current children cumulated CPU time: 1836.78 s
Current children cumulated vsize: 29395520 KiB
Current children cumulated memory: 27388240 KiB

[startup+1902.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/258 131138
/proc/meminfo: memFree=96975672/131382116 swapFree=33009904/33010684
[pid=131035] ppid=131032 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131035/stat : 131035 (scip-naps-1.00a) S 131032 131035 128080 0 -1 4194304 260 1844 0 0 0 0 0 0 20 0 1 0 141990526 4292608 768 18446744073709551615 94068534398976 94068535293509 140721322257584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068535532560 94068535580304 94068556189696 140721322264987 140721322265086 140721322265086 140721322270690 0
/proc/131035/statm: 1048 768 704 219 0 110 0
[pid=131040] ppid=131035 vsize=5311224 memory=3789056 CPUtime=1001.01 cores=5,7
/proc/131040/stat : 131040 (python3) S 131035 131035 128080 0 -1 4194304 699635 0 0 0 99904 197 0 0 20 0 1 0 141990528 5438693376 947264 18446744073709551615 94766587076608 94766587076985 140732920075792 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94766587088280 94766587088900 94766607953920 140732920084830 140732920085024 140732920085024 140732920090599 0
/proc/131040/statm: 1327806 947264 8142 1 0 1299164 0
[pid=131093] ppid=131040 vsize=24080104 memory=23675984 CPUtime=895.61 cores=5,7
/proc/131093/stat : 131093 (naps-1.03a6) R 131040 131093 131093 0 -1 4194304 5003268 0 0 0 88558 1003 0 0 20 0 1 0 142090939 24658026496 5918996 18446744073709551615 4198400 7047149 140725592882064 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 33574912 140725592885598 140725592885745 140725592885745 140725592891337 0
/proc/131093/statm: 6020026 5918996 576 696 0 6019187 0
Current children cumulated CPU time: 1896.62 s
Current children cumulated vsize: 29395520 KiB
Current children cumulated memory: 27468112 KiB

[startup+1962.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/258 131140
/proc/meminfo: memFree=96959484/131382116 swapFree=33009904/33010684
[pid=131035] ppid=131032 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131035/stat : 131035 (scip-naps-1.00a) S 131032 131035 128080 0 -1 4194304 260 1844 0 0 0 0 0 0 20 0 1 0 141990526 4292608 768 18446744073709551615 94068534398976 94068535293509 140721322257584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068535532560 94068535580304 94068556189696 140721322264987 140721322265086 140721322265086 140721322270690 0
/proc/131035/statm: 1048 768 704 219 0 110 0
[pid=131040] ppid=131035 vsize=5311224 memory=3789056 CPUtime=1001.01 cores=5,7
/proc/131040/stat : 131040 (python3) S 131035 131035 128080 0 -1 4194304 699635 0 0 0 99904 197 0 0 20 0 1 0 141990528 5438693376 947264 18446744073709551615 94766587076608 94766587076985 140732920075792 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94766587088280 94766587088900 94766607953920 140732920084830 140732920085024 140732920085024 140732920090599 0
/proc/131040/statm: 1327806 947264 8142 1 0 1299164 0
[pid=131093] ppid=131040 vsize=24080104 memory=23682128 CPUtime=955.45 cores=5,7
/proc/131093/stat : 131093 (naps-1.03a6) R 131040 131093 131093 0 -1 4194304 5005823 0 0 0 94533 1012 0 0 20 0 1 0 142090939 24658026496 5920532 18446744073709551615 4198400 7047149 140725592882064 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 33574912 140725592885598 140725592885745 140725592885745 140725592891337 0
/proc/131093/statm: 6020026 5920532 576 696 0 6019187 0
Current children cumulated CPU time: 1956.46 s
Current children cumulated vsize: 29395520 KiB
Current children cumulated memory: 27474256 KiB

[startup+2022.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/258 131142
/proc/meminfo: memFree=96596104/131382116 swapFree=33009904/33010684
[pid=131035] ppid=131032 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131035/stat : 131035 (scip-naps-1.00a) S 131032 131035 128080 0 -1 4194304 260 1844 0 0 0 0 0 0 20 0 1 0 141990526 4292608 768 18446744073709551615 94068534398976 94068535293509 140721322257584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068535532560 94068535580304 94068556189696 140721322264987 140721322265086 140721322265086 140721322270690 0
/proc/131035/statm: 1048 768 704 219 0 110 0
[pid=131040] ppid=131035 vsize=5311224 memory=3789056 CPUtime=1001.01 cores=5,7
/proc/131040/stat : 131040 (python3) S 131035 131035 128080 0 -1 4194304 699635 0 0 0 99904 197 0 0 20 0 1 0 141990528 5438693376 947264 18446744073709551615 94766587076608 94766587076985 140732920075792 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94766587088280 94766587088900 94766607953920 140732920084830 140732920085024 140732920085024 140732920090599 0
/proc/131040/statm: 1327806 947264 8142 1 0 1299164 0
[pid=131093] ppid=131040 vsize=24080104 memory=24038480 CPUtime=1015.29 cores=5,7
/proc/131093/stat : 131093 (naps-1.03a6) R 131040 131093 131093 0 -1 4194304 5012620 0 0 0 100500 1029 0 0 20 0 1 0 142090939 24658026496 6009620 18446744073709551615 4198400 7047149 140725592882064 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 33574912 140725592885598 140725592885745 140725592885745 140725592891337 0
/proc/131093/statm: 6020026 6009620 576 696 0 6019187 0
Current children cumulated CPU time: 2016.3 s
Current children cumulated vsize: 29395520 KiB
Current children cumulated memory: 27830608 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+2075.8 s]
/proc/loadavg: 4.31 4.19 4.18 5/258 131143
/proc/meminfo: memFree=96168264/131382116 swapFree=33009904/33010684
[pid=131035] ppid=131032 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/131035/stat : 131035 (scip-naps-1.00a) S 131032 131035 128080 0 -1 4194304 260 1844 0 0 0 0 0 0 20 0 1 0 141990526 4292608 768 18446744073709551615 94068534398976 94068535293509 140721322257584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94068535532560 94068535580304 94068556189696 140721322264987 140721322265086 140721322265086 140721322270690 0
/proc/131035/statm: 1048 768 704 219 0 110 0
[pid=131040] ppid=131035 vsize=5311224 memory=3789056 CPUtime=1001.01 cores=5,7
/proc/131040/stat : 131040 (python3) S 131035 131035 128080 0 -1 4194304 699635 0 0 0 99904 197 0 0 20 0 1 0 141990528 5438693376 947264 18446744073709551615 94766587076608 94766587076985 140732920075792 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94766587088280 94766587088900 94766607953920 140732920084830 140732920085024 140732920085024 140732920090599 0
/proc/131040/statm: 1327806 947264 8142 1 0 1299164 0
[pid=131093] ppid=131040 vsize=30277480 memory=24631216 CPUtime=1068.64 cores=5,7
/proc/131093/stat : 131093 (naps-1.03a6) R 131040 131093 131093 0 -1 4194304 5019583 0 0 0 105821 1043 0 0 20 0 1 0 142090939 31004139520 6157804 18446744073709551615 4198400 7047149 140725592882064 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 33574912 140725592885598 140725592885745 140725592885745 140725592891337 0
/proc/131093/statm: 7569370 6157804 576 696 0 7568531 0
Current children cumulated CPU time: 2069.65 s
Current children cumulated vsize: 35592896 KiB
Current children cumulated memory: 28423344 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002108 s, system=0.013206 s

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

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

# cumulated CPU time of all completed processes:  user=2058.36 s, system=13.5117 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+2076.8 s]
/proc/loadavg: 4.31 4.19 4.18 5/257 131144
/proc/meminfo: memFree=102545748/131382116 swapFree=33009904/33010684
[pid=131040] ppid=131032 vsize=5311224 memory=3789056 CPUtime=2070.64 cores=5,7
/proc/131040/stat : 131040 (python3) R 131032 131035 128080 0 -1 4194304 814083 5019586 0 0 99923 211 105821 1109 20 0 1 0 141990528 5438693376 947264 18446744073709551615 94766587076608 94766587076985 140732920075792 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94766587088280 94766587088900 94766607953920 140732920084830 140732920085024 140732920085024 140732920090599 0
/proc/131040/statm: 1327806 947264 8142 1 0 1299164 0
Current cumulated CPU time of completed processes: 0.015314 s
Current children cumulated CPU time: 2070.64 s
Current children cumulated vsize: 5311224 KiB
Current children cumulated memory: 3789056 KiB

[startup+2077.6 s]
/proc/loadavg: 4.31 4.19 4.18 5/256 131144
/proc/meminfo: memFree=120669184/131382116 swapFree=33009904/33010684
[pid=131040] ppid=131032 vsize=5311224 memory=3789056 CPUtime=2071.43 cores=5,7
/proc/131040/stat : 131040 (python3) R 131032 131035 128080 0 -1 4194304 871690 5019586 0 0 99994 219 105821 1109 20 0 1 0 141990528 5438693376 947264 18446744073709551615 94766587076608 94766587076985 140732920075792 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94766587088280 94766587088900 94766607953920 140732920084830 140732920085024 140732920085024 140732920090599 0
/proc/131040/statm: 1327806 947264 8142 1 0 1299164 0
Current cumulated CPU time of completed processes: 0.015314 s
Current children cumulated CPU time: 2071.43 s
Current children cumulated vsize: 5311224 KiB
Current children cumulated memory: 3789056 KiB

[startup+2077.8 s]
/proc/loadavg: 4.31 4.19 4.18 5/256 131144
/proc/meminfo: memFree=120669184/131382116 swapFree=33009904/33010684
[pid=131040] ppid=131032 vsize=5311224 memory=3789056 CPUtime=2071.63 cores=5,7
/proc/131040/stat : 131040 (python3) R 131032 131035 128080 0 -1 4194304 880941 5019586 0 0 100013 220 105821 1109 20 0 1 0 141990528 5438693376 947264 18446744073709551615 94766587076608 94766587076985 140732920075792 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94766587088280 94766587088900 94766607953920 140732920084830 140732920085024 140732920085024 140732920090599 0
/proc/131040/statm: 1327806 947264 8142 1 0 1299164 0
Current cumulated CPU time of completed processes: 0.015314 s
Current children cumulated CPU time: 2071.63 s
Current children cumulated vsize: 5311224 KiB
Current children cumulated memory: 3789056 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 2078
CPU time (s): 2071.87
CPU user time (s): 2058.36
CPU system time (s): 13.5117
CPU usage (%): 99.705
Max. virtual memory (cumulated for all children) (KiB): 35592896
Max. memory (cumulated for all children) (KiB): 28606896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2058.36
system time used= 13.5117
maximum resident set size= 24814768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5902644
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 358
involuntary context switches= 2783


# summary of solver processes directly reported to runsolver:
#   pid: 131035,131040
#   total CPU time (s): 2071.87
#   total CPU user time (s): 2058.36
#   total CPU system time (s): 13.5117

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.005 second user time and 21.1971 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-07-11 21:45:13
IDJOB=4530470
IDBENCH=178803
IDSOLVER=3388
FILE ID=nodeC004/4530470-1752263113
RUNJOBID= nodeC004-1752258608-128093
SLURM_JOB_ID= 9682614
Free space on /tmp= 431612 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-bab3.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4530470-1752263113/watcher-4530470-1752263113 -o /tmp/evaluation-result-4530470-1752263113/solver-4530470-1752263113 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1752258608-128093 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4530470-1752263113.opb

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

MD5SUM BENCH= 5650d49d55a36e62ab842bae231a0f3b
RANDOM SEED=1782476170

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        124868164 kB
MemAvailable:   126044588 kB
Buffers:            2128 kB
Cached:          1921616 kB
SwapCached:           32 kB
Active:          4416916 kB
Inactive:        1315064 kB
Active(anon):    3815444 kB
Inactive(anon):    10724 kB
Active(file):     601472 kB
Inactive(file):  1304340 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             42024 kB
Writeback:             4 kB
AnonPages:       3808772 kB
Mapped:           133584 kB
Shmem:             17932 kB
KReclaimable:     220480 kB
Slab:             310456 kB
SReclaimable:     220480 kB
SUnreclaim:        89976 kB
KernelStack:        4144 kB
PageTables:        11208 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7546316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149512 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    825344 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431560 MiB
End job on nodeC004 at 2025-07-11 22:19:52