Trace number 4512105

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) 723.391 725.441

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb
MD5SUM0020647681361a6ff6bc771888680f52
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark12.925
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2723840
Total number of constraints11664
Number of constraints which are clauses5319
Number of constraints which are cardinality constraints (but not clauses)5319
Number of constraints which are nor clauses,nor cardinality constraints1026
Minimum length of a constraint512
Maximum length of a constraint5319
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 1971071
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 4438491
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 

516.09/517.63	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4512105-1751206136.opb
516.09/517.63	c Solving mode: decision
516.09/517.63	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
516.09/517.63	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
516.09/517.63	c original problem has 2723840 variables (2723840 bin, 0 int, 0 impl, 0 cont) and 11664 constraints
516.09/517.63	c presolving:
516.09/517.63	c (round 1, fast)       3845 del vars, 2 del conss, 0 add conss, 3333 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 864102 clqs
516.09/517.63	c (round 2, exhaustive) 3845 del vars, 5321 del conss, 0 add conss, 3333 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 864102 clqs
516.09/517.63	c (round 3, exhaustive) 3845 del vars, 5321 del conss, 0 add conss, 3333 chg bounds, 0 chg sides, 0 chg coeffs, 6343 upgd conss, 0 impls, 864199 clqs
516.09/517.63	c    (466.0s) probing: 1000/2719483 (0.0%) - 0 fixings, 0 aggregations, 510525 implications, 0 bound changes
516.09/517.63	c    (466.4s) probing: 1001/2719483 (0.0%) - 0 fixings, 0 aggregations, 511036 implications, 0 bound changes
516.09/517.63	c    (466.4s) probing aborted: 1000/1000 successive useless probings
516.09/517.63	c    (469.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
516.09/517.63	c symmetry computation terminated early, because number of cells 100416 in Nauty exceeds limit of 100000
516.09/517.63	c for running full symmetry detection, increase value of parameter propagating/symmetry/nautymaxncells
516.09/517.63	c    (476.2s) symmetry computation finished: 19 generators found (max: 23, log10 of symmetry group size: 0.0) (symcode time: 4.68)
516.09/517.63	c dynamic symmetry handling statistics:
516.09/517.63	c    orbitopal reduction:       no components
516.09/517.63	c    orbital reduction:          1 components of sizes 19
516.09/517.63	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
516.09/517.63	c handled 1 out of 1 symmetry components
516.09/517.63	c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
516.09/517.63	c  4357 deleted vars, 5322 deleted constraints, 0 added constraints, 3333 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
516.09/517.63	c  0 implications, 864235 cliques
516.09/517.63	c presolved problem has 2719483 variables (2719483 bin, 0 int, 0 impl, 0 cont) and 6342 constraints
516.09/517.63	c    1024 constraints of type <knapsack>
516.09/517.63	c    5318 constraints of type <setppc>
516.09/517.63	c transformed objective value is always integral (scale: 1)
516.09/517.63	c Presolving Time: 473.27
516.09/517.63	c 
516.09/517.63	c 
516.09/517.63	c SCIP Status        : solving was interrupted [time limit reached]
516.09/517.63	c Solving Time (sec) : 500.58
516.09/517.63	c Solving Nodes      : 1
516.09/517.63	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
516.09/517.63	c Dual Bound         : +0.00000000000000e+00
516.09/517.63	c Gap                : infinite
516.09/517.63	c ----------------------------------------------------------------------
516.09/517.63	c dual bound: 0.0 -> 0
516.09/517.63	c primal bound: 1e+20 -> 100000000000000000000
516.09/517.63	c scip-goal-lb: 0
516.09/517.63	c scip-goal-ub: 100000000000000000000
516.09/517.63	c writing output to: HOME/tmp5ccxs64b.opb
516.09/517.63	c appending fixed variable constraints
516.09/517.63	c scip-fixed vars: 0.16% (4357/2719483)
516.09/517.63	c ----------------------------------------------------------------------
516.09/517.63	c executing external solver: HOME/naps-1.03a6
516.09/517.63	c ----------------------------------------------------------------------
516.09/517.63	c command: HOME/naps-1.03a6 HOME/tmp5ccxs64b.opb
516.23/518.01	c NaPS 1.03a6.
516.23/518.01	c Input file name: HOME/tmp5ccxs64b.opb
720.64/722.70	c
720.64/722.70	c *** TERMINATED *** by signal 15
720.64/722.70	c _____________________________________________________________________________
720.64/722.70	c std/band forms        : 77,0
720.64/722.70	c 2cl/3cl ITE-codings   : 0,0
720.64/722.70	c BDD/srt/adr Max costs : 507925,2282272,0
720.64/722.70	c BDDraw/bin/mul/srt/adr: 2,0,0,75,0
720.64/722.70	c BDD nodes             : 513721
720.64/722.70	c Es1/CC detections     : 0,0
720.64/722.70	c CC sort               : 0
720.64/722.70	c SAT/UNSAT calls       : 0,0
720.64/722.70	c regenrated variables  : 0
720.64/722.70	c eliminated fixed lits : 14278
720.64/722.70	c goal lit flips        : 0
720.64/722.70	c goal stages           : 0
720.64/722.70	c goal shrink           : 0
720.64/722.70	c goal coeff separations: 0
720.64/722.70	c restarts              : 0
720.64/722.70	c conflicts             : 0              (0 /sec)
720.64/722.70	c decisions             : 0              (0 /sec)
720.64/722.70	c propagations          : 0              (0 /sec)
720.64/722.70	c inspects              : 0              (0 /sec)
720.64/722.70	c CPU time (solving tm) : 200.1 s        (0 s, SAT 0 s, UNSAT 0 s)
720.64/722.70	c Time for Opt-base     : 44.93 s
720.64/722.70	c Steps for Opt-base    : 253355510
720.64/722.70	c Time for BDD coding   : 2.051 s
720.64/722.70	c Time for srt coding   : 121.4 s
720.64/722.70	c _____________________________________________________________________________
516.25/722.90	c received SIGTERM, forwarding to pbsolver...
516.25/722.90	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 (51252 MiB free)
  memory of node 1: 64465 MiB (43685 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10006 s]*
/proc/loadavg: 4.13 4.11 3.73 5/256 28302
/proc/meminfo: memFree=97211936/131382116 swapFree=33010684/33010684
[pid=28297] ppid=28294 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/28297/stat : 28297 (scip-naps-1.00.) S 28294 28297 27054 0 -1 4194304 256 342 0 0 0 0 0 1 20 0 1 0 36293000 4292608 736 18446744073709551615 94396657278976 94396658173509 140721217373216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396658412560 94396658460304 94396686200832 140721217378721 140721217378818 140721217378818 140721217384420 0
/proc/28297/statm: 1048 736 672 219 0 110 0
[pid=28302] ppid=28297 vsize=60312 memory=22144 CPUtime=0.04 cores=1,3
/proc/28302/stat : 28302 (python3) R 28297 28297 27054 0 -1 4194304 2699 0 0 0 3 1 0 0 20 0 1 0 36293004 61759488 5536 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 15078 5536 3296 1 0 3794 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 64504 KiB
Current children cumulated memory: 25088 KiB

[startup+0.205704 s]*
/proc/loadavg: 4.13 4.11 3.73 6/256 28302
/proc/meminfo: memFree=97177916/131382116 swapFree=33010684/33010684
[pid=28297] ppid=28294 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/28297/stat : 28297 (scip-naps-1.00.) S 28294 28297 27054 0 -1 4194304 256 342 0 0 0 0 0 1 20 0 1 0 36293000 4292608 736 18446744073709551615 94396657278976 94396658173509 140721217373216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396658412560 94396658460304 94396686200832 140721217378721 140721217378818 140721217378818 140721217384420 0
/proc/28297/statm: 1048 736 672 219 0 110 0
[pid=28302] ppid=28297 vsize=1221352 memory=72912 CPUtime=0.14 cores=1,3
/proc/28302/stat : 28302 (python3) R 28297 28297 27054 0 -1 4194304 11496 0 0 0 12 2 0 0 20 0 1 0 36293004 1250664448 18228 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 305338 18228 7604 1 0 276696 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 1225544 KiB
Current children cumulated memory: 75856 KiB

[startup+0.305701 s]*
/proc/loadavg: 4.13 4.11 3.73 6/256 28302
/proc/meminfo: memFree=97177916/131382116 swapFree=33010684/33010684
[pid=28297] ppid=28294 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/28297/stat : 28297 (scip-naps-1.00.) S 28294 28297 27054 0 -1 4194304 256 342 0 0 0 0 0 1 20 0 1 0 36293000 4292608 736 18446744073709551615 94396657278976 94396658173509 140721217373216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396658412560 94396658460304 94396686200832 140721217378721 140721217378818 140721217378818 140721217384420 0
/proc/28297/statm: 1048 736 672 219 0 110 0
[pid=28302] ppid=28297 vsize=1266436 memory=116304 CPUtime=0.24 cores=1,3
/proc/28302/stat : 28302 (python3) R 28297 28297 27054 0 -1 4194304 22367 0 0 0 19 5 0 0 20 0 1 0 36293004 1296830464 29076 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 316609 29076 7604 1 0 287967 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1270628 KiB
Current children cumulated memory: 119248 KiB

[startup+0.700213 s]
/proc/loadavg: 4.13 4.11 3.73 6/256 28302
/proc/meminfo: memFree=97129784/131382116 swapFree=33010684/33010684
[pid=28297] ppid=28294 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/28297/stat : 28297 (scip-naps-1.00.) S 28294 28297 27054 0 -1 4194304 256 342 0 0 0 0 0 1 20 0 1 0 36293000 4292608 736 18446744073709551615 94396657278976 94396658173509 140721217373216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396658412560 94396658460304 94396686200832 140721217378721 140721217378818 140721217378818 140721217384420 0
/proc/28297/statm: 1048 736 672 219 0 110 0
[pid=28302] ppid=28297 vsize=1424780 memory=274004 CPUtime=0.62 cores=1,3
/proc/28302/stat : 28302 (python3) R 28297 28297 27054 0 -1 4194304 61256 0 0 0 46 16 0 0 20 0 1 0 36293004 1458974720 68501 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 356195 68501 7604 1 0 327553 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 1428972 KiB
Current children cumulated memory: 276948 KiB

[startup+1.5004 s]
/proc/loadavg: 4.13 4.11 3.73 5/256 28302
/proc/meminfo: memFree=96876712/131382116 swapFree=33010684/33010684
[pid=28297] ppid=28294 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/28297/stat : 28297 (scip-naps-1.00.) S 28294 28297 27054 0 -1 4194304 256 342 0 0 0 0 0 1 20 0 1 0 36293000 4292608 736 18446744073709551615 94396657278976 94396658173509 140721217373216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396658412560 94396658460304 94396686200832 140721217378721 140721217378818 140721217378818 140721217384420 0
/proc/28297/statm: 1048 736 672 219 0 110 0
[pid=28302] ppid=28297 vsize=1904520 memory=754764 CPUtime=1.42 cores=1,3
/proc/28302/stat : 28302 (python3) R 28297 28297 27054 0 -1 4194304 179415 0 0 0 105 37 0 0 20 0 1 0 36293004 1950228480 188691 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 476130 188691 7604 1 0 447488 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 1908712 KiB
Current children cumulated memory: 757708 KiB

[startup+3.11363 s]
/proc/loadavg: 4.12 4.11 3.73 5/256 28302
/proc/meminfo: memFree=95372440/131382116 swapFree=33010684/33010684
[pid=28297] ppid=28294 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/28297/stat : 28297 (scip-naps-1.00.) S 28294 28297 27054 0 -1 4194304 256 342 0 0 0 0 0 1 20 0 1 0 36293000 4292608 736 18446744073709551615 94396657278976 94396658173509 140721217373216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396658412560 94396658460304 94396686200832 140721217378721 140721217378818 140721217378818 140721217384420 0
/proc/28297/statm: 1048 736 672 219 0 110 0
[pid=28302] ppid=28297 vsize=3187632 memory=2034956 CPUtime=3.03 cores=1,3
/proc/28302/stat : 28302 (python3) R 28297 28297 27054 0 -1 4194304 482615 0 0 0 217 86 0 0 20 0 1 0 36293004 3264135168 508739 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 796908 508739 7604 1 0 768266 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 3191824 KiB
Current children cumulated memory: 2037900 KiB

[startup+6.30038 s]
/proc/loadavg: 4.12 4.11 3.73 5/256 28302
/proc/meminfo: memFree=94602260/131382116 swapFree=33010684/33010684
[pid=28297] ppid=28294 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/28297/stat : 28297 (scip-naps-1.00.) S 28294 28297 27054 0 -1 4194304 256 342 0 0 0 0 0 1 20 0 1 0 36293000 4292608 736 18446744073709551615 94396657278976 94396658173509 140721217373216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396658412560 94396658460304 94396686200832 140721217378721 140721217378818 140721217378818 140721217384420 0
/proc/28297/statm: 1048 736 672 219 0 110 0
[pid=28302] ppid=28297 vsize=3850560 memory=2699572 CPUtime=6.21 cores=1,3
/proc/28302/stat : 28302 (python3) R 28297 28297 27054 0 -1 4194304 648289 0 0 0 508 113 0 0 20 0 1 0 36293004 3942973440 674893 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 962640 674893 7604 1 0 933998 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 3854752 KiB
Current children cumulated memory: 2702516 KiB

[startup+12.7004 s]
/proc/loadavg: 4.11 4.11 3.74 5/256 28303
/proc/meminfo: memFree=91047052/131382116 swapFree=33010684/33010684
[pid=28297] ppid=28294 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/28297/stat : 28297 (scip-naps-1.00.) S 28294 28297 27054 0 -1 4194304 256 342 0 0 0 0 0 1 20 0 1 0 36293000 4292608 736 18446744073709551615 94396657278976 94396658173509 140721217373216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396658412560 94396658460304 94396686200832 140721217378721 140721217378818 140721217378818 140721217384420 0
/proc/28297/statm: 1048 736 672 219 0 110 0
[pid=28302] ppid=28297 vsize=7778600 memory=6558224 CPUtime=12.59 cores=1,3
/proc/28302/stat : 28302 (python3) R 28297 28297 27054 0 -1 4194304 1503921 0 0 0 1012 247 0 0 20 0 1 0 36293004 7965286400 1639556 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 1944650 1639556 7828 1 0 1916008 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 7782792 KiB
Current children cumulated memory: 6561168 KiB

[startup+25.5004 s]
/proc/loadavg: 4.17 4.12 3.75 5/256 28303
/proc/meminfo: memFree=89989004/131382116 swapFree=33010684/33010684
[pid=28297] ppid=28294 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/28297/stat : 28297 (scip-naps-1.00.) S 28294 28297 27054 0 -1 4194304 256 342 0 0 0 0 0 1 20 0 1 0 36293000 4292608 736 18446744073709551615 94396657278976 94396658173509 140721217373216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396658412560 94396658460304 94396686200832 140721217378721 140721217378818 140721217378818 140721217384420 0
/proc/28297/statm: 1048 736 672 219 0 110 0
[pid=28302] ppid=28297 vsize=8343272 memory=7119008 CPUtime=25.36 cores=1,3
/proc/28302/stat : 28302 (python3) R 28297 28297 27054 0 -1 4194304 1639464 0 0 0 2270 266 0 0 20 0 1 0 36293004 8543510528 1779752 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 2085818 1779752 7892 1 0 2057176 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 8347464 KiB
Current children cumulated memory: 7121952 KiB

[startup+51.1136 s]
/proc/loadavg: 4.11 4.11 3.75 5/256 28303
/proc/meminfo: memFree=89392672/131382116 swapFree=33010684/33010684
[pid=28297] ppid=28294 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/28297/stat : 28297 (scip-naps-1.00.) S 28294 28297 27054 0 -1 4194304 256 342 0 0 0 0 0 1 20 0 1 0 36293000 4292608 736 18446744073709551615 94396657278976 94396658173509 140721217373216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396658412560 94396658460304 94396686200832 140721217378721 140721217378818 140721217378818 140721217384420 0
/proc/28297/statm: 1048 736 672 219 0 110 0
[pid=28302] ppid=28297 vsize=8617632 memory=7230076 CPUtime=50.89 cores=1,3
/proc/28302/stat : 28302 (python3) R 28297 28297 27054 0 -1 4194304 1647322 0 0 0 4820 269 0 0 20 0 1 0 36293004 8824455168 1807519 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 2154408 1807519 7892 1 0 2125766 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 8621824 KiB
Current children cumulated memory: 7233020 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.12 3.78 5/256 28305
/proc/meminfo: memFree=83687000/131382116 swapFree=33010684/33010684
[pid=28297] ppid=28294 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/28297/stat : 28297 (scip-naps-1.00.) S 28294 28297 27054 0 -1 4194304 256 342 0 0 0 0 0 1 20 0 1 0 36293000 4292608 736 18446744073709551615 94396657278976 94396658173509 140721217373216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396658412560 94396658460304 94396686200832 140721217378721 140721217378818 140721217378818 140721217384420 0
/proc/28297/statm: 1048 736 672 219 0 110 0
[pid=28302] ppid=28297 vsize=13076052 memory=11588220 CPUtime=101.95 cores=1,3
/proc/28302/stat : 28302 (python3) R 28297 28297 27054 0 -1 4194304 2446748 0 0 0 9787 408 0 0 20 0 1 0 36293004 13389877248 2897055 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 3269013 2897055 7924 1 0 3240371 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 13080244 KiB
Current children cumulated memory: 11591164 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.13 3.81 5/256 28308
/proc/meminfo: memFree=83293596/131382116 swapFree=33010684/33010684
[pid=28297] ppid=28294 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/28297/stat : 28297 (scip-naps-1.00.) S 28294 28297 27054 0 -1 4194304 256 342 0 0 0 0 0 1 20 0 1 0 36293000 4292608 736 18446744073709551615 94396657278976 94396658173509 140721217373216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396658412560 94396658460304 94396686200832 140721217378721 140721217378818 140721217378818 140721217384420 0
/proc/28297/statm: 1048 736 672 219 0 110 0
[pid=28302] ppid=28297 vsize=13076052 memory=11588220 CPUtime=161.78 cores=1,3
/proc/28302/stat : 28302 (python3) R 28297 28297 27054 0 -1 4194304 2446825 0 0 0 15767 411 0 0 20 0 1 0 36293004 13389877248 2897055 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 3269013 2897055 7924 1 0 3240371 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 13080244 KiB
Current children cumulated memory: 11591164 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.10 3.82 5/256 28310
/proc/meminfo: memFree=82900524/131382116 swapFree=33010684/33010684
[pid=28297] ppid=28294 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/28297/stat : 28297 (scip-naps-1.00.) S 28294 28297 27054 0 -1 4194304 256 342 0 0 0 0 0 1 20 0 1 0 36293000 4292608 736 18446744073709551615 94396657278976 94396658173509 140721217373216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396658412560 94396658460304 94396686200832 140721217378721 140721217378818 140721217378818 140721217384420 0
/proc/28297/statm: 1048 736 672 219 0 110 0
[pid=28302] ppid=28297 vsize=13076052 memory=11588348 CPUtime=221.61 cores=1,3
/proc/28302/stat : 28302 (python3) R 28297 28297 27054 0 -1 4194304 2446970 0 0 0 21747 414 0 0 20 0 1 0 36293004 13389877248 2897087 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 3269013 2897087 7924 1 0 3240371 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 13080244 KiB

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

/proc/meminfo: memFree=88326456/131382116 swapFree=33010684/33010684
[pid=28297] ppid=28294 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/28297/stat : 28297 (scip-naps-1.00.) S 28294 28297 27054 0 -1 4194304 256 342 0 0 0 0 0 1 20 0 1 0 36293000 4292608 736 18446744073709551615 94396657278976 94396658173509 140721217373216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396658412560 94396658460304 94396686200832 140721217378721 140721217378818 140721217378818 140721217384420 0
/proc/28297/statm: 1048 736 672 219 0 110 0
[pid=28302] ppid=28297 vsize=17882596 memory=15799012 CPUtime=516.22 cores=1,3
/proc/28302/stat : 28302 (python3) S 28297 28297 27054 0 -1 4194304 3113954 0 0 0 50994 628 0 0 20 0 1 0 36293004 18311778304 3949753 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 4470649 3949753 8116 1 0 4442007 0
[pid=28374] ppid=28302 vsize=410320 memory=403300 CPUtime=4.53 cores=1,3
/proc/28374/stat : 28374 (naps-1.03a6) R 28302 28374 28374 0 -1 4194304 87883 0 0 0 411 42 0 0 20 0 1 0 36344774 420167680 100825 18446744073709551615 4198400 7047149 140723060368992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30257152 140723060378001 140723060378099 140723060378099 140723060383689 0
/proc/28374/statm: 102580 100825 512 696 0 101741 0
Current children cumulated CPU time: 520.76 s
Current children cumulated vsize: 18297108 KiB
Current children cumulated memory: 16205256 KiB

[startup+582.3 s]
/proc/loadavg: 4.14 4.11 3.93 5/259 28383
/proc/meminfo: memFree=83239136/131382116 swapFree=33010684/33010684
[pid=28297] ppid=28294 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/28297/stat : 28297 (scip-naps-1.00.) S 28294 28297 27054 0 -1 4194304 256 342 0 0 0 0 0 1 20 0 1 0 36293000 4292608 736 18446744073709551615 94396657278976 94396658173509 140721217373216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396658412560 94396658460304 94396686200832 140721217378721 140721217378818 140721217378818 140721217384420 0
/proc/28297/statm: 1048 736 672 219 0 110 0
[pid=28302] ppid=28297 vsize=17882596 memory=15799012 CPUtime=516.22 cores=1,3
/proc/28302/stat : 28302 (python3) S 28297 28297 27054 0 -1 4194304 3113954 0 0 0 50994 628 0 0 20 0 1 0 36293004 18311778304 3949753 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 4470649 3949753 8116 1 0 4442007 0
[pid=28374] ppid=28302 vsize=5770652 memory=5231468 CPUtime=64.38 cores=1,3
/proc/28374/stat : 28374 (naps-1.03a6) R 28302 28374 28374 0 -1 4194304 629566 0 0 0 6228 210 0 0 20 0 1 0 36344774 5909147648 1307867 18446744073709551615 4198400 7047149 140723060368992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30257152 140723060378001 140723060378099 140723060378099 140723060383689 0
/proc/28374/statm: 1442663 1307867 544 696 0 1441824 0
Current children cumulated CPU time: 580.61 s
Current children cumulated vsize: 23657440 KiB
Current children cumulated memory: 21033424 KiB

[startup+642.3 s]
/proc/loadavg: 4.08 4.10 3.94 5/259 28385
/proc/meminfo: memFree=80247424/131382116 swapFree=33010684/33010684
[pid=28297] ppid=28294 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/28297/stat : 28297 (scip-naps-1.00.) S 28294 28297 27054 0 -1 4194304 256 342 0 0 0 0 0 1 20 0 1 0 36293000 4292608 736 18446744073709551615 94396657278976 94396658173509 140721217373216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396658412560 94396658460304 94396686200832 140721217378721 140721217378818 140721217378818 140721217384420 0
/proc/28297/statm: 1048 736 672 219 0 110 0
[pid=28302] ppid=28297 vsize=17882596 memory=15799012 CPUtime=516.22 cores=1,3
/proc/28302/stat : 28302 (python3) S 28297 28297 27054 0 -1 4194304 3113954 0 0 0 50994 628 0 0 20 0 1 0 36293004 18311778304 3949753 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 4470649 3949753 8116 1 0 4442007 0
[pid=28374] ppid=28302 vsize=8659452 memory=7882688 CPUtime=124.22 cores=1,3
/proc/28374/stat : 28374 (naps-1.03a6) R 28302 28374 28374 0 -1 4194304 965253 0 0 0 12091 331 0 0 20 0 1 0 36344774 8867278848 1970672 18446744073709551615 4198400 7047149 140723060368992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30257152 140723060378001 140723060378099 140723060378099 140723060383689 0
/proc/28374/statm: 2164863 1970672 544 696 0 2164024 0
Current children cumulated CPU time: 640.45 s
Current children cumulated vsize: 26546240 KiB
Current children cumulated memory: 23684644 KiB

[startup+702.3 s]
/proc/loadavg: 4.12 4.11 3.96 5/258 28435
/proc/meminfo: memFree=101760976/131382116 swapFree=33010684/33010684
[pid=28297] ppid=28294 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/28297/stat : 28297 (scip-naps-1.00.) S 28294 28297 27054 0 -1 4194304 256 342 0 0 0 0 0 1 20 0 1 0 36293000 4292608 736 18446744073709551615 94396657278976 94396658173509 140721217373216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396658412560 94396658460304 94396686200832 140721217378721 140721217378818 140721217378818 140721217384420 0
/proc/28297/statm: 1048 736 672 219 0 110 0
[pid=28302] ppid=28297 vsize=17882596 memory=15799012 CPUtime=516.22 cores=1,3
/proc/28302/stat : 28302 (python3) S 28297 28297 27054 0 -1 4194304 3113954 0 0 0 50994 628 0 0 20 0 1 0 36293004 18311778304 3949753 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 4470649 3949753 8116 1 0 4442007 0
[pid=28374] ppid=28302 vsize=10836004 memory=9936932 CPUtime=184.07 cores=1,3
/proc/28374/stat : 28374 (naps-1.03a6) R 28302 28374 28374 0 -1 4194304 1312787 0 0 0 17998 409 0 0 20 0 1 0 36344774 11096068096 2484233 18446744073709551615 4198400 7047149 140723060368992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30257152 140723060378001 140723060378099 140723060378099 140723060383689 0
/proc/28374/statm: 2709001 2484233 544 696 0 2708162 0
Current children cumulated CPU time: 700.3 s
Current children cumulated vsize: 28722792 KiB
Current children cumulated memory: 25738888 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+722.7 s]
/proc/loadavg: 4.16 4.12 3.97 5/258 28435
/proc/meminfo: memFree=101183724/131382116 swapFree=33010684/33010684
[pid=28297] ppid=28294 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/28297/stat : 28297 (scip-naps-1.00.) S 28294 28297 27054 0 -1 4194304 256 342 0 0 0 0 0 1 20 0 1 0 36293000 4292608 736 18446744073709551615 94396657278976 94396658173509 140721217373216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396658412560 94396658460304 94396686200832 140721217378721 140721217378818 140721217378818 140721217384420 0
/proc/28297/statm: 1048 736 672 219 0 110 0
[pid=28302] ppid=28297 vsize=17882596 memory=15799012 CPUtime=516.22 cores=1,3
/proc/28302/stat : 28302 (python3) S 28297 28297 27054 0 -1 4194304 3113954 0 0 0 50994 628 0 0 20 0 1 0 36293004 18311778304 3949753 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 4470649 3949753 8116 1 0 4442007 0
[pid=28374] ppid=28302 vsize=16631296 memory=10552572 CPUtime=204.41 cores=1,3
/proc/28374/stat : 28374 (naps-1.03a6) R 28302 28374 28374 0 -1 4194304 1412559 0 0 0 20008 433 0 0 20 0 1 0 36344774 17030447104 2638143 18446744073709551615 4198400 7047149 140723060368992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30257152 140723060378001 140723060378099 140723060378099 140723060383689 0
/proc/28374/statm: 4157824 2638143 544 696 0 4156985 0
Current children cumulated CPU time: 720.64 s
Current children cumulated vsize: 34518084 KiB
Current children cumulated memory: 26354528 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

