Trace number 4542287

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP-NaPS 1.00a2? (TO) 3602.32 3611.92

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height36_pigeons35_holes34.opb
MD5SUM8324c3ed1748cac240c60f4c3727f95f
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 benchmark268.679
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables837976
Total number of constraints52507
Number of constraints which are clauses26605
Number of constraints which are cardinality constraints (but not clauses)23201
Number of constraints which are nor clauses,nor cardinality constraints2701
Minimum length of a constraint34
Maximum length of a constraint39
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 42
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 

520.24/521.87	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4542287-1753214888.opb
520.24/521.87	c Solving mode: decision
520.24/521.87	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
520.24/521.87	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
520.24/521.87	c original problem has 837976 variables (837976 bin, 0 int, 0 impl, 0 cont) and 52507 constraints
520.24/521.87	c presolving:
520.24/521.87	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 29271 upgd conss, 0 impls, 23199 clqs
520.24/521.87	c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 52507 upgd conss, 0 impls, 23199 clqs
520.24/521.87	c    (12.2s) probing: 51/837976 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
520.24/521.87	c    (12.2s) probing aborted: 50/50 successive totally useless probings
520.24/521.87	c    (12.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
520.24/521.87	c symmetry computation terminated early, because number of cells 100005 in Nauty exceeds limit of 100000
520.24/521.87	c for running full symmetry detection, increase value of parameter propagating/symmetry/nautymaxncells
520.24/521.87	c    (16.6s) symmetry computation finished: 76 generators found (max: 76, log10 of symmetry group size: 0.0) (symcode time: 3.40)
520.24/521.87	c dynamic symmetry handling statistics:
520.24/521.87	c    orbitopal reduction:       no components
520.24/521.87	c    orbital reduction:          2 components of sizes 10, 65
520.24/521.87	c    lexicographic reduction:   75 permutations with support sizes 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 68, 68, 68, 68, 68, 68, 68, 68, 68, 70, 68, 68, 68, 68, 68, 68, 68, 68, 68, 68, 68, 68, 68, 68, 68, 68, 68, 68, 68, 68, 68, 68, 68, 70, 70, 70, 70, 70, 70, 70, 70, 70, 68
520.24/521.87	c handled 3 out of 3 symmetry components
520.24/521.87	c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
520.24/521.87	c  0 deleted vars, 0 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 8 changed coefficients
520.24/521.87	c  0 implications, 23200 cliques
520.24/521.87	c presolved problem has 837976 variables (837976 bin, 0 int, 0 impl, 0 cont) and 52508 constraints
520.24/521.87	c    2703 constraints of type <knapsack>
520.24/521.87	c   23199 constraints of type <setppc>
520.24/521.87	c       1 constraints of type <linear>
520.24/521.87	c   26605 constraints of type <logicor>
520.24/521.87	c transformed objective value is always integral (scale: 1)
520.24/521.87	c Presolving Time: 15.56
520.24/521.87	c 
520.24/521.87	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
520.24/521.87	c   160s|     1 |     0 |111423 |     - |  3748M |   0 | 837k|  52k|  52k|   0 |  0 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
520.24/521.87	c   253s|     1 |     0 |167434 |     - |  3934M |   0 | 837k|  52k|  52k| 131 |  1 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
520.24/521.87	c   263s|     1 |     0 |167984 |     - |  3987M |   0 | 837k|  52k|  52k| 254 |  2 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
520.24/521.87	c   273s|     1 |     0 |168477 |     - |  4053M |   0 | 837k|  52k|  52k| 369 |  3 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
520.24/521.87	c   287s|     1 |     0 |169157 |     - |  4142M |   0 | 837k|  52k|  52k| 462 |  4 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
520.24/521.87	c   297s|     1 |     0 |169604 |     - |  4195M |   0 | 837k|  52k|  53k| 545 |  5 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
520.24/521.87	c   311s|     1 |     0 |170045 |     - |  4274M |   0 | 837k|  52k|  53k| 604 |  6 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
520.24/521.87	c   324s|     1 |     0 |170532 |     - |  4359M |   0 | 837k|  52k|  53k| 672 |  7 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
520.24/521.87	c   336s|     1 |     0 |170943 |     - |  4443M |   0 | 837k|  52k|  53k| 734 |  8 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
520.24/521.87	c   349s|     1 |     0 |171418 |     - |  4523M |   0 | 837k|  52k|  53k| 784 |  9 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
520.24/521.87	c   363s|     1 |     0 |171816 |     - |  4654M |   0 | 837k|  52k|  53k| 826 | 10 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
520.24/521.87	c   373s|     1 |     0 |172123 |     - |  4661M |   0 | 837k|  52k|  53k| 862 | 11 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
520.24/521.87	c   480s|     1 |     2 |210075 |     - |  4695M |   0 | 837k|  52k|  53k| 862 | 11 | 226 |  21 | 0.000000e+00 |      --      |    Inf | unknown
520.24/521.87	c 
520.24/521.87	c SCIP Status        : solving was interrupted [time limit reached]
520.24/521.87	c Solving Time (sec) : 516.62
520.24/521.87	c Solving Nodes      : 12
520.24/521.87	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
520.24/521.87	c Dual Bound         : +0.00000000000000e+00
520.24/521.87	c Gap                : infinite
520.24/521.87	c ----------------------------------------------------------------------
520.24/521.87	c dual bound: 0.0 -> 0
520.24/521.87	c primal bound: 1e+20 -> 100000000000000000000
520.24/521.87	c scip-goal-lb: 0
520.24/521.87	c scip-goal-ub: 100000000000000000000
520.24/521.87	c writing output to: HOME/tmpyiokv02a.opb
520.24/521.87	c appending fixed variable constraints
520.24/521.87	c scip-fixed vars: 0.00% (0/837976)
520.24/521.87	c ----------------------------------------------------------------------
520.24/521.87	c executing external solver: HOME/naps-1.03a6
520.24/521.87	c ----------------------------------------------------------------------
520.24/521.87	c command: HOME/naps-1.03a6 HOME/tmpyiokv02a.opb
520.44/522.08	c NaPS 1.03a6.
520.44/522.08	c Input file name: HOME/tmpyiokv02a.opb
3600.09/3609.70	c
3600.09/3609.70	c *** TERMINATED *** by signal 15
3600.09/3609.70	c s UNKNOWN
3600.09/3609.70	c _____________________________________________________________________________
3600.09/3609.70	c std/band forms        : 25902,0
3600.09/3609.70	c 2cl/3cl ITE-codings   : 0,0
3600.09/3609.70	c BDD/srt/adr Max costs : 0,598,0
3600.09/3609.70	c BDDraw/bin/mul/srt/adr: 0,0,0,25902,0
3600.09/3609.70	c BDD nodes             : 0
3600.09/3609.70	c Es1/CC detections     : 0,0
3600.09/3609.70	c CC sort               : 25902
3600.09/3609.70	c SAT/UNSAT calls       : 0,0
3600.09/3609.70	c regenrated variables  : 0
3600.09/3609.70	c eliminated fixed lits : 0
3600.09/3609.70	c goal lit flips        : 0
3600.09/3609.70	c goal stages           : 0
3600.09/3609.70	c goal shrink           : 0
3600.09/3609.70	c goal coeff separations: 0
3600.09/3609.70	c restarts              : 0
3600.09/3609.70	c conflicts             : 0              (0 /sec)
3600.09/3609.70	c decisions             : 0              (0 /sec)
3600.09/3609.70	c propagations          : 0              (0 /sec)
3600.09/3609.70	c inspects              : 0              (0 /sec)
3600.09/3609.70	c CPU time (solving tm) : 3066 s        (3053 s, SAT 0 s, UNSAT 0 s)
3600.09/3609.70	c Time for Opt-base     : 0.248 s
3600.09/3609.70	c Steps for Opt-base    : 0
3600.09/3609.70	c Time for BDD coding   : 0 s
3600.09/3609.70	c Time for srt coding   : 5.658 s
3600.09/3609.70	c _____________________________________________________________________________
3600.09/3609.70	c received SIGTERM, forwarding to pbsolver...
3600.09/3609.73	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100074 s]*
/proc/loadavg: 4.12 4.17 4.18 3/253 193497
/proc/meminfo: memFree=129089400/131382116 swapFree=33009904/33010684
[pid=193483] ppid=193478 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/193483/stat : 193483 (scip-naps-1.00a) S 193478 193483 193071 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 237168044 4292608 736 18446744073709551615 93827802701824 93827803596357 140727781952368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93827803835408 93827803883152 93827812167680 140727781955995 140727781956094 140727781956094 140727781961698 0
/proc/193483/statm: 1048 736 672 219 0 110 0
[pid=193490] ppid=193483 vsize=11676 memory=8832 CPUtime=0.05 cores=5,7
/proc/193490/stat : 193490 (python3) R 193483 193483 193071 0 -1 4194304 1250 0 0 0 4 1 0 0 20 0 1 0 237168049 11956224 2208 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 2919 2208 1120 1 0 1167 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 15868 KiB
Current children cumulated memory: 11776 KiB

