Trace number 4530394

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? (MO) 1184.59 1188.61

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_6_mh.opb
MD5SUMae4404ba779864fb11c76f88911c57d7
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 benchmark13487619
Best CPU time to get the best result obtained on this benchmark68653.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000400
Total number of constraints4920807
Number of constraints which are clauses3910700
Number of constraints which are cardinality constraints (but not clauses)107
Number of constraints which are nor clauses,nor cardinality constraints1010000
Minimum length of a constraint2
Maximum length of a constraint14950
Number of terms in the objective function 1019200
Biggest coefficient in the objective function 172808693
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 411931129818
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 172808693
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 411931129818
Number of bits of the biggest sum of numbers39
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1019.24/1022.86	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530394-1752257286.opb
1019.24/1022.86	c Solving mode: optimization
1019.24/1022.86	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
1019.24/1022.86	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
1019.24/1022.86	c original problem has 2000400 variables (2000400 bin, 0 int, 0 impl, 0 cont) and 4920807 constraints
1019.24/1022.86	c presolving:
1019.24/1022.86	c (round 1, fast)       40000 del vars, 19803 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 0 upgd conss, 0 impls, 2925551 clqs
1019.24/1022.86	c (round 2, exhaustive) 40000 del vars, 24753 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 0 upgd conss, 0 impls, 2925551 clqs
1019.24/1022.86	c (round 3, exhaustive) 40000 del vars, 24753 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 4896051 upgd conss, 0 impls, 2925551 clqs
1019.24/1022.86	c (round 4, medium)     40000 del vars, 1004853 del conss, 2910600 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 4896051 upgd conss, 0 impls, 5836151 clqs
1019.24/1022.86	c (round 5, exhaustive) 40000 del vars, 4895553 del conss, 3890700 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 4896051 upgd conss, 0 impls, 5836151 clqs
1019.24/1022.86	c    (989.0s) probing: 1000/1960400 (0.1%) - 0 fixings, 0 aggregations, 587412 implications, 0 bound changes
1019.24/1022.86	c    (989.9s) probing: 1001/1960400 (0.1%) - 0 fixings, 0 aggregations, 588000 implications, 0 bound changes
1019.24/1022.86	c    (989.9s) probing aborted: 1000/1000 successive useless probings
1019.24/1022.86	c    (989.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1019.24/1022.86	c    (996.9s) no symmetry present (symcode time: 2.76)
1019.24/1022.86	c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
1019.24/1022.86	c  40000 deleted vars, 4895553 deleted constraints, 3890700 added constraints, 300 tightened bounds, 0 added holes, 4950 changed sides, 14850 changed coefficients
1019.24/1022.86	c  0 implications, 6424151 cliques
1019.24/1022.86	c presolved problem has 1960400 variables (1960400 bin, 0 int, 0 impl, 0 cont) and 3915954 constraints
1019.24/1022.86	c    5250 constraints of type <knapsack>
1019.24/1022.86	c 2925551 constraints of type <setppc>
1019.24/1022.86	c  980100 constraints of type <and>
1019.24/1022.86	c       3 constraints of type <linear>
1019.24/1022.86	c    5050 constraints of type <logicor>
1019.24/1022.86	c transformed objective value is always integral (scale: 1)
1019.24/1022.86	c Presolving Time: 988.21
1019.24/1022.86	c 
1019.24/1022.86	c 
1019.24/1022.86	c SCIP Status        : solving was interrupted [time limit reached]
1019.24/1022.86	c Solving Time (sec) : 1000.18
1019.24/1022.86	c Solving Nodes      : 0
1019.24/1022.86	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1019.24/1022.86	c Dual Bound         : -1.00000000000000e+20
1019.24/1022.86	c Gap                : infinite
1019.24/1022.86	c ----------------------------------------------------------------------
1019.24/1022.86	c dual bound: -1e+20 -> -100000000000000000000
1019.24/1022.86	c primal bound: 1e+20 -> 100000000000000000000
1019.24/1022.86	c scip-goal-lb: -100000000000000000000
1019.24/1022.86	c scip-goal-ub: 100000000000000000000
1019.24/1022.86	c writing output to: HOME/tmpfdq6fxaw.opb
1019.24/1022.86	c appending fixed variable constraints
1019.24/1022.86	c scip-fixed vars: 1.54% (30100/1960400)
1019.24/1022.86	c ----------------------------------------------------------------------
1019.24/1022.86	c executing external solver: HOME/naps-1.03a6
1019.24/1022.86	c ----------------------------------------------------------------------
1019.24/1022.86	c command: HOME/naps-1.03a6 -goal-lb=-100000000000000000000 -goal-ub=99999999999999999999 HOME/tmpfdq6fxaw.opb
1019.53/1023.11	c NaPS 1.03a6.
1019.53/1023.11	c Input file name: HOME/tmpfdq6fxaw.opb
1182.06/1186.10	c
1182.06/1186.10	c *** TERMINATED *** by signal 15
1182.06/1186.10	c s UNKNOWN
1182.06/1186.10	c _____________________________________________________________________________
1182.06/1186.10	c std/band forms        : 985357,0
1182.06/1186.10	c 2cl/3cl ITE-codings   : 0,0
1182.06/1186.10	c BDD/srt/adr Max costs : 1659,1674525,0
1182.06/1186.10	c BDDraw/bin/mul/srt/adr: 985250,0,0,107,0
1182.06/1186.10	c BDD nodes             : 4240050
1182.06/1186.10	c Es1/CC detections     : 0,0
1182.06/1186.10	c CC sort               : 104
1182.06/1186.10	c SAT/UNSAT calls       : 0,0
1182.06/1186.10	c regenrated variables  : 0
1182.06/1186.10	c eliminated fixed lits : 70276
1182.06/1186.10	c goal lit flips        : 0
1182.06/1186.10	c goal stages           : 0
1182.06/1186.10	c goal shrink           : 0
1182.06/1186.10	c goal coeff separations: 0
1182.06/1186.10	c restarts              : 0
1182.06/1186.10	c conflicts             : 0              (0 /sec)
1182.06/1186.10	c decisions             : 0              (0 /sec)
1182.06/1186.10	c propagations          : 0              (0 /sec)
1182.06/1186.10	c inspects              : 0              (0 /sec)
1182.06/1186.10	c CPU time (solving tm) : 157.3 s        (0 s, SAT 0 s, UNSAT 0 s)
1182.06/1186.10	c Time for Opt-base     : 0.354 s
1182.06/1186.10	c Steps for Opt-base    : 0
1182.06/1186.10	c Time for BDD coding   : 11.24 s
1182.06/1186.10	c Time for srt coding   : 66.4 s
1182.06/1186.10	c _____________________________________________________________________________
1182.06/1186.11	c received SIGTERM, forwarding to pbsolver...
1019.44/1186.31	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 (56880 MiB free)
  memory of node 1: 64465 MiB (41700 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530394-1752257286/watcher-4530394-1752257286 -o /tmp/evaluation-result-4530394-1752257286/solver-4530394-1752257286 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1752253329-117725 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530394-1752257286.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=118891, runsolver pid=118888

[startup+0.100063 s]*
/proc/loadavg: 4.11 4.11 4.09 5/271 118896
/proc/meminfo: memFree=100906592/131249996 swapFree=33000896/33010684
[pid=118891] ppid=118888 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/118891/stat : 118891 (scip-naps-1.00a) S 118888 118891 117714 0 -1 4194304 256 3396 0 0 0 0 1 1 20 0 1 0 141406591 4292608 768 18446744073709551615 94075261837312 94075262731845 140720593748192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94075262970896 94075263018640 94075265155072 140720593750427 140720593750526 140720593750526 140720593756130 0
/proc/118891/statm: 1048 768 704 219 0 110 0
[pid=118896] ppid=118891 vsize=125052 memory=25600 CPUtime=0.04 cores=4,6
/proc/118896/stat : 118896 (python3) D 118891 118891 117714 0 -1 4456448 2898 0 0 0 3 1 0 0 20 0 1 0 141406595 128053248 6400 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 2 1 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 31263 6400 3968 1 0 3957 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 129244 KiB
Current children cumulated memory: 28672 KiB

[startup+0.205908 s]*
/proc/loadavg: 4.11 4.11 4.09 5/271 118896
/proc/meminfo: memFree=100842140/131249996 swapFree=33000896/33010684
[pid=118891] ppid=118888 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/118891/stat : 118891 (scip-naps-1.00a) S 118888 118891 117714 0 -1 4194304 256 3396 0 0 0 0 1 1 20 0 1 0 141406591 4292608 768 18446744073709551615 94075261837312 94075262731845 140720593748192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94075262970896 94075263018640 94075265155072 140720593750427 140720593750526 140720593750526 140720593756130 0
/proc/118891/statm: 1048 768 704 219 0 110 0
[pid=118896] ppid=118891 vsize=1272416 memory=117192 CPUtime=0.15 cores=4,6
/proc/118896/stat : 118896 (python3) R 118891 118891 117714 0 -1 4194304 13379 0 0 0 11 4 0 0 20 0 1 0 141406595 1302953984 29298 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 318104 29298 7591 1 0 289462 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1276608 KiB
Current children cumulated memory: 120264 KiB

[startup+0.305851 s]*
/proc/loadavg: 4.11 4.11 4.09 5/271 118896
/proc/meminfo: memFree=100698616/131249996 swapFree=33000896/33010684
[pid=118891] ppid=118888 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/118891/stat : 118891 (scip-naps-1.00a) S 118888 118891 117714 0 -1 4194304 256 3396 0 0 0 0 1 1 20 0 1 0 141406591 4292608 768 18446744073709551615 94075261837312 94075262731845 140720593748192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94075262970896 94075263018640 94075265155072 140720593750427 140720593750526 140720593750526 140720593756130 0
/proc/118891/statm: 1048 768 704 219 0 110 0
[pid=118896] ppid=118891 vsize=1397672 memory=243284 CPUtime=0.24 cores=4,6
/proc/118896/stat : 118896 (python3) R 118891 118891 117714 0 -1 4194304 36754 0 0 0 17 7 0 0 20 0 1 0 141406595 1431216128 60821 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 349418 60821 7591 1 0 320776 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1401864 KiB
Current children cumulated memory: 246356 KiB

[startup+0.700209 s]
/proc/loadavg: 4.11 4.11 4.09 5/271 118896
/proc/meminfo: memFree=100504824/131249996 swapFree=33000896/33010684
[pid=118891] ppid=118888 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/118891/stat : 118891 (scip-naps-1.00a) S 118888 118891 117714 0 -1 4194304 256 3396 0 0 0 0 1 1 20 0 1 0 141406591 4292608 768 18446744073709551615 94075261837312 94075262731845 140720593748192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94075262970896 94075263018640 94075265155072 140720593750427 140720593750526 140720593750526 140720593756130 0
/proc/118891/statm: 1048 768 704 219 0 110 0
[pid=118896] ppid=118891 vsize=1756404 memory=601036 CPUtime=0.63 cores=4,6
/proc/118896/stat : 118896 (python3) R 118891 118891 117714 0 -1 4194304 123603 0 0 0 41 22 0 0 20 0 1 0 141406595 1798557696 150227 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 439101 150227 7591 1 0 410459 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1760596 KiB
Current children cumulated memory: 604108 KiB

[startup+1.50023 s]
/proc/loadavg: 4.11 4.11 4.09 5/271 118896
/proc/meminfo: memFree=99994116/131249996 swapFree=33000896/33010684
[pid=118891] ppid=118888 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/118891/stat : 118891 (scip-naps-1.00a) S 118888 118891 117714 0 -1 4194304 256 3396 0 0 0 0 1 1 20 0 1 0 141406591 4292608 768 18446744073709551615 94075261837312 94075262731845 140720593748192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94075262970896 94075263018640 94075265155072 140720593750427 140720593750526 140720593750526 140720593756130 0
/proc/118891/statm: 1048 768 704 219 0 110 0
[pid=118896] ppid=118891 vsize=2367496 memory=1209468 CPUtime=1.43 cores=4,6
/proc/118896/stat : 118896 (python3) R 118891 118891 117714 0 -1 4194304 257855 0 0 0 99 44 0 0 20 0 1 0 141406595 2424315904 302367 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 591874 302367 7623 1 0 563232 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 2371688 KiB
Current children cumulated memory: 1212540 KiB

[startup+3.10568 s]
/proc/loadavg: 4.10 4.11 4.09 5/271 118896
/proc/meminfo: memFree=99017464/131249996 swapFree=33000896/33010684
[pid=118891] ppid=118888 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/118891/stat : 118891 (scip-naps-1.00a) S 118888 118891 117714 0 -1 4194304 256 3396 0 0 0 0 1 1 20 0 1 0 141406591 4292608 768 18446744073709551615 94075261837312 94075262731845 140720593748192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94075262970896 94075263018640 94075265155072 140720593750427 140720593750526 140720593750526 140720593756130 0
/proc/118891/statm: 1048 768 704 219 0 110 0
[pid=118896] ppid=118891 vsize=2990200 memory=1831292 CPUtime=3.03 cores=4,6
/proc/118896/stat : 118896 (python3) R 118891 118891 117714 0 -1 4194304 413333 0 0 0 235 68 0 0 20 0 1 0 141406595 3061964800 457823 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 747550 457823 7623 1 0 718908 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 2994392 KiB
Current children cumulated memory: 1834364 KiB

[startup+6.3002 s]
/proc/loadavg: 4.10 4.11 4.09 5/271 118896
/proc/meminfo: memFree=97968204/131249996 swapFree=33000896/33010684
[pid=118891] ppid=118888 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/118891/stat : 118891 (scip-naps-1.00a) S 118888 118891 117714 0 -1 4194304 256 3396 0 0 0 0 1 1 20 0 1 0 141406591 4292608 768 18446744073709551615 94075261837312 94075262731845 140720593748192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94075262970896 94075263018640 94075265155072 140720593750427 140720593750526 140720593750526 140720593756130 0
/proc/118891/statm: 1048 768 704 219 0 110 0
[pid=118896] ppid=118891 vsize=4063572 memory=2904472 CPUtime=6.22 cores=4,6
/proc/118896/stat : 118896 (python3) R 118891 118891 117714 0 -1 4194304 669883 0 0 0 515 107 0 0 20 0 1 0 141406595 4161097728 726118 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 1015893 726118 7623 1 0 987251 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 4067764 KiB
Current children cumulated memory: 2907544 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.09 5/271 118896
/proc/meminfo: memFree=96663012/131249996 swapFree=33000896/33010684
[pid=118891] ppid=118888 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/118891/stat : 118891 (scip-naps-1.00a) S 118888 118891 117714 0 -1 4194304 256 3396 0 0 0 0 1 1 20 0 1 0 141406591 4292608 768 18446744073709551615 94075261837312 94075262731845 140720593748192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94075262970896 94075263018640 94075265155072 140720593750427 140720593750526 140720593750526 140720593756130 0
/proc/118891/statm: 1048 768 704 219 0 110 0
[pid=118896] ppid=118891 vsize=5333436 memory=4176168 CPUtime=12.6 cores=4,6
/proc/118896/stat : 118896 (python3) R 118891 118891 117714 0 -1 4194304 950507 0 0 0 1106 154 0 0 20 0 1 0 141406595 5461438464 1044042 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 1333359 1044042 7623 1 0 1304717 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 5337628 KiB
Current children cumulated memory: 4179240 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.09 5/271 118896
/proc/meminfo: memFree=90827000/131249996 swapFree=33000896/33010684
[pid=118891] ppid=118888 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/118891/stat : 118891 (scip-naps-1.00a) S 118888 118891 117714 0 -1 4194304 256 3396 0 0 0 0 1 1 20 0 1 0 141406591 4292608 768 18446744073709551615 94075261837312 94075262731845 140720593748192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94075262970896 94075263018640 94075265155072 140720593750427 140720593750526 140720593750526 140720593756130 0
/proc/118891/statm: 1048 768 704 219 0 110 0
[pid=118896] ppid=118891 vsize=11101812 memory=9934492 CPUtime=25.37 cores=4,6
/proc/118896/stat : 118896 (python3) R 118891 118891 117714 0 -1 4194304 2266403 0 0 0 2178 359 0 0 20 0 1 0 141406595 11368255488 2483623 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 2775453 2483623 7815 1 0 2746811 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 11106004 KiB
Current children cumulated memory: 9937564 KiB

[startup+51.1061 s]
/proc/loadavg: 4.10 4.11 4.09 5/271 118896
/proc/meminfo: memFree=89593840/131249996 swapFree=33000896/33010684
[pid=118891] ppid=118888 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/118891/stat : 118891 (scip-naps-1.00a) S 118888 118891 117714 0 -1 4194304 256 3396 0 0 0 0 1 1 20 0 1 0 141406591 4292608 768 18446744073709551615 94075261837312 94075262731845 140720593748192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94075262970896 94075263018640 94075265155072 140720593750427 140720593750526 140720593750526 140720593756130 0
/proc/118891/statm: 1048 768 704 219 0 110 0
[pid=118896] ppid=118891 vsize=12376484 memory=10997076 CPUtime=50.9 cores=4,6
/proc/118896/stat : 118896 (python3) R 118891 118891 117714 0 -1 4194304 2397357 0 0 0 4700 390 0 0 20 0 1 0 141406595 12673519616 2749269 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 3094121 2749269 7911 1 0 3065479 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 12380676 KiB
Current children cumulated memory: 11000148 KiB

[startup+102.3 s]
/proc/loadavg: 4.43 4.19 4.12 5/271 118898
/proc/meminfo: memFree=86832676/131249996 swapFree=33000896/33010684
[pid=118891] ppid=118888 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/118891/stat : 118891 (scip-naps-1.00a) S 118888 118891 117714 0 -1 4194304 256 3396 0 0 0 0 1 1 20 0 1 0 141406591 4292608 768 18446744073709551615 94075261837312 94075262731845 140720593748192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94075262970896 94075263018640 94075265155072 140720593750427 140720593750526 140720593750526 140720593756130 0
/proc/118891/statm: 1048 768 704 219 0 110 0
[pid=118896] ppid=118891 vsize=15151532 memory=13751816 CPUtime=101.95 cores=4,6
/proc/118896/stat : 118896 (python3) R 118891 118891 117714 0 -1 4194304 2919670 0 0 0 9709 486 0 0 20 0 1 0 141406595 15515168768 3437954 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 3787883 3437954 7943 1 0 3759241 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 15155724 KiB
Current children cumulated memory: 13754888 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/271 118901
/proc/meminfo: memFree=85801384/131249996 swapFree=33000896/33010684
[pid=118891] ppid=118888 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/118891/stat : 118891 (scip-naps-1.00a) S 118888 118891 117714 0 -1 4194304 256 3396 0 0 0 0 1 1 20 0 1 0 141406591 4292608 768 18446744073709551615 94075261837312 94075262731845 140720593748192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94075262970896 94075263018640 94075265155072 140720593750427 140720593750526 140720593750526 140720593756130 0
/proc/118891/statm: 1048 768 704 219 0 110 0
[pid=118896] ppid=118891 vsize=16144820 memory=14785892 CPUtime=161.75 cores=4,6
/proc/118896/stat : 118896 (python3) R 118891 118891 117714 0 -1 4194304 2953793 0 0 0 15663 512 0 0 20 0 1 0 141406595 16532295680 3696473 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 4036205 3696473 7975 1 0 4007563 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 16149012 KiB
Current children cumulated memory: 14788964 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/271 118903
/proc/meminfo: memFree=85811708/131249996 swapFree=33000896/33010684
[pid=118891] ppid=118888 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/118891/stat : 118891 (scip-naps-1.00a) S 118888 118891 117714 0 -1 4194304 256 3396 0 0 0 0 1 1 20 0 1 0 141406591 4292608 768 18446744073709551615 94075261837312 94075262731845 140720593748192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94075262970896 94075263018640 94075265155072 140720593750427 140720593750526 140720593750526 140720593756130 0
/proc/118891/statm: 1048 768 704 219 0 110 0
[pid=118896] ppid=118891 vsize=16144820 memory=14785892 CPUtime=221.52 cores=4,6
/proc/118896/stat : 118896 (python3) R 118891 118891 117714 0 -1 4194304 2954613 0 0 0 21635 517 0 0 20 0 1 0 141406595 16532295680 3696473 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 4036205 3696473 7975 1 0 4007563 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 16149012 KiB

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

/proc/loadavg: 4.17 4.13 4.10 5/270 118937
/proc/meminfo: memFree=80777356/131249996 swapFree=33000896/33010684
[pid=118891] ppid=118888 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/118891/stat : 118891 (scip-naps-1.00a) S 118888 118891 117714 0 -1 4194304 256 3396 0 0 0 0 1 1 20 0 1 0 141406591 4292608 768 18446744073709551615 94075261837312 94075262731845 140720593748192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94075262970896 94075263018640 94075265155072 140720593750427 140720593750526 140720593750526 140720593756130 0
/proc/118891/statm: 1048 768 704 219 0 110 0
[pid=118896] ppid=118891 vsize=16154536 memory=14790876 CPUtime=938.98 cores=4,6
/proc/118896/stat : 118896 (python3) R 118891 118891 117714 0 -1 4194304 2966267 0 0 0 93328 570 0 0 20 0 1 0 141406595 16542244864 3697719 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 4038634 3697719 7975 1 0 4009992 0
Current children cumulated CPU time: 939 s
Current children cumulated vsize: 16158728 KiB
Current children cumulated memory: 14793948 KiB

[startup+1002.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/270 118941
/proc/meminfo: memFree=77832676/131249996 swapFree=33000896/33010684
[pid=118891] ppid=118888 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/118891/stat : 118891 (scip-naps-1.00a) S 118888 118891 117714 0 -1 4194304 256 3396 0 0 0 0 1 1 20 0 1 0 141406591 4292608 768 18446744073709551615 94075261837312 94075262731845 140720593748192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94075262970896 94075263018640 94075265155072 140720593750427 140720593750526 140720593750526 140720593756130 0
/proc/118891/statm: 1048 768 704 219 0 110 0
[pid=118896] ppid=118891 vsize=16154536 memory=14790876 CPUtime=998.78 cores=4,6
/proc/118896/stat : 118896 (python3) R 118891 118891 117714 0 -1 4194304 2967465 0 0 0 99304 574 0 0 20 0 1 0 141406595 16542244864 3697719 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 4038634 3697719 7975 1 0 4009992 0
Current children cumulated CPU time: 998.8 s
Current children cumulated vsize: 16158728 KiB
Current children cumulated memory: 14793948 KiB

[startup+1062.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/272 118995
/proc/meminfo: memFree=73141292/131249996 swapFree=33000896/33010684
[pid=118891] ppid=118888 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/118891/stat : 118891 (scip-naps-1.00a) S 118888 118891 117714 0 -1 4194304 256 3396 0 0 0 0 1 1 20 0 1 0 141406591 4292608 768 18446744073709551615 94075261837312 94075262731845 140720593748192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94075262970896 94075263018640 94075265155072 140720593750427 140720593750526 140720593750526 140720593756130 0
/proc/118891/statm: 1048 768 704 219 0 110 0
[pid=118896] ppid=118891 vsize=18358204 memory=16652288 CPUtime=1019.41 cores=4,6
/proc/118896/stat : 118896 (python3) S 118891 118891 117714 0 -1 4194304 3301590 0 0 0 101255 686 0 0 20 0 1 0 141406595 18798800896 4163072 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 4589551 4163072 8071 1 0 4560909 0
[pid=118944] ppid=118896 vsize=2118880 memory=2021096 CPUtime=39.19 cores=4,6
/proc/118944/stat : 118944 (naps-1.03a6) R 118896 118944 118944 0 -1 4194304 417624 0 0 0 3816 103 0 0 20 0 1 0 141508890 2169733120 505274 18446744073709551615 4198400 7047149 140721438692976 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 25305088 140721438701905 140721438702065 140721438702065 140721438707657 0
/proc/118944/statm: 529720 505274 544 696 0 528881 0
Current children cumulated CPU time: 1058.62 s
Current children cumulated vsize: 20481276 KiB
Current children cumulated memory: 18676456 KiB

[startup+1122.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/271 119045
/proc/meminfo: memFree=98267836/131249996 swapFree=33000896/33010684
[pid=118891] ppid=118888 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/118891/stat : 118891 (scip-naps-1.00a) S 118888 118891 117714 0 -1 4194304 256 3396 0 0 0 0 1 1 20 0 1 0 141406591 4292608 768 18446744073709551615 94075261837312 94075262731845 140720593748192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94075262970896 94075263018640 94075265155072 140720593750427 140720593750526 140720593750526 140720593756130 0
/proc/118891/statm: 1048 768 704 219 0 110 0
[pid=118896] ppid=118891 vsize=18358204 memory=16652288 CPUtime=1019.41 cores=4,6
/proc/118896/stat : 118896 (python3) S 118891 118891 117714 0 -1 4194304 3301590 0 0 0 101255 686 0 0 20 0 1 0 141406595 18798800896 4163072 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 4589551 4163072 8071 1 0 4560909 0
[pid=118944] ppid=118896 vsize=5625812 memory=5504536 CPUtime=99.02 cores=4,6
/proc/118944/stat : 118944 (naps-1.03a6) R 118896 118944 118944 0 -1 4194304 766997 0 0 0 9675 227 0 0 20 0 1 0 141508890 5760831488 1376134 18446744073709551615 4198400 7047149 140721438692976 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 25305088 140721438701905 140721438702065 140721438702065 140721438707657 0
/proc/118944/statm: 1406453 1376134 576 696 0 1405614 0
Current children cumulated CPU time: 1118.45 s
Current children cumulated vsize: 23988208 KiB
Current children cumulated memory: 22159896 KiB

[startup+1182.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/271 119047
/proc/meminfo: memFree=92387172/131249996 swapFree=33000896/33010684
[pid=118891] ppid=118888 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/118891/stat : 118891 (scip-naps-1.00a) S 118888 118891 117714 0 -1 4194304 256 3396 0 0 0 0 1 1 20 0 1 0 141406591 4292608 768 18446744073709551615 94075261837312 94075262731845 140720593748192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94075262970896 94075263018640 94075265155072 140720593750427 140720593750526 140720593750526 140720593756130 0
/proc/118891/statm: 1048 768 704 219 0 110 0
[pid=118896] ppid=118891 vsize=18358204 memory=16652288 CPUtime=1019.41 cores=4,6
/proc/118896/stat : 118896 (python3) S 118891 118891 117714 0 -1 4194304 3301590 0 0 0 101255 686 0 0 20 0 1 0 141406595 18798800896 4163072 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 4589551 4163072 8071 1 0 4560909 0
[pid=118944] ppid=118896 vsize=12192224 memory=11445796 CPUtime=158.85 cores=4,6
/proc/118944/stat : 118944 (naps-1.03a6) R 118896 118944 118944 0 -1 4194304 1142371 0 0 0 15390 495 0 0 20 0 1 0 141508890 12484837376 2861449 18446744073709551615 4198400 7047149 140721438692976 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 25305088 140721438701905 140721438702065 140721438702065 140721438707657 0
/proc/118944/statm: 3048056 2861449 576 696 0 3047217 0
Current children cumulated CPU time: 1178.28 s
Current children cumulated vsize: 30554620 KiB
Current children cumulated memory: 28101156 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1186.11 s]
/proc/loadavg: 4.07 4.10 4.09 5/271 119047
/proc/meminfo: memFree=91168176/131249996 swapFree=33000896/33010684
[pid=118891] ppid=118888 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/118891/stat : 118891 (scip-naps-1.00a) S 118888 118891 117714 0 -1 4194304 256 3396 0 0 0 0 1 1 20 0 1 0 141406591 4292608 768 18446744073709551615 94075261837312 94075262731845 140720593748192 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94075262970896 94075263018640 94075265155072 140720593750427 140720593750526 140720593750526 140720593756130 0
/proc/118891/statm: 1048 768 704 219 0 110 0
[pid=118896] ppid=118891 vsize=18358204 memory=16652288 CPUtime=1019.41 cores=4,6
/proc/118896/stat : 118896 (python3) S 118891 118891 117714 0 -1 4194304 3301590 0 0 0 101255 686 0 0 20 0 1 0 141406595 18798800896 4163072 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 4589551 4163072 8071 1 0 4560909 0
[pid=118944] ppid=118896 vsize=14789584 memory=12673784 CPUtime=162.63 cores=4,6
/proc/118944/stat : 118944 (naps-1.03a6) R 118896 118944 118944 0 -1 4194304 1365620 0 0 0 15724 539 0 0 20 0 1 0 141508890 15144534016 3168446 18446744073709551615 4198400 7047149 140721438692976 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 25305088 140721438701905 140721438702065 140721438702065 140721438707657 0
/proc/118944/statm: 3697396 3168446 576 696 0 3696557 0
Current children cumulated CPU time: 1182.06 s
Current children cumulated vsize: 33151980 KiB
Current children cumulated memory: 29329144 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

# cumulated CPU time of all completed processes:  user=1171.37 s, system=13.2179 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+1187.2 s]
/proc/loadavg: 4.07 4.10 4.09 5/269 119047
/proc/meminfo: memFree=102828344/131249996 swapFree=33000896/33010684
[pid=118896] ppid=118888 vsize=18358204 memory=16652288 CPUtime=1183.14 cores=4,6
/proc/118896/stat : 118896 (python3) R 118888 118891 117714 0 -1 4194304 3494553 1365621 0 0 101333 696 15725 560 20 0 1 0 141406595 18798800896 4163072 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 4589551 4163072 8071 1 0 4560909 0
Current cumulated CPU time of completed processes: 0.028118 s
Current children cumulated CPU time: 1183.14 s
Current children cumulated vsize: 18358204 KiB
Current children cumulated memory: 16652288 KiB

[startup+1187.6 s]
/proc/loadavg: 4.07 4.10 4.09 5/269 119047
/proc/meminfo: memFree=102828344/131249996 swapFree=33000896/33010684
[pid=118896] ppid=118888 vsize=18358204 memory=16652288 CPUtime=1183.55 cores=4,6
/proc/118896/stat : 118896 (python3) R 118888 118891 117714 0 -1 4194304 3592660 1365621 0 0 101368 702 15725 560 20 0 1 0 141406595 18798800896 4163072 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 4589551 4163072 8071 1 0 4560909 0
Current cumulated CPU time of completed processes: 0.028118 s
Current children cumulated CPU time: 1183.55 s
Current children cumulated vsize: 18358204 KiB
Current children cumulated memory: 16652288 KiB

[startup+1188 s]*
/proc/loadavg: 4.15 4.11 4.09 5/269 119048
/proc/meminfo: memFree=102844216/131249996 swapFree=33000896/33010684
[pid=118896] ppid=118888 vsize=18358204 memory=16652288 CPUtime=1183.95 cores=4,6
/proc/118896/stat : 118896 (python3) R 118888 118891 117714 0 -1 4194304 3730216 1365621 0 0 101402 708 15725 560 20 0 1 0 141406595 18798800896 4163072 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 4589551 4163072 8071 1 0 4560909 0
Current cumulated CPU time of completed processes: 0.028118 s
Current children cumulated CPU time: 1183.95 s
Current children cumulated vsize: 18358204 KiB
Current children cumulated memory: 16652288 KiB

[startup+1188.11 s]
/proc/loadavg: 4.15 4.11 4.09 5/269 119048
/proc/meminfo: memFree=102844216/131249996 swapFree=33000896/33010684
[pid=118896] ppid=118888 vsize=18358204 memory=16652288 CPUtime=1184.05 cores=4,6
/proc/118896/stat : 118896 (python3) R 118888 118891 117714 0 -1 4194304 3763801 1365621 0 0 101411 709 15725 560 20 0 1 0 141406595 18798800896 4163072 18446744073709551615 94090209071104 94090209071481 140729810643600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94090209082776 94090209083396 94090213347328 140729810647390 140729810647584 140729810647584 140729810653159 0
/proc/118896/statm: 4589551 4163072 8071 1 0 4560909 0
Current cumulated CPU time of completed processes: 0.028118 s
Current children cumulated CPU time: 1184.05 s
Current children cumulated vsize: 18358204 KiB
Current children cumulated memory: 16652288 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1188.61
CPU time (s): 1184.59
CPU user time (s): 1171.37
CPU system time (s): 13.2179
CPU usage (%): 99.6621
Max. virtual memory (cumulated for all children) (KiB): 33151980
Max. memory (cumulated for all children) (KiB): 29329144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1171.37
system time used= 13.2179
maximum resident set size= 16652288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5133086
page faults= 0
swaps= 0
block input operations= 0
block output operations= 445016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 356
involuntary context switches= 1297


# summary of solver processes directly reported to runsolver:
#   pid: 118891,118896
#   total CPU time (s): 1184.59
#   total CPU user time (s): 1171.37
#   total CPU system time (s): 13.2179

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.53285 second user time and 5.90753 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-11 20:08:07
IDJOB=4530394
IDBENCH=155759
IDSOLVER=3388
FILE ID=nodeC023/4530394-1752257286
RUNJOBID= nodeC023-1752253329-117725
SLURM_JOB_ID= 9682585
Free space on /tmp= 431324 MiB

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

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

MD5SUM BENCH= ae4404ba779864fb11c76f88911c57d7
RANDOM SEED=594732345

nodeC023 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.931
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.654
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		: 3599.675
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		: 3600.558
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		: 3591.890
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.828
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		: 3599.904
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		: 3574.971
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:       131249996 kB
MemFree:        100946540 kB
MemAvailable:   101499108 kB
Buffers:              16 kB
Cached:          1293132 kB
SwapCached:         2860 kB
Active:         28377216 kB
Inactive:        1124544 kB
Active(anon):   28168488 kB
Inactive(anon):    52736 kB
Active(file):     208728 kB
Inactive(file):  1071808 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            227512 kB
Writeback:             0 kB
AnonPages:      28208824 kB
Mapped:           127800 kB
Shmem:             12612 kB
KReclaimable:     222540 kB
Slab:             315940 kB
SReclaimable:     222540 kB
SUnreclaim:        93400 kB
KernelStack:        4352 kB
PageTables:        59252 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   32943632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8947712 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431408 MiB
End job on nodeC023 at 2025-07-11 20:27:56