Trace number 4545088

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.25 3613.5

General information on the benchmark

NamePB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-table-3-3-9.opb
MD5SUM297c2237af667ea8e386e1666cb34677
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark146.963
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables625728
Total number of constraints628780
Number of constraints which are clauses6288
Number of constraints which are cardinality constraints (but not clauses)56
Number of constraints which are nor clauses,nor cardinality constraints622436
Minimum length of a constraint1
Maximum length of a constraint2712
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 75
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 2977
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

503.35/505.13	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4545088-1753226240.opb
503.35/505.13	c Solving mode: decision
503.35/505.13	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
503.35/505.13	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
503.35/505.13	c original problem has 625728 variables (625728 bin, 0 int, 0 impl, 0 cont) and 628780 constraints
503.35/505.13	c presolving:
503.35/505.13	c (round 1, fast)       10889 del vars, 265 del conss, 28 add conss, 132 chg bounds, 122 chg sides, 150 chg coeffs, 0 upgd conss, 0 impls, 525380 clqs
503.35/505.13	c (round 2, fast)       30451 del vars, 19894 del conss, 28 add conss, 9004 chg bounds, 19842 chg sides, 20906 chg coeffs, 0 upgd conss, 0 impls, 522964 clqs
503.35/505.13	c (round 3, exhaustive) 30451 del vars, 19894 del conss, 28 add conss, 9004 chg bounds, 19842 chg sides, 20906 chg coeffs, 606060 upgd conss, 0 impls, 522964 clqs
503.35/505.13	c (round 4, medium)     30451 del vars, 622646 del conss, 1715396 add conss, 9004 chg bounds, 19898 chg sides, 21018 chg coeffs, 606060 upgd conss, 0 impls, 1718956 clqs
503.35/505.13	c (round 5, exhaustive) 30451 del vars, 622674 del conss, 1715424 add conss, 9004 chg bounds, 19898 chg sides, 21018 chg coeffs, 608859 upgd conss, 0 impls, 1718956 clqs
503.35/505.13	c    (43.3s) probing: 51/605967 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
503.35/505.13	c    (43.3s) probing aborted: 50/50 successive totally useless probings
503.35/505.13	c    (47.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
503.35/505.13	c    (49.7s) no symmetry present (symcode time: 0.56)
503.35/505.13	c presolving (6 rounds: 6 fast, 4 medium, 3 exhaustive):
503.35/505.13	c  30451 deleted vars, 622674 deleted constraints, 1715424 added constraints, 9004 tightened bounds, 0 added holes, 19898 changed sides, 21018 changed coefficients
503.35/505.13	c  0 implications, 1718956 cliques
503.35/505.13	c presolved problem has 605967 variables (605967 bin, 0 int, 0 impl, 0 cont) and 1721530 constraints
503.35/505.13	c 1718620 constraints of type <setppc>
503.35/505.13	c      55 constraints of type <linear>
503.35/505.13	c    2855 constraints of type <logicor>
503.35/505.13	c transformed objective value is always integral (scale: 1)
503.35/505.13	c Presolving Time: 48.67
503.35/505.13	c 
503.35/505.13	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
503.35/505.13	c   501s|     1 |     0 | 65483 |     - |  6479M |   0 | 605k|1722k|1721k|   0 |  0 | 634 |   0 | 0.000000e+00 |      --      |    Inf | unknown
503.35/505.13	c (node 1) LP solver hit time limit in LP 1 -- using pseudo solution instead
503.35/505.13	c 
503.35/505.13	c SCIP Status        : solving was interrupted [time limit reached]
503.35/505.13	c Solving Time (sec) : 500.58
503.35/505.13	c Solving Nodes      : 1
503.35/505.13	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
503.35/505.13	c Dual Bound         : +0.00000000000000e+00
503.35/505.13	c Gap                : infinite
503.35/505.13	c ----------------------------------------------------------------------
503.35/505.13	c dual bound: 0.0 -> 0
503.35/505.13	c primal bound: 1e+20 -> 100000000000000000000
503.35/505.13	c scip-goal-lb: 0
503.35/505.13	c scip-goal-ub: 100000000000000000000
503.35/505.13	c writing output to: HOME/tmpwyikk_c5.opb
503.35/505.13	c appending fixed variable constraints
503.35/505.13	c scip-fixed vars: 3.27% (19789/605967)
503.35/505.13	c ----------------------------------------------------------------------
503.35/505.13	c executing external solver: HOME/naps-1.03a6
503.35/505.13	c ----------------------------------------------------------------------
503.35/505.13	c command: HOME/naps-1.03a6 HOME/tmpwyikk_c5.opb
503.44/505.24	c NaPS 1.03a6.
503.44/505.24	c Input file name: HOME/tmpwyikk_c5.opb
3600.03/3611.30	c
3600.03/3611.30	c *** TERMINATED *** by signal 15
3600.03/3611.30	c _____________________________________________________________________________
3600.03/3611.30	c std/band forms        : 602862,28
3600.03/3611.30	c 2cl/3cl ITE-codings   : 0,126560
3600.03/3611.30	c BDD/srt/adr Max costs : 4876,1608,0
3600.03/3611.30	c BDDraw/bin/mul/srt/adr: 602780,0,28,82,0
3600.03/3611.30	c BDD nodes             : 2454788
3600.03/3611.30	c Es1/CC detections     : 0,0
3600.03/3611.30	c CC sort               : 55
3600.03/3611.30	c SAT/UNSAT calls       : 0,0
3600.03/3611.30	c regenrated variables  : 0
3600.03/3611.30	c eliminated fixed lits : 98460
3600.03/3611.30	c goal lit flips        : 0
3600.03/3611.30	c goal stages           : 0
3600.03/3611.30	c goal shrink           : 0
3600.03/3611.30	c goal coeff separations: 0
3600.03/3611.30	c restarts              : 0
3600.03/3611.30	c conflicts             : 0              (0 /sec)
3600.03/3611.30	c decisions             : 0              (0 /sec)
3600.03/3611.30	c propagations          : 0              (0 /sec)
3600.03/3611.30	c inspects              : 0              (0 /sec)
3600.03/3611.30	c CPU time (solving tm) : 3093 s        (3079 s, SAT 0 s, UNSAT 0 s)
3600.03/3611.30	c Time for Opt-base     : 0.03132 s
3600.03/3611.30	c Steps for Opt-base    : 114800
3600.03/3611.30	c Time for BDD coding   : 6.005 s
3600.03/3611.30	c Time for srt coding   : 0.00818 s
3600.03/3611.30	c _____________________________________________________________________________
3600.03/3611.32	c received SIGTERM, forwarding to pbsolver...
3600.03/3611.32	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545088-1753226240/watcher-4545088-1753226240 -o /tmp/evaluation-result-4545088-1753226240/solver-4545088-1753226240 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753222578-168830 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4545088-1753226240.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100063 s]*
/proc/loadavg: 4.12 4.14 4.09 5/269 171683
/proc/meminfo: memFree=120298748/131249988 swapFree=33010416/33010684
[pid=171678] ppid=171675 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171678/stat : 171678 (scip-naps-1.00.) S 171675 171678 168818 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 238302619 4292608 768 18446744073709551615 94780991324160 94780992218693 140728454210512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94780992457744 94780992505488 94780999745536 140728454211999 140728454212096 140728454212096 140728454217700 0
/proc/171678/statm: 1048 768 704 219 0 110 0
[pid=171683] ppid=171678 vsize=1186920 memory=31776 CPUtime=0.06 cores=1,3
/proc/171683/stat : 171683 (python3) R 171678 171678 168818 0 -1 4194304 3709 0 0 0 5 1 0 0 20 0 1 0 238302621 1215406080 7944 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 296730 7944 4876 1 0 268752 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191112 KiB
Current children cumulated memory: 34848 KiB

