Trace number 4529811

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP-NaPS 1.00a2? (TO) 3602.22 3612.64

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-134.opb
MD5SUM8f50e455e41c11932a7c1290f673c930
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark107.722
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48411
Total number of constraints1121517
Number of constraints which are clauses1007723
Number of constraints which are cardinality constraints (but not clauses)3523
Number of constraints which are nor clauses,nor cardinality constraints110271
Minimum length of a constraint2
Maximum length of a constraint690
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 691
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

501.17/502.94	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529811-1752255105.opb
501.17/502.94	c Solving mode: decision
501.17/502.94	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
501.17/502.94	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
501.17/502.94	c original problem has 48411 variables (48411 bin, 0 int, 0 impl, 0 cont) and 1121517 constraints
501.17/502.94	c presolving:
501.17/502.94	c (round 1, exhaustive) 1 del vars, 8 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 1121508 upgd conss, 0 impls, 237584 clqs
501.17/502.94	c (round 2, exhaustive) 1 del vars, 14006 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 21006 chg coeffs, 1121508 upgd conss, 0 impls, 237584 clqs
501.17/502.94	c    (114.3s) probing: 1000/48410 (2.1%) - 0 fixings, 0 aggregations, 265973 implications, 0 bound changes
501.17/502.94	c    (114.4s) probing: 1001/48410 (2.1%) - 0 fixings, 0 aggregations, 265973 implications, 0 bound changes
501.17/502.94	c    (114.4s) probing aborted: 1000/1000 successive useless probings
501.17/502.94	c    (120.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
501.17/502.94	c    (122.0s) no symmetry present (symcode time: 0.26)
501.17/502.94	c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
501.17/502.94	c  1 deleted vars, 14006 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 21051 changed coefficients
501.17/502.94	c  0 implications, 503557 cliques
501.17/502.94	c presolved problem has 48410 variables (48410 bin, 0 int, 0 impl, 0 cont) and 1107511 constraints
501.17/502.94	c  112021 constraints of type <knapsack>
501.17/502.94	c  237584 constraints of type <setppc>
501.17/502.94	c       1 constraints of type <linear>
501.17/502.94	c  757905 constraints of type <logicor>
501.17/502.94	c transformed objective value is always integral (scale: 1)
501.17/502.94	c Presolving Time: 121.63
501.17/502.94	c 
501.17/502.94	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
501.17/502.94	c   130s|     1 |     0 |  2167 |     - |  4632M |   0 |  48k|1107k|1107k|   0 |  0 | 169 |   0 | 0.000000e+00 |      --      |    Inf | unknown
501.17/502.94	c   500s|     1 |     0 |  7243 |     - |  4667M |   0 |  48k|1107k|1107k|   3 |  1 | 179 |   0 | 0.000000e+00 |      --      |    Inf | unknown
501.17/502.94	c (node 1) LP solver hit time limit in LP 12 -- using pseudo solution instead
501.17/502.94	c 
501.17/502.94	c SCIP Status        : solving was interrupted [time limit reached]
501.17/502.94	c Solving Time (sec) : 500.06
501.17/502.94	c Solving Nodes      : 1
501.17/502.94	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
501.17/502.94	c Dual Bound         : +0.00000000000000e+00
501.17/502.94	c Gap                : infinite
501.17/502.94	c ----------------------------------------------------------------------
501.17/502.94	c dual bound: 0.0 -> 0
501.17/502.94	c primal bound: 1e+20 -> 100000000000000000000
501.17/502.94	c scip-goal-lb: 0
501.17/502.94	c scip-goal-ub: 100000000000000000000
501.17/502.94	c writing output to: HOME/tmpsg1h4xto.opb
501.17/502.94	c appending fixed variable constraints
501.17/502.94	c scip-fixed vars: 0.00% (0/48410)
501.17/502.94	c ----------------------------------------------------------------------
501.17/502.94	c executing external solver: HOME/naps-1.03a6
501.17/502.94	c ----------------------------------------------------------------------
501.17/502.94	c command: HOME/naps-1.03a6 HOME/tmpsg1h4xto.opb
501.26/503.03	c NaPS 1.03a6.
501.26/503.03	c Input file name: HOME/tmpsg1h4xto.opb
3600.05/3610.50	c
3600.05/3610.50	c *** TERMINATED *** by signal 15
3600.05/3610.50	c s UNKNOWN
3600.05/3610.50	c _____________________________________________________________________________
3600.05/3610.50	c std/band forms        : 113795,0
3600.05/3610.50	c 2cl/3cl ITE-codings   : 105020,0
3600.05/3610.50	c BDD/srt/adr Max costs : 5,119,0
3600.05/3610.50	c BDDraw/bin/mul/srt/adr: 110271,0,0,3524,0
3600.05/3610.50	c BDD nodes             : 651124
3600.05/3610.50	c Es1/CC detections     : 0,0
3600.05/3610.50	c CC sort               : 3523
3600.05/3610.50	c SAT/UNSAT calls       : 0,0
3600.05/3610.50	c regenrated variables  : 0
3600.05/3610.50	c eliminated fixed lits : 0
3600.05/3610.50	c goal lit flips        : 0
3600.05/3610.50	c goal stages           : 0
3600.05/3610.50	c goal shrink           : 0
3600.05/3610.50	c goal coeff separations: 0
3600.05/3610.50	c restarts              : 0
3600.05/3610.50	c conflicts             : 0              (0 /sec)
3600.05/3610.50	c decisions             : 0              (0 /sec)
3600.05/3610.50	c propagations          : 0              (0 /sec)
3600.05/3610.50	c inspects              : 0              (0 /sec)
3600.05/3610.50	c CPU time (solving tm) : 3097 s        (3086 s, SAT 0 s, UNSAT 0 s)
3600.05/3610.50	c Time for Opt-base     : 0.01575 s
3600.05/3610.50	c Steps for Opt-base    : 0
3600.05/3610.50	c Time for BDD coding   : 1.38 s
3600.05/3610.50	c Time for srt coding   : 0.03237 s
3600.05/3610.50	c _____________________________________________________________________________
3600.05/3610.50	c received SIGTERM, forwarding to pbsolver...
3600.05/3610.51	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (58015 MiB free)
  memory of node 1: 64507 MiB (55190 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529811-1752255105/watcher-4529811-1752255105 -o /tmp/evaluation-result-4529811-1752255105/solver-4529811-1752255105 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1752253388-115873 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529811-1752255105.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=117256, runsolver pid=117253

[startup+0.10006 s]*
/proc/loadavg: 4.13 4.12 3.87 5/268 117261
/proc/meminfo: memFree=115911792/131249996 swapFree=33003468/33010684
[pid=117256] ppid=117253 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/117256/stat : 117256 (scip-naps-1.00a) S 117253 117256 115863 0 -1 4194304 261 339 0 0 0 0 0 0 20 0 1 0 141188193 4292608 768 18446744073709551615 93841153146880 93841154041413 140736706172848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93841154280464 93841154328208 93841174069248 140736706177435 140736706177534 140736706177534 140736706183138 0
/proc/117256/statm: 1048 768 704 219 0 110 0
[pid=117261] ppid=117256 vsize=1186972 memory=31788 CPUtime=0.06 cores=0,2
/proc/117261/stat : 117261 (python3) R 117256 117256 115863 0 -1 4194304 3703 0 0 0 5 1 0 0 20 0 1 0 141188195 1215459328 7947 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 296743 7947 4907 1 0 268765 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191164 KiB
Current children cumulated memory: 34860 KiB

[startup+0.205648 s]*
/proc/loadavg: 4.13 4.12 3.87 5/268 117261
/proc/meminfo: memFree=115888356/131249996 swapFree=33003468/33010684
[pid=117256] ppid=117253 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/117256/stat : 117256 (scip-naps-1.00a) S 117253 117256 115863 0 -1 4194304 261 339 0 0 0 0 0 0 20 0 1 0 141188193 4292608 768 18446744073709551615 93841153146880 93841154041413 140736706172848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93841154280464 93841154328208 93841174069248 140736706177435 140736706177534 140736706177534 140736706183138 0
/proc/117256/statm: 1048 768 704 219 0 110 0
[pid=117261] ppid=117256 vsize=1215436 memory=67116 CPUtime=0.17 cores=0,2
/proc/117261/stat : 117261 (python3) R 117256 117256 115863 0 -1 4194304 10028 0 0 0 14 3 0 0 20 0 1 0 141188195 1244606464 16779 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 303859 16779 7627 1 0 275217 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1219628 KiB
Current children cumulated memory: 70188 KiB

[startup+0.305689 s]*
/proc/loadavg: 4.13 4.12 3.87 5/268 117261
/proc/meminfo: memFree=115855092/131249996 swapFree=33003468/33010684
[pid=117256] ppid=117253 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/117256/stat : 117256 (scip-naps-1.00a) S 117253 117256 115863 0 -1 4194304 261 339 0 0 0 0 0 0 20 0 1 0 141188193 4292608 768 18446744073709551615 93841153146880 93841154041413 140736706172848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93841154280464 93841154328208 93841174069248 140736706177435 140736706177534 140736706177534 140736706183138 0
/proc/117256/statm: 1048 768 704 219 0 110 0
[pid=117261] ppid=117256 vsize=1242920 memory=93868 CPUtime=0.26 cores=0,2
/proc/117261/stat : 117261 (python3) R 117256 117256 115863 0 -1 4194304 16745 0 0 0 22 4 0 0 20 0 1 0 141188195 1272750080 23467 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 310730 23467 7627 1 0 282088 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1247112 KiB
Current children cumulated memory: 96940 KiB

[startup+0.7002 s]
/proc/loadavg: 4.12 4.11 3.87 5/268 117261
/proc/meminfo: memFree=115806708/131249996 swapFree=33003468/33010684
[pid=117256] ppid=117253 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/117256/stat : 117256 (scip-naps-1.00a) S 117253 117256 115863 0 -1 4194304 261 339 0 0 0 0 0 0 20 0 1 0 141188193 4292608 768 18446744073709551615 93841153146880 93841154041413 140736706172848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93841154280464 93841154328208 93841174069248 140736706177435 140736706177534 140736706177534 140736706183138 0
/proc/117256/statm: 1048 768 704 219 0 110 0
[pid=117261] ppid=117256 vsize=1344852 memory=195528 CPUtime=0.65 cores=0,2
/proc/117261/stat : 117261 (python3) R 117256 117256 115863 0 -1 4194304 41648 0 0 0 57 8 0 0 20 0 1 0 141188195 1377128448 48882 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 336213 48882 7627 1 0 307571 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1349044 KiB
Current children cumulated memory: 198600 KiB

[startup+1.50017 s]
/proc/loadavg: 4.12 4.11 3.87 5/268 117261
/proc/meminfo: memFree=115687008/131249996 swapFree=33003468/33010684
[pid=117256] ppid=117253 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/117256/stat : 117256 (scip-naps-1.00a) S 117253 117256 115863 0 -1 4194304 261 339 0 0 0 0 0 0 20 0 1 0 141188193 4292608 768 18446744073709551615 93841153146880 93841154041413 140736706172848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93841154280464 93841154328208 93841174069248 140736706177435 140736706177534 140736706177534 140736706183138 0
/proc/117256/statm: 1048 768 704 219 0 110 0
[pid=117261] ppid=117256 vsize=1548612 memory=398992 CPUtime=1.44 cores=0,2
/proc/117261/stat : 117261 (python3) R 117256 117256 115863 0 -1 4194304 90464 0 0 0 129 15 0 0 20 0 1 0 141188195 1585778688 99748 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 387153 99748 7627 1 0 358511 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1552804 KiB
Current children cumulated memory: 402064 KiB

[startup+3.10553 s]
/proc/loadavg: 4.12 4.11 3.87 5/268 117261
/proc/meminfo: memFree=115026288/131249996 swapFree=33003468/33010684
[pid=117256] ppid=117253 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/117256/stat : 117256 (scip-naps-1.00a) S 117253 117256 115863 0 -1 4194304 261 339 0 0 0 0 0 0 20 0 1 0 141188193 4292608 768 18446744073709551615 93841153146880 93841154041413 140736706172848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93841154280464 93841154328208 93841174069248 140736706177435 140736706177534 140736706177534 140736706183138 0
/proc/117256/statm: 1048 768 704 219 0 110 0
[pid=117261] ppid=117256 vsize=2134952 memory=985120 CPUtime=3.05 cores=0,2
/proc/117261/stat : 117261 (python3) R 117256 117256 115863 0 -1 4194304 227125 0 0 0 268 37 0 0 20 0 1 0 141188195 2186190848 246280 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 533738 246280 7819 1 0 505096 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 2139144 KiB
Current children cumulated memory: 988192 KiB

[startup+6.30019 s]
/proc/loadavg: 4.11 4.11 3.87 5/268 117261
/proc/meminfo: memFree=114290408/131249996 swapFree=33003468/33010684
[pid=117256] ppid=117253 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/117256/stat : 117256 (scip-naps-1.00a) S 117253 117256 115863 0 -1 4194304 261 339 0 0 0 0 0 0 20 0 1 0 141188193 4292608 768 18446744073709551615 93841153146880 93841154041413 140736706172848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93841154280464 93841154328208 93841174069248 140736706177435 140736706177534 140736706177534 140736706183138 0
/proc/117256/statm: 1048 768 704 219 0 110 0
[pid=117261] ppid=117256 vsize=2842212 memory=1679188 CPUtime=6.24 cores=0,2
/proc/117261/stat : 117261 (python3) R 117256 117256 115863 0 -1 4194304 363358 0 0 0 563 61 0 0 20 0 1 0 141188195 2910425088 419797 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 710553 419797 7883 1 0 681911 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 2846404 KiB
Current children cumulated memory: 1682260 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.13 3.88 5/268 117261
/proc/meminfo: memFree=113741412/131249996 swapFree=33003468/33010684
[pid=117256] ppid=117253 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/117256/stat : 117256 (scip-naps-1.00a) S 117253 117256 115863 0 -1 4194304 261 339 0 0 0 0 0 0 20 0 1 0 141188193 4292608 768 18446744073709551615 93841153146880 93841154041413 140736706172848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93841154280464 93841154328208 93841174069248 140736706177435 140736706177534 140736706177534 140736706183138 0
/proc/117256/statm: 1048 768 704 219 0 110 0
[pid=117261] ppid=117256 vsize=3377564 memory=2212408 CPUtime=12.62 cores=0,2
/proc/117261/stat : 117261 (python3) R 117256 117256 115863 0 -1 4194304 484080 0 0 0 1179 83 0 0 20 0 1 0 141188195 3458625536 553102 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 844391 553102 7947 1 0 815749 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 3381756 KiB
Current children cumulated memory: 2215480 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.12 3.88 5/268 117261
/proc/meminfo: memFree=113714636/131249996 swapFree=33003468/33010684
[pid=117256] ppid=117253 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/117256/stat : 117256 (scip-naps-1.00a) S 117253 117256 115863 0 -1 4194304 261 339 0 0 0 0 0 0 20 0 1 0 141188193 4292608 768 18446744073709551615 93841153146880 93841154041413 140736706172848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93841154280464 93841154328208 93841174069248 140736706177435 140736706177534 140736706177534 140736706183138 0
/proc/117256/statm: 1048 768 704 219 0 110 0
[pid=117261] ppid=117256 vsize=3377564 memory=2215352 CPUtime=25.38 cores=0,2
/proc/117261/stat : 117261 (python3) R 117256 117256 115863 0 -1 4194304 485150 0 0 0 2454 84 0 0 20 0 1 0 141188195 3458625536 553838 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 844391 553838 7947 1 0 815749 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 3381756 KiB
Current children cumulated memory: 2218424 KiB

[startup+51.1057 s]
/proc/loadavg: 4.09 4.11 3.88 5/268 117262
/proc/meminfo: memFree=113697444/131249996 swapFree=33003468/33010684
[pid=117256] ppid=117253 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/117256/stat : 117256 (scip-naps-1.00a) S 117253 117256 115863 0 -1 4194304 261 339 0 0 0 0 0 0 20 0 1 0 141188193 4292608 768 18446744073709551615 93841153146880 93841154041413 140736706172848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93841154280464 93841154328208 93841174069248 140736706177435 140736706177534 140736706177534 140736706183138 0
/proc/117256/statm: 1048 768 704 219 0 110 0
[pid=117261] ppid=117256 vsize=3377564 memory=2215480 CPUtime=50.9 cores=0,2
/proc/117261/stat : 117261 (python3) R 117256 117256 115863 0 -1 4194304 485220 0 0 0 5004 86 0 0 20 0 1 0 141188195 3458625536 553870 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 844391 553870 7947 1 0 815749 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 3381756 KiB
Current children cumulated memory: 2218552 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 3.90 5/268 117312
/proc/meminfo: memFree=113129940/131249996 swapFree=33003468/33010684
[pid=117256] ppid=117253 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/117256/stat : 117256 (scip-naps-1.00a) S 117253 117256 115863 0 -1 4194304 261 339 0 0 0 0 0 0 20 0 1 0 141188193 4292608 768 18446744073709551615 93841153146880 93841154041413 140736706172848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93841154280464 93841154328208 93841174069248 140736706177435 140736706177534 140736706177534 140736706183138 0
/proc/117256/statm: 1048 768 704 219 0 110 0
[pid=117261] ppid=117256 vsize=3377564 memory=2215480 CPUtime=101.92 cores=0,2
/proc/117261/stat : 117261 (python3) R 117256 117256 115863 0 -1 4194304 485303 0 0 0 10104 88 0 0 20 0 1 0 141188195 3458625536 553870 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 844391 553870 7947 1 0 815749 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 3381756 KiB
Current children cumulated memory: 2218552 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 3.92 5/267 117315
/proc/meminfo: memFree=110224596/131249996 swapFree=33003468/33010684
[pid=117256] ppid=117253 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/117256/stat : 117256 (scip-naps-1.00a) S 117253 117256 115863 0 -1 4194304 261 339 0 0 0 0 0 0 20 0 1 0 141188193 4292608 768 18446744073709551615 93841153146880 93841154041413 140736706172848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93841154280464 93841154328208 93841174069248 140736706177435 140736706177534 140736706177534 140736706183138 0
/proc/117256/statm: 1048 768 704 219 0 110 0
[pid=117261] ppid=117256 vsize=6381504 memory=4894024 CPUtime=161.74 cores=0,2
/proc/117261/stat : 117261 (python3) R 117256 117256 115863 0 -1 4194304 710035 0 0 0 16004 170 0 0 20 0 1 0 141188195 6534660096 1223506 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 1595376 1223506 8139 1 0 1566734 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 6385696 KiB
Current children cumulated memory: 4897096 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.11 3.93 5/267 117317
/proc/meminfo: memFree=110173812/131249996 swapFree=33003468/33010684
[pid=117256] ppid=117253 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/117256/stat : 117256 (scip-naps-1.00a) S 117253 117256 115863 0 -1 4194304 261 339 0 0 0 0 0 0 20 0 1 0 141188193 4292608 768 18446744073709551615 93841153146880 93841154041413 140736706172848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93841154280464 93841154328208 93841174069248 140736706177435 140736706177534 140736706177534 140736706183138 0
/proc/117256/statm: 1048 768 704 219 0 110 0
[pid=117261] ppid=117256 vsize=6381504 memory=4894024 CPUtime=221.54 cores=0,2
/proc/117261/stat : 117261 (python3) R 117256 117256 115863 0 -1 4194304 710070 0 0 0 21982 172 0 0 20 0 1 0 141188195 6534660096 1223506 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 1595376 1223506 8139 1 0 1566734 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 6385696 KiB

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

/proc/117261/stat : 117261 (python3) S 117256 117256 115863 0 -1 4194304 719307 0 0 0 49930 195 0 0 20 0 1 0 141188195 6628962304 1236804 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 1618399 1236804 8171 1 0 1589757 0
[pid=117335] ppid=117261 vsize=329356 memory=312304 CPUtime=2831.37 cores=0,2
/proc/117335/stat : 117335 (naps-1.03a6) R 117261 117335 117335 0 -1 4194304 217718 0 0 0 282923 214 0 0 20 0 1 0 141238492 337260544 78076 18446744073709551615 4198400 7047149 140720498319408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 36810752 140720498325903 140720498326001 140720498326001 140720498331593 0
/proc/117335/statm: 82339 78076 544 696 0 81500 0
Current children cumulated CPU time: 3332.62 s
Current children cumulated vsize: 6807144 KiB
Current children cumulated memory: 5262592 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/269 117631
/proc/meminfo: memFree=108522584/131249996 swapFree=33003468/33010684
[pid=117256] ppid=117253 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/117256/stat : 117256 (scip-naps-1.00a) S 117253 117256 115863 0 -1 4194304 261 339 0 0 0 0 0 0 20 0 1 0 141188193 4292608 768 18446744073709551615 93841153146880 93841154041413 140736706172848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93841154280464 93841154328208 93841174069248 140736706177435 140736706177534 140736706177534 140736706183138 0
/proc/117256/statm: 1048 768 704 219 0 110 0
[pid=117261] ppid=117256 vsize=6473596 memory=4947216 CPUtime=501.25 cores=0,2
/proc/117261/stat : 117261 (python3) S 117256 117256 115863 0 -1 4194304 719307 0 0 0 49930 195 0 0 20 0 1 0 141188195 6628962304 1236804 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 1618399 1236804 8171 1 0 1589757 0
[pid=117335] ppid=117261 vsize=329356 memory=312304 CPUtime=2891.2 cores=0,2
/proc/117335/stat : 117335 (naps-1.03a6) R 117261 117335 117335 0 -1 4194304 219013 0 0 0 288904 216 0 0 20 0 1 0 141238492 337260544 78076 18446744073709551615 4198400 7047149 140720498319408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 36810752 140720498325903 140720498326001 140720498326001 140720498331593 0
/proc/117335/statm: 82339 78076 544 696 0 81500 0
Current children cumulated CPU time: 3392.45 s
Current children cumulated vsize: 6807144 KiB
Current children cumulated memory: 5262592 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 117634
/proc/meminfo: memFree=108499504/131249996 swapFree=33003468/33010684
[pid=117256] ppid=117253 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/117256/stat : 117256 (scip-naps-1.00a) S 117253 117256 115863 0 -1 4194304 261 339 0 0 0 0 0 0 20 0 1 0 141188193 4292608 768 18446744073709551615 93841153146880 93841154041413 140736706172848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93841154280464 93841154328208 93841174069248 140736706177435 140736706177534 140736706177534 140736706183138 0
/proc/117256/statm: 1048 768 704 219 0 110 0
[pid=117261] ppid=117256 vsize=6473596 memory=4947216 CPUtime=501.25 cores=0,2
/proc/117261/stat : 117261 (python3) S 117256 117256 115863 0 -1 4194304 719307 0 0 0 49930 195 0 0 20 0 1 0 141188195 6628962304 1236804 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 1618399 1236804 8171 1 0 1589757 0
[pid=117335] ppid=117261 vsize=362124 memory=343024 CPUtime=2951.03 cores=0,2
/proc/117335/stat : 117335 (naps-1.03a6) R 117261 117335 117335 0 -1 4194304 223069 0 0 0 294883 220 0 0 20 0 1 0 141238492 370814976 85756 18446744073709551615 4198400 7047149 140720498319408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 36810752 140720498325903 140720498326001 140720498326001 140720498331593 0
/proc/117335/statm: 90531 85756 544 696 0 89692 0
Current children cumulated CPU time: 3452.28 s
Current children cumulated vsize: 6839912 KiB
Current children cumulated memory: 5293312 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/271 117643
/proc/meminfo: memFree=108416100/131249996 swapFree=33003468/33010684
[pid=117256] ppid=117253 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/117256/stat : 117256 (scip-naps-1.00a) S 117253 117256 115863 0 -1 4194304 261 339 0 0 0 0 0 0 20 0 1 0 141188193 4292608 768 18446744073709551615 93841153146880 93841154041413 140736706172848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93841154280464 93841154328208 93841174069248 140736706177435 140736706177534 140736706177534 140736706183138 0
/proc/117256/statm: 1048 768 704 219 0 110 0
[pid=117261] ppid=117256 vsize=6473596 memory=4947216 CPUtime=501.25 cores=0,2
/proc/117261/stat : 117261 (python3) S 117256 117256 115863 0 -1 4194304 719307 0 0 0 49930 195 0 0 20 0 1 0 141188195 6628962304 1236804 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 1618399 1236804 8171 1 0 1589757 0
[pid=117335] ppid=117261 vsize=362124 memory=332784 CPUtime=3010.86 cores=0,2
/proc/117335/stat : 117335 (naps-1.03a6) R 117261 117335 117335 0 -1 4194304 224345 0 0 0 300864 222 0 0 20 0 1 0 141238492 370814976 83196 18446744073709551615 4198400 7047149 140720498319408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 36810752 140720498325903 140720498326001 140720498326001 140720498331593 0
/proc/117335/statm: 90531 83196 544 696 0 89692 0
Current children cumulated CPU time: 3512.11 s
Current children cumulated vsize: 6839912 KiB
Current children cumulated memory: 5283072 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/270 117645
/proc/meminfo: memFree=108405624/131249996 swapFree=33003468/33010684
[pid=117256] ppid=117253 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/117256/stat : 117256 (scip-naps-1.00a) S 117253 117256 115863 0 -1 4194304 261 339 0 0 0 0 0 0 20 0 1 0 141188193 4292608 768 18446744073709551615 93841153146880 93841154041413 140736706172848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93841154280464 93841154328208 93841174069248 140736706177435 140736706177534 140736706177534 140736706183138 0
/proc/117256/statm: 1048 768 704 219 0 110 0
[pid=117261] ppid=117256 vsize=6473596 memory=4947216 CPUtime=501.25 cores=0,2
/proc/117261/stat : 117261 (python3) S 117256 117256 115863 0 -1 4194304 719307 0 0 0 49930 195 0 0 20 0 1 0 141188195 6628962304 1236804 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 1618399 1236804 8171 1 0 1589757 0
[pid=117335] ppid=117261 vsize=362124 memory=332784 CPUtime=3070.68 cores=0,2
/proc/117335/stat : 117335 (naps-1.03a6) R 117261 117335 117335 0 -1 4194304 225632 0 0 0 306845 223 0 0 20 0 1 0 141238492 370814976 83196 18446744073709551615 4198400 7047149 140720498319408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 36810752 140720498325903 140720498326001 140720498326001 140720498331593 0
/proc/117335/statm: 90531 83196 544 696 0 89692 0
Current children cumulated CPU time: 3571.93 s
Current children cumulated vsize: 6839912 KiB
Current children cumulated memory: 5283072 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.14 4.10 4.09 5/270 117647
/proc/meminfo: memFree=108397348/131249996 swapFree=33003468/33010684
[pid=117256] ppid=117253 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/117256/stat : 117256 (scip-naps-1.00a) S 117253 117256 115863 0 -1 4194304 261 339 0 0 0 0 0 0 20 0 1 0 141188193 4292608 768 18446744073709551615 93841153146880 93841154041413 140736706172848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93841154280464 93841154328208 93841174069248 140736706177435 140736706177534 140736706177534 140736706183138 0
/proc/117256/statm: 1048 768 704 219 0 110 0
[pid=117261] ppid=117256 vsize=6473596 memory=4947216 CPUtime=501.25 cores=0,2
/proc/117261/stat : 117261 (python3) S 117256 117256 115863 0 -1 4194304 719307 0 0 0 49930 195 0 0 20 0 1 0 141188195 6628962304 1236804 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 1618399 1236804 8171 1 0 1589757 0
[pid=117335] ppid=117261 vsize=362124 memory=334832 CPUtime=3098.8 cores=0,2
/proc/117335/stat : 117335 (naps-1.03a6) R 117261 117335 117335 0 -1 4194304 225635 0 0 0 309657 223 0 0 20 0 1 0 141238492 370814976 83708 18446744073709551615 4198400 7047149 140720498319408 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 36810752 140720498325903 140720498326001 140720498326001 140720498331593 0
/proc/117335/statm: 90531 83708 544 696 0 89692 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 6839912 KiB
Current children cumulated memory: 5285120 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

# cumulated CPU time of all completed processes:  user=3597.71 s, system=4.50614 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+3611.2 s]
/proc/loadavg: 4.14 4.10 4.09 5/268 117647
/proc/meminfo: memFree=108705316/131249996 swapFree=33003468/33010684
[pid=117261] ppid=117253 vsize=6473596 memory=4947216 CPUtime=3600.75 cores=0,2
/proc/117261/stat : 117261 (python3) R 117253 117256 115863 0 -1 4194304 929294 225636 0 0 49989 205 309657 224 20 0 1 0 141188195 6628962304 1236804 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 1618399 1236804 8171 1 0 1589757 0
Current cumulated CPU time of completed processes: 0.014386 s
Current children cumulated CPU time: 3600.75 s
Current children cumulated vsize: 6473596 KiB
Current children cumulated memory: 4947216 KiB

[startup+3612 s]*
/proc/loadavg: 4.13 4.10 4.09 5/268 117647
/proc/meminfo: memFree=108705388/131249996 swapFree=33003468/33010684
[pid=117261] ppid=117253 vsize=6473596 memory=4947216 CPUtime=3601.55 cores=0,2
/proc/117261/stat : 117261 (python3) R 117253 117256 115863 0 -1 4194304 999341 225636 0 0 50065 209 309657 224 20 0 1 0 141188195 6628962304 1236804 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 1618399 1236804 8171 1 0 1589757 0
Current cumulated CPU time of completed processes: 0.014386 s
Current children cumulated CPU time: 3601.55 s
Current children cumulated vsize: 6473596 KiB
Current children cumulated memory: 4947216 KiB

[startup+3612.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/268 117647
/proc/meminfo: memFree=108705388/131249996 swapFree=33003468/33010684
[pid=117261] ppid=117253 vsize=6473596 memory=4947216 CPUtime=3601.94 cores=0,2
/proc/117261/stat : 117261 (python3) R 117253 117256 115863 0 -1 4194304 1019491 225636 0 0 50103 210 309657 224 20 0 1 0 141188195 6628962304 1236804 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 1618399 1236804 8171 1 0 1589757 0
Current cumulated CPU time of completed processes: 0.014386 s
Current children cumulated CPU time: 3601.94 s
Current children cumulated vsize: 6473596 KiB
Current children cumulated memory: 4947216 KiB

[startup+3612.5 s]
/proc/loadavg: 4.13 4.10 4.09 5/268 117647
/proc/meminfo: memFree=108705388/131249996 swapFree=33003468/33010684
[pid=117261] ppid=117253 vsize=6473596 memory=4947216 CPUtime=3602.05 cores=0,2
/proc/117261/stat : 117261 (python3) R 117253 117256 115863 0 -1 4194304 1024425 225636 0 0 50113 211 309657 224 20 0 1 0 141188195 6628962304 1236804 18446744073709551615 94583738679296 94583738679673 140735799952224 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94583738690968 94583738691588 94583751028736 140735799957839 140735799958048 140735799958048 140735799963623 0
/proc/117261/statm: 1618399 1236804 8171 1 0 1589757 0
Current cumulated CPU time of completed processes: 0.014386 s
Current children cumulated CPU time: 3602.05 s
Current children cumulated vsize: 6473596 KiB
Current children cumulated memory: 4947216 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3612.64
CPU time (s): 3602.22
CPU user time (s): 3597.71
CPU system time (s): 4.50614
CPU usage (%): 99.7116
Max. virtual memory (cumulated for all children) (KiB): 6905448
Max. memory (cumulated for all children) (KiB): 5332176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.71
system time used= 4.50614
maximum resident set size= 4973160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1250667
page faults= 0
swaps= 0
block input operations= 0
block output operations= 99400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 355
involuntary context switches= 4624


# summary of solver processes directly reported to runsolver:
#   pid: 117256,117261
#   total CPU time (s): 3602.22
#   total CPU user time (s): 3597.71
#   total CPU system time (s): 4.50614

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.92006 second user time and 17.0662 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-11 19:31:45
IDJOB=4529811
IDBENCH=155522
IDSOLVER=3388
FILE ID=nodeC021/4529811-1752255105
RUNJOBID= nodeC021-1752253388-115873
SLURM_JOB_ID= 9682586
Free space on /tmp= 430720 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-134.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529811-1752255105/watcher-4529811-1752255105 -o /tmp/evaluation-result-4529811-1752255105/solver-4529811-1752255105 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1752253388-115873 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4529811-1752255105.opb

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

MD5SUM BENCH= 8f50e455e41c11932a7c1290f673c930
RANDOM SEED=2128367175

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.954
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.56
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		: 3599.775
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.56
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.773
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.56
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		: 3599.371
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.56
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.775
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.56
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.785
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.56
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		: 3600.503
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.56
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		: 3593.095
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        115923384 kB
MemAvailable:   122790028 kB
Buffers:            1056 kB
Cached:          7597212 kB
SwapCached:           32 kB
Active:          7430244 kB
Inactive:        7077160 kB
Active(anon):    6882828 kB
Inactive(anon):    39760 kB
Active(file):     547416 kB
Inactive(file):  7037400 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003468 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             55208 kB
Writeback:             0 kB
AnonPages:       6912204 kB
Mapped:           123516 kB
Shmem:             13452 kB
KReclaimable:     241736 kB
Slab:             336312 kB
SReclaimable:     241736 kB
SUnreclaim:        94576 kB
KernelStack:        4304 kB
PageTables:        17276 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   11187668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2824192 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430736 MiB
End job on nodeC021 at 2025-07-11 20:31:58