Trace number 4529904

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.00a2? 1401.04 1404.37

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb
MD5SUM0ade693002e69cf4f48fe48722d4f7a3
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 benchmark3.06659
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables670720
Total number of constraints5752
Number of constraints which are clauses2619
Number of constraints which are cardinality constraints (but not clauses)2619
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2620
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 947734
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 2162769
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

510.10/511.36	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529904-1752260283.opb
510.10/511.36	c Solving mode: decision
510.10/511.36	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
510.10/511.36	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
510.10/511.36	c original problem has 670720 variables (670720 bin, 0 int, 0 impl, 0 cont) and 5752 constraints
510.10/511.36	c presolving:
510.10/511.36	c (round 1, fast)       1798 del vars, 2 del conss, 0 add conss, 1542 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 165739 clqs
510.10/511.36	c (round 2, exhaustive) 1798 del vars, 2621 del conss, 0 add conss, 1542 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 165739 clqs
510.10/511.36	c (round 3, exhaustive) 1798 del vars, 2621 del conss, 0 add conss, 1542 chg bounds, 0 chg sides, 0 chg coeffs, 3131 upgd conss, 0 impls, 165739 clqs
510.10/511.36	c    (23.7s) probing: 51/668922 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
510.10/511.36	c    (23.7s) probing aborted: 50/50 successive totally useless probings
510.10/511.36	c    (24.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
510.10/511.36	c symmetry computation terminated early, because number of cells 100140 in Nauty exceeds limit of 100000
510.10/511.36	c for running full symmetry detection, increase value of parameter propagating/symmetry/nautymaxncells
510.10/511.36	c    (26.2s) symmetry computation finished: 18 generators found (max: 95, log10 of symmetry group size: 0.0) (symcode time: 1.24)
510.10/511.36	c dynamic symmetry handling statistics:
510.10/511.36	c    orbitopal reduction:       no components
510.10/511.36	c    orbital reduction:          1 components of sizes 18
510.10/511.36	c    lexicographic reduction:   18 permutations with support sizes 512, 512, 512, 512, 512, 512, 512, 512, 512, 512, 512, 512, 512, 512, 512, 512, 512, 512
510.10/511.36	c handled 1 out of 1 symmetry components
510.10/511.36	c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
510.10/511.36	c  1798 deleted vars, 2621 deleted constraints, 0 added constraints, 1542 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
510.10/511.36	c  0 implications, 165739 cliques
510.10/511.36	c presolved problem has 668922 variables (668922 bin, 0 int, 0 impl, 0 cont) and 3131 constraints
510.10/511.36	c     512 constraints of type <knapsack>
510.10/511.36	c    2619 constraints of type <setppc>
510.10/511.36	c transformed objective value is always integral (scale: 1)
510.10/511.36	c Presolving Time: 25.54
510.10/511.36	c 
510.10/511.36	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
510.10/511.36	c   185s|     1 |     0 | 16720 |     - |  4314M |   0 | 668k|3192 |3131 |   0 |  0 |  82 |   0 | 0.000000e+00 |      --      |    Inf | unknown
510.10/511.36	c   400s|     1 |     0 | 31043 |     - |  4560M |   0 | 668k|3189 |3387 | 256 |  1 |  82 |   0 | 0.000000e+00 |      --      |    Inf | unknown
510.10/511.36	c   508s|     1 |     0 | 34052 |     - |  4642M |   0 | 668k|3188 |3643 | 512 |  2 |  82 |   0 | 0.000000e+00 |      --      |    Inf | unknown
510.10/511.36	c (node 1) LP solver hit time limit in LP 31 -- using pseudo solution instead
510.10/511.36	c 
510.10/511.36	c SCIP Status        : solving was interrupted [time limit reached]
510.10/511.36	c Solving Time (sec) : 507.51
510.10/511.36	c Solving Nodes      : 1
510.10/511.36	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
510.10/511.36	c Dual Bound         : +0.00000000000000e+00
510.10/511.36	c Gap                : infinite
510.10/511.36	c ----------------------------------------------------------------------
510.10/511.36	c dual bound: 0.0 -> 0
510.10/511.36	c primal bound: 1e+20 -> 100000000000000000000
510.10/511.36	c scip-goal-lb: 0
510.10/511.36	c scip-goal-ub: 100000000000000000000
510.10/511.36	c writing output to: HOME/tmpi2cx8m9d.opb
510.10/511.36	c appending fixed variable constraints
510.10/511.36	c scip-fixed vars: 0.27% (1798/668922)
510.10/511.36	c ----------------------------------------------------------------------
510.10/511.36	c executing external solver: HOME/naps-1.03a6
510.10/511.36	c ----------------------------------------------------------------------
510.10/511.36	c command: HOME/naps-1.03a6 HOME/tmpi2cx8m9d.opb
510.20/511.44	c NaPS 1.03a6.
510.20/511.44	c Input file name: HOME/tmpi2cx8m9d.opb
1396.09/1399.49	c malloc failed in xmalloc
1396.09/1399.49	c
1396.09/1399.49	c *** TERMINATED *** by signal 15
1396.09/1399.49	c s UNKNOWN
1396.09/1399.49	c _____________________________________________________________________________
1396.09/1399.49	c std/band forms        : 346,0
1396.09/1399.49	c 2cl/3cl ITE-codings   : 0,0
1396.09/1399.49	c BDD/srt/adr Max costs : 2377100,1408954,0
1396.09/1399.49	c BDDraw/bin/mul/srt/adr: 24,0,0,322,0
1396.09/1399.49	c BDD nodes             : 49200903
1396.09/1399.49	c Es1/CC detections     : 0,0
1396.09/1399.49	c CC sort               : 0
1396.09/1399.49	c SAT/UNSAT calls       : 0,0
1396.09/1399.49	c regenrated variables  : 0
1396.09/1399.49	c eliminated fixed lits : 6310
1396.09/1399.49	c goal lit flips        : 0
1396.09/1399.49	c goal stages           : 0
1396.09/1399.49	c goal shrink           : 0
1396.09/1399.49	c goal coeff separations: 0
1396.09/1399.49	c restarts              : 0
1396.09/1399.49	c conflicts             : 0              (0 /sec)
1396.09/1399.49	c decisions             : 0              (0 /sec)
1396.09/1399.49	c propagations          : 0              (0 /sec)
1396.09/1399.49	c inspects              : 0              (0 /sec)
1396.09/1399.49	c CPU time (solving tm) : 878.9 s        (0 s, SAT 0 s, UNSAT 0 s)
1396.09/1399.49	c Time for Opt-base     : 110.2 s
1396.09/1399.49	c Steps for Opt-base    : 620122796
1396.09/1399.49	c Time for BDD coding   : 304.8 s
1396.09/1399.49	c Time for srt coding   : 421.6 s
1396.09/1399.49	c _____________________________________________________________________________
510.21/1399.83	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: 63665 MiB (61426 MiB free)
  memory of node 1: 64507 MiB (58648 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529904-1752260283/watcher-4529904-1752260283 -o /tmp/evaluation-result-4529904-1752260283/solver-4529904-1752260283 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1752253448-117660 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529904-1752260283.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100062 s]*
/proc/loadavg: 4.08 4.13 4.10 5/270 119167
/proc/meminfo: memFree=122947768/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
[pid=119167] ppid=119162 vsize=1186716 memory=31552 CPUtime=0.06 cores=4,6
/proc/119167/stat : 119167 (python3) R 119162 119162 117649 0 -1 4194304 3645 0 0 0 5 1 0 0 20 0 1 0 141706084 1215197184 7888 18446744073709551615 94703729750016 94703729750393 140729551301600 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94703729761688 94703729762308 94703754686464 140729551309135 140729551309344 140729551309344 140729551314919 0
/proc/119167/statm: 296679 7888 4880 1 0 268701 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1190908 KiB
Current children cumulated memory: 34624 KiB

[startup+0.205705 s]*
/proc/loadavg: 4.08 4.13 4.10 5/270 119167
/proc/meminfo: memFree=122891320/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
[pid=119167] ppid=119162 vsize=1258720 memory=109376 CPUtime=0.16 cores=4,6
/proc/119167/stat : 119167 (python3) R 119162 119162 117649 0 -1 4194304 20596 0 0 0 13 3 0 0 20 0 1 0 141706084 1288929280 27312 18446744073709551615 94703729750016 94703729750393 140729551301600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94703729761688 94703729762308 94703754686464 140729551309135 140729551309344 140729551309344 140729551314919 0
/proc/119167/statm: 314680 27344 7600 1 0 286038 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1262912 KiB
Current children cumulated memory: 112448 KiB

[startup+0.305712 s]*
/proc/loadavg: 4.08 4.13 4.10 5/270 119167
/proc/meminfo: memFree=122794048/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
[pid=119167] ppid=119162 vsize=1355636 memory=205760 CPUtime=0.26 cores=4,6
/proc/119167/stat : 119167 (python3) R 119162 119162 117649 0 -1 4194304 44710 0 0 0 20 6 0 0 20 0 1 0 141706084 1388171264 51440 18446744073709551615 94703729750016 94703729750393 140729551301600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94703729761688 94703729762308 94703754686464 140729551309135 140729551309344 140729551309344 140729551314919 0
/proc/119167/statm: 338909 51440 7600 1 0 310267 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1359828 KiB
Current children cumulated memory: 208832 KiB

[startup+0.700202 s]
/proc/loadavg: 4.08 4.13 4.10 5/270 119167
/proc/meminfo: memFree=122617648/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
[pid=119167] ppid=119162 vsize=1697556 memory=548072 CPUtime=0.65 cores=4,6
/proc/119167/stat : 119167 (python3) R 119162 119162 117649 0 -1 4194304 127743 0 0 0 47 18 0 0 20 0 1 0 141706084 1738297344 137018 18446744073709551615 94703729750016 94703729750393 140729551301600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94703729761688 94703729762308 94703754686464 140729551309135 140729551309344 140729551309344 140729551314919 0
/proc/119167/statm: 424389 137018 7600 1 0 395747 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1701748 KiB
Current children cumulated memory: 551144 KiB

[startup+1.50018 s]
/proc/loadavg: 4.08 4.13 4.10 5/270 119168
/proc/meminfo: memFree=122327316/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
[pid=119167] ppid=119162 vsize=1903816 memory=752360 CPUtime=1.45 cores=4,6
/proc/119167/stat : 119167 (python3) R 119162 119162 117649 0 -1 4194304 180142 0 0 0 119 26 0 0 20 0 1 0 141706084 1949507584 188058 18446744073709551615 94703729750016 94703729750393 140729551301600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94703729761688 94703729762308 94703754686464 140729551309135 140729551309344 140729551309344 140729551314919 0
/proc/119167/statm: 475954 188058 7792 1 0 447312 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1908008 KiB
Current children cumulated memory: 755432 KiB

[startup+3.10554 s]
/proc/loadavg: 4.16 4.15 4.11 5/270 119168
/proc/meminfo: memFree=121351752/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
[pid=119167] ppid=119162 vsize=2828368 memory=1661192 CPUtime=3.05 cores=4,6
/proc/119167/stat : 119167 (python3) R 119162 119162 117649 0 -1 4194304 395010 0 0 0 247 58 0 0 20 0 1 0 141706084 2896248832 415298 18446744073709551615 94703729750016 94703729750393 140729551301600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94703729761688 94703729762308 94703754686464 140729551309135 140729551309344 140729551309344 140729551314919 0
/proc/119167/statm: 707092 415298 7888 1 0 678450 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 2832560 KiB
Current children cumulated memory: 1664264 KiB

[startup+6.30019 s]
/proc/loadavg: 4.16 4.15 4.11 5/270 119168
/proc/meminfo: memFree=121202896/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
[pid=119167] ppid=119162 vsize=3011084 memory=1798432 CPUtime=6.24 cores=4,6
/proc/119167/stat : 119167 (python3) R 119162 119162 117649 0 -1 4194304 425871 0 0 0 561 63 0 0 20 0 1 0 141706084 3083350016 449608 18446744073709551615 94703729750016 94703729750393 140729551301600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94703729761688 94703729762308 94703754686464 140729551309135 140729551309344 140729551309344 140729551314919 0
/proc/119167/statm: 752771 449608 7888 1 0 724129 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 3015276 KiB
Current children cumulated memory: 1801504 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.15 4.11 5/270 119168
/proc/meminfo: memFree=121203164/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
[pid=119167] ppid=119162 vsize=3011084 memory=1798432 CPUtime=12.61 cores=4,6
/proc/119167/stat : 119167 (python3) R 119162 119162 117649 0 -1 4194304 425874 0 0 0 1197 64 0 0 20 0 1 0 141706084 3083350016 449608 18446744073709551615 94703729750016 94703729750393 140729551301600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94703729761688 94703729762308 94703754686464 140729551309135 140729551309344 140729551309344 140729551314919 0
/proc/119167/statm: 752771 449608 7888 1 0 724129 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 3015276 KiB
Current children cumulated memory: 1801504 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.14 4.10 5/270 119168
/proc/meminfo: memFree=119848960/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
[pid=119167] ppid=119162 vsize=4380880 memory=3084196 CPUtime=25.39 cores=4,6
/proc/119167/stat : 119167 (python3) R 119162 119162 117649 0 -1 4194304 643024 0 0 0 2433 106 0 0 20 0 1 0 141706084 4486021120 771049 18446744073709551615 94703729750016 94703729750393 140729551301600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94703729761688 94703729762308 94703754686464 140729551309135 140729551309344 140729551309344 140729551314919 0
/proc/119167/statm: 1095220 771049 7952 1 0 1066578 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 4385072 KiB
Current children cumulated memory: 3087268 KiB

[startup+51.1056 s]
/proc/loadavg: 4.15 4.14 4.11 5/270 119169
/proc/meminfo: memFree=117439520/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
[pid=119167] ppid=119162 vsize=5939064 memory=4298096 CPUtime=50.91 cores=4,6
/proc/119167/stat : 119167 (python3) R 119162 119162 117649 0 -1 4194304 858914 0 0 0 4937 154 0 0 20 0 1 0 141706084 6081601536 1074524 18446744073709551615 94703729750016 94703729750393 140729551301600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94703729761688 94703729762308 94703754686464 140729551309135 140729551309344 140729551309344 140729551314919 0
/proc/119167/statm: 1484766 1074524 8144 1 0 1456124 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 5943256 KiB
Current children cumulated memory: 4301168 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/269 119171
/proc/meminfo: memFree=113665120/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
[pid=119167] ppid=119162 vsize=5957016 memory=4323028 CPUtime=102 cores=4,6
/proc/119167/stat : 119167 (python3) R 119162 119162 117649 0 -1 4194304 861668 0 0 0 10044 156 0 0 20 0 1 0 141706084 6099984384 1080757 18446744073709551615 94703729750016 94703729750393 140729551301600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94703729761688 94703729762308 94703754686464 140729551309135 140729551309344 140729551309344 140729551314919 0
/proc/119167/statm: 1489254 1080757 8144 1 0 1460612 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 5961208 KiB
Current children cumulated memory: 4326100 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/270 119174
/proc/meminfo: memFree=113512804/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
[pid=119167] ppid=119162 vsize=5957016 memory=4323284 CPUtime=161.88 cores=4,6
/proc/119167/stat : 119167 (python3) R 119162 119162 117649 0 -1 4194304 861876 0 0 0 16030 158 0 0 20 0 1 0 141706084 6099984384 1080821 18446744073709551615 94703729750016 94703729750393 140729551301600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94703729761688 94703729762308 94703754686464 140729551309135 140729551309344 140729551309344 140729551314919 0
/proc/119167/statm: 1489254 1080821 8144 1 0 1460612 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 5961208 KiB
Current children cumulated memory: 4326356 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/271 119188
/proc/meminfo: memFree=113339592/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
[pid=119167] ppid=119162 vsize=6002484 memory=4367288 CPUtime=221.73 cores=4,6
/proc/119167/stat : 119167 (python3) R 119162 119162 117649 0 -1 4194304 868024 0 0 0 22011 162 0 0 20 0 1 0 141706084 6146543616 1091822 18446744073709551615 94703729750016 94703729750393 140729551301600 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94703729761688 94703729762308 94703754686464 140729551309135 140729551309344 140729551309344 140729551314919 0
/proc/119167/statm: 1500621 1091822 8144 1 0 1471979 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 6006676 KiB

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

[pid=119258] ppid=119167 vsize=19412116 memory=17688860 CPUtime=729.16 cores=4,6
/proc/119258/stat : 119258 (naps-1.03a6) R 119167 119258 119258 0 -1 4194304 2190023 0 0 0 72247 669 0 0 20 0 1 0 141757222 19878006784 4422215 18446744073709551615 4198400 7047149 140726024651536 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 15314944 140726024653199 140726024653297 140726024653297 140726024658889 0
/proc/119258/statm: 4853029 4422215 544 696 0 4852190 0
Current children cumulated CPU time: 1239.37 s
Current children cumulated vsize: 26098148 KiB
Current children cumulated memory: 22705800 KiB

[startup+1302.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/273 119298
/proc/meminfo: memFree=94599540/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
[pid=119167] ppid=119162 vsize=6681840 memory=5013868 CPUtime=510.21 cores=4,6
/proc/119167/stat : 119167 (python3) S 119162 119162 117649 0 -1 4194304 1010845 0 0 0 50818 203 0 0 20 0 1 0 141706084 6842204160 1253467 18446744073709551615 94703729750016 94703729750393 140729551301600 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94703729761688 94703729762308 94703754686464 140729551309135 140729551309344 140729551309344 140729551314919 0
/proc/119167/statm: 1670460 1253467 8176 1 0 1641818 0
[pid=119258] ppid=119167 vsize=19805212 memory=18165856 CPUtime=789.01 cores=4,6
/proc/119258/stat : 119258 (naps-1.03a6) R 119167 119258 119258 0 -1 4194304 2293828 0 0 0 78214 687 0 0 20 0 1 0 141757222 20280537088 4541464 18446744073709551615 4198400 7047149 140726024651536 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 15314944 140726024653199 140726024653297 140726024653297 140726024658889 0
/proc/119258/statm: 4951303 4541464 544 696 0 4950464 0
Current children cumulated CPU time: 1299.22 s
Current children cumulated vsize: 26491244 KiB
Current children cumulated memory: 23182796 KiB

[startup+1362.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/273 119300
/proc/meminfo: memFree=94312672/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
[pid=119167] ppid=119162 vsize=6681840 memory=5013868 CPUtime=510.21 cores=4,6
/proc/119167/stat : 119167 (python3) S 119162 119162 117649 0 -1 4194304 1010845 0 0 0 50818 203 0 0 20 0 1 0 141706084 6842204160 1253467 18446744073709551615 94703729750016 94703729750393 140729551301600 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94703729761688 94703729762308 94703754686464 140729551309135 140729551309344 140729551309344 140729551314919 0
/proc/119167/statm: 1670460 1253467 8176 1 0 1641818 0
[pid=119258] ppid=119167 vsize=19997140 memory=18456032 CPUtime=848.87 cores=4,6
/proc/119258/stat : 119258 (naps-1.03a6) R 119167 119258 119258 0 -1 4194304 2348163 0 0 0 84189 698 0 0 20 0 1 0 141757222 20477071360 4614008 18446744073709551615 4198400 7047149 140726024651536 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 15314944 140726024653199 140726024653297 140726024653297 140726024658889 0
/proc/119258/statm: 4999285 4614008 544 696 0 4998446 0
Current children cumulated CPU time: 1359.08 s
Current children cumulated vsize: 26683172 KiB
Current children cumulated memory: 23472972 KiB

[startup+1404.37 s]
# the end of solver process 119162 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=1391.1 s, system=9.94016 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1382.4 s]
/proc/loadavg: 4.07 4.11 4.09 5/273 119300
/proc/meminfo: memFree=94190420/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
[pid=119167] ppid=119162 vsize=6681840 memory=5013868 CPUtime=510.21 cores=4,6
/proc/119167/stat : 119167 (python3) S 119162 119162 117649 0 -1 4194304 1010845 0 0 0 50818 203 0 0 20 0 1 0 141706084 6842204160 1253467 18446744073709551615 94703729750016 94703729750393 140729551301600 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94703729761688 94703729762308 94703754686464 140729551309135 140729551309344 140729551309344 140729551314919 0
/proc/119167/statm: 1670460 1253467 8176 1 0 1641818 0
[pid=119258] ppid=119167 vsize=20046508 memory=18560836 CPUtime=868.92 cores=4,6
/proc/119258/stat : 119258 (naps-1.03a6) R 119167 119258 119258 0 -1 4194304 2362534 0 0 0 86190 702 0 0 20 0 1 0 141757222 20527624192 4640209 18446744073709551615 4198400 7047149 140726024651536 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 15314944 140726024653199 140726024653297 140726024653297 140726024658889 0
/proc/119258/statm: 5011627 4640209 544 696 0 5010788 0
Current children cumulated CPU time: 1379.13 s
Current children cumulated vsize: 26732540 KiB
Current children cumulated memory: 23577776 KiB

[startup+1395.2 s]
/proc/loadavg: 4.12 4.12 4.09 5/273 119301
/proc/meminfo: memFree=94129460/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
[pid=119167] ppid=119162 vsize=6681840 memory=5013868 CPUtime=510.21 cores=4,6
/proc/119167/stat : 119167 (python3) S 119162 119162 117649 0 -1 4194304 1010845 0 0 0 50818 203 0 0 20 0 1 0 141706084 6842204160 1253467 18446744073709551615 94703729750016 94703729750393 140729551301600 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94703729761688 94703729762308 94703754686464 140729551309135 140729551309344 140729551309344 140729551314919 0
/proc/119167/statm: 1670460 1253467 8176 1 0 1641818 0
[pid=119258] ppid=119167 vsize=20046508 memory=18622276 CPUtime=881.68 cores=4,6
/proc/119258/stat : 119258 (naps-1.03a6) R 119167 119258 119258 0 -1 4194304 2364484 0 0 0 87466 702 0 0 20 0 1 0 141757222 20527624192 4655569 18446744073709551615 4198400 7047149 140726024651536 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 15314944 140726024653199 140726024653297 140726024653297 140726024658889 0
/proc/119258/statm: 5011627 4655569 544 696 0 5010788 0
Current children cumulated CPU time: 1391.89 s
Current children cumulated vsize: 26732540 KiB
Current children cumulated memory: 23639216 KiB

[startup+1398.4 s]
/proc/loadavg: 4.11 4.12 4.09 5/273 119301
/proc/meminfo: memFree=94121088/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
[pid=119167] ppid=119162 vsize=6681840 memory=5013868 CPUtime=510.21 cores=4,6
/proc/119167/stat : 119167 (python3) S 119162 119162 117649 0 -1 4194304 1010845 0 0 0 50818 203 0 0 20 0 1 0 141706084 6842204160 1253467 18446744073709551615 94703729750016 94703729750393 140729551301600 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94703729761688 94703729762308 94703754686464 140729551309135 140729551309344 140729551309344 140729551314919 0
/proc/119167/statm: 1670460 1253467 8176 1 0 1641818 0
[pid=119258] ppid=119167 vsize=20046508 memory=18630468 CPUtime=884.88 cores=4,6
/proc/119258/stat : 119258 (naps-1.03a6) R 119167 119258 119258 0 -1 4194304 2364820 0 0 0 87785 703 0 0 20 0 1 0 141757222 20527624192 4657617 18446744073709551615 4198400 7047149 140726024651536 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 15314944 140726024653199 140726024653297 140726024653297 140726024658889 0
/proc/119258/statm: 5011627 4657617 544 696 0 5010788 0
Current children cumulated CPU time: 1395.09 s
Current children cumulated vsize: 26732540 KiB
Current children cumulated memory: 23647408 KiB

[startup+1401.6 s]
/proc/loadavg: 4.11 4.12 4.09 5/272 119301
/proc/meminfo: memFree=112766988/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
[pid=119167] ppid=119162 vsize=6681840 memory=5013868 CPUtime=1398.26 cores=4,6
/proc/119167/stat : 119167 (python3) R 119162 119162 117649 0 -1 4194304 1234798 2364824 0 0 50981 215 87894 736 20 0 1 0 141706084 6842204160 1253467 18446744073709551615 94703729750016 94703729750393 140729551301600 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94703729761688 94703729762308 94703754686464 140729551309135 140729551309344 140729551309344 140729551314919 0
/proc/119167/statm: 1670460 1253467 8176 1 0 1641818 0
Current children cumulated CPU time: 1398.26 s
Current children cumulated vsize: 6686032 KiB
Current children cumulated memory: 5016940 KiB

[startup+1403.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 119301
/proc/meminfo: memFree=112774932/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
[pid=119167] ppid=119162 vsize=6681840 memory=5013868 CPUtime=1399.84 cores=4,6
/proc/119167/stat : 119167 (python3) R 119162 119162 117649 0 -1 4194304 1571979 2364824 0 0 51123 231 87894 736 20 0 1 0 141706084 6842204160 1253467 18446744073709551615 94703729750016 94703729750393 140729551301600 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94703729761688 94703729762308 94703754686464 140729551309135 140729551309344 140729551309344 140729551314919 0
/proc/119167/statm: 1670460 1253467 8176 1 0 1641818 0
Current children cumulated CPU time: 1399.84 s
Current children cumulated vsize: 6686032 KiB
Current children cumulated memory: 5016940 KiB

[startup+1404 s]*
/proc/loadavg: 4.10 4.11 4.09 5/272 119301
/proc/meminfo: memFree=113636804/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
[pid=119167] ppid=119162 vsize=5344396 memory=4141084 CPUtime=1400.64 cores=4,6
/proc/119167/stat : 119167 (python3) R 119162 119162 117649 0 -1 4194304 1769215 2364824 0 0 51193 241 87894 736 20 0 1 0 141706084 5472661504 1035271 18446744073709551615 94703729750016 94703729750393 140729551301600 0 0 0 0 16781312 0 0 0 0 17 4 0 0 0 0 0 94703729761688 94703729762308 94703754686464 140729551309135 140729551309344 140729551309344 140729551314919 0
/proc/119167/statm: 1336099 1035271 8176 1 0 1307457 0
Current children cumulated CPU time: 1400.64 s
Current children cumulated vsize: 5348588 KiB
Current children cumulated memory: 4144156 KiB

[startup+1404.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 119301
/proc/meminfo: memFree=113636804/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
[pid=119167] ppid=119162 vsize=5095564 memory=3892316 CPUtime=1400.83 cores=4,6
/proc/119167/stat : 119167 (python3) R 119162 119162 117649 0 -1 4194304 1788836 2364824 0 0 51210 243 87894 736 20 0 1 0 141706084 5217857536 973079 18446744073709551615 94703729750016 94703729750393 140729551301600 0 0 0 0 16781312 0 0 0 0 17 4 0 0 0 0 0 94703729761688 94703729762308 94703754686464 140729551309135 140729551309344 140729551309344 140729551314919 0
/proc/119167/statm: 1273891 973079 8176 1 0 1245249 0
Current children cumulated CPU time: 1400.83 s
Current children cumulated vsize: 5099756 KiB
Current children cumulated memory: 3895388 KiB

[startup+1404.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 119301
/proc/meminfo: memFree=113636804/131249996 swapFree=33010672/33010684
[pid=119162] ppid=119159 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/119162/stat : 119162 (scip-naps-1.00a) S 119159 119162 117649 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141706082 4292608 768 18446744073709551615 94365472210944 94365473105477 140733770529680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365473344528 94365473392272 94365504208896 140733770537371 140733770537470 140733770537470 140733770543074 0
/proc/119162/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 1404.37
CPU time (s): 1401.04
CPU user time (s): 1391.1
CPU system time (s): 9.94016
CPU usage (%): 99.7629
Max. virtual memory (cumulated for all children) (KiB): 26732540
Max. memory (cumulated for all children) (KiB): 23651504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1391.1
system time used= 9.94017
maximum resident set size= 18636612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4165698
page faults= 0
swaps= 0
block input operations= 0
block output operations= 61696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 355
involuntary context switches= 1505


# summary of solver processes directly reported to runsolver:
#   pid: 119162
#   total CPU time (s): 1401.04
#   total CPU user time (s): 1391.1
#   total CPU system time (s): 9.94016

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.10338 second user time and 6.11451 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-11 20:58:03
IDJOB=4529904
IDBENCH=160484
IDSOLVER=3388
FILE ID=nodeC017/4529904-1752260283
RUNJOBID= nodeC017-1752253448-117660
SLURM_JOB_ID= 9682588
Free space on /tmp= 432404 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529904-1752260283/watcher-4529904-1752260283 -o /tmp/evaluation-result-4529904-1752260283/solver-4529904-1752260283 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1752253448-117660 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4529904-1752260283.opb

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

MD5SUM BENCH= 0ade693002e69cf4f48fe48722d4f7a3
RANDOM SEED=66594500

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        122957324 kB
MemAvailable:   127571396 kB
Buffers:            1688 kB
Cached:          5379380 kB
SwapCached:            8 kB
Active:          2573208 kB
Inactive:        5028772 kB
Active(anon):    2223040 kB
Inactive(anon):    15952 kB
Active(file):     350168 kB
Inactive(file):  5012820 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             36400 kB
Writeback:            96 kB
AnonPages:       2222720 kB
Mapped:           130660 kB
Shmem:             18072 kB
KReclaimable:     180248 kB
Slab:             274576 kB
SReclaimable:     180248 kB
SUnreclaim:        94328 kB
KernelStack:        4332 kB
PageTables:         8260 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    5905824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432356 MiB
End job on nodeC017 at 2025-07-11 21:21:28