[startup+0.205727 s]*
/proc/loadavg: 4.12 4.14 4.09 5/269 171683
/proc/meminfo: memFree=120260712/131249988 swapFree=33010416/33010684
[pid=171678] ppid=171675 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171678/stat : 171678 (scip-naps-1.00.) S 171675 171678 168818 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 238302619 4292608 768 18446744073709551615 94780991324160 94780992218693 140728454210512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94780992457744 94780992505488 94780999745536 140728454211999 140728454212096 140728454212096 140728454217700 0
/proc/171678/statm: 1048 768 704 219 0 110 0
[pid=171683] ppid=171678 vsize=1229776 memory=81440 CPUtime=0.17 cores=1,3
/proc/171683/stat : 171683 (python3) R 171678 171678 168818 0 -1 4194304 13605 0 0 0 14 3 0 0 20 0 1 0 238302621 1259290624 20360 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 307444 20360 7628 1 0 278802 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1233968 KiB
Current children cumulated memory: 84512 KiB

[startup+0.305725 s]*
/proc/loadavg: 4.12 4.14 4.09 5/269 171683
/proc/meminfo: memFree=120204264/131249988 swapFree=33010416/33010684
[pid=171678] ppid=171675 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171678/stat : 171678 (scip-naps-1.00.) S 171675 171678 168818 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 238302619 4292608 768 18446744073709551615 94780991324160 94780992218693 140728454210512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94780992457744 94780992505488 94780999745536 140728454211999 140728454212096 140728454212096 140728454217700 0
/proc/171678/statm: 1048 768 704 219 0 110 0
[pid=171683] ppid=171678 vsize=1282152 memory=132640 CPUtime=0.27 cores=1,3
/proc/171683/stat : 171683 (python3) R 171678 171678 168818 0 -1 4194304 26406 0 0 0 22 5 0 0 20 0 1 0 238302621 1312923648 33160 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 320538 33160 7628 1 0 291896 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1286344 KiB
Current children cumulated memory: 135712 KiB

