Trace number 4512069

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP-NaPS 1.00a1? (MO) 720.683 722.707

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/
normalized-hw512-vm100p-dec.opb.negationfix.opb
MD5SUM87dcb6b5c21e845aafa503750cb7c14f
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2771456
Total number of constraints11850
Number of constraints which are clauses5412
Number of constraints which are cardinality constraints (but not clauses)5412
Number of constraints which are nor clauses,nor cardinality constraints1026
Minimum length of a constraint512
Maximum length of a constraint5412
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1990420
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 4457840
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

515.29/516.85	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4512069-1751205913.opb
515.29/516.85	c Solving mode: decision
515.29/516.85	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
515.29/516.85	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
515.29/516.85	c original problem has 2771456 variables (2771456 bin, 0 int, 0 impl, 0 cont) and 11850 constraints
515.29/516.85	c presolving:
515.29/516.85	c (round 1, fast)       3916 del vars, 2 del conss, 0 add conss, 3404 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 945927 clqs
515.29/516.85	c (round 2, exhaustive) 3916 del vars, 5414 del conss, 0 add conss, 3404 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 945927 clqs
515.29/516.85	c (round 3, exhaustive) 3916 del vars, 5414 del conss, 0 add conss, 3404 chg bounds, 0 chg sides, 0 chg coeffs, 6436 upgd conss, 0 impls, 946029 clqs
515.29/516.85	c    (489.5s) probing: 1000/2767028 (0.0%) - 0 fixings, 0 aggregations, 510636 implications, 0 bound changes
515.29/516.85	c    (490.0s) probing: 1001/2767028 (0.0%) - 0 fixings, 0 aggregations, 511147 implications, 0 bound changes
515.29/516.85	c    (490.0s) probing aborted: 1000/1000 successive useless probings
515.29/516.85	c    (492.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
515.29/516.85	c symmetry computation terminated early, because number of cells 100313 in Nauty exceeds limit of 100000
515.29/516.85	c for running full symmetry detection, increase value of parameter propagating/symmetry/nautymaxncells
515.29/516.85	c    (500.3s) symmetry computation finished: 19 generators found (max: 23, log10 of symmetry group size: 0.0) (symcode time: 4.86)
515.29/516.85	c dynamic symmetry handling statistics:
515.29/516.85	c    orbitopal reduction:       no components
515.29/516.85	c    orbital reduction:          1 components of sizes 19
515.29/516.85	c    lexicographic reduction:   19 permutations with support sizes 1024, 1024, 1024, 1024, 1024, 1024, 1024, 1024, 1024, 1024, 1024, 1024, 1024, 1024, 1024, 1024, 1024, 1024, 1024
515.29/516.85	c handled 1 out of 1 symmetry components
515.29/516.85	c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
515.29/516.85	c  4428 deleted vars, 5415 deleted constraints, 0 added constraints, 3404 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
515.29/516.85	c  0 implications, 946043 cliques
515.29/516.85	c presolving was interrupted.
515.29/516.85	c Presolving Time: 494.42
515.29/516.85	c presolving:
515.29/516.85	c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
515.29/516.85	c  4428 deleted vars, 5415 deleted constraints, 0 added constraints, 3404 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
515.29/516.85	c  0 implications, 946043 cliques
515.29/516.85	c presolving was interrupted.
515.29/516.85	c Presolving Time: 494.42
515.29/516.85	c 
515.29/516.85	c SCIP Status        : solving was interrupted [time limit reached]
515.29/516.85	c Solving Time (sec) : 500.30
515.29/516.85	c Solving Nodes      : 0
515.29/516.85	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
515.29/516.85	c ----------------------------------------------------------------------
515.29/516.85	c dual bound: -1e+20 -> -100000000000000000000
515.29/516.85	c primal bound: 1e+20 -> 100000000000000000000
515.29/516.85	c scip-goal-lb: -100000000000000000000
515.29/516.85	c scip-goal-ub: 100000000000000000000
515.29/516.85	c writing output to: HOME/tmp62pasf9g.opb
515.29/516.85	c appending fixed variable constraints
515.29/516.85	c scip-fixed vars: 0.16% (4428/2767028)
515.29/516.85	c ----------------------------------------------------------------------
515.29/516.85	c executing external solver: HOME/naps-1.03a6
515.29/516.85	c ----------------------------------------------------------------------
515.29/516.85	c command: HOME/naps-1.03a6 HOME/tmp62pasf9g.opb
515.67/517.24	c NaPS 1.03a6.
515.67/517.24	c Input file name: HOME/tmp62pasf9g.opb
718.25/720.30	c
718.25/720.30	c *** TERMINATED *** by signal 15
718.25/720.30	c _____________________________________________________________________________
718.25/720.30	c std/band forms        : 75,0
718.25/720.30	c 2cl/3cl ITE-codings   : 0,0
718.25/720.30	c BDD/srt/adr Max costs : 0,2302850,0
718.25/720.30	c BDDraw/bin/mul/srt/adr: 0,0,0,75,0
718.25/720.30	c BDD nodes             : 0
718.25/720.30	c Es1/CC detections     : 0,0
718.25/720.30	c CC sort               : 0
718.25/720.30	c SAT/UNSAT calls       : 0,0
718.25/720.30	c regenrated variables  : 0
718.25/720.30	c eliminated fixed lits : 17172
718.25/720.30	c goal lit flips        : 0
718.25/720.30	c goal stages           : 0
718.25/720.30	c goal shrink           : 0
718.25/720.30	c goal coeff separations: 0
718.25/720.30	c restarts              : 0
718.25/720.30	c conflicts             : 0              (0 /sec)
718.25/720.30	c decisions             : 0              (0 /sec)
718.25/720.30	c propagations          : 0              (0 /sec)
718.25/720.30	c inspects              : 0              (0 /sec)
718.25/720.30	c CPU time (solving tm) : 198.3 s        (0 s, SAT 0 s, UNSAT 0 s)
718.25/720.30	c Time for Opt-base     : 43.18 s
718.25/720.30	c Steps for Opt-base    : 237547120
718.25/720.30	c Time for BDD coding   : 0 s
718.25/720.30	c Time for srt coding   : 122.5 s
718.25/720.30	c _____________________________________________________________________________
515.46/720.50	c received SIGTERM, forwarding to pbsolver...
515.46/720.50	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512069-1751205913/watcher-4512069-1751205913 -o /tmp/evaluation-result-4512069-1751205913/solver-4512069-1751205913 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751204746-27064 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4512069-1751205913.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=28237, runsolver pid=28234

[startup+0.1001 s]*
/proc/loadavg: 4.14 4.09 3.61 5/257 28242
/proc/meminfo: memFree=100936336/131382116 swapFree=33010684/33010684
[pid=28237] ppid=28234 vsize=4192 memory=3072 CPUtime=0.02 cores=0,2
/proc/28237/stat : 28237 (scip-naps-1.00.) S 28234 28237 27054 0 -1 4194304 255 334 0 0 0 0 0 2 20 0 1 0 36270583 4292608 768 18446744073709551615 93919312629760 93919313524293 140733300442224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93919313763344 93919313811088 93919337390080 140733300443553 140733300443650 140733300443650 140733300449252 0
/proc/28237/statm: 1048 768 704 219 0 110 0
[pid=28242] ppid=28237 vsize=127372 memory=26368 CPUtime=0.04 cores=0,2
/proc/28242/stat : 28242 (python3) R 28237 28237 27054 0 -1 4194304 2930 0 0 0 3 1 0 0 20 0 1 0 36270588 130428928 6592 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 31843 6592 4128 1 0 3945 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 131564 KiB
Current children cumulated memory: 29440 KiB

[startup+0.213428 s]*
/proc/loadavg: 4.14 4.09 3.61 5/257 28242
/proc/meminfo: memFree=100826156/131382116 swapFree=33010684/33010684
[pid=28237] ppid=28234 vsize=4192 memory=3072 CPUtime=0.02 cores=0,2
/proc/28237/stat : 28237 (scip-naps-1.00.) S 28234 28237 27054 0 -1 4194304 255 334 0 0 0 0 0 2 20 0 1 0 36270583 4292608 768 18446744073709551615 93919312629760 93919313524293 140733300442224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93919313763344 93919313811088 93919337390080 140733300443553 140733300443650 140733300443650 140733300449252 0
/proc/28237/statm: 1048 768 704 219 0 110 0
[pid=28242] ppid=28237 vsize=1243832 memory=94796 CPUtime=0.16 cores=0,2
/proc/28242/stat : 28242 (python3) R 28237 28237 27054 0 -1 4194304 16968 0 0 0 12 4 0 0 20 0 1 0 36270588 1273683968 23699 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 310958 23699 7603 1 0 282316 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 1248024 KiB
Current children cumulated memory: 97868 KiB

[startup+0.313697 s]*
/proc/loadavg: 4.14 4.09 3.61 5/257 28242
/proc/meminfo: memFree=100705196/131382116 swapFree=33010684/33010684
[pid=28237] ppid=28234 vsize=4192 memory=3072 CPUtime=0.02 cores=0,2
/proc/28237/stat : 28237 (scip-naps-1.00.) S 28234 28237 27054 0 -1 4194304 255 334 0 0 0 0 0 2 20 0 1 0 36270583 4292608 768 18446744073709551615 93919312629760 93919313524293 140733300442224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93919313763344 93919313811088 93919337390080 140733300443553 140733300443650 140733300443650 140733300449252 0
/proc/28237/statm: 1048 768 704 219 0 110 0
[pid=28242] ppid=28237 vsize=1336908 memory=187724 CPUtime=0.26 cores=0,2
/proc/28242/stat : 28242 (python3) R 28237 28237 27054 0 -1 4194304 40202 0 0 0 18 8 0 0 20 0 1 0 36270588 1368993792 46931 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 334227 46931 7603 1 0 305585 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 1341100 KiB
Current children cumulated memory: 190796 KiB

[startup+0.700428 s]
/proc/loadavg: 4.14 4.09 3.61 5/257 28242
/proc/meminfo: memFree=100487468/131382116 swapFree=33010684/33010684
[pid=28237] ppid=28234 vsize=4192 memory=3072 CPUtime=0.02 cores=0,2
/proc/28237/stat : 28237 (scip-naps-1.00.) S 28234 28237 27054 0 -1 4194304 255 334 0 0 0 0 0 2 20 0 1 0 36270583 4292608 768 18446744073709551615 93919312629760 93919313524293 140733300442224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93919313763344 93919313811088 93919337390080 140733300443553 140733300443650 140733300443650 140733300449252 0
/proc/28237/statm: 1048 768 704 219 0 110 0
[pid=28242] ppid=28237 vsize=1649620 memory=499880 CPUtime=0.62 cores=0,2
/proc/28242/stat : 28242 (python3) R 28237 28237 27054 0 -1 4194304 115642 0 0 0 43 19 0 0 20 0 1 0 36270588 1689210880 124938 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 412405 124938 7603 1 0 383763 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1653812 KiB
Current children cumulated memory: 502952 KiB

[startup+1.50043 s]
/proc/loadavg: 4.14 4.09 3.61 5/257 28242
/proc/meminfo: memFree=100012700/131382116 swapFree=33010684/33010684
[pid=28237] ppid=28234 vsize=4192 memory=3072 CPUtime=0.02 cores=0,2
/proc/28237/stat : 28237 (scip-naps-1.00.) S 28234 28237 27054 0 -1 4194304 255 334 0 0 0 0 0 2 20 0 1 0 36270583 4292608 768 18446744073709551615 93919312629760 93919313524293 140733300442224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93919313763344 93919313811088 93919337390080 140733300443553 140733300443650 140733300443650 140733300449252 0
/proc/28237/statm: 1048 768 704 219 0 110 0
[pid=28242] ppid=28237 vsize=2344016 memory=1193076 CPUtime=1.43 cores=0,2
/proc/28242/stat : 28242 (python3) R 28237 28237 27054 0 -1 4194304 283844 0 0 0 100 43 0 0 20 0 1 0 36270588 2400272384 298237 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 586004 298269 7603 1 0 557362 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 2348208 KiB
Current children cumulated memory: 1196148 KiB

[startup+3.11346 s]
/proc/loadavg: 4.13 4.09 3.61 5/257 28242
/proc/meminfo: memFree=97879076/131382116 swapFree=33010684/33010684
[pid=28237] ppid=28234 vsize=4192 memory=3072 CPUtime=0.02 cores=0,2
/proc/28237/stat : 28237 (scip-naps-1.00.) S 28234 28237 27054 0 -1 4194304 255 334 0 0 0 0 0 2 20 0 1 0 36270583 4292608 768 18446744073709551615 93919312629760 93919313524293 140733300442224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93919313763344 93919313811088 93919337390080 140733300443553 140733300443650 140733300443650 140733300449252 0
/proc/28237/statm: 1048 768 704 219 0 110 0
[pid=28242] ppid=28237 vsize=3752120 memory=2601820 CPUtime=3.03 cores=0,2
/proc/28242/stat : 28242 (python3) R 28237 28237 27054 0 -1 4194304 623811 0 0 0 207 96 0 0 20 0 1 0 36270588 3842170880 650455 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 938030 650455 7603 1 0 909388 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 3756312 KiB
Current children cumulated memory: 2604892 KiB

[startup+6.30042 s]
/proc/loadavg: 4.13 4.09 3.61 5/257 28242
/proc/meminfo: memFree=97129996/131382116 swapFree=33010684/33010684
[pid=28237] ppid=28234 vsize=4192 memory=3072 CPUtime=0.02 cores=0,2
/proc/28237/stat : 28237 (scip-naps-1.00.) S 28234 28237 27054 0 -1 4194304 255 334 0 0 0 0 0 2 20 0 1 0 36270583 4292608 768 18446744073709551615 93919312629760 93919313524293 140733300442224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93919313763344 93919313811088 93919337390080 140733300443553 140733300443650 140733300443650 140733300449252 0
/proc/28237/statm: 1048 768 704 219 0 110 0
[pid=28242] ppid=28237 vsize=4201404 memory=3031508 CPUtime=6.21 cores=0,2
/proc/28242/stat : 28242 (python3) R 28237 28237 27054 0 -1 4194304 740788 0 0 0 506 115 0 0 20 0 1 0 36270588 4302237696 757845 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 1050351 757877 7763 1 0 1021709 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 4205596 KiB
Current children cumulated memory: 3034580 KiB

[startup+12.7004 s]
/proc/loadavg: 4.11 4.08 3.62 5/258 28243
/proc/meminfo: memFree=94325180/131382116 swapFree=33010684/33010684
[pid=28237] ppid=28234 vsize=4192 memory=3072 CPUtime=0.02 cores=0,2
/proc/28237/stat : 28237 (scip-naps-1.00.) S 28234 28237 27054 0 -1 4194304 255 334 0 0 0 0 0 2 20 0 1 0 36270583 4292608 768 18446744073709551615 93919312629760 93919313524293 140733300442224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93919313763344 93919313811088 93919337390080 140733300443553 140733300443650 140733300443650 140733300449252 0
/proc/28237/statm: 1048 768 704 219 0 110 0
[pid=28242] ppid=28237 vsize=7885192 memory=6665852 CPUtime=12.59 cores=0,2
/proc/28242/stat : 28242 (python3) R 28237 28237 27054 0 -1 4194304 1530284 0 0 0 1019 240 0 0 20 0 1 0 36270588 8074436608 1666463 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 1971298 1666463 7827 1 0 1942656 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 7889384 KiB
Current children cumulated memory: 6668924 KiB

[startup+25.5005 s]
/proc/loadavg: 4.09 4.08 3.62 5/258 28243
/proc/meminfo: memFree=92373156/131382116 swapFree=33010684/33010684
[pid=28237] ppid=28234 vsize=4192 memory=3072 CPUtime=0.02 cores=0,2
/proc/28237/stat : 28237 (scip-naps-1.00.) S 28234 28237 27054 0 -1 4194304 255 334 0 0 0 0 0 2 20 0 1 0 36270583 4292608 768 18446744073709551615 93919312629760 93919313524293 140733300442224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93919313763344 93919313811088 93919337390080 140733300443553 140733300443650 140733300443650 140733300449252 0
/proc/28237/statm: 1048 768 704 219 0 110 0
[pid=28242] ppid=28237 vsize=8404040 memory=7180844 CPUtime=25.36 cores=0,2
/proc/28242/stat : 28242 (python3) R 28237 28237 27054 0 -1 4194304 1655911 0 0 0 2275 261 0 0 20 0 1 0 36270588 8605736960 1795211 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 2101010 1795211 7859 1 0 2072368 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 8408232 KiB
Current children cumulated memory: 7183916 KiB

[startup+51.1137 s]
/proc/loadavg: 4.12 4.09 3.64 5/258 28244
/proc/meminfo: memFree=89912152/131382116 swapFree=33010684/33010684
[pid=28237] ppid=28234 vsize=4192 memory=3072 CPUtime=0.02 cores=0,2
/proc/28237/stat : 28237 (scip-naps-1.00.) S 28234 28237 27054 0 -1 4194304 255 334 0 0 0 0 0 2 20 0 1 0 36270583 4292608 768 18446744073709551615 93919312629760 93919313524293 140733300442224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93919313763344 93919313811088 93919337390080 140733300443553 140733300443650 140733300443650 140733300449252 0
/proc/28237/statm: 1048 768 704 219 0 110 0
[pid=28242] ppid=28237 vsize=8767616 memory=7380696 CPUtime=50.89 cores=0,2
/proc/28242/stat : 28242 (python3) R 28237 28237 27054 0 -1 4194304 1681376 0 0 0 4823 266 0 0 20 0 1 0 36270588 8978038784 1845174 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 2191904 1845174 7859 1 0 2163262 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 8771808 KiB
Current children cumulated memory: 7383768 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 3.67 5/258 28245
/proc/meminfo: memFree=80872248/131382116 swapFree=33010684/33010684
[pid=28237] ppid=28234 vsize=4192 memory=3072 CPUtime=0.02 cores=0,2
/proc/28237/stat : 28237 (scip-naps-1.00.) S 28234 28237 27054 0 -1 4194304 255 334 0 0 0 0 0 2 20 0 1 0 36270583 4292608 768 18446744073709551615 93919312629760 93919313524293 140733300442224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93919313763344 93919313811088 93919337390080 140733300443553 140733300443650 140733300443650 140733300449252 0
/proc/28237/statm: 1048 768 704 219 0 110 0
[pid=28242] ppid=28237 vsize=13383192 memory=11817900 CPUtime=101.94 cores=0,2
/proc/28242/stat : 28242 (python3) R 28237 28237 27054 0 -1 4194304 2501381 0 0 0 9779 415 0 0 20 0 1 0 36270588 13704388608 2954475 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 3345798 2954475 7923 1 0 3317156 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 13387384 KiB
Current children cumulated memory: 11820972 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.10 3.70 5/258 28247
/proc/meminfo: memFree=73844052/131382116 swapFree=33010684/33010684
[pid=28237] ppid=28234 vsize=4192 memory=3072 CPUtime=0.02 cores=0,2
/proc/28237/stat : 28237 (scip-naps-1.00.) S 28234 28237 27054 0 -1 4194304 255 334 0 0 0 0 0 2 20 0 1 0 36270583 4292608 768 18446744073709551615 93919312629760 93919313524293 140733300442224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93919313763344 93919313811088 93919337390080 140733300443553 140733300443650 140733300443650 140733300449252 0
/proc/28237/statm: 1048 768 704 219 0 110 0
[pid=28242] ppid=28237 vsize=13383192 memory=11817900 CPUtime=161.78 cores=0,2
/proc/28242/stat : 28242 (python3) R 28237 28237 27054 0 -1 4194304 2501575 0 0 0 15760 418 0 0 20 0 1 0 36270588 13704388608 2954475 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 3345798 2954475 7923 1 0 3317156 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 13387384 KiB
Current children cumulated memory: 11820972 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.11 3.73 5/252 28288
/proc/meminfo: memFree=97363812/131382116 swapFree=33010684/33010684
[pid=28237] ppid=28234 vsize=4192 memory=3072 CPUtime=0.02 cores=0,2
/proc/28237/stat : 28237 (scip-naps-1.00.) S 28234 28237 27054 0 -1 4194304 255 334 0 0 0 0 0 2 20 0 1 0 36270583 4292608 768 18446744073709551615 93919312629760 93919313524293 140733300442224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93919313763344 93919313811088 93919337390080 140733300443553 140733300443650 140733300443650 140733300449252 0
/proc/28237/statm: 1048 768 704 219 0 110 0
[pid=28242] ppid=28237 vsize=13383192 memory=11817900 CPUtime=221.6 cores=0,2
/proc/28242/stat : 28242 (python3) R 28237 28237 27054 0 -1 4194304 2501575 0 0 0 21742 418 0 0 20 0 1 0 36270588 13704388608 2954475 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 3345798 2954475 7923 1 0 3317156 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 13387384 KiB

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

/proc/28237/stat : 28237 (scip-naps-1.00.) S 28234 28237 27054 0 -1 4194304 255 334 0 0 0 0 0 2 20 0 1 0 36270583 4292608 768 18446744073709551615 93919312629760 93919313524293 140733300442224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93919313763344 93919313811088 93919337390080 140733300443553 140733300443650 140733300443650 140733300449252 0
/proc/28237/statm: 1048 768 704 219 0 110 0
[pid=28242] ppid=28237 vsize=13383192 memory=11817900 CPUtime=460.92 cores=0,2
/proc/28242/stat : 28242 (python3) R 28237 28237 27054 0 -1 4194304 2501798 0 0 0 45668 424 0 0 20 0 1 0 36270588 13704388608 2954475 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 3345798 2954475 7923 1 0 3317156 0
Current children cumulated CPU time: 460.94 s
Current children cumulated vsize: 13387384 KiB
Current children cumulated memory: 11820972 KiB

[startup+522.3 s]
/proc/loadavg: 4.11 4.10 3.85 5/258 28314
/proc/meminfo: memFree=79320572/131382116 swapFree=33010684/33010684
[pid=28237] ppid=28234 vsize=4192 memory=3072 CPUtime=0.02 cores=0,2
/proc/28237/stat : 28237 (scip-naps-1.00.) S 28234 28237 27054 0 -1 4194304 255 334 0 0 0 0 0 2 20 0 1 0 36270583 4292608 768 18446744073709551615 93919312629760 93919313524293 140733300442224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93919313763344 93919313811088 93919337390080 140733300443553 140733300443650 140733300443650 140733300449252 0
/proc/28237/statm: 1048 768 704 219 0 110 0
[pid=28242] ppid=28237 vsize=16503572 memory=14335176 CPUtime=515.43 cores=0,2
/proc/28242/stat : 28242 (python3) S 28237 28237 27054 0 -1 4194304 2947339 0 0 0 50994 549 0 0 20 0 1 0 36270588 16899657728 3583794 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 4125893 3583794 8019 1 0 4097251 0
[pid=28314] ppid=28242 vsize=341896 memory=335736 CPUtime=5.3 cores=0,2
/proc/28314/stat : 28314 (naps-1.03a6) R 28242 28314 28314 0 -1 4194304 78515 0 0 0 489 41 0 0 20 0 1 0 36322278 350101504 83934 18446744073709551615 4198400 7047149 140728105486288 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37478400 140728105494929 140728105495027 140728105495027 140728105500617 0
/proc/28314/statm: 85474 83934 512 696 0 84635 0
Current children cumulated CPU time: 520.75 s
Current children cumulated vsize: 16849660 KiB
Current children cumulated memory: 14673984 KiB

[startup+582.3 s]
/proc/loadavg: 4.09 4.10 3.87 5/258 28316
/proc/meminfo: memFree=74104104/131382116 swapFree=33010684/33010684
[pid=28237] ppid=28234 vsize=4192 memory=3072 CPUtime=0.02 cores=0,2
/proc/28237/stat : 28237 (scip-naps-1.00.) S 28234 28237 27054 0 -1 4194304 255 334 0 0 0 0 0 2 20 0 1 0 36270583 4292608 768 18446744073709551615 93919312629760 93919313524293 140733300442224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93919313763344 93919313811088 93919337390080 140733300443553 140733300443650 140733300443650 140733300449252 0
/proc/28237/statm: 1048 768 704 219 0 110 0
[pid=28242] ppid=28237 vsize=16503572 memory=14335176 CPUtime=515.43 cores=0,2
/proc/28242/stat : 28242 (python3) S 28237 28237 27054 0 -1 4194304 2947339 0 0 0 50994 549 0 0 20 0 1 0 36270588 16899657728 3583794 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 4125893 3583794 8019 1 0 4097251 0
[pid=28314] ppid=28242 vsize=5789288 memory=5241840 CPUtime=65.15 cores=0,2
/proc/28314/stat : 28314 (naps-1.03a6) R 28242 28314 28314 0 -1 4194304 624419 0 0 0 6302 213 0 0 20 0 1 0 36322278 5928230912 1310460 18446744073709551615 4198400 7047149 140728105486288 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37478400 140728105494929 140728105495027 140728105495027 140728105500617 0
/proc/28314/statm: 1447322 1310460 544 696 0 1446483 0
Current children cumulated CPU time: 580.6 s
Current children cumulated vsize: 22297052 KiB
Current children cumulated memory: 19580088 KiB

[startup+642.3 s]
/proc/loadavg: 4.14 4.11 3.89 5/257 28320
/proc/meminfo: memFree=71168088/131382116 swapFree=33010684/33010684
[pid=28237] ppid=28234 vsize=4192 memory=3072 CPUtime=0.02 cores=0,2
/proc/28237/stat : 28237 (scip-naps-1.00.) S 28234 28237 27054 0 -1 4194304 255 334 0 0 0 0 0 2 20 0 1 0 36270583 4292608 768 18446744073709551615 93919312629760 93919313524293 140733300442224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93919313763344 93919313811088 93919337390080 140733300443553 140733300443650 140733300443650 140733300449252 0
/proc/28237/statm: 1048 768 704 219 0 110 0
[pid=28242] ppid=28237 vsize=16503572 memory=14335176 CPUtime=515.43 cores=0,2
/proc/28242/stat : 28242 (python3) S 28237 28237 27054 0 -1 4194304 2947339 0 0 0 50994 549 0 0 20 0 1 0 36270588 16899657728 3583794 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 4125893 3583794 8019 1 0 4097251 0
[pid=28314] ppid=28242 vsize=8748480 memory=7998900 CPUtime=125 cores=0,2
/proc/28314/stat : 28314 (naps-1.03a6) R 28242 28314 28314 0 -1 4194304 977879 0 0 0 12158 342 0 0 20 0 1 0 36322278 8958443520 1999725 18446744073709551615 4198400 7047149 140728105486288 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37478400 140728105494929 140728105495027 140728105495027 140728105500617 0
/proc/28314/statm: 2187120 1999725 544 696 0 2186281 0
Current children cumulated CPU time: 640.45 s
Current children cumulated vsize: 25256244 KiB
Current children cumulated memory: 22337148 KiB

[startup+702.3 s]
/proc/loadavg: 4.10 4.10 3.91 5/257 28322
/proc/meminfo: memFree=68513952/131382116 swapFree=33010684/33010684
[pid=28237] ppid=28234 vsize=4192 memory=3072 CPUtime=0.02 cores=0,2
/proc/28237/stat : 28237 (scip-naps-1.00.) S 28234 28237 27054 0 -1 4194304 255 334 0 0 0 0 0 2 20 0 1 0 36270583 4292608 768 18446744073709551615 93919312629760 93919313524293 140733300442224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93919313763344 93919313811088 93919337390080 140733300443553 140733300443650 140733300443650 140733300449252 0
/proc/28237/statm: 1048 768 704 219 0 110 0
[pid=28242] ppid=28237 vsize=16503572 memory=14335176 CPUtime=515.43 cores=0,2
/proc/28242/stat : 28242 (python3) S 28237 28237 27054 0 -1 4194304 2947339 0 0 0 50994 549 0 0 20 0 1 0 36270588 16899657728 3583794 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 4125893 3583794 8019 1 0 4097251 0
[pid=28314] ppid=28242 vsize=10918912 memory=10042796 CPUtime=184.85 cores=0,2
/proc/28314/stat : 28314 (naps-1.03a6) R 28242 28314 28314 0 -1 4194304 1323098 0 0 0 18064 421 0 0 20 0 1 0 36322278 11180965888 2510699 18446744073709551615 4198400 7047149 140728105486288 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37478400 140728105494929 140728105495027 140728105495027 140728105500617 0
/proc/28314/statm: 2729728 2510699 544 696 0 2728889 0
Current children cumulated CPU time: 700.3 s
Current children cumulated vsize: 27426676 KiB
Current children cumulated memory: 24381044 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+720.3 s]
/proc/loadavg: 4.08 4.10 3.91 5/257 28323
/proc/meminfo: memFree=65639244/131382116 swapFree=33010684/33010684
[pid=28237] ppid=28234 vsize=4192 memory=3072 CPUtime=0.02 cores=0,2
/proc/28237/stat : 28237 (scip-naps-1.00.) S 28234 28237 27054 0 -1 4194304 255 334 0 0 0 0 0 2 20 0 1 0 36270583 4292608 768 18446744073709551615 93919312629760 93919313524293 140733300442224 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93919313763344 93919313811088 93919337390080 140733300443553 140733300443650 140733300443650 140733300449252 0
/proc/28237/statm: 1048 768 704 219 0 110 0
[pid=28242] ppid=28237 vsize=16503572 memory=14335176 CPUtime=515.43 cores=0,2
/proc/28242/stat : 28242 (python3) S 28237 28237 27054 0 -1 4194304 2947339 0 0 0 50994 549 0 0 20 0 1 0 36270588 16899657728 3583794 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 4125893 3583794 8019 1 0 4097251 0
[pid=28314] ppid=28242 vsize=16649812 memory=10879788 CPUtime=202.8 cores=0,2
/proc/28314/stat : 28314 (naps-1.03a6) R 28242 28314 28314 0 -1 4194304 1407386 0 0 0 19833 447 0 0 20 0 1 0 36322278 17049407488 2719947 18446744073709551615 4198400 7047149 140728105486288 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37478400 140728105494929 140728105495027 140728105495027 140728105500617 0
/proc/28314/statm: 4162453 2719947 544 696 0 4161614 0
Current children cumulated CPU time: 718.25 s
Current children cumulated vsize: 33157576 KiB
Current children cumulated memory: 25218036 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