[startup+0.212301 s]*
/proc/loadavg: 4.12 4.17 4.18 5/255 193505
/proc/meminfo: memFree=129047948/131382116 swapFree=33009904/33010684
[pid=193483] ppid=193478 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/193483/stat : 193483 (scip-naps-1.00a) S 193478 193483 193071 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 237168044 4292608 736 18446744073709551615 93827802701824 93827803596357 140727781952368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93827803835408 93827803883152 93827812167680 140727781955995 140727781956094 140727781956094 140727781961698 0
/proc/193483/statm: 1048 736 672 219 0 110 0
[pid=193490] ppid=193483 vsize=782780 memory=27604 CPUtime=0.15 cores=5,7
/proc/193490/stat : 193490 (python3) R 193483 193483 193071 0 -1 4194304 3079 0 0 0 13 2 0 0 20 0 1 0 237168049 801566720 6901 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 261231 6901 4437 1 0 233318 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 786972 KiB
Current children cumulated memory: 30548 KiB

[startup+0.313091 s]*
/proc/loadavg: 4.12 4.17 4.18 5/254 193505
/proc/meminfo: memFree=128990208/131382116 swapFree=33009904/33010684
[pid=193483] ppid=193478 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/193483/stat : 193483 (scip-naps-1.00a) S 193478 193483 193071 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 237168044 4292608 736 18446744073709551615 93827802701824 93827803596357 140727781952368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93827803835408 93827803883152 93827812167680 140727781955995 140727781956094 140727781956094 140727781961698 0
/proc/193483/statm: 1048 736 672 219 0 110 0
[pid=193490] ppid=193483 vsize=1189592 memory=34644 CPUtime=0.25 cores=5,7
/proc/193490/stat : 193490 (python3) R 193483 193483 193071 0 -1 4194304 4281 0 0 0 22 3 0 0 20 0 1 0 237168049 1218142208 8661 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 297398 8661 5045 1 0 269307 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1193784 KiB
Current children cumulated memory: 37588 KiB