[startup+0.700207 s]
/proc/loadavg: 4.11 4.13 4.08 5/269 171683
/proc/meminfo: memFree=120115560/131249988 swapFree=33010416/33010684
[pid=171678] ppid=171675 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171678/stat : 171678 (scip-naps-1.00.) S 171675 171678 168818 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 238302619 4292608 768 18446744073709551615 94780991324160 94780992218693 140728454210512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94780992457744 94780992505488 94780999745536 140728454211999 140728454212096 140728454212096 140728454217700 0
/proc/171678/statm: 1048 768 704 219 0 110 0
[pid=171683] ppid=171678 vsize=1450416 memory=301856 CPUtime=0.65 cores=1,3
/proc/171683/stat : 171683 (python3) R 171678 171678 168818 0 -1 4194304 68694 0 0 0 55 10 0 0 20 0 1 0 238302621 1485225984 75432 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 362604 75464 7628 1 0 333962 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1454608 KiB
Current children cumulated memory: 304928 KiB

[startup+1.50021 s]
/proc/loadavg: 4.11 4.13 4.08 5/269 171683
/proc/meminfo: memFree=119906164/131249988 swapFree=33010416/33010684
[pid=171678] ppid=171675 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171678/stat : 171678 (scip-naps-1.00.) S 171675 171678 168818 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 238302619 4292608 768 18446744073709551615 94780991324160 94780992218693 140728454210512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94780992457744 94780992505488 94780999745536 140728454211999 140728454212096 140728454212096 140728454217700 0
/proc/171678/statm: 1048 768 704 219 0 110 0
[pid=171683] ppid=171678 vsize=1790428 memory=640752 CPUtime=1.45 cores=1,3
/proc/171683/stat : 171683 (python3) R 171678 171678 168818 0 -1 4194304 152408 0 0 0 120 25 0 0 20 0 1 0 238302621 1833398272 160188 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 447607 160188 7628 1 0 418965 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1794620 KiB
Current children cumulated memory: 643824 KiB

[startup+3.10561 s]
/proc/loadavg: 4.11 4.13 4.08 5/269 171683
/proc/meminfo: memFree=118725856/131249988 swapFree=33010416/33010684
[pid=171678] ppid=171675 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171678/stat : 171678 (scip-naps-1.00.) S 171675 171678 168818 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 238302619 4292608 768 18446744073709551615 94780991324160 94780992218693 140728454210512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94780992457744 94780992505488 94780999745536 140728454211999 140728454212096 140728454212096 140728454217700 0
/proc/171678/statm: 1048 768 704 219 0 110 0
[pid=171683] ppid=171678 vsize=2800848 memory=1650768 CPUtime=3.05 cores=1,3
/proc/171683/stat : 171683 (python3) R 171678 171678 168818 0 -1 4194304 399671 0 0 0 245 60 0 0 20 0 1 0 238302621 2868068352 412692 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 700212 412692 7788 1 0 671570 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 2805040 KiB
Current children cumulated memory: 1653840 KiB

