Trace number 4530386

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP-NaPS 1.00a2? (TO) 3602.33 3614.15

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_0_ic.opb
MD5SUMc6b8715c3f6301baee7dd7835457fcc6
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14682715
Best CPU time to get the best result obtained on this benchmark71179.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000400
Total number of constraints2000307
Number of constraints which are clauses980300
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints1020000
Minimum length of a constraint2
Maximum length of a constraint4950
Number of terms in the objective function 29800
Biggest coefficient in the objective function 137388096
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 149684681822
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 137388096
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 149684681822
Number of bits of the biggest sum of numbers38
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1008.45/1012.66	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530386-1752256850.opb
1008.45/1012.66	c Solving mode: optimization
1008.45/1012.66	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
1008.45/1012.66	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
1008.45/1012.66	c original problem has 1000400 variables (1000400 bin, 0 int, 0 impl, 0 cont) and 2000307 constraints
1008.45/1012.66	c presolving:
1008.45/1012.66	c (round 1, fast)       15150 del vars, 29703 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 0 upgd conss, 0 impls, 101 clqs
1008.45/1012.66	c (round 2, exhaustive) 15150 del vars, 29703 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 101 clqs
1008.45/1012.66	c (round 3, medium)     15150 del vars, 1009803 del conss, 2910600 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 2910701 clqs
1008.45/1012.66	c (round 4, exhaustive) 15150 del vars, 4900503 del conss, 3890700 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 2910701 clqs
1008.45/1012.66	c (round 5, exhaustive) 500250 del vars, 5385603 del conss, 3890700 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 1455401 clqs
1008.45/1012.66	c (round 6, exhaustive) 500250 del vars, 5390553 del conss, 3890700 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 1455401 clqs
1008.45/1012.66	c    (82.5s) probing: 51/500150 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1008.45/1012.66	c    (82.5s) probing aborted: 50/50 successive totally useless probings
1008.45/1012.66	c    (82.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1008.45/1012.66	c    (83.9s) no symmetry present (symcode time: 0.52)
1008.45/1012.66	c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
1008.45/1012.66	c  500250 deleted vars, 5390553 deleted constraints, 3890700 added constraints, 300 tightened bounds, 0 added holes, 4950 changed sides, 14850 changed coefficients
1008.45/1012.66	c  0 implications, 1455401 cliques
1008.45/1012.66	c presolved problem has 500150 variables (500150 bin, 0 int, 0 impl, 0 cont) and 500454 constraints
1008.45/1012.66	c    5250 constraints of type <knapsack>
1008.45/1012.66	c     101 constraints of type <setppc>
1008.45/1012.66	c  490050 constraints of type <and>
1008.45/1012.66	c       3 constraints of type <linear>
1008.45/1012.66	c    5050 constraints of type <logicor>
1008.45/1012.66	c transformed objective value is always integral (scale: 2)
1008.45/1012.66	c Presolving Time: 78.86
1008.45/1012.66	c 
1008.45/1012.66	c 
1008.45/1012.66	c SCIP Status        : solving was interrupted [time limit reached]
1008.45/1012.66	c Solving Time (sec) : 1002.06
1008.45/1012.66	c Solving Nodes      : 1
1008.45/1012.66	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1008.45/1012.66	c Dual Bound         : -1.50000000000000e+01
1008.45/1012.66	c Gap                : infinite
1008.45/1012.66	c ----------------------------------------------------------------------
1008.45/1012.66	c dual bound: -15.0 -> -15
1008.45/1012.66	c primal bound: 1e+20 -> 100000000000000000000
1008.45/1012.66	c scip-goal-lb: -15
1008.45/1012.66	c scip-goal-ub: 100000000000000000000
1008.45/1012.66	c writing output to: HOME/tmpfdzz_s0u.opb
1008.45/1012.66	c appending fixed variable constraints
1008.45/1012.66	c scip-fixed vars: 0.06% (300/500150)
1008.45/1012.66	c ----------------------------------------------------------------------
1008.45/1012.66	c executing external solver: HOME/naps-1.03a6
1008.45/1012.66	c ----------------------------------------------------------------------
1008.45/1012.66	c command: HOME/naps-1.03a6 -goal-lb=-15 -goal-ub=99999999999999999999 HOME/tmpfdzz_s0u.opb
1008.55/1012.78	c NaPS 1.03a6.
1008.55/1012.78	c Input file name: HOME/tmpfdzz_s0u.opb
1047.34/1051.67	c single stage optimization mode
3600.06/3611.90	c
3600.06/3611.90	c *** TERMINATED *** by signal 15
3600.06/3611.90	c s UNKNOWN
3600.06/3611.90	c _____________________________________________________________________________
3600.06/3611.90	c std/band forms        : 985358,0
3600.06/3611.90	c 2cl/3cl ITE-codings   : 357594,0
3600.06/3611.90	c BDD/srt/adr Max costs : 1659,3178386,0
3600.06/3611.90	c BDDraw/bin/mul/srt/adr: 985350,0,0,8,0
3600.06/3611.90	c BDD nodes             : 4306943
3600.06/3611.90	c Es1/CC detections     : 0,0
3600.06/3611.90	c CC sort               : 4
3600.06/3611.90	c SAT/UNSAT calls       : 0,0
3600.06/3611.90	c regenrated variables  : 0
3600.06/3611.90	c eliminated fixed lits : 900
3600.06/3611.90	c goal lit flips        : 0
3600.06/3611.90	c goal stages           : 1
3600.06/3611.90	c goal shrink           : 0
3600.06/3611.90	c goal coeff separations: 5058
3600.06/3611.90	c restarts              : 0
3600.06/3611.90	c conflicts             : 0              (0 /sec)
3600.06/3611.90	c decisions             : 0              (0 /sec)
3600.06/3611.90	c propagations          : 0              (0 /sec)
3600.06/3611.90	c inspects              : 0              (0 /sec)
3600.06/3611.90	c CPU time (solving tm) : 2587 s        (2551 s, SAT 0 s, UNSAT 0 s)
3600.06/3611.90	c Time for Opt-base     : 0.133 s
3600.06/3611.90	c Steps for Opt-base    : 655600
3600.06/3611.90	c Time for BDD coding   : 11.83 s
3600.06/3611.90	c Time for srt coding   : 1.39 s
3600.06/3611.90	c _____________________________________________________________________________
3600.06/3611.90	c received SIGTERM, forwarding to pbsolver...
3600.06/3611.95	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 (56916 MiB free)
  memory of node 1: 64465 MiB (57122 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530386-1752256850/watcher-4530386-1752256850 -o /tmp/evaluation-result-4530386-1752256850/solver-4530386-1752256850 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1752253208-142839 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530386-1752256850.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=143494, runsolver pid=143491

[startup+0.100062 s]*
/proc/loadavg: 4.10 4.11 4.04 5/269 143499
/proc/meminfo: memFree=116763324/131249996 swapFree=33010160/33010684
[pid=143494] ppid=143491 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/143494/stat : 143494 (scip-naps-1.00a) S 143491 143494 142829 0 -1 4194304 261 679 0 0 0 0 0 0 20 0 1 0 141363491 4292608 736 18446744073709551615 94090597249024 94090598143557 140734638758560 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94090598382608 94090598430352 94090613129216 140734638762395 140734638762494 140734638762494 140734638768098 0
/proc/143494/statm: 1048 736 672 219 0 110 0
[pid=143499] ppid=143494 vsize=1188032 memory=32864 CPUtime=0.07 cores=0,2
/proc/143499/stat : 143499 (python3) R 143494 143494 142829 0 -1 4194304 3977 0 0 0 6 1 0 0 20 0 1 0 141363493 1216544768 8216 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 297008 8216 4893 1 0 268999 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1192224 KiB
Current children cumulated memory: 35808 KiB

[startup+0.206137 s]*
/proc/loadavg: 4.10 4.11 4.04 5/269 143499
/proc/meminfo: memFree=116708892/131249996 swapFree=33010160/33010684
[pid=143494] ppid=143491 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/143494/stat : 143494 (scip-naps-1.00a) S 143491 143494 142829 0 -1 4194304 261 679 0 0 0 0 0 0 20 0 1 0 141363491 4292608 736 18446744073709551615 94090597249024 94090598143557 140734638758560 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94090598382608 94090598430352 94090613129216 140734638762395 140734638762494 140734638762494 140734638768098 0
/proc/143494/statm: 1048 736 672 219 0 110 0
[pid=143499] ppid=143494 vsize=1242096 memory=92512 CPUtime=0.17 cores=0,2
/proc/143499/stat : 143499 (python3) R 143494 143494 142829 0 -1 4194304 16380 0 0 0 14 3 0 0 20 0 1 0 141363493 1271906304 23128 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 310524 23128 7613 1 0 281882 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1246288 KiB
Current children cumulated memory: 95456 KiB

[startup+0.305918 s]*
/proc/loadavg: 4.10 4.11 4.04 5/269 143499
/proc/meminfo: memFree=116668572/131249996 swapFree=33010160/33010684
[pid=143494] ppid=143491 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/143494/stat : 143494 (scip-naps-1.00a) S 143491 143494 142829 0 -1 4194304 261 679 0 0 0 0 0 0 20 0 1 0 141363491 4292608 736 18446744073709551615 94090597249024 94090598143557 140734638758560 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94090598382608 94090598430352 94090613129216 140734638762395 140734638762494 140734638762494 140734638768098 0
/proc/143494/statm: 1048 736 672 219 0 110 0
[pid=143499] ppid=143494 vsize=1280932 memory=130912 CPUtime=0.28 cores=0,2
/proc/143499/stat : 143499 (python3) R 143494 143494 142829 0 -1 4194304 25971 0 0 0 23 5 0 0 20 0 1 0 141363493 1311674368 32728 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 320233 32728 7613 1 0 291591 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 1285124 KiB
Current children cumulated memory: 133856 KiB

[startup+0.700164 s]
/proc/loadavg: 4.10 4.11 4.04 5/269 143499
/proc/meminfo: memFree=116571676/131249996 swapFree=33010160/33010684
[pid=143494] ppid=143491 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/143494/stat : 143494 (scip-naps-1.00a) S 143491 143494 142829 0 -1 4194304 261 679 0 0 0 0 0 0 20 0 1 0 141363491 4292608 736 18446744073709551615 94090597249024 94090598143557 140734638758560 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94090598382608 94090598430352 94090613129216 140734638762395 140734638762494 140734638762494 140734638768098 0
/proc/143494/statm: 1048 736 672 219 0 110 0
[pid=143499] ppid=143494 vsize=1449576 memory=300000 CPUtime=0.67 cores=0,2
/proc/143499/stat : 143499 (python3) R 143494 143494 142829 0 -1 4194304 68252 0 0 0 56 11 0 0 20 0 1 0 141363493 1484365824 75000 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 362394 75000 7613 1 0 333752 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 1453768 KiB
Current children cumulated memory: 302944 KiB

[startup+1.50023 s]
/proc/loadavg: 4.10 4.11 4.04 5/269 143499
/proc/meminfo: memFree=116350348/131249996 swapFree=33010160/33010684
[pid=143494] ppid=143491 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/143494/stat : 143494 (scip-naps-1.00a) S 143491 143494 142829 0 -1 4194304 261 679 0 0 0 0 0 0 20 0 1 0 141363491 4292608 736 18446744073709551615 94090597249024 94090598143557 140734638758560 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94090598382608 94090598430352 94090613129216 140734638762395 140734638762494 140734638762494 140734638768098 0
/proc/143494/statm: 1048 736 672 219 0 110 0
[pid=143499] ppid=143494 vsize=1793432 memory=643300 CPUtime=1.46 cores=0,2
/proc/143499/stat : 143499 (python3) R 143494 143494 142829 0 -1 4194304 153050 0 0 0 122 24 0 0 20 0 1 0 141363493 1836474368 160825 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 448358 160825 7613 1 0 419716 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1797624 KiB
Current children cumulated memory: 646244 KiB

[startup+3.10578 s]
/proc/loadavg: 4.09 4.11 4.04 5/269 143499
/proc/meminfo: memFree=115418968/131249996 swapFree=33010160/33010684
[pid=143494] ppid=143491 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/143494/stat : 143494 (scip-naps-1.00a) S 143491 143494 142829 0 -1 4194304 261 679 0 0 0 0 0 0 20 0 1 0 141363491 4292608 736 18446744073709551615 94090597249024 94090598143557 140734638758560 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94090598382608 94090598430352 94090613129216 140734638762395 140734638762494 140734638762494 140734638768098 0
/proc/143494/statm: 1048 736 672 219 0 110 0
[pid=143499] ppid=143494 vsize=2466584 memory=1316020 CPUtime=3.06 cores=0,2
/proc/143499/stat : 143499 (python3) R 143494 143494 142829 0 -1 4194304 317675 0 0 0 259 47 0 0 20 0 1 0 141363493 2525782016 329005 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 616646 329005 7613 1 0 588004 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 2470776 KiB
Current children cumulated memory: 1318964 KiB

[startup+6.30023 s]
/proc/loadavg: 4.09 4.11 4.04 5/269 143499
/proc/meminfo: memFree=114356972/131249996 swapFree=33010160/33010684
[pid=143494] ppid=143491 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/143494/stat : 143494 (scip-naps-1.00a) S 143491 143494 142829 0 -1 4194304 261 679 0 0 0 0 0 0 20 0 1 0 141363491 4292608 736 18446744073709551615 94090597249024 94090598143557 140734638758560 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94090598382608 94090598430352 94090613129216 140734638762395 140734638762494 140734638762494 140734638768098 0
/proc/143494/statm: 1048 736 672 219 0 110 0
[pid=143499] ppid=143494 vsize=3121240 memory=1971160 CPUtime=6.24 cores=0,2
/proc/143499/stat : 143499 (python3) R 143494 143494 142829 0 -1 4194304 461531 0 0 0 554 70 0 0 20 0 1 0 141363493 3196149760 492790 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 780310 492790 7613 1 0 751668 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 3125432 KiB
Current children cumulated memory: 1974104 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.04 5/269 143510
/proc/meminfo: memFree=111117560/131249996 swapFree=33010160/33010684
[pid=143494] ppid=143491 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/143494/stat : 143494 (scip-naps-1.00a) S 143491 143494 142829 0 -1 4194304 261 679 0 0 0 0 0 0 20 0 1 0 141363491 4292608 736 18446744073709551615 94090597249024 94090598143557 140734638758560 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94090598382608 94090598430352 94090613129216 140734638762395 140734638762494 140734638762494 140734638768098 0
/proc/143494/statm: 1048 736 672 219 0 110 0
[pid=143499] ppid=143494 vsize=6007076 memory=4818548 CPUtime=12.63 cores=0,2
/proc/143499/stat : 143499 (python3) R 143494 143494 142829 0 -1 4194304 1071023 0 0 0 1090 173 0 0 20 0 1 0 141363493 6151245824 1204637 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 1501769 1204637 7837 1 0 1473127 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 6011268 KiB
Current children cumulated memory: 4821492 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.05 5/269 143510
/proc/meminfo: memFree=108368340/131249996 swapFree=33010160/33010684
[pid=143494] ppid=143491 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/143494/stat : 143494 (scip-naps-1.00a) S 143491 143494 142829 0 -1 4194304 261 679 0 0 0 0 0 0 20 0 1 0 141363491 4292608 736 18446744073709551615 94090597249024 94090598143557 140734638758560 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94090598382608 94090598430352 94090613129216 140734638762395 140734638762494 140734638762494 140734638768098 0
/proc/143494/statm: 1048 736 672 219 0 110 0
[pid=143499] ppid=143494 vsize=7364128 memory=6108328 CPUtime=25.39 cores=0,2
/proc/143499/stat : 143499 (python3) R 143494 143494 142829 0 -1 4194304 1329297 0 0 0 2321 218 0 0 20 0 1 0 141363493 7540867072 1527082 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 1841032 1527082 7869 1 0 1812390 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 7368320 KiB
Current children cumulated memory: 6111272 KiB

[startup+51.1059 s]
/proc/loadavg: 4.09 4.10 4.04 5/269 143510
/proc/meminfo: memFree=106082288/131249996 swapFree=33010160/33010684
[pid=143494] ppid=143491 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/143494/stat : 143494 (scip-naps-1.00a) S 143491 143494 142829 0 -1 4194304 261 679 0 0 0 0 0 0 20 0 1 0 141363491 4292608 736 18446744073709551615 94090597249024 94090598143557 140734638758560 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94090598382608 94090598430352 94090613129216 140734638762395 140734638762494 140734638762494 140734638768098 0
/proc/143494/statm: 1048 736 672 219 0 110 0
[pid=143499] ppid=143494 vsize=8654840 memory=7395680 CPUtime=50.93 cores=0,2
/proc/143499/stat : 143499 (python3) R 143494 143494 142829 0 -1 4194304 1495882 0 0 0 4835 258 0 0 20 0 1 0 141363493 8862556160 1848920 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 2163710 1848920 7901 1 0 2135068 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 8659032 KiB
Current children cumulated memory: 7398624 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/269 143512
/proc/meminfo: memFree=105441116/131249996 swapFree=33010160/33010684
[pid=143494] ppid=143491 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/143494/stat : 143494 (scip-naps-1.00a) S 143491 143494 142829 0 -1 4194304 261 679 0 0 0 0 0 0 20 0 1 0 141363491 4292608 736 18446744073709551615 94090597249024 94090598143557 140734638758560 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94090598382608 94090598430352 94090613129216 140734638762395 140734638762494 140734638762494 140734638768098 0
/proc/143494/statm: 1048 736 672 219 0 110 0
[pid=143499] ppid=143494 vsize=9237312 memory=7770524 CPUtime=101.96 cores=0,2
/proc/143499/stat : 143499 (python3) R 143494 143494 142829 0 -1 4194304 1525056 0 0 0 9925 271 0 0 20 0 1 0 141363493 9459007488 1942631 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 2309328 1942631 7997 1 0 2280686 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 9241504 KiB
Current children cumulated memory: 7773468 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.05 5/269 143514
/proc/meminfo: memFree=102410188/131249996 swapFree=33010160/33010684
[pid=143494] ppid=143491 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/143494/stat : 143494 (scip-naps-1.00a) S 143491 143494 142829 0 -1 4194304 261 679 0 0 0 0 0 0 20 0 1 0 141363491 4292608 736 18446744073709551615 94090597249024 94090598143557 140734638758560 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94090598382608 94090598430352 94090613129216 140734638762395 140734638762494 140734638762494 140734638768098 0
/proc/143494/statm: 1048 736 672 219 0 110 0
[pid=143499] ppid=143494 vsize=10224200 memory=8764252 CPUtime=161.78 cores=0,2
/proc/143499/stat : 143499 (python3) R 143494 143494 142829 0 -1 4194304 1691417 0 0 0 15867 311 0 0 20 0 1 0 141363493 10469580800 2191063 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 2556050 2191063 8061 1 0 2527408 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 10228392 KiB
Current children cumulated memory: 8767196 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/268 143517
/proc/meminfo: memFree=101934664/131249996 swapFree=33010160/33010684
[pid=143494] ppid=143491 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/143494/stat : 143494 (scip-naps-1.00a) S 143491 143494 142829 0 -1 4194304 261 679 0 0 0 0 0 0 20 0 1 0 141363491 4292608 736 18446744073709551615 94090597249024 94090598143557 140734638758560 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94090598382608 94090598430352 94090613129216 140734638762395 140734638762494 140734638762494 140734638768098 0
/proc/143494/statm: 1048 736 672 219 0 110 0
[pid=143499] ppid=143494 vsize=10224200 memory=8765020 CPUtime=221.56 cores=0,2
/proc/143499/stat : 143499 (python3) R 143494 143494 142829 0 -1 4194304 1691957 0 0 0 21844 312 0 0 20 0 1 0 141363493 10469580800 2191255 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 2556050 2191255 8061 1 0 2527408 0
Current children cumulated CPU time: 221.56 s

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

/proc/143499/stat : 143499 (python3) S 143494 143494 142829 0 -1 4194304 1891580 0 0 0 100491 366 0 0 20 0 1 0 141363493 11253530624 2382457 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 2747444 2382457 8093 1 0 2718802 0
[pid=143559] ppid=143499 vsize=2896328 memory=2732592 CPUtime=2322.67 cores=0,2
/proc/143559/stat : 143559 (naps-1.03a6) R 143499 143559 143559 0 -1 4194304 396315 0 0 0 231890 377 0 0 20 0 1 0 141464763 2965839872 683148 18446744073709551615 4198400 7047149 140723441116160 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 14520320 140723441117540 140723441117681 140723441117681 140723441123273 0
/proc/143559/statm: 724082 683148 608 696 0 723243 0
Current children cumulated CPU time: 3331.24 s
Current children cumulated vsize: 13890296 KiB
Current children cumulated memory: 12265364 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/272 143723
/proc/meminfo: memFree=88500680/131249996 swapFree=33010160/33010684
[pid=143494] ppid=143491 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/143494/stat : 143494 (scip-naps-1.00a) S 143491 143494 142829 0 -1 4194304 261 679 0 0 0 0 0 0 20 0 1 0 141363491 4292608 736 18446744073709551615 94090597249024 94090598143557 140734638758560 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94090598382608 94090598430352 94090613129216 140734638762395 140734638762494 140734638762494 140734638768098 0
/proc/143494/statm: 1048 736 672 219 0 110 0
[pid=143499] ppid=143494 vsize=10989776 memory=9529828 CPUtime=1008.57 cores=0,2
/proc/143499/stat : 143499 (python3) S 143494 143494 142829 0 -1 4194304 1891580 0 0 0 100491 366 0 0 20 0 1 0 141363493 11253530624 2382457 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 2747444 2382457 8093 1 0 2718802 0
[pid=143559] ppid=143499 vsize=2896328 memory=2732592 CPUtime=2382.5 cores=0,2
/proc/143559/stat : 143559 (naps-1.03a6) R 143499 143559 143559 0 -1 4194304 396331 0 0 0 237873 377 0 0 20 0 1 0 141464763 2965839872 683148 18446744073709551615 4198400 7047149 140723441116160 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 14520320 140723441117540 140723441117681 140723441117681 140723441123273 0
/proc/143559/statm: 724082 683148 608 696 0 723243 0
Current children cumulated CPU time: 3391.07 s
Current children cumulated vsize: 13890296 KiB
Current children cumulated memory: 12265364 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/271 143725
/proc/meminfo: memFree=88501440/131249996 swapFree=33010160/33010684
[pid=143494] ppid=143491 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/143494/stat : 143494 (scip-naps-1.00a) S 143491 143494 142829 0 -1 4194304 261 679 0 0 0 0 0 0 20 0 1 0 141363491 4292608 736 18446744073709551615 94090597249024 94090598143557 140734638758560 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94090598382608 94090598430352 94090613129216 140734638762395 140734638762494 140734638762494 140734638768098 0
/proc/143494/statm: 1048 736 672 219 0 110 0
[pid=143499] ppid=143494 vsize=10989776 memory=9529828 CPUtime=1008.57 cores=0,2
/proc/143499/stat : 143499 (python3) S 143494 143494 142829 0 -1 4194304 1891580 0 0 0 100491 366 0 0 20 0 1 0 141363493 11253530624 2382457 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 2747444 2382457 8093 1 0 2718802 0
[pid=143559] ppid=143499 vsize=2896328 memory=2732592 CPUtime=2442.33 cores=0,2
/proc/143559/stat : 143559 (naps-1.03a6) R 143499 143559 143559 0 -1 4194304 396504 0 0 0 243856 377 0 0 20 0 1 0 141464763 2965839872 683148 18446744073709551615 4198400 7047149 140723441116160 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 14520320 140723441117540 140723441117681 140723441117681 140723441123273 0
/proc/143559/statm: 724082 683148 608 696 0 723243 0
Current children cumulated CPU time: 3450.9 s
Current children cumulated vsize: 13890296 KiB
Current children cumulated memory: 12265364 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/273 143735
/proc/meminfo: memFree=87238956/131249996 swapFree=33010160/33010684
[pid=143494] ppid=143491 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/143494/stat : 143494 (scip-naps-1.00a) S 143491 143494 142829 0 -1 4194304 261 679 0 0 0 0 0 0 20 0 1 0 141363491 4292608 736 18446744073709551615 94090597249024 94090598143557 140734638758560 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94090598382608 94090598430352 94090613129216 140734638762395 140734638762494 140734638762494 140734638768098 0
/proc/143494/statm: 1048 736 672 219 0 110 0
[pid=143499] ppid=143494 vsize=10989776 memory=9529828 CPUtime=1008.57 cores=0,2
/proc/143499/stat : 143499 (python3) S 143494 143494 142829 0 -1 4194304 1891580 0 0 0 100491 366 0 0 20 0 1 0 141363493 11253530624 2382457 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 2747444 2382457 8093 1 0 2718802 0
[pid=143559] ppid=143499 vsize=2896328 memory=2732592 CPUtime=2502.16 cores=0,2
/proc/143559/stat : 143559 (naps-1.03a6) R 143499 143559 143559 0 -1 4194304 396666 0 0 0 249838 378 0 0 20 0 1 0 141464763 2965839872 683148 18446744073709551615 4198400 7047149 140723441116160 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 14520320 140723441117540 140723441117681 140723441117681 140723441123273 0
/proc/143559/statm: 724082 683148 608 696 0 723243 0
Current children cumulated CPU time: 3510.73 s
Current children cumulated vsize: 13890296 KiB
Current children cumulated memory: 12265364 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/272 143737
/proc/meminfo: memFree=88420836/131249996 swapFree=33010160/33010684
[pid=143494] ppid=143491 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/143494/stat : 143494 (scip-naps-1.00a) S 143491 143494 142829 0 -1 4194304 261 679 0 0 0 0 0 0 20 0 1 0 141363491 4292608 736 18446744073709551615 94090597249024 94090598143557 140734638758560 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94090598382608 94090598430352 94090613129216 140734638762395 140734638762494 140734638762494 140734638768098 0
/proc/143494/statm: 1048 736 672 219 0 110 0
[pid=143499] ppid=143494 vsize=10989776 memory=9529828 CPUtime=1008.57 cores=0,2
/proc/143499/stat : 143499 (python3) S 143494 143494 142829 0 -1 4194304 1891580 0 0 0 100491 366 0 0 20 0 1 0 141363493 11253530624 2382457 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 2747444 2382457 8093 1 0 2718802 0
[pid=143559] ppid=143499 vsize=3091392 memory=2842016 CPUtime=2561.98 cores=0,2
/proc/143559/stat : 143559 (naps-1.03a6) R 143499 143559 143559 0 -1 4194304 397762 0 0 0 255814 384 0 0 20 0 1 0 141464763 3165585408 710504 18446744073709551615 4198400 7047149 140723441116160 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 14520320 140723441117540 140723441117681 140723441117681 140723441123273 0
/proc/143559/statm: 772848 710504 608 696 0 772009 0
Current children cumulated CPU time: 3570.55 s
Current children cumulated vsize: 14085360 KiB
Current children cumulated memory: 12374788 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.9 s]
/proc/loadavg: 4.19 4.13 4.10 5/270 143895
/proc/meminfo: memFree=107154664/131249996 swapFree=33010160/33010684
[pid=143494] ppid=143491 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/143494/stat : 143494 (scip-naps-1.00a) S 143491 143494 142829 0 -1 4194304 261 679 0 0 0 0 0 0 20 0 1 0 141363491 4292608 736 18446744073709551615 94090597249024 94090598143557 140734638758560 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94090598382608 94090598430352 94090613129216 140734638762395 140734638762494 140734638762494 140734638768098 0
/proc/143494/statm: 1048 736 672 219 0 110 0
[pid=143499] ppid=143494 vsize=10989776 memory=9529828 CPUtime=1008.57 cores=0,2
/proc/143499/stat : 143499 (python3) S 143494 143494 142829 0 -1 4194304 1891580 0 0 0 100491 366 0 0 20 0 1 0 141363493 11253530624 2382457 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 2747444 2382457 8093 1 0 2718802 0
[pid=143559] ppid=143499 vsize=3137084 memory=2887708 CPUtime=2591.49 cores=0,2
/proc/143559/stat : 143559 (naps-1.03a6) R 143499 143559 143559 0 -1 4194304 409797 0 0 0 258747 402 0 0 20 0 1 0 141464763 3212374016 721927 18446744073709551615 4198400 7047149 140723441116160 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 14520320 140723441117540 140723441117681 140723441117681 140723441123273 0
/proc/143559/statm: 784271 721927 608 696 0 783432 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 14131052 KiB
Current children cumulated memory: 12420480 KiB

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

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.006489 s

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

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

# cumulated CPU time of all completed processes:  user=3594.08 s, system=8.24803 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
Dumping a history of the last processes samples

[startup+3612.8 s]
/proc/loadavg: 4.19 4.13 4.10 5/268 143895
/proc/meminfo: memFree=110052456/131249996 swapFree=33010160/33010684
[pid=143499] ppid=143491 vsize=10989776 memory=9529828 CPUtime=3600.95 cores=0,2
/proc/143499/stat : 143499 (python3) R 143491 143494 142829 0 -1 4194304 2143500 409798 0 0 100561 380 258747 407 20 0 1 0 141363493 11253530624 2382457 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 2747444 2382457 8093 1 0 2718802 0
Current cumulated CPU time of completed processes: 0.006489 s
Current children cumulated CPU time: 3600.95 s
Current children cumulated vsize: 10989776 KiB
Current children cumulated memory: 9529828 KiB

[startup+3613.6 s]
/proc/loadavg: 4.19 4.13 4.10 5/268 143895
/proc/meminfo: memFree=110052708/131249996 swapFree=33010160/33010684
[pid=143499] ppid=143491 vsize=10989776 memory=9529828 CPUtime=3601.75 cores=0,2
/proc/143499/stat : 143499 (python3) R 143491 143494 142829 0 -1 4194304 2314745 409798 0 0 100631 390 258747 407 20 0 1 0 141363493 11253530624 2382457 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 2747444 2382457 8093 1 0 2718802 0
Current cumulated CPU time of completed processes: 0.006489 s
Current children cumulated CPU time: 3601.75 s
Current children cumulated vsize: 10989776 KiB
Current children cumulated memory: 9529828 KiB

[startup+3613.8 s]
/proc/loadavg: 4.19 4.13 4.10 5/268 143895
/proc/meminfo: memFree=110052708/131249996 swapFree=33010160/33010684
[pid=143499] ppid=143491 vsize=10989776 memory=9529828 CPUtime=3601.95 cores=0,2
/proc/143499/stat : 143499 (python3) R 143491 143494 142829 0 -1 4194304 2340860 409798 0 0 100650 391 258747 407 20 0 1 0 141363493 11253530624 2382457 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 2747444 2382457 8093 1 0 2718802 0
Current cumulated CPU time of completed processes: 0.006489 s
Current children cumulated CPU time: 3601.95 s
Current children cumulated vsize: 10989776 KiB
Current children cumulated memory: 9529828 KiB

[startup+3613.9 s]
/proc/loadavg: 4.19 4.13 4.10 5/268 143895
/proc/meminfo: memFree=110052708/131249996 swapFree=33010160/33010684
[pid=143499] ppid=143491 vsize=10989776 memory=9529828 CPUtime=3602.05 cores=0,2
/proc/143499/stat : 143499 (python3) R 143491 143494 142829 0 -1 4194304 2341698 409798 0 0 100660 391 258747 407 20 0 1 0 141363493 11253530624 2382457 18446744073709551615 94882220937216 94882220937593 140729957378592 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94882220948888 94882220949508 94882238865408 140729957386590 140729957386784 140729957386784 140729957392359 0
/proc/143499/statm: 2747444 2382457 8093 1 0 2718802 0
Current cumulated CPU time of completed processes: 0.006489 s
Current children cumulated CPU time: 3602.05 s
Current children cumulated vsize: 10989776 KiB
Current children cumulated memory: 9529828 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3614.15
CPU time (s): 3602.33
CPU user time (s): 3594.08
CPU system time (s): 8.24803
CPU usage (%): 99.673
Max. virtual memory (cumulated for all children) (KiB): 14411840
Max. memory (cumulated for all children) (KiB): 12701176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.08
system time used= 8.24803
maximum resident set size= 9529828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2752436
page faults= 0
swaps= 0
block input operations= 0
block output operations= 199664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 342
involuntary context switches= 7928


# summary of solver processes directly reported to runsolver:
#   pid: 143494,143499
#   total CPU time (s): 3602.33
#   total CPU user time (s): 3594.08
#   total CPU system time (s): 8.24803

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04799 second user time and 19.6173 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-11 20:00:51
IDJOB=4530386
IDBENCH=155746
IDSOLVER=3388
FILE ID=nodeC029/4530386-1752256850
RUNJOBID= nodeC029-1752253208-142839
SLURM_JOB_ID= 9682582
Free space on /tmp= 431948 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_0_ic.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4530386-1752256850/watcher-4530386-1752256850 -o /tmp/evaluation-result-4530386-1752256850/solver-4530386-1752256850 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1752253208-142839 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4530386-1752256850.opb

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

MD5SUM BENCH= c6b8715c3f6301baee7dd7835457fcc6
RANDOM SEED=326846708

nodeC029 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.188
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.46
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		: 3601.763
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        116792808 kB
MemAvailable:   120724872 kB
Buffers:            2128 kB
Cached:          4719052 kB
SwapCached:           40 kB
Active:          9480156 kB
Inactive:        4275816 kB
Active(anon):    9048052 kB
Inactive(anon):     4764 kB
Active(file):     432104 kB
Inactive(file):  4271052 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            271980 kB
Writeback:             0 kB
AnonPages:       9037872 kB
Mapped:           128980 kB
Shmem:             18020 kB
KReclaimable:     136296 kB
Slab:             229856 kB
SReclaimable:     136296 kB
SUnreclaim:        93560 kB
KernelStack:        4320 kB
PageTables:        21384 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   12769536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3968 kB
HardwareCorrupted:     0 kB
AnonHugePages:    860160 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431892 MiB
End job on nodeC029 at 2025-07-11 21:01:05