[startup+0.700485 s]
/proc/loadavg: 4.12 4.17 4.18 5/253 193517
/proc/meminfo: memFree=128877652/131382116 swapFree=33009904/33010684
[pid=193483] ppid=193478 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/193483/stat : 193483 (scip-naps-1.00a) S 193478 193483 193071 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 237168044 4292608 736 18446744073709551615 93827802701824 93827803596357 140727781952368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93827803835408 93827803883152 93827812167680 140727781955995 140727781956094 140727781956094 140727781961698 0
/proc/193483/statm: 1048 736 672 219 0 110 0
[pid=193490] ppid=193483 vsize=1289728 memory=140500 CPUtime=0.62 cores=5,7
/proc/193490/stat : 193490 (python3) R 193483 193483 193071 0 -1 4194304 28413 0 0 0 50 12 0 0 20 0 1 0 237168049 1320681472 35125 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 322432 35125 7605 1 0 293790 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 1293920 KiB
Current children cumulated memory: 143444 KiB

[startup+1.50045 s]
/proc/loadavg: 4.12 4.17 4.18 5/257 193540
/proc/meminfo: memFree=128494800/131382116 swapFree=33009904/33010684
[pid=193483] ppid=193478 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/193483/stat : 193483 (scip-naps-1.00a) S 193478 193483 193071 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 237168044 4292608 736 18446744073709551615 93827802701824 93827803596357 140727781952368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93827803835408 93827803883152 93827812167680 140727781955995 140727781956094 140727781956094 140727781961698 0
/proc/193483/statm: 1048 736 672 219 0 110 0
[pid=193490] ppid=193483 vsize=1613824 memory=464064 CPUtime=1.41 cores=5,7
/proc/193490/stat : 193490 (python3) R 193483 193483 193071 0 -1 4194304 108778 0 0 0 109 32 0 0 20 0 1 0 237168049 1652555776 116016 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 403456 116016 7605 1 0 374814 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 1618016 KiB
Current children cumulated memory: 467008 KiB