# cumulated CPU time of all completed processes:  user=709.664 s, system=11.0189 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+721.6 s]
/proc/loadavg: 4.08 4.10 3.91 5/255 28323
/proc/meminfo: memFree=75984556/131382116 swapFree=33010684/33010684
[pid=28242] ppid=28234 vsize=16476852 memory=14281164 CPUtime=719.52 cores=0,2
/proc/28242/stat : 28242 (python3) R 28234 28237 27054 0 -1 4194304 3282129 1407389 0 0 51067 585 19833 467 20 0 1 0 36270588 16872296448 3570291 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 4119213 3570291 8019 1 0 4090571 0
Current cumulated CPU time of completed processes: 0.034833 s
Current children cumulated CPU time: 719.52 s
Current children cumulated vsize: 16476852 KiB
Current children cumulated memory: 14281164 KiB

[startup+722 s]*
/proc/loadavg: 4.15 4.11 3.91 5/255 28323
/proc/meminfo: memFree=75963148/131382116 swapFree=33010684/33010684
[pid=28242] ppid=28234 vsize=16476852 memory=14281164 CPUtime=719.94 cores=0,2
/proc/28242/stat : 28242 (python3) R 28234 28237 27054 0 -1 4194304 3346008 1407389 0 0 51105 589 19833 467 20 0 1 0 36270588 16872296448 3570291 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 4119213 3570291 8019 1 0 4090571 0
Current cumulated CPU time of completed processes: 0.034833 s
Current children cumulated CPU time: 719.94 s
Current children cumulated vsize: 16476852 KiB
Current children cumulated memory: 14281164 KiB