# cumulated CPU time of all completed processes:  user=711.386 s, system=12.0043 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+723.2 s]
/proc/loadavg: 4.15 4.12 3.97 5/256 28435
/proc/meminfo: memFree=111580652/131382116 swapFree=33010684/33010684
[pid=28302] ppid=28294 vsize=17882596 memory=15799012 CPUtime=721.11 cores=1,3
/proc/28302/stat : 28302 (python3) R 28294 28297 27054 0 -1 4194304 3226150 1412561 0 0 51008 641 20008 454 20 0 1 0 36293004 18311778304 3949753 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 4470649 3949753 8116 1 0 4442007 0
Current cumulated CPU time of completed processes: 0.032044 s
Current children cumulated CPU time: 721.11 s
Current children cumulated vsize: 17882596 KiB
Current children cumulated memory: 15799012 KiB

[startup+724 s]*
/proc/loadavg: 4.15 4.12 3.97 5/256 28436
/proc/meminfo: memFree=111627832/131382116 swapFree=33010684/33010684
[pid=28302] ppid=28294 vsize=17882596 memory=15799012 CPUtime=721.91 cores=1,3
/proc/28302/stat : 28302 (python3) R 28294 28297 27054 0 -1 4194304 3423726 1412561 0 0 51064 665 20008 454 20 0 1 0 36293004 18311778304 3949753 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 4470649 3949753 8116 1 0 4442007 0
Current cumulated CPU time of completed processes: 0.032044 s
Current children cumulated CPU time: 721.91 s
Current children cumulated vsize: 17882596 KiB
Current children cumulated memory: 15799012 KiB