[startup+6.3002 s]
/proc/loadavg: 4.10 4.13 4.08 5/269 171683
/proc/meminfo: memFree=117935304/131249988 swapFree=33010416/33010684
[pid=171678] ppid=171675 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171678/stat : 171678 (scip-naps-1.00.) S 171675 171678 168818 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 238302619 4292608 768 18446744073709551615 94780991324160 94780992218693 140728454210512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94780992457744 94780992505488 94780999745536 140728454211999 140728454212096 140728454212096 140728454217700 0
/proc/171678/statm: 1048 768 704 219 0 110 0
[pid=171683] ppid=171678 vsize=3638020 memory=2424520 CPUtime=6.24 cores=1,3
/proc/171683/stat : 171683 (python3) R 171678 171678 168818 0 -1 4194304 562387 0 0 0 537 87 0 0 20 0 1 0 238302621 3725332480 606130 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 909505 606130 7884 1 0 880863 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 3642212 KiB
Current children cumulated memory: 2427592 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.13 4.08 5/269 171684
/proc/meminfo: memFree=116921180/131249988 swapFree=33010416/33010684
[pid=171678] ppid=171675 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171678/stat : 171678 (scip-naps-1.00.) S 171675 171678 168818 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 238302619 4292608 768 18446744073709551615 94780991324160 94780992218693 140728454210512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94780992457744 94780992505488 94780999745536 140728454211999 140728454212096 140728454212096 140728454217700 0
/proc/171678/statm: 1048 768 704 219 0 110 0
[pid=171683] ppid=171678 vsize=4755408 memory=3534628 CPUtime=12.62 cores=1,3
/proc/171683/stat : 171683 (python3) R 171678 171678 168818 0 -1 4194304 812305 0 0 0 1138 124 0 0 20 0 1 0 238302621 4869537792 883657 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 1188852 883657 7916 1 0 1160210 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 4759600 KiB
Current children cumulated memory: 3537700 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.12 4.08 5/269 171684
/proc/meminfo: memFree=116075416/131249988 swapFree=33010416/33010684
[pid=171678] ppid=171675 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171678/stat : 171678 (scip-naps-1.00.) S 171675 171678 168818 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 238302619 4292608 768 18446744073709551615 94780991324160 94780992218693 140728454210512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94780992457744 94780992505488 94780999745536 140728454211999 140728454212096 140728454212096 140728454217700 0
/proc/171678/statm: 1048 768 704 219 0 110 0
[pid=171683] ppid=171678 vsize=5454584 memory=4243744 CPUtime=25.39 cores=1,3
/proc/171683/stat : 171683 (python3) R 171678 171678 168818 0 -1 4194304 939212 0 0 0 2391 148 0 0 20 0 1 0 238302621 5585494016 1060936 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 1363646 1060936 7948 1 0 1335004 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 5458776 KiB
Current children cumulated memory: 4246816 KiB

