Trace number 4545127

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP-NaPS 1.00a1? (MO) 1287.51 1290.8

General information on the benchmark

NamePB25/normalized-PB25/DEC-LIN/wallon/
normalized-AverageAvoiding-mini-40_c24.opb
MD5SUMe60f0e926bcd6b192a3b449cde285525
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables103760
Total number of constraints89518
Number of constraints which are clauses19880
Number of constraints which are cardinality constraints (but not clauses)160
Number of constraints which are nor clauses,nor cardinality constraints69478
Minimum length of a constraint1
Maximum length of a constraint85
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1561
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4808
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

500.68/502.03	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4545127-1753226321.opb
500.68/502.03	c Solving mode: decision
500.68/502.03	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
500.68/502.03	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
500.68/502.03	c original problem has 103760 variables (103760 bin, 0 int, 0 impl, 0 cont) and 89518 constraints
500.68/502.03	c presolving:
500.68/502.03	c (round 1, fast)       9960 del vars, 9960 del conss, 9880 add conss, 9959 chg bounds, 29720 chg sides, 29720 chg coeffs, 0 upgd conss, 0 impls, 19920 clqs
500.68/502.03	c (round 2, fast)       10040 del vars, 19959 del conss, 9880 add conss, 10039 chg bounds, 29720 chg sides, 405160 chg coeffs, 0 upgd conss, 0 impls, 29800 clqs
500.68/502.03	c (round 3, fast)       10040 del vars, 20039 del conss, 9880 add conss, 10039 chg bounds, 29720 chg sides, 405160 chg coeffs, 0 upgd conss, 0 impls, 29800 clqs
500.68/502.03	c (round 4, exhaustive) 10040 del vars, 20079 del conss, 9880 add conss, 10039 chg bounds, 29720 chg sides, 405160 chg coeffs, 69359 upgd conss, 0 impls, 29800 clqs
500.68/502.03	c (round 5, medium)     10120 del vars, 20079 del conss, 29640 add conss, 10039 chg bounds, 89080 chg sides, 484280 chg coeffs, 69359 upgd conss, 0 impls, 29805 clqs
500.68/502.03	c (round 6, fast)       10120 del vars, 29959 del conss, 39520 add conss, 10039 chg bounds, 89080 chg sides, 484280 chg coeffs, 69359 upgd conss, 0 impls, 29805 clqs
500.68/502.03	c    (14.5s) probing: 52/93640 (0.1%) - 1 fixings, 0 aggregations, 0 implications, 0 bound changes
500.68/502.03	c    (14.5s) probing aborted: 50/50 successive totally useless probings
500.68/502.03	c    (16.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
500.68/502.03	c    (17.0s) no symmetry present (symcode time: 0.14)
500.68/502.03	c presolving (7 rounds: 7 fast, 3 medium, 2 exhaustive):
500.68/502.03	c  10121 deleted vars, 29959 deleted constraints, 39520 added constraints, 10039 tightened bounds, 0 added holes, 89080 changed sides, 484319 changed coefficients
500.68/502.03	c  0 implications, 29805 cliques
500.68/502.03	c presolved problem has 93639 variables (93639 bin, 0 int, 0 impl, 0 cont) and 99079 constraints
500.68/502.03	c   39559 constraints of type <knapsack>
500.68/502.03	c   29800 constraints of type <setppc>
500.68/502.03	c    9960 constraints of type <linear>
500.68/502.03	c   19760 constraints of type <logicor>
500.68/502.03	c transformed objective value is always integral (scale: 1)
500.68/502.03	c Presolving Time: 16.94
500.68/502.03	c 
500.68/502.03	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
500.68/502.03	c  69.2s|     1 |     0 | 36063 |     - |  3391M |   0 |  93k|  99k|  99k|   0 |  0 |  42 |   0 | 0.000000e+00 |      --      |    Inf | unknown
500.68/502.03	c   256s|     1 |     0 | 84220 |     - |  3436M |   0 |  93k|  99k|  99k|  50 |  1 |  43 |   0 | 0.000000e+00 |      --      |    Inf | unknown
500.68/502.03	c   266s|     1 |     0 | 86698 |     - |  3466M |   0 |  93k|  99k|  99k|  94 |  2 |  44 |   0 | 0.000000e+00 |      --      |    Inf | unknown
500.68/502.03	c   277s|     1 |     0 | 89417 |     - |  3499M |   0 |  93k|  99k|  99k| 134 |  3 |  45 |   0 | 0.000000e+00 |      --      |    Inf | unknown
500.68/502.03	c   290s|     1 |     0 | 95911 |     - |  3514M |   0 |  93k|  99k|  99k| 170 |  4 |  45 |   0 | 0.000000e+00 |      --      |    Inf | unknown
500.68/502.03	c   301s|     1 |     0 | 97756 |     - |  3532M |   0 |  93k|  99k| 100k| 205 |  5 |  47 |   0 | 0.000000e+00 |      --      |    Inf | unknown
500.68/502.03	c   309s|     1 |     0 | 99370 |     - |  3570M |   0 |  93k|  99k| 100k| 239 |  6 |  49 |   0 | 0.000000e+00 |      --      |    Inf | unknown
500.68/502.03	c   318s|     1 |     0 |100699 |     - |  3609M |   0 |  93k|  99k| 100k| 268 |  7 |  52 |   0 | 0.000000e+00 |      --      |    Inf | unknown
500.68/502.03	c   326s|     1 |     0 |102175 |     - |  3625M |   0 |  93k|  99k| 100k| 297 |  8 |  52 |   0 | 0.000000e+00 |      --      |    Inf | unknown
500.68/502.03	c   335s|     1 |     0 |103261 |     - |  3639M |   0 |  93k|  99k| 100k| 320 |  9 |  52 |   0 | 0.000000e+00 |      --      |    Inf | unknown
500.68/502.03	c   345s|     1 |     0 |105346 |     - |  3682M |   0 |  93k|  99k| 100k| 348 | 10 |  54 |   0 | 0.000000e+00 |      --      |    Inf | unknown
500.68/502.03	c   355s|     1 |     0 |107823 |     - |  3693M |   0 |  93k|  99k| 100k| 374 | 11 |  54 |   0 | 0.000000e+00 |      --      |    Inf | unknown
500.68/502.03	c   389s|     1 |     2 |116536 |     - |  3700M |   0 |  93k|  99k| 100k| 374 | 11 |  73 |  25 | 0.000000e+00 |      --      |    Inf | unknown
500.68/502.03	c 
500.68/502.03	c SCIP Status        : solving was interrupted [time limit reached]
500.68/502.03	c Solving Time (sec) : 500.79
500.68/502.03	c Solving Nodes      : 11
500.68/502.03	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
500.68/502.03	c Dual Bound         : +0.00000000000000e+00
500.68/502.03	c Gap                : infinite
500.68/502.03	c ----------------------------------------------------------------------
500.68/502.03	c dual bound: 0.0 -> 0
500.68/502.03	c primal bound: 1e+20 -> 100000000000000000000
500.68/502.03	c scip-goal-lb: 0
500.68/502.03	c scip-goal-ub: 100000000000000000000
500.68/502.03	c writing output to: HOME/tmpc_i6evto.opb
500.68/502.03	c appending fixed variable constraints
500.68/502.03	c scip-fixed vars: 10.72% (10042/93639)
500.68/502.03	c ----------------------------------------------------------------------
500.68/502.03	c executing external solver: HOME/naps-1.03a6
500.68/502.03	c ----------------------------------------------------------------------
500.68/502.03	c command: HOME/naps-1.03a6 HOME/tmpc_i6evto.opb
500.68/502.10	c NaPS 1.03a6.
500.68/502.10	c Input file name: HOME/tmpc_i6evto.opb
1285.41/1288.70	c
1285.41/1288.70	c *** TERMINATED *** by signal 15
1285.41/1288.70	c _____________________________________________________________________________
1285.41/1288.70	c std/band forms        : 59718,9920
1285.41/1288.70	c 2cl/3cl ITE-codings   : 42320069,24728345
1285.41/1288.70	c BDD/srt/adr Max costs : 10020,610,0
1285.41/1288.70	c BDDraw/bin/mul/srt/adr: 19800,0,49678,160,0
1285.41/1288.70	c BDD nodes             : 132072811
1285.41/1288.70	c Es1/CC detections     : 0,0
1285.41/1288.70	c CC sort               : 160
1285.41/1288.70	c SAT/UNSAT calls       : 0,0
1285.41/1288.70	c regenrated variables  : 0
1285.41/1288.70	c eliminated fixed lits : 19922
1285.41/1288.70	c goal lit flips        : 0
1285.41/1288.70	c goal stages           : 0
1285.41/1288.70	c goal shrink           : 0
1285.41/1288.70	c goal coeff separations: 0
1285.41/1288.70	c restarts              : 0
1285.41/1288.70	c conflicts             : 0              (0 /sec)
1285.41/1288.70	c decisions             : 0              (0 /sec)
1285.41/1288.70	c propagations          : 0              (0 /sec)
1285.41/1288.70	c inspects              : 0              (0 /sec)
1285.41/1288.70	c CPU time (solving tm) : 776.7 s        (0 s, SAT 0 s, UNSAT 0 s)
1285.41/1288.70	c Time for Opt-base     : 176.3 s
1285.41/1288.70	c Steps for Opt-base    : 726407842
1285.41/1288.70	c Time for BDD coding   : 742.7 s
1285.41/1288.70	c Time for srt coding   : 0.01209 s
1285.41/1288.70	c _____________________________________________________________________________
500.75/1288.98	c received SIGTERM, forwarding to pbsolver...
500.75/1288.98	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: 63708 MiB (61255 MiB free)
  memory of node 1: 64465 MiB (50808 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545127-1753226321/watcher-4545127-1753226321 -o /tmp/evaluation-result-4545127-1753226321/solver-4545127-1753226321 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753222578-168829 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4545127-1753226321.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100065 s]*
/proc/loadavg: 4.07 4.11 4.08 5/269 171738
/proc/meminfo: memFree=114733344/131249988 swapFree=33010416/33010684
[pid=171733] ppid=171730 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/171733/stat : 171733 (scip-naps-1.00.) S 171730 171733 168818 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 238310685 4292608 768 18446744073709551615 93907949408256 93907950302789 140722087769568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93907950541840 93907950589584 93907978903552 140722087778719 140722087778816 140722087778816 140722087784420 0
/proc/171733/statm: 1048 768 704 219 0 110 0
[pid=171738] ppid=171733 vsize=1187348 memory=32388 CPUtime=0.06 cores=4,6
/proc/171738/stat : 171738 (python3) R 171733 171733 168818 0 -1 4194304 3795 0 0 0 5 1 0 0 20 0 1 0 238310688 1215844352 8097 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 296837 8097 4929 1 0 268859 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191540 KiB
Current children cumulated memory: 35460 KiB

[startup+0.205757 s]*
/proc/loadavg: 4.07 4.11 4.08 5/269 171738
/proc/meminfo: memFree=114702096/131249988 swapFree=33010416/33010684
[pid=171733] ppid=171730 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/171733/stat : 171733 (scip-naps-1.00.) S 171730 171733 168818 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 238310685 4292608 768 18446744073709551615 93907949408256 93907950302789 140722087769568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93907950541840 93907950589584 93907978903552 140722087778719 140722087778816 140722087778816 140722087784420 0
/proc/171733/statm: 1048 768 704 219 0 110 0
[pid=171738] ppid=171733 vsize=1218732 memory=70660 CPUtime=0.17 cores=4,6
/proc/171738/stat : 171738 (python3) R 171733 171733 168818 0 -1 4194304 10888 0 0 0 14 3 0 0 20 0 1 0 238310688 1247981568 17665 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 304683 17665 7649 1 0 276041 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1222924 KiB
Current children cumulated memory: 73732 KiB

[startup+0.305678 s]*
/proc/loadavg: 4.07 4.11 4.08 5/269 171738
/proc/meminfo: memFree=114677904/131249988 swapFree=33010416/33010684
[pid=171733] ppid=171730 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/171733/stat : 171733 (scip-naps-1.00.) S 171730 171733 168818 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 238310685 4292608 768 18446744073709551615 93907949408256 93907950302789 140722087769568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93907950541840 93907950589584 93907978903552 140722087778719 140722087778816 140722087778816 140722087784420 0
/proc/171733/statm: 1048 768 704 219 0 110 0
[pid=171738] ppid=171733 vsize=1243488 memory=95236 CPUtime=0.27 cores=4,6
/proc/171738/stat : 171738 (python3) R 171733 171733 168818 0 -1 4194304 17017 0 0 0 23 4 0 0 20 0 1 0 238310688 1273331712 23809 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 310872 23809 7649 1 0 282230 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1247680 KiB
Current children cumulated memory: 98308 KiB

[startup+0.700207 s]
/proc/loadavg: 4.07 4.11 4.08 5/269 171738
/proc/meminfo: memFree=114629520/131249988 swapFree=33010416/33010684
[pid=171733] ppid=171730 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/171733/stat : 171733 (scip-naps-1.00.) S 171730 171733 168818 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 238310685 4292608 768 18446744073709551615 93907949408256 93907950302789 140722087769568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93907950541840 93907950589584 93907978903552 140722087778719 140722087778816 140722087778816 140722087784420 0
/proc/171733/statm: 1048 768 704 219 0 110 0
[pid=171738] ppid=171733 vsize=1337380 memory=189188 CPUtime=0.66 cores=4,6
/proc/171738/stat : 171738 (python3) R 171733 171733 168818 0 -1 4194304 40514 0 0 0 58 8 0 0 20 0 1 0 238310688 1369477120 47297 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 334345 47297 7649 1 0 305703 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1341572 KiB
Current children cumulated memory: 192260 KiB

[startup+1.50021 s]
/proc/loadavg: 4.07 4.11 4.08 5/269 171738
/proc/meminfo: memFree=114424076/131249988 swapFree=33010416/33010684
[pid=171733] ppid=171730 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/171733/stat : 171733 (scip-naps-1.00.) S 171730 171733 168818 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 238310685 4292608 768 18446744073709551615 93907949408256 93907950302789 140722087769568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93907950541840 93907950589584 93907978903552 140722087778719 140722087778816 140722087778816 140722087784420 0
/proc/171733/statm: 1048 768 704 219 0 110 0
[pid=171738] ppid=171733 vsize=1796268 memory=638852 CPUtime=1.45 cores=4,6
/proc/171738/stat : 171738 (python3) R 171733 171733 168818 0 -1 4194304 152723 0 0 0 122 23 0 0 20 0 1 0 238310688 1839378432 159713 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 449067 159713 7873 1 0 420425 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1800460 KiB
Current children cumulated memory: 641924 KiB

[startup+3.1056 s]
/proc/loadavg: 4.07 4.11 4.08 5/269 171738
/proc/meminfo: memFree=113849480/131249988 swapFree=33010416/33010684
[pid=171733] ppid=171730 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/171733/stat : 171733 (scip-naps-1.00.) S 171730 171733 168818 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 238310685 4292608 768 18446744073709551615 93907949408256 93907950302789 140722087769568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93907950541840 93907950589584 93907978903552 140722087778719 140722087778816 140722087778816 140722087784420 0
/proc/171733/statm: 1048 768 704 219 0 110 0
[pid=171738] ppid=171733 vsize=2131052 memory=967044 CPUtime=3.06 cores=4,6
/proc/171738/stat : 171738 (python3) R 171733 171733 168818 0 -1 4194304 234779 0 0 0 269 37 0 0 20 0 1 0 238310688 2182197248 241761 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 532763 241761 7905 1 0 504121 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 2135244 KiB
Current children cumulated memory: 970116 KiB

[startup+6.3002 s]
/proc/loadavg: 4.22 4.14 4.09 5/269 171738
/proc/meminfo: memFree=113656308/131249988 swapFree=33010416/33010684
[pid=171733] ppid=171730 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/171733/stat : 171733 (scip-naps-1.00.) S 171730 171733 168818 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 238310685 4292608 768 18446744073709551615 93907949408256 93907950302789 140722087769568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93907950541840 93907950589584 93907978903552 140722087778719 140722087778816 140722087778816 140722087784420 0
/proc/171733/statm: 1048 768 704 219 0 110 0
[pid=171738] ppid=171733 vsize=2446508 memory=1229652 CPUtime=6.24 cores=4,6
/proc/171738/stat : 171738 (python3) R 171733 171733 168818 0 -1 4194304 257952 0 0 0 580 44 0 0 20 0 1 0 238310688 2505224192 307413 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 611627 307413 7969 1 0 582985 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 2450700 KiB
Current children cumulated memory: 1232724 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 4.14 4.09 5/269 171738
/proc/meminfo: memFree=112697640/131249988 swapFree=33010416/33010684
[pid=171733] ppid=171730 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/171733/stat : 171733 (scip-naps-1.00.) S 171730 171733 168818 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 238310685 4292608 768 18446744073709551615 93907949408256 93907950302789 140722087769568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93907950541840 93907950589584 93907978903552 140722087778719 140722087778816 140722087778816 140722087784420 0
/proc/171733/statm: 1048 768 704 219 0 110 0
[pid=171738] ppid=171733 vsize=3474152 memory=2042876 CPUtime=12.63 cores=4,6
/proc/171738/stat : 171738 (python3) R 171733 171733 168818 0 -1 4194304 265052 0 0 0 1202 61 0 0 20 0 1 0 238310688 3557531648 510719 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 868538 510719 7969 1 0 839896 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 3478344 KiB
Current children cumulated memory: 2045948 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.14 4.09 5/269 171738
/proc/meminfo: memFree=111688356/131249988 swapFree=33010416/33010684
[pid=171733] ppid=171730 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/171733/stat : 171733 (scip-naps-1.00.) S 171730 171733 168818 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 238310685 4292608 768 18446744073709551615 93907949408256 93907950302789 140722087769568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93907950541840 93907950589584 93907978903552 140722087778719 140722087778816 140722087778816 140722087784420 0
/proc/171733/statm: 1048 768 704 219 0 110 0
[pid=171738] ppid=171733 vsize=4762700 memory=3050164 CPUtime=25.39 cores=4,6
/proc/171738/stat : 171738 (python3) R 171733 171733 168818 0 -1 4194304 395191 0 0 0 2445 94 0 0 20 0 1 0 238310688 4877004800 762541 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 1190675 762541 8129 1 0 1162033 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 4766892 KiB
Current children cumulated memory: 3053236 KiB

[startup+51.1058 s]
/proc/loadavg: 4.18 4.14 4.09 5/269 171739
/proc/meminfo: memFree=111644368/131249988 swapFree=33010416/33010684
[pid=171733] ppid=171730 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/171733/stat : 171733 (scip-naps-1.00.) S 171730 171733 168818 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 238310685 4292608 768 18446744073709551615 93907949408256 93907950302789 140722087769568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93907950541840 93907950589584 93907978903552 140722087778719 140722087778816 140722087778816 140722087784420 0
/proc/171733/statm: 1048 768 704 219 0 110 0
[pid=171738] ppid=171733 vsize=4788344 memory=3077148 CPUtime=50.92 cores=4,6
/proc/171738/stat : 171738 (python3) R 171733 171733 168818 0 -1 4194304 398396 0 0 0 4996 96 0 0 20 0 1 0 238310688 4903264256 769287 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 1197086 769287 8129 1 0 1168444 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 4792536 KiB
Current children cumulated memory: 3080220 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/269 171744
/proc/meminfo: memFree=111629848/131249988 swapFree=33010416/33010684
[pid=171733] ppid=171730 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/171733/stat : 171733 (scip-naps-1.00.) S 171730 171733 168818 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 238310685 4292608 768 18446744073709551615 93907949408256 93907950302789 140722087769568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93907950541840 93907950589584 93907978903552 140722087778719 140722087778816 140722087778816 140722087784420 0
/proc/171733/statm: 1048 768 704 219 0 110 0
[pid=171738] ppid=171733 vsize=4800820 memory=3083824 CPUtime=101.99 cores=4,6
/proc/171738/stat : 171738 (python3) R 171733 171733 168818 0 -1 4194304 399475 0 0 0 10098 101 0 0 20 0 1 0 238310688 4916039680 770956 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 1200205 770956 8129 1 0 1171563 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 4805012 KiB
Current children cumulated memory: 3086896 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/269 171746
/proc/meminfo: memFree=111612244/131249988 swapFree=33010416/33010684
[pid=171733] ppid=171730 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/171733/stat : 171733 (scip-naps-1.00.) S 171730 171733 168818 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 238310685 4292608 768 18446744073709551615 93907949408256 93907950302789 140722087769568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93907950541840 93907950589584 93907978903552 140722087778719 140722087778816 140722087778816 140722087784420 0
/proc/171733/statm: 1048 768 704 219 0 110 0
[pid=171738] ppid=171733 vsize=4800820 memory=3084336 CPUtime=161.83 cores=4,6
/proc/171738/stat : 171738 (python3) R 171733 171733 168818 0 -1 4194304 399919 0 0 0 16079 104 0 0 20 0 1 0 238310688 4916039680 771084 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 1200205 771084 8129 1 0 1171563 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 4805012 KiB
Current children cumulated memory: 3087408 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/269 171748
/proc/meminfo: memFree=111588620/131249988 swapFree=33010416/33010684
[pid=171733] ppid=171730 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/171733/stat : 171733 (scip-naps-1.00.) S 171730 171733 168818 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 238310685 4292608 768 18446744073709551615 93907949408256 93907950302789 140722087769568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93907950541840 93907950589584 93907978903552 140722087778719 140722087778816 140722087778816 140722087784420 0
/proc/171733/statm: 1048 768 704 219 0 110 0
[pid=171738] ppid=171733 vsize=4800820 memory=3084464 CPUtime=221.69 cores=4,6
/proc/171738/stat : 171738 (python3) R 171733 171733 168818 0 -1 4194304 400264 0 0 0 22061 108 0 0 20 0 1 0 238310688 4916039680 771116 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 1200205 771116 8129 1 0 1171563 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 4805012 KiB

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

/proc/171738/stat : 171738 (python3) S 171733 171733 168818 0 -1 4194304 532093 0 0 0 49926 148 0 0 20 0 1 0 238310688 5559152640 922482 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 1357215 922482 8193 1 0 1328573 0
[pid=171762] ppid=171738 vsize=4782172 memory=4501324 CPUtime=498.98 cores=4,6
/proc/171762/stat : 171762 (naps-1.03a6) R 171738 171762 171762 0 -1 4194304 593411 0 0 0 49666 232 0 0 20 0 1 0 238360893 4896944128 1125331 18446744073709551615 4198400 7047149 140730753728896 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 10883072 140730753730959 140730753731057 140730753731057 140730753736649 0
/proc/171762/statm: 1195543 1125331 544 696 0 1194704 0
Current children cumulated CPU time: 999.72 s
Current children cumulated vsize: 10215224 KiB
Current children cumulated memory: 8194324 KiB

[startup+1062.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/271 171787
/proc/meminfo: memFree=104466052/131249988 swapFree=33010416/33010684
[pid=171733] ppid=171730 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/171733/stat : 171733 (scip-naps-1.00.) S 171730 171733 168818 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 238310685 4292608 768 18446744073709551615 93907949408256 93907950302789 140722087769568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93907950541840 93907950589584 93907978903552 140722087778719 140722087778816 140722087778816 140722087784420 0
/proc/171733/statm: 1048 768 704 219 0 110 0
[pid=171738] ppid=171733 vsize=5428860 memory=3689928 CPUtime=500.74 cores=4,6
/proc/171738/stat : 171738 (python3) S 171733 171733 168818 0 -1 4194304 532093 0 0 0 49926 148 0 0 20 0 1 0 238310688 5559152640 922482 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 1357215 922482 8193 1 0 1328573 0
[pid=171762] ppid=171738 vsize=4995292 memory=4818852 CPUtime=558.83 cores=4,6
/proc/171762/stat : 171762 (naps-1.03a6) R 171738 171762 171762 0 -1 4194304 647911 0 0 0 55629 254 0 0 20 0 1 0 238360893 5115179008 1204713 18446744073709551615 4198400 7047149 140730753728896 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 10883072 140730753730959 140730753731057 140730753731057 140730753736649 0
/proc/171762/statm: 1248823 1204713 544 696 0 1247984 0
Current children cumulated CPU time: 1059.57 s
Current children cumulated vsize: 10428344 KiB
Current children cumulated memory: 8511852 KiB

[startup+1122.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/271 171789
/proc/meminfo: memFree=102884296/131249988 swapFree=33010416/33010684
[pid=171733] ppid=171730 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/171733/stat : 171733 (scip-naps-1.00.) S 171730 171733 168818 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 238310685 4292608 768 18446744073709551615 93907949408256 93907950302789 140722087769568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93907950541840 93907950589584 93907978903552 140722087778719 140722087778816 140722087778816 140722087784420 0
/proc/171733/statm: 1048 768 704 219 0 110 0
[pid=171738] ppid=171733 vsize=5428860 memory=3689928 CPUtime=500.74 cores=4,6
/proc/171738/stat : 171738 (python3) S 171733 171733 168818 0 -1 4194304 532093 0 0 0 49926 148 0 0 20 0 1 0 238310688 5559152640 922482 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 1357215 922482 8193 1 0 1328573 0
[pid=171762] ppid=171738 vsize=6497860 memory=6395192 CPUtime=618.67 cores=4,6
/proc/171762/stat : 171762 (naps-1.03a6) R 171738 171762 171762 0 -1 4194304 688869 0 0 0 61545 322 0 0 20 0 1 0 238360893 6653808640 1598798 18446744073709551615 4198400 7047149 140730753728896 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 10883072 140730753730959 140730753731057 140730753731057 140730753736649 0
/proc/171762/statm: 1624465 1598798 544 696 0 1623626 0
Current children cumulated CPU time: 1119.41 s
Current children cumulated vsize: 11930912 KiB
Current children cumulated memory: 10088192 KiB

[startup+1182.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/271 171791
/proc/meminfo: memFree=102586076/131249988 swapFree=33010416/33010684
[pid=171733] ppid=171730 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/171733/stat : 171733 (scip-naps-1.00.) S 171730 171733 168818 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 238310685 4292608 768 18446744073709551615 93907949408256 93907950302789 140722087769568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93907950541840 93907950589584 93907978903552 140722087778719 140722087778816 140722087778816 140722087784420 0
/proc/171733/statm: 1048 768 704 219 0 110 0
[pid=171738] ppid=171733 vsize=5428860 memory=3689928 CPUtime=500.74 cores=4,6
/proc/171738/stat : 171738 (python3) S 171733 171733 168818 0 -1 4194304 532093 0 0 0 49926 148 0 0 20 0 1 0 238310688 5559152640 922482 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 1357215 922482 8193 1 0 1328573 0
[pid=171762] ppid=171738 vsize=7244564 memory=6714260 CPUtime=678.52 cores=4,6
/proc/171762/stat : 171762 (naps-1.03a6) R 171738 171762 171762 0 -1 4194304 744628 0 0 0 67512 340 0 0 20 0 1 0 238360893 7418433536 1678565 18446744073709551615 4198400 7047149 140730753728896 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 10883072 140730753730959 140730753731057 140730753731057 140730753736649 0
/proc/171762/statm: 1811141 1678565 544 696 0 1810302 0
Current children cumulated CPU time: 1179.26 s
Current children cumulated vsize: 12677616 KiB
Current children cumulated memory: 10407260 KiB

[startup+1242.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/270 171795
/proc/meminfo: memFree=102246976/131249988 swapFree=33010416/33010684
[pid=171733] ppid=171730 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/171733/stat : 171733 (scip-naps-1.00.) S 171730 171733 168818 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 238310685 4292608 768 18446744073709551615 93907949408256 93907950302789 140722087769568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93907950541840 93907950589584 93907978903552 140722087778719 140722087778816 140722087778816 140722087784420 0
/proc/171733/statm: 1048 768 704 219 0 110 0
[pid=171738] ppid=171733 vsize=5428860 memory=3689928 CPUtime=500.74 cores=4,6
/proc/171738/stat : 171738 (python3) S 171733 171733 168818 0 -1 4194304 532093 0 0 0 49926 148 0 0 20 0 1 0 238310688 5559152640 922482 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 1357215 922482 8193 1 0 1328573 0
[pid=171762] ppid=171738 vsize=7459664 memory=7035840 CPUtime=738.38 cores=4,6
/proc/171762/stat : 171762 (naps-1.03a6) R 171738 171762 171762 0 -1 4194304 800548 0 0 0 73479 359 0 0 20 0 1 0 238360893 7638695936 1758960 18446744073709551615 4198400 7047149 140730753728896 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 10883072 140730753730959 140730753731057 140730753731057 140730753736649 0
/proc/171762/statm: 1864916 1758960 544 696 0 1864077 0
Current children cumulated CPU time: 1239.12 s
Current children cumulated vsize: 12892716 KiB
Current children cumulated memory: 10728840 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1288.7 s]
/proc/loadavg: 4.07 4.08 4.09 5/271 171802
/proc/meminfo: memFree=87720740/131249988 swapFree=33010416/33010684
[pid=171733] ppid=171730 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/171733/stat : 171733 (scip-naps-1.00.) S 171730 171733 168818 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 238310685 4292608 768 18446744073709551615 93907949408256 93907950302789 140722087769568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93907950541840 93907950589584 93907978903552 140722087778719 140722087778816 140722087778816 140722087784420 0
/proc/171733/statm: 1048 768 704 219 0 110 0
[pid=171738] ppid=171733 vsize=5428860 memory=3689928 CPUtime=500.74 cores=4,6
/proc/171738/stat : 171738 (python3) S 171733 171733 168818 0 -1 4194304 532093 0 0 0 49926 148 0 0 20 0 1 0 238310688 5559152640 922482 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 1357215 922482 8193 1 0 1328573 0
[pid=171762] ppid=171738 vsize=30523412 memory=22140484 CPUtime=784.67 cores=4,6
/proc/171762/stat : 171762 (naps-1.03a6) R 171738 171762 171762 0 -1 4194304 1491045 0 0 0 77666 801 0 0 20 0 1 0 238360893 31255973888 5535121 18446744073709551615 4198400 7047149 140730753728896 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 10883072 140730753730959 140730753731057 140730753731057 140730753736649 0
/proc/171762/statm: 7630853 5535121 544 696 0 7630014 0
Current children cumulated CPU time: 1285.41 s
Current children cumulated vsize: 35956464 KiB
Current children cumulated memory: 25833484 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

# cumulated CPU time of all completed processes:  user=1277.47 s, system=10.0386 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+1289.6 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 171802
/proc/meminfo: memFree=108307396/131249988 swapFree=33010416/33010684
[pid=171738] ppid=171730 vsize=5428860 memory=3689928 CPUtime=1286.3 cores=4,6
/proc/171738/stat : 171738 (python3) R 171730 171733 168818 0 -1 4194304 632891 1491047 0 0 49982 153 77666 829 20 0 1 0 238310688 5559152640 922482 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 1357215 922482 8193 1 0 1328573 0
Current cumulated CPU time of completed processes: 0.010483 s
Current children cumulated CPU time: 1286.3 s
Current children cumulated vsize: 5428860 KiB
Current children cumulated memory: 3689928 KiB

[startup+1290.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 171802
/proc/meminfo: memFree=108315712/131249988 swapFree=33010416/33010684
[pid=171738] ppid=171730 vsize=5428860 memory=3689928 CPUtime=1287.1 cores=4,6
/proc/171738/stat : 171738 (python3) R 171730 171733 168818 0 -1 4194304 727966 1491047 0 0 50056 159 77666 829 20 0 1 0 238310688 5559152640 922482 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 1357215 922482 8193 1 0 1328573 0
Current cumulated CPU time of completed processes: 0.010483 s
Current children cumulated CPU time: 1287.1 s
Current children cumulated vsize: 5428860 KiB
Current children cumulated memory: 3689928 KiB

[startup+1290.6 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 171802
/proc/meminfo: memFree=108315712/131249988 swapFree=33010416/33010684
[pid=171738] ppid=171730 vsize=5302756 memory=3563824 CPUtime=1287.29 cores=4,6
/proc/171738/stat : 171738 (python3) R 171730 171733 168818 0 -1 4194304 775815 1491047 0 0 50073 161 77666 829 20 0 1 0 238310688 5430022144 890956 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 1325689 890956 8193 1 0 1297047 0
Current cumulated CPU time of completed processes: 0.010483 s
Current children cumulated CPU time: 1287.29 s
Current children cumulated vsize: 5302756 KiB
Current children cumulated memory: 3563824 KiB

[startup+1290.7 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 171802
/proc/meminfo: memFree=108315712/131249988 swapFree=33010416/33010684
[pid=171738] ppid=171730 vsize=3481824 memory=2156668 CPUtime=1287.4 cores=4,6
/proc/171738/stat : 171738 (python3) R 171730 171733 168818 0 -1 4194304 809812 1491047 0 0 50080 165 77666 829 20 0 1 0 238310688 3565387776 539167 18446744073709551615 94510105395200 94510105395577 140730010862320 0 0 0 0 16781312 0 0 0 0 17 6 0 0 0 0 0 94510105406872 94510105407492 94510118850560 140730010868054 140730010868256 140730010868256 140730010873831 0
/proc/171738/statm: 870456 539167 8193 1 0 841814 0
Current cumulated CPU time of completed processes: 0.010483 s
Current children cumulated CPU time: 1287.4 s
Current children cumulated vsize: 3481824 KiB
Current children cumulated memory: 2156668 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1290.8
CPU time (s): 1287.51
CPU user time (s): 1277.47
CPU system time (s): 10.0386
CPU usage (%): 99.7452
Max. virtual memory (cumulated for all children) (KiB): 35956464
Max. memory (cumulated for all children) (KiB): 26200228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1277.47
system time used= 10.0386
maximum resident set size= 22591196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2301450
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 356
involuntary context switches= 1562


# summary of solver processes directly reported to runsolver:
#   pid: 171733,171738
#   total CPU time (s): 1287.51
#   total CPU user time (s): 1277.47
#   total CPU system time (s): 10.0386

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.63993 second user time and 6.02376 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-07-23 01:18:41
IDJOB=4545127
IDBENCH=180714
IDSOLVER=3368
FILE ID=nodeC031/4545127-1753226321
RUNJOBID= nodeC031-1753222578-168829
SLURM_JOB_ID= 9687820
Free space on /tmp= 432836 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-AverageAvoiding-mini-40_c24.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545127-1753226321/watcher-4545127-1753226321 -o /tmp/evaluation-result-4545127-1753226321/solver-4545127-1753226321 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753222578-168829 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4545127-1753226321.opb

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

MD5SUM BENCH= e60f0e926bcd6b192a3b449cde285525
RANDOM SEED=76973604

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        114754076 kB
MemAvailable:   120005588 kB
Buffers:            2128 kB
Cached:          5936116 kB
SwapCached:            8 kB
Active:         10798520 kB
Inactive:        4802048 kB
Active(anon):    9678108 kB
Inactive(anon):    10464 kB
Active(file):    1120412 kB
Inactive(file):  4791584 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             33572 kB
Writeback:             0 kB
AnonPages:       9665444 kB
Mapped:           135736 kB
Shmem:             26248 kB
KReclaimable:     357508 kB
Slab:             456192 kB
SReclaimable:     357508 kB
SUnreclaim:        98684 kB
KernelStack:        4336 kB
PageTables:        23140 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:   13956256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2490368 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432772 MiB
End job on nodeC031 at 2025-07-23 01:40:12