[startup+724.4 s]
/proc/loadavg: 4.15 4.12 3.97 5/256 28436
/proc/meminfo: memFree=111627832/131382116 swapFree=33010684/33010684
[pid=28302] ppid=28294 vsize=17882596 memory=15799012 CPUtime=722.3 cores=1,3
/proc/28302/stat : 28302 (python3) R 28294 28297 27054 0 -1 4194304 3427005 1412561 0 0 51102 666 20008 454 20 0 1 0 36293004 18311778304 3949753 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 4470649 3949753 8116 1 0 4442007 0
Current cumulated CPU time of completed processes: 0.032044 s
Current children cumulated CPU time: 722.3 s
Current children cumulated vsize: 17882596 KiB
Current children cumulated memory: 15799012 KiB

[startup+724.6 s]
/proc/loadavg: 4.15 4.12 3.97 5/256 28436
/proc/meminfo: memFree=111627832/131382116 swapFree=33010684/33010684
[pid=28302] ppid=28294 vsize=17882596 memory=15799012 CPUtime=722.5 cores=1,3
/proc/28302/stat : 28302 (python3) R 28294 28297 27054 0 -1 4194304 3442528 1412561 0 0 51120 668 20008 454 20 0 1 0 36293004 18311778304 3949753 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 4470649 3949753 8116 1 0 4442007 0
Current cumulated CPU time of completed processes: 0.032044 s
Current children cumulated CPU time: 722.5 s
Current children cumulated vsize: 17882596 KiB
Current children cumulated memory: 15799012 KiB