[startup+3.11349 s]
/proc/loadavg: 4.12 4.17 4.18 4/252 193548
/proc/meminfo: memFree=125897828/131382116 swapFree=33009904/33010684
[pid=193483] ppid=193478 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/193483/stat : 193483 (scip-naps-1.00a) S 193478 193483 193071 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 237168044 4292608 736 18446744073709551615 93827802701824 93827803596357 140727781952368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93827803835408 93827803883152 93827812167680 140727781955995 140727781956094 140727781956094 140727781961698 0
/proc/193483/statm: 1048 736 672 219 0 110 0
[pid=193490] ppid=193483 vsize=2697772 memory=1546788 CPUtime=3.01 cores=5,7
/proc/193490/stat : 193490 (python3) R 193483 193483 193071 0 -1 4194304 373643 0 0 0 221 80 0 0 20 0 1 0 237168049 2762518528 386665 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 674443 386665 7797 1 0 645801 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 2701964 KiB
Current children cumulated memory: 1549732 KiB

[startup+6.30039 s]
/proc/loadavg: 4.19 4.19 4.18 5/257 193589
/proc/meminfo: memFree=123468588/131382116 swapFree=33009904/33010684
[pid=193483] ppid=193478 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/193483/stat : 193483 (scip-naps-1.00a) S 193478 193483 193071 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 237168044 4292608 736 18446744073709551615 93827802701824 93827803596357 140727781952368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93827803835408 93827803883152 93827812167680 140727781955995 140727781956094 140727781956094 140727781961698 0
/proc/193483/statm: 1048 736 672 219 0 110 0
[pid=193490] ppid=193483 vsize=3491456 memory=2248688 CPUtime=6.19 cores=5,7
/proc/193490/stat : 193490 (python3) R 193483 193483 193071 0 -1 4194304 518808 0 0 0 511 108 0 0 20 0 1 0 237168049 3575250944 562172 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 872864 562172 7893 1 0 844222 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 3495648 KiB
Current children cumulated memory: 2251632 KiB

[startup+12.7004 s]
/proc/loadavg: 4.18 4.18 4.18 5/257 193589
/proc/meminfo: memFree=122617116/131382116 swapFree=33009904/33010684
[pid=193483] ppid=193478 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/193483/stat : 193483 (scip-naps-1.00a) S 193478 193483 193071 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 237168044 4292608 736 18446744073709551615 93827802701824 93827803596357 140727781952368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93827803835408 93827803883152 93827812167680 140727781955995 140727781956094 140727781956094 140727781961698 0
/proc/193483/statm: 1048 736 672 219 0 110 0
[pid=193490] ppid=193483 vsize=3678592 memory=2450092 CPUtime=12.57 cores=5,7
/proc/193490/stat : 193490 (python3) R 193483 193483 193071 0 -1 4194304 536952 0 0 0 1142 115 0 0 20 0 1 0 237168049 3766878208 612523 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 919648 612523 7925 1 0 891006 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 3682784 KiB
Current children cumulated memory: 2453036 KiB

[startup+25.5004 s]
/proc/loadavg: 4.14 4.17 4.18 5/257 193589
/proc/meminfo: memFree=120454924/131382116 swapFree=33009904/33010684
[pid=193483] ppid=193478 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/193483/stat : 193483 (scip-naps-1.00a) S 193478 193483 193071 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 237168044 4292608 736 18446744073709551615 93827802701824 93827803596357 140727781952368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93827803835408 93827803883152 93827812167680 140727781955995 140727781956094 140727781956094 140727781961698 0
/proc/193483/statm: 1048 736 672 219 0 110 0
[pid=193490] ppid=193483 vsize=5026020 memory=3416336 CPUtime=25.34 cores=5,7
/proc/193490/stat : 193490 (python3) R 193483 193483 193071 0 -1 4194304 740281 0 0 0 2365 169 0 0 20 0 1 0 237168049 5146644480 854084 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 1256505 854084 8085 1 0 1227863 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 5030212 KiB
Current children cumulated memory: 3419280 KiB

