Trace number 4519389

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.00a1? (MO) 2974.33 2985.75

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 

1006.27/1012.05	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4519389-1751544249.opb
1006.27/1012.05	c Solving mode: optimization
1006.27/1012.05	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
1006.27/1012.05	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
1006.27/1012.05	c original problem has 2235696 variables (2235696 bin, 0 int, 0 impl, 0 cont) and 106878 constraints
1006.27/1012.05	c presolving:
1006.27/1012.05	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
1006.27/1012.05	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
1006.27/1012.05	c    (32.3s) probing: 51/2235696 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1006.27/1012.05	c    (32.3s) probing aborted: 50/50 successive totally useless probings
1006.27/1012.05	c    (33.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1006.27/1012.05	c symmetry computation terminated early, because number of cells 100052 in Nauty exceeds limit of 100000
1006.27/1012.05	c for running full symmetry detection, increase value of parameter propagating/symmetry/nautymaxncells
1006.27/1012.05	c    (50.1s) symmetry computation finished: 28 generators found (max: 28, log10 of symmetry group size: 0.0) (symcode time: 15.33)
1006.27/1012.05	c dynamic symmetry handling statistics:
1006.27/1012.05	c    orbitopal reduction:       no components
1006.27/1012.05	c    orbital reduction:          1 components of sizes 28
1006.27/1012.05	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
1006.27/1012.05	c handled 1 out of 1 symmetry components
1006.27/1012.05	c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
1006.27/1012.05	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1006.27/1012.05	c  0 implications, 48504 cliques
1006.27/1012.05	c presolved problem has 2235696 variables (2235696 bin, 0 int, 0 impl, 0 cont) and 106878 constraints
1006.27/1012.05	c    4371 constraints of type <knapsack>
1006.27/1012.05	c   48504 constraints of type <setppc>
1006.27/1012.05	c   54003 constraints of type <logicor>
1006.27/1012.05	c transformed objective value is always integral (scale: 1)
1006.27/1012.05	c Presolving Time: 47.39
1006.27/1012.05	c 
1006.27/1012.05	c 
1006.27/1012.05	c SCIP Status        : solving was interrupted [time limit reached]
1006.27/1012.05	c Solving Time (sec) : 1000.03
1006.27/1012.05	c Solving Nodes      : 1
1006.27/1012.05	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1006.27/1012.05	c Dual Bound         : +0.00000000000000e+00
1006.27/1012.05	c Gap                : infinite
1006.27/1012.05	c ----------------------------------------------------------------------
1006.27/1012.05	c dual bound: 0.0 -> 0
1006.27/1012.05	c primal bound: 1e+20 -> 100000000000000000000
1006.27/1012.05	c scip-goal-lb: 0
1006.27/1012.05	c scip-goal-ub: 100000000000000000000
1006.27/1012.05	c writing output to: HOME/tmp7r1w24rf.opb
1006.27/1012.05	c appending fixed variable constraints
1006.27/1012.05	c scip-fixed vars: 0.00% (0/2235696)
1006.27/1012.05	c ----------------------------------------------------------------------
1006.27/1012.05	c executing external solver: HOME/naps-1.03a6
1006.27/1012.05	c ----------------------------------------------------------------------
1006.27/1012.05	c command: HOME/naps-1.03a6 -goal-lb=0 -goal-ub=99999999999999999999 HOME/tmp7r1w24rf.opb
1006.37/1012.18	c NaPS 1.03a6.
1006.37/1012.18	c Input file name: HOME/tmp7r1w24rf.opb
1053.15/1059.07	c single stage optimization mode
2972.07/2983.50	c
2972.07/2983.50	c *** TERMINATED *** by signal 15
2972.07/2983.50	c _____________________________________________________________________________
2972.07/2983.50	c std/band forms        : 52875,0
2972.07/2983.50	c 2cl/3cl ITE-codings   : 0,0
2972.07/2983.50	c BDD/srt/adr Max costs : 0,788,0
2972.07/2983.50	c BDDraw/bin/mul/srt/adr: 0,0,0,52875,0
2972.07/2983.50	c BDD nodes             : 0
2972.07/2983.50	c Es1/CC detections     : 0,0
2972.07/2983.50	c CC sort               : 52875
2972.07/2983.50	c SAT/UNSAT calls       : 0,0
2972.07/2983.50	c regenrated variables  : 0
2972.07/2983.50	c eliminated fixed lits : 0
2972.07/2983.50	c goal lit flips        : 0
2972.07/2983.50	c goal stages           : 1
2972.07/2983.50	c goal shrink           : 0
2972.07/2983.50	c goal coeff separations: 0
2972.07/2983.50	c restarts              : 0
2972.07/2983.50	c conflicts             : 0              (0 /sec)
2972.07/2983.50	c decisions             : 0              (0 /sec)
2972.07/2983.50	c propagations          : 0              (0 /sec)
2972.07/2983.50	c inspects              : 0              (0 /sec)
2972.07/2983.50	c CPU time (solving tm) : 1928 s        (1886 s, SAT 0 s, UNSAT 0 s)
2972.07/2983.50	c Time for Opt-base     : 0.5794 s
2972.07/2983.50	c Steps for Opt-base    : 0
2972.07/2983.50	c Time for BDD coding   : 0 s
2972.07/2983.50	c Time for srt coding   : 18.46 s
2972.07/2983.50	c _____________________________________________________________________________
1006.41/2983.67	c received SIGTERM, forwarding to pbsolver...
1006.41/2983.67	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 (62282 MiB free)
  memory of node 1: 64507 MiB (63699 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519389-1751544249/watcher-4519389-1751544249 -o /tmp/evaluation-result-4519389-1751544249/solver-4519389-1751544249 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751544246-83691 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4519389-1751544249.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100066 s]*
/proc/loadavg: 0.63 1.06 2.13 5/275 83867
/proc/meminfo: memFree=128933848/131250000 swapFree=33008100/33010684
[pid=83862] ppid=83859 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83862/stat : 83862 (scip-naps-1.00.) S 83859 83862 83653 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 70105253 4292608 736 18446744073709551615 94446112239616 94446113134149 140732866212752 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94446113373200 94446113420944 94446114209792 140732866218401 140732866218498 140732866218498 140732866224100 0
/proc/83862/statm: 1048 736 672 219 0 110 0
[pid=83867] ppid=83862 vsize=1187328 memory=32100 CPUtime=0.06 cores=1,3
/proc/83867/stat : 83867 (python3) R 83862 83862 83653 0 -1 4194304 3806 0 0 0 6 0 0 0 20 0 1 0 70105255 1215823872 8025 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 296832 8025 4889 1 0 268854 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191520 KiB
Current children cumulated memory: 35044 KiB

[startup+0.205796 s]*
/proc/loadavg: 0.63 1.06 2.13 5/275 83867
/proc/meminfo: memFree=128795500/131250000 swapFree=33008100/33010684
[pid=83862] ppid=83859 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83862/stat : 83862 (scip-naps-1.00.) S 83859 83862 83653 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 70105253 4292608 736 18446744073709551615 94446112239616 94446113134149 140732866212752 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94446113373200 94446113420944 94446114209792 140732866218401 140732866218498 140732866218498 140732866224100 0
/proc/83862/statm: 1048 736 672 219 0 110 0
[pid=83867] ppid=83862 vsize=1251220 memory=102500 CPUtime=0.17 cores=1,3
/proc/83867/stat : 83867 (python3) R 83862 83862 83653 0 -1 4194304 18927 0 0 0 14 3 0 0 20 0 1 0 70105255 1281249280 25625 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 312805 25625 7577 1 0 284163 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1255412 KiB
Current children cumulated memory: 105444 KiB

[startup+0.305789 s]*
/proc/loadavg: 0.63 1.06 2.13 5/275 83867
/proc/meminfo: memFree=128650612/131250000 swapFree=33008100/33010684
[pid=83862] ppid=83859 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83862/stat : 83862 (scip-naps-1.00.) S 83859 83862 83653 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 70105253 4292608 736 18446744073709551615 94446112239616 94446113134149 140732866212752 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94446113373200 94446113420944 94446114209792 140732866218401 140732866218498 140732866218498 140732866224100 0
/proc/83862/statm: 1048 736 672 219 0 110 0
[pid=83867] ppid=83862 vsize=1325484 memory=176100 CPUtime=0.28 cores=1,3
/proc/83867/stat : 83867 (python3) R 83862 83862 83653 0 -1 4194304 37325 0 0 0 22 6 0 0 20 0 1 0 70105255 1357295616 44025 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 331371 44025 7577 1 0 302729 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 1329676 KiB
Current children cumulated memory: 179044 KiB

[startup+0.700222 s]
/proc/loadavg: 0.63 1.06 2.13 5/275 83867
/proc/meminfo: memFree=128385380/131250000 swapFree=33008100/33010684
[pid=83862] ppid=83859 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83862/stat : 83862 (scip-naps-1.00.) S 83859 83862 83653 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 70105253 4292608 736 18446744073709551615 94446112239616 94446113134149 140732866212752 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94446113373200 94446113420944 94446114209792 140732866218401 140732866218498 140732866218498 140732866224100 0
/proc/83862/statm: 1048 736 672 219 0 110 0
[pid=83867] ppid=83862 vsize=1600080 memory=449504 CPUtime=0.66 cores=1,3
/proc/83867/stat : 83867 (python3) R 83862 83862 83653 0 -1 4194304 105172 0 0 0 50 16 0 0 20 0 1 0 70105255 1638481920 112376 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 400020 112376 7577 1 0 371378 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1604272 KiB
Current children cumulated memory: 452448 KiB

[startup+1.50022 s]
/proc/loadavg: 0.63 1.06 2.13 5/275 83867
/proc/meminfo: memFree=127681228/131250000 swapFree=33008100/33010684
[pid=83862] ppid=83859 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83862/stat : 83862 (scip-naps-1.00.) S 83859 83862 83653 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 70105253 4292608 736 18446744073709551615 94446112239616 94446113134149 140732866212752 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94446113373200 94446113420944 94446114209792 140732866218401 140732866218498 140732866218498 140732866224100 0
/proc/83862/statm: 1048 736 672 219 0 110 0
[pid=83867] ppid=83862 vsize=2137968 memory=988380 CPUtime=1.45 cores=1,3
/proc/83867/stat : 83867 (python3) R 83862 83862 83653 0 -1 4194304 232731 0 0 0 110 35 0 0 20 0 1 0 70105255 2189279232 247095 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 534492 247095 7577 1 0 505850 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 2142160 KiB
Current children cumulated memory: 991324 KiB

[startup+3.10567 s]
/proc/loadavg: 0.90 1.11 2.14 5/275 83867
/proc/meminfo: memFree=124926460/131250000 swapFree=33008100/33010684
[pid=83862] ppid=83859 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83862/stat : 83862 (scip-naps-1.00.) S 83859 83862 83653 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 70105253 4292608 736 18446744073709551615 94446112239616 94446113134149 140732866212752 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94446113373200 94446113420944 94446114209792 140732866218401 140732866218498 140732866218498 140732866224100 0
/proc/83862/statm: 1048 736 672 219 0 110 0
[pid=83867] ppid=83862 vsize=3202148 memory=2052564 CPUtime=3.05 cores=1,3
/proc/83867/stat : 83867 (python3) R 83862 83862 83653 0 -1 4194304 487546 0 0 0 229 76 0 0 20 0 1 0 70105255 3278999552 513141 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 800537 513141 7577 1 0 771895 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 3206340 KiB
Current children cumulated memory: 2055508 KiB

[startup+6.3002 s]
/proc/loadavg: 0.90 1.11 2.14 5/275 83868
/proc/meminfo: memFree=122282876/131250000 swapFree=33008100/33010684
[pid=83862] ppid=83859 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83862/stat : 83862 (scip-naps-1.00.) S 83859 83862 83653 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 70105253 4292608 736 18446744073709551615 94446112239616 94446113134149 140732866212752 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94446113373200 94446113420944 94446114209792 140732866218401 140732866218498 140732866218498 140732866224100 0
/proc/83862/statm: 1048 736 672 219 0 110 0
[pid=83867] ppid=83862 vsize=5667320 memory=4517272 CPUtime=6.25 cores=1,3
/proc/83867/stat : 83867 (python3) R 83862 83862 83653 0 -1 4194304 1070363 0 0 0 457 168 0 0 20 0 1 0 70105255 5803335680 1129318 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 1416830 1129318 7769 1 0 1388188 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 5671512 KiB
Current children cumulated memory: 4520216 KiB

[startup+12.7002 s]
/proc/loadavg: 1.23 1.17 2.16 5/275 83868
/proc/meminfo: memFree=120581488/131250000 swapFree=33008100/33010684
[pid=83862] ppid=83859 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83862/stat : 83862 (scip-naps-1.00.) S 83859 83862 83653 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 70105253 4292608 736 18446744073709551615 94446112239616 94446113134149 140732866212752 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94446113373200 94446113420944 94446114209792 140732866218401 140732866218498 140732866218498 140732866224100 0
/proc/83862/statm: 1048 736 672 219 0 110 0
[pid=83867] ppid=83862 vsize=7310664 memory=5916284 CPUtime=12.63 cores=1,3
/proc/83867/stat : 83867 (python3) R 83862 83862 83653 0 -1 4194304 1297047 0 0 0 1050 213 0 0 20 0 1 0 70105255 7486119936 1479071 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 1827666 1479071 7865 1 0 1799024 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 7314856 KiB
Current children cumulated memory: 5919228 KiB

[startup+25.5002 s]
/proc/loadavg: 1.84 1.31 2.19 5/275 83868
/proc/meminfo: memFree=119062816/131250000 swapFree=33008100/33010684
[pid=83862] ppid=83859 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83862/stat : 83862 (scip-naps-1.00.) S 83859 83862 83653 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 70105253 4292608 736 18446744073709551615 94446112239616 94446113134149 140732866212752 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94446113373200 94446113420944 94446114209792 140732866218401 140732866218498 140732866218498 140732866224100 0
/proc/83862/statm: 1048 736 672 219 0 110 0
[pid=83867] ppid=83862 vsize=7787448 memory=6431396 CPUtime=25.38 cores=1,3
/proc/83867/stat : 83867 (python3) R 83862 83862 83653 0 -1 4194304 1318719 0 0 0 2311 227 0 0 20 0 1 0 70105255 7974346752 1607849 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 1946862 1607849 7897 1 0 1918220 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 7791640 KiB
Current children cumulated memory: 6434340 KiB

[startup+51.1057 s]
/proc/loadavg: 2.66 1.54 2.24 5/275 83868
/proc/meminfo: memFree=117583100/131250000 swapFree=33008100/33010684
[pid=83862] ppid=83859 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83862/stat : 83862 (scip-naps-1.00.) S 83859 83862 83653 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 70105253 4292608 736 18446744073709551615 94446112239616 94446113134149 140732866212752 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94446113373200 94446113420944 94446114209792 140732866218401 140732866218498 140732866218498 140732866224100 0
/proc/83862/statm: 1048 736 672 219 0 110 0
[pid=83867] ppid=83862 vsize=10258016 memory=8093088 CPUtime=50.92 cores=1,3
/proc/83867/stat : 83867 (python3) R 83862 83862 83653 0 -1 4194304 1525396 0 0 0 4809 283 0 0 20 0 1 0 70105255 10504208384 2023272 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 2564504 2023272 7961 1 0 2535862 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 10262208 KiB
Current children cumulated memory: 8096032 KiB

[startup+102.3 s]
/proc/loadavg: 3.49 1.94 2.34 5/275 83870
/proc/meminfo: memFree=118669080/131250000 swapFree=33008100/33010684
[pid=83862] ppid=83859 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83862/stat : 83862 (scip-naps-1.00.) S 83859 83862 83653 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 70105253 4292608 736 18446744073709551615 94446112239616 94446113134149 140732866212752 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94446113373200 94446113420944 94446114209792 140732866218401 140732866218498 140732866218498 140732866224100 0
/proc/83862/statm: 1048 736 672 219 0 110 0
[pid=83867] ppid=83862 vsize=9115580 memory=7255936 CPUtime=101.99 cores=1,3
/proc/83867/stat : 83867 (python3) R 83862 83862 83653 0 -1 4194304 1558371 0 0 0 9908 291 0 0 20 0 1 0 70105255 9334353920 1813984 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 2278895 1813984 7993 1 0 2250253 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 9119772 KiB
Current children cumulated memory: 7258880 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 2.33 2.45 5/274 83872
/proc/meminfo: memFree=117911392/131250000 swapFree=33008100/33010684
[pid=83862] ppid=83859 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83862/stat : 83862 (scip-naps-1.00.) S 83859 83862 83653 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 70105253 4292608 736 18446744073709551615 94446112239616 94446113134149 140732866212752 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94446113373200 94446113420944 94446114209792 140732866218401 140732866218498 140732866218498 140732866224100 0
/proc/83862/statm: 1048 736 672 219 0 110 0
[pid=83867] ppid=83862 vsize=9115580 memory=7255936 CPUtime=161.79 cores=1,3
/proc/83867/stat : 83867 (python3) R 83862 83862 83653 0 -1 4194304 1558372 0 0 0 15887 292 0 0 20 0 1 0 70105255 9334353920 1813984 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 2278895 1813984 7993 1 0 2250253 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 9119772 KiB
Current children cumulated memory: 7258880 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.65 2.56 5/274 83874
/proc/meminfo: memFree=117825712/131250000 swapFree=33008100/33010684
[pid=83862] ppid=83859 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83862/stat : 83862 (scip-naps-1.00.) S 83859 83862 83653 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 70105253 4292608 736 18446744073709551615 94446112239616 94446113134149 140732866212752 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94446113373200 94446113420944 94446114209792 140732866218401 140732866218498 140732866218498 140732866224100 0
/proc/83862/statm: 1048 736 672 219 0 110 0
[pid=83867] ppid=83862 vsize=9115580 memory=7255936 CPUtime=221.45 cores=1,3
/proc/83867/stat : 83867 (python3) R 83862 83862 83653 0 -1 4194304 1558376 0 0 0 21852 293 0 0 20 0 1 0 70105255 9334353920 1813984 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 2278895 1813984 7993 1 0 2250253 0
Current children cumulated CPU time: 221.45 s

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

/proc/meminfo: memFree=94385888/131250000 swapFree=33008100/33010684
[pid=83862] ppid=83859 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83862/stat : 83862 (scip-naps-1.00.) S 83859 83862 83653 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 70105253 4292608 736 18446744073709551615 94446112239616 94446113134149 140732866212752 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94446113373200 94446113420944 94446114209792 140732866218401 140732866218498 140732866218498 140732866224100 0
/proc/83862/statm: 1048 736 672 219 0 110 0
[pid=83867] ppid=83862 vsize=11683124 memory=9869196 CPUtime=1006.4 cores=1,3
/proc/83867/stat : 83867 (python3) S 83862 83862 83653 0 -1 4194304 2050729 0 0 0 100208 432 0 0 20 0 1 0 70105255 11963518976 2467299 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 2920781 2467299 8057 1 0 2892139 0
[pid=83911] ppid=83867 vsize=13200100 memory=12391108 CPUtime=1784.98 cores=1,3
/proc/83911/stat : 83911 (naps-1.03a6) R 83867 83911 83911 0 -1 4194304 1718855 0 0 0 174995 3503 0 0 20 0 1 0 70206465 13516902400 3097777 18446744073709551615 4198400 7047149 140723051696176 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10096640 140723051698536 140723051698675 140723051698675 140723051704265 0
/proc/83911/statm: 3300025 3097777 608 696 0 3299186 0
Current children cumulated CPU time: 2791.38 s
Current children cumulated vsize: 24887416 KiB
Current children cumulated memory: 22263248 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.16 4.07 5/272 84005
/proc/meminfo: memFree=94564572/131250000 swapFree=33008100/33010684
[pid=83862] ppid=83859 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83862/stat : 83862 (scip-naps-1.00.) S 83859 83862 83653 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 70105253 4292608 736 18446744073709551615 94446112239616 94446113134149 140732866212752 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94446113373200 94446113420944 94446114209792 140732866218401 140732866218498 140732866218498 140732866224100 0
/proc/83862/statm: 1048 736 672 219 0 110 0
[pid=83867] ppid=83862 vsize=11683124 memory=9869196 CPUtime=1006.4 cores=1,3
/proc/83867/stat : 83867 (python3) S 83862 83862 83653 0 -1 4194304 2050729 0 0 0 100208 432 0 0 20 0 1 0 70105255 11963518976 2467299 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 2920781 2467299 8057 1 0 2892139 0
[pid=83911] ppid=83867 vsize=12858436 memory=12214416 CPUtime=1844.81 cores=1,3
/proc/83911/stat : 83911 (naps-1.03a6) R 83867 83911 83911 0 -1 4194304 1733596 0 0 0 180872 3609 0 0 20 0 1 0 70206465 13167038464 3053604 18446744073709551615 4198400 7047149 140723051696176 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10096640 140723051698536 140723051698675 140723051698675 140723051704265 0
/proc/83911/statm: 3214609 3053604 608 696 0 3213770 0
Current children cumulated CPU time: 2851.21 s
Current children cumulated vsize: 24545752 KiB
Current children cumulated memory: 22086556 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.14 4.07 5/271 84007
/proc/meminfo: memFree=94409624/131250000 swapFree=33008100/33010684
[pid=83862] ppid=83859 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83862/stat : 83862 (scip-naps-1.00.) S 83859 83862 83653 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 70105253 4292608 736 18446744073709551615 94446112239616 94446113134149 140732866212752 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94446113373200 94446113420944 94446114209792 140732866218401 140732866218498 140732866218498 140732866224100 0
/proc/83862/statm: 1048 736 672 219 0 110 0
[pid=83867] ppid=83862 vsize=11683124 memory=9869196 CPUtime=1006.4 cores=1,3
/proc/83867/stat : 83867 (python3) S 83862 83862 83653 0 -1 4194304 2050729 0 0 0 100208 432 0 0 20 0 1 0 70105255 11963518976 2467299 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 2920781 2467299 8057 1 0 2892139 0
[pid=83911] ppid=83867 vsize=12828700 memory=12372976 CPUtime=1904.64 cores=1,3
/proc/83911/stat : 83911 (naps-1.03a6) R 83867 83911 83911 0 -1 4194304 1741400 0 0 0 186769 3695 0 0 20 0 1 0 70206465 13136588800 3093244 18446744073709551615 4198400 7047149 140723051696176 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10096640 140723051698536 140723051698675 140723051698675 140723051704265 0
/proc/83911/statm: 3207175 3093244 608 696 0 3206336 0
Current children cumulated CPU time: 2911.04 s
Current children cumulated vsize: 24516016 KiB
Current children cumulated memory: 22245116 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.15 4.08 5/272 84012
/proc/meminfo: memFree=94155236/131250000 swapFree=33008100/33010684
[pid=83862] ppid=83859 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83862/stat : 83862 (scip-naps-1.00.) S 83859 83862 83653 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 70105253 4292608 736 18446744073709551615 94446112239616 94446113134149 140732866212752 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94446113373200 94446113420944 94446114209792 140732866218401 140732866218498 140732866218498 140732866224100 0
/proc/83862/statm: 1048 736 672 219 0 110 0
[pid=83867] ppid=83862 vsize=11683124 memory=9869196 CPUtime=1006.4 cores=1,3
/proc/83867/stat : 83867 (python3) S 83862 83862 83653 0 -1 4194304 2050729 0 0 0 100208 432 0 0 20 0 1 0 70105255 11963518976 2467299 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 2920781 2467299 8057 1 0 2892139 0
[pid=83911] ppid=83867 vsize=12944852 memory=12603936 CPUtime=1964.47 cores=1,3
/proc/83911/stat : 83911 (naps-1.03a6) R 83867 83911 83911 0 -1 4194304 1748009 0 0 0 192699 3748 0 0 20 0 1 0 70206465 13255528448 3150984 18446744073709551615 4198400 7047149 140723051696176 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10096640 140723051698536 140723051698675 140723051698675 140723051704265 0
/proc/83911/statm: 3236213 3150984 608 696 0 3235374 0
Current children cumulated CPU time: 2970.87 s
Current children cumulated vsize: 24632168 KiB
Current children cumulated memory: 22476076 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+2983.5 s]
/proc/loadavg: 4.14 4.15 4.08 5/272 84012
/proc/meminfo: memFree=94138884/131250000 swapFree=33008100/33010684
[pid=83862] ppid=83859 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83862/stat : 83862 (scip-naps-1.00.) S 83859 83862 83653 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 70105253 4292608 736 18446744073709551615 94446112239616 94446113134149 140732866212752 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94446113373200 94446113420944 94446114209792 140732866218401 140732866218498 140732866218498 140732866224100 0
/proc/83862/statm: 1048 736 672 219 0 110 0
[pid=83867] ppid=83862 vsize=11683124 memory=9869196 CPUtime=1006.4 cores=1,3
/proc/83867/stat : 83867 (python3) S 83862 83862 83653 0 -1 4194304 2050729 0 0 0 100208 432 0 0 20 0 1 0 70105255 11963518976 2467299 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 2920781 2467299 8057 1 0 2892139 0
[pid=83911] ppid=83867 vsize=21333464 memory=12898856 CPUtime=1965.67 cores=1,3
/proc/83911/stat : 83911 (naps-1.03a6) R 83867 83911 83911 0 -1 4194304 1748801 0 0 0 192813 3754 0 0 20 0 1 0 70206465 21845467136 3224714 18446744073709551615 4198400 7047149 140723051696176 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 10096640 140723051698536 140723051698675 140723051698675 140723051704265 0
/proc/83911/statm: 5333366 3224714 608 696 0 5332527 0
Current children cumulated CPU time: 2972.07 s
Current children cumulated vsize: 33020780 KiB
Current children cumulated memory: 22770996 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001429 s, system=0.004885 s

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

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