[startup+51.1058 s]
/proc/loadavg: 4.12 4.13 4.09 5/269 171684
/proc/meminfo: memFree=115280156/131249988 swapFree=33010416/33010684
[pid=171678] ppid=171675 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171678/stat : 171678 (scip-naps-1.00.) S 171675 171678 168818 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 238302619 4292608 768 18446744073709551615 94780991324160 94780992218693 140728454210512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94780992457744 94780992505488 94780999745536 140728454211999 140728454212096 140728454212096 140728454217700 0
/proc/171678/statm: 1048 768 704 219 0 110 0
[pid=171683] ppid=171678 vsize=6671496 memory=5103112 CPUtime=50.93 cores=1,3
/proc/171683/stat : 171683 (python3) R 171678 171678 168818 0 -1 4194304 973429 0 0 0 4924 169 0 0 20 0 1 0 238302621 6831611904 1275778 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 1667874 1275778 7948 1 0 1639232 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 6675688 KiB
Current children cumulated memory: 5106184 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.14 4.09 5/269 171738
/proc/meminfo: memFree=111718820/131249988 swapFree=33010416/33010684
[pid=171678] ppid=171675 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171678/stat : 171678 (scip-naps-1.00.) S 171675 171678 168818 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 238302619 4292608 768 18446744073709551615 94780991324160 94780992218693 140728454210512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94780992457744 94780992505488 94780999745536 140728454211999 140728454212096 140728454212096 140728454217700 0
/proc/171678/statm: 1048 768 704 219 0 110 0
[pid=171683] ppid=171678 vsize=8720824 memory=7108552 CPUtime=101.96 cores=1,3
/proc/171683/stat : 171683 (python3) R 171678 171678 168818 0 -1 4194304 1288553 0 0 0 9924 272 0 0 20 0 1 0 238302621 8930123776 1777138 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 2180206 1777138 8108 1 0 2151564 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 8725016 KiB
Current children cumulated memory: 7111624 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/269 171744
/proc/meminfo: memFree=111622524/131249988 swapFree=33010416/33010684
[pid=171678] ppid=171675 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171678/stat : 171678 (scip-naps-1.00.) S 171675 171678 168818 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 238302619 4292608 768 18446744073709551615 94780991324160 94780992218693 140728454210512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94780992457744 94780992505488 94780999745536 140728454211999 140728454212096 140728454212096 140728454217700 0
/proc/171678/statm: 1048 768 704 219 0 110 0
[pid=171683] ppid=171678 vsize=8731416 memory=7127144 CPUtime=161.74 cores=1,3
/proc/171683/stat : 171683 (python3) R 171678 171678 168818 0 -1 4194304 1305672 0 0 0 15880 294 0 0 20 0 1 0 238302621 8940969984 1781786 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 2182854 1781786 8108 1 0 2154212 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 8735608 KiB
Current children cumulated memory: 7130216 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/269 171746
/proc/meminfo: memFree=111595104/131249988 swapFree=33010416/33010684
[pid=171678] ppid=171675 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171678/stat : 171678 (scip-naps-1.00.) S 171675 171678 168818 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 238302619 4292608 768 18446744073709551615 94780991324160 94780992218693 140728454210512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94780992457744 94780992505488 94780999745536 140728454211999 140728454212096 140728454212096 140728454217700 0
/proc/171678/statm: 1048 768 704 219 0 110 0
[pid=171683] ppid=171678 vsize=8733404 memory=7129264 CPUtime=221.52 cores=1,3
/proc/171683/stat : 171683 (python3) R 171678 171678 168818 0 -1 4194304 1328082 0 0 0 21827 325 0 0 20 0 1 0 238302621 8943005696 1782316 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 2183351 1782316 8108 1 0 2154709 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 8737596 KiB

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

