Trace number 4503577
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:
-
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.
-
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.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
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.
-
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
General information on the benchmark
| Name | PB24/normalized-PB11/DEC-LIN/
lopes/normalized-134.opb |
| MD5SUM | 8f50e455e41c11932a7c1290f673c930 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 107.722 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 48411 |
| Total number of constraints | 1121517 |
| Number of constraints which are clauses | 1007723 |
| Number of constraints which are cardinality constraints (but not clauses) | 3523 |
| Number of constraints which are nor clauses,nor cardinality constraints | 110271 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 690 |
| 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 numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
Solver Data
501.29/502.84 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4503577-1751168932.opb
501.29/502.84 c Solving mode: decision
501.29/502.84 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
501.29/502.84 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
501.29/502.84 c original problem has 48411 variables (48411 bin, 0 int, 0 impl, 0 cont) and 1121517 constraints
501.29/502.84 c presolving:
501.29/502.84 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.29/502.84 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.29/502.84 c (113.7s) probing: 1000/48410 (2.1%) - 0 fixings, 0 aggregations, 265973 implications, 0 bound changes
501.29/502.84 c (113.8s) probing: 1001/48410 (2.1%) - 0 fixings, 0 aggregations, 265973 implications, 0 bound changes
501.29/502.84 c (113.8s) probing aborted: 1000/1000 successive useless probings
501.29/502.84 c (120.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
501.29/502.84 c (121.6s) no symmetry present (symcode time: 0.26)
501.29/502.84 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
501.29/502.84 c 1 deleted vars, 14006 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 21051 changed coefficients
501.29/502.84 c 0 implications, 503557 cliques
501.29/502.84 c presolved problem has 48410 variables (48410 bin, 0 int, 0 impl, 0 cont) and 1107511 constraints
501.29/502.84 c 112021 constraints of type <knapsack>
501.29/502.84 c 237584 constraints of type <setppc>
501.29/502.84 c 1 constraints of type <linear>
501.29/502.84 c 757905 constraints of type <logicor>
501.29/502.84 c transformed objective value is always integral (scale: 1)
501.29/502.84 c Presolving Time: 121.34
501.29/502.84 c
501.29/502.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
501.29/502.84 c 130s| 1 | 0 | 2167 | - | 4632M | 0 | 48k|1107k|1107k| 0 | 0 | 169 | 0 | 0.000000e+00 | -- | Inf | unknown
501.29/502.84 c 500s| 1 | 0 | 7243 | - | 4667M | 0 | 48k|1107k|1107k| 3 | 1 | 179 | 0 | 0.000000e+00 | -- | Inf | unknown
501.29/502.84 c (node 1) LP solver hit time limit in LP 12 -- using pseudo solution instead
501.29/502.84 c
501.29/502.84 c SCIP Status : solving was interrupted [time limit reached]
501.29/502.84 c Solving Time (sec) : 500.06
501.29/502.84 c Solving Nodes : 1
501.29/502.84 c Primal Bound : +1.00000000000000e+20 (0 solutions)
501.29/502.84 c Dual Bound : +0.00000000000000e+00
501.29/502.84 c Gap : infinite
501.29/502.84 c ----------------------------------------------------------------------
501.29/502.84 c dual bound: 0.0 -> 0
501.29/502.84 c primal bound: 1e+20 -> 100000000000000000000
501.29/502.84 c scip-goal-lb: 0
501.29/502.84 c scip-goal-ub: 100000000000000000000
501.29/502.84 c writing output to: HOME/tmph3awlfjv.opb
501.29/502.84 c appending fixed variable constraints
501.29/502.84 c scip-fixed vars: 0.00% (0/48410)
501.29/502.84 c ----------------------------------------------------------------------
501.29/502.84 c executing external solver: HOME/naps-1.03a6
501.29/502.84 c ----------------------------------------------------------------------
501.29/502.84 c command: HOME/naps-1.03a6 HOME/tmph3awlfjv.opb
501.37/502.90 c NaPS 1.03a6.
501.37/502.90 c Input file name: HOME/tmph3awlfjv.opb
3600.04/3610.30 c
3600.04/3610.30 c *** TERMINATED *** by signal 15
3600.04/3610.30 c _____________________________________________________________________________
3600.04/3610.30 c std/band forms : 113795,0
3600.04/3610.30 c 2cl/3cl ITE-codings : 105020,0
3600.04/3610.30 c BDD/srt/adr Max costs : 5,119,0
3600.04/3610.30 c BDDraw/bin/mul/srt/adr: 110271,0,0,3524,0
3600.04/3610.30 c BDD nodes : 651124
3600.04/3610.30 c Es1/CC detections : 0,0
3600.04/3610.30 c CC sort : 3523
3600.04/3610.30 c SAT/UNSAT calls : 0,0
3600.04/3610.30 c regenrated variables : 0
3600.04/3610.30 c eliminated fixed lits : 0
3600.04/3610.30 c goal lit flips : 0
3600.04/3610.30 c goal stages : 0
3600.04/3610.30 c goal shrink : 0
3600.04/3610.30 c goal coeff separations: 0
3600.04/3610.30 c restarts : 0
3600.04/3610.30 c conflicts : 0 (0 /sec)
3600.04/3610.30 c decisions : 0 (0 /sec)
3600.04/3610.30 c propagations : 0 (0 /sec)
3600.04/3610.30 c inspects : 0 (0 /sec)
3600.04/3610.30 c CPU time (solving tm) : 3096 s (3086 s, SAT 0 s, UNSAT 0 s)
3600.04/3610.30 c Time for Opt-base : 0.01569 s
3600.04/3610.30 c Steps for Opt-base : 0
3600.04/3610.30 c Time for BDD coding : 1.391 s
3600.04/3610.30 c Time for srt coding : 0.03535 s
3600.04/3610.30 c _____________________________________________________________________________
3600.04/3610.30 c received SIGTERM, forwarding to pbsolver...
3600.04/3610.30 s UNKNOWN
Verifier Data
ERROR: no interpretation found !
Watcher Data
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (60381 MiB free)
memory of node 1: 64465 MiB (61840 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503577-1751168932/watcher-4503577-1751168932 -o /tmp/evaluation-result-4503577-1751168932/solver-4503577-1751168932 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751159326-19843 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4503577-1751168932.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=21882, runsolver pid=21879
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.10 4.09 4.09 5/272 21887
/proc/meminfo: memFree=125145436/131249988 swapFree=33010684/33010684
[pid=21882] ppid=21879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21882/stat : 21882 (scip-naps-1.00.) S 21879 21882 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32570802 4292608 768 18446744073709551615 94378085695488 94378086590021 140726411790432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94378086829072 94378086876816 94378099257344 140726411798945 140726411799042 140726411799042 140726411804644 0
/proc/21882/statm: 1048 768 704 219 0 110 0
[pid=21887] ppid=21882 vsize=1186496 memory=31184 CPUtime=0.06 cores=5,7
/proc/21887/stat : 21887 (python3) R 21882 21882 19830 0 -1 4194304 3599 0 0 0 5 1 0 0 20 0 1 0 32570805 1214971904 7796 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 296624 7796 4852 1 0 268646 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1190688 KiB
Current children cumulated memory: 34256 KiB
[startup+0.205745 s]*
/proc/loadavg: 4.10 4.09 4.09 5/272 21887
/proc/meminfo: memFree=125119228/131249988 swapFree=33010684/33010684
[pid=21882] ppid=21879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21882/stat : 21882 (scip-naps-1.00.) S 21879 21882 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32570802 4292608 768 18446744073709551615 94378085695488 94378086590021 140726411790432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94378086829072 94378086876816 94378099257344 140726411798945 140726411799042 140726411799042 140726411804644 0
/proc/21882/statm: 1048 768 704 219 0 110 0
[pid=21887] ppid=21882 vsize=1215380 memory=67152 CPUtime=0.16 cores=5,7
/proc/21887/stat : 21887 (python3) R 21882 21882 19830 0 -1 4194304 10015 0 0 0 14 2 0 0 20 0 1 0 32570805 1244549120 16788 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 303845 16788 7636 1 0 275203 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1219572 KiB
Current children cumulated memory: 70224 KiB
[startup+0.30593 s]*
/proc/loadavg: 4.10 4.09 4.09 5/272 21887
/proc/meminfo: memFree=125095036/131249988 swapFree=33010684/33010684
[pid=21882] ppid=21879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21882/stat : 21882 (scip-naps-1.00.) S 21879 21882 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32570802 4292608 768 18446744073709551615 94378085695488 94378086590021 140726411790432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94378086829072 94378086876816 94378099257344 140726411798945 140726411799042 140726411799042 140726411804644 0
/proc/21882/statm: 1048 768 704 219 0 110 0
[pid=21887] ppid=21882 vsize=1245072 memory=95952 CPUtime=0.26 cores=5,7
/proc/21887/stat : 21887 (python3) R 21882 21882 19830 0 -1 4194304 17226 0 0 0 23 3 0 0 20 0 1 0 32570805 1274953728 23988 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 311268 23988 7636 1 0 282626 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1249264 KiB
Current children cumulated memory: 99024 KiB
[startup+0.700198 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 21887
/proc/meminfo: memFree=125039596/131249988 swapFree=33010684/33010684
[pid=21882] ppid=21879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21882/stat : 21882 (scip-naps-1.00.) S 21879 21882 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32570802 4292608 768 18446744073709551615 94378085695488 94378086590021 140726411790432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94378086829072 94378086876816 94378099257344 140726411798945 140726411799042 140726411799042 140726411804644 0
/proc/21882/statm: 1048 768 704 219 0 110 0
[pid=21887] ppid=21882 vsize=1351772 memory=202752 CPUtime=0.65 cores=5,7
/proc/21887/stat : 21887 (python3) R 21882 21882 19830 0 -1 4194304 43403 0 0 0 58 7 0 0 20 0 1 0 32570805 1384214528 50688 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 337943 50688 7636 1 0 309301 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1355964 KiB
Current children cumulated memory: 205824 KiB
[startup+1.50019 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 21887
/proc/meminfo: memFree=124903140/131249988 swapFree=33010684/33010684
[pid=21882] ppid=21879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21882/stat : 21882 (scip-naps-1.00.) S 21879 21882 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32570802 4292608 768 18446744073709551615 94378085695488 94378086590021 140726411790432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94378086829072 94378086876816 94378099257344 140726411798945 140726411799042 140726411799042 140726411804644 0
/proc/21882/statm: 1048 768 704 219 0 110 0
[pid=21887] ppid=21882 vsize=1560208 memory=410960 CPUtime=1.45 cores=5,7
/proc/21887/stat : 21887 (python3) R 21882 21882 19830 0 -1 4194304 93415 0 0 0 130 15 0 0 20 0 1 0 32570805 1597652992 102740 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 390052 102740 7636 1 0 361410 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1564400 KiB
Current children cumulated memory: 414032 KiB
[startup+3.1056 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 21887
/proc/meminfo: memFree=124218300/131249988 swapFree=33010684/33010684
[pid=21882] ppid=21879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21882/stat : 21882 (scip-naps-1.00.) S 21879 21882 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32570802 4292608 768 18446744073709551615 94378085695488 94378086590021 140726411790432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94378086829072 94378086876816 94378099257344 140726411798945 140726411799042 140726411799042 140726411804644 0
/proc/21882/statm: 1048 768 704 219 0 110 0
[pid=21887] ppid=21882 vsize=2190352 memory=1040552 CPUtime=3.05 cores=5,7
/proc/21887/stat : 21887 (python3) R 21882 21882 19830 0 -1 4194304 238419 0 0 0 266 39 0 0 20 0 1 0 32570805 2242920448 260138 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 547588 260138 7796 1 0 518946 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 2194544 KiB
Current children cumulated memory: 1043624 KiB
[startup+6.30019 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 21887
/proc/meminfo: memFree=123498484/131249988 swapFree=33010684/33010684
[pid=21882] ppid=21879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21882/stat : 21882 (scip-naps-1.00.) S 21879 21882 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32570802 4292608 768 18446744073709551615 94378085695488 94378086590021 140726411790432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94378086829072 94378086876816 94378099257344 140726411798945 140726411799042 140726411799042 140726411804644 0
/proc/21882/statm: 1048 768 704 219 0 110 0
[pid=21887] ppid=21882 vsize=2959820 memory=1795952 CPUtime=6.23 cores=5,7
/proc/21887/stat : 21887 (python3) R 21882 21882 19830 0 -1 4194304 394044 0 0 0 559 64 0 0 20 0 1 0 32570805 3030855680 448988 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 739955 448988 7892 1 0 711313 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 2964012 KiB
Current children cumulated memory: 1799024 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 21888
/proc/meminfo: memFree=122993796/131249988 swapFree=33010684/33010684
[pid=21882] ppid=21879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21882/stat : 21882 (scip-naps-1.00.) S 21879 21882 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32570802 4292608 768 18446744073709551615 94378085695488 94378086590021 140726411790432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94378086829072 94378086876816 94378099257344 140726411798945 140726411799042 140726411799042 140726411804644 0
/proc/21882/statm: 1048 768 704 219 0 110 0
[pid=21887] ppid=21882 vsize=3377032 memory=2210772 CPUtime=12.62 cores=5,7
/proc/21887/stat : 21887 (python3) R 21882 21882 19830 0 -1 4194304 486523 0 0 0 1184 78 0 0 20 0 1 0 32570805 3458080768 552693 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 844258 552693 7956 1 0 815616 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 3381224 KiB
Current children cumulated memory: 2213844 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.10 4.09 5/272 21888
/proc/meminfo: memFree=122978044/131249988 swapFree=33010684/33010684
[pid=21882] ppid=21879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21882/stat : 21882 (scip-naps-1.00.) S 21879 21882 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32570802 4292608 768 18446744073709551615 94378085695488 94378086590021 140726411790432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94378086829072 94378086876816 94378099257344 140726411798945 140726411799042 140726411799042 140726411804644 0
/proc/21882/statm: 1048 768 704 219 0 110 0
[pid=21887] ppid=21882 vsize=3377032 memory=2213844 CPUtime=25.39 cores=5,7
/proc/21887/stat : 21887 (python3) R 21882 21882 19830 0 -1 4194304 487327 0 0 0 2460 79 0 0 20 0 1 0 32570805 3458080768 553461 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 844258 553461 7956 1 0 815616 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 3381224 KiB
Current children cumulated memory: 2216916 KiB
[startup+51.1059 s]
/proc/loadavg: 4.09 4.09 4.09 5/271 21888
/proc/meminfo: memFree=122974712/131249988 swapFree=33010684/33010684
[pid=21882] ppid=21879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21882/stat : 21882 (scip-naps-1.00.) S 21879 21882 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32570802 4292608 768 18446744073709551615 94378085695488 94378086590021 140726411790432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94378086829072 94378086876816 94378099257344 140726411798945 140726411799042 140726411799042 140726411804644 0
/proc/21882/statm: 1048 768 704 219 0 110 0
[pid=21887] ppid=21882 vsize=3377032 memory=2214100 CPUtime=50.92 cores=5,7
/proc/21887/stat : 21887 (python3) R 21882 21882 19830 0 -1 4194304 487449 0 0 0 5013 79 0 0 20 0 1 0 32570805 3458080768 553525 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 844258 553525 7956 1 0 815616 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 3381224 KiB
Current children cumulated memory: 2217172 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/272 21893
/proc/meminfo: memFree=122984624/131249988 swapFree=33010684/33010684
[pid=21882] ppid=21879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21882/stat : 21882 (scip-naps-1.00.) S 21879 21882 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32570802 4292608 768 18446744073709551615 94378085695488 94378086590021 140726411790432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94378086829072 94378086876816 94378099257344 140726411798945 140726411799042 140726411799042 140726411804644 0
/proc/21882/statm: 1048 768 704 219 0 110 0
[pid=21887] ppid=21882 vsize=3377032 memory=2214100 CPUtime=101.98 cores=5,7
/proc/21887/stat : 21887 (python3) R 21882 21882 19830 0 -1 4194304 487525 0 0 0 10119 79 0 0 20 0 1 0 32570805 3458080768 553525 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 844258 553525 7956 1 0 815616 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 3381224 KiB
Current children cumulated memory: 2217172 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 21898
/proc/meminfo: memFree=120283820/131249988 swapFree=33010684/33010684
[pid=21882] ppid=21879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21882/stat : 21882 (scip-naps-1.00.) S 21879 21882 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32570802 4292608 768 18446744073709551615 94378085695488 94378086590021 140726411790432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94378086829072 94378086876816 94378099257344 140726411798945 140726411799042 140726411799042 140726411804644 0
/proc/21882/statm: 1048 768 704 219 0 110 0
[pid=21887] ppid=21882 vsize=6381588 memory=4895084 CPUtime=161.82 cores=5,7
/proc/21887/stat : 21887 (python3) R 21882 21882 19830 0 -1 4194304 710709 0 0 0 16022 160 0 0 20 0 1 0 32570805 6534746112 1223771 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 1595397 1223771 8148 1 0 1566755 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 6385780 KiB
Current children cumulated memory: 4898156 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/271 21900
/proc/meminfo: memFree=120235104/131249988 swapFree=33010684/33010684
[pid=21882] ppid=21879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21882/stat : 21882 (scip-naps-1.00.) S 21879 21882 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32570802 4292608 768 18446744073709551615 94378085695488 94378086590021 140726411790432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94378086829072 94378086876816 94378099257344 140726411798945 140726411799042 140726411799042 140726411804644 0
/proc/21882/statm: 1048 768 704 219 0 110 0
[pid=21887] ppid=21882 vsize=6381588 memory=4895084 CPUtime=221.65 cores=5,7
/proc/21887/stat : 21887 (python3) R 21882 21882 19830 0 -1 4194304 710750 0 0 0 22005 160 0 0 20 0 1 0 32570805 6534746112 1223771 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 1595397 1223771 8148 1 0 1566755 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 6385780 KiB
################
# More data... #
################
/proc/21887/stat : 21887 (python3) S 21882 21882 19830 0 -1 4194304 720324 0 0 0 49965 172 0 0 20 0 1 0 32570805 6629044224 1238637 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 1618419 1238637 8180 1 0 1589777 0
[pid=21963] ppid=21887 vsize=362124 memory=334316 CPUtime=2831.46 cores=5,7
/proc/21963/stat : 21963 (naps-1.03a6) R 21887 21963 21963 0 -1 4194304 239284 0 0 0 282932 214 0 0 20 0 1 0 32621090 370814976 83579 18446744073709551615 4198400 7047149 140736088986944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 39686144 140736088992145 140736088992243 140736088992243 140736088997833 0
/proc/21963/statm: 90531 83579 544 696 0 89692 0
Current children cumulated CPU time: 3332.83 s
Current children cumulated vsize: 6839992 KiB
Current children cumulated memory: 5291936 KiB
[startup+3402.3 s]
/proc/loadavg: 2.07 2.08 2.23 3/256 22171
/proc/meminfo: memFree=118986060/131249988 swapFree=33010684/33010684
[pid=21882] ppid=21879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21882/stat : 21882 (scip-naps-1.00.) S 21879 21882 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32570802 4292608 768 18446744073709551615 94378085695488 94378086590021 140726411790432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94378086829072 94378086876816 94378099257344 140726411798945 140726411799042 140726411799042 140726411804644 0
/proc/21882/statm: 1048 768 704 219 0 110 0
[pid=21887] ppid=21882 vsize=6473676 memory=4954548 CPUtime=501.37 cores=5,7
/proc/21887/stat : 21887 (python3) S 21882 21882 19830 0 -1 4194304 720324 0 0 0 49965 172 0 0 20 0 1 0 32570805 6629044224 1238637 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 1618419 1238637 8180 1 0 1589777 0
[pid=21963] ppid=21887 vsize=362124 memory=332268 CPUtime=2891.28 cores=5,7
/proc/21963/stat : 21963 (naps-1.03a6) R 21887 21963 21963 0 -1 4194304 243924 0 0 0 288910 218 0 0 20 0 1 0 32621090 370814976 83067 18446744073709551615 4198400 7047149 140736088986944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 39686144 140736088992145 140736088992243 140736088992243 140736088997833 0
/proc/21963/statm: 90531 83067 544 696 0 89692 0
Current children cumulated CPU time: 3392.65 s
Current children cumulated vsize: 6839992 KiB
Current children cumulated memory: 5289888 KiB
[startup+3462.3 s]
/proc/loadavg: 2.14 2.09 2.22 3/256 22176
/proc/meminfo: memFree=118989084/131249988 swapFree=33010684/33010684
[pid=21882] ppid=21879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21882/stat : 21882 (scip-naps-1.00.) S 21879 21882 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32570802 4292608 768 18446744073709551615 94378085695488 94378086590021 140726411790432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94378086829072 94378086876816 94378099257344 140726411798945 140726411799042 140726411799042 140726411804644 0
/proc/21882/statm: 1048 768 704 219 0 110 0
[pid=21887] ppid=21882 vsize=6473676 memory=4954548 CPUtime=501.37 cores=5,7
/proc/21887/stat : 21887 (python3) S 21882 21882 19830 0 -1 4194304 720324 0 0 0 49965 172 0 0 20 0 1 0 32570805 6629044224 1238637 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 1618419 1238637 8180 1 0 1589777 0
[pid=21963] ppid=21887 vsize=329356 memory=322028 CPUtime=2951.1 cores=5,7
/proc/21963/stat : 21963 (naps-1.03a6) R 21887 21963 21963 0 -1 4194304 244926 0 0 0 294891 219 0 0 20 0 1 0 32621090 337260544 80507 18446744073709551615 4198400 7047149 140736088986944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 39686144 140736088992145 140736088992243 140736088992243 140736088997833 0
/proc/21963/statm: 82339 80507 544 696 0 81500 0
Current children cumulated CPU time: 3452.47 s
Current children cumulated vsize: 6807224 KiB
Current children cumulated memory: 5279648 KiB
[startup+3522.3 s]
/proc/loadavg: 2.11 2.09 2.21 3/256 22178
/proc/meminfo: memFree=118979388/131249988 swapFree=33010684/33010684
[pid=21882] ppid=21879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21882/stat : 21882 (scip-naps-1.00.) S 21879 21882 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32570802 4292608 768 18446744073709551615 94378085695488 94378086590021 140726411790432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94378086829072 94378086876816 94378099257344 140726411798945 140726411799042 140726411799042 140726411804644 0
/proc/21882/statm: 1048 768 704 219 0 110 0
[pid=21887] ppid=21882 vsize=6473676 memory=4954548 CPUtime=501.37 cores=5,7
/proc/21887/stat : 21887 (python3) S 21882 21882 19830 0 -1 4194304 720324 0 0 0 49965 172 0 0 20 0 1 0 32570805 6629044224 1238637 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 1618419 1238637 8180 1 0 1589777 0
[pid=21963] ppid=21887 vsize=362124 memory=328172 CPUtime=3010.92 cores=5,7
/proc/21963/stat : 21963 (naps-1.03a6) R 21887 21963 21963 0 -1 4194304 246965 0 0 0 300871 221 0 0 20 0 1 0 32621090 370814976 82043 18446744073709551615 4198400 7047149 140736088986944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 39686144 140736088992145 140736088992243 140736088992243 140736088997833 0
/proc/21963/statm: 90531 82043 544 696 0 89692 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 6839992 KiB
Current children cumulated memory: 5285792 KiB
[startup+3582.3 s]
/proc/loadavg: 2.04 2.07 2.19 3/256 22180
/proc/meminfo: memFree=118979032/131249988 swapFree=33010684/33010684
[pid=21882] ppid=21879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21882/stat : 21882 (scip-naps-1.00.) S 21879 21882 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32570802 4292608 768 18446744073709551615 94378085695488 94378086590021 140726411790432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94378086829072 94378086876816 94378099257344 140726411798945 140726411799042 140726411799042 140726411804644 0
/proc/21882/statm: 1048 768 704 219 0 110 0
[pid=21887] ppid=21882 vsize=6473676 memory=4954548 CPUtime=501.37 cores=5,7
/proc/21887/stat : 21887 (python3) S 21882 21882 19830 0 -1 4194304 720324 0 0 0 49965 172 0 0 20 0 1 0 32570805 6629044224 1238637 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 1618419 1238637 8180 1 0 1589777 0
[pid=21963] ppid=21887 vsize=362124 memory=336364 CPUtime=3070.75 cores=5,7
/proc/21963/stat : 21963 (naps-1.03a6) R 21887 21963 21963 0 -1 4194304 247727 0 0 0 306853 222 0 0 20 0 1 0 32621090 370814976 84091 18446744073709551615 4198400 7047149 140736088986944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 39686144 140736088992145 140736088992243 140736088992243 140736088997833 0
/proc/21963/statm: 90531 84091 544 696 0 89692 0
Current children cumulated CPU time: 3572.12 s
Current children cumulated vsize: 6839992 KiB
Current children cumulated memory: 5293984 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 2.08 2.08 2.19 3/256 22180
/proc/meminfo: memFree=118954036/131249988 swapFree=33010684/33010684
[pid=21882] ppid=21879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21882/stat : 21882 (scip-naps-1.00.) S 21879 21882 19830 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 32570802 4292608 768 18446744073709551615 94378085695488 94378086590021 140726411790432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94378086829072 94378086876816 94378099257344 140726411798945 140726411799042 140726411799042 140726411804644 0
/proc/21882/statm: 1048 768 704 219 0 110 0
[pid=21887] ppid=21882 vsize=6473676 memory=4954548 CPUtime=501.37 cores=5,7
/proc/21887/stat : 21887 (python3) S 21882 21882 19830 0 -1 4194304 720324 0 0 0 49965 172 0 0 20 0 1 0 32570805 6629044224 1238637 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 1618419 1238637 8180 1 0 1589777 0
[pid=21963] ppid=21887 vsize=329356 memory=324076 CPUtime=3098.67 cores=5,7
/proc/21963/stat : 21963 (naps-1.03a6) R 21887 21963 21963 0 -1 4194304 247988 0 0 0 309644 223 0 0 20 0 1 0 32621090 337260544 81019 18446744073709551615 4198400 7047149 140736088986944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 39686144 140736088992145 140736088992243 140736088992243 140736088997833 0
/proc/21963/statm: 82339 81019 544 696 0 81500 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 6807224 KiB
Current children cumulated memory: 5281696 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.32 s]
# the end of solver process 21882 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002393 s, system=0.011701 s
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3612.4 s]
# the end of solver process 21887 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3597.94 s, system=4.2268 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: 2.08 2.08 2.19 3/254 22180
/proc/meminfo: memFree=119284104/131249988 swapFree=33010684/33010684
[pid=21887] ppid=21879 vsize=6473676 memory=4954548 CPUtime=3600.94 cores=5,7
/proc/21887/stat : 21887 (python3) R 21879 21882 19830 0 -1 4194304 955679 247989 0 0 50043 183 309644 224 20 0 1 0 32570805 6629044224 1238637 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 1618419 1238637 8180 1 0 1589777 0
Current cumulated CPU time of completed processes: 0.014094 s
Current children cumulated CPU time: 3600.94 s
Current children cumulated vsize: 6473676 KiB
Current children cumulated memory: 4954548 KiB
[startup+3612 s]*
/proc/loadavg: 2.08 2.08 2.19 3/254 22180
/proc/meminfo: memFree=119284104/131249988 swapFree=33010684/33010684
[pid=21887] ppid=21879 vsize=6473676 memory=4954548 CPUtime=3601.74 cores=5,7
/proc/21887/stat : 21887 (python3) R 21879 21882 19830 0 -1 4194304 1018520 247989 0 0 50120 186 309644 224 20 0 1 0 32570805 6629044224 1238637 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 1618419 1238637 8180 1 0 1589777 0
Current cumulated CPU time of completed processes: 0.014094 s
Current children cumulated CPU time: 3601.74 s
Current children cumulated vsize: 6473676 KiB
Current children cumulated memory: 4954548 KiB
[startup+3612.2 s]
/proc/loadavg: 2.08 2.08 2.19 3/254 22180
/proc/meminfo: memFree=119284104/131249988 swapFree=33010684/33010684
[pid=21887] ppid=21879 vsize=6473676 memory=4954548 CPUtime=3601.93 cores=5,7
/proc/21887/stat : 21887 (python3) R 21879 21882 19830 0 -1 4194304 1028902 247989 0 0 50139 186 309644 224 20 0 1 0 32570805 6629044224 1238637 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 1618419 1238637 8180 1 0 1589777 0
Current cumulated CPU time of completed processes: 0.014094 s
Current children cumulated CPU time: 3601.93 s
Current children cumulated vsize: 6473676 KiB
Current children cumulated memory: 4954548 KiB
[startup+3612.3 s]
/proc/loadavg: 2.08 2.08 2.19 3/254 22180
/proc/meminfo: memFree=119284104/131249988 swapFree=33010684/33010684
[pid=21887] ppid=21879 vsize=6464260 memory=4945756 CPUtime=3602.04 cores=5,7
/proc/21887/stat : 21887 (python3) R 21879 21882 19830 0 -1 4194304 1040501 247989 0 0 50149 187 309644 224 20 0 1 0 32570805 6619402240 1236439 18446744073709551615 94677572493312 94677572493689 140721001015424 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94677572504984 94677572505604 94677578371072 140721001023832 140721001024034 140721001024034 140721001029607 0
/proc/21887/statm: 1616065 1236439 8180 1 0 1587423 0
Current cumulated CPU time of completed processes: 0.014094 s
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 6464260 KiB
Current children cumulated memory: 4945756 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.4
CPU time (s): 3602.17
CPU user time (s): 3597.94
CPU system time (s): 4.2268
CPU usage (%): 99.7167
Max. virtual memory (cumulated for all children) (KiB): 6905528
Max. memory (cumulated for all children) (KiB): 5343088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.94
system time used= 4.2268
maximum resident set size= 4977616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1289092
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= 2953
# summary of solver processes directly reported to runsolver:
# pid: 21882,21887
# total CPU time (s): 3602.17
# total CPU user time (s): 3597.94
# total CPU system time (s): 4.2268
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10265 second user time and 15.416 second system time
The end
Launcher Data
Begin job on nodeC020 at 2025-06-29 05:48:52
IDJOB=4503577
IDBENCH=155522
IDSOLVER=3368
FILE ID=nodeC020/4503577-1751168932
RUNJOBID= nodeC020-1751159326-19843
SLURM_JOB_ID= 9587502
Free space on /tmp= 432936 MiB
SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-134.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503577-1751168932/watcher-4503577-1751168932 -o /tmp/evaluation-result-4503577-1751168932/solver-4503577-1751168932 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751159326-19843 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4503577-1751168932.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8f50e455e41c11932a7c1290f673c930
RANDOM SEED=664817788
nodeC020 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.869
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.79
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.890
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.79
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 : 3600.300
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.79
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 : 3600.468
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.79
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.896
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.79
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.902
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.79
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 : 3546.151
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.79
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 : 3599.862
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 125154780 kB
MemAvailable: 125299768 kB
Buffers: 3280 kB
Cached: 952332 kB
SwapCached: 0 kB
Active: 4830516 kB
Inactive: 645028 kB
Active(anon): 4537992 kB
Inactive(anon): 0 kB
Active(file): 292524 kB
Inactive(file): 645028 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 55220 kB
Writeback: 0 kB
AnonPages: 4519100 kB
Mapped: 131704 kB
Shmem: 18056 kB
KReclaimable: 93348 kB
Slab: 179740 kB
SReclaimable: 93348 kB
SUnreclaim: 86392 kB
KernelStack: 4384 kB
PageTables: 12872 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 9024800 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1298432 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432872 MiB
End job on nodeC020 at 2025-06-29 06:49:05