# cumulated CPU time of all completed processes:  user=2931.83 s, system=42.5016 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+2984 s]*
/proc/loadavg: 4.13 4.14 4.07 5/270 84012
/proc/meminfo: memFree=106738588/131250000 swapFree=33008100/33010684
[pid=83867] ppid=83859 vsize=11683124 memory=9869196 CPUtime=2972.56 cores=1,3
/proc/83867/stat : 83867 (python3) R 83859 83862 83653 0 -1 4194304 2238457 1748804 0 0 100232 440 192813 3771 20 0 1 0 70105255 11963518976 2467299 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 2920781 2467299 8057 1 0 2892139 0
Current cumulated CPU time of completed processes: 0.006314 s
Current children cumulated CPU time: 2972.56 s
Current children cumulated vsize: 11683124 KiB
Current children cumulated memory: 9869196 KiB

[startup+2984.8 s]
/proc/loadavg: 4.13 4.14 4.07 5/270 84012
/proc/meminfo: memFree=106738588/131250000 swapFree=33008100/33010684
[pid=83867] ppid=83859 vsize=11683124 memory=9869196 CPUtime=2973.35 cores=1,3
/proc/83867/stat : 83867 (python3) R 83859 83862 83653 0 -1 4194304 2355673 1748804 0 0 100305 446 192813 3771 20 0 1 0 70105255 11963518976 2467299 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 2920781 2467299 8057 1 0 2892139 0
Current cumulated CPU time of completed processes: 0.006314 s
Current children cumulated CPU time: 2973.35 s
Current children cumulated vsize: 11683124 KiB
Current children cumulated memory: 9869196 KiB