[startup+51.1135 s]
/proc/loadavg: 4.17 4.18 4.18 5/256 193590
/proc/meminfo: memFree=120125156/131382116 swapFree=33009904/33010684
[pid=193483] ppid=193478 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/193483/stat : 193483 (scip-naps-1.00a) S 193478 193483 193071 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 237168044 4292608 736 18446744073709551615 93827802701824 93827803596357 140727781952368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93827803835408 93827803883152 93827812167680 140727781955995 140727781956094 140727781956094 140727781961698 0
/proc/193483/statm: 1048 736 672 219 0 110 0
[pid=193490] ppid=193483 vsize=5026020 memory=3416336 CPUtime=50.87 cores=5,7
/proc/193490/stat : 193490 (python3) R 193483 193483 193071 0 -1 4194304 740315 0 0 0 4917 170 0 0 20 0 1 0 237168049 5146644480 854084 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 1256505 854084 8085 1 0 1227863 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 5030212 KiB
Current children cumulated memory: 3419280 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.16 4.18 5/256 193593
/proc/meminfo: memFree=119998780/131382116 swapFree=33009904/33010684
[pid=193483] ppid=193478 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/193483/stat : 193483 (scip-naps-1.00a) S 193478 193483 193071 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 237168044 4292608 736 18446744073709551615 93827802701824 93827803596357 140727781952368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93827803835408 93827803883152 93827812167680 140727781955995 140727781956094 140727781956094 140727781961698 0
/proc/193483/statm: 1048 736 672 219 0 110 0
[pid=193490] ppid=193483 vsize=5026020 memory=3416336 CPUtime=101.89 cores=5,7
/proc/193490/stat : 193490 (python3) R 193483 193483 193071 0 -1 4194304 740365 0 0 0 10017 172 0 0 20 0 1 0 237168049 5146644480 854084 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 1256505 854084 8085 1 0 1227863 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 5030212 KiB
Current children cumulated memory: 3419280 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.16 4.18 5/256 193594
/proc/meminfo: memFree=119668100/131382116 swapFree=33009904/33010684
[pid=193483] ppid=193478 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/193483/stat : 193483 (scip-naps-1.00a) S 193478 193483 193071 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 237168044 4292608 736 18446744073709551615 93827802701824 93827803596357 140727781952368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93827803835408 93827803883152 93827812167680 140727781955995 140727781956094 140727781956094 140727781961698 0
/proc/193483/statm: 1048 736 672 219 0 110 0
[pid=193490] ppid=193483 vsize=5484464 memory=3752976 CPUtime=161.74 cores=5,7
/proc/193490/stat : 193490 (python3) R 193483 193483 193071 0 -1 4194304 766932 0 0 0 15991 183 0 0 20 0 1 0 237168049 5616091136 938244 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 1371116 938244 8149 1 0 1342474 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 5488656 KiB
Current children cumulated memory: 3755920 KiB

[startup+222.301 s]
/proc/loadavg: 4.13 4.15 4.17 5/256 193596
/proc/meminfo: memFree=119185116/131382116 swapFree=33009904/33010684
[pid=193483] ppid=193478 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/193483/stat : 193483 (scip-naps-1.00a) S 193478 193483 193071 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 237168044 4292608 736 18446744073709551615 93827802701824 93827803596357 140727781952368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93827803835408 93827803883152 93827812167680 140727781955995 140727781956094 140727781956094 140727781961698 0
/proc/193483/statm: 1048 736 672 219 0 110 0
[pid=193490] ppid=193483 vsize=5528948 memory=3794276 CPUtime=221.57 cores=5,7
/proc/193490/stat : 193490 (python3) R 193483 193483 193071 0 -1 4194304 770268 0 0 0 21972 185 0 0 20 0 1 0 237168049 5661642752 948569 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 1382237 948569 8149 1 0 1353595 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 5533140 KiB

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