[startup+724.7 s]
/proc/loadavg: 4.15 4.12 3.97 5/256 28436
/proc/meminfo: memFree=111627832/131382116 swapFree=33010684/33010684
[pid=28302] ppid=28294 vsize=17882596 memory=15799012 CPUtime=722.6 cores=1,3
/proc/28302/stat : 28302 (python3) R 28294 28297 27054 0 -1 4194304 3450227 1412561 0 0 51129 669 20008 454 20 0 1 0 36293004 18311778304 3949753 18446744073709551615 94468140011520 94468140011897 140731685708976 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94468140023192 94468140023812 94468165677056 140731685718360 140731685718562 140731685718562 140731685724135 0
/proc/28302/statm: 4470649 3949753 8116 1 0 4442007 0
Current cumulated CPU time of completed processes: 0.032044 s
Current children cumulated CPU time: 722.6 s
Current children cumulated vsize: 17882596 KiB
Current children cumulated memory: 15799012 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 725.441
CPU time (s): 723.391
CPU user time (s): 711.386
CPU system time (s): 12.0043
CPU usage (%): 99.7174
Max. virtual memory (cumulated for all children) (KiB): 34518084
Max. memory (cumulated for all children) (KiB): 26354528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 711.386
system time used= 12.0043
maximum resident set size= 15799012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4863394
page faults= 0
swaps= 0
block input operations= 0
block output operations= 266840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 356
involuntary context switches= 596