[startup+2985.2 s]
/proc/loadavg: 4.13 4.14 4.07 5/270 84012
/proc/meminfo: memFree=106737832/131250000 swapFree=33008100/33010684
[pid=83867] ppid=83859 vsize=11683124 memory=9869196 CPUtime=2973.75 cores=1,3
/proc/83867/stat : 83867 (python3) R 83859 83862 83653 0 -1 4194304 2420428 1748804 0 0 100341 450 192813 3771 20 0 1 0 70105255 11963518976 2467299 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 2920781 2467299 8057 1 0 2892139 0
Current cumulated CPU time of completed processes: 0.006314 s
Current children cumulated CPU time: 2973.75 s
Current children cumulated vsize: 11683124 KiB
Current children cumulated memory: 9869196 KiB

[startup+2985.4 s]
/proc/loadavg: 4.13 4.14 4.07 5/270 84012
/proc/meminfo: memFree=106737832/131250000 swapFree=33008100/33010684
[pid=83867] ppid=83859 vsize=11683124 memory=9869196 CPUtime=2973.95 cores=1,3
/proc/83867/stat : 83867 (python3) R 83859 83862 83653 0 -1 4194304 2451322 1748804 0 0 100360 451 192813 3771 20 0 1 0 70105255 11963518976 2467299 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 2920781 2467299 8057 1 0 2892139 0
Current cumulated CPU time of completed processes: 0.006314 s
Current children cumulated CPU time: 2973.95 s
Current children cumulated vsize: 11683124 KiB
Current children cumulated memory: 9869196 KiB