/proc/193490/stat : 193490 (python3) S 193483 193483 193071 0 -1 4194304 1462794 0 0 0 51711 326 0 0 20 0 1 0 237168049 8757940224 1691309 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 2138169 1691309 8181 1 0 2109527 0
[pid=193617] ppid=193490 vsize=2641452 memory=2321724 CPUtime=2813.03 cores=5,7
/proc/193617/stat : 193617 (naps-1.03a6) R 193490 193617 193617 0 -1 4194304 1191292 0 0 0 279995 1308 0 0 20 0 1 0 237220237 2704846848 580431 18446744073709551615 4198400 7047149 140727947906688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 16654336 140727947909519 140727947909617 140727947909617 140727947915209 0
/proc/193617/statm: 660363 580431 544 696 0 659524 0
Current children cumulated CPU time: 3333.41 s
Current children cumulated vsize: 11198320 KiB
Current children cumulated memory: 9089904 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.27 4.20 5/259 193768
/proc/meminfo: memFree=108845500/131382116 swapFree=33009904/33010684
[pid=193483] ppid=193478 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/193483/stat : 193483 (scip-naps-1.00a) S 193478 193483 193071 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 237168044 4292608 736 18446744073709551615 93827802701824 93827803596357 140727781952368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93827803835408 93827803883152 93827812167680 140727781955995 140727781956094 140727781956094 140727781961698 0
/proc/193483/statm: 1048 736 672 219 0 110 0
[pid=193490] ppid=193483 vsize=8552676 memory=6765236 CPUtime=520.37 cores=5,7
/proc/193490/stat : 193490 (python3) S 193483 193483 193071 0 -1 4194304 1462794 0 0 0 51711 326 0 0 20 0 1 0 237168049 8757940224 1691309 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 2138169 1691309 8181 1 0 2109527 0
[pid=193617] ppid=193490 vsize=2444844 memory=2244376 CPUtime=2872.88 cores=5,7
/proc/193617/stat : 193617 (naps-1.03a6) R 193490 193617 193617 0 -1 4194304 1193994 0 0 0 285974 1314 0 0 20 0 1 0 237220237 2503520256 561094 18446744073709551615 4198400 7047149 140727947906688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 16654336 140727947909519 140727947909617 140727947909617 140727947915209 0
/proc/193617/statm: 611211 561094 544 696 0 610372 0
Current children cumulated CPU time: 3393.26 s
Current children cumulated vsize: 11001712 KiB
Current children cumulated memory: 9012556 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.23 4.19 5/259 193771
/proc/meminfo: memFree=108836404/131382116 swapFree=33009904/33010684
[pid=193483] ppid=193478 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/193483/stat : 193483 (scip-naps-1.00a) S 193478 193483 193071 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 237168044 4292608 736 18446744073709551615 93827802701824 93827803596357 140727781952368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93827803835408 93827803883152 93827812167680 140727781955995 140727781956094 140727781956094 140727781961698 0
/proc/193483/statm: 1048 736 672 219 0 110 0
[pid=193490] ppid=193483 vsize=8552676 memory=6765236 CPUtime=520.37 cores=5,7
/proc/193490/stat : 193490 (python3) S 193483 193483 193071 0 -1 4194304 1462794 0 0 0 51711 326 0 0 20 0 1 0 237168049 8757940224 1691309 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 2138169 1691309 8181 1 0 2109527 0
[pid=193617] ppid=193490 vsize=2444844 memory=2244380 CPUtime=2932.73 cores=5,7
/proc/193617/stat : 193617 (naps-1.03a6) R 193490 193617 193617 0 -1 4194304 1195592 0 0 0 291953 1320 0 0 20 0 1 0 237220237 2503520256 561095 18446744073709551615 4198400 7047149 140727947906688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 16654336 140727947909519 140727947909617 140727947909617 140727947915209 0
/proc/193617/statm: 611211 561095 544 696 0 610372 0
Current children cumulated CPU time: 3453.11 s
Current children cumulated vsize: 11001712 KiB
Current children cumulated memory: 9012560 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.20 4.18 5/258 193773
/proc/meminfo: memFree=108814856/131382116 swapFree=33009904/33010684
[pid=193483] ppid=193478 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/193483/stat : 193483 (scip-naps-1.00a) S 193478 193483 193071 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 237168044 4292608 736 18446744073709551615 93827802701824 93827803596357 140727781952368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93827803835408 93827803883152 93827812167680 140727781955995 140727781956094 140727781956094 140727781961698 0
/proc/193483/statm: 1048 736 672 219 0 110 0
[pid=193490] ppid=193483 vsize=8552676 memory=6765236 CPUtime=520.37 cores=5,7
/proc/193490/stat : 193490 (python3) S 193483 193483 193071 0 -1 4194304 1462794 0 0 0 51711 326 0 0 20 0 1 0 237168049 8757940224 1691309 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 2138169 1691309 8181 1 0 2109527 0
[pid=193617] ppid=193490 vsize=2510380 memory=2254144 CPUtime=2992.55 cores=5,7
/proc/193617/stat : 193617 (naps-1.03a6) R 193490 193617 193617 0 -1 4194304 1200555 0 0 0 297926 1329 0 0 20 0 1 0 237220237 2570629120 563536 18446744073709551615 4198400 7047149 140727947906688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 16654336 140727947909519 140727947909617 140727947909617 140727947915209 0
/proc/193617/statm: 627595 563536 544 696 0 626756 0
Current children cumulated CPU time: 3512.93 s
Current children cumulated vsize: 11067248 KiB
Current children cumulated memory: 9022324 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.19 4.18 5/258 193775
/proc/meminfo: memFree=108749064/131382116 swapFree=33009904/33010684
[pid=193483] ppid=193478 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/193483/stat : 193483 (scip-naps-1.00a) S 193478 193483 193071 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 237168044 4292608 736 18446744073709551615 93827802701824 93827803596357 140727781952368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93827803835408 93827803883152 93827812167680 140727781955995 140727781956094 140727781956094 140727781961698 0
/proc/193483/statm: 1048 736 672 219 0 110 0
[pid=193490] ppid=193483 vsize=8552676 memory=6765236 CPUtime=520.37 cores=5,7
/proc/193490/stat : 193490 (python3) S 193483 193483 193071 0 -1 4194304 1462794 0 0 0 51711 326 0 0 20 0 1 0 237168049 8757940224 1691309 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 2138169 1691309 8181 1 0 2109527 0
[pid=193617] ppid=193490 vsize=2510380 memory=2303296 CPUtime=3052.38 cores=5,7
/proc/193617/stat : 193617 (naps-1.03a6) R 193490 193617 193617 0 -1 4194304 1201706 0 0 0 303903 1335 0 0 20 0 1 0 237220237 2570629120 575824 18446744073709551615 4198400 7047149 140727947906688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 16654336 140727947909519 140727947909617 140727947909617 140727947915209 0
/proc/193617/statm: 627595 575824 544 696 0 626756 0
Current children cumulated CPU time: 3572.76 s
Current children cumulated vsize: 11067248 KiB
Current children cumulated memory: 9071476 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.10 4.18 4.17 5/258 193776
/proc/meminfo: memFree=108682404/131382116 swapFree=33009904/33010684
[pid=193483] ppid=193478 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/193483/stat : 193483 (scip-naps-1.00a) S 193478 193483 193071 0 -1 4194304 258 342 0 0 0 0 0 1 20 0 1 0 237168044 4292608 736 18446744073709551615 93827802701824 93827803596357 140727781952368 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93827803835408 93827803883152 93827812167680 140727781955995 140727781956094 140727781956094 140727781961698 0
/proc/193483/statm: 1048 736 672 219 0 110 0
[pid=193490] ppid=193483 vsize=8552676 memory=6765236 CPUtime=520.37 cores=5,7
/proc/193490/stat : 193490 (python3) S 193483 193483 193071 0 -1 4194304 1462794 0 0 0 51711 326 0 0 20 0 1 0 237168049 8757940224 1691309 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 2138169 1691309 8181 1 0 2109527 0
[pid=193617] ppid=193490 vsize=2510380 memory=2276668 CPUtime=3079.71 cores=5,7
/proc/193617/stat : 193617 (naps-1.03a6) R 193490 193617 193617 0 -1 4194304 1215802 0 0 0 306629 1342 0 0 20 0 1 0 237220237 2570629120 569167 18446744073709551615 4198400 7047149 140727947906688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 16654336 140727947909519 140727947909617 140727947909617 140727947915209 0
/proc/193617/statm: 627595 569167 544 696 0 626756 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 11067248 KiB
Current children cumulated memory: 9044848 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