# summary of solver processes directly reported to runsolver:
#   pid: 28297,28302
#   total CPU time (s): 723.391
#   total CPU user time (s): 711.386
#   total CPU system time (s): 12.0043

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.94156 second user time and 7.71903 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-06-29 16:08:58
IDJOB=4512105
IDBENCH=160492
IDSOLVER=3368
FILE ID=nodeC004/4512105-1751206136
RUNJOBID= nodeC004-1751204746-27066
SLURM_JOB_ID= 9587619
Free space on /tmp= 432720 MiB

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

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

MD5SUM BENCH= 0020647681361a6ff6bc771888680f52
RANDOM SEED=49632854

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.425
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		: 3492.447
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		: 3661.213
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.817
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.255
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.620
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:        97217216 kB
MemAvailable:   99088784 kB
Buffers:            3280 kB
Cached:          2675220 kB
SwapCached:            0 kB
Active:         31087256 kB
Inactive:        2377008 kB
Active(anon):   30803744 kB
Inactive(anon):        0 kB
Active(file):     283512 kB
Inactive(file):  2377008 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            139028 kB
Writeback:             4 kB
AnonPages:      30777280 kB
Mapped:           129020 kB
Shmem:             17976 kB
KReclaimable:     101348 kB
Slab:             184160 kB
SReclaimable:     101348 kB
SUnreclaim:        82812 kB
KernelStack:        4112 kB
PageTables:        64260 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   36479396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149544 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8943616 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= 432776 MiB
End job on nodeC004 at 2025-06-29 16:21:04