[startup+2985.5 s]
/proc/loadavg: 4.13 4.14 4.07 5/270 84012
/proc/meminfo: memFree=106737832/131250000 swapFree=33008100/33010684
[pid=83867] ppid=83859 vsize=11683124 memory=9869196 CPUtime=2974.05 cores=1,3
/proc/83867/stat : 83867 (python3) R 83859 83862 83653 0 -1 4194304 2466586 1748804 0 0 100369 452 192813 3771 20 0 1 0 70105255 11963518976 2467299 18446744073709551615 94025670389760 94025670390137 140731911035664 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94025670401432 94025670402052 94025682714624 140731911039335 140731911039522 140731911039522 140731911045095 0
/proc/83867/statm: 2920781 2467299 8057 1 0 2892139 0
Current cumulated CPU time of completed processes: 0.006314 s
Current children cumulated CPU time: 2974.05 s
Current children cumulated vsize: 11683124 KiB
Current children cumulated memory: 9869196 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 2985.75
CPU time (s): 2974.33
CPU user time (s): 2931.83
CPU system time (s): 42.5016
CPU usage (%): 99.6176
Max. virtual memory (cumulated for all children) (KiB): 33020780
Max. memory (cumulated for all children) (KiB): 26378316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2931.83
system time used= 42.5016
maximum resident set size= 16625868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4215999
page faults= 0
swaps= 0
block input operations= 0
block output operations= 109304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 342
involuntary context switches= 5472


