Trace number 4522425

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.00a1? (MO) 2078.18 2084.48

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2010/normalized-bab3.opb
MD5SUM5650d49d55a36e62ab842bae231a0f3b
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 benchmark-9098882
Best CPU time to get the best result obtained on this benchmark3600.71
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables393800
Total number of constraints23067
Number of constraints which are clauses17479
Number of constraints which are cardinality constraints (but not clauses)1092
Number of constraints which are nor clauses,nor cardinality constraints4496
Minimum length of a constraint1
Maximum length of a constraint101656
Number of terms in the objective function 122664
Biggest coefficient in the objective function 30378
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 500013378
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 4511353
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 500013378
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1000.69/1004.04	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4522425-1751579409.opb
1000.69/1004.04	c Solving mode: optimization
1000.69/1004.04	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
1000.69/1004.04	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
1000.69/1004.04	c original problem has 393800 variables (393800 bin, 0 int, 0 impl, 0 cont) and 23067 constraints
1000.69/1004.04	c presolving:
1000.69/1004.04	c (round 1, fast)       380 del vars, 348 del conss, 0 add conss, 288 chg bounds, 156 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1777 clqs
1000.69/1004.04	c (round 2, exhaustive) 380 del vars, 504 del conss, 0 add conss, 288 chg bounds, 156 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1777 clqs
1000.69/1004.04	c (round 3, exhaustive) 380 del vars, 504 del conss, 0 add conss, 288 chg bounds, 156 chg sides, 0 chg coeffs, 19501 upgd conss, 0 impls, 1777 clqs
1000.69/1004.04	c (round 4, medium)     401 del vars, 525 del conss, 0 add conss, 288 chg bounds, 156 chg sides, 0 chg coeffs, 19501 upgd conss, 0 impls, 1777 clqs
1000.69/1004.04	c (round 5, medium)     422 del vars, 546 del conss, 0 add conss, 288 chg bounds, 156 chg sides, 0 chg coeffs, 19501 upgd conss, 0 impls, 1798 clqs
1000.69/1004.04	c (round 6, medium)     443 del vars, 567 del conss, 0 add conss, 288 chg bounds, 156 chg sides, 0 chg coeffs, 19501 upgd conss, 0 impls, 1819 clqs
1000.69/1004.04	c (round 7, medium)     464 del vars, 588 del conss, 0 add conss, 288 chg bounds, 156 chg sides, 0 chg coeffs, 19501 upgd conss, 0 impls, 1840 clqs
1000.69/1004.04	c (round 8, exhaustive) 464 del vars, 588 del conss, 0 add conss, 288 chg bounds, 156 chg sides, 0 chg coeffs, 19553 upgd conss, 0 impls, 1861 clqs
1000.69/1004.04	c    (31.0s) sparsify aborted: 302184/3097377 (9.8%) nonzeros canceled - in total 302184 canceled nonzeros, 399704 changed coefficients, 0 added nonzeros
1000.69/1004.04	c (round 9, exhaustive) 464 del vars, 588 del conss, 0 add conss, 288 chg bounds, 156 chg sides, 399705 chg coeffs, 19553 upgd conss, 0 impls, 1861 clqs
1000.69/1004.04	c (round 10, exhaustive) 464 del vars, 588 del conss, 0 add conss, 288 chg bounds, 156 chg sides, 399705 chg coeffs, 19573 upgd conss, 0 impls, 1862 clqs
1000.69/1004.04	c    (148.6s) probing: 1000/393336 (0.3%) - 0 fixings, 0 aggregations, 1389512 implications, 0 bound changes
1000.69/1004.04	c    (148.7s) probing: 1001/393336 (0.3%) - 0 fixings, 0 aggregations, 1391239 implications, 0 bound changes
1000.69/1004.04	c    (148.7s) probing aborted: 1000/1000 successive useless probings
1000.69/1004.04	c    (149.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1000.69/1004.04	c    (150.8s) symmetry computation finished: 3 generators found (max: 162, log10 of symmetry group size: 0.0) (symcode time: 0.18)
1000.69/1004.04	c dynamic symmetry handling statistics:
1000.69/1004.04	c    orbitopal reduction:       no components
1000.69/1004.04	c    orbital reduction:         no components
1000.69/1004.04	c    lexicographic reduction:    3 permutations with support sizes 12312, 12312, 12312
1000.69/1004.04	c handled 3 out of 3 symmetry components
1000.69/1004.04	c presolving (11 rounds: 11 fast, 10 medium, 6 exhaustive):
1000.69/1004.04	c  464 deleted vars, 588 deleted constraints, 0 added constraints, 288 tightened bounds, 0 added holes, 156 changed sides, 399705 changed coefficients
1000.69/1004.04	c  0 implications, 1393101 cliques
1000.69/1004.04	c presolved problem has 393336 variables (393336 bin, 0 int, 0 impl, 0 cont) and 22479 constraints
1000.69/1004.04	c     489 constraints of type <knapsack>
1000.69/1004.04	c    1693 constraints of type <setppc>
1000.69/1004.04	c    3010 constraints of type <linear>
1000.69/1004.04	c   17287 constraints of type <logicor>
1000.69/1004.04	c transformed objective value is always integral (scale: 1)
1000.69/1004.04	c Presolving Time: 150.27
1000.69/1004.04	c 
1000.69/1004.04	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1000.69/1004.04	c  1000s|     1 |     0 |129982 |     - |  3590M |   0 | 393k|  22k|  22k|   0 |  0 |  66 |   0 |-8.321902e+07 |      --      |    Inf | unknown
1000.69/1004.04	c (node 1) LP solver hit time limit in LP 1 -- using pseudo solution instead
1000.69/1004.04	c 
1000.69/1004.04	c SCIP Status        : solving was interrupted [time limit reached]
1000.69/1004.04	c Solving Time (sec) : 1000.27
1000.69/1004.04	c Solving Nodes      : 1
1000.69/1004.04	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1000.69/1004.04	c Dual Bound         : -8.32190200000000e+07
1000.69/1004.04	c Gap                : infinite
1000.69/1004.04	c ----------------------------------------------------------------------
1000.69/1004.04	c dual bound: -83219020.0 -> -83219020
1000.69/1004.04	c primal bound: 1e+20 -> 100000000000000000000
1000.69/1004.04	c scip-goal-lb: -83219020
1000.69/1004.04	c scip-goal-ub: 100000000000000000000
1000.69/1004.04	c writing output to: HOME/tmpgkx10fj5.opb
1000.69/1004.04	c appending fixed variable constraints
1000.69/1004.04	c scip-fixed vars: 0.07% (288/393336)
1000.69/1004.04	c ----------------------------------------------------------------------
1000.69/1004.04	c executing external solver: HOME/naps-1.03a6
1000.69/1004.04	c ----------------------------------------------------------------------
1000.69/1004.04	c command: HOME/naps-1.03a6 -goal-lb=-83219020 -goal-ub=99999999999999999999 HOME/tmpgkx10fj5.opb
1000.75/1004.14	c NaPS 1.03a6.
1000.75/1004.14	c Input file name: HOME/tmpgkx10fj5.opb
2075.89/2082.20	c
2075.89/2082.20	c *** TERMINATED *** by signal 15
2075.89/2082.20	c _____________________________________________________________________________
2075.89/2082.20	c std/band forms        : 5594,1072
2075.89/2082.20	c 2cl/3cl ITE-codings   : 0,0
2075.89/2082.20	c BDD/srt/adr Max costs : 49836396,36450126,0
2075.89/2082.20	c BDDraw/bin/mul/srt/adr: 1074,0,0,5591,0
2075.89/2082.20	c BDD nodes             : 88831155
2075.89/2082.20	c Es1/CC detections     : 0,0
2075.89/2082.20	c CC sort               : 3681
2075.89/2082.20	c SAT/UNSAT calls       : 0,0
2075.89/2082.20	c regenrated variables  : 0
2075.89/2082.20	c eliminated fixed lits : 1536
2075.89/2082.20	c goal lit flips        : 0
2075.89/2082.20	c goal stages           : 0
2075.89/2082.20	c goal shrink           : 0
2075.89/2082.20	c goal coeff separations: 0
2075.89/2082.20	c restarts              : 0
2075.89/2082.20	c conflicts             : 0              (0 /sec)
2075.89/2082.20	c decisions             : 0              (0 /sec)
2075.89/2082.20	c propagations          : 0              (0 /sec)
2075.89/2082.20	c inspects              : 0              (0 /sec)
2075.89/2082.20	c CPU time (solving tm) : 1064 s        (0 s, SAT 0 s, UNSAT 0 s)
2075.89/2082.20	c Time for Opt-base     : 3.756 s
2075.89/2082.20	c Steps for Opt-base    : 18298080
2075.89/2082.20	c Time for BDD coding   : 925.5 s
2075.89/2082.20	c Time for srt coding   : 110.1 s
2075.89/2082.20	c _____________________________________________________________________________
1000.77/2082.85	c received SIGTERM, forwarding to pbsolver...
1000.77/2082.85	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 (58919 MiB free)
  memory of node 1: 64465 MiB (63506 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522425-1751579409/watcher-4522425-1751579409 -o /tmp/evaluation-result-4522425-1751579409/solver-4522425-1751579409 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751572033-82176 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4522425-1751579409.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100064 s]*
/proc/loadavg: 4.18 4.18 4.19 5/255 83702
/proc/meminfo: memFree=125360788/131382112 swapFree=33002444/33010684
[pid=83697] ppid=83694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83697/stat : 83697 (scip-naps-1.00.) S 83694 83697 82164 0 -1 4194304 256 1837 0 0 0 0 0 0 20 0 1 0 73620409 4292608 736 18446744073709551615 94887286734848 94887287629381 140736709250288 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887287868432 94887287916176 94887308861440 140736709257633 140736709257730 140736709257730 140736709263332 0
/proc/83697/statm: 1048 736 672 219 0 110 0
[pid=83702] ppid=83697 vsize=58800 memory=17024 CPUtime=0.06 cores=1,3
/proc/83702/stat : 83702 (python3) R 83697 83697 82164 0 -1 4194304 1995 0 0 0 5 1 0 0 20 0 1 0 73620412 60211200 4256 18446744073709551615 94544126828544 94544126828921 140733047295456 0 0 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0 94544126840216 94544126840836 94544133025792 140733047298407 140733047298594 140733047298594 140733047304167 0
/proc/83702/statm: 14700 4256 2624 1 0 3435 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 62992 KiB
Current children cumulated memory: 19968 KiB

[startup+0.209741 s]*
/proc/loadavg: 4.18 4.18 4.19 5/255 83702
/proc/meminfo: memFree=125352472/131382112 swapFree=33002444/33010684
[pid=83697] ppid=83694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83697/stat : 83697 (scip-naps-1.00.) S 83694 83697 82164 0 -1 4194304 256 1837 0 0 0 0 0 0 20 0 1 0 73620409 4292608 736 18446744073709551615 94887286734848 94887287629381 140736709250288 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887287868432 94887287916176 94887308861440 140736709257633 140736709257730 140736709257730 140736709263332 0
/proc/83697/statm: 1048 736 672 219 0 110 0
[pid=83702] ppid=83697 vsize=1189108 memory=34076 CPUtime=0.15 cores=1,3
/proc/83702/stat : 83702 (python3) R 83697 83697 82164 0 -1 4194304 4188 0 0 0 13 2 0 0 20 0 1 0 73620412 1217646592 8519 18446744073709551615 94544126828544 94544126828921 140733047295456 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94544126840216 94544126840836 94544133025792 140733047298407 140733047298594 140733047298594 140733047304167 0
/proc/83702/statm: 297277 8519 5035 1 0 269186 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 1193300 KiB
Current children cumulated memory: 37020 KiB

[startup+0.309741 s]*
/proc/loadavg: 4.18 4.18 4.19 5/255 83702
/proc/meminfo: memFree=125352472/131382112 swapFree=33002444/33010684
[pid=83697] ppid=83694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83697/stat : 83697 (scip-naps-1.00.) S 83694 83697 82164 0 -1 4194304 256 1837 0 0 0 0 0 0 20 0 1 0 73620409 4292608 736 18446744073709551615 94887286734848 94887287629381 140736709250288 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887287868432 94887287916176 94887308861440 140736709257633 140736709257730 140736709257730 140736709263332 0
/proc/83697/statm: 1048 736 672 219 0 110 0
[pid=83702] ppid=83697 vsize=1213452 memory=65052 CPUtime=0.25 cores=1,3
/proc/83702/stat : 83702 (python3) R 83697 83697 82164 0 -1 4194304 9556 0 0 0 20 5 0 0 20 0 1 0 73620412 1242574848 16263 18446744073709551615 94544126828544 94544126828921 140733047295456 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94544126840216 94544126840836 94544133025792 140733047298407 140733047298594 140733047298594 140733047304167 0
/proc/83702/statm: 303363 16263 7595 1 0 274721 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1217644 KiB
Current children cumulated memory: 67996 KiB

[startup+0.700306 s]
/proc/loadavg: 4.18 4.18 4.19 5/255 83702
/proc/meminfo: memFree=125255956/131382112 swapFree=33002444/33010684
[pid=83697] ppid=83694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83697/stat : 83697 (scip-naps-1.00.) S 83694 83697 82164 0 -1 4194304 256 1837 0 0 0 0 0 0 20 0 1 0 73620409 4292608 736 18446744073709551615 94887286734848 94887287629381 140736709250288 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887287868432 94887287916176 94887308861440 140736709257633 140736709257730 140736709257730 140736709263332 0
/proc/83697/statm: 1048 736 672 219 0 110 0
[pid=83702] ppid=83697 vsize=1341392 memory=189340 CPUtime=0.63 cores=1,3
/proc/83702/stat : 83702 (python3) R 83697 83697 82164 0 -1 4194304 40596 0 0 0 49 14 0 0 20 0 1 0 73620412 1373585408 47335 18446744073709551615 94544126828544 94544126828921 140733047295456 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94544126840216 94544126840836 94544133025792 140733047298407 140733047298594 140733047298594 140733047304167 0
/proc/83702/statm: 335348 47335 7627 1 0 306706 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 1345584 KiB
Current children cumulated memory: 192284 KiB

[startup+1.5004 s]
/proc/loadavg: 4.18 4.18 4.19 5/255 83702
/proc/meminfo: memFree=125110804/131382112 swapFree=33002444/33010684
[pid=83697] ppid=83694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83697/stat : 83697 (scip-naps-1.00.) S 83694 83697 82164 0 -1 4194304 256 1837 0 0 0 0 0 0 20 0 1 0 73620409 4292608 736 18446744073709551615 94887286734848 94887287629381 140736709250288 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887287868432 94887287916176 94887308861440 140736709257633 140736709257730 140736709257730 140736709263332 0
/proc/83697/statm: 1048 736 672 219 0 110 0
[pid=83702] ppid=83697 vsize=1612408 memory=460400 CPUtime=1.43 cores=1,3
/proc/83702/stat : 83702 (python3) R 83697 83697 82164 0 -1 4194304 107868 0 0 0 114 29 0 0 20 0 1 0 73620412 1651105792 115100 18446744073709551615 94544126828544 94544126828921 140733047295456 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94544126840216 94544126840836 94544133025792 140733047298407 140733047298594 140733047298594 140733047304167 0
/proc/83702/statm: 403102 115100 7627 1 0 374460 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 1616600 KiB
Current children cumulated memory: 463344 KiB

[startup+3.1138 s]
/proc/loadavg: 4.18 4.18 4.19 5/255 83702
/proc/meminfo: memFree=124482064/131382112 swapFree=33002444/33010684
[pid=83697] ppid=83694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83697/stat : 83697 (scip-naps-1.00.) S 83694 83697 82164 0 -1 4194304 256 1837 0 0 0 0 0 0 20 0 1 0 73620409 4292608 736 18446744073709551615 94887286734848 94887287629381 140736709250288 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887287868432 94887287916176 94887308861440 140736709257633 140736709257730 140736709257730 140736709263332 0
/proc/83697/statm: 1048 736 672 219 0 110 0
[pid=83702] ppid=83697 vsize=2120172 memory=966148 CPUtime=3.03 cores=1,3
/proc/83702/stat : 83702 (python3) R 83697 83697 82164 0 -1 4194304 235199 0 0 0 255 48 0 0 20 0 1 0 73620412 2171056128 241537 18446744073709551615 94544126828544 94544126828921 140733047295456 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94544126840216 94544126840836 94544133025792 140733047298407 140733047298594 140733047298594 140733047304167 0
/proc/83702/statm: 530043 241537 7787 1 0 501401 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 2124364 KiB
Current children cumulated memory: 969092 KiB

[startup+6.3004 s]
/proc/loadavg: 4.17 4.18 4.19 5/255 83703
/proc/meminfo: memFree=123817224/131382112 swapFree=33002444/33010684
[pid=83697] ppid=83694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83697/stat : 83697 (scip-naps-1.00.) S 83694 83697 82164 0 -1 4194304 256 1837 0 0 0 0 0 0 20 0 1 0 73620409 4292608 736 18446744073709551615 94887286734848 94887287629381 140736709250288 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887287868432 94887287916176 94887308861440 140736709257633 140736709257730 140736709257730 140736709263332 0
/proc/83697/statm: 1048 736 672 219 0 110 0
[pid=83702] ppid=83697 vsize=2808584 memory=1614036 CPUtime=6.22 cores=1,3
/proc/83702/stat : 83702 (python3) R 83697 83697 82164 0 -1 4194304 393006 0 0 0 549 73 0 0 20 0 1 0 73620412 2875990016 403509 18446744073709551615 94544126828544 94544126828921 140733047295456 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94544126840216 94544126840836 94544133025792 140733047298407 140733047298594 140733047298594 140733047304167 0
/proc/83702/statm: 702146 403509 7883 1 0 673504 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 2812776 KiB
Current children cumulated memory: 1616980 KiB

[startup+12.7003 s]
/proc/loadavg: 4.23 4.20 4.19 5/255 83703
/proc/meminfo: memFree=123792904/131382112 swapFree=33002444/33010684
[pid=83697] ppid=83694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83697/stat : 83697 (scip-naps-1.00.) S 83694 83697 82164 0 -1 4194304 256 1837 0 0 0 0 0 0 20 0 1 0 73620409 4292608 736 18446744073709551615 94887286734848 94887287629381 140736709250288 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887287868432 94887287916176 94887308861440 140736709257633 140736709257730 140736709257730 140736709263332 0
/proc/83697/statm: 1048 736 672 219 0 110 0
[pid=83702] ppid=83697 vsize=2822416 memory=1638996 CPUtime=12.6 cores=1,3
/proc/83702/stat : 83702 (python3) R 83697 83697 82164 0 -1 4194304 398801 0 0 0 1186 74 0 0 20 0 1 0 73620412 2890153984 409749 18446744073709551615 94544126828544 94544126828921 140733047295456 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94544126840216 94544126840836 94544133025792 140733047298407 140733047298594 140733047298594 140733047304167 0
/proc/83702/statm: 705604 409749 7915 1 0 676962 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 2826608 KiB
Current children cumulated memory: 1641940 KiB

[startup+25.5004 s]
/proc/loadavg: 4.18 4.18 4.19 5/255 83703
/proc/meminfo: memFree=123792904/131382112 swapFree=33002444/33010684
[pid=83697] ppid=83694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83697/stat : 83697 (scip-naps-1.00.) S 83694 83697 82164 0 -1 4194304 256 1837 0 0 0 0 0 0 20 0 1 0 73620409 4292608 736 18446744073709551615 94887286734848 94887287629381 140736709250288 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887287868432 94887287916176 94887308861440 140736709257633 140736709257730 140736709257730 140736709263332 0
/proc/83697/statm: 1048 736 672 219 0 110 0
[pid=83702] ppid=83697 vsize=2841672 memory=1649104 CPUtime=25.37 cores=1,3
/proc/83702/stat : 83702 (python3) R 83697 83697 82164 0 -1 4194304 399987 0 0 0 2463 74 0 0 20 0 1 0 73620412 2909872128 412276 18446744073709551615 94544126828544 94544126828921 140733047295456 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94544126840216 94544126840836 94544133025792 140733047298407 140733047298594 140733047298594 140733047304167 0
/proc/83702/statm: 710418 412276 7947 1 0 681776 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 2845864 KiB
Current children cumulated memory: 1652048 KiB

[startup+51.1137 s]
/proc/loadavg: 4.12 4.17 4.18 5/255 83703
/proc/meminfo: memFree=122938892/131382112 swapFree=33002444/33010684
[pid=83697] ppid=83694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83697/stat : 83697 (scip-naps-1.00.) S 83694 83697 82164 0 -1 4194304 256 1837 0 0 0 0 0 0 20 0 1 0 73620409 4292608 736 18446744073709551615 94887286734848 94887287629381 140736709250288 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887287868432 94887287916176 94887308861440 140736709257633 140736709257730 140736709257730 140736709263332 0
/proc/83697/statm: 1048 736 672 219 0 110 0
[pid=83702] ppid=83697 vsize=3807284 memory=2488672 CPUtime=50.92 cores=1,3
/proc/83702/stat : 83702 (python3) R 83697 83697 82164 0 -1 4194304 435752 0 0 0 4999 93 0 0 20 0 1 0 73620412 3898658816 622168 18446744073709551615 94544126828544 94544126828921 140733047295456 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94544126840216 94544126840836 94544133025792 140733047298407 140733047298594 140733047298594 140733047304167 0
/proc/83702/statm: 951821 622168 7947 1 0 923179 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 3811476 KiB
Current children cumulated memory: 2491616 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.16 4.18 5/255 83705
/proc/meminfo: memFree=122790960/131382112 swapFree=33002444/33010684
[pid=83697] ppid=83694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83697/stat : 83697 (scip-naps-1.00.) S 83694 83697 82164 0 -1 4194304 256 1837 0 0 0 0 0 0 20 0 1 0 73620409 4292608 736 18446744073709551615 94887286734848 94887287629381 140736709250288 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887287868432 94887287916176 94887308861440 140736709257633 140736709257730 140736709257730 140736709263332 0
/proc/83697/statm: 1048 736 672 219 0 110 0
[pid=83702] ppid=83697 vsize=3932808 memory=2611612 CPUtime=101.96 cores=1,3
/proc/83702/stat : 83702 (python3) R 83697 83697 82164 0 -1 4194304 465981 0 0 0 10096 100 0 0 20 0 1 0 73620412 4027195392 652903 18446744073709551615 94544126828544 94544126828921 140733047295456 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94544126840216 94544126840836 94544133025792 140733047298407 140733047298594 140733047298594 140733047304167 0
/proc/83702/statm: 983202 652903 7947 1 0 954560 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 3937000 KiB
Current children cumulated memory: 2614556 KiB

[startup+162.3 s]
/proc/loadavg: 4.37 4.21 4.19 5/255 83707
/proc/meminfo: memFree=121973184/131382112 swapFree=33002444/33010684
[pid=83697] ppid=83694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83697/stat : 83697 (scip-naps-1.00.) S 83694 83697 82164 0 -1 4194304 256 1837 0 0 0 0 0 0 20 0 1 0 73620409 4292608 736 18446744073709551615 94887286734848 94887287629381 140736709250288 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887287868432 94887287916176 94887308861440 140736709257633 140736709257730 140736709257730 140736709263332 0
/proc/83697/statm: 1048 736 672 219 0 110 0
[pid=83702] ppid=83697 vsize=4775740 memory=3297764 CPUtime=161.78 cores=1,3
/proc/83702/stat : 83702 (python3) R 83697 83697 82164 0 -1 4194304 595292 0 0 0 16048 130 0 0 20 0 1 0 73620412 4890357760 824441 18446744073709551615 94544126828544 94544126828921 140733047295456 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94544126840216 94544126840836 94544133025792 140733047298407 140733047298594 140733047298594 140733047304167 0
/proc/83702/statm: 1193935 824441 8075 1 0 1165293 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 4779932 KiB
Current children cumulated memory: 3300708 KiB

[startup+222.3 s]
/proc/loadavg: 4.63 4.33 4.24 5/255 83709
/proc/meminfo: memFree=122040232/131382112 swapFree=33002444/33010684
[pid=83697] ppid=83694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83697/stat : 83697 (scip-naps-1.00.) S 83694 83697 82164 0 -1 4194304 256 1837 0 0 0 0 0 0 20 0 1 0 73620409 4292608 736 18446744073709551615 94887286734848 94887287629381 140736709250288 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887287868432 94887287916176 94887308861440 140736709257633 140736709257730 140736709257730 140736709263332 0
/proc/83697/statm: 1048 736 672 219 0 110 0
[pid=83702] ppid=83697 vsize=4775900 memory=3298660 CPUtime=221.59 cores=1,3
/proc/83702/stat : 83702 (python3) R 83697 83697 82164 0 -1 4194304 595515 0 0 0 22029 130 0 0 20 0 1 0 73620412 4890521600 824665 18446744073709551615 94544126828544 94544126828921 140733047295456 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94544126840216 94544126840836 94544133025792 140733047298407 140733047298594 140733047298594 140733047304167 0
/proc/83702/statm: 1193975 824665 8075 1 0 1165333 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 4780092 KiB

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

/proc/83702/statm: 1327789 947736 8139 1 0 1299147 0
[pid=83925] ppid=83702 vsize=23548008 memory=23503976 CPUtime=776.07 cores=1,3
/proc/83925/stat : 83925 (naps-1.03a6) R 83702 83925 83925 0 -1 4194304 4989119 0 0 0 76591 1016 0 0 20 0 1 0 73720817 24113160192 5875994 18446744073709551615 4198400 7047149 140729867440736 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 17453056 140729867446624 140729867446771 140729867446771 140729867452361 0
/proc/83925/statm: 5887002 5875994 576 696 0 5886163 0
Current children cumulated CPU time: 1776.82 s
Current children cumulated vsize: 28863356 KiB
Current children cumulated memory: 27297864 KiB

[startup+1842.3 s]
/proc/loadavg: 4.17 4.14 4.14 5/256 84012
/proc/meminfo: memFree=82026816/131382112 swapFree=33002444/33010684
[pid=83697] ppid=83694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83697/stat : 83697 (scip-naps-1.00.) S 83694 83697 82164 0 -1 4194304 256 1837 0 0 0 0 0 0 20 0 1 0 73620409 4292608 736 18446744073709551615 94887286734848 94887287629381 140736709250288 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887287868432 94887287916176 94887308861440 140736709257633 140736709257730 140736709257730 140736709263332 0
/proc/83697/statm: 1048 736 672 219 0 110 0
[pid=83702] ppid=83697 vsize=5311156 memory=3790944 CPUtime=1000.75 cores=1,3
/proc/83702/stat : 83702 (python3) S 83697 83697 82164 0 -1 4194304 694897 0 0 0 99900 175 0 0 20 0 1 0 73620412 5438623744 947736 18446744073709551615 94544126828544 94544126828921 140733047295456 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94544126840216 94544126840836 94544133025792 140733047298407 140733047298594 140733047298594 140733047304167 0
/proc/83702/statm: 1327789 947736 8139 1 0 1299147 0
[pid=83925] ppid=83702 vsize=24080104 memory=23587944 CPUtime=835.9 cores=1,3
/proc/83925/stat : 83925 (naps-1.03a6) R 83702 83925 83925 0 -1 4194304 4996133 0 0 0 82572 1018 0 0 20 0 1 0 73720817 24658026496 5896986 18446744073709551615 4198400 7047149 140729867440736 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 17453056 140729867446624 140729867446771 140729867446771 140729867452361 0
/proc/83925/statm: 6020026 5896986 576 696 0 6019187 0
Current children cumulated CPU time: 1836.65 s
Current children cumulated vsize: 29395452 KiB
Current children cumulated memory: 27381832 KiB

[startup+1902.3 s]
/proc/loadavg: 4.18 4.14 4.14 5/256 84014
/proc/meminfo: memFree=82458728/131382112 swapFree=33002444/33010684
[pid=83697] ppid=83694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83697/stat : 83697 (scip-naps-1.00.) S 83694 83697 82164 0 -1 4194304 256 1837 0 0 0 0 0 0 20 0 1 0 73620409 4292608 736 18446744073709551615 94887286734848 94887287629381 140736709250288 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887287868432 94887287916176 94887308861440 140736709257633 140736709257730 140736709257730 140736709263332 0
/proc/83697/statm: 1048 736 672 219 0 110 0
[pid=83702] ppid=83697 vsize=5311156 memory=3790944 CPUtime=1000.75 cores=1,3
/proc/83702/stat : 83702 (python3) S 83697 83697 82164 0 -1 4194304 694897 0 0 0 99900 175 0 0 20 0 1 0 73620412 5438623744 947736 18446744073709551615 94544126828544 94544126828921 140733047295456 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94544126840216 94544126840836 94544133025792 140733047298407 140733047298594 140733047298594 140733047304167 0
/proc/83702/statm: 1327789 947736 8139 1 0 1299147 0
[pid=83925] ppid=83702 vsize=24080104 memory=23667816 CPUtime=895.74 cores=1,3
/proc/83925/stat : 83925 (naps-1.03a6) R 83702 83925 83925 0 -1 4194304 5002762 0 0 0 88553 1021 0 0 20 0 1 0 73720817 24658026496 5916954 18446744073709551615 4198400 7047149 140729867440736 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 17453056 140729867446624 140729867446771 140729867446771 140729867452361 0
/proc/83925/statm: 6020026 5916954 576 696 0 6019187 0
Current children cumulated CPU time: 1896.49 s
Current children cumulated vsize: 29395452 KiB
Current children cumulated memory: 27461704 KiB

[startup+1962.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/256 84016
/proc/meminfo: memFree=82606780/131382112 swapFree=33002444/33010684
[pid=83697] ppid=83694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83697/stat : 83697 (scip-naps-1.00.) S 83694 83697 82164 0 -1 4194304 256 1837 0 0 0 0 0 0 20 0 1 0 73620409 4292608 736 18446744073709551615 94887286734848 94887287629381 140736709250288 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887287868432 94887287916176 94887308861440 140736709257633 140736709257730 140736709257730 140736709263332 0
/proc/83697/statm: 1048 736 672 219 0 110 0
[pid=83702] ppid=83697 vsize=5311156 memory=3790944 CPUtime=1000.75 cores=1,3
/proc/83702/stat : 83702 (python3) S 83697 83697 82164 0 -1 4194304 694897 0 0 0 99900 175 0 0 20 0 1 0 73620412 5438623744 947736 18446744073709551615 94544126828544 94544126828921 140733047295456 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94544126840216 94544126840836 94544133025792 140733047298407 140733047298594 140733047298594 140733047304167 0
/proc/83702/statm: 1327789 947736 8139 1 0 1299147 0
[pid=83925] ppid=83702 vsize=24080104 memory=23682152 CPUtime=955.57 cores=1,3
/proc/83925/stat : 83925 (naps-1.03a6) R 83702 83925 83925 0 -1 4194304 5007974 0 0 0 94526 1031 0 0 20 0 1 0 73720817 24658026496 5920538 18446744073709551615 4198400 7047149 140729867440736 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 17453056 140729867446624 140729867446771 140729867446771 140729867452361 0
/proc/83925/statm: 6020026 5920538 576 696 0 6019187 0
Current children cumulated CPU time: 1956.32 s
Current children cumulated vsize: 29395452 KiB
Current children cumulated memory: 27476040 KiB

[startup+2022.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/256 84018
/proc/meminfo: memFree=82500616/131382112 swapFree=33002444/33010684
[pid=83697] ppid=83694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83697/stat : 83697 (scip-naps-1.00.) S 83694 83697 82164 0 -1 4194304 256 1837 0 0 0 0 0 0 20 0 1 0 73620409 4292608 736 18446744073709551615 94887286734848 94887287629381 140736709250288 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887287868432 94887287916176 94887308861440 140736709257633 140736709257730 140736709257730 140736709263332 0
/proc/83697/statm: 1048 736 672 219 0 110 0
[pid=83702] ppid=83697 vsize=5311156 memory=3790944 CPUtime=1000.75 cores=1,3
/proc/83702/stat : 83702 (python3) S 83697 83697 82164 0 -1 4194304 694897 0 0 0 99900 175 0 0 20 0 1 0 73620412 5438623744 947736 18446744073709551615 94544126828544 94544126828921 140733047295456 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94544126840216 94544126840836 94544133025792 140733047298407 140733047298594 140733047298594 140733047304167 0
/proc/83702/statm: 1327789 947736 8139 1 0 1299147 0
[pid=83925] ppid=83702 vsize=24080104 memory=23929960 CPUtime=1015.4 cores=1,3
/proc/83925/stat : 83925 (naps-1.03a6) R 83702 83925 83925 0 -1 4194304 5013423 0 0 0 100490 1050 0 0 20 0 1 0 73720817 24658026496 5982490 18446744073709551615 4198400 7047149 140729867440736 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 17453056 140729867446624 140729867446771 140729867446771 140729867452361 0
/proc/83925/statm: 6020026 5982490 576 696 0 6019187 0
Current children cumulated CPU time: 2016.15 s
Current children cumulated vsize: 29395452 KiB
Current children cumulated memory: 27723848 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+2082.2 s]
/proc/loadavg: 4.14 4.14 4.13 5/256 84020
/proc/meminfo: memFree=81944428/131382112 swapFree=33002444/33010684
[pid=83697] ppid=83694 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83697/stat : 83697 (scip-naps-1.00.) S 83694 83697 82164 0 -1 4194304 256 1837 0 0 0 0 0 0 20 0 1 0 73620409 4292608 736 18446744073709551615 94887286734848 94887287629381 140736709250288 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94887287868432 94887287916176 94887308861440 140736709257633 140736709257730 140736709257730 140736709263332 0
/proc/83697/statm: 1048 736 672 219 0 110 0
[pid=83702] ppid=83697 vsize=5311156 memory=3790944 CPUtime=1000.75 cores=1,3
/proc/83702/stat : 83702 (python3) S 83697 83697 82164 0 -1 4194304 694897 0 0 0 99900 175 0 0 20 0 1 0 73620412 5438623744 947736 18446744073709551615 94544126828544 94544126828921 140733047295456 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94544126840216 94544126840836 94544133025792 140733047298407 140733047298594 140733047298594 140733047304167 0
/proc/83702/statm: 1327789 947736 8139 1 0 1299147 0
[pid=83925] ppid=83702 vsize=30277480 memory=24588620 CPUtime=1075.14 cores=1,3
/proc/83925/stat : 83925 (naps-1.03a6) R 83702 83925 83925 0 -1 4194304 5020099 0 0 0 106439 1075 0 0 20 0 1 0 73720817 31004139520 6147155 18446744073709551615 4198400 7047149 140729867440736 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 17453056 140729867446624 140729867446771 140729867446771 140729867452361 0
/proc/83925/statm: 7569370 6147155 576 696 0 7568531 0
Current children cumulated CPU time: 2075.89 s
Current children cumulated vsize: 35592828 KiB
Current children cumulated memory: 28382508 KiB

Sending SIGTERM to process tree (bottom up)

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

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

[startup+2082.31 s]*
/proc/loadavg: 4.14 4.14 4.13 5/255 84020
/proc/meminfo: memFree=85216364/131382112 swapFree=33002444/33010684
[pid=83702] ppid=83694 vsize=5311156 memory=3790944 CPUtime=1000.75 cores=1,3
/proc/83702/stat : 83702 (python3) S 83694 83697 82164 0 -1 4194304 694915 0 0 0 99900 175 0 0 20 0 1 0 73620412 5438623744 947736 18446744073709551615 94544126828544 94544126828921 140733047295456 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94544126840216 94544126840836 94544133025792 140733047298407 140733047298594 140733047298594 140733047304167 0
/proc/83702/statm: 1327789 947736 8139 1 0 1299147 0
Current cumulated CPU time of completed processes: 0.016115 s
Current children cumulated CPU time: 1000.75 s
Current children cumulated vsize: 5311156 KiB
Current children cumulated memory: 3790944 KiB
heavy processes:

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

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

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

Solver just ended.
Dumping a history of the last processes samples

[startup+2083.2 s]
/proc/loadavg: 4.14 4.14 4.13 5/254 84020
/proc/meminfo: memFree=106445284/131382112 swapFree=33002444/33010684
[pid=83702] ppid=83694 vsize=5311156 memory=3790944 CPUtime=2076.88 cores=1,3
/proc/83702/stat : 83702 (python3) R 83694 83697 82164 0 -1 4194304 807371 5020101 0 0 99919 189 106439 1141 20 0 1 0 73620412 5438623744 947736 18446744073709551615 94544126828544 94544126828921 140733047295456 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94544126840216 94544126840836 94544133025792 140733047298407 140733047298594 140733047298594 140733047304167 0
/proc/83702/statm: 1327789 947736 8139 1 0 1299147 0
Current cumulated CPU time of completed processes: 0.016115 s
Current children cumulated CPU time: 2076.88 s
Current children cumulated vsize: 5311156 KiB
Current children cumulated memory: 3790944 KiB

[startup+2084 s]*
/proc/loadavg: 4.13 4.13 4.13 5/254 84020
/proc/meminfo: memFree=106437344/131382112 swapFree=33002444/33010684
[pid=83702] ppid=83694 vsize=5311156 memory=3790944 CPUtime=2077.68 cores=1,3
/proc/83702/stat : 83702 (python3) R 83694 83697 82164 0 -1 4194304 866011 5020101 0 0 99991 197 106439 1141 20 0 1 0 73620412 5438623744 947736 18446744073709551615 94544126828544 94544126828921 140733047295456 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94544126840216 94544126840836 94544133025792 140733047298407 140733047298594 140733047298594 140733047304167 0
/proc/83702/statm: 1327789 947736 8139 1 0 1299147 0
Current cumulated CPU time of completed processes: 0.016115 s
Current children cumulated CPU time: 2077.68 s
Current children cumulated vsize: 5311156 KiB
Current children cumulated memory: 3790944 KiB

[startup+2084.2 s]
/proc/loadavg: 4.13 4.13 4.13 5/254 84020
/proc/meminfo: memFree=106437344/131382112 swapFree=33002444/33010684
[pid=83702] ppid=83694 vsize=5311156 memory=3790944 CPUtime=2077.87 cores=1,3
/proc/83702/stat : 83702 (python3) R 83694 83697 82164 0 -1 4194304 874387 5020101 0 0 100009 198 106439 1141 20 0 1 0 73620412 5438623744 947736 18446744073709551615 94544126828544 94544126828921 140733047295456 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94544126840216 94544126840836 94544133025792 140733047298407 140733047298594 140733047298594 140733047304167 0
/proc/83702/statm: 1327789 947736 8139 1 0 1299147 0
Current cumulated CPU time of completed processes: 0.016115 s
Current children cumulated CPU time: 2077.87 s
Current children cumulated vsize: 5311156 KiB
Current children cumulated memory: 3790944 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 2084.48
CPU time (s): 2078.18
CPU user time (s): 2064.49
CPU system time (s): 13.686
CPU usage (%): 99.6977
Max. virtual memory (cumulated for all children) (KiB): 35592828
Max. memory (cumulated for all children) (KiB): 28606636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2064.49
system time used= 13.686
maximum resident set size= 24812748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5896584
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 353
involuntary context switches= 2040


# summary of solver processes directly reported to runsolver:
#   pid: 83697,83702
#   total CPU time (s): 2078.18
#   total CPU user time (s): 2064.49
#   total CPU system time (s): 13.686

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1242 second user time and 22.8481 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-07-03 23:50:10
IDJOB=4522425
IDBENCH=178803
IDSOLVER=3368
FILE ID=nodeC005/4522425-1751579409
RUNJOBID= nodeC005-1751572033-82176
SLURM_JOB_ID= 9598794
Free space on /tmp= 429364 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-bab3.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522425-1751579409/watcher-4522425-1751579409 -o /tmp/evaluation-result-4522425-1751579409/solver-4522425-1751579409 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751572033-82176 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4522425-1751579409.opb

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

MD5SUM BENCH= 5650d49d55a36e62ab842bae231a0f3b
RANDOM SEED=1874854079

nodeC005 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		: 3492.055
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3661.314
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.90
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		: 3691.708
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.90
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.865
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.90
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.851
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        125364568 kB
MemAvailable:   125279416 kB
Buffers:              12 kB
Cached:           702396 kB
SwapCached:          240 kB
Active:          4901916 kB
Inactive:         458676 kB
Active(anon):    4630068 kB
Inactive(anon):    40988 kB
Active(file):     271848 kB
Inactive(file):   417688 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33002444 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             42056 kB
Writeback:             4 kB
AnonPages:       4656700 kB
Mapped:           123144 kB
Shmem:             12868 kB
KReclaimable:     129880 kB
Slab:             216900 kB
SReclaimable:     129880 kB
SUnreclaim:        87020 kB
KernelStack:        4096 kB
PageTables:        13096 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    8598464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149512 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    966656 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:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429176 MiB
End job on nodeC005 at 2025-07-04 00:24:55