# cumulated CPU time of all completed processes:  user=3585.17 s, system=17.1516 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+3610.4 s]
/proc/loadavg: 4.01 4.16 4.17 4/250 193784
/proc/meminfo: memFree=111831156/131382116 swapFree=33009904/33010684
[pid=193490] ppid=193478 vsize=8552676 memory=6765236 CPUtime=3600.76 cores=5,7
/proc/193490/stat : 193490 (python3) R 193478 193483 193071 0 -1 4194304 1674390 1215803 0 0 51758 343 306630 1345 20 0 1 0 237168049 8757940224 1691309 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 2138169 1691309 8181 1 0 2109527 0
Current cumulated CPU time of completed processes: 0.0241 s
Current children cumulated CPU time: 3600.76 s
Current children cumulated vsize: 8552676 KiB
Current children cumulated memory: 6765236 KiB

[startup+3611.2 s]
/proc/loadavg: 4.01 4.16 4.17 5/249 193794
/proc/meminfo: memFree=115005652/131382116 swapFree=33009904/33010684
[pid=193490] ppid=193478 vsize=8552676 memory=6765236 CPUtime=3601.57 cores=5,7
/proc/193490/stat : 193490 (python3) R 193478 193483 193071 0 -1 4194304 1714914 1215803 0 0 51837 345 306630 1345 20 0 1 0 237168049 8757940224 1691309 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 2138169 1691309 8181 1 0 2109527 0
Current cumulated CPU time of completed processes: 0.0241 s
Current children cumulated CPU time: 3601.57 s
Current children cumulated vsize: 8552676 KiB
Current children cumulated memory: 6765236 KiB

