Trace number 4530048

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? (MO) 618.977 621.078

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ivu59.0.u.opb
MD5SUM35958f80d7fcf653e073babd26915af5
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 variables2569996
Total number of constraints3437
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3436
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint18
Maximum length of a constraint2569996
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 46418
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 500045678
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

525.51/527.47	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4530048-1752261224.opb
525.51/527.47	c Solving mode: decision
525.51/527.47	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
525.51/527.47	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
525.51/527.47	c original problem has 2569996 variables (2569996 bin, 0 int, 0 impl, 0 cont) and 3437 constraints
525.51/527.47	c presolving:
525.51/527.47	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3437 upgd conss, 0 impls, 3436 clqs
525.51/527.47	c (round 2, exhaustive) 2232 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3437 upgd conss, 0 impls, 3436 clqs
525.51/527.47	c    (259.8s) probing: 169/2567764 (0.0%) - 0 fixings, 1 aggregations, 6 implications, 0 bound changes
525.51/527.47	c    (259.8s) probing aborted: 50/50 successive totally useless probings
525.51/527.47	c    (277.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
525.51/527.47	c    (289.6s) symmetry computation finished: 9 generators found (max: 24, log10 of symmetry group size: 0.0) (symcode time: 1.98)
525.51/527.47	c dynamic symmetry handling statistics:
525.51/527.47	c    orbitopal reduction:       no components
525.51/527.47	c    orbital reduction:          1 components of sizes 3
525.51/527.47	c    lexicographic reduction:    3 permutations with support sizes 2, 2, 2
525.51/527.47	c handled 7 out of 7 symmetry components
525.51/527.47	c (round 3, exhaustive) 2233 del vars, 0 del conss, 6 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3437 upgd conss, 0 impls, 3445 clqs
525.51/527.47	c (round 4, exhaustive) 2233 del vars, 1 del conss, 6 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3443 upgd conss, 0 impls, 3445 clqs
525.51/527.47	c (round 5, medium)     2239 del vars, 7 del conss, 6 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3443 upgd conss, 0 impls, 3437 clqs
525.51/527.47	c (round 6, fast)       2239 del vars, 13 del conss, 6 add conss, 0 chg bounds, 6 chg sides, 0 chg coeffs, 3443 upgd conss, 0 impls, 3437 clqs
525.51/527.47	c    (349.1s) probing: 221/2567764 (0.0%) - 0 fixings, 2 aggregations, 6 implications, 0 bound changes
525.51/527.47	c    (349.1s) probing aborted: 50/50 successive totally useless probings
525.51/527.47	c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
525.51/527.47	c  2240 deleted vars, 13 deleted constraints, 6 added constraints, 0 tightened bounds, 0 added holes, 6 changed sides, 0 changed coefficients
525.51/527.47	c  0 implications, 3435 cliques
525.51/527.47	c presolved problem has 2567756 variables (2567756 bin, 0 int, 0 impl, 0 cont) and 3430 constraints
525.51/527.47	c       1 constraints of type <knapsack>
525.51/527.47	c    3429 constraints of type <setppc>
525.51/527.47	c transformed objective value is always integral (scale: 1)
525.51/527.47	c Presolving Time: 346.62
525.51/527.47	c 
525.51/527.47	c 
525.51/527.47	c SCIP Status        : solving was interrupted [time limit reached]
525.51/527.47	c Solving Time (sec) : 500.22
525.51/527.47	c Solving Nodes      : 1
525.51/527.47	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
525.51/527.47	c Dual Bound         : +0.00000000000000e+00
525.51/527.47	c Gap                : infinite
525.51/527.47	c ----------------------------------------------------------------------
525.51/527.47	c dual bound: 0.0 -> 0
525.51/527.47	c primal bound: 1e+20 -> 100000000000000000000
525.51/527.47	c scip-goal-lb: 0
525.51/527.47	c scip-goal-ub: 100000000000000000000
525.51/527.47	c writing output to: HOME/tmp9mysgq8j.opb
525.51/527.47	c appending fixed variable constraints
525.51/527.47	c scip-fixed vars: 0.09% (2232/2567756)
525.51/527.47	c ----------------------------------------------------------------------
525.51/527.47	c executing external solver: HOME/naps-1.03a6
525.51/527.47	c ----------------------------------------------------------------------
525.51/527.47	c command: HOME/naps-1.03a6 HOME/tmp9mysgq8j.opb
525.78/527.86	c NaPS 1.03a6.
525.78/527.86	c Input file name: HOME/tmp9mysgq8j.opb
616.17/618.30	c
616.17/618.30	c *** TERMINATED *** by signal 15
616.17/618.30	c s UNKNOWN
616.17/618.30	c _____________________________________________________________________________
616.17/618.30	c std/band forms        : 0,0
616.17/618.30	c 2cl/3cl ITE-codings   : 0,0
616.17/618.30	c BDD/srt/adr Max costs : 0,0,0
616.17/618.30	c BDDraw/bin/mul/srt/adr: 0,0,0,0,0
616.17/618.30	c BDD nodes             : 0
616.17/618.30	c Es1/CC detections     : 0,0
616.17/618.30	c CC sort               : 0
616.17/618.30	c SAT/UNSAT calls       : 0,0
616.17/618.30	c regenrated variables  : 0
616.17/618.30	c eliminated fixed lits : 0
616.17/618.30	c goal lit flips        : 0
616.17/618.30	c goal stages           : 0
616.17/618.30	c goal shrink           : 0
616.17/618.30	c goal coeff separations: 0
616.17/618.30	c restarts              : 0
616.17/618.30	c conflicts             : 0              (0 /sec)
616.17/618.30	c decisions             : 0              (0 /sec)
616.17/618.30	c propagations          : 0              (0 /sec)
616.17/618.30	c inspects              : 0              (0 /sec)
616.17/618.30	c CPU time (solving tm) : 88.94 s        (0 s, SAT 0 s, UNSAT 0 s)
616.17/618.30	c Time for Opt-base     : 0 s
616.17/618.30	c Steps for Opt-base    : 0
616.17/618.30	c Time for BDD coding   : 0 s
616.17/618.30	c Time for srt coding   : 0 s
616.17/618.30	c _____________________________________________________________________________
616.17/618.30	c received SIGTERM, forwarding to pbsolver...
616.17/618.40	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 (39669 MiB free)
  memory of node 1: 64465 MiB (59844 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530048-1752261224/watcher-4530048-1752261224 -o /tmp/evaluation-result-4530048-1752261224/solver-4530048-1752261224 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1752256628-132452 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530048-1752261224.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
solver pid=133680, runsolver pid=133677
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 4.11 4.10 4.09 5/269 133684
/proc/meminfo: memFree=101867516/131250000 swapFree=33010160/33010684
[pid=133680] ppid=133677 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133680/stat : 133680 (scip-naps-1.00a) S 133677 133680 132442 0 -1 4194304 229 211 0 0 0 0 0 0 20 0 1 0 141800344 4292608 768 18446744073709551615 94035368730624 94035369625157 140728571867408 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94035369864208 94035369911952 94035394600960 140728571869595 140728571869694 140728571869694 140728571875298 0
/proc/133680/statm: 1048 768 704 219 0 110 0
[pid=133684] ppid=133680 vsize=52496 memory=50804 CPUtime=0.08 cores=0,2
/proc/133684/stat : 133684 (grep) R 133680 133680 132442 0 -1 4194304 3214 0 0 0 3 5 0 0 20 0 1 0 141800345 53755904 12701 18446744073709551615 94522785206272 94522785309521 140728356887200 0 0 0 0 0 1024 0 0 0 17 0 0 0 0 0 0 94522785341520 94522785345776 94522799067136 140728356891093 140728356891174 140728356891174 140728356896746 0
/proc/133684/statm: 13124 12701 384 26 0 12398 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 56688 KiB
Current children cumulated memory: 53876 KiB

[startup+0.205873 s]*
/proc/loadavg: 4.10 4.09 4.09 5/269 133684
/proc/meminfo: memFree=101867516/131250000 swapFree=33010160/33010684
[pid=133680] ppid=133677 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133680/stat : 133680 (scip-naps-1.00a) S 133677 133680 132442 0 -1 4194304 229 211 0 0 0 0 0 0 20 0 1 0 141800344 4292608 768 18446744073709551615 94035368730624 94035369625157 140728571867408 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94035369864208 94035369911952 94035394600960 140728571869595 140728571869694 140728571869694 140728571875298 0
/proc/133680/statm: 1048 768 704 219 0 110 0
[pid=133684] ppid=133680 vsize=52496 memory=50804 CPUtime=0.18 cores=0,2
/proc/133684/stat : 133684 (grep) R 133680 133680 132442 0 -1 4194304 3214 0 0 0 7 11 0 0 20 0 1 0 141800345 53755904 12701 18446744073709551615 94522785206272 94522785309521 140728356887200 0 0 0 0 0 1024 0 0 0 17 0 0 0 0 0 0 94522785341520 94522785345776 94522799067136 140728356891093 140728356891174 140728356891174 140728356896746 0
/proc/133684/statm: 13124 12701 384 26 0 12398 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 56688 KiB
Current children cumulated memory: 53876 KiB

[startup+0.305753 s]*
/proc/loadavg: 4.10 4.09 4.09 5/269 133685
/proc/meminfo: memFree=101906336/131250000 swapFree=33010160/33010684
[pid=133680] ppid=133677 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/133680/stat : 133680 (scip-naps-1.00a) S 133677 133680 132442 0 -1 4194304 255 3428 0 0 0 0 8 12 20 0 1 0 141800344 4292608 768 18446744073709551615 94035368730624 94035369625157 140728571867408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94035369864208 94035369911952 94035394600960 140728571869595 140728571869694 140728571869694 140728571875298 0
/proc/133680/statm: 1048 768 704 219 0 110 0
[pid=133685] ppid=133680 vsize=1187380 memory=32228 CPUtime=0.07 cores=0,2
/proc/133685/stat : 133685 (python3) R 133680 133680 132442 0 -1 4194304 3809 0 0 0 6 1 0 0 20 0 1 0 141800367 1215877120 8057 18446744073709551615 94593985208320 94593985208697 140724075171552 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94593985219992 94593985220612 94594004377600 140724075174223 140724075174432 140724075174432 140724075180007 0
/proc/133685/statm: 296845 8057 4897 1 0 268867 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1191572 KiB
Current children cumulated memory: 35300 KiB

[startup+0.700209 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 133685
/proc/meminfo: memFree=101626036/131250000 swapFree=33010160/33010684
[pid=133680] ppid=133677 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/133680/stat : 133680 (scip-naps-1.00a) S 133677 133680 132442 0 -1 4194304 255 3428 0 0 0 0 8 12 20 0 1 0 141800344 4292608 768 18446744073709551615 94035368730624 94035369625157 140728571867408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94035369864208 94035369911952 94035394600960 140728571869595 140728571869694 140728571869694 140728571875298 0
/proc/133680/statm: 1048 768 704 219 0 110 0
[pid=133685] ppid=133680 vsize=1674036 memory=518720 CPUtime=0.45 cores=0,2
/proc/133685/stat : 133685 (python3) R 133680 133680 132442 0 -1 4194304 77941 0 0 0 29 16 0 0 20 0 1 0 141800367 1714212864 129680 18446744073709551615 94593985208320 94593985208697 140724075171552 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94593985219992 94593985220612 94594004377600 140724075174223 140724075174432 140724075174432 140724075180007 0
/proc/133685/statm: 418509 129680 7617 1 0 389867 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1678228 KiB
Current children cumulated memory: 521792 KiB

[startup+1.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 133686
/proc/meminfo: memFree=101177220/131250000 swapFree=33010160/33010684
[pid=133680] ppid=133677 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/133680/stat : 133680 (scip-naps-1.00a) S 133677 133680 132442 0 -1 4194304 255 3428 0 0 0 0 8 12 20 0 1 0 141800344 4292608 768 18446744073709551615 94035368730624 94035369625157 140728571867408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94035369864208 94035369911952 94035394600960 140728571869595 140728571869694 140728571869694 140728571875298 0
/proc/133680/statm: 1048 768 704 219 0 110 0
[pid=133685] ppid=133680 vsize=2391476 memory=1235616 CPUtime=1.25 cores=0,2
/proc/133685/stat : 133685 (python3) R 133680 133680 132442 0 -1 4194304 240826 0 0 0 83 42 0 0 20 0 1 0 141800367 2448871424 308904 18446744073709551615 94593985208320 94593985208697 140724075171552 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94593985219992 94593985220612 94594004377600 140724075174223 140724075174432 140724075174432 140724075180007 0
/proc/133685/statm: 597869 308904 7617 1 0 569227 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 2395668 KiB
Current children cumulated memory: 1238688 KiB

[startup+3.1055 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 133686
/proc/meminfo: memFree=99342468/131250000 swapFree=33010160/33010684
[pid=133680] ppid=133677 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/133680/stat : 133680 (scip-naps-1.00a) S 133677 133680 132442 0 -1 4194304 255 3428 0 0 0 0 8 12 20 0 1 0 141800344 4292608 768 18446744073709551615 94035368730624 94035369625157 140728571867408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94035369864208 94035369911952 94035394600960 140728571869595 140728571869694 140728571869694 140728571875298 0
/proc/133680/statm: 1048 768 704 219 0 110 0
[pid=133685] ppid=133680 vsize=3883016 memory=2727584 CPUtime=2.85 cores=0,2
/proc/133685/stat : 133685 (python3) R 133680 133680 132442 0 -1 4194304 571960 0 0 0 190 95 0 0 20 0 1 0 141800367 3976208384 681896 18446744073709551615 94593985208320 94593985208697 140724075171552 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94593985219992 94593985220612 94594004377600 140724075174223 140724075174432 140724075174432 140724075180007 0
/proc/133685/statm: 970754 681896 7617 1 0 942112 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 3887208 KiB
Current children cumulated memory: 2730656 KiB

[startup+6.30019 s]
/proc/loadavg: 4.09 4.09 4.09 5/270 133686
/proc/meminfo: memFree=98870568/131250000 swapFree=33010160/33010684
[pid=133680] ppid=133677 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/133680/stat : 133680 (scip-naps-1.00a) S 133677 133680 132442 0 -1 4194304 255 3428 0 0 0 0 8 12 20 0 1 0 141800344 4292608 768 18446744073709551615 94035368730624 94035369625157 140728571867408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94035369864208 94035369911952 94035394600960 140728571869595 140728571869694 140728571869694 140728571875298 0
/proc/133680/statm: 1048 768 704 219 0 110 0
[pid=133685] ppid=133680 vsize=4319364 memory=3098656 CPUtime=6.04 cores=0,2
/proc/133685/stat : 133685 (python3) R 133680 133680 132442 0 -1 4194304 635080 0 0 0 495 109 0 0 20 0 1 0 141800367 4423028736 774664 18446744073709551615 94593985208320 94593985208697 140724075171552 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94593985219992 94593985220612 94594004377600 140724075174223 140724075174432 140724075174432 140724075180007 0
/proc/133685/statm: 1079841 774664 7649 1 0 1051199 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 4323556 KiB
Current children cumulated memory: 3101728 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 133686
/proc/meminfo: memFree=97984272/131250000 swapFree=33010160/33010684
[pid=133680] ppid=133677 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/133680/stat : 133680 (scip-naps-1.00a) S 133677 133680 132442 0 -1 4194304 255 3428 0 0 0 0 8 12 20 0 1 0 141800344 4292608 768 18446744073709551615 94035368730624 94035369625157 140728571867408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94035369864208 94035369911952 94035394600960 140728571869595 140728571869694 140728571869694 140728571875298 0
/proc/133680/statm: 1048 768 704 219 0 110 0
[pid=133685] ppid=133680 vsize=4710508 memory=3363744 CPUtime=12.41 cores=0,2
/proc/133685/stat : 133685 (python3) R 133680 133680 132442 0 -1 4194304 701368 0 0 0 1114 127 0 0 20 0 1 0 141800367 4823560192 840936 18446744073709551615 94593985208320 94593985208697 140724075171552 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94593985219992 94593985220612 94594004377600 140724075174223 140724075174432 140724075174432 140724075180007 0
/proc/133685/statm: 1177627 840936 7649 1 0 1148985 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 4714700 KiB
Current children cumulated memory: 3366816 KiB

[startup+25.5002 s]
/proc/loadavg: 4.22 4.12 4.10 5/269 133735
/proc/meminfo: memFree=96343336/131250000 swapFree=33010160/33010684
[pid=133680] ppid=133677 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/133680/stat : 133680 (scip-naps-1.00a) S 133677 133680 132442 0 -1 4194304 255 3428 0 0 0 0 8 12 20 0 1 0 141800344 4292608 768 18446744073709551615 94035368730624 94035369625157 140728571867408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94035369864208 94035369911952 94035394600960 140728571869595 140728571869694 140728571869694 140728571875298 0
/proc/133680/statm: 1048 768 704 219 0 110 0
[pid=133685] ppid=133680 vsize=8285916 memory=6422500 CPUtime=25.16 cores=0,2
/proc/133685/stat : 133685 (python3) R 133680 133680 132442 0 -1 4194304 1525878 0 0 0 2257 259 0 0 20 0 1 0 141800367 8484777984 1605625 18446744073709551615 94593985208320 94593985208697 140724075171552 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94593985219992 94593985220612 94594004377600 140724075174223 140724075174432 140724075174432 140724075180007 0
/proc/133685/statm: 2071479 1605625 7809 1 0 2042837 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 8290108 KiB
Current children cumulated memory: 6425572 KiB

[startup+51.1056 s]
/proc/loadavg: 4.29 4.14 4.10 5/270 133737
/proc/meminfo: memFree=92974820/131250000 swapFree=33010160/33010684
[pid=133680] ppid=133677 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/133680/stat : 133680 (scip-naps-1.00a) S 133677 133680 132442 0 -1 4194304 255 3428 0 0 0 0 8 12 20 0 1 0 141800344 4292608 768 18446744073709551615 94035368730624 94035369625157 140728571867408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94035369864208 94035369911952 94035394600960 140728571869595 140728571869694 140728571869694 140728571875298 0
/proc/133680/statm: 1048 768 704 219 0 110 0
[pid=133685] ppid=133680 vsize=11212764 memory=9711592 CPUtime=50.67 cores=0,2
/proc/133685/stat : 133685 (python3) R 133680 133680 132442 0 -1 4194304 2291905 0 0 0 4679 388 0 0 20 0 1 0 141800367 11481870336 2427898 18446744073709551615 94593985208320 94593985208697 140724075171552 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94593985219992 94593985220612 94594004377600 140724075174223 140724075174432 140724075174432 140724075180007 0
/proc/133685/statm: 2803191 2427898 7905 1 0 2774549 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 11216956 KiB
Current children cumulated memory: 9714664 KiB

[startup+102.3 s]
/proc/loadavg: 4.29 4.18 4.12 5/270 133739
/proc/meminfo: memFree=92523264/131250000 swapFree=33010160/33010684
[pid=133680] ppid=133677 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/133680/stat : 133680 (scip-naps-1.00a) S 133677 133680 132442 0 -1 4194304 255 3428 0 0 0 0 8 12 20 0 1 0 141800344 4292608 768 18446744073709551615 94035368730624 94035369625157 140728571867408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94035369864208 94035369911952 94035394600960 140728571869595 140728571869694 140728571869694 140728571875298 0
/proc/133680/statm: 1048 768 704 219 0 110 0
[pid=133685] ppid=133680 vsize=11525972 memory=9951464 CPUtime=101.65 cores=0,2
/proc/133685/stat : 133685 (python3) R 133680 133680 132442 0 -1 4194304 2332426 0 0 0 9757 408 0 0 20 0 1 0 141800367 11802595328 2487866 18446744073709551615 94593985208320 94593985208697 140724075171552 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94593985219992 94593985220612 94594004377600 140724075174223 140724075174432 140724075174432 140724075180007 0
/proc/133685/statm: 2881493 2487866 7905 1 0 2852851 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 11530164 KiB
Current children cumulated memory: 9954536 KiB

[startup+162.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/271 133742
/proc/meminfo: memFree=86642196/131250000 swapFree=33010160/33010684
[pid=133680] ppid=133677 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/133680/stat : 133680 (scip-naps-1.00a) S 133677 133680 132442 0 -1 4194304 255 3428 0 0 0 0 8 12 20 0 1 0 141800344 4292608 768 18446744073709551615 94035368730624 94035369625157 140728571867408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94035369864208 94035369911952 94035394600960 140728571869595 140728571869694 140728571869694 140728571875298 0
/proc/133680/statm: 1048 768 704 219 0 110 0
[pid=133685] ppid=133680 vsize=18560140 memory=15839652 CPUtime=161.44 cores=0,2
/proc/133685/stat : 133685 (python3) R 133680 133680 132442 0 -1 4194304 3483220 0 0 0 15528 616 0 0 20 0 1 0 141800367 19005583360 3959913 18446744073709551615 94593985208320 94593985208697 140724075171552 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94593985219992 94593985220612 94594004377600 140724075174223 140724075174432 140724075174432 140724075180007 0
/proc/133685/statm: 4640035 3959913 7969 1 0 4611393 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 18564332 KiB
Current children cumulated memory: 15842724 KiB

[startup+222.3 s]
/proc/loadavg: 4.27 4.19 4.12 5/272 133794
/proc/meminfo: memFree=86024448/131250000 swapFree=33010160/33010684
[pid=133680] ppid=133677 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/133680/stat : 133680 (scip-naps-1.00a) S 133677 133680 132442 0 -1 4194304 255 3428 0 0 0 0 8 12 20 0 1 0 141800344 4292608 768 18446744073709551615 94035368730624 94035369625157 140728571867408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94035369864208 94035369911952 94035394600960 140728571869595 140728571869694 140728571869694 140728571875298 0
/proc/133680/statm: 1048 768 704 219 0 110 0
[pid=133685] ppid=133680 vsize=19144968 memory=16440448 CPUtime=221.23 cores=0,2
/proc/133685/stat : 133685 (python3) R 133680 133680 132442 0 -1 4194304 3527964 0 0 0 21484 639 0 0 20 0 1 0 141800367 19604447232 4110112 18446744073709551615 94593985208320 94593985208697 140724075171552 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94593985219992 94593985220612 94594004377600 140724075174223 140724075174432 140724075174432 140724075180007 0
/proc/133685/statm: 4786242 4110112 7969 1 0 4757600 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 19149160 KiB

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

/proc/133685/statm: 4834119 4157984 7969 1 0 4805477 0
Current children cumulated CPU time: 281.23 s
Current children cumulated vsize: 19340668 KiB
Current children cumulated memory: 16635008 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/270 133848
/proc/meminfo: memFree=97384820/131250000 swapFree=33010160/33010684
[pid=133680] ppid=133677 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/133680/stat : 133680 (scip-naps-1.00a) S 133677 133680 132442 0 -1 4194304 255 3428 0 0 0 0 8 12 20 0 1 0 141800344 4292608 768 18446744073709551615 94035368730624 94035369625157 140728571867408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94035369864208 94035369911952 94035394600960 140728571869595 140728571869694 140728571869694 140728571875298 0
/proc/133680/statm: 1048 768 704 219 0 110 0
[pid=133685] ppid=133680 vsize=21076088 memory=18130648 CPUtime=340.82 cores=0,2
/proc/133685/stat : 133685 (python3) R 133680 133680 132442 0 -1 4194304 3605593 0 0 0 33364 718 0 0 20 0 1 0 141800367 21581914112 4532662 18446744073709551615 94593985208320 94593985208697 140724075171552 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94593985219992 94593985220612 94594004377600 140724075174223 140724075174432 140724075174432 140724075180007 0
/proc/133685/statm: 5269022 4532662 8033 1 0 5240380 0
Current children cumulated CPU time: 341.02 s
Current children cumulated vsize: 21080280 KiB
Current children cumulated memory: 18133720 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.16 4.12 5/270 133947
/proc/meminfo: memFree=91260336/131250000 swapFree=33010160/33010684
[pid=133680] ppid=133677 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/133680/stat : 133680 (scip-naps-1.00a) S 133677 133680 132442 0 -1 4194304 255 3428 0 0 0 0 8 12 20 0 1 0 141800344 4292608 768 18446744073709551615 94035368730624 94035369625157 140728571867408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94035369864208 94035369911952 94035394600960 140728571869595 140728571869694 140728571869694 140728571875298 0
/proc/133680/statm: 1048 768 704 219 0 110 0
[pid=133685] ppid=133680 vsize=27230408 memory=24346264 CPUtime=400.63 cores=0,2
/proc/133685/stat : 133685 (python3) R 133680 133680 132442 0 -1 4194304 4560841 0 0 0 39112 951 0 0 20 0 1 0 141800367 27883937792 6086566 18446744073709551615 94593985208320 94593985208697 140724075171552 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94593985219992 94593985220612 94594004377600 140724075174223 140724075174432 140724075174432 140724075180007 0
/proc/133685/statm: 6807602 6086566 8129 1 0 6778960 0
Current children cumulated CPU time: 400.83 s
Current children cumulated vsize: 27234600 KiB
Current children cumulated memory: 24349336 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/271 133955
/proc/meminfo: memFree=92083340/131250000 swapFree=33010160/33010684
[pid=133680] ppid=133677 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/133680/stat : 133680 (scip-naps-1.00a) S 133677 133680 132442 0 -1 4194304 255 3428 0 0 0 0 8 12 20 0 1 0 141800344 4292608 768 18446744073709551615 94035368730624 94035369625157 140728571867408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94035369864208 94035369911952 94035394600960 140728571869595 140728571869694 140728571869694 140728571875298 0
/proc/133680/statm: 1048 768 704 219 0 110 0
[pid=133685] ppid=133680 vsize=26612260 memory=23728500 CPUtime=460.43 cores=0,2
/proc/133685/stat : 133685 (python3) R 133680 133680 132442 0 -1 4194304 4561628 0 0 0 45073 970 0 0 20 0 1 0 141800367 27250954240 5932125 18446744073709551615 94593985208320 94593985208697 140724075171552 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94593985219992 94593985220612 94594004377600 140724075174223 140724075174432 140724075174432 140724075180007 0
/proc/133685/statm: 6653065 5932125 8129 1 0 6624423 0
Current children cumulated CPU time: 460.63 s
Current children cumulated vsize: 26616452 KiB
Current children cumulated memory: 23731572 KiB

[startup+522.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/271 133957
/proc/meminfo: memFree=90799928/131250000 swapFree=33010160/33010684
[pid=133680] ppid=133677 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/133680/stat : 133680 (scip-naps-1.00a) S 133677 133680 132442 0 -1 4194304 255 3428 0 0 0 0 8 12 20 0 1 0 141800344 4292608 768 18446744073709551615 94035368730624 94035369625157 140728571867408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94035369864208 94035369911952 94035394600960 140728571869595 140728571869694 140728571869694 140728571875298 0
/proc/133680/statm: 1048 768 704 219 0 110 0
[pid=133685] ppid=133680 vsize=27507872 memory=24604524 CPUtime=520.23 cores=0,2
/proc/133685/stat : 133685 (python3) R 133680 133680 132442 0 -1 4194304 4727787 0 0 0 50984 1039 0 0 20 0 1 0 141800367 28168060928 6151131 18446744073709551615 94593985208320 94593985208697 140724075171552 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94593985219992 94593985220612 94594004377600 140724075174223 140724075174432 140724075174432 140724075180007 0
/proc/133685/statm: 6876968 6151131 8193 1 0 6848326 0
Current children cumulated CPU time: 520.43 s
Current children cumulated vsize: 27512064 KiB
Current children cumulated memory: 24607596 KiB

[startup+582.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/272 133960
/proc/meminfo: memFree=87714768/131250000 swapFree=33010160/33010684
[pid=133680] ppid=133677 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/133680/stat : 133680 (scip-naps-1.00a) S 133677 133680 132442 0 -1 4194304 255 3428 0 0 0 0 8 12 20 0 1 0 141800344 4292608 768 18446744073709551615 94035368730624 94035369625157 140728571867408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94035369864208 94035369911952 94035394600960 140728571869595 140728571869694 140728571869694 140728571875298 0
/proc/133680/statm: 1048 768 704 219 0 110 0
[pid=133685] ppid=133680 vsize=28343200 memory=25439940 CPUtime=525.58 cores=0,2
/proc/133685/stat : 133685 (python3) S 133680 133680 132442 0 -1 4194304 4927125 0 0 0 51469 1089 0 0 20 0 1 0 141800367 29023436800 6359985 18446744073709551615 94593985208320 94593985208697 140724075171552 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94593985219992 94593985220612 94594004377600 140724075174223 140724075174432 140724075174432 140724075180007 0
/proc/133685/statm: 7085800 6359985 8193 1 0 7057158 0
[pid=133958] ppid=133685 vsize=2253456 memory=2216752 CPUtime=54.49 cores=0,2
/proc/133958/stat : 133958 (naps-1.03a6) R 133685 133958 133958 0 -1 4194304 490823 0 0 0 5348 101 0 0 20 0 1 0 141853112 2307538944 554188 18446744073709551615 4198400 7047149 140731268779040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37834752 140731268786575 140731268786673 140731268786673 140731268792265 0
/proc/133958/statm: 563364 554188 544 696 0 562525 0
Current children cumulated CPU time: 580.27 s
Current children cumulated vsize: 30600848 KiB
Current children cumulated memory: 27659764 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+618.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/272 133961
/proc/meminfo: memFree=86593664/131250000 swapFree=33010160/33010684
[pid=133680] ppid=133677 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/133680/stat : 133680 (scip-naps-1.00a) S 133677 133680 132442 0 -1 4194304 255 3428 0 0 0 0 8 12 20 0 1 0 141800344 4292608 768 18446744073709551615 94035368730624 94035369625157 140728571867408 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94035369864208 94035369911952 94035394600960 140728571869595 140728571869694 140728571869694 140728571875298 0
/proc/133680/statm: 1048 768 704 219 0 110 0
[pid=133685] ppid=133680 vsize=28343200 memory=25439940 CPUtime=525.58 cores=0,2
/proc/133685/stat : 133685 (python3) S 133680 133680 132442 0 -1 4194304 4927125 0 0 0 51469 1089 0 0 20 0 1 0 141800367 29023436800 6359985 18446744073709551615 94593985208320 94593985208697 140724075171552 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94593985219992 94593985220612 94594004377600 140724075174223 140724075174432 140724075174432 140724075180007 0
/proc/133685/statm: 7085800 6359985 8193 1 0 7057158 0
[pid=133958] ppid=133685 vsize=3400752 memory=3330868 CPUtime=90.39 cores=0,2
/proc/133958/stat : 133958 (naps-1.03a6) R 133685 133958 133958 0 -1 4194304 762759 0 0 0 8893 146 0 0 20 0 1 0 141853112 3482370048 832717 18446744073709551615 4198400 7047149 140731268779040 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37834752 140731268786575 140731268786673 140731268786673 140731268792265 0
/proc/133958/statm: 850188 832717 544 696 0 849349 0
Current children cumulated CPU time: 616.17 s
Current children cumulated vsize: 31748144 KiB
Current children cumulated memory: 28773880 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

# cumulated CPU time of all completed processes:  user=605.14 s, system=13.8373 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+619.2 s]
/proc/loadavg: 4.18 4.15 4.11 5/270 133961
/proc/meminfo: memFree=89678720/131250000 swapFree=33010160/33010684
[pid=133685] ppid=133677 vsize=28343200 memory=25439940 CPUtime=616.87 cores=0,2
/proc/133685/stat : 133685 (python3) R 133677 133680 132442 0 -1 4194304 5544652 762760 0 0 51516 1121 8893 157 20 0 1 0 141800367 29023436800 6359985 18446744073709551615 94593985208320 94593985208697 140724075171552 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94593985219992 94593985220612 94594004377600 140724075174223 140724075174432 140724075174432 140724075180007 0
/proc/133685/statm: 7085800 6359985 8193 1 0 7057158 0
Current cumulated CPU time of completed processes: 0.21109 s
Current children cumulated CPU time: 616.87 s
Current children cumulated vsize: 28343200 KiB
Current children cumulated memory: 25439940 KiB

[startup+620 s]*
/proc/loadavg: 4.18 4.15 4.11 5/270 133961
/proc/meminfo: memFree=89686496/131250000 swapFree=33010160/33010684
[pid=133685] ppid=133677 vsize=28343200 memory=25439940 CPUtime=617.68 cores=0,2
/proc/133685/stat : 133685 (python3) R 133677 133680 132442 0 -1 4194304 5797322 762760 0 0 51584 1134 8893 157 20 0 1 0 141800367 29023436800 6359985 18446744073709551615 94593985208320 94593985208697 140724075171552 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94593985219992 94593985220612 94594004377600 140724075174223 140724075174432 140724075174432 140724075180007 0
/proc/133685/statm: 7085800 6359985 8193 1 0 7057158 0
Current cumulated CPU time of completed processes: 0.21109 s
Current children cumulated CPU time: 617.68 s
Current children cumulated vsize: 28343200 KiB
Current children cumulated memory: 25439940 KiB

[startup+620.2 s]
/proc/loadavg: 4.18 4.15 4.11 5/270 133961
/proc/meminfo: memFree=89686496/131250000 swapFree=33010160/33010684
[pid=133685] ppid=133677 vsize=28343200 memory=25439940 CPUtime=617.87 cores=0,2
/proc/133685/stat : 133685 (python3) R 133677 133680 132442 0 -1 4194304 5834893 762760 0 0 51602 1135 8893 157 20 0 1 0 141800367 29023436800 6359985 18446744073709551615 94593985208320 94593985208697 140724075171552 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94593985219992 94593985220612 94594004377600 140724075174223 140724075174432 140724075174432 140724075180007 0
/proc/133685/statm: 7085800 6359985 8193 1 0 7057158 0
Current cumulated CPU time of completed processes: 0.21109 s
Current children cumulated CPU time: 617.87 s
Current children cumulated vsize: 28343200 KiB
Current children cumulated memory: 25439940 KiB

[startup+620.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/270 133961
/proc/meminfo: memFree=89686496/131250000 swapFree=33010160/33010684
[pid=133685] ppid=133677 vsize=28343200 memory=25439940 CPUtime=617.97 cores=0,2
/proc/133685/stat : 133685 (python3) R 133677 133680 132442 0 -1 4194304 5854893 762760 0 0 51611 1136 8893 157 20 0 1 0 141800367 29023436800 6359985 18446744073709551615 94593985208320 94593985208697 140724075171552 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94593985219992 94593985220612 94594004377600 140724075174223 140724075174432 140724075174432 140724075180007 0
/proc/133685/statm: 7085800 6359985 8193 1 0 7057158 0
Current cumulated CPU time of completed processes: 0.21109 s
Current children cumulated CPU time: 617.97 s
Current children cumulated vsize: 28343200 KiB
Current children cumulated memory: 25439940 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 621.078
CPU time (s): 618.977
CPU user time (s): 605.14
CPU system time (s): 13.8373
CPU usage (%): 99.6616
Max. virtual memory (cumulated for all children) (KiB): 31748144
Max. memory (cumulated for all children) (KiB): 28773880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 605.14
system time used= 13.8373
maximum resident set size= 25439940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6621351
page faults= 0
swaps= 0
block input operations= 0
block output operations= 888944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 340
involuntary context switches= 1426


# summary of solver processes directly reported to runsolver:
#   pid: 133680,133685
#   total CPU time (s): 618.977
#   total CPU user time (s): 605.14
#   total CPU system time (s): 13.8373

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.30341 second user time and 2.86012 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-07-11 21:13:48
IDJOB=4530048
IDBENCH=164110
IDSOLVER=3388
FILE ID=nodeC016/4530048-1752261224
RUNJOBID= nodeC016-1752256628-132452
SLURM_JOB_ID= 9682603
Free space on /tmp= 430124 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ivu59.0.u.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4530048-1752261224/watcher-4530048-1752261224 -o /tmp/evaluation-result-4530048-1752261224/solver-4530048-1752261224 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1752256628-132452 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4530048-1752261224.opb

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

MD5SUM BENCH= 35958f80d7fcf653e073babd26915af5
RANDOM SEED=91044005

nodeC016 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.723
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.48
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.700
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.48
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		: 3596.950
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.48
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		: 3718.015
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.48
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.750
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.48
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.758
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.48
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		: 3599.989
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.48
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		: 3700.000
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        101902584 kB
MemAvailable:   114608540 kB
Buffers:            2144 kB
Cached:         13417708 kB
SwapCached:           28 kB
Active:         15792972 kB
Inactive:       12683172 kB
Active(anon):   15072224 kB
Inactive(anon):     2112 kB
Active(file):     720748 kB
Inactive(file): 12681060 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            449960 kB
Writeback:             0 kB
AnonPages:      15057196 kB
Mapped:           131296 kB
Shmem:             18044 kB
KReclaimable:     286776 kB
Slab:             384316 kB
SReclaimable:     286776 kB
SUnreclaim:        97540 kB
KernelStack:        4320 kB
PageTables:        33272 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   20685316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7090176 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429740 MiB
End job on nodeC016 at 2025-07-11 21:24:09