Trace number 4530598

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP-NaPS 1.00a2? (TO) 3600.44 3612.63

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/wallon/
normalized-AztecDiamondSym-mini-07_c24.opb
MD5SUM7b7d352a7105ac7993395b7f6c3b04bc
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark306
Best CPU time to get the best result obtained on this benchmark72000.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables35169
Total number of constraints28729
Number of constraints which are clauses6441
Number of constraints which are cardinality constraints (but not clauses)112
Number of constraints which are nor clauses,nor cardinality constraints22176
Minimum length of a constraint1
Maximum length of a constraint224
Number of terms in the objective function 216
Biggest coefficient in the objective function 32
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 2268
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 55
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 2268
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

997.42/1000.69	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530598-1752264371.opb
997.42/1000.69	c Solving mode: optimization
997.42/1000.69	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
997.42/1000.69	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
997.42/1000.69	c original problem has 35169 variables (35169 bin, 0 int, 0 impl, 0 cont) and 28729 constraints
997.42/1000.69	c presolving:
997.42/1000.69	c (round 1, fast)       6273 del vars, 6273 del conss, 112 add conss, 0 chg bounds, 560 chg sides, 224 chg coeffs, 0 upgd conss, 0 impls, 2800 clqs
997.42/1000.69	c (round 2, exhaustive) 6273 del vars, 6273 del conss, 112 add conss, 0 chg bounds, 560 chg sides, 3248 chg coeffs, 22344 upgd conss, 0 impls, 2800 clqs
997.42/1000.69	c (round 3, medium)     6273 del vars, 28225 del conss, 44016 add conss, 0 chg bounds, 560 chg sides, 3248 chg coeffs, 22344 upgd conss, 0 impls, 46704 clqs
997.42/1000.69	c (round 4, exhaustive) 6273 del vars, 28225 del conss, 44016 add conss, 0 chg bounds, 560 chg sides, 3248 chg coeffs, 22456 upgd conss, 0 impls, 46704 clqs
997.42/1000.69	c    (10.3s) probing: 1000/28896 (3.5%) - 0 fixings, 0 aggregations, 445554 implications, 0 bound changes
997.42/1000.69	c    (10.3s) probing: 1001/28896 (3.5%) - 0 fixings, 0 aggregations, 446000 implications, 0 bound changes
997.42/1000.69	c    (10.3s) probing aborted: 1000/1000 successive useless probings
997.42/1000.69	c    (10.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
997.42/1000.69	c    (10.6s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.07)
997.42/1000.69	c dynamic symmetry handling statistics:
997.42/1000.69	c    orbitopal reduction:       no components
997.42/1000.69	c    orbital reduction:          1 components of sizes 2
997.42/1000.69	c    lexicographic reduction:    2 permutations with support sizes 28896, 28400
997.42/1000.69	c handled 1 out of 1 symmetry components
997.42/1000.69	c presolving (5 rounds: 5 fast, 4 medium, 3 exhaustive):
997.42/1000.69	c  6273 deleted vars, 28225 deleted constraints, 44016 added constraints, 0 tightened bounds, 0 added holes, 560 changed sides, 3248 changed coefficients
997.42/1000.69	c  0 implications, 101977 cliques
997.42/1000.69	c presolved problem has 28896 variables (28896 bin, 0 int, 0 impl, 0 cont) and 44520 constraints
997.42/1000.69	c   44016 constraints of type <setppc>
997.42/1000.69	c     112 constraints of type <linear>
997.42/1000.69	c     392 constraints of type <logicor>
997.42/1000.69	c transformed objective value is always integral (scale: 1)
997.42/1000.69	c Presolving Time: 10.54
997.42/1000.69	c 
997.42/1000.69	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
997.42/1000.69	c  96.1s|     1 |     0 | 36322 |     - |   528M |   0 |  28k|  44k|  44k|   0 |  0 | 278 |   0 | 0.000000e+00 |      --      |    Inf | unknown
997.42/1000.69	c   277s|     1 |     0 |126244 |     - |   554M |   0 |  28k|  44k|  44k|  49 |  1 | 278 |   0 | 0.000000e+00 |      --      |    Inf | unknown
997.42/1000.69	c   404s|     1 |     0 |143868 |     - |   566M |   0 |  28k|  44k|  44k| 102 |  2 | 278 |   0 | 0.000000e+00 |      --      |    Inf | unknown
997.42/1000.69	c   556s|     1 |     0 |162074 |     - |   575M |   0 |  28k|  44k|  44k| 148 |  3 | 278 |   0 | 0.000000e+00 |      --      |    Inf | unknown
997.42/1000.69	c   697s|     1 |     0 |179968 |     - |   582M |   0 |  28k|  44k|  44k| 186 |  4 | 278 |   0 | 0.000000e+00 |      --      |    Inf | unknown
997.42/1000.69	c   826s|     1 |     0 |196125 |     - |   590M |   0 |  28k|  44k|  44k| 216 |  5 | 278 |   0 | 0.000000e+00 |      --      |    Inf | unknown
997.42/1000.69	c   957s|     1 |     0 |211862 |     - |   597M |   0 |  28k|  44k|  44k| 248 |  6 | 278 |   0 | 0.000000e+00 |      --      |    Inf | unknown
997.42/1000.69	c  1000s|     1 |     0 |216923 |     - |   604M |   0 |  28k|  44k|  44k| 276 |  7 | 278 |   0 | 0.000000e+00 |      --      |    Inf | unknown
997.42/1000.69	c (node 1) LP solver hit time limit in LP 13 -- using pseudo solution instead
997.42/1000.69	c 
997.42/1000.69	c SCIP Status        : solving was interrupted [time limit reached]
997.42/1000.69	c Solving Time (sec) : 1000.00
997.42/1000.69	c Solving Nodes      : 1
997.42/1000.69	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
997.42/1000.69	c Dual Bound         : +0.00000000000000e+00
997.42/1000.69	c Gap                : infinite
997.42/1000.69	c ----------------------------------------------------------------------
997.42/1000.69	c dual bound: 0.0 -> 0
997.42/1000.69	c primal bound: 1e+20 -> 100000000000000000000
997.42/1000.69	c scip-goal-lb: 0
997.42/1000.69	c scip-goal-ub: 100000000000000000000
997.42/1000.69	c writing output to: HOME/tmpwg3kehet.opb
997.42/1000.69	c appending fixed variable constraints
997.42/1000.69	c scip-fixed vars: 0.00% (1/28896)
997.42/1000.69	c ----------------------------------------------------------------------
997.42/1000.69	c executing external solver: HOME/naps-1.03a6
997.42/1000.69	c ----------------------------------------------------------------------
997.42/1000.69	c command: HOME/naps-1.03a6 -goal-lb=0 -goal-ub=99999999999999999999 HOME/tmpwg3kehet.opb
997.52/1000.72	c NaPS 1.03a6.
997.52/1000.72	c Input file name: HOME/tmpwg3kehet.opb
999.81/1003.06	c single stage optimization mode
3600.07/3612.30	c
3600.07/3612.30	c *** TERMINATED *** by signal 15
3600.07/3612.30	c s UNKNOWN
3600.07/3612.30	c _____________________________________________________________________________
3600.07/3612.30	c std/band forms        : 22064,112
3600.07/3612.30	c 2cl/3cl ITE-codings   : 0,203952
3600.07/3612.30	c BDD/srt/adr Max costs : 2022,928,0
3600.07/3612.30	c BDDraw/bin/mul/srt/adr: 21952,0,112,112,0
3600.07/3612.30	c BDD nodes             : 292544
3600.07/3612.30	c Es1/CC detections     : 0,0
3600.07/3612.30	c CC sort               : 112
3600.07/3612.30	c SAT/UNSAT calls       : 0,0
3600.07/3612.30	c regenrated variables  : 0
3600.07/3612.30	c eliminated fixed lits : 2
3600.07/3612.30	c goal lit flips        : 0
3600.07/3612.30	c goal stages           : 1
3600.07/3612.30	c goal shrink           : 0
3600.07/3612.30	c goal coeff separations: 0
3600.07/3612.30	c restarts              : 0
3600.07/3612.30	c conflicts             : 0              (0 /sec)
3600.07/3612.30	c decisions             : 0              (0 /sec)
3600.07/3612.30	c propagations          : 0              (0 /sec)
3600.07/3612.30	c inspects              : 0              (0 /sec)
3600.07/3612.30	c CPU time (solving tm) : 2601 s        (2599 s, SAT 0 s, UNSAT 0 s)
3600.07/3612.30	c Time for Opt-base     : 0.09206 s
3600.07/3612.30	c Steps for Opt-base    : 307440
3600.07/3612.30	c Time for BDD coding   : 1.432 s
3600.07/3612.30	c Time for srt coding   : 0.01155 s
3600.07/3612.30	c _____________________________________________________________________________
3600.07/3612.30	c received SIGTERM, forwarding to pbsolver...
3600.07/3612.30	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 (62355 MiB free)
  memory of node 1: 64465 MiB (47122 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530598-1752264371/watcher-4530598-1752264371 -o /tmp/evaluation-result-4530598-1752264371/solver-4530598-1752264371 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752257289-119335 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530598-1752264371.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=120889, runsolver pid=120886

[startup+0.100103 s]*
/proc/loadavg: 4.10 4.10 4.09 5/257 120894
/proc/meminfo: memFree=112106288/131382120 swapFree=33010416/33010684
[pid=120889] ppid=120886 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/120889/stat : 120889 (scip-naps-1.00a) S 120886 120889 119325 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 142115814 4292608 768 18446744073709551615 94267476238336 94267477132869 140730287468080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94267477371920 94267477419664 94267505213440 140730287471003 140730287471102 140730287471102 140730287476706 0
/proc/120889/statm: 1048 768 704 219 0 110 0
[pid=120894] ppid=120889 vsize=18992 memory=14080 CPUtime=0.07 cores=0,2
/proc/120894/stat : 120894 (python3) R 120889 120889 119325 0 -1 4194304 1851 0 0 0 6 1 0 0 20 0 1 0 142115817 19447808 3520 18446744073709551615 93965184466944 93965184467321 140733616402288 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93965184478616 93965184479236 93965196783616 140733616404830 140733616405024 140733616405024 140733616410599 0
/proc/120894/statm: 4748 3520 1952 1 0 1521 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 23184 KiB
Current children cumulated memory: 17152 KiB

[startup+0.213829 s]*
/proc/loadavg: 4.10 4.10 4.09 5/257 120894
/proc/meminfo: memFree=112104044/131382120 swapFree=33010416/33010684
[pid=120889] ppid=120886 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/120889/stat : 120889 (scip-naps-1.00a) S 120886 120889 119325 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 142115814 4292608 768 18446744073709551615 94267476238336 94267477132869 140730287468080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94267477371920 94267477419664 94267505213440 140730287471003 140730287471102 140730287471102 140730287476706 0
/proc/120889/statm: 1048 768 704 219 0 110 0
[pid=120894] ppid=120889 vsize=1186972 memory=31872 CPUtime=0.17 cores=0,2
/proc/120894/stat : 120894 (python3) R 120889 120889 119325 0 -1 4194304 3712 0 0 0 15 2 0 0 20 0 1 0 142115817 1215459328 7968 18446744073709551615 93965184466944 93965184467321 140733616402288 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93965184478616 93965184479236 93965196783616 140733616404830 140733616405024 140733616405024 140733616410599 0
/proc/120894/statm: 296743 7968 4903 1 0 268765 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1191164 KiB
Current children cumulated memory: 34944 KiB

[startup+0.313955 s]*
/proc/loadavg: 4.10 4.10 4.09 5/257 120894
/proc/meminfo: memFree=112101020/131382120 swapFree=33010416/33010684
[pid=120889] ppid=120886 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/120889/stat : 120889 (scip-naps-1.00a) S 120886 120889 119325 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 142115814 4292608 768 18446744073709551615 94267476238336 94267477132869 140730287468080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94267477371920 94267477419664 94267505213440 140730287471003 140730287471102 140730287471102 140730287476706 0
/proc/120889/statm: 1048 768 704 219 0 110 0
[pid=120894] ppid=120889 vsize=1192572 memory=37760 CPUtime=0.27 cores=0,2
/proc/120894/stat : 120894 (python3) R 120889 120889 119325 0 -1 4194304 4787 0 0 0 24 3 0 0 20 0 1 0 142115817 1221193728 9440 18446744073709551615 93965184466944 93965184467321 140733616402288 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93965184478616 93965184479236 93965196783616 140733616404830 140733616405024 140733616405024 140733616410599 0
/proc/120894/statm: 298143 9440 5351 1 0 269807 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1196764 KiB
Current children cumulated memory: 40832 KiB

[startup+0.70034 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 120894
/proc/meminfo: memFree=112063724/131382120 swapFree=33010416/33010684
[pid=120889] ppid=120886 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/120889/stat : 120889 (scip-naps-1.00a) S 120886 120889 119325 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 142115814 4292608 768 18446744073709551615 94267476238336 94267477132869 140730287468080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94267477371920 94267477419664 94267505213440 140730287471003 140730287471102 140730287471102 140730287476706 0
/proc/120889/statm: 1048 768 704 219 0 110 0
[pid=120894] ppid=120889 vsize=1298988 memory=151040 CPUtime=0.64 cores=0,2
/proc/120894/stat : 120894 (python3) R 120889 120889 119325 0 -1 4194304 30809 0 0 0 54 10 0 0 20 0 1 0 142115817 1330163712 37760 18446744073709551615 93965184466944 93965184467321 140733616402288 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93965184478616 93965184479236 93965196783616 140733616404830 140733616405024 140733616405024 140733616410599 0
/proc/120894/statm: 324747 37760 7815 1 0 296105 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1303180 KiB
Current children cumulated memory: 154112 KiB

[startup+1.50034 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 120894
/proc/meminfo: memFree=111951280/131382120 swapFree=33010416/33010684
[pid=120889] ppid=120886 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/120889/stat : 120889 (scip-naps-1.00a) S 120886 120889 119325 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 142115814 4292608 768 18446744073709551615 94267476238336 94267477132869 140730287468080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94267477371920 94267477419664 94267505213440 140730287471003 140730287471102 140730287471102 140730287476706 0
/proc/120889/statm: 1048 768 704 219 0 110 0
[pid=120894] ppid=120889 vsize=1386572 memory=234240 CPUtime=1.44 cores=0,2
/proc/120894/stat : 120894 (python3) R 120889 120889 119325 0 -1 4194304 51635 0 0 0 128 16 0 0 20 0 1 0 142115817 1419849728 58560 18446744073709551615 93965184466944 93965184467321 140733616402288 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93965184478616 93965184479236 93965196783616 140733616404830 140733616405024 140733616405024 140733616410599 0
/proc/120894/statm: 346643 58560 7943 1 0 318001 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1390764 KiB
Current children cumulated memory: 237312 KiB

[startup+3.11367 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 120894
/proc/meminfo: memFree=111841776/131382120 swapFree=33010416/33010684
[pid=120889] ppid=120886 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/120889/stat : 120889 (scip-naps-1.00a) S 120886 120889 119325 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 142115814 4292608 768 18446744073709551615 94267476238336 94267477132869 140730287468080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94267477371920 94267477419664 94267505213440 140730287471003 140730287471102 140730287471102 140730287476706 0
/proc/120889/statm: 1048 768 704 219 0 110 0
[pid=120894] ppid=120889 vsize=1429108 memory=274020 CPUtime=3.05 cores=0,2
/proc/120894/stat : 120894 (python3) R 120889 120889 119325 0 -1 4194304 60698 0 0 0 287 18 0 0 20 0 1 0 142115817 1463406592 68505 18446744073709551615 93965184466944 93965184467321 140733616402288 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93965184478616 93965184479236 93965196783616 140733616404830 140733616405024 140733616405024 140733616410599 0
/proc/120894/statm: 357277 68505 7943 1 0 328635 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1433300 KiB
Current children cumulated memory: 277092 KiB

[startup+6.30034 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 120894
/proc/meminfo: memFree=111821592/131382120 swapFree=33010416/33010684
[pid=120889] ppid=120886 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/120889/stat : 120889 (scip-naps-1.00a) S 120886 120889 119325 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 142115814 4292608 768 18446744073709551615 94267476238336 94267477132869 140730287468080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94267477371920 94267477419664 94267505213440 140730287471003 140730287471102 140730287471102 140730287476706 0
/proc/120889/statm: 1048 768 704 219 0 110 0
[pid=120894] ppid=120889 vsize=1429108 memory=274020 CPUtime=6.23 cores=0,2
/proc/120894/stat : 120894 (python3) R 120889 120889 119325 0 -1 4194304 60698 0 0 0 605 18 0 0 20 0 1 0 142115817 1463406592 68505 18446744073709551615 93965184466944 93965184467321 140733616402288 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93965184478616 93965184479236 93965196783616 140733616404830 140733616405024 140733616405024 140733616410599 0
/proc/120894/statm: 357277 68505 7943 1 0 328635 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1433300 KiB
Current children cumulated memory: 277092 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 120894
/proc/meminfo: memFree=111606736/131382120 swapFree=33010416/33010684
[pid=120889] ppid=120886 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/120889/stat : 120889 (scip-naps-1.00a) S 120886 120889 119325 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 142115814 4292608 768 18446744073709551615 94267476238336 94267477132869 140730287468080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94267477371920 94267477419664 94267505213440 140730287471003 140730287471102 140730287471102 140730287476706 0
/proc/120889/statm: 1048 768 704 219 0 110 0
[pid=120894] ppid=120889 vsize=1763988 memory=511132 CPUtime=12.6 cores=0,2
/proc/120894/stat : 120894 (python3) R 120889 120889 119325 0 -1 4194304 124069 0 0 0 1232 28 0 0 20 0 1 0 142115817 1806323712 127783 18446744073709551615 93965184466944 93965184467321 140733616402288 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93965184478616 93965184479236 93965196783616 140733616404830 140733616405024 140733616405024 140733616410599 0
/proc/120894/statm: 440997 127783 8135 1 0 412355 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1768180 KiB
Current children cumulated memory: 514204 KiB

[startup+25.5004 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 120894
/proc/meminfo: memFree=111560204/131382120 swapFree=33010416/33010684
[pid=120889] ppid=120886 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/120889/stat : 120889 (scip-naps-1.00a) S 120886 120889 119325 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 142115814 4292608 768 18446744073709551615 94267476238336 94267477132869 140730287468080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94267477371920 94267477419664 94267505213440 140730287471003 140730287471102 140730287471102 140730287476706 0
/proc/120889/statm: 1048 768 704 219 0 110 0
[pid=120894] ppid=120889 vsize=1767844 memory=515228 CPUtime=25.36 cores=0,2
/proc/120894/stat : 120894 (python3) R 120889 120889 119325 0 -1 4194304 125099 0 0 0 2508 28 0 0 20 0 1 0 142115817 1810272256 128807 18446744073709551615 93965184466944 93965184467321 140733616402288 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93965184478616 93965184479236 93965196783616 140733616404830 140733616405024 140733616405024 140733616410599 0
/proc/120894/statm: 441961 128807 8135 1 0 413319 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1772036 KiB
Current children cumulated memory: 518300 KiB

[startup+51.1136 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 120895
/proc/meminfo: memFree=112273988/131382120 swapFree=33010416/33010684
[pid=120889] ppid=120886 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/120889/stat : 120889 (scip-naps-1.00a) S 120886 120889 119325 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 142115814 4292608 768 18446744073709551615 94267476238336 94267477132869 140730287468080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94267477371920 94267477419664 94267505213440 140730287471003 140730287471102 140730287471102 140730287476706 0
/proc/120889/statm: 1048 768 704 219 0 110 0
[pid=120894] ppid=120889 vsize=1769020 memory=517276 CPUtime=50.89 cores=0,2
/proc/120894/stat : 120894 (python3) R 120889 120889 119325 0 -1 4194304 125614 0 0 0 5061 28 0 0 20 0 1 0 142115817 1811476480 129319 18446744073709551615 93965184466944 93965184467321 140733616402288 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93965184478616 93965184479236 93965196783616 140733616404830 140733616405024 140733616405024 140733616410599 0
/proc/120894/statm: 442255 129319 8135 1 0 413613 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1773212 KiB
Current children cumulated memory: 520348 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 120897
/proc/meminfo: memFree=111643192/131382120 swapFree=33010416/33010684
[pid=120889] ppid=120886 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/120889/stat : 120889 (scip-naps-1.00a) S 120886 120889 119325 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 142115814 4292608 768 18446744073709551615 94267476238336 94267477132869 140730287468080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94267477371920 94267477419664 94267505213440 140730287471003 140730287471102 140730287471102 140730287476706 0
/proc/120889/statm: 1048 768 704 219 0 110 0
[pid=120894] ppid=120889 vsize=1774636 memory=522352 CPUtime=101.92 cores=0,2
/proc/120894/stat : 120894 (python3) R 120889 120889 119325 0 -1 4194304 126383 0 0 0 10164 28 0 0 20 0 1 0 142115817 1817227264 130588 18446744073709551615 93965184466944 93965184467321 140733616402288 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93965184478616 93965184479236 93965196783616 140733616404830 140733616405024 140733616405024 140733616410599 0
/proc/120894/statm: 443659 130588 8135 1 0 415017 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 1778828 KiB
Current children cumulated memory: 525424 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/257 120899
/proc/meminfo: memFree=112212256/131382120 swapFree=33010416/33010684
[pid=120889] ppid=120886 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/120889/stat : 120889 (scip-naps-1.00a) S 120886 120889 119325 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 142115814 4292608 768 18446744073709551615 94267476238336 94267477132869 140730287468080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94267477371920 94267477419664 94267505213440 140730287471003 140730287471102 140730287471102 140730287476706 0
/proc/120889/statm: 1048 768 704 219 0 110 0
[pid=120894] ppid=120889 vsize=1817720 memory=560036 CPUtime=161.74 cores=0,2
/proc/120894/stat : 120894 (python3) R 120889 120889 119325 0 -1 4194304 134880 0 0 0 16144 30 0 0 20 0 1 0 142115817 1861345280 140009 18446744073709551615 93965184466944 93965184467321 140733616402288 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93965184478616 93965184479236 93965196783616 140733616404830 140733616405024 140733616405024 140733616410599 0
/proc/120894/statm: 454430 140009 8135 1 0 425788 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 1821912 KiB
Current children cumulated memory: 563108 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/257 120901
/proc/meminfo: memFree=111820588/131382120 swapFree=33010416/33010684
[pid=120889] ppid=120886 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/120889/stat : 120889 (scip-naps-1.00a) S 120886 120889 119325 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 142115814 4292608 768 18446744073709551615 94267476238336 94267477132869 140730287468080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94267477371920 94267477419664 94267505213440 140730287471003 140730287471102 140730287471102 140730287476706 0
/proc/120889/statm: 1048 768 704 219 0 110 0
[pid=120894] ppid=120889 vsize=1833916 memory=576124 CPUtime=221.54 cores=0,2
/proc/120894/stat : 120894 (python3) R 120889 120889 119325 0 -1 4194304 137358 0 0 0 22122 32 0 0 20 0 1 0 142115817 1877929984 144031 18446744073709551615 93965184466944 93965184467321 140733616402288 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93965184478616 93965184479236 93965196783616 140733616404830 140733616405024 140733616405024 140733616410599 0
/proc/120894/statm: 458479 144031 8135 1 0 429837 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 1838108 KiB

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


[startup+3282.3 s]
/proc/loadavg: 2.07 2.09 2.31 3/241 121150
/proc/meminfo: memFree=105977956/131382120 swapFree=33010416/33010684
[pid=120889] ppid=120886 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/120889/stat : 120889 (scip-naps-1.00a) S 120886 120889 119325 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 142115814 4292608 768 18446744073709551615 94267476238336 94267477132869 140730287468080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94267477371920 94267477419664 94267505213440 140730287471003 140730287471102 140730287471102 140730287476706 0
/proc/120889/statm: 1048 768 704 219 0 110 0
[pid=120894] ppid=120889 vsize=1928552 memory=652964 CPUtime=997.52 cores=0,2
/proc/120894/stat : 120894 (python3) S 120889 120889 119325 0 -1 4194304 151115 0 0 0 99715 37 0 0 20 0 1 0 142115817 1974837248 163241 18446744073709551615 93965184466944 93965184467321 140733616402288 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 93965184478616 93965184479236 93965196783616 140733616404830 140733616405024 140733616405024 140733616410599 0
/proc/120894/statm: 482138 163241 8167 1 0 453496 0
[pid=120983] ppid=120894 vsize=357856 memory=351416 CPUtime=2273.7 cores=0,2
/proc/120983/stat : 120983 (naps-1.03a6) R 120894 120983 120983 0 -1 4194304 113161 0 0 0 227254 116 0 0 20 0 1 0 142215885 366444544 87854 18446744073709551615 4198400 7047149 140733064453664 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8208384 140733064456550 140733064456689 140733064456689 140733064462281 0
/proc/120983/statm: 89464 87854 608 696 0 88625 0
Current children cumulated CPU time: 3271.22 s
Current children cumulated vsize: 2290600 KiB
Current children cumulated memory: 1007452 KiB

[startup+3342.3 s]
/proc/loadavg: 2.12 2.10 2.30 3/241 121163
/proc/meminfo: memFree=105888968/131382120 swapFree=33010416/33010684
[pid=120889] ppid=120886 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/120889/stat : 120889 (scip-naps-1.00a) S 120886 120889 119325 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 142115814 4292608 768 18446744073709551615 94267476238336 94267477132869 140730287468080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94267477371920 94267477419664 94267505213440 140730287471003 140730287471102 140730287471102 140730287476706 0
/proc/120889/statm: 1048 768 704 219 0 110 0
[pid=120894] ppid=120889 vsize=1928552 memory=652964 CPUtime=997.52 cores=0,2
/proc/120894/stat : 120894 (python3) S 120889 120889 119325 0 -1 4194304 151115 0 0 0 99715 37 0 0 20 0 1 0 142115817 1974837248 163241 18446744073709551615 93965184466944 93965184467321 140733616402288 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 93965184478616 93965184479236 93965196783616 140733616404830 140733616405024 140733616405024 140733616410599 0
/proc/120894/statm: 482138 163241 8167 1 0 453496 0
[pid=120983] ppid=120894 vsize=301864 memory=295424 CPUtime=2333.49 cores=0,2
/proc/120983/stat : 120983 (naps-1.03a6) R 120894 120983 120983 0 -1 4194304 114195 0 0 0 233231 118 0 0 20 0 1 0 142215885 309108736 73856 18446744073709551615 4198400 7047149 140733064453664 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8208384 140733064456550 140733064456689 140733064456689 140733064462281 0
/proc/120983/statm: 75466 73856 608 696 0 74627 0
Current children cumulated CPU time: 3331.01 s
Current children cumulated vsize: 2234608 KiB
Current children cumulated memory: 951460 KiB

[startup+3402.3 s]
/proc/loadavg: 2.10 2.09 2.29 3/241 121165
/proc/meminfo: memFree=105668224/131382120 swapFree=33010416/33010684
[pid=120889] ppid=120886 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/120889/stat : 120889 (scip-naps-1.00a) S 120886 120889 119325 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 142115814 4292608 768 18446744073709551615 94267476238336 94267477132869 140730287468080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94267477371920 94267477419664 94267505213440 140730287471003 140730287471102 140730287471102 140730287476706 0
/proc/120889/statm: 1048 768 704 219 0 110 0
[pid=120894] ppid=120889 vsize=1928552 memory=652964 CPUtime=997.52 cores=0,2
/proc/120894/stat : 120894 (python3) S 120889 120889 119325 0 -1 4194304 151115 0 0 0 99715 37 0 0 20 0 1 0 142115817 1974837248 163241 18446744073709551615 93965184466944 93965184467321 140733616402288 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 93965184478616 93965184479236 93965196783616 140733616404830 140733616405024 140733616405024 140733616410599 0
/proc/120894/statm: 482138 163241 8167 1 0 453496 0
[pid=120983] ppid=120894 vsize=357556 memory=351116 CPUtime=2393.28 cores=0,2
/proc/120983/stat : 120983 (naps-1.03a6) R 120894 120983 120983 0 -1 4194304 115733 0 0 0 239207 121 0 0 20 0 1 0 142215885 366137344 87779 18446744073709551615 4198400 7047149 140733064453664 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8208384 140733064456550 140733064456689 140733064456689 140733064462281 0
/proc/120983/statm: 89389 87779 608 696 0 88550 0
Current children cumulated CPU time: 3390.8 s
Current children cumulated vsize: 2290300 KiB
Current children cumulated memory: 1007152 KiB

[startup+3462.3 s]
/proc/loadavg: 2.11 2.09 2.27 3/241 121167
/proc/meminfo: memFree=105465136/131382120 swapFree=33010416/33010684
[pid=120889] ppid=120886 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/120889/stat : 120889 (scip-naps-1.00a) S 120886 120889 119325 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 142115814 4292608 768 18446744073709551615 94267476238336 94267477132869 140730287468080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94267477371920 94267477419664 94267505213440 140730287471003 140730287471102 140730287471102 140730287476706 0
/proc/120889/statm: 1048 768 704 219 0 110 0
[pid=120894] ppid=120889 vsize=1928552 memory=652964 CPUtime=997.52 cores=0,2
/proc/120894/stat : 120894 (python3) S 120889 120889 119325 0 -1 4194304 151115 0 0 0 99715 37 0 0 20 0 1 0 142115817 1974837248 163241 18446744073709551615 93965184466944 93965184467321 140733616402288 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 93965184478616 93965184479236 93965196783616 140733616404830 140733616405024 140733616405024 140733616410599 0
/proc/120894/statm: 482138 163241 8167 1 0 453496 0
[pid=120983] ppid=120894 vsize=408312 memory=401872 CPUtime=2453.07 cores=0,2
/proc/120983/stat : 120983 (naps-1.03a6) R 120894 120983 120983 0 -1 4194304 116678 0 0 0 245183 124 0 0 20 0 1 0 142215885 418111488 100468 18446744073709551615 4198400 7047149 140733064453664 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8208384 140733064456550 140733064456689 140733064456689 140733064462281 0
/proc/120983/statm: 102078 100468 608 696 0 101239 0
Current children cumulated CPU time: 3450.59 s
Current children cumulated vsize: 2341056 KiB
Current children cumulated memory: 1057908 KiB

[startup+3522.3 s]
/proc/loadavg: 2.10 2.09 2.26 3/241 121169
/proc/meminfo: memFree=105383592/131382120 swapFree=33010416/33010684
[pid=120889] ppid=120886 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/120889/stat : 120889 (scip-naps-1.00a) S 120886 120889 119325 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 142115814 4292608 768 18446744073709551615 94267476238336 94267477132869 140730287468080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94267477371920 94267477419664 94267505213440 140730287471003 140730287471102 140730287471102 140730287476706 0
/proc/120889/statm: 1048 768 704 219 0 110 0
[pid=120894] ppid=120889 vsize=1928552 memory=652964 CPUtime=997.52 cores=0,2
/proc/120894/stat : 120894 (python3) S 120889 120889 119325 0 -1 4194304 151115 0 0 0 99715 37 0 0 20 0 1 0 142115817 1974837248 163241 18446744073709551615 93965184466944 93965184467321 140733616402288 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 93965184478616 93965184479236 93965196783616 140733616404830 140733616405024 140733616405024 140733616410599 0
/proc/120894/statm: 482138 163241 8167 1 0 453496 0
[pid=120983] ppid=120894 vsize=355464 memory=348940 CPUtime=2512.86 cores=0,2
/proc/120983/stat : 120983 (naps-1.03a6) R 120894 120983 120983 0 -1 4194304 118182 0 0 0 251159 127 0 0 20 0 1 0 142215885 363995136 87235 18446744073709551615 4198400 7047149 140733064453664 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8208384 140733064456550 140733064456689 140733064456689 140733064462281 0
/proc/120983/statm: 88866 87235 608 696 0 88027 0
Current children cumulated CPU time: 3510.38 s
Current children cumulated vsize: 2288208 KiB
Current children cumulated memory: 1004976 KiB

[startup+3582.3 s]
/proc/loadavg: 2.08 2.08 2.25 3/241 121173
/proc/meminfo: memFree=105271680/131382120 swapFree=33010416/33010684
[pid=120889] ppid=120886 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/120889/stat : 120889 (scip-naps-1.00a) S 120886 120889 119325 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 142115814 4292608 768 18446744073709551615 94267476238336 94267477132869 140730287468080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94267477371920 94267477419664 94267505213440 140730287471003 140730287471102 140730287471102 140730287476706 0
/proc/120889/statm: 1048 768 704 219 0 110 0
[pid=120894] ppid=120889 vsize=1928552 memory=652964 CPUtime=997.52 cores=0,2
/proc/120894/stat : 120894 (python3) S 120889 120889 119325 0 -1 4194304 151115 0 0 0 99715 37 0 0 20 0 1 0 142115817 1974837248 163241 18446744073709551615 93965184466944 93965184467321 140733616402288 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 93965184478616 93965184479236 93965196783616 140733616404830 140733616405024 140733616405024 140733616410599 0
/proc/120894/statm: 482138 163241 8167 1 0 453496 0
[pid=120983] ppid=120894 vsize=301864 memory=295424 CPUtime=2572.65 cores=0,2
/proc/120983/stat : 120983 (naps-1.03a6) R 120894 120983 120983 0 -1 4194304 119493 0 0 0 257134 131 0 0 20 0 1 0 142215885 309108736 73856 18446744073709551615 4198400 7047149 140733064453664 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8208384 140733064456550 140733064456689 140733064456689 140733064462281 0
/proc/120983/statm: 75466 73856 608 696 0 74627 0
Current children cumulated CPU time: 3570.17 s
Current children cumulated vsize: 2234608 KiB
Current children cumulated memory: 951460 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.3 s]
/proc/loadavg: 2.10 2.09 2.24 3/240 121175
/proc/meminfo: memFree=105197980/131382120 swapFree=33010416/33010684
[pid=120889] ppid=120886 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/120889/stat : 120889 (scip-naps-1.00a) S 120886 120889 119325 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 142115814 4292608 768 18446744073709551615 94267476238336 94267477132869 140730287468080 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94267477371920 94267477419664 94267505213440 140730287471003 140730287471102 140730287471102 140730287476706 0
/proc/120889/statm: 1048 768 704 219 0 110 0
[pid=120894] ppid=120889 vsize=1928552 memory=652964 CPUtime=997.52 cores=0,2
/proc/120894/stat : 120894 (python3) S 120889 120889 119325 0 -1 4194304 151115 0 0 0 99715 37 0 0 20 0 1 0 142115817 1974837248 163241 18446744073709551615 93965184466944 93965184467321 140733616402288 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 93965184478616 93965184479236 93965196783616 140733616404830 140733616405024 140733616405024 140733616410599 0
/proc/120894/statm: 482138 163241 8167 1 0 453496 0
[pid=120983] ppid=120894 vsize=301864 memory=295424 CPUtime=2602.55 cores=0,2
/proc/120983/stat : 120983 (naps-1.03a6) R 120894 120983 120983 0 -1 4194304 120092 0 0 0 260123 132 0 0 20 0 1 0 142215885 309108736 73856 18446744073709551615 4198400 7047149 140733064453664 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8208384 140733064456550 140733064456689 140733064456689 140733064462281 0
/proc/120983/statm: 75466 73856 608 696 0 74627 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2234608 KiB
Current children cumulated memory: 951460 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.00661 s, system=0.00755 s

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

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

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

[startup+3612.42 s]*
/proc/loadavg: 2.10 2.09 2.24 3/238 121175
/proc/meminfo: memFree=105483924/131382120 swapFree=33010416/33010684
[pid=120894] ppid=120886 vsize=1928552 memory=652964 CPUtime=3600.21 cores=0,2
/proc/120894/stat : 120894 (python3) R 120886 120889 119325 0 -1 4194304 207902 120093 0 0 99724 41 260123 133 20 0 1 0 142115817 1974837248 163241 18446744073709551615 93965184466944 93965184467321 140733616402288 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 93965184478616 93965184479236 93965196783616 140733616404830 140733616405024 140733616405024 140733616410599 0
/proc/120894/statm: 482138 163241 8167 1 0 453496 0
Current cumulated CPU time of completed processes: 0.01416 s
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 1928552 KiB
Current children cumulated memory: 652964 KiB

[startup+3612.6 s]
/proc/loadavg: 2.10 2.09 2.24 3/238 121175
/proc/meminfo: memFree=105483924/131382120 swapFree=33010416/33010684
[pid=120894] ppid=120886 vsize=1731720 memory=524248 CPUtime=3600.38 cores=0,2
/proc/120894/stat : 120894 (python3) R 120886 120889 119325 0 -1 4194304 242472 120093 0 0 99738 44 260123 133 20 0 1 0 142115817 1773281280 131126 18446744073709551615 93965184466944 93965184467321 140733616402288 0 0 0 0 16781312 0 0 0 0 17 0 0 0 0 0 0 93965184478616 93965184479236 93965196783616 140733616404830 140733616405024 140733616405024 140733616410599 0
/proc/120894/statm: 432866 131062 8167 1 0 404224 0
Current cumulated CPU time of completed processes: 0.01416 s
Current children cumulated CPU time: 3600.38 s
Current children cumulated vsize: 1731720 KiB
Current children cumulated memory: 524248 KiB

Child status: 0

Real time (s): 3612.63
CPU time (s): 3600.44
CPU user time (s): 3598.63
CPU system time (s): 1.80815
CPU usage (%): 99.6625
Max. virtual memory (cumulated for all children) (KiB): 2504904
Max. memory (cumulated for all children) (KiB): 1190184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.63
system time used= 1.80815
maximum resident set size= 652964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364802
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 354
involuntary context switches= 7925


# summary of solver processes directly reported to runsolver:
#   pid: 120889,120894
#   total CPU time (s): 3600.44
#   total CPU user time (s): 3598.63
#   total CPU system time (s): 1.80815

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6642 second user time and 37.1191 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-11 22:06:11
IDJOB=4530598
IDBENCH=180463
IDSOLVER=3388
FILE ID=nodeC003/4530598-1752264371
RUNJOBID= nodeC003-1752257289-119335
SLURM_JOB_ID= 9682606
Free space on /tmp= 432008 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-AztecDiamondSym-mini-07_c24.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4530598-1752264371/watcher-4530598-1752264371 -o /tmp/evaluation-result-4530598-1752264371/solver-4530598-1752264371 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752257289-119335 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4530598-1752264371.opb

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

MD5SUM BENCH= 7b7d352a7105ac7993395b7f6c3b04bc
RANDOM SEED=1629440515

nodeC003 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		: 1197.464
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.44
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		: 3595.125
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.44
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.164
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.242
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.44
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		: 3658.492
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.44
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.694
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.44
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.372
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.44
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.322
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        112106384 kB
MemAvailable:   112529252 kB
Buffers:            2736 kB
Cached:          1215536 kB
SwapCached:           36 kB
Active:         17958508 kB
Inactive:         669356 kB
Active(anon):   17419912 kB
Inactive(anon):     7604 kB
Active(file):     538596 kB
Inactive(file):   661752 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6980 kB
Writeback:            12 kB
AnonPages:      17405840 kB
Mapped:           133084 kB
Shmem:             17924 kB
KReclaimable:     124292 kB
Slab:             213392 kB
SReclaimable:     124292 kB
SUnreclaim:        89100 kB
KernelStack:        4128 kB
PageTables:        37852 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   24646344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149512 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10790912 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431580 MiB
End job on nodeC003 at 2025-07-11 23:06:24