[startup+3611.6 s]
/proc/loadavg: 4.01 4.16 4.17 5/249 193794
/proc/meminfo: memFree=115005652/131382116 swapFree=33009904/33010684
[pid=193490] ppid=193478 vsize=8552676 memory=6765236 CPUtime=3601.96 cores=5,7
/proc/193490/stat : 193490 (python3) R 193478 193483 193071 0 -1 4194304 1717577 1215803 0 0 51876 345 306630 1345 20 0 1 0 237168049 8757940224 1691309 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 2138169 1691309 8181 1 0 2109527 0
Current cumulated CPU time of completed processes: 0.0241 s
Current children cumulated CPU time: 3601.96 s
Current children cumulated vsize: 8552676 KiB
Current children cumulated memory: 6765236 KiB

[startup+3611.7 s]
/proc/loadavg: 4.01 4.16 4.17 5/249 193794
/proc/meminfo: memFree=115005652/131382116 swapFree=33009904/33010684
[pid=193490] ppid=193478 vsize=8552676 memory=6765236 CPUtime=3602.06 cores=5,7
/proc/193490/stat : 193490 (python3) R 193478 193483 193071 0 -1 4194304 1718107 1215803 0 0 51886 345 306630 1345 20 0 1 0 237168049 8757940224 1691309 18446744073709551615 94363467923456 94363467923833 140724548142016 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94363467935128 94363467935748 94363493036032 140724548143439 140724548143648 140724548143648 140724548149223 0
/proc/193490/statm: 2138169 1691309 8181 1 0 2109527 0
Current cumulated CPU time of completed processes: 0.0241 s
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 8552676 KiB
Current children cumulated memory: 6765236 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3611.92
CPU time (s): 3602.32
CPU user time (s): 3585.17
CPU system time (s): 17.1516
CPU usage (%): 99.7342
Max. virtual memory (cumulated for all children) (KiB): 15195024
Max. memory (cumulated for all children) (KiB): 11588480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.17
system time used= 17.1516
maximum resident set size= 6765236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2934510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 410
involuntary context switches= 4310


# summary of solver processes directly reported to runsolver:
#   pid: 193483,193490
#   total CPU time (s): 3602.32
#   total CPU user time (s): 3585.17
#   total CPU system time (s): 17.1516

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.4293 second user time and 36.8983 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-07-22 22:08:09
IDJOB=4542287
IDBENCH=163916
IDSOLVER=3388
FILE ID=nodeC004/4542287-1753214888
RUNJOBID= nodeC004-1753211276-193084
SLURM_JOB_ID= 9687793
Free space on /tmp= 432960 MiB

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

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

MD5SUM BENCH= 8324c3ed1748cac240c60f4c3727f95f
RANDOM SEED=142912460

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        129150112 kB
MemAvailable:   129813352 kB
Buffers:            2128 kB
Cached:          1411704 kB
SwapCached:           32 kB
Active:          1157680 kB
Inactive:         344736 kB
Active(anon):     104332 kB
Inactive(anon):    10468 kB
Active(file):    1053348 kB
Inactive(file):   334268 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             56772 kB
Writeback:             8 kB
AnonPages:         91804 kB
Mapped:           119556 kB
Shmem:             26132 kB
KReclaimable:     230504 kB
Slab:             322996 kB
SReclaimable:     230504 kB
SUnreclaim:        92492 kB
KernelStack:        4000 kB
PageTables:         3332 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1458352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432900 MiB
End job on nodeC004 at 2025-07-22 23:08:21