Trace number 4542475

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP-NaPS 1.00a1? (TO) 3602.33 3613.65

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb
MD5SUM67ed6d0a845cd2604ef9c9dd089eeee0
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark908.84
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1871280
Total number of constraints93919
Number of constraints which are clauses47477
Number of constraints which are cardinality constraints (but not clauses)42437
Number of constraints which are nor clauses,nor cardinality constraints4005
Minimum length of a constraint42
Maximum length of a constraint47
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 50
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

507.51/509.94	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4542475-1753217221.opb
507.51/509.94	c Solving mode: decision
507.51/509.94	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
507.51/509.94	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
507.51/509.94	c original problem has 1871280 variables (1871280 bin, 0 int, 0 impl, 0 cont) and 93919 constraints
507.51/509.94	c presolving:
507.51/509.94	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 51439 upgd conss, 0 impls, 42435 clqs
507.51/509.94	c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 93919 upgd conss, 0 impls, 42435 clqs
507.51/509.94	c    (27.1s) probing: 51/1871280 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
507.51/509.94	c    (27.1s) probing aborted: 50/50 successive totally useless probings
507.51/509.94	c    (28.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
507.51/509.94	c symmetry computation terminated early, because number of cells 100063 in Nauty exceeds limit of 100000
507.51/509.94	c for running full symmetry detection, increase value of parameter propagating/symmetry/nautymaxncells
507.51/509.94	c    (39.6s) symmetry computation finished: 34 generators found (max: 34, log10 of symmetry group size: 0.0) (symcode time: 10.35)
507.51/509.94	c dynamic symmetry handling statistics:
507.51/509.94	c    orbitopal reduction:       no components
507.51/509.94	c    orbital reduction:          1 components of sizes 33
507.51/509.94	c    lexicographic reduction:   33 permutations with support sizes 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86
507.51/509.94	c handled 2 out of 2 symmetry components
507.51/509.94	c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
507.51/509.94	c  0 deleted vars, 0 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 8 changed coefficients
507.51/509.94	c  0 implications, 42436 cliques
507.51/509.94	c presolved problem has 1871280 variables (1871280 bin, 0 int, 0 impl, 0 cont) and 93920 constraints
507.51/509.94	c    4007 constraints of type <knapsack>
507.51/509.94	c   42435 constraints of type <setppc>
507.51/509.94	c       1 constraints of type <linear>
507.51/509.94	c   47477 constraints of type <logicor>
507.51/509.94	c transformed objective value is always integral (scale: 1)
507.51/509.94	c Presolving Time: 37.65
507.51/509.94	c 
507.51/509.94	c 
507.51/509.94	c SCIP Status        : solving was interrupted [time limit reached]
507.51/509.94	c Solving Time (sec) : 500.03
507.51/509.94	c Solving Nodes      : 1
507.51/509.94	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
507.51/509.94	c Dual Bound         : +0.00000000000000e+00
507.51/509.94	c Gap                : infinite
507.51/509.94	c ----------------------------------------------------------------------
507.51/509.94	c dual bound: 0.0 -> 0
507.51/509.94	c primal bound: 1e+20 -> 100000000000000000000
507.51/509.94	c scip-goal-lb: 0
507.51/509.94	c scip-goal-ub: 100000000000000000000
507.51/509.94	c writing output to: HOME/tmp_uzuqz3c.opb
507.51/509.94	c appending fixed variable constraints
507.51/509.94	c scip-fixed vars: 0.00% (0/1871280)
507.51/509.94	c ----------------------------------------------------------------------
507.51/509.94	c executing external solver: HOME/naps-1.03a6
507.51/509.94	c ----------------------------------------------------------------------
507.51/509.94	c command: HOME/naps-1.03a6 HOME/tmp_uzuqz3c.opb
507.61/510.08	c NaPS 1.03a6.
507.61/510.08	c Input file name: HOME/tmp_uzuqz3c.opb
3600.09/3611.40	c
3600.09/3611.40	c *** TERMINATED *** by signal 15
3600.09/3611.40	c _____________________________________________________________________________
3600.09/3611.40	c std/band forms        : 46442,0
3600.09/3611.40	c 2cl/3cl ITE-codings   : 0,0
3600.09/3611.40	c BDD/srt/adr Max costs : 0,756,0
3600.09/3611.40	c BDDraw/bin/mul/srt/adr: 0,0,0,46442,0
3600.09/3611.40	c BDD nodes             : 0
3600.09/3611.40	c Es1/CC detections     : 0,0
3600.09/3611.40	c CC sort               : 46442
3600.09/3611.40	c SAT/UNSAT calls       : 0,0
3600.09/3611.40	c regenrated variables  : 0
3600.09/3611.40	c eliminated fixed lits : 0
3600.09/3611.40	c goal lit flips        : 0
3600.09/3611.40	c goal stages           : 0
3600.09/3611.40	c goal shrink           : 0
3600.09/3611.40	c goal coeff separations: 0
3600.09/3611.40	c restarts              : 0
3600.09/3611.40	c conflicts             : 0              (0 /sec)
3600.09/3611.40	c decisions             : 0              (0 /sec)
3600.09/3611.40	c propagations          : 0              (0 /sec)
3600.09/3611.40	c inspects              : 0              (0 /sec)
3600.09/3611.40	c CPU time (solving tm) : 3057 s        (3027 s, SAT 0 s, UNSAT 0 s)
3600.09/3611.40	c Time for Opt-base     : 0.5243 s
3600.09/3611.40	c Steps for Opt-base    : 0
3600.09/3611.40	c Time for BDD coding   : 0 s
3600.09/3611.40	c Time for srt coding   : 14.97 s
3600.09/3611.40	c _____________________________________________________________________________
3600.09/3611.49	c received SIGTERM, forwarding to pbsolver...
3600.09/3611.49	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 (62252 MiB free)
  memory of node 1: 64507 MiB (52365 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542475-1753217221/watcher-4542475-1753217221 -o /tmp/evaluation-result-4542475-1753217221/solver-4542475-1753217221 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1753209881-162572 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4542475-1753217221.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=163633, runsolver pid=163630

[startup+0.10006 s]*
/proc/loadavg: 4.10 4.09 4.09 5/272 163638
/proc/meminfo: memFree=117358792/131250000 swapFree=33010416/33010684
[pid=163633] ppid=163630 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163633/stat : 163633 (scip-naps-1.00.) S 163630 163633 162562 0 -1 4194304 256 339 0 0 0 0 0 0 20 0 1 0 237400018 4292608 736 18446744073709551615 93911072841728 93911073736261 140722719449600 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93911073975312 93911074023056 93911099736064 140722719455647 140722719455744 140722719455744 140722719461348 0
/proc/163633/statm: 1048 736 672 219 0 110 0
[pid=163638] ppid=163633 vsize=1186920 memory=31684 CPUtime=0.06 cores=0,2
/proc/163638/stat : 163638 (python3) R 163633 163633 162562 0 -1 4194304 3695 0 0 0 5 1 0 0 20 0 1 0 237400021 1215406080 7921 18446744073709551615 94834386759680 94834386760057 140733294846624 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94834386771352 94834386771972 94834402390016 140733294852438 140733294852640 140733294852640 140733294858215 0
/proc/163638/statm: 296730 7921 4886 1 0 268752 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191112 KiB
Current children cumulated memory: 34628 KiB

[startup+0.205683 s]*
/proc/loadavg: 4.10 4.09 4.09 5/272 163638
/proc/meminfo: memFree=117301336/131250000 swapFree=33010416/33010684
[pid=163633] ppid=163630 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163633/stat : 163633 (scip-naps-1.00.) S 163630 163633 162562 0 -1 4194304 256 339 0 0 0 0 0 0 20 0 1 0 237400018 4292608 736 18446744073709551615 93911072841728 93911073736261 140722719449600 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93911073975312 93911074023056 93911099736064 140722719455647 140722719455744 140722719455744 140722719461348 0
/proc/163633/statm: 1048 736 672 219 0 110 0
[pid=163638] ppid=163633 vsize=1246744 memory=97092 CPUtime=0.16 cores=0,2
/proc/163638/stat : 163638 (python3) R 163633 163633 162562 0 -1 4194304 17534 0 0 0 13 3 0 0 20 0 1 0 237400021 1276665856 24273 18446744073709551615 94834386759680 94834386760057 140733294846624 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94834386771352 94834386771972 94834402390016 140733294852438 140733294852640 140733294852640 140733294858215 0
/proc/163638/statm: 311686 24273 7606 1 0 283044 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1250936 KiB
Current children cumulated memory: 100036 KiB

[startup+0.305632 s]*
/proc/loadavg: 4.10 4.09 4.09 5/272 163638
/proc/meminfo: memFree=117228760/131250000 swapFree=33010416/33010684
[pid=163633] ppid=163630 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163633/stat : 163633 (scip-naps-1.00.) S 163630 163633 162562 0 -1 4194304 256 339 0 0 0 0 0 0 20 0 1 0 237400018 4292608 736 18446744073709551615 93911072841728 93911073736261 140722719449600 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93911073975312 93911074023056 93911099736064 140722719455647 140722719455744 140722719455744 140722719461348 0
/proc/163633/statm: 1048 736 672 219 0 110 0
[pid=163638] ppid=163633 vsize=1319964 memory=170692 CPUtime=0.26 cores=0,2
/proc/163638/stat : 163638 (python3) R 163633 163633 162562 0 -1 4194304 35944 0 0 0 20 6 0 0 20 0 1 0 237400021 1351643136 42673 18446744073709551615 94834386759680 94834386760057 140733294846624 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94834386771352 94834386771972 94834402390016 140733294852438 140733294852640 140733294852640 140733294858215 0
/proc/163638/statm: 329991 42673 7606 1 0 301349 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1324156 KiB
Current children cumulated memory: 173636 KiB

[startup+0.700161 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 163638
/proc/meminfo: memFree=117083608/131250000 swapFree=33010416/33010684
[pid=163633] ppid=163630 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163633/stat : 163633 (scip-naps-1.00.) S 163630 163633 162562 0 -1 4194304 256 339 0 0 0 0 0 0 20 0 1 0 237400018 4292608 736 18446744073709551615 93911072841728 93911073736261 140722719449600 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93911073975312 93911074023056 93911099736064 140722719455647 140722719455744 140722719455744 140722719461348 0
/proc/163633/statm: 1048 736 672 219 0 110 0
[pid=163638] ppid=163633 vsize=1602580 memory=452972 CPUtime=0.64 cores=0,2
/proc/163638/stat : 163638 (python3) R 163633 163633 162562 0 -1 4194304 105991 0 0 0 46 18 0 0 20 0 1 0 237400021 1641041920 113243 18446744073709551615 94834386759680 94834386760057 140733294846624 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94834386771352 94834386771972 94834402390016 140733294852438 140733294852640 140733294852640 140733294858215 0
/proc/163638/statm: 400645 113243 7606 1 0 372003 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1606772 KiB
Current children cumulated memory: 455916 KiB

[startup+1.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 163638
/proc/meminfo: memFree=116734020/131250000 swapFree=33010416/33010684
[pid=163633] ppid=163630 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163633/stat : 163633 (scip-naps-1.00.) S 163630 163633 162562 0 -1 4194304 256 339 0 0 0 0 0 0 20 0 1 0 237400018 4292608 736 18446744073709551615 93911072841728 93911073736261 140722719449600 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93911073975312 93911074023056 93911099736064 140722719455647 140722719455744 140722719455744 140722719461348 0
/proc/163633/statm: 1048 736 672 219 0 110 0
[pid=163638] ppid=163633 vsize=2157880 memory=1007864 CPUtime=1.45 cores=0,2
/proc/163638/stat : 163638 (python3) R 163633 163633 162562 0 -1 4194304 237556 0 0 0 107 38 0 0 20 0 1 0 237400021 2209669120 251966 18446744073709551615 94834386759680 94834386760057 140733294846624 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94834386771352 94834386771972 94834402390016 140733294852438 140733294852640 140733294852640 140733294858215 0
/proc/163638/statm: 539470 251966 7606 1 0 510828 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 2162072 KiB
Current children cumulated memory: 1010808 KiB

[startup+3.10553 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 163638
/proc/meminfo: memFree=115255696/131250000 swapFree=33010416/33010684
[pid=163633] ppid=163630 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163633/stat : 163633 (scip-naps-1.00.) S 163630 163633 162562 0 -1 4194304 256 339 0 0 0 0 0 0 20 0 1 0 237400018 4292608 736 18446744073709551615 93911072841728 93911073736261 140722719449600 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93911073975312 93911074023056 93911099736064 140722719455647 140722719455744 140722719455744 140722719461348 0
/proc/163633/statm: 1048 736 672 219 0 110 0
[pid=163638] ppid=163633 vsize=3383344 memory=2223076 CPUtime=3.05 cores=0,2
/proc/163638/stat : 163638 (python3) R 163633 163633 162562 0 -1 4194304 544319 0 0 0 223 82 0 0 20 0 1 0 237400021 3464544256 555769 18446744073709551615 94834386759680 94834386760057 140733294846624 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94834386771352 94834386771972 94834402390016 140733294852438 140733294852640 140733294852640 140733294858215 0
/proc/163638/statm: 845836 555769 7766 1 0 817194 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 3387536 KiB
Current children cumulated memory: 2226020 KiB

[startup+6.30019 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 163638
/proc/meminfo: memFree=113066876/131250000 swapFree=33010416/33010684
[pid=163633] ppid=163630 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163633/stat : 163633 (scip-naps-1.00.) S 163630 163633 162562 0 -1 4194304 256 339 0 0 0 0 0 0 20 0 1 0 237400018 4292608 736 18446744073709551615 93911072841728 93911073736261 140722719449600 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93911073975312 93911074023056 93911099736064 140722719455647 140722719455744 140722719455744 140722719461348 0
/proc/163633/statm: 1048 736 672 219 0 110 0
[pid=163638] ppid=163633 vsize=5637576 memory=4438404 CPUtime=6.23 cores=0,2
/proc/163638/stat : 163638 (python3) R 163633 163633 162562 0 -1 4194304 1035741 0 0 0 467 156 0 0 20 0 1 0 237400021 5772877824 1109601 18446744073709551615 94834386759680 94834386760057 140733294846624 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94834386771352 94834386771972 94834402390016 140733294852438 140733294852640 140733294852640 140733294858215 0
/proc/163638/statm: 1409394 1109601 7830 1 0 1380752 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 5641768 KiB
Current children cumulated memory: 4441348 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.09 4/266 163648
/proc/meminfo: memFree=112552164/131250000 swapFree=33010416/33010684
[pid=163633] ppid=163630 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163633/stat : 163633 (scip-naps-1.00.) S 163630 163633 162562 0 -1 4194304 256 339 0 0 0 0 0 0 20 0 1 0 237400018 4292608 736 18446744073709551615 93911072841728 93911073736261 140722719449600 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93911073975312 93911074023056 93911099736064 140722719455647 140722719455744 140722719455744 140722719461348 0
/proc/163633/statm: 1048 736 672 219 0 110 0
[pid=163638] ppid=163633 vsize=6306332 memory=5014364 CPUtime=12.62 cores=0,2
/proc/163638/stat : 163638 (python3) R 163633 163633 162562 0 -1 4194304 1112772 0 0 0 1090 172 0 0 20 0 1 0 237400021 6457683968 1253591 18446744073709551615 94834386759680 94834386760057 140733294846624 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94834386771352 94834386771972 94834402390016 140733294852438 140733294852640 140733294852640 140733294858215 0
/proc/163638/statm: 1576583 1253591 7894 1 0 1547941 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 6310524 KiB
Current children cumulated memory: 5017308 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.10 4.09 5/271 163689
/proc/meminfo: memFree=105960784/131250000 swapFree=33010416/33010684
[pid=163633] ppid=163630 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163633/stat : 163633 (scip-naps-1.00.) S 163630 163633 162562 0 -1 4194304 256 339 0 0 0 0 0 0 20 0 1 0 237400018 4292608 736 18446744073709551615 93911072841728 93911073736261 140722719449600 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93911073975312 93911074023056 93911099736064 140722719455647 140722719455744 140722719455744 140722719461348 0
/proc/163633/statm: 1048 736 672 219 0 110 0
[pid=163638] ppid=163633 vsize=6624216 memory=5295972 CPUtime=25.38 cores=0,2
/proc/163638/stat : 163638 (python3) R 163633 163633 162562 0 -1 4194304 1130004 0 0 0 2359 179 0 0 20 0 1 0 237400021 6783197184 1323993 18446744073709551615 94834386759680 94834386760057 140733294846624 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94834386771352 94834386771972 94834402390016 140733294852438 140733294852640 140733294852640 140733294858215 0
/proc/163638/statm: 1656054 1323993 7926 1 0 1627412 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 6628408 KiB
Current children cumulated memory: 5298916 KiB

[startup+51.1057 s]
/proc/loadavg: 4.17 4.10 4.09 5/271 163691
/proc/meminfo: memFree=103358004/131250000 swapFree=33010416/33010684
[pid=163633] ppid=163630 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163633/stat : 163633 (scip-naps-1.00.) S 163630 163633 162562 0 -1 4194304 256 339 0 0 0 0 0 0 20 0 1 0 237400018 4292608 736 18446744073709551615 93911072841728 93911073736261 140722719449600 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93911073975312 93911074023056 93911099736064 140722719455647 140722719455744 140722719455744 140722719461348 0
/proc/163633/statm: 1048 736 672 219 0 110 0
[pid=163638] ppid=163633 vsize=8767676 memory=7051304 CPUtime=50.9 cores=0,2
/proc/163638/stat : 163638 (python3) R 163633 163633 162562 0 -1 4194304 1417048 0 0 0 4817 273 0 0 20 0 1 0 237400021 8978100224 1762826 18446744073709551615 94834386759680 94834386760057 140733294846624 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94834386771352 94834386771972 94834402390016 140733294852438 140733294852640 140733294852640 140733294858215 0
/proc/163638/statm: 2191919 1762826 8054 1 0 2163277 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 8771868 KiB
Current children cumulated memory: 7054248 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/271 163693
/proc/meminfo: memFree=101223240/131250000 swapFree=33010416/33010684
[pid=163633] ppid=163630 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163633/stat : 163633 (scip-naps-1.00.) S 163630 163633 162562 0 -1 4194304 256 339 0 0 0 0 0 0 20 0 1 0 237400018 4292608 736 18446744073709551615 93911072841728 93911073736261 140722719449600 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93911073975312 93911074023056 93911099736064 140722719455647 140722719455744 140722719455744 140722719461348 0
/proc/163633/statm: 1048 736 672 219 0 110 0
[pid=163638] ppid=163633 vsize=8767676 memory=7051304 CPUtime=101.89 cores=0,2
/proc/163638/stat : 163638 (python3) R 163633 163633 162562 0 -1 4194304 1417104 0 0 0 9912 277 0 0 20 0 1 0 237400021 8978100224 1762826 18446744073709551615 94834386759680 94834386760057 140733294846624 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94834386771352 94834386771972 94834402390016 140733294852438 140733294852640 140733294852640 140733294858215 0
/proc/163638/statm: 2191919 1762826 8054 1 0 2163277 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 8771868 KiB
Current children cumulated memory: 7054248 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/271 163695
/proc/meminfo: memFree=101281492/131250000 swapFree=33010416/33010684
[pid=163633] ppid=163630 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163633/stat : 163633 (scip-naps-1.00.) S 163630 163633 162562 0 -1 4194304 256 339 0 0 0 0 0 0 20 0 1 0 237400018 4292608 736 18446744073709551615 93911072841728 93911073736261 140722719449600 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93911073975312 93911074023056 93911099736064 140722719455647 140722719455744 140722719455744 140722719461348 0
/proc/163633/statm: 1048 736 672 219 0 110 0
[pid=163638] ppid=163633 vsize=8767676 memory=7051304 CPUtime=161.61 cores=0,2
/proc/163638/stat : 163638 (python3) R 163633 163633 162562 0 -1 4194304 1417227 0 0 0 15877 284 0 0 20 0 1 0 237400021 8978100224 1762826 18446744073709551615 94834386759680 94834386760057 140733294846624 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94834386771352 94834386771972 94834402390016 140733294852438 140733294852640 140733294852640 140733294858215 0
/proc/163638/statm: 2191919 1762826 8054 1 0 2163277 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 8771868 KiB
Current children cumulated memory: 7054248 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 163698
/proc/meminfo: memFree=101273100/131250000 swapFree=33010416/33010684
[pid=163633] ppid=163630 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163633/stat : 163633 (scip-naps-1.00.) S 163630 163633 162562 0 -1 4194304 256 339 0 0 0 0 0 0 20 0 1 0 237400018 4292608 736 18446744073709551615 93911072841728 93911073736261 140722719449600 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93911073975312 93911074023056 93911099736064 140722719455647 140722719455744 140722719455744 140722719461348 0
/proc/163633/statm: 1048 736 672 219 0 110 0
[pid=163638] ppid=163633 vsize=8767676 memory=7051304 CPUtime=221.32 cores=0,2
/proc/163638/stat : 163638 (python3) R 163633 163633 162562 0 -1 4194304 1417309 0 0 0 21841 291 0 0 20 0 1 0 237400021 8978100224 1762826 18446744073709551615 94834386759680 94834386760057 140733294846624 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94834386771352 94834386771972 94834402390016 140733294852438 140733294852640 140733294852640 140733294858215 0
/proc/163638/statm: 2191919 1762826 8054 1 0 2163277 0
Current children cumulated CPU time: 221.32 s
Current children cumulated vsize: 8771868 KiB

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

Current children cumulated CPU time: 3271.95 s
Current children cumulated vsize: 18230988 KiB
Current children cumulated memory: 15020684 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/273 163929
/proc/meminfo: memFree=61091940/131250000 swapFree=33010416/33010684
[pid=163633] ppid=163630 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163633/stat : 163633 (scip-naps-1.00.) S 163630 163633 162562 0 -1 4194304 256 339 0 0 0 0 0 0 20 0 1 0 237400018 4292608 736 18446744073709551615 93911072841728 93911073736261 140722719449600 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93911073975312 93911074023056 93911099736064 140722719455647 140722719455744 140722719455744 140722719461348 0
/proc/163633/statm: 1048 736 672 219 0 110 0
[pid=163638] ppid=163633 vsize=9887680 memory=8171620 CPUtime=507.63 cores=0,2
/proc/163638/stat : 163638 (python3) S 163633 163633 162562 0 -1 4194304 1679896 0 0 0 50386 377 0 0 20 0 1 0 237400021 10124984320 2042905 18446744073709551615 94834386759680 94834386760057 140733294846624 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94834386771352 94834386771972 94834402390016 140733294852438 140733294852640 140733294852640 140733294858215 0
/proc/163638/statm: 2471920 2042905 8086 1 0 2443278 0
[pid=163749] ppid=163638 vsize=8339116 memory=6856360 CPUtime=2824.15 cores=0,2
/proc/163749/stat : 163749 (naps-1.03a6) R 163638 163749 163749 0 -1 4194304 5323064 0 0 0 279028 3387 0 0 20 0 1 0 237451020 8539254784 1714090 18446744073709551615 4198400 7047149 140731948608656 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13152256 140731948611983 140731948612081 140731948612081 140731948617673 0
/proc/163749/statm: 2084779 1714090 544 696 0 2083940 0
Current children cumulated CPU time: 3331.78 s
Current children cumulated vsize: 18230988 KiB
Current children cumulated memory: 15030924 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 163933
/proc/meminfo: memFree=61305416/131250000 swapFree=33010416/33010684
[pid=163633] ppid=163630 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163633/stat : 163633 (scip-naps-1.00.) S 163630 163633 162562 0 -1 4194304 256 339 0 0 0 0 0 0 20 0 1 0 237400018 4292608 736 18446744073709551615 93911072841728 93911073736261 140722719449600 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93911073975312 93911074023056 93911099736064 140722719455647 140722719455744 140722719455744 140722719461348 0
/proc/163633/statm: 1048 736 672 219 0 110 0
[pid=163638] ppid=163633 vsize=9887680 memory=8171620 CPUtime=507.63 cores=0,2
/proc/163638/stat : 163638 (python3) S 163633 163633 162562 0 -1 4194304 1679896 0 0 0 50386 377 0 0 20 0 1 0 237400021 10124984320 2042905 18446744073709551615 94834386759680 94834386760057 140733294846624 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94834386771352 94834386771972 94834402390016 140733294852438 140733294852640 140733294852640 140733294858215 0
/proc/163638/statm: 2471920 2042905 8086 1 0 2443278 0
[pid=163749] ppid=163638 vsize=8339116 memory=6956712 CPUtime=2883.97 cores=0,2
/proc/163749/stat : 163749 (naps-1.03a6) R 163638 163749 163749 0 -1 4194304 5419698 0 0 0 284974 3423 0 0 20 0 1 0 237451020 8539254784 1739178 18446744073709551615 4198400 7047149 140731948608656 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13152256 140731948611983 140731948612081 140731948612081 140731948617673 0
/proc/163749/statm: 2084779 1739178 544 696 0 2083940 0
Current children cumulated CPU time: 3391.6 s
Current children cumulated vsize: 18230988 KiB
Current children cumulated memory: 15131276 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 163936
/proc/meminfo: memFree=58034984/131250000 swapFree=33010416/33010684
[pid=163633] ppid=163630 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163633/stat : 163633 (scip-naps-1.00.) S 163630 163633 162562 0 -1 4194304 256 339 0 0 0 0 0 0 20 0 1 0 237400018 4292608 736 18446744073709551615 93911072841728 93911073736261 140722719449600 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93911073975312 93911074023056 93911099736064 140722719455647 140722719455744 140722719455744 140722719461348 0
/proc/163633/statm: 1048 736 672 219 0 110 0
[pid=163638] ppid=163633 vsize=9887680 memory=8171620 CPUtime=507.63 cores=0,2
/proc/163638/stat : 163638 (python3) S 163633 163633 162562 0 -1 4194304 1679896 0 0 0 50386 377 0 0 20 0 1 0 237400021 10124984320 2042905 18446744073709551615 94834386759680 94834386760057 140733294846624 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94834386771352 94834386771972 94834402390016 140733294852438 140733294852640 140733294852640 140733294858215 0
/proc/163638/statm: 2471920 2042905 8086 1 0 2443278 0
[pid=163749] ppid=163638 vsize=13705140 memory=10191940 CPUtime=2943.79 cores=0,2
/proc/163749/stat : 163749 (naps-1.03a6) R 163638 163749 163749 0 -1 4194304 5441022 0 0 0 290831 3548 0 0 20 0 1 0 237451020 14034063360 2547985 18446744073709551615 4198400 7047149 140731948608656 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13152256 140731948611983 140731948612081 140731948612081 140731948617673 0
/proc/163749/statm: 3426285 2547985 544 696 0 3425446 0
Current children cumulated CPU time: 3451.42 s
Current children cumulated vsize: 23597012 KiB
Current children cumulated memory: 18366504 KiB

[startup+3522.3 s]
/proc/loadavg: 3.84 4.03 4.07 4/264 163969
/proc/meminfo: memFree=76747660/131250000 swapFree=33010416/33010684
[pid=163633] ppid=163630 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163633/stat : 163633 (scip-naps-1.00.) S 163630 163633 162562 0 -1 4194304 256 339 0 0 0 0 0 0 20 0 1 0 237400018 4292608 736 18446744073709551615 93911072841728 93911073736261 140722719449600 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93911073975312 93911074023056 93911099736064 140722719455647 140722719455744 140722719455744 140722719461348 0
/proc/163633/statm: 1048 736 672 219 0 110 0
[pid=163638] ppid=163633 vsize=9887680 memory=8171620 CPUtime=507.63 cores=0,2
/proc/163638/stat : 163638 (python3) S 163633 163633 162562 0 -1 4194304 1679896 0 0 0 50386 377 0 0 20 0 1 0 237400021 10124984320 2042905 18446744073709551615 94834386759680 94834386760057 140733294846624 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94834386771352 94834386771972 94834402390016 140733294852438 140733294852640 140733294852640 140733294858215 0
/proc/163638/statm: 2471920 2042905 8086 1 0 2443278 0
[pid=163749] ppid=163638 vsize=13705140 memory=10349640 CPUtime=3003.62 cores=0,2
/proc/163749/stat : 163749 (naps-1.03a6) R 163638 163749 163749 0 -1 4194304 5444009 0 0 0 296809 3553 0 0 20 0 1 0 237451020 14034063360 2587410 18446744073709551615 4198400 7047149 140731948608656 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13152256 140731948611983 140731948612081 140731948612081 140731948617673 0
/proc/163749/statm: 3426285 2587410 544 696 0 3425446 0
Current children cumulated CPU time: 3511.25 s
Current children cumulated vsize: 23597012 KiB
Current children cumulated memory: 18524204 KiB

[startup+3582.3 s]
/proc/loadavg: 3.35 3.85 4.00 4/264 163971
/proc/meminfo: memFree=79752900/131250000 swapFree=33010416/33010684
[pid=163633] ppid=163630 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163633/stat : 163633 (scip-naps-1.00.) S 163630 163633 162562 0 -1 4194304 256 339 0 0 0 0 0 0 20 0 1 0 237400018 4292608 736 18446744073709551615 93911072841728 93911073736261 140722719449600 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93911073975312 93911074023056 93911099736064 140722719455647 140722719455744 140722719455744 140722719461348 0
/proc/163633/statm: 1048 736 672 219 0 110 0
[pid=163638] ppid=163633 vsize=9887680 memory=8171620 CPUtime=507.63 cores=0,2
/proc/163638/stat : 163638 (python3) S 163633 163633 162562 0 -1 4194304 1679896 0 0 0 50386 377 0 0 20 0 1 0 237400021 10124984320 2042905 18446744073709551615 94834386759680 94834386760057 140733294846624 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94834386771352 94834386771972 94834402390016 140733294852438 140733294852640 140733294852640 140733294858215 0
/proc/163638/statm: 2471920 2042905 8086 1 0 2443278 0
[pid=163749] ppid=163638 vsize=9666044 memory=7502572 CPUtime=3063.45 cores=0,2
/proc/163749/stat : 163749 (naps-1.03a6) R 163638 163749 163749 0 -1 4194304 5450826 0 0 0 302786 3559 0 0 20 0 1 0 237451020 9898029056 1875643 18446744073709551615 4198400 7047149 140731948608656 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13152256 140731948611983 140731948612081 140731948612081 140731948617673 0
/proc/163749/statm: 2416511 1875643 544 696 0 2415672 0
Current children cumulated CPU time: 3571.08 s
Current children cumulated vsize: 19557916 KiB
Current children cumulated memory: 15677136 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 3.27 3.79 3.98 4/264 163971
/proc/meminfo: memFree=79668096/131250000 swapFree=33010416/33010684
[pid=163633] ppid=163630 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163633/stat : 163633 (scip-naps-1.00.) S 163630 163633 162562 0 -1 4194304 256 339 0 0 0 0 0 0 20 0 1 0 237400018 4292608 736 18446744073709551615 93911072841728 93911073736261 140722719449600 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93911073975312 93911074023056 93911099736064 140722719455647 140722719455744 140722719455744 140722719461348 0
/proc/163633/statm: 1048 736 672 219 0 110 0
[pid=163638] ppid=163633 vsize=9887680 memory=8171620 CPUtime=507.63 cores=0,2
/proc/163638/stat : 163638 (python3) S 163633 163633 162562 0 -1 4194304 1679896 0 0 0 50386 377 0 0 20 0 1 0 237400021 10124984320 2042905 18446744073709551615 94834386759680 94834386760057 140733294846624 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94834386771352 94834386771972 94834402390016 140733294852438 140733294852640 140733294852640 140733294858215 0
/proc/163638/statm: 2471920 2042905 8086 1 0 2443278 0
[pid=163749] ppid=163638 vsize=9936108 memory=7532984 CPUtime=3092.46 cores=0,2
/proc/163749/stat : 163749 (naps-1.03a6) R 163638 163749 163749 0 -1 4194304 5510148 0 0 0 305657 3589 0 0 20 0 1 0 237451020 10174574592 1883246 18446744073709551615 4198400 7047149 140731948608656 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 13152256 140731948611983 140731948612081 140731948612081 140731948617673 0
/proc/163749/statm: 2484027 1883246 544 696 0 2483188 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19827980 KiB
Current children cumulated memory: 15707548 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.005515 s, system=0.007475 s

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

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

# cumulated CPU time of all completed processes:  user=3562.11 s, system=40.2229 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+3612.8 s]
/proc/loadavg: 3.27 3.79 3.98 4/262 163971
/proc/meminfo: memFree=87239248/131250000 swapFree=33010416/33010684
[pid=163638] ppid=163630 vsize=9887936 memory=8171620 CPUtime=3601.46 cores=0,2
/proc/163638/stat : 163638 (python3) R 163630 163633 162562 0 -1 4194304 1993180 5510149 0 0 50498 393 305657 3598 20 0 1 0 237400021 10125246464 2042905 18446744073709551615 94834386759680 94834386760057 140733294846624 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94834386771352 94834386771972 94834402390016 140733294852438 140733294852640 140733294852640 140733294858215 0
/proc/163638/statm: 2471984 2042905 8086 1 0 2443342 0
Current cumulated CPU time of completed processes: 0.01299 s
Current children cumulated CPU time: 3601.46 s
Current children cumulated vsize: 9887936 KiB
Current children cumulated memory: 8171620 KiB

[startup+3613.2 s]
/proc/loadavg: 3.27 3.79 3.98 4/262 163971
/proc/meminfo: memFree=87244636/131250000 swapFree=33010416/33010684
[pid=163638] ppid=163630 vsize=9887936 memory=8171620 CPUtime=3601.85 cores=0,2
/proc/163638/stat : 163638 (python3) R 163630 163633 162562 0 -1 4194304 2067888 5510149 0 0 50534 396 305657 3598 20 0 1 0 237400021 10125246464 2042905 18446744073709551615 94834386759680 94834386760057 140733294846624 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94834386771352 94834386771972 94834402390016 140733294852438 140733294852640 140733294852640 140733294858215 0
/proc/163638/statm: 2471984 2042905 8086 1 0 2443342 0
Current cumulated CPU time of completed processes: 0.01299 s
Current children cumulated CPU time: 3601.85 s
Current children cumulated vsize: 9887936 KiB
Current children cumulated memory: 8171620 KiB

[startup+3613.4 s]
/proc/loadavg: 3.27 3.79 3.98 4/262 163971
/proc/meminfo: memFree=87244636/131250000 swapFree=33010416/33010684
[pid=163638] ppid=163630 vsize=9887936 memory=8171620 CPUtime=3602.05 cores=0,2
/proc/163638/stat : 163638 (python3) R 163630 163633 162562 0 -1 4194304 2106487 5510149 0 0 50552 398 305657 3598 20 0 1 0 237400021 10125246464 2042905 18446744073709551615 94834386759680 94834386760057 140733294846624 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94834386771352 94834386771972 94834402390016 140733294852438 140733294852640 140733294852640 140733294858215 0
/proc/163638/statm: 2471984 2042905 8086 1 0 2443342 0
Current cumulated CPU time of completed processes: 0.01299 s
Current children cumulated CPU time: 3602.05 s
Current children cumulated vsize: 9887936 KiB
Current children cumulated memory: 8171620 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3613.65
CPU time (s): 3602.33
CPU user time (s): 3562.11
CPU system time (s): 40.2229
CPU usage (%): 99.6868
Max. virtual memory (cumulated for all children) (KiB): 26180856
Max. memory (cumulated for all children) (KiB): 18965100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.11
system time used= 40.2229
maximum resident set size= 10790536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7617231
page faults= 0
swaps= 0
block input operations= 0
block output operations= 91048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 356
involuntary context switches= 22140


# summary of solver processes directly reported to runsolver:
#   pid: 163633,163638
#   total CPU time (s): 3602.33
#   total CPU user time (s): 3562.11
#   total CPU system time (s): 40.2229

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.89631 second user time and 15.7093 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-22 22:47:02
IDJOB=4542475
IDBENCH=163928
IDSOLVER=3368
FILE ID=nodeC018/4542475-1753217221
RUNJOBID= nodeC018-1753209881-162572
SLURM_JOB_ID= 9687775
Free space on /tmp= 432880 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542475-1753217221/watcher-4542475-1753217221 -o /tmp/evaluation-result-4542475-1753217221/solver-4542475-1753217221 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1753209881-162572 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4542475-1753217221.opb

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

MD5SUM BENCH= 67ed6d0a845cd2604ef9c9dd089eeee0
RANDOM SEED=1125925715

nodeC018 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		: 3596.622
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.66
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.762
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.66
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		: 3599.672
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.66
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		: 3597.019
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.66
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.820
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.66
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.910
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.66
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.829
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.66
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		: 3548.785
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        117369624 kB
MemAvailable:   118058512 kB
Buffers:            2128 kB
Cached:          1439664 kB
SwapCached:           28 kB
Active:         12710876 kB
Inactive:         361412 kB
Active(anon):   11656480 kB
Inactive(anon):      284 kB
Active(file):    1054396 kB
Inactive(file):   361128 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             51240 kB
Writeback:             0 kB
AnonPages:      11623708 kB
Mapped:           135860 kB
Shmem:             26240 kB
KReclaimable:     224808 kB
Slab:             320924 kB
SReclaimable:     224808 kB
SUnreclaim:        96116 kB
KernelStack:        4400 kB
PageTables:        26728 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   16147208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150680 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3516416 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= 432688 MiB
End job on nodeC018 at 2025-07-22 23:47:15