# summary of solver processes directly reported to runsolver:
#   pid: 83862,83867
#   total CPU time (s): 2974.33
#   total CPU user time (s): 2931.83
#   total CPU system time (s): 42.5016

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.3013 second user time and 14.3999 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-03 14:04:10
IDJOB=4519389
IDBENCH=177240
IDSOLVER=3368
FILE ID=nodeC013/4519389-1751544249
RUNJOBID= nodeC013-1751544246-83691
SLURM_JOB_ID= 9598713
Free space on /tmp= 432540 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
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.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519389-1751544249/watcher-4519389-1751544249 -o /tmp/evaluation-result-4519389-1751544249/solver-4519389-1751544249 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751544246-83691 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4519389-1751544249.opb

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

MD5SUM BENCH= 57fb5f2576749c6f64e06149678741e6
RANDOM SEED=941479578

nodeC013 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.836
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.67
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.828
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.67
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.482
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.67
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.881
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.67
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.745
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.67
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.853
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129046380 kB
MemAvailable:   129236364 kB
Buffers:            1668 kB
Cached:           984540 kB
SwapCached:         2012 kB
Active:           965376 kB
Inactive:         620344 kB
Active(anon):     593152 kB
Inactive(anon):    17632 kB
Active(file):     372224 kB
Inactive(file):   602712 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008100 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            100732 kB
Writeback:             0 kB
AnonPages:        600976 kB
Mapped:           123712 kB
Shmem:             11264 kB
KReclaimable:     108176 kB
Slab:             197616 kB
SReclaimable:     108176 kB
SUnreclaim:        89440 kB
KernelStack:        4384 kB
PageTables:         4560 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    4192016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150680 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432460 MiB
End job on nodeC013 at 2025-07-03 14:53:56