/proc/171683/stat : 171683 (python3) S 171678 171678 168818 0 -1 4194304 1510337 0 0 0 49854 490 0 0 20 0 1 0 238302621 9354317824 1883407 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 2283769 1883407 8140 1 0 2255127 0
[pid=171758] ppid=171683 vsize=1515476 memory=1380292 CPUtime=2828.46 cores=1,3
/proc/171758/stat : 171758 (naps-1.03a6) R 171683 171758 171758 0 -1 4194304 406160 0 0 0 282478 368 0 0 20 0 1 0 238353138 1551847424 345073 18446744073709551615 4198400 7047149 140730115386928 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21250048 140730115389839 140730115389937 140730115389937 140730115395529 0
/proc/171758/statm: 378869 345073 544 696 0 378030 0
Current children cumulated CPU time: 3331.9 s
Current children cumulated vsize: 10654744 KiB
Current children cumulated memory: 8916992 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/271 172155
/proc/meminfo: memFree=110673252/131249988 swapFree=33010416/33010684
[pid=171678] ppid=171675 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171678/stat : 171678 (scip-naps-1.00.) S 171675 171678 168818 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 238302619 4292608 768 18446744073709551615 94780991324160 94780992218693 140728454210512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94780992457744 94780992505488 94780999745536 140728454211999 140728454212096 140728454212096 140728454217700 0
/proc/171678/statm: 1048 768 704 219 0 110 0
[pid=171683] ppid=171678 vsize=9135076 memory=7533628 CPUtime=503.44 cores=1,3
/proc/171683/stat : 171683 (python3) S 171678 171678 168818 0 -1 4194304 1510337 0 0 0 49854 490 0 0 20 0 1 0 238302621 9354317824 1883407 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 2283769 1883407 8140 1 0 2255127 0
[pid=171758] ppid=171683 vsize=1548244 memory=1404868 CPUtime=2888.26 cores=1,3
/proc/171758/stat : 171758 (naps-1.03a6) R 171683 171758 171758 0 -1 4194304 408093 0 0 0 288454 372 0 0 20 0 1 0 238353138 1585401856 351217 18446744073709551615 4198400 7047149 140730115386928 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21250048 140730115389839 140730115389937 140730115389937 140730115395529 0
/proc/171758/statm: 387061 351217 544 696 0 386222 0
Current children cumulated CPU time: 3391.7 s
Current children cumulated vsize: 10687512 KiB
Current children cumulated memory: 8941568 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/271 172157
/proc/meminfo: memFree=111017124/131249988 swapFree=33010416/33010684
[pid=171678] ppid=171675 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171678/stat : 171678 (scip-naps-1.00.) S 171675 171678 168818 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 238302619 4292608 768 18446744073709551615 94780991324160 94780992218693 140728454210512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94780992457744 94780992505488 94780999745536 140728454211999 140728454212096 140728454212096 140728454217700 0
/proc/171678/statm: 1048 768 704 219 0 110 0
[pid=171683] ppid=171678 vsize=9135076 memory=7533628 CPUtime=503.44 cores=1,3
/proc/171683/stat : 171683 (python3) S 171678 171678 168818 0 -1 4194304 1510337 0 0 0 49854 490 0 0 20 0 1 0 238302621 9354317824 1883407 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 2283769 1883407 8140 1 0 2255127 0
[pid=171758] ppid=171683 vsize=1253332 memory=1120196 CPUtime=2948.06 cores=1,3
/proc/171758/stat : 171758 (naps-1.03a6) R 171683 171758 171758 0 -1 4194304 410166 0 0 0 294431 375 0 0 20 0 1 0 238353138 1283411968 280049 18446744073709551615 4198400 7047149 140730115386928 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21250048 140730115389839 140730115389937 140730115389937 140730115395529 0
/proc/171758/statm: 313333 280049 544 696 0 312494 0
Current children cumulated CPU time: 3451.5 s
Current children cumulated vsize: 10392600 KiB
Current children cumulated memory: 8656896 KiB