[startup+722.2 s]
/proc/loadavg: 4.15 4.11 3.91 5/255 28323
/proc/meminfo: memFree=75963148/131382116 swapFree=33010684/33010684
[pid=28242] ppid=28234 vsize=16476852 memory=14281164 CPUtime=720.12 cores=0,2
/proc/28242/stat : 28242 (python3) R 28234 28237 27054 0 -1 4194304 3373206 1407389 0 0 51122 590 19833 467 20 0 1 0 36270588 16872296448 3570291 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 4119213 3570291 8019 1 0 4090571 0
Current cumulated CPU time of completed processes: 0.034833 s
Current children cumulated CPU time: 720.12 s
Current children cumulated vsize: 16476852 KiB
Current children cumulated memory: 14281164 KiB

[startup+722.3 s]
/proc/loadavg: 4.15 4.11 3.91 5/255 28323
/proc/meminfo: memFree=75963148/131382116 swapFree=33010684/33010684
[pid=28242] ppid=28234 vsize=16476852 memory=14281164 CPUtime=720.22 cores=0,2
/proc/28242/stat : 28242 (python3) R 28234 28237 27054 0 -1 4194304 3388058 1407389 0 0 51131 591 19833 467 20 0 1 0 36270588 16872296448 3570291 18446744073709551615 94041862356992 94041862357369 140733830719856 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94041862368664 94041862369284 94041864871936 140733830728024 140733830728226 140733830728226 140733830733799 0
/proc/28242/statm: 4119213 3570291 8019 1 0 4090571 0
Current cumulated CPU time of completed processes: 0.034833 s
Current children cumulated CPU time: 720.22 s
Current children cumulated vsize: 16476852 KiB
Current children cumulated memory: 14281164 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 722.707
CPU time (s): 720.683
CPU user time (s): 709.664
CPU system time (s): 11.0189
CPU usage (%): 99.7199
Max. virtual memory (cumulated for all children) (KiB): 33157576
Max. memory (cumulated for all children) (KiB): 25218036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 709.664
system time used= 11.0189
maximum resident set size= 14335176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4796066
page faults= 0
swaps= 0
block input operations= 0
block output operations= 271624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 356
involuntary context switches= 1691


