Trace number 4524263
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
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|
| SCIP 2025-06-13 | ? (TO) | | 3600.5 | 3610.19 |
General information on the benchmark
| Name | PB25/normalized-PB25/OPT-LIN/
wallon/normalized-Cargo-24_c24.opb |
| MD5SUM | 5fdde4f5ded59ac93b31f059bbfb02e9 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 94204 |
| Best CPU time to get the best result obtained on this benchmark | 663.838 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2530390 |
| Total number of constraints | 5076483 |
| Number of constraints which are clauses | 842097 |
| Number of constraints which are cardinality constraints (but not clauses) | 42061 |
| Number of constraints which are nor clauses,nor cardinality constraints | 4192325 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 208 |
| Number of terms in the objective function | 64 |
| Biggest coefficient in the objective function | 32768 |
| Number of bits for the biggest coefficient in the objective function | 16 |
| Sum of the numbers in the objective function | 262140 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 661259 |
| Number of bits of the biggest number in a constraint | 20 |
| Biggest sum of numbers in a constraint | 1944735 |
| Number of bits of the biggest sum of numbers | 21 |
| 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
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4524263-1751610152.opb>
22.83/22.90 c original problem has 2530390 variables (2530390 bin, 0 int, 0 cont) and 5076483 constraints
22.83/22.90 c problem read in 22.903 seconds
42.58/42.78 c presolving:
93.63/93.95 c (round 1, fast) 35051 del vars, 33914 del conss, 113 add conss, 17001 chg bounds, 2457042 chg sides, 9308022 chg coeffs, 0 upgd conss, 0 impls, 1499079 clqs
118.86/119.24 c (round 2, fast) 596418 del vars, 1031606 del conss, 156 add conss, 506231 chg bounds, 2687081 chg sides, 9657898 chg coeffs, 0 upgd conss, 0 impls, 975744 clqs
137.91/138.40 c (round 3, fast) 915016 del vars, 1597652 del conss, 163 add conss, 714320 chg bounds, 3439844 chg sides, 10642591 chg coeffs, 0 upgd conss, 0 impls, 984265 clqs
143.20/143.69 c (round 4, fast) 1013371 del vars, 1799945 del conss, 170 add conss, 777499 chg bounds, 3505404 chg sides, 10775930 chg coeffs, 0 upgd conss, 0 impls, 1017030 clqs
157.85/158.33 c (158.3s) running MILP presolver
3590.53/3600.28 c (3600.3s) MILP presolver (1 rounds): 100 aggregations, 0 fixings, 0 bound changes
3597.33/3607.03 c (3607.0s) probing: 1/1619413 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3597.33/3607.03 c (3607.0s) probing aborted: solving stopped
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: 63794 MiB (60358 MiB free)
memory of node 1: 64507 MiB (53706 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524263-1751610152/watcher-4524263-1751610152 -o /tmp/evaluation-result-4524263-1751610152/solver-4524263-1751610152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751606552-90827 --watchdog 3760 pbsolver -f HOME/instance-4524263-1751610152.opb -t 3600 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=91234, runsolver pid=91231
[startup+0.100118 s]*
/proc/loadavg: 4.10 4.13 4.09 5/247 91235
/proc/meminfo: memFree=116743008/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=59560 memory=49280 CPUtime=0.11 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 10358 0 0 0 10 1 0 0 20 0 1 0 76695383 60989440 12320 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 14890 12320 2176 2575 0 11797 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 59560 KiB
Current children cumulated memory: 49280 KiB
[startup+0.213674 s]*
/proc/loadavg: 4.10 4.13 4.09 5/247 91235
/proc/meminfo: memFree=116694876/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=89892 memory=79360 CPUtime=0.22 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 17891 0 0 0 20 2 0 0 20 0 1 0 76695383 92049408 19840 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 22473 19840 2176 2575 0 19380 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 89892 KiB
Current children cumulated memory: 79360 KiB
[startup+0.313591 s]*
/proc/loadavg: 4.10 4.13 4.09 5/247 91235
/proc/meminfo: memFree=116656604/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=115368 memory=105344 CPUtime=0.31 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 24394 0 0 0 28 3 0 0 20 0 1 0 76695383 118136832 26336 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 28842 26336 2176 2575 0 25749 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 115368 KiB
Current children cumulated memory: 105344 KiB
[startup+0.700333 s]
/proc/loadavg: 4.10 4.13 4.09 5/247 91235
/proc/meminfo: memFree=116567900/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=207620 memory=197376 CPUtime=0.69 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 47425 0 0 0 62 7 0 0 20 0 1 0 76695383 212602880 49344 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 51905 49344 2176 2575 0 48812 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 207620 KiB
Current children cumulated memory: 197376 KiB
[startup+1.50029 s]
/proc/loadavg: 4.10 4.13 4.09 5/245 91235
/proc/meminfo: memFree=116366348/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=404400 memory=394288 CPUtime=1.48 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 96116 0 0 0 134 14 0 0 20 0 1 0 76695383 414105600 98572 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 101100 98572 2176 2575 0 98007 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 404400 KiB
Current children cumulated memory: 394288 KiB
[startup+3.11317 s]
/proc/loadavg: 4.10 4.13 4.09 5/250 91245
/proc/meminfo: memFree=115630128/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=799836 memory=789220 CPUtime=3.09 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 192317 0 0 0 277 32 0 0 20 0 1 0 76695383 819032064 197305 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 199959 197305 2176 2575 0 196866 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 799836 KiB
Current children cumulated memory: 789220 KiB
[startup+6.30028 s]
/proc/loadavg: 4.09 4.13 4.09 5/250 91245
/proc/meminfo: memFree=114106028/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=1589608 memory=1578060 CPUtime=6.27 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 382895 0 0 0 563 64 0 0 20 0 1 0 76695383 1627758592 394515 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 397402 394515 2176 2575 0 394309 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1589608 KiB
Current children cumulated memory: 1578060 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.12 4.09 5/250 91245
/proc/meminfo: memFree=110173744/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=3169968 memory=3159644 CPUtime=12.66 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 761930 0 0 0 1139 127 0 0 20 0 1 0 76695383 3246047232 789911 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 792492 789911 2176 2575 0 789399 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 3169968 KiB
Current children cumulated memory: 3159644 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.13 4.09 5/250 91245
/proc/meminfo: memFree=102176728/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=8050240 memory=8029744 CPUtime=25.42 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 1928680 0 0 0 2235 307 0 0 20 0 1 0 76695383 8243445760 2007436 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 2012560 2007436 2368 2575 0 2009467 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 8050240 KiB
Current children cumulated memory: 8029744 KiB
[startup+51.1129 s]
/proc/loadavg: 4.15 4.14 4.09 5/251 91292
/proc/meminfo: memFree=99866588/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=17741852 memory=17528120 CPUtime=50.97 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 4090660 0 0 0 4435 662 0 0 20 0 1 0 76695383 18167656448 4382030 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 4435463 4382030 2432 2575 0 4432370 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 17741852 KiB
Current children cumulated memory: 17528120 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/252 91295
/proc/meminfo: memFree=97151412/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=19280232 memory=19014356 CPUtime=102.01 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 4444467 0 0 0 9475 726 0 0 20 0 1 0 76695383 19742957568 4753589 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 4820058 4753589 2432 2575 0 4816965 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 19280232 KiB
Current children cumulated memory: 19014356 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/252 91297
/proc/meminfo: memFree=91975108/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=24335672 memory=23931192 CPUtime=161.84 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 4489865 0 0 0 15247 937 0 0 20 0 1 0 76695383 24919728128 5982798 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 6083918 5982798 2496 2575 0 6080825 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 24335672 KiB
Current children cumulated memory: 23931192 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/252 91299
/proc/meminfo: memFree=89176340/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=24491836 memory=24080088 CPUtime=221.66 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 4494181 0 0 0 21226 940 0 0 20 0 1 0 76695383 25079640064 6020022 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 6122959 6020022 2528 2575 0 6119866 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 24491836 KiB
Current children cumulated memory: 24080088 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/251 91301
/proc/meminfo: memFree=89147800/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=24491836 memory=24080088 CPUtime=281.49 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 4494934 0 0 0 27208 941 0 0 20 0 1 0 76695383 25079640064 6020022 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 6122959 6020022 2528 2575 0 6119866 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 24491836 KiB
Current children cumulated memory: 24080088 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/251 91305
/proc/meminfo: memFree=89131904/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=24491836 memory=24080088 CPUtime=341.33 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 4495961 0 0 0 33191 942 0 0 20 0 1 0 76695383 25079640064 6020022 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 6122959 6020022 2528 2575 0 6119866 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 24491836 KiB
Current children cumulated memory: 24080088 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/250 91307
/proc/meminfo: memFree=89063052/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=24491836 memory=24080088 CPUtime=401.17 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 4496931 0 0 0 39174 943 0 0 20 0 1 0 76695383 25079640064 6020022 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 6122959 6020022 2528 2575 0 6119866 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 24491836 KiB
Current children cumulated memory: 24080088 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 91309
/proc/meminfo: memFree=89026188/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=24491836 memory=24080088 CPUtime=460.99 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 4497950 0 0 0 45156 943 0 0 20 0 1 0 76695383 25079640064 6020022 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 6122959 6020022 2528 2575 0 6119866 0
Current children cumulated CPU time: 460.99 s
################
# More data... #
################
/proc/meminfo: memFree=89087432/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=24491836 memory=24081112 CPUtime=2914.35 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 4533944 0 0 0 290456 979 0 0 20 0 1 0 76695383 25079640064 6020278 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 6122959 6020278 2528 2575 0 6119866 0
Current children cumulated CPU time: 2914.35 s
Current children cumulated vsize: 24491836 KiB
Current children cumulated memory: 24081112 KiB
[startup+2982.3 s]
/proc/loadavg: 3.07 3.11 3.20 4/245 91517
/proc/meminfo: memFree=89089976/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=24491836 memory=24081112 CPUtime=2974.2 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 4534842 0 0 0 296440 980 0 0 20 0 1 0 76695383 25079640064 6020278 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 6122959 6020278 2528 2575 0 6119866 0
Current children cumulated CPU time: 2974.2 s
Current children cumulated vsize: 24491836 KiB
Current children cumulated memory: 24081112 KiB
[startup+3042.3 s]
/proc/loadavg: 3.30 3.16 3.21 4/245 91519
/proc/meminfo: memFree=89089240/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=24491836 memory=24081112 CPUtime=3034.04 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 4535740 0 0 0 302423 981 0 0 20 0 1 0 76695383 25079640064 6020278 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 6122959 6020278 2528 2575 0 6119866 0
Current children cumulated CPU time: 3034.04 s
Current children cumulated vsize: 24491836 KiB
Current children cumulated memory: 24081112 KiB
[startup+3102.3 s]
/proc/loadavg: 3.16 3.15 3.20 4/244 91521
/proc/meminfo: memFree=89090668/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=24491836 memory=24081112 CPUtime=3093.89 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 4536641 0 0 0 308406 983 0 0 20 0 1 0 76695383 25079640064 6020278 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 6122959 6020278 2528 2575 0 6119866 0
Current children cumulated CPU time: 3093.89 s
Current children cumulated vsize: 24491836 KiB
Current children cumulated memory: 24081112 KiB
[startup+3162.3 s]
/proc/loadavg: 3.10 3.13 3.19 4/244 91523
/proc/meminfo: memFree=89091352/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=24491836 memory=24081112 CPUtime=3153.74 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 4537539 0 0 0 314390 984 0 0 20 0 1 0 76695383 25079640064 6020278 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 6122959 6020278 2528 2575 0 6119866 0
Current children cumulated CPU time: 3153.74 s
Current children cumulated vsize: 24491836 KiB
Current children cumulated memory: 24081112 KiB
[startup+3222.3 s]
/proc/loadavg: 3.09 3.12 3.18 4/244 91525
/proc/meminfo: memFree=89093536/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=24491836 memory=24081112 CPUtime=3213.58 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 4538437 0 0 0 320374 984 0 0 20 0 1 0 76695383 25079640064 6020278 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 6122959 6020278 2528 2575 0 6119866 0
Current children cumulated CPU time: 3213.58 s
Current children cumulated vsize: 24491836 KiB
Current children cumulated memory: 24081112 KiB
[startup+3282.3 s]
/proc/loadavg: 3.08 3.11 3.17 4/244 91527
/proc/meminfo: memFree=89092124/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=24491836 memory=24081112 CPUtime=3273.43 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 4539335 0 0 0 326358 985 0 0 20 0 1 0 76695383 25079640064 6020278 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 6122959 6020278 2528 2575 0 6119866 0
Current children cumulated CPU time: 3273.43 s
Current children cumulated vsize: 24491836 KiB
Current children cumulated memory: 24081112 KiB
[startup+3342.3 s]
/proc/loadavg: 3.14 3.12 3.17 4/244 91530
/proc/meminfo: memFree=89095048/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=24491836 memory=24081112 CPUtime=3333.29 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 4540235 0 0 0 332342 987 0 0 20 0 1 0 76695383 25079640064 6020278 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 6122959 6020278 2528 2575 0 6119866 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 24491836 KiB
Current children cumulated memory: 24081112 KiB
[startup+3402.3 s]
/proc/loadavg: 3.05 3.10 3.16 4/245 91535
/proc/meminfo: memFree=89065284/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=24491836 memory=24081112 CPUtime=3393.13 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 4541133 0 0 0 338326 987 0 0 20 0 1 0 76695383 25079640064 6020278 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 6122959 6020278 2528 2575 0 6119866 0
Current children cumulated CPU time: 3393.13 s
Current children cumulated vsize: 24491836 KiB
Current children cumulated memory: 24081112 KiB
[startup+3462.3 s]
/proc/loadavg: 3.18 3.12 3.17 4/245 91537
/proc/meminfo: memFree=89027308/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=24491836 memory=24081112 CPUtime=3452.98 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 4542033 0 0 0 344310 988 0 0 20 0 1 0 76695383 25079640064 6020278 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 6122959 6020278 2528 2575 0 6119866 0
Current children cumulated CPU time: 3452.98 s
Current children cumulated vsize: 24491836 KiB
Current children cumulated memory: 24081112 KiB
[startup+3522.3 s]
/proc/loadavg: 3.12 3.11 3.16 4/245 91539
/proc/meminfo: memFree=88879904/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=24491836 memory=24081112 CPUtime=3512.83 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 4542929 0 0 0 350294 989 0 0 20 0 1 0 76695383 25079640064 6020278 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 6122959 6020278 2528 2575 0 6119866 0
Current children cumulated CPU time: 3512.83 s
Current children cumulated vsize: 24491836 KiB
Current children cumulated memory: 24081112 KiB
[startup+3582.3 s]
/proc/loadavg: 3.09 3.11 3.16 4/245 91545
/proc/meminfo: memFree=88873040/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=24491836 memory=24081112 CPUtime=3572.68 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 4543831 0 0 0 356279 989 0 0 20 0 1 0 76695383 25079640064 6020278 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 6122959 6020278 2528 2575 0 6119866 0
Current children cumulated CPU time: 3572.68 s
Current children cumulated vsize: 24491836 KiB
Current children cumulated memory: 24081112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 3.06 3.10 3.15 4/245 91546
/proc/meminfo: memFree=92625580/131382112 swapFree=33010160/33010684
[pid=91234] ppid=91231 vsize=20715824 memory=20296440 CPUtime=3600 cores=1,3
/proc/91234/stat : 91234 (pbsolver) R 91231 91234 90815 0 -1 4194304 4553104 0 0 0 358986 1014 0 0 20 0 1 0 76695383 21213003776 5074110 18446744073709551615 4198400 14743177 140730899081952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 39510016 140730899089802 140730899089898 140730899089898 140730899095500 0
/proc/91234/statm: 5178956 5074110 2528 2575 0 5175863 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 20715824 KiB
Current children cumulated memory: 20296440 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.19 s]
# the end of solver process 91234 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3589.87 s, system=10.627 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610 s]*
/proc/loadavg: 3.06 3.10 3.15 4/245 91546
/proc/meminfo: memFree=106822688/131382112 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3610.11 s]
/proc/loadavg: 3.06 3.10 3.15 4/245 91546
/proc/meminfo: memFree=106822688/131382112 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.19
CPU time (s): 3600.5
CPU user time (s): 3589.87
CPU system time (s): 10.627
CPU usage (%): 99.7315
Max. virtual memory (cumulated for all children) (KiB): 26132188
Max. memory (cumulated for all children) (KiB): 25729956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.87
system time used= 10.627
maximum resident set size= 25753624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4553104
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 1123
# summary of solver processes directly reported to runsolver:
# pid: 91234
# total CPU time (s): 3600.5
# total CPU user time (s): 3589.87
# total CPU system time (s): 10.627
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9118 second user time and 34.517 second system time
The end
Launcher Data
Begin job on nodeC009 at 2025-07-04 08:22:36
IDJOB=4524263
IDBENCH=180640
IDSOLVER=3366
FILE ID=nodeC009/4524263-1751610152
RUNJOBID= nodeC009-1751606552-90827
SLURM_JOB_ID= 9598895
Free space on /tmp= 430428 MiB
SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-Cargo-24_c24.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524263-1751610152/watcher-4524263-1751610152 -o /tmp/evaluation-result-4524263-1751610152/solver-4524263-1751610152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751606552-90827 --watchdog 3760 pbsolver -f HOME/instance-4524263-1751610152.opb -t 3600 -m 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5fdde4f5ded59ac93b31f059bbfb02e9
RANDOM SEED=1153666271
nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.459
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1696.076
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.233
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.183
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3596.584
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.581
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 116811364 kB
MemAvailable: 120250060 kB
Buffers: 2144 kB
Cached: 4172268 kB
SwapCached: 24 kB
Active: 10292212 kB
Inactive: 3543716 kB
Active(anon): 9675264 kB
Inactive(anon): 4188 kB
Active(file): 616948 kB
Inactive(file): 3539528 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 749292 kB
Writeback: 0 kB
AnonPages: 9648864 kB
Mapped: 126188 kB
Shmem: 17936 kB
KReclaimable: 243308 kB
Slab: 330560 kB
SReclaimable: 243308 kB
SUnreclaim: 87252 kB
KernelStack: 3952 kB
PageTables: 22172 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 10619560 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149352 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2545664 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: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 430300 MiB
End job on nodeC009 at 2025-07-04 09:22:46