[startup+3522.3 s]
/proc/loadavg: 4.32 4.19 4.12 5/271 172159
/proc/meminfo: memFree=110932116/131249988 swapFree=33010416/33010684
[pid=171678] ppid=171675 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171678/stat : 171678 (scip-naps-1.00.) S 171675 171678 168818 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 238302619 4292608 768 18446744073709551615 94780991324160 94780992218693 140728454210512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94780992457744 94780992505488 94780999745536 140728454211999 140728454212096 140728454212096 140728454217700 0
/proc/171678/statm: 1048 768 704 219 0 110 0
[pid=171683] ppid=171678 vsize=9135076 memory=7533628 CPUtime=503.44 cores=1,3
/proc/171683/stat : 171683 (python3) S 171678 171678 168818 0 -1 4194304 1510337 0 0 0 49854 490 0 0 20 0 1 0 238302621 9354317824 1883407 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 2283769 1883407 8140 1 0 2255127 0
[pid=171758] ppid=171683 vsize=1286100 memory=1167300 CPUtime=3007.88 cores=1,3
/proc/171758/stat : 171758 (naps-1.03a6) R 171683 171758 171758 0 -1 4194304 412988 0 0 0 300408 380 0 0 20 0 1 0 238353138 1316966400 291825 18446744073709551615 4198400 7047149 140730115386928 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21250048 140730115389839 140730115389937 140730115389937 140730115395529 0
/proc/171758/statm: 321525 291825 544 696 0 320686 0
Current children cumulated CPU time: 3511.32 s
Current children cumulated vsize: 10425368 KiB
Current children cumulated memory: 8704000 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/271 172161
/proc/meminfo: memFree=110960664/131249988 swapFree=33010416/33010684
[pid=171678] ppid=171675 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171678/stat : 171678 (scip-naps-1.00.) S 171675 171678 168818 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 238302619 4292608 768 18446744073709551615 94780991324160 94780992218693 140728454210512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94780992457744 94780992505488 94780999745536 140728454211999 140728454212096 140728454212096 140728454217700 0
/proc/171678/statm: 1048 768 704 219 0 110 0
[pid=171683] ppid=171678 vsize=9135076 memory=7533628 CPUtime=503.44 cores=1,3
/proc/171683/stat : 171683 (python3) S 171678 171678 168818 0 -1 4194304 1510337 0 0 0 49854 490 0 0 20 0 1 0 238302621 9354317824 1883407 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 2283769 1883407 8140 1 0 2255127 0
[pid=171758] ppid=171683 vsize=1286100 memory=1159108 CPUtime=3067.68 cores=1,3
/proc/171758/stat : 171758 (naps-1.03a6) R 171683 171758 171758 0 -1 4194304 414828 0 0 0 306384 384 0 0 20 0 1 0 238353138 1316966400 289777 18446744073709551615 4198400 7047149 140730115386928 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21250048 140730115389839 140730115389937 140730115389937 140730115395529 0
/proc/171758/statm: 321525 289777 544 696 0 320686 0
Current children cumulated CPU time: 3571.12 s
Current children cumulated vsize: 10425368 KiB
Current children cumulated memory: 8695808 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.14 4.17 4.11 5/271 172162
/proc/meminfo: memFree=110929580/131249988 swapFree=33010416/33010684
[pid=171678] ppid=171675 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171678/stat : 171678 (scip-naps-1.00.) S 171675 171678 168818 0 -1 4194304 257 342 0 0 0 0 0 0 20 0 1 0 238302619 4292608 768 18446744073709551615 94780991324160 94780992218693 140728454210512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94780992457744 94780992505488 94780999745536 140728454211999 140728454212096 140728454212096 140728454217700 0
/proc/171678/statm: 1048 768 704 219 0 110 0
[pid=171683] ppid=171678 vsize=9135076 memory=7533628 CPUtime=503.44 cores=1,3
/proc/171683/stat : 171683 (python3) S 171678 171678 168818 0 -1 4194304 1510337 0 0 0 49854 490 0 0 20 0 1 0 238302621 9354317824 1883407 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 2283769 1883407 8140 1 0 2255127 0
[pid=171758] ppid=171683 vsize=1253332 memory=1179588 CPUtime=3096.59 cores=1,3
/proc/171758/stat : 171758 (naps-1.03a6) R 171683 171758 171758 0 -1 4194304 415204 0 0 0 309274 385 0 0 20 0 1 0 238353138 1283411968 294897 18446744073709551615 4198400 7047149 140730115386928 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 21250048 140730115389839 140730115389937 140730115389937 140730115395529 0
/proc/171758/statm: 313333 294897 544 696 0 312494 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 10392600 KiB
Current children cumulated memory: 8716288 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.003731 s, system=0.00801 s

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

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

# cumulated CPU time of all completed processes:  user=3593.06 s, system=9.1911 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 s]*
/proc/loadavg: 4.13 4.16 4.11 5/269 172162
/proc/meminfo: memFree=112115440/131249988 swapFree=33010416/33010684
[pid=171683] ppid=171675 vsize=9135076 memory=7533628 CPUtime=3600.72 cores=1,3
/proc/171683/stat : 171683 (python3) R 171675 171678 168818 0 -1 4194304 1834189 415205 0 0 49907 503 309274 388 20 0 1 0 238302621 9354317824 1883407 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 2283769 1883407 8140 1 0 2255127 0
Current cumulated CPU time of completed processes: 0.011741 s
Current children cumulated CPU time: 3600.72 s
Current children cumulated vsize: 9135076 KiB
Current children cumulated memory: 7533628 KiB

