Trace number 4542521

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP-NaPS 1.00a2? (TO) 3602.34 3613.07

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height47_pigeons46_holes45.opb
MD5SUMcca449fd552693742bf3f30208712226
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1436.41
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2436672
Total number of constraints113788
Number of constraints which are clauses57482
Number of constraints which are cardinality constraints (but not clauses)51746
Number of constraints which are nor clauses,nor cardinality constraints4560
Minimum length of a constraint45
Maximum length of a constraint50
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 53
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

511.03/513.23	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4542521-1753217353.opb
511.03/513.23	c Solving mode: decision
511.03/513.23	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
511.03/513.23	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
511.03/513.23	c original problem has 2436672 variables (2436672 bin, 0 int, 0 impl, 0 cont) and 113788 constraints
511.03/513.23	c presolving:
511.03/513.23	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 61996 upgd conss, 0 impls, 51744 clqs
511.03/513.23	c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 113788 upgd conss, 0 impls, 51744 clqs
511.03/513.23	c    (39.1s) probing: 51/2436672 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
511.03/513.23	c    (39.1s) probing aborted: 50/50 successive totally useless probings
511.03/513.23	c    (40.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
511.03/513.23	c symmetry computation terminated early, because number of cells 100023 in Nauty exceeds limit of 100000
511.03/513.23	c for running full symmetry detection, increase value of parameter propagating/symmetry/nautymaxncells
511.03/513.23	c    (54.8s) symmetry computation finished: 26 generators found (max: 26, log10 of symmetry group size: 0.0) (symcode time: 12.93)
511.03/513.23	c dynamic symmetry handling statistics:
511.03/513.23	c    orbitopal reduction:       no components
511.03/513.23	c    orbital reduction:          1 components of sizes 25
511.03/513.23	c    lexicographic reduction:   25 permutations with support sizes 92, 92, 92, 92, 92, 92, 92, 92, 92, 92, 92, 92, 92, 92, 92, 92, 92, 92, 92, 92, 92, 92, 92, 92, 92
511.03/513.23	c handled 2 out of 2 symmetry components
511.03/513.23	c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
511.03/513.23	c  0 deleted vars, 0 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 8 changed coefficients
511.03/513.23	c  0 implications, 51745 cliques
511.03/513.23	c presolved problem has 2436672 variables (2436672 bin, 0 int, 0 impl, 0 cont) and 113789 constraints
511.03/513.23	c    4562 constraints of type <knapsack>
511.03/513.23	c   51744 constraints of type <setppc>
511.03/513.23	c       1 constraints of type <linear>
511.03/513.23	c   57482 constraints of type <logicor>
511.03/513.23	c transformed objective value is always integral (scale: 1)
511.03/513.23	c Presolving Time: 51.85
511.03/513.23	c 
511.03/513.23	c 
511.03/513.23	c SCIP Status        : solving was interrupted [time limit reached]
511.03/513.23	c Solving Time (sec) : 500.04
511.03/513.23	c Solving Nodes      : 1
511.03/513.23	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
511.03/513.23	c Dual Bound         : +0.00000000000000e+00
511.03/513.23	c Gap                : infinite
511.03/513.23	c ----------------------------------------------------------------------
511.03/513.23	c dual bound: 0.0 -> 0
511.03/513.23	c primal bound: 1e+20 -> 100000000000000000000
511.03/513.23	c scip-goal-lb: 0
511.03/513.23	c scip-goal-ub: 100000000000000000000
511.03/513.23	c writing output to: HOME/tmpgvr66yzz.opb
511.03/513.23	c appending fixed variable constraints
511.03/513.23	c scip-fixed vars: 0.00% (0/2436672)
511.03/513.23	c ----------------------------------------------------------------------
511.03/513.23	c executing external solver: HOME/naps-1.03a6
511.03/513.23	c ----------------------------------------------------------------------
511.03/513.23	c command: HOME/naps-1.03a6 HOME/tmpgvr66yzz.opb
511.14/513.37	c NaPS 1.03a6.
511.14/513.37	c Input file name: HOME/tmpgvr66yzz.opb
3600.04/3610.80	c
3600.04/3610.80	c *** TERMINATED *** by signal 15
3600.04/3610.80	c s UNKNOWN
3600.04/3610.80	c _____________________________________________________________________________
3600.04/3610.80	c std/band forms        : 56306,0
3600.04/3610.80	c 2cl/3cl ITE-codings   : 0,0
3600.04/3610.80	c BDD/srt/adr Max costs : 0,806,0
3600.04/3610.80	c BDDraw/bin/mul/srt/adr: 0,0,0,56306,0
3600.04/3610.80	c BDD nodes             : 0
3600.04/3610.80	c Es1/CC detections     : 0,0
3600.04/3610.80	c CC sort               : 56306
3600.04/3610.80	c SAT/UNSAT calls       : 0,0
3600.04/3610.80	c regenrated variables  : 0
3600.04/3610.80	c eliminated fixed lits : 0
3600.04/3610.80	c goal lit flips        : 0
3600.04/3610.80	c goal stages           : 0
3600.04/3610.80	c goal shrink           : 0
3600.04/3610.80	c goal coeff separations: 0
3600.04/3610.80	c restarts              : 0
3600.04/3610.80	c conflicts             : 0              (0 /sec)
3600.04/3610.80	c decisions             : 0              (0 /sec)
3600.04/3610.80	c propagations          : 0              (0 /sec)
3600.04/3610.80	c inspects              : 0              (0 /sec)
3600.04/3610.80	c CPU time (solving tm) : 3076 s        (3035 s, SAT 0 s, UNSAT 0 s)
3600.04/3610.80	c Time for Opt-base     : 0.6432 s
3600.04/3610.80	c Steps for Opt-base    : 0
3600.04/3610.80	c Time for BDD coding   : 0 s
3600.04/3610.80	c Time for srt coding   : 20.34 s
3600.04/3610.80	c _____________________________________________________________________________
3600.04/3610.80	c received SIGTERM, forwarding to pbsolver...
3600.04/3610.87	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: 63665 MiB (53323 MiB free)
  memory of node 1: 64507 MiB (42060 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542521-1753217353/watcher-4542521-1753217353 -o /tmp/evaluation-result-4542521-1753217353/solver-4542521-1753217353 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1753210000-174949 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4542521-1753217353.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=176033, runsolver pid=176030

[startup+0.100066 s]*
/proc/loadavg: 4.12 4.12 4.10 5/271 176038
/proc/meminfo: memFree=97657736/131250000 swapFree=33010416/33010684
[pid=176033] ppid=176030 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/176033/stat : 176033 (scip-naps-1.00a) S 176030 176033 174935 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237415279 4292608 736 18446744073709551615 94589736714240 94589737608773 140730596576400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94589737847824 94589737895568 94589750407168 140730596579739 140730596579838 140730596579838 140730596585442 0
/proc/176033/statm: 1048 736 672 219 0 110 0
[pid=176038] ppid=176033 vsize=1186096 memory=30452 CPUtime=0.06 cores=0,2
/proc/176038/stat : 176038 (python3) R 176033 176033 174935 0 -1 4194304 3483 0 0 0 5 1 0 0 20 0 1 0 237415282 1214562304 7613 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 296524 7613 4765 1 0 268592 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1190288 KiB
Current children cumulated memory: 33396 KiB

[startup+0.205999 s]*
/proc/loadavg: 4.12 4.12 4.10 5/271 176038
/proc/meminfo: memFree=97617164/131250000 swapFree=33010416/33010684
[pid=176033] ppid=176030 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/176033/stat : 176033 (scip-naps-1.00a) S 176030 176033 174935 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237415279 4292608 736 18446744073709551615 94589736714240 94589737608773 140730596576400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94589737847824 94589737895568 94589750407168 140730596579739 140730596579838 140730596579838 140730596585442 0
/proc/176033/statm: 1048 736 672 219 0 110 0
[pid=176038] ppid=176033 vsize=1232464 memory=83828 CPUtime=0.16 cores=0,2
/proc/176038/stat : 176038 (python3) R 176033 176033 174935 0 -1 4194304 14225 0 0 0 13 3 0 0 20 0 1 0 237415282 1262043136 20957 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 308116 20957 7613 1 0 279474 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1236656 KiB
Current children cumulated memory: 86772 KiB

[startup+0.305965 s]*
/proc/loadavg: 4.12 4.12 4.10 5/271 176038
/proc/meminfo: memFree=97544588/131250000 swapFree=33010416/33010684
[pid=176033] ppid=176030 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/176033/stat : 176033 (scip-naps-1.00a) S 176030 176033 174935 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237415279 4292608 736 18446744073709551615 94589736714240 94589737608773 140730596576400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94589737847824 94589737895568 94589750407168 140730596579739 140730596579838 140730596579838 140730596585442 0
/proc/176033/statm: 1048 736 672 219 0 110 0
[pid=176038] ppid=176033 vsize=1303200 memory=153204 CPUtime=0.26 cores=0,2
/proc/176038/stat : 176038 (python3) R 176033 176033 174935 0 -1 4194304 31570 0 0 0 21 5 0 0 20 0 1 0 237415282 1334476800 38301 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 325800 38301 7613 1 0 297158 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1307392 KiB
Current children cumulated memory: 156148 KiB

[startup+0.700206 s]
/proc/loadavg: 4.12 4.12 4.10 5/271 176038
/proc/meminfo: memFree=97399436/131250000 swapFree=33010416/33010684
[pid=176033] ppid=176030 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/176033/stat : 176033 (scip-naps-1.00a) S 176030 176033 174935 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237415279 4292608 736 18446744073709551615 94589736714240 94589737608773 140730596576400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94589737847824 94589737895568 94589750407168 140730596579739 140730596579838 140730596579838 140730596585442 0
/proc/176033/statm: 1048 736 672 219 0 110 0
[pid=176038] ppid=176033 vsize=1545284 memory=395812 CPUtime=0.64 cores=0,2
/proc/176038/stat : 176038 (python3) R 176033 176033 174935 0 -1 4194304 91715 0 0 0 51 13 0 0 20 0 1 0 237415282 1582370816 98953 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 386321 98953 7613 1 0 357679 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1549476 KiB
Current children cumulated memory: 398756 KiB

[startup+1.5002 s]
/proc/loadavg: 4.12 4.12 4.10 5/271 176038
/proc/meminfo: memFree=97073788/131250000 swapFree=33010416/33010684
[pid=176033] ppid=176030 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/176033/stat : 176033 (scip-naps-1.00a) S 176030 176033 174935 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237415279 4292608 736 18446744073709551615 94589736714240 94589737608773 140730596576400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94589737847824 94589737895568 94589750407168 140730596579739 140730596579838 140730596579838 140730596585442 0
/proc/176033/statm: 1048 736 672 219 0 110 0
[pid=176038] ppid=176033 vsize=2048332 memory=898376 CPUtime=1.45 cores=0,2
/proc/176038/stat : 176038 (python3) R 176033 176033 174935 0 -1 4194304 215311 0 0 0 112 33 0 0 20 0 1 0 237415282 2097491968 224594 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 512083 224594 7613 1 0 483441 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 2052524 KiB
Current children cumulated memory: 901320 KiB

[startup+3.10581 s]
/proc/loadavg: 4.11 4.12 4.10 5/271 176038
/proc/meminfo: memFree=95699568/131250000 swapFree=33010416/33010684
[pid=176033] ppid=176030 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/176033/stat : 176033 (scip-naps-1.00a) S 176030 176033 174935 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237415279 4292608 736 18446744073709551615 94589736714240 94589737608773 140730596576400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94589737847824 94589737895568 94589750407168 140730596579739 140730596579838 140730596579838 140730596585442 0
/proc/176033/statm: 1048 736 672 219 0 110 0
[pid=176038] ppid=176033 vsize=3047048 memory=1882108 CPUtime=3.05 cores=0,2
/proc/176038/stat : 176038 (python3) R 176033 176033 174935 0 -1 4194304 448454 0 0 0 240 65 0 0 20 0 1 0 237415282 3120177152 470527 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 761762 470527 7613 1 0 733120 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 3051240 KiB
Current children cumulated memory: 1885052 KiB

[startup+6.3002 s]
/proc/loadavg: 4.11 4.12 4.10 5/271 176038
/proc/meminfo: memFree=93687732/131250000 swapFree=33010416/33010684
[pid=176033] ppid=176030 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/176033/stat : 176033 (scip-naps-1.00a) S 176030 176033 174935 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237415279 4292608 736 18446744073709551615 94589736714240 94589737608773 140730596576400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94589737847824 94589737895568 94589750407168 140730596579739 140730596579838 140730596579838 140730596585442 0
/proc/176033/statm: 1048 736 672 219 0 110 0
[pid=176038] ppid=176033 vsize=5469144 memory=4291984 CPUtime=6.23 cores=0,2
/proc/176038/stat : 176038 (python3) R 176033 176033 174935 0 -1 4194304 1025766 0 0 0 475 148 0 0 20 0 1 0 237415282 5600403456 1072996 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 1367286 1072996 7773 1 0 1338644 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 5473336 KiB
Current children cumulated memory: 4294928 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.12 4.10 5/271 176038
/proc/meminfo: memFree=90759828/131250000 swapFree=33010416/33010684
[pid=176033] ppid=176030 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/176033/stat : 176033 (scip-naps-1.00a) S 176030 176033 174935 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237415279 4292608 736 18446744073709551615 94589736714240 94589737608773 140730596576400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94589737847824 94589737895568 94589750407168 140730596579739 140730596579838 140730596579838 140730596585442 0
/proc/176033/statm: 1048 736 672 219 0 110 0
[pid=176038] ppid=176033 vsize=7611144 memory=6231428 CPUtime=12.62 cores=0,2
/proc/176038/stat : 176038 (python3) R 176033 176033 174935 0 -1 4194304 1395659 0 0 0 1050 212 0 0 20 0 1 0 237415282 7793811456 1557857 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 1902786 1557857 7837 1 0 1874144 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 7615336 KiB
Current children cumulated memory: 6234372 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.10 5/271 176038
/proc/meminfo: memFree=90070596/131250000 swapFree=33010416/33010684
[pid=176033] ppid=176030 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/176033/stat : 176033 (scip-naps-1.00a) S 176030 176033 174935 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237415279 4292608 736 18446744073709551615 94589736714240 94589737608773 140730596576400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94589737847824 94589737895568 94589750407168 140730596579739 140730596579838 140730596579838 140730596585442 0
/proc/176033/statm: 1048 736 672 219 0 110 0
[pid=176038] ppid=176033 vsize=8344992 memory=6942648 CPUtime=25.37 cores=0,2
/proc/176038/stat : 176038 (python3) R 176033 176033 174935 0 -1 4194304 1426296 0 0 0 2309 228 0 0 20 0 1 0 237415282 8545271808 1735662 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 2086248 1735662 7901 1 0 2057606 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 8349184 KiB
Current children cumulated memory: 6945592 KiB

[startup+51.106 s]
/proc/loadavg: 4.12 4.12 4.10 5/271 176039
/proc/meminfo: memFree=88779632/131250000 swapFree=33010416/33010684
[pid=176033] ppid=176030 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/176033/stat : 176033 (scip-naps-1.00a) S 176030 176033 174935 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237415279 4292608 736 18446744073709551615 94589736714240 94589737608773 140730596576400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94589737847824 94589737895568 94589750407168 140730596579739 140730596579838 140730596579838 140730596585442 0
/proc/176033/statm: 1048 736 672 219 0 110 0
[pid=176038] ppid=176033 vsize=10494740 memory=8214728 CPUtime=50.89 cores=0,2
/proc/176038/stat : 176038 (python3) R 176033 176033 174935 0 -1 4194304 1510737 0 0 0 4818 271 0 0 20 0 1 0 237415282 10746613760 2053682 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 2623685 2053682 7965 1 0 2595043 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 10498932 KiB
Current children cumulated memory: 8217672 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/270 176045
/proc/meminfo: memFree=87954988/131250000 swapFree=33010416/33010684
[pid=176033] ppid=176030 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/176033/stat : 176033 (scip-naps-1.00a) S 176030 176033 174935 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237415279 4292608 736 18446744073709551615 94589736714240 94589737608773 140730596576400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94589737847824 94589737895568 94589750407168 140730596579739 140730596579838 140730596579838 140730596585442 0
/proc/176033/statm: 1048 736 672 219 0 110 0
[pid=176038] ppid=176033 vsize=11027940 memory=9124936 CPUtime=101.89 cores=0,2
/proc/176038/stat : 176038 (python3) R 176033 176033 174935 0 -1 4194304 1790028 0 0 0 9831 358 0 0 20 0 1 0 237415282 11292610560 2281234 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 2756985 2281234 8061 1 0 2728343 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 11032132 KiB
Current children cumulated memory: 9127880 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/268 176047
/proc/meminfo: memFree=87952588/131250000 swapFree=33010416/33010684
[pid=176033] ppid=176030 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/176033/stat : 176033 (scip-naps-1.00a) S 176030 176033 174935 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237415279 4292608 736 18446744073709551615 94589736714240 94589737608773 140730596576400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94589737847824 94589737895568 94589750407168 140730596579739 140730596579838 140730596579838 140730596585442 0
/proc/176033/statm: 1048 736 672 219 0 110 0
[pid=176038] ppid=176033 vsize=11027940 memory=9124936 CPUtime=161.61 cores=0,2
/proc/176038/stat : 176038 (python3) R 176033 176033 174935 0 -1 4194304 1790213 0 0 0 15801 360 0 0 20 0 1 0 237415282 11292610560 2281234 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 2756985 2281234 8061 1 0 2728343 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 11032132 KiB
Current children cumulated memory: 9127880 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 176049
/proc/meminfo: memFree=87929736/131250000 swapFree=33010416/33010684
[pid=176033] ppid=176030 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/176033/stat : 176033 (scip-naps-1.00a) S 176030 176033 174935 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237415279 4292608 736 18446744073709551615 94589736714240 94589737608773 140730596576400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94589737847824 94589737895568 94589750407168 140730596579739 140730596579838 140730596579838 140730596585442 0
/proc/176033/statm: 1048 736 672 219 0 110 0
[pid=176038] ppid=176033 vsize=11027940 memory=9124936 CPUtime=221.34 cores=0,2
/proc/176038/stat : 176038 (python3) R 176033 176033 174935 0 -1 4194304 1790358 0 0 0 21770 364 0 0 20 0 1 0 237415282 11292610560 2281234 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 2756985 2281234 8061 1 0 2728343 0
Current children cumulated CPU time: 221.34 s

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

/proc/176038/stat : 176038 (python3) S 176033 176033 174935 0 -1 4194304 2130297 0 0 0 50662 452 0 0 20 0 1 0 237415282 12760883200 2639745 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 3115450 2639745 8093 1 0 3086808 0
[pid=176114] ppid=176038 vsize=6058988 memory=5142224 CPUtime=2821.17 cores=0,2
/proc/176114/stat : 176114 (naps-1.03a6) R 176038 176114 176114 0 -1 4194304 1728567 0 0 0 280865 1252 0 0 20 0 1 0 237466609 6204403712 1285556 18446744073709551615 4198400 7047149 140731096447216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 22351872 140731096455567 140731096455665 140731096455665 140731096461257 0
/proc/176114/statm: 1514747 1285556 544 696 0 1513908 0
Current children cumulated CPU time: 3332.31 s
Current children cumulated vsize: 18524980 KiB
Current children cumulated memory: 15704148 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/271 176272
/proc/meminfo: memFree=46030280/131250000 swapFree=33010416/33010684
[pid=176033] ppid=176030 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/176033/stat : 176033 (scip-naps-1.00a) S 176030 176033 174935 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237415279 4292608 736 18446744073709551615 94589736714240 94589737608773 140730596576400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94589737847824 94589737895568 94589750407168 140730596579739 140730596579838 140730596579838 140730596585442 0
/proc/176033/statm: 1048 736 672 219 0 110 0
[pid=176038] ppid=176033 vsize=12461800 memory=10558980 CPUtime=511.14 cores=0,2
/proc/176038/stat : 176038 (python3) S 176033 176033 174935 0 -1 4194304 2130297 0 0 0 50662 452 0 0 20 0 1 0 237415282 12760883200 2639745 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 3115450 2639745 8093 1 0 3086808 0
[pid=176114] ppid=176038 vsize=6058988 memory=5172944 CPUtime=2880.99 cores=0,2
/proc/176114/stat : 176114 (naps-1.03a6) R 176038 176114 176114 0 -1 4194304 1728924 0 0 0 286846 1253 0 0 20 0 1 0 237466609 6204403712 1293236 18446744073709551615 4198400 7047149 140731096447216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 22351872 140731096455567 140731096455665 140731096455665 140731096461257 0
/proc/176114/statm: 1514747 1293236 544 696 0 1513908 0
Current children cumulated CPU time: 3392.13 s
Current children cumulated vsize: 18524980 KiB
Current children cumulated memory: 15734868 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 176277
/proc/meminfo: memFree=44443028/131250000 swapFree=33010416/33010684
[pid=176033] ppid=176030 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/176033/stat : 176033 (scip-naps-1.00a) S 176030 176033 174935 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237415279 4292608 736 18446744073709551615 94589736714240 94589737608773 140730596576400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94589737847824 94589737895568 94589750407168 140730596579739 140730596579838 140730596579838 140730596585442 0
/proc/176033/statm: 1048 736 672 219 0 110 0
[pid=176038] ppid=176033 vsize=12461800 memory=10558980 CPUtime=511.14 cores=0,2
/proc/176038/stat : 176038 (python3) S 176033 176033 174935 0 -1 4194304 2130297 0 0 0 50662 452 0 0 20 0 1 0 237415282 12760883200 2639745 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 3115450 2639745 8093 1 0 3086808 0
[pid=176114] ppid=176038 vsize=6058988 memory=5150412 CPUtime=2940.83 cores=0,2
/proc/176114/stat : 176114 (naps-1.03a6) R 176038 176114 176114 0 -1 4194304 1732216 0 0 0 292816 1267 0 0 20 0 1 0 237466609 6204403712 1287603 18446744073709551615 4198400 7047149 140731096447216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 22351872 140731096455567 140731096455665 140731096455665 140731096461257 0
/proc/176114/statm: 1514747 1287603 544 696 0 1513908 0
Current children cumulated CPU time: 3451.97 s
Current children cumulated vsize: 18524980 KiB
Current children cumulated memory: 15712336 KiB

[startup+3522.3 s]
/proc/loadavg: 3.63 3.98 4.05 4/264 176310
/proc/meminfo: memFree=63573776/131250000 swapFree=33010416/33010684
[pid=176033] ppid=176030 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/176033/stat : 176033 (scip-naps-1.00a) S 176030 176033 174935 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237415279 4292608 736 18446744073709551615 94589736714240 94589737608773 140730596576400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94589737847824 94589737895568 94589750407168 140730596579739 140730596579838 140730596579838 140730596585442 0
/proc/176033/statm: 1048 736 672 219 0 110 0
[pid=176038] ppid=176033 vsize=12461800 memory=10558980 CPUtime=511.14 cores=0,2
/proc/176038/stat : 176038 (python3) S 176033 176033 174935 0 -1 4194304 2130297 0 0 0 50662 452 0 0 20 0 1 0 237415282 12760883200 2639745 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 3115450 2639745 8093 1 0 3086808 0
[pid=176114] ppid=176038 vsize=5796844 memory=4921036 CPUtime=3000.67 cores=0,2
/proc/176114/stat : 176114 (naps-1.03a6) R 176038 176114 176114 0 -1 4194304 1733497 0 0 0 298795 1272 0 0 20 0 1 0 237466609 5935968256 1230259 18446744073709551615 4198400 7047149 140731096447216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 22351872 140731096455567 140731096455665 140731096455665 140731096461257 0
/proc/176114/statm: 1449211 1230259 544 696 0 1448372 0
Current children cumulated CPU time: 3511.81 s
Current children cumulated vsize: 18262836 KiB
Current children cumulated memory: 15482960 KiB

[startup+3582.3 s]
/proc/loadavg: 3.38 3.84 4.00 3/256 176343
/proc/meminfo: memFree=82117676/131250000 swapFree=33010416/33010684
[pid=176033] ppid=176030 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/176033/stat : 176033 (scip-naps-1.00a) S 176030 176033 174935 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237415279 4292608 736 18446744073709551615 94589736714240 94589737608773 140730596576400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94589737847824 94589737895568 94589750407168 140730596579739 140730596579838 140730596579838 140730596585442 0
/proc/176033/statm: 1048 736 672 219 0 110 0
[pid=176038] ppid=176033 vsize=12461800 memory=10558980 CPUtime=511.14 cores=0,2
/proc/176038/stat : 176038 (python3) S 176033 176033 174935 0 -1 4194304 2130297 0 0 0 50662 452 0 0 20 0 1 0 237415282 12760883200 2639745 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 3115450 2639745 8093 1 0 3086808 0
[pid=176114] ppid=176038 vsize=5796844 memory=4992716 CPUtime=3060.5 cores=0,2
/proc/176114/stat : 176114 (naps-1.03a6) R 176038 176114 176114 0 -1 4194304 1733905 0 0 0 304776 1274 0 0 20 0 1 0 237466609 5935968256 1248179 18446744073709551615 4198400 7047149 140731096447216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 22351872 140731096455567 140731096455665 140731096455665 140731096461257 0
/proc/176114/statm: 1449211 1248179 544 696 0 1448372 0
Current children cumulated CPU time: 3571.64 s
Current children cumulated vsize: 18262836 KiB
Current children cumulated memory: 15554640 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 2.83 3.67 3.93 3/256 176344
/proc/meminfo: memFree=82080828/131250000 swapFree=33010416/33010684
[pid=176033] ppid=176030 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/176033/stat : 176033 (scip-naps-1.00a) S 176030 176033 174935 0 -1 4194304 259 342 0 0 0 0 0 0 20 0 1 0 237415279 4292608 736 18446744073709551615 94589736714240 94589737608773 140730596576400 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94589737847824 94589737895568 94589750407168 140730596579739 140730596579838 140730596579838 140730596585442 0
/proc/176033/statm: 1048 736 672 219 0 110 0
[pid=176038] ppid=176033 vsize=12461800 memory=10558980 CPUtime=511.14 cores=0,2
/proc/176038/stat : 176038 (python3) S 176033 176033 174935 0 -1 4194304 2130297 0 0 0 50662 452 0 0 20 0 1 0 237415282 12760883200 2639745 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 3115450 2639745 8093 1 0 3086808 0
[pid=176114] ppid=176038 vsize=5796844 memory=5025484 CPUtime=3088.9 cores=0,2
/proc/176114/stat : 176114 (naps-1.03a6) R 176038 176114 176114 0 -1 4194304 1734223 0 0 0 307615 1275 0 0 20 0 1 0 237466609 5935968256 1256371 18446744073709551615 4198400 7047149 140731096447216 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 22351872 140731096455567 140731096455665 140731096455665 140731096461257 0
/proc/176114/statm: 1449211 1256371 544 696 0 1448372 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 18262836 KiB
Current children cumulated memory: 15587408 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.003822 s, system=0.012146 s
Sleeping 2 seconds

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

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

# cumulated CPU time of all completed processes:  user=3584.49 s, system=17.8456 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+3611.2 s]
/proc/loadavg: 2.83 3.67 3.93 3/254 176344
/proc/meminfo: memFree=87107952/131250000 swapFree=33010416/33010684
[pid=176038] ppid=176030 vsize=12461800 memory=10558980 CPUtime=3600.44 cores=0,2
/proc/176038/stat : 176038 (python3) R 176030 176033 174935 0 -1 4194304 2323466 1734224 0 0 50685 461 307615 1283 20 0 1 0 237415282 12760883200 2639745 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 3115450 2639745 8093 1 0 3086808 0
Current cumulated CPU time of completed processes: 0.015968 s
Current children cumulated CPU time: 3600.44 s
Current children cumulated vsize: 12461800 KiB
Current children cumulated memory: 10558980 KiB

[startup+3612 s]*
/proc/loadavg: 2.83 3.67 3.93 3/254 176344
/proc/meminfo: memFree=87108240/131250000 swapFree=33010416/33010684
[pid=176038] ppid=176030 vsize=12461800 memory=10558980 CPUtime=3601.24 cores=0,2
/proc/176038/stat : 176038 (python3) R 176030 176033 174935 0 -1 4194304 2440268 1734224 0 0 50760 466 307615 1283 20 0 1 0 237415282 12760883200 2639745 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 3115450 2639745 8093 1 0 3086808 0
Current cumulated CPU time of completed processes: 0.015968 s
Current children cumulated CPU time: 3601.24 s
Current children cumulated vsize: 12461800 KiB
Current children cumulated memory: 10558980 KiB

[startup+3612.4 s]
/proc/loadavg: 2.83 3.67 3.93 3/254 176344
/proc/meminfo: memFree=87108240/131250000 swapFree=33010416/33010684
[pid=176038] ppid=176030 vsize=12461800 memory=10558980 CPUtime=3601.63 cores=0,2
/proc/176038/stat : 176038 (python3) R 176030 176033 174935 0 -1 4194304 2498562 1734224 0 0 50796 469 307615 1283 20 0 1 0 237415282 12760883200 2639745 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 3115450 2639745 8093 1 0 3086808 0
Current cumulated CPU time of completed processes: 0.015968 s
Current children cumulated CPU time: 3601.63 s
Current children cumulated vsize: 12461800 KiB
Current children cumulated memory: 10558980 KiB

[startup+3612.8 s]
/proc/loadavg: 2.83 3.67 3.93 3/254 176344
/proc/meminfo: memFree=87108240/131250000 swapFree=33010416/33010684
[pid=176038] ppid=176030 vsize=12461800 memory=10558980 CPUtime=3602.04 cores=0,2
/proc/176038/stat : 176038 (python3) R 176030 176033 174935 0 -1 4194304 2558283 1734224 0 0 50833 473 307615 1283 20 0 1 0 237415282 12760883200 2639745 18446744073709551615 94266705379328 94266705379705 140729452015200 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94266705391000 94266705391620 94266732974080 140729452022095 140729452022304 140729452022304 140729452027879 0
/proc/176038/statm: 3115450 2639745 8093 1 0 3086808 0
Current cumulated CPU time of completed processes: 0.015968 s
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 12461800 KiB
Current children cumulated memory: 10558980 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3613.07
CPU time (s): 3602.34
CPU user time (s): 3584.49
CPU system time (s): 17.8456
CPU usage (%): 99.7031
Max. virtual memory (cumulated for all children) (KiB): 21003692
Max. memory (cumulated for all children) (KiB): 17437308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.49
system time used= 17.8456
maximum resident set size= 10558980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4293121
page faults= 0
swaps= 0
block input operations= 0
block output operations= 119272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 340
involuntary context switches= 7866


# summary of solver processes directly reported to runsolver:
#   pid: 176033,176038
#   total CPU time (s): 3602.34
#   total CPU user time (s): 3584.49
#   total CPU system time (s): 17.8456

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.42661 second user time and 18.7875 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-22 22:49:14
IDJOB=4542521
IDBENCH=163930
IDSOLVER=3388
FILE ID=nodeC027/4542521-1753217353
RUNJOBID= nodeC027-1753210000-174949
SLURM_JOB_ID= 9687782
Free space on /tmp= 432804 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height47_pigeons46_holes45.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542521-1753217353/watcher-4542521-1753217353 -o /tmp/evaluation-result-4542521-1753217353/solver-4542521-1753217353 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1753210000-174949 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4542521-1753217353.opb

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

MD5SUM BENCH= cca449fd552693742bf3f30208712226
RANDOM SEED=209363912

nodeC027 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.660
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        97673856 kB
MemAvailable:   111788668 kB
Buffers:            2488 kB
Cached:         14880740 kB
SwapCached:            8 kB
Active:         19010484 kB
Inactive:       13783992 kB
Active(anon):   17934712 kB
Inactive(anon):     2788 kB
Active(file):    1075772 kB
Inactive(file): 13781204 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             65192 kB
Writeback:             4 kB
AnonPages:      17910252 kB
Mapped:           133612 kB
Shmem:             26252 kB
KReclaimable:     193752 kB
Slab:             289652 kB
SReclaimable:     193752 kB
SUnreclaim:        95900 kB
KernelStack:        4368 kB
PageTables:        38892 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   23273688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4874240 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432764 MiB
End job on nodeC027 at 2025-07-22 23:49:27