Trace number 4530565

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) 2952.97 2961.72

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height46_pigeons45_holes44.opb
MD5SUM57fb5f2576749c6f64e06149678741e6
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1128
Best CPU time to get the best result obtained on this benchmark629.539
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2235696
Total number of constraints106878
Number of constraints which are clauses54003
Number of constraints which are cardinality constraints (but not clauses)48504
Number of constraints which are nor clauses,nor cardinality constraints4371
Minimum length of a constraint44
Maximum length of a constraint49
Number of terms in the objective function 2256
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2256
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2256
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1008.66/1011.93	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530565-1752261933.opb
1008.66/1011.93	c Solving mode: optimization
1008.66/1011.93	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
1008.66/1011.93	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
1008.66/1011.93	c original problem has 2235696 variables (2235696 bin, 0 int, 0 impl, 0 cont) and 106878 constraints
1008.66/1011.93	c presolving:
1008.66/1011.93	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 58327 upgd conss, 0 impls, 48504 clqs
1008.66/1011.93	c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 106878 upgd conss, 0 impls, 48504 clqs
1008.66/1011.93	c    (31.6s) probing: 51/2235696 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1008.66/1011.93	c    (31.6s) probing aborted: 50/50 successive totally useless probings
1008.66/1011.93	c    (33.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1008.66/1011.93	c symmetry computation terminated early, because number of cells 100052 in Nauty exceeds limit of 100000
1008.66/1011.93	c for running full symmetry detection, increase value of parameter propagating/symmetry/nautymaxncells
1008.66/1011.93	c    (48.8s) symmetry computation finished: 28 generators found (max: 28, log10 of symmetry group size: 0.0) (symcode time: 14.74)
1008.66/1011.93	c dynamic symmetry handling statistics:
1008.66/1011.93	c    orbitopal reduction:       no components
1008.66/1011.93	c    orbital reduction:          1 components of sizes 28
1008.66/1011.93	c    lexicographic reduction:   28 permutations with support sizes 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90, 90
1008.66/1011.93	c handled 1 out of 1 symmetry components
1008.66/1011.93	c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
1008.66/1011.93	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1008.66/1011.93	c  0 implications, 48504 cliques
1008.66/1011.93	c presolved problem has 2235696 variables (2235696 bin, 0 int, 0 impl, 0 cont) and 106878 constraints
1008.66/1011.93	c    4371 constraints of type <knapsack>
1008.66/1011.93	c   48504 constraints of type <setppc>
1008.66/1011.93	c   54003 constraints of type <logicor>
1008.66/1011.93	c transformed objective value is always integral (scale: 1)
1008.66/1011.93	c Presolving Time: 46.26
1008.66/1011.93	c 
1008.66/1011.93	c 
1008.66/1011.93	c SCIP Status        : solving was interrupted [time limit reached]
1008.66/1011.93	c Solving Time (sec) : 1000.03
1008.66/1011.93	c Solving Nodes      : 1
1008.66/1011.93	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1008.66/1011.93	c Dual Bound         : +0.00000000000000e+00
1008.66/1011.93	c Gap                : infinite
1008.66/1011.93	c ----------------------------------------------------------------------
1008.66/1011.93	c dual bound: 0.0 -> 0
1008.66/1011.93	c primal bound: 1e+20 -> 100000000000000000000
1008.66/1011.93	c scip-goal-lb: 0
1008.66/1011.93	c scip-goal-ub: 100000000000000000000
1008.66/1011.93	c writing output to: HOME/tmpmpwwah6n.opb
1008.66/1011.93	c appending fixed variable constraints
1008.66/1011.93	c scip-fixed vars: 0.00% (0/2235696)
1008.66/1011.93	c ----------------------------------------------------------------------
1008.66/1011.93	c executing external solver: HOME/naps-1.03a6
1008.66/1011.93	c ----------------------------------------------------------------------
1008.66/1011.93	c command: HOME/naps-1.03a6 -goal-lb=0 -goal-ub=99999999999999999999 HOME/tmpmpwwah6n.opb
1008.79/1012.12	c NaPS 1.03a6.
1008.79/1012.12	c Input file name: HOME/tmpmpwwah6n.opb
1054.14/1057.50	c single stage optimization mode
2950.63/2959.40	c
2950.63/2959.40	c *** TERMINATED *** by signal 15
2950.63/2959.40	c s UNKNOWN
2950.63/2959.40	c _____________________________________________________________________________
2950.63/2959.40	c std/band forms        : 52875,0
2950.63/2959.40	c 2cl/3cl ITE-codings   : 0,0
2950.63/2959.40	c BDD/srt/adr Max costs : 0,788,0
2950.63/2959.40	c BDDraw/bin/mul/srt/adr: 0,0,0,52875,0
2950.63/2959.40	c BDD nodes             : 0
2950.63/2959.40	c Es1/CC detections     : 0,0
2950.63/2959.40	c CC sort               : 52875
2950.63/2959.40	c SAT/UNSAT calls       : 0,0
2950.63/2959.40	c regenrated variables  : 0
2950.63/2959.40	c eliminated fixed lits : 0
2950.63/2959.40	c goal lit flips        : 0
2950.63/2959.40	c goal stages           : 1
2950.63/2959.40	c goal shrink           : 0
2950.63/2959.40	c goal coeff separations: 0
2950.63/2959.40	c restarts              : 0
2950.63/2959.40	c conflicts             : 0              (0 /sec)
2950.63/2959.40	c decisions             : 0              (0 /sec)
2950.63/2959.40	c propagations          : 0              (0 /sec)
2950.63/2959.40	c inspects              : 0              (0 /sec)
2950.63/2959.40	c CPU time (solving tm) : 1904 s        (1863 s, SAT 0 s, UNSAT 0 s)
2950.63/2959.40	c Time for Opt-base     : 0.5707 s
2950.63/2959.40	c Steps for Opt-base    : 0
2950.63/2959.40	c Time for BDD coding   : 0 s
2950.63/2959.40	c Time for srt coding   : 17.22 s
2950.63/2959.40	c _____________________________________________________________________________
2950.63/2959.40	c received SIGTERM, forwarding to pbsolver...
1008.80/2959.58	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (53906 MiB free)
  memory of node 1: 64465 MiB (59483 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530565-1752261933/watcher-4530565-1752261933 -o /tmp/evaluation-result-4530565-1752261933/solver-4530565-1752261933 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1752256628-132453 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530565-1752261933.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=134057, runsolver pid=134054

[startup+0.100062 s]*
/proc/loadavg: 4.16 4.14 4.10 5/271 134062
/proc/meminfo: memFree=116098400/131250000 swapFree=33010160/33010684
[pid=134057] ppid=134054 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134057/stat : 134057 (scip-naps-1.00a) S 134054 134057 132442 0 -1 4194304 260 344 0 0 0 0 0 0 20 0 1 0 141870883 4292608 736 18446744073709551615 94900597534720 94900598429253 140722914756336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94900598668304 94900598716048 94900631519232 140722914761115 140722914761214 140722914761214 140722914766818 0
/proc/134057/statm: 1048 736 672 219 0 110 0
[pid=134062] ppid=134057 vsize=1187400 memory=32300 CPUtime=0.07 cores=4,6
/proc/134062/stat : 134062 (python3) R 134057 134057 132442 0 -1 4194304 3811 0 0 0 6 1 0 0 20 0 1 0 141870885 1215897600 8075 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 296850 8075 4907 1 0 268872 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191592 KiB
Current children cumulated memory: 35244 KiB

[startup+0.205729 s]*
/proc/loadavg: 4.16 4.14 4.10 5/271 134062
/proc/meminfo: memFree=116037920/131250000 swapFree=33010160/33010684
[pid=134057] ppid=134054 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134057/stat : 134057 (scip-naps-1.00a) S 134054 134057 132442 0 -1 4194304 260 344 0 0 0 0 0 0 20 0 1 0 141870883 4292608 736 18446744073709551615 94900597534720 94900598429253 140722914756336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94900598668304 94900598716048 94900631519232 140722914761115 140722914761214 140722914761214 140722914766818 0
/proc/134057/statm: 1048 736 672 219 0 110 0
[pid=134062] ppid=134057 vsize=1246788 memory=98220 CPUtime=0.16 cores=4,6
/proc/134062/stat : 134062 (python3) R 134057 134057 132442 0 -1 4194304 17810 0 0 0 13 3 0 0 20 0 1 0 141870885 1276710912 24555 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 311697 24555 7627 1 0 283055 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1250980 KiB
Current children cumulated memory: 101164 KiB

[startup+0.305721 s]*
/proc/loadavg: 4.16 4.14 4.10 5/271 134062
/proc/meminfo: memFree=115965344/131250000 swapFree=33010160/33010684
[pid=134057] ppid=134054 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134057/stat : 134057 (scip-naps-1.00a) S 134054 134057 132442 0 -1 4194304 260 344 0 0 0 0 0 0 20 0 1 0 141870883 4292608 736 18446744073709551615 94900597534720 94900598429253 140722914756336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94900598668304 94900598716048 94900631519232 140722914761115 140722914761214 140722914761214 140722914766818 0
/proc/134057/statm: 1048 736 672 219 0 110 0
[pid=134062] ppid=134057 vsize=1319400 memory=170284 CPUtime=0.26 cores=4,6
/proc/134062/stat : 134062 (python3) R 134057 134057 132442 0 -1 4194304 35816 0 0 0 21 5 0 0 20 0 1 0 141870885 1351065600 42571 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 329850 42571 7627 1 0 301208 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1323592 KiB
Current children cumulated memory: 173228 KiB

[startup+0.700207 s]
/proc/loadavg: 4.16 4.14 4.10 5/271 134062
/proc/meminfo: memFree=115828508/131250000 swapFree=33010160/33010684
[pid=134057] ppid=134054 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134057/stat : 134057 (scip-naps-1.00a) S 134054 134057 132442 0 -1 4194304 260 344 0 0 0 0 0 0 20 0 1 0 141870883 4292608 736 18446744073709551615 94900597534720 94900598429253 140722914756336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94900598668304 94900598716048 94900631519232 140722914761115 140722914761214 140722914761214 140722914766818 0
/proc/134057/statm: 1048 736 672 219 0 110 0
[pid=134062] ppid=134057 vsize=1597068 memory=447580 CPUtime=0.65 cores=4,6
/proc/134062/stat : 134062 (python3) R 134057 134057 132442 0 -1 4194304 104616 0 0 0 49 16 0 0 20 0 1 0 141870885 1635397632 111895 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 399267 111895 7627 1 0 370625 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1601260 KiB
Current children cumulated memory: 450524 KiB

[startup+1.50021 s]
/proc/loadavg: 4.16 4.14 4.10 5/271 134062
/proc/meminfo: memFree=115470604/131250000 swapFree=33010160/33010684
[pid=134057] ppid=134054 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134057/stat : 134057 (scip-naps-1.00a) S 134054 134057 132442 0 -1 4194304 260 344 0 0 0 0 0 0 20 0 1 0 141870883 4292608 736 18446744073709551615 94900597534720 94900598429253 140722914756336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94900598668304 94900598716048 94900631519232 140722914761115 140722914761214 140722914761214 140722914766818 0
/proc/134057/statm: 1048 736 672 219 0 110 0
[pid=134062] ppid=134057 vsize=2147244 memory=996956 CPUtime=1.45 cores=4,6
/proc/134062/stat : 134062 (python3) R 134057 134057 132442 0 -1 4194304 234817 0 0 0 108 37 0 0 20 0 1 0 141870885 2198777856 249239 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 536811 249239 7627 1 0 508169 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 2151436 KiB
Current children cumulated memory: 999900 KiB

[startup+3.10554 s]
/proc/loadavg: 4.16 4.14 4.10 5/271 134062
/proc/meminfo: memFree=114095744/131250000 swapFree=33010160/33010684
[pid=134057] ppid=134054 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134057/stat : 134057 (scip-naps-1.00a) S 134054 134057 132442 0 -1 4194304 260 344 0 0 0 0 0 0 20 0 1 0 141870883 4292608 736 18446744073709551615 94900597534720 94900598429253 140722914756336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94900598668304 94900598716048 94900631519232 140722914761115 140722914761214 140722914761214 140722914766818 0
/proc/134057/statm: 1048 736 672 219 0 110 0
[pid=134062] ppid=134057 vsize=3267924 memory=2115920 CPUtime=3.04 cores=4,6
/proc/134062/stat : 134062 (python3) R 134057 134057 132442 0 -1 4194304 502817 0 0 0 227 77 0 0 20 0 1 0 141870885 3346354176 528980 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 816981 528980 7627 1 0 788339 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 3272116 KiB
Current children cumulated memory: 2118864 KiB

[startup+6.30019 s]
/proc/loadavg: 4.14 4.14 4.10 5/271 134062
/proc/meminfo: memFree=111638712/131250000 swapFree=33010160/33010684
[pid=134057] ppid=134054 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134057/stat : 134057 (scip-naps-1.00a) S 134054 134057 132442 0 -1 4194304 260 344 0 0 0 0 0 0 20 0 1 0 141870883 4292608 736 18446744073709551615 94900597534720 94900598429253 140722914756336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94900598668304 94900598716048 94900631519232 140722914761115 140722914761214 140722914761214 140722914766818 0
/proc/134057/statm: 1048 736 672 219 0 110 0
[pid=134062] ppid=134057 vsize=5704672 memory=4554964 CPUtime=6.23 cores=4,6
/proc/134062/stat : 134062 (python3) R 134057 134057 132442 0 -1 4194304 1081256 0 0 0 455 168 0 0 20 0 1 0 141870885 5841584128 1138741 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 1426168 1138741 7819 1 0 1397526 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 5708864 KiB
Current children cumulated memory: 4557908 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.14 4.10 5/273 134065
/proc/meminfo: memFree=110173588/131250000 swapFree=33010160/33010684
[pid=134057] ppid=134054 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134057/stat : 134057 (scip-naps-1.00a) S 134054 134057 132442 0 -1 4194304 260 344 0 0 0 0 0 0 20 0 1 0 141870883 4292608 736 18446744073709551615 94900597534720 94900598429253 140722914756336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94900598668304 94900598716048 94900631519232 140722914761115 140722914761214 140722914761214 140722914766818 0
/proc/134057/statm: 1048 736 672 219 0 110 0
[pid=134062] ppid=134057 vsize=7313796 memory=5925224 CPUtime=12.61 cores=4,6
/proc/134062/stat : 134062 (python3) R 134057 134057 132442 0 -1 4194304 1303315 0 0 0 1050 211 0 0 20 0 1 0 141870885 7489327104 1481306 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 1828449 1481306 7915 1 0 1799807 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 7317988 KiB
Current children cumulated memory: 5928168 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.13 4.10 5/273 134065
/proc/meminfo: memFree=109539424/131250000 swapFree=33010160/33010684
[pid=134057] ppid=134054 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134057/stat : 134057 (scip-naps-1.00a) S 134054 134057 132442 0 -1 4194304 260 344 0 0 0 0 0 0 20 0 1 0 141870883 4292608 736 18446744073709551615 94900597534720 94900598429253 140722914756336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94900598668304 94900598716048 94900631519232 140722914761115 140722914761214 140722914761214 140722914766818 0
/proc/134057/statm: 1048 736 672 219 0 110 0
[pid=134062] ppid=134057 vsize=7786488 memory=6425808 CPUtime=25.38 cores=4,6
/proc/134062/stat : 134062 (python3) R 134057 134057 132442 0 -1 4194304 1321798 0 0 0 2315 223 0 0 20 0 1 0 141870885 7973363712 1606452 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 1946622 1606452 7979 1 0 1917980 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 7790680 KiB
Current children cumulated memory: 6428752 KiB

[startup+51.1058 s]
/proc/loadavg: 4.08 4.12 4.10 5/272 134114
/proc/meminfo: memFree=108250900/131250000 swapFree=33010160/33010684
[pid=134057] ppid=134054 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134057/stat : 134057 (scip-naps-1.00a) S 134054 134057 132442 0 -1 4194304 260 344 0 0 0 0 0 0 20 0 1 0 141870883 4292608 736 18446744073709551615 94900597534720 94900598429253 140722914756336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94900598668304 94900598716048 94900631519232 140722914761115 140722914761214 140722914761214 140722914766818 0
/proc/134057/statm: 1048 736 672 219 0 110 0
[pid=134062] ppid=134057 vsize=10332544 memory=8168736 CPUtime=50.91 cores=4,6
/proc/134062/stat : 134062 (python3) R 134057 134057 132442 0 -1 4194304 1541020 0 0 0 4795 296 0 0 20 0 1 0 141870885 10580525056 2042184 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 2583136 2042184 8011 1 0 2554494 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 10336736 KiB
Current children cumulated memory: 8171680 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/270 134213
/proc/meminfo: memFree=109153220/131250000 swapFree=33010160/33010684
[pid=134057] ppid=134054 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134057/stat : 134057 (scip-naps-1.00a) S 134054 134057 132442 0 -1 4194304 260 344 0 0 0 0 0 0 20 0 1 0 141870883 4292608 736 18446744073709551615 94900597534720 94900598429253 140722914756336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94900598668304 94900598716048 94900631519232 140722914761115 140722914761214 140722914761214 140722914766818 0
/proc/134057/statm: 1048 736 672 219 0 110 0
[pid=134062] ppid=134057 vsize=9114616 memory=7251148 CPUtime=101.92 cores=4,6
/proc/134062/stat : 134062 (python3) R 134057 134057 132442 0 -1 4194304 1555623 0 0 0 9885 307 0 0 20 0 1 0 141870885 9333366784 1812787 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 2278654 1812787 8043 1 0 2250012 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 9118808 KiB
Current children cumulated memory: 7254092 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/269 134215
/proc/meminfo: memFree=109091456/131250000 swapFree=33010160/33010684
[pid=134057] ppid=134054 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134057/stat : 134057 (scip-naps-1.00a) S 134054 134057 132442 0 -1 4194304 260 344 0 0 0 0 0 0 20 0 1 0 141870883 4292608 736 18446744073709551615 94900597534720 94900598429253 140722914756336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94900598668304 94900598716048 94900631519232 140722914761115 140722914761214 140722914761214 140722914766818 0
/proc/134057/statm: 1048 736 672 219 0 110 0
[pid=134062] ppid=134057 vsize=9114616 memory=7251148 CPUtime=161.74 cores=4,6
/proc/134062/stat : 134062 (python3) R 134057 134057 132442 0 -1 4194304 1555624 0 0 0 15867 307 0 0 20 0 1 0 141870885 9333366784 1812787 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 2278654 1812787 8043 1 0 2250012 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 9118808 KiB
Current children cumulated memory: 7254092 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/271 134221
/proc/meminfo: memFree=109086280/131250000 swapFree=33010160/33010684
[pid=134057] ppid=134054 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134057/stat : 134057 (scip-naps-1.00a) S 134054 134057 132442 0 -1 4194304 260 344 0 0 0 0 0 0 20 0 1 0 141870883 4292608 736 18446744073709551615 94900597534720 94900598429253 140722914756336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94900598668304 94900598716048 94900631519232 140722914761115 140722914761214 140722914761214 140722914766818 0
/proc/134057/statm: 1048 736 672 219 0 110 0
[pid=134062] ppid=134057 vsize=9114616 memory=7252428 CPUtime=221.55 cores=4,6
/proc/134062/stat : 134062 (python3) R 134057 134057 132442 0 -1 4194304 1555627 0 0 0 21845 310 0 0 20 0 1 0 141870885 9333366784 1813107 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 2278654 1813107 8043 1 0 2250012 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 9118808 KiB

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

/proc/134062/stat : 134062 (python3) S 134057 134057 132442 0 -1 4194304 2048304 0 0 0 100389 490 0 0 20 0 1 0 141870885 11963215872 2467357 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 2920707 2467357 8139 1 0 2892065 0
[pid=134265] ppid=134062 vsize=12974724 memory=12041596 CPUtime=1665.57 cores=4,6
/proc/134265/stat : 134265 (naps-1.03a6) R 134062 134265 134265 0 -1 4194304 1665597 0 0 0 163248 3309 0 0 20 0 1 0 141972086 13286117376 3010399 18446744073709551615 4198400 7047149 140731698418672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 8429568 140731698420070 140731698420209 140731698420209 140731698425801 0
/proc/134265/statm: 3243681 3010399 608 696 0 3242842 0
Current children cumulated CPU time: 2674.36 s
Current children cumulated vsize: 24661744 KiB
Current children cumulated memory: 21913968 KiB

[startup+2742.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 134413
/proc/meminfo: memFree=90366796/131250000 swapFree=33010160/33010684
[pid=134057] ppid=134054 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134057/stat : 134057 (scip-naps-1.00a) S 134054 134057 132442 0 -1 4194304 260 344 0 0 0 0 0 0 20 0 1 0 141870883 4292608 736 18446744073709551615 94900597534720 94900598429253 140722914756336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94900598668304 94900598716048 94900631519232 140722914761115 140722914761214 140722914761214 140722914766818 0
/proc/134057/statm: 1048 736 672 219 0 110 0
[pid=134062] ppid=134057 vsize=11682828 memory=9869428 CPUtime=1008.79 cores=4,6
/proc/134062/stat : 134062 (python3) S 134057 134057 132442 0 -1 4194304 2048304 0 0 0 100389 490 0 0 20 0 1 0 141870885 11963215872 2467357 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 2920707 2467357 8139 1 0 2892065 0
[pid=134265] ppid=134062 vsize=12974348 memory=12043268 CPUtime=1725.39 cores=4,6
/proc/134265/stat : 134265 (naps-1.03a6) R 134062 134265 134265 0 -1 4194304 1676125 0 0 0 169092 3447 0 0 20 0 1 0 141972086 13285732352 3010817 18446744073709551615 4198400 7047149 140731698418672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 8429568 140731698420070 140731698420209 140731698420209 140731698425801 0
/proc/134265/statm: 3243587 3010817 608 696 0 3242748 0
Current children cumulated CPU time: 2734.18 s
Current children cumulated vsize: 24661368 KiB
Current children cumulated memory: 21915640 KiB

[startup+2802.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/272 134419
/proc/meminfo: memFree=90184924/131250000 swapFree=33010160/33010684
[pid=134057] ppid=134054 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134057/stat : 134057 (scip-naps-1.00a) S 134054 134057 132442 0 -1 4194304 260 344 0 0 0 0 0 0 20 0 1 0 141870883 4292608 736 18446744073709551615 94900597534720 94900598429253 140722914756336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94900598668304 94900598716048 94900631519232 140722914761115 140722914761214 140722914761214 140722914766818 0
/proc/134057/statm: 1048 736 672 219 0 110 0
[pid=134062] ppid=134057 vsize=11682828 memory=9869428 CPUtime=1008.79 cores=4,6
/proc/134062/stat : 134062 (python3) S 134057 134057 132442 0 -1 4194304 2048304 0 0 0 100389 490 0 0 20 0 1 0 141870885 11963215872 2467357 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 2920707 2467357 8139 1 0 2892065 0
[pid=134265] ppid=134062 vsize=12858436 memory=12172524 CPUtime=1785.22 cores=4,6
/proc/134265/stat : 134265 (naps-1.03a6) R 134062 134265 134265 0 -1 4194304 1692759 0 0 0 174948 3574 0 0 20 0 1 0 141972086 13167038464 3043131 18446744073709551615 4198400 7047149 140731698418672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 8429568 140731698420070 140731698420209 140731698420209 140731698425801 0
/proc/134265/statm: 3214609 3043131 608 696 0 3213770 0
Current children cumulated CPU time: 2794.01 s
Current children cumulated vsize: 24545456 KiB
Current children cumulated memory: 22044896 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/272 134421
/proc/meminfo: memFree=90014412/131250000 swapFree=33010160/33010684
[pid=134057] ppid=134054 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134057/stat : 134057 (scip-naps-1.00a) S 134054 134057 132442 0 -1 4194304 260 344 0 0 0 0 0 0 20 0 1 0 141870883 4292608 736 18446744073709551615 94900597534720 94900598429253 140722914756336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94900598668304 94900598716048 94900631519232 140722914761115 140722914761214 140722914761214 140722914766818 0
/proc/134057/statm: 1048 736 672 219 0 110 0
[pid=134062] ppid=134057 vsize=11682828 memory=9869428 CPUtime=1008.79 cores=4,6
/proc/134062/stat : 134062 (python3) S 134057 134057 132442 0 -1 4194304 2048304 0 0 0 100389 490 0 0 20 0 1 0 141870885 11963215872 2467357 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 2920707 2467357 8139 1 0 2892065 0
[pid=134265] ppid=134062 vsize=12833752 memory=12381312 CPUtime=1845.04 cores=4,6
/proc/134265/stat : 134265 (naps-1.03a6) R 134062 134265 134265 0 -1 4194304 1700717 0 0 0 180855 3649 0 0 20 0 1 0 141972086 13141762048 3095328 18446744073709551615 4198400 7047149 140731698418672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 8429568 140731698420070 140731698420209 140731698420209 140731698425801 0
/proc/134265/statm: 3208438 3095328 608 696 0 3207599 0
Current children cumulated CPU time: 2853.83 s
Current children cumulated vsize: 24520772 KiB
Current children cumulated memory: 22253684 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/271 134423
/proc/meminfo: memFree=89333888/131250000 swapFree=33010160/33010684
[pid=134057] ppid=134054 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134057/stat : 134057 (scip-naps-1.00a) S 134054 134057 132442 0 -1 4194304 260 344 0 0 0 0 0 0 20 0 1 0 141870883 4292608 736 18446744073709551615 94900597534720 94900598429253 140722914756336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94900598668304 94900598716048 94900631519232 140722914761115 140722914761214 140722914761214 140722914766818 0
/proc/134057/statm: 1048 736 672 219 0 110 0
[pid=134062] ppid=134057 vsize=11682828 memory=9869428 CPUtime=1008.79 cores=4,6
/proc/134062/stat : 134062 (python3) S 134057 134057 132442 0 -1 4194304 2048304 0 0 0 100389 490 0 0 20 0 1 0 141870885 11963215872 2467357 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 2920707 2467357 8139 1 0 2892065 0
[pid=134265] ppid=134062 vsize=13525272 memory=13074928 CPUtime=1904.85 cores=4,6
/proc/134265/stat : 134265 (naps-1.03a6) R 134062 134265 134265 0 -1 4194304 1708930 0 0 0 186753 3732 0 0 20 0 1 0 141972086 13849878528 3268732 18446744073709551615 4198400 7047149 140731698418672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 8429568 140731698420070 140731698420209 140731698420209 140731698425801 0
/proc/134265/statm: 3381318 3268732 608 696 0 3380479 0
Current children cumulated CPU time: 2913.64 s
Current children cumulated vsize: 25212292 KiB
Current children cumulated memory: 22947300 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+2959.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/271 134425
/proc/meminfo: memFree=89781944/131250000 swapFree=33010160/33010684
[pid=134057] ppid=134054 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/134057/stat : 134057 (scip-naps-1.00a) S 134054 134057 132442 0 -1 4194304 260 344 0 0 0 0 0 0 20 0 1 0 141870883 4292608 736 18446744073709551615 94900597534720 94900598429253 140722914756336 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94900598668304 94900598716048 94900631519232 140722914761115 140722914761214 140722914761214 140722914766818 0
/proc/134057/statm: 1048 736 672 219 0 110 0
[pid=134062] ppid=134057 vsize=11682828 memory=9869428 CPUtime=1008.79 cores=4,6
/proc/134062/stat : 134062 (python3) S 134057 134057 132442 0 -1 4194304 2048304 0 0 0 100389 490 0 0 20 0 1 0 141870885 11963215872 2467357 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 2920707 2467357 8139 1 0 2892065 0
[pid=134265] ppid=134062 vsize=21333464 memory=12816116 CPUtime=1941.84 cores=4,6
/proc/134265/stat : 134265 (naps-1.03a6) R 134062 134265 134265 0 -1 4194304 1711974 0 0 0 190428 3756 0 0 20 0 1 0 141972086 21845467136 3204029 18446744073709551615 4198400 7047149 140731698418672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 8429568 140731698420070 140731698420209 140731698420209 140731698425801 0
/proc/134265/statm: 5333366 3204029 608 696 0 5332527 0
Current children cumulated CPU time: 2950.63 s
Current children cumulated vsize: 33020484 KiB
Current children cumulated memory: 22688488 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002272 s, system=0.003089 s

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

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

# cumulated CPU time of all completed processes:  user=2909.81 s, system=43.1594 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+2960 s]*
/proc/loadavg: 4.10 4.11 4.09 5/269 134425
/proc/meminfo: memFree=102387860/131250000 swapFree=33010160/33010684
[pid=134062] ppid=134054 vsize=11682828 memory=9869428 CPUtime=2951.23 cores=4,6
/proc/134062/stat : 134062 (python3) R 134054 134057 132442 0 -1 4194304 2273329 1711976 0 0 100420 501 190428 3774 20 0 1 0 141870885 11963215872 2467357 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 2920707 2467357 8139 1 0 2892065 0
Current cumulated CPU time of completed processes: 0.005361 s
Current children cumulated CPU time: 2951.23 s
Current children cumulated vsize: 11682828 KiB
Current children cumulated memory: 9869428 KiB

[startup+2960.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 134425
/proc/meminfo: memFree=102387860/131250000 swapFree=33010160/33010684
[pid=134062] ppid=134054 vsize=11682828 memory=9869428 CPUtime=2952.02 cores=4,6
/proc/134062/stat : 134062 (python3) R 134054 134057 132442 0 -1 4194304 2364143 1711976 0 0 100496 504 190428 3774 20 0 1 0 141870885 11963215872 2467357 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 2920707 2467357 8139 1 0 2892065 0
Current cumulated CPU time of completed processes: 0.005361 s
Current children cumulated CPU time: 2952.02 s
Current children cumulated vsize: 11682828 KiB
Current children cumulated memory: 9869428 KiB

[startup+2961.2 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 134425
/proc/meminfo: memFree=102392976/131250000 swapFree=33010160/33010684
[pid=134062] ppid=134054 vsize=11682828 memory=9869428 CPUtime=2952.42 cores=4,6
/proc/134062/stat : 134062 (python3) R 134054 134057 132442 0 -1 4194304 2428371 1711976 0 0 100533 507 190428 3774 20 0 1 0 141870885 11963215872 2467357 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 2920707 2467357 8139 1 0 2892065 0
Current cumulated CPU time of completed processes: 0.005361 s
Current children cumulated CPU time: 2952.42 s
Current children cumulated vsize: 11682828 KiB
Current children cumulated memory: 9869428 KiB

[startup+2961.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 134425
/proc/meminfo: memFree=102392976/131250000 swapFree=33010160/33010684
[pid=134062] ppid=134054 vsize=11682828 memory=9869428 CPUtime=2952.62 cores=4,6
/proc/134062/stat : 134062 (python3) R 134054 134057 132442 0 -1 4194304 2459194 1711976 0 0 100552 508 190428 3774 20 0 1 0 141870885 11963215872 2467357 18446744073709551615 93938728579072 93938728579449 140731099117600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 93938728590744 93938728591364 93938752090112 140731099126110 140731099126304 140731099126304 140731099131879 0
/proc/134062/statm: 2920707 2467357 8139 1 0 2892065 0
Current cumulated CPU time of completed processes: 0.005361 s
Current children cumulated CPU time: 2952.62 s
Current children cumulated vsize: 11682828 KiB
Current children cumulated memory: 9869428 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 2961.72
CPU time (s): 2952.97
CPU user time (s): 2909.81
CPU system time (s): 43.1594
CPU usage (%): 99.7046
Max. virtual memory (cumulated for all children) (KiB): 33020484
Max. memory (cumulated for all children) (KiB): 26451728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2909.81
system time used= 43.1594
maximum resident set size= 16627740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4171796
page faults= 0
swaps= 0
block input operations= 0
block output operations= 109296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 361
involuntary context switches= 3231


# summary of solver processes directly reported to runsolver:
#   pid: 134057,134062
#   total CPU time (s): 2952.97
#   total CPU user time (s): 2909.81
#   total CPU system time (s): 43.1594

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.38108 second user time and 14.235 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-07-11 21:25:33
IDJOB=4530565
IDBENCH=177240
IDSOLVER=3388
FILE ID=nodeC016/4530565-1752261933
RUNJOBID= nodeC016-1752256628-132453
SLURM_JOB_ID= 9682603
Free space on /tmp= 430560 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/normalized-composed_pebbling_php_opt_pyramid_height46_pigeons45_holes44.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4530565-1752261933/watcher-4530565-1752261933 -o /tmp/evaluation-result-4530565-1752261933/solver-4530565-1752261933 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1752256628-132453 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4530565-1752261933.opb

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

MD5SUM BENCH= 57fb5f2576749c6f64e06149678741e6
RANDOM SEED=91044005

nodeC016 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.824
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.48
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.822
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.48
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		: 3601.494
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.48
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		: 3585.289
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.48
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		: 3598.863
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.48
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.687
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.48
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		: 3599.734
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.48
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		: 3700.000
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        116110748 kB
MemAvailable:   128378576 kB
Buffers:            2144 kB
Cached:         12979564 kB
SwapCached:           28 kB
Active:          2089836 kB
Inactive:       12244592 kB
Active(anon):    1368672 kB
Inactive(anon):     2112 kB
Active(file):     721164 kB
Inactive(file): 12242480 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             60316 kB
Writeback:             0 kB
AnonPages:       1355364 kB
Mapped:           134056 kB
Shmem:             18044 kB
KReclaimable:     286848 kB
Slab:             384380 kB
SReclaimable:     286848 kB
SUnreclaim:        97532 kB
KernelStack:        4368 kB
PageTables:         6392 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    4990084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150680 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     94208 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430484 MiB
End job on nodeC016 at 2025-07-11 22:14:55