[startup+3612.8 s]
/proc/loadavg: 4.13 4.16 4.11 5/269 172162
/proc/meminfo: memFree=112115440/131249988 swapFree=33010416/33010684
[pid=171683] ppid=171675 vsize=9135076 memory=7533628 CPUtime=3601.52 cores=1,3
/proc/171683/stat : 171683 (python3) R 171675 171678 168818 0 -1 4194304 1934862 415205 0 0 49983 507 309274 388 20 0 1 0 238302621 9354317824 1883407 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 2283769 1883407 8140 1 0 2255127 0
Current cumulated CPU time of completed processes: 0.011741 s
Current children cumulated CPU time: 3601.52 s
Current children cumulated vsize: 9135076 KiB
Current children cumulated memory: 7533628 KiB

[startup+3613.2 s]
/proc/loadavg: 4.13 4.16 4.11 5/269 172162
/proc/meminfo: memFree=112115440/131249988 swapFree=33010416/33010684
[pid=171683] ppid=171675 vsize=9135076 memory=7533628 CPUtime=3601.91 cores=1,3
/proc/171683/stat : 171683 (python3) R 171675 171678 168818 0 -1 4194304 1976616 415205 0 0 50020 509 309274 388 20 0 1 0 238302621 9354317824 1883407 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 2283769 1883407 8140 1 0 2255127 0
Current cumulated CPU time of completed processes: 0.011741 s
Current children cumulated CPU time: 3601.91 s
Current children cumulated vsize: 9135076 KiB
Current children cumulated memory: 7533628 KiB

[startup+3613.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/269 172162
/proc/meminfo: memFree=112115440/131249988 swapFree=33010416/33010684
[pid=171683] ppid=171675 vsize=9135076 memory=7533628 CPUtime=3602.02 cores=1,3
/proc/171683/stat : 171683 (python3) R 171675 171678 168818 0 -1 4194304 1980091 415205 0 0 50030 510 309274 388 20 0 1 0 238302621 9354317824 1883407 18446744073709551615 94624371724288 94624371724665 140723062723808 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94624371735960 94624371736580 94624394223616 140723062729046 140723062729248 140723062729248 140723062734823 0
/proc/171683/statm: 2283769 1883407 8140 1 0 2255127 0
Current cumulated CPU time of completed processes: 0.011741 s
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 9135076 KiB
Current children cumulated memory: 7533628 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3613.5
CPU time (s): 3602.25
CPU user time (s): 3593.06
CPU system time (s): 9.1911
CPU usage (%): 99.6886
Max. virtual memory (cumulated for all children) (KiB): 10969940
Max. memory (cumulated for all children) (KiB): 9167736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.06
system time used= 9.19111
maximum resident set size= 7533628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2395896
page faults= 0
swaps= 0
block input operations= 0
block output operations= 66832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 356
involuntary context switches= 3367


# summary of solver processes directly reported to runsolver:
#   pid: 171678,171683
#   total CPU time (s): 3602.25
#   total CPU user time (s): 3593.06
#   total CPU system time (s): 9.1911

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.64894 second user time and 17.3247 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-07-23 01:17:21
IDJOB=4545088
IDBENCH=180703
IDSOLVER=3368
FILE ID=nodeC031/4545088-1753226240
RUNJOBID= nodeC031-1753222578-168830
SLURM_JOB_ID= 9687820
Free space on /tmp= 432844 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SolitairePattern-table-3-3-9.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545088-1753226240/watcher-4545088-1753226240 -o /tmp/evaluation-result-4545088-1753226240/solver-4545088-1753226240 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753222578-168830 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4545088-1753226240.opb

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

MD5SUM BENCH= 297c2237af667ea8e386e1666cb34677
RANDOM SEED=1260272291

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        120307804 kB
MemAvailable:   125552132 kB
Buffers:            2128 kB
Cached:          5928940 kB
SwapCached:            8 kB
Active:          5255784 kB
Inactive:        4794868 kB
Active(anon):    4135372 kB
Inactive(anon):    10464 kB
Active(file):    1120412 kB
Inactive(file):  4784404 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             38616 kB
Writeback:             0 kB
AnonPages:       4120880 kB
Mapped:           137988 kB
Shmem:             26248 kB
KReclaimable:     357504 kB
Slab:             456352 kB
SReclaimable:     357504 kB
SUnreclaim:        98848 kB
KernelStack:        4336 kB
PageTables:        12020 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    7956880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1062912 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432836 MiB
End job on nodeC031 at 2025-07-23 02:17:34