# summary of solver processes directly reported to runsolver:
#   pid: 28237,28242
#   total CPU time (s): 720.683
#   total CPU user time (s): 709.664
#   total CPU system time (s): 11.0189

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.25388 second user time and 7.29126 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-06-29 16:05:14
IDJOB=4512069
IDBENCH=160491
IDSOLVER=3368
FILE ID=nodeC004/4512069-1751205913
RUNJOBID= nodeC004-1751204746-27064
SLURM_JOB_ID= 9587619
Free space on /tmp= 432596 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm100p-dec.opb.negationfix.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512069-1751205913/watcher-4512069-1751205913 -o /tmp/evaluation-result-4512069-1751205913/solver-4512069-1751205913 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751204746-27064 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4512069-1751205913.opb

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

MD5SUM BENCH= 87dcb6b5c21e845aafa503750cb7c14f
RANDOM SEED=934349116

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        100940592 kB
MemAvailable:   102926896 kB
Buffers:            3280 kB
Cached:          2789952 kB
SwapCached:            0 kB
Active:         27321828 kB
Inactive:        2491744 kB
Active(anon):   27038316 kB
Inactive(anon):        0 kB
Active(file):     283512 kB
Inactive(file):  2491744 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            268116 kB
Writeback:             0 kB
AnonPages:      27012304 kB
Mapped:           129148 kB
Shmem:             17976 kB
KReclaimable:     101348 kB
Slab:             184208 kB
SReclaimable:     101348 kB
SUnreclaim:        82860 kB
KernelStack:        4160 kB
PageTables:        56736 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   32149128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149512 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8716288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432580 MiB
End job on nodeC004 at 2025-06-29 16:17:17