Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| ExactPR-S 2025-06-01 | ? (TO) | 3602.08 | 3611.31 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g100x100.opb |
| MD5SUM | 908a9c4c32d975b4e5850834449958a7 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2076 |
| Best CPU time to get the best result obtained on this benchmark | 3600.06 |
| 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 | 10000 |
| Total number of constraints | 10000 |
| Number of constraints which are clauses | 10000 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 10000 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 10000 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.20/0.25 c 10000 constraints 0.20/0.25 c after presolve 10000 0.20/0.25 c Finish cloning data from SAT to LS 0.20/0.25 c intsize: 14 998.65/1001.38 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 1058.71/1061.51 c Use LS-small 1058.71/1061.51 o 2535 1058.71/1061.51 o 2532 1058.71/1061.51 o 2517 1058.71/1061.51 o 2501 1058.71/1061.51 o 2500 1058.71/1061.51 o 2488 1058.71/1061.51 o 2487 1058.71/1061.51 o 2459 1058.71/1061.51 o 2457 1058.71/1061.51 o 2456 1058.71/1061.51 o 2450 1058.71/1061.51 o 2449 1058.71/1061.51 o 2432 1058.71/1061.51 o 2431 1058.71/1061.51 o 2426 1058.71/1061.51 o 2425 1058.71/1061.51 o 2421 1058.71/1061.51 o 2416 1058.71/1061.51 o 2415 1058.71/1061.51 o 2413 1058.71/1061.51 o 2404 1058.71/1061.51 o 2403 1058.71/1061.51 o 2401 1058.71/1061.51 o 2398 1058.71/1061.51 o 2397 1058.71/1061.51 o 2395 1058.71/1061.51 o 2391 1058.71/1061.51 o 2390 1058.71/1061.51 o 2389 1058.71/1061.51 o 2384 1058.71/1061.51 o 2380 1058.71/1061.51 o 2379 1058.71/1061.51 o 2378 1058.71/1061.51 o 2377 1058.71/1061.51 o 2376 1058.71/1061.51 o 2375 1058.71/1061.51 o 2365 1058.71/1061.51 o 2364 1058.71/1061.51 o 2361 1058.71/1061.51 o 2358 1058.71/1061.51 o 2357 1058.71/1061.51 o 2354 1058.71/1061.51 o 2350 1058.71/1061.51 o 2349 1058.71/1061.51 o 2348 1058.71/1061.51 o 2347 1058.71/1061.51 o 2346 1058.71/1061.51 o 2345 1058.71/1061.51 o 2342 1058.71/1061.51 o 2341 1058.71/1061.51 o 2340 1058.71/1061.51 o 2338 1058.71/1061.51 o 2336 1058.71/1061.51 o 2335 1058.71/1061.51 o 2329 1058.71/1061.51 o 2328 1058.71/1061.51 o 2326 1058.71/1061.51 o 2317 1058.71/1061.51 o 2316 1058.71/1061.51 o 2314 1058.71/1061.51 o 2313 1058.71/1061.51 o 2310 1058.71/1061.51 o 2309 1058.71/1061.51 o 2307 1058.71/1061.51 o 2304 1058.71/1061.51 o 2299 1058.71/1061.51 o 2297 1058.71/1061.51 o 2296 1058.71/1061.51 o 2295 1058.71/1061.51 o 2294 1058.71/1061.51 o 2293 1058.71/1061.51 o 2292 1058.71/1061.51 o 2291 1058.71/1061.51 o 2290 1058.71/1061.51 o 2289 1058.71/1061.51 o 2285 1058.71/1061.51 o 2283 1058.71/1061.51 o 2280 1058.71/1061.51 o 2279 1058.71/1061.51 o 2276 1058.71/1061.51 o 2274 1058.71/1061.51 o 2273 1058.71/1061.51 o 2271 1058.71/1061.51 o 2268 1058.71/1061.51 o 2266 1058.71/1061.51 o 2265 1058.71/1061.51 o 2264 1058.71/1061.51 o 2263 1058.71/1061.51 o 2261 1058.71/1061.51 o 2258 1058.71/1061.51 o 2257 1058.71/1061.51 o 2255 1058.71/1061.51 o 2254 1058.71/1061.51 o 2253 1058.71/1061.51 o 2249 1058.71/1061.51 o 2247 1058.71/1061.51 o 2245 1058.71/1061.51 o 2243 1058.71/1061.51 o 2242 1058.71/1061.51 o 2241 1058.71/1061.51 o 2239 1058.71/1061.51 o 2238 1058.71/1061.51 o 2237 1058.71/1061.51 o 2236 1058.71/1061.51 o 2233 1058.71/1061.51 o 2232 1058.71/1061.51 o 2231 1058.71/1061.51 o 2230 1058.71/1061.51 o 2225 1058.71/1061.51 o 2224 1058.71/1061.51 o 2221 1058.71/1061.51 o 2220 1058.71/1061.51 o 2219 1058.71/1061.51 o 2218 1058.71/1061.51 o 2213 1058.71/1061.51 o 2210 1058.71/1061.51 o 2207 1058.71/1061.51 o 2204 1058.71/1061.51 o 2199 1058.71/1061.51 o 2196 1058.71/1061.51 o 2195 1058.71/1061.51 o 2191 1058.71/1061.51 o 2190 1058.71/1061.51 o 2189 1058.71/1061.51 o 2188 1058.71/1061.51 o 2187 1058.71/1061.51 o 2185 1058.71/1061.51 o 2183 1058.71/1061.51 o 2180 1058.71/1061.51 o 2179 1058.71/1061.51 o 2171 1058.71/1061.51 o 2170 1058.71/1061.51 o 2169 1058.71/1061.51 o 2168 1058.71/1061.51 o 2167 1058.71/1061.51 o 2166 1058.71/1061.51 o 2165 1058.71/1061.51 o 2164 1058.71/1061.51 o 2163 1058.71/1061.51 o 2162 1058.71/1061.51 o 2161 1058.71/1061.51 o 2158 1058.71/1061.51 o 2157 1058.71/1061.51 o 2156 1058.71/1061.51 o 2154 1058.71/1061.51 o 2152 1058.71/1061.51 o 2151 1058.71/1061.51 o 2150 1058.71/1061.51 o 2148 1058.71/1061.51 o 2146 1058.71/1061.51 o 2144 1058.71/1061.51 o 2143 1058.71/1061.51 o 2140 1058.71/1061.51 o 2139 1058.71/1061.51 o 2138 1058.71/1061.51 o 2134 1058.71/1061.51 o 2133 1058.71/1061.51 o 2131 1058.71/1061.51 o 2129 1058.71/1061.51 o 2127 1058.71/1061.51 o 2125 1058.71/1061.51 o 2124 1058.71/1061.51 o 2122 1058.71/1061.51 o 2121 1058.71/1061.51 o 2120 1058.71/1061.51 o 2119 1058.71/1061.51 o 2118 1058.71/1061.51 o 2117 1058.71/1061.51 o 2116 1058.71/1061.51 o 2115 1058.71/1061.51 o 2114 1058.71/1061.51 o 2111 1058.71/1061.51 o 2108 1058.71/1061.51 o 2107 1058.71/1061.51 o 2106 1058.71/1061.51 o 2105 1058.71/1061.51 o 2104 1058.71/1061.51 o 2103 1058.71/1061.51 o 2102 1058.71/1061.51 o 2100 1058.71/1061.51 o 2099 1058.71/1061.51 o 2098 1058.71/1061.51 o 2094 1058.71/1061.51 o 2092 1058.71/1061.51 o 2091 1058.71/1061.51 o 2086 1058.71/1061.51 o 2085 1058.71/1061.51 o 2084 1058.71/1061.51 o 2082 1058.71/1061.51 o 2081 1058.71/1061.51 o 2080 1058.71/1061.51 o 2079 1058.71/1061.51 o 2078 1058.71/1061.51 o 2077 1058.71/1061.51 o 2076 1058.71/1061.51 c SAT by LS-small 1058.71/1061.51 o 2076
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62066 MiB free)
memory of node 1: 64507 MiB (63580 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4487737-1751286334/watcher-4487737-1751286334 -o /tmp/evaluation-result-4487737-1751286334/solver-4487737-1751286334 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751279092-37240 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4487737-1751286334.opb
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=38288, runsolver pid=38285
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.20 4.14 4.10 5/263 38289
/proc/meminfo: memFree=128662036/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=79288 memory=35688 CPUtime=0.09 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 8188 0 0 0 8 1 0 0 20 0 1 0 44312254 81190912 8922 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 19822 8922 1792 2271 0 14460 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 79288 KiB
Current children cumulated memory: 35688 KiB
[startup+0.205433 s]*
/proc/loadavg: 4.20 4.14 4.10 5/263 38289
/proc/meminfo: memFree=128660272/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=80720 memory=37480 CPUtime=0.2 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 8624 0 0 0 18 2 0 0 20 0 1 0 44312254 82657280 9370 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 20180 9370 1792 2271 0 14818 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 80720 KiB
Current children cumulated memory: 37480 KiB
[startup+0.305038 s]*
/proc/loadavg: 4.20 4.14 4.10 5/263 38289
/proc/meminfo: memFree=128614476/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=128960 memory=86504 CPUtime=0.29 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 19545 0 0 0 26 3 0 0 20 0 1 0 44312254 132055040 21626 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 32240 21626 3232 2271 0 26878 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 128960 KiB
Current children cumulated memory: 86504 KiB
[startup+0.700127 s]
/proc/loadavg: 4.20 4.14 4.10 5/263 38289
/proc/meminfo: memFree=128542152/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=245884 memory=167552 CPUtime=0.68 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 40987 0 0 0 62 6 0 0 20 0 1 0 44312254 251785216 41888 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 61471 41888 3328 2271 0 56109 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 245884 KiB
Current children cumulated memory: 167552 KiB
[startup+1.50012 s]
/proc/loadavg: 4.20 4.14 4.10 5/263 38289
/proc/meminfo: memFree=128526024/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=251208 memory=172928 CPUtime=1.48 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 42334 0 0 0 142 6 0 0 20 0 1 0 44312254 257236992 43232 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 62802 43232 3328 2271 0 57440 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 251208 KiB
Current children cumulated memory: 172928 KiB
[startup+3.10523 s]
/proc/loadavg: 4.19 4.14 4.10 5/263 38289
/proc/meminfo: memFree=128526276/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=251356 memory=173056 CPUtime=3.08 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 42381 0 0 0 302 6 0 0 20 0 1 0 44312254 257388544 43264 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 62839 43264 3328 2271 0 57477 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 251356 KiB
Current children cumulated memory: 173056 KiB
[startup+6.30013 s]
/proc/loadavg: 4.19 4.14 4.10 5/263 38290
/proc/meminfo: memFree=128527068/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=252300 memory=174208 CPUtime=6.26 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 42673 0 0 0 620 6 0 0 20 0 1 0 44312254 258355200 43552 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 63075 43552 3328 2271 0 57713 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 252300 KiB
Current children cumulated memory: 174208 KiB
[startup+12.7001 s]
/proc/loadavg: 4.16 4.13 4.10 5/263 38290
/proc/meminfo: memFree=128527320/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=256336 memory=176512 CPUtime=12.65 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 43238 0 0 0 1258 7 0 0 20 0 1 0 44312254 262488064 44128 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 64084 44128 3328 2271 0 58722 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 256336 KiB
Current children cumulated memory: 176512 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.13 4.09 5/263 38290
/proc/meminfo: memFree=128525052/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=265064 memory=185472 CPUtime=25.42 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 44317 0 0 0 2535 7 0 0 20 0 1 0 44312254 271425536 46368 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 66266 46368 3328 2271 0 60904 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 265064 KiB
Current children cumulated memory: 185472 KiB
[startup+51.1054 s]
/proc/loadavg: 4.15 4.13 4.10 5/262 38290
/proc/meminfo: memFree=128522540/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=276140 memory=195492 CPUtime=50.96 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 46433 0 0 0 5089 7 0 0 20 0 1 0 44312254 282767360 48873 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 69035 48873 3328 2271 0 63673 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 276140 KiB
Current children cumulated memory: 195492 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/262 38292
/proc/meminfo: memFree=128517332/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=285276 memory=203740 CPUtime=102.02 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 48082 0 0 0 10195 7 0 0 20 0 1 0 44312254 292122624 50935 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 71319 50935 3328 2271 0 65957 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 285276 KiB
Current children cumulated memory: 203740 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 38294
/proc/meminfo: memFree=128521348/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=303276 memory=218936 CPUtime=161.86 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 49601 0 0 0 16178 8 0 0 20 0 1 0 44312254 310554624 54734 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 75819 54734 3328 2271 0 70457 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 303276 KiB
Current children cumulated memory: 218936 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 38296
/proc/meminfo: memFree=128653792/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=303276 memory=221072 CPUtime=221.7 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 49613 0 0 0 22162 8 0 0 20 0 1 0 44312254 310554624 55268 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 75819 55268 3328 2271 0 70457 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 303276 KiB
Current children cumulated memory: 221072 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 38298
/proc/meminfo: memFree=128655472/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=319028 memory=231068 CPUtime=281.55 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 50614 0 0 0 28146 9 0 0 20 0 1 0 44312254 326684672 57767 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 79757 57767 3328 2271 0 74395 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 319028 KiB
Current children cumulated memory: 231068 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 38301
/proc/meminfo: memFree=128624084/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=319028 memory=232860 CPUtime=341.39 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 51087 0 0 0 34130 9 0 0 20 0 1 0 44312254 326684672 58215 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 79757 58215 3328 2271 0 74395 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 319028 KiB
Current children cumulated memory: 232860 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 38310
/proc/meminfo: memFree=128619284/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=336148 memory=242204 CPUtime=401.23 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 52250 0 0 0 40113 10 0 0 20 0 1 0 44312254 344215552 60551 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 84037 60551 3328 2271 0 78675 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 336148 KiB
Current children cumulated memory: 242204 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 38312
/proc/meminfo: memFree=128618924/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=336148 memory=246388 CPUtime=461.07 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 52259 0 0 0 46097 10 0 0 20 0 1 0 44312254 344215552 61597 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 84037 61597 3328 2271 0 78675 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 3.04 3.39 3.78 4/258 38566
/proc/meminfo: memFree=127979072/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=1285236 memory=1230728 CPUtime=3154.19 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 183964 0 0 0 313505 1914 0 0 20 0 1 0 44312254 1316081664 307682 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 321309 307682 3392 2271 0 315947 0
Current children cumulated CPU time: 3154.19 s
Current children cumulated vsize: 1285236 KiB
Current children cumulated memory: 1230728 KiB
[startup+3222.3 s]
/proc/loadavg: 3.11 3.35 3.73 4/258 38568
/proc/meminfo: memFree=127984992/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=1285236 memory=1230728 CPUtime=3214.04 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 184005 0 0 0 319485 1919 0 0 20 0 1 0 44312254 1316081664 307682 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 321309 307682 3392 2271 0 315947 0
Current children cumulated CPU time: 3214.04 s
Current children cumulated vsize: 1285236 KiB
Current children cumulated memory: 1230728 KiB
[startup+3282.3 s]
/proc/loadavg: 3.09 3.30 3.69 4/257 38570
/proc/meminfo: memFree=127984196/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=1285236 memory=1230728 CPUtime=3273.89 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 184364 0 0 0 325469 1920 0 0 20 0 1 0 44312254 1316081664 307682 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 321309 307682 3392 2271 0 315947 0
Current children cumulated CPU time: 3273.89 s
Current children cumulated vsize: 1285236 KiB
Current children cumulated memory: 1230728 KiB
[startup+3342.3 s]
/proc/loadavg: 3.07 3.26 3.65 4/257 38572
/proc/meminfo: memFree=127968364/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=1303040 memory=1243144 CPUtime=3333.74 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 187572 0 0 0 331454 1920 0 0 20 0 1 0 44312254 1334312960 310786 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 325760 310786 3392 2271 0 320398 0
Current children cumulated CPU time: 3333.74 s
Current children cumulated vsize: 1303040 KiB
Current children cumulated memory: 1243144 KiB
[startup+3402.3 s]
/proc/loadavg: 3.08 3.22 3.61 4/256 38574
/proc/meminfo: memFree=127968692/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=1303040 memory=1243144 CPUtime=3393.59 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 187572 0 0 0 337422 1937 0 0 20 0 1 0 44312254 1334312960 310786 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 325760 310786 3392 2271 0 320398 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 1303040 KiB
Current children cumulated memory: 1243144 KiB
[startup+3462.3 s]
/proc/loadavg: 3.11 3.21 3.59 4/256 38576
/proc/meminfo: memFree=127968648/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=1313768 memory=1247312 CPUtime=3453.45 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 188166 0 0 0 343401 1944 0 0 20 0 1 0 44312254 1345298432 311828 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 328442 311828 3392 2271 0 323080 0
Current children cumulated CPU time: 3453.45 s
Current children cumulated vsize: 1313768 KiB
Current children cumulated memory: 1247312 KiB
[startup+3522.3 s]
/proc/loadavg: 3.15 3.20 3.56 4/256 38578
/proc/meminfo: memFree=127964672/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=1313768 memory=1251000 CPUtime=3513.3 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 188592 0 0 0 349381 1949 0 0 20 0 1 0 44312254 1345298432 312750 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 328442 312750 3392 2271 0 323080 0
Current children cumulated CPU time: 3513.3 s
Current children cumulated vsize: 1313768 KiB
Current children cumulated memory: 1251000 KiB
[startup+3582.3 s]
/proc/loadavg: 3.05 3.16 3.52 4/257 38587
/proc/meminfo: memFree=127952692/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=1313768 memory=1255120 CPUtime=3573.14 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 188603 0 0 0 355361 1953 0 0 20 0 1 0 44312254 1345298432 313780 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 328442 313780 3392 2271 0 323080 0
Current children cumulated CPU time: 3573.14 s
Current children cumulated vsize: 1313768 KiB
Current children cumulated memory: 1255120 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 3.10 3.16 3.51 4/257 38588
/proc/meminfo: memFree=127919304/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=1313768 memory=1270096 CPUtime=3600.07 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 188603 0 0 0 358052 1955 0 0 20 0 1 0 44312254 1345298432 317524 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 328442 317524 3392 2271 0 323080 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1313768 KiB
Current children cumulated memory: 1270096 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.31 s]
# the end of solver process 38288 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3582.52 s, system=19.5618 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 3.10 3.16 3.51 4/257 38588
/proc/meminfo: memFree=127919304/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=1313768 memory=1270096 CPUtime=3600.37 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 188603 0 0 0 358082 1955 0 0 20 0 1 0 44312254 1345298432 317524 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 328442 317524 3392 2271 0 323080 0
Current children cumulated CPU time: 3600.37 s
Current children cumulated vsize: 1313768 KiB
Current children cumulated memory: 1270096 KiB
[startup+3610.4 s]
/proc/loadavg: 3.10 3.16 3.51 4/257 38588
/proc/meminfo: memFree=127919304/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=1313768 memory=1270096 CPUtime=3601.17 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 188603 0 0 0 358162 1955 0 0 20 0 1 0 44312254 1345298432 317524 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 328442 317524 3392 2271 0 323080 0
Current children cumulated CPU time: 3601.17 s
Current children cumulated vsize: 1313768 KiB
Current children cumulated memory: 1270096 KiB
[startup+3610.8 s]
/proc/loadavg: 3.10 3.16 3.51 4/257 38588
/proc/meminfo: memFree=127919304/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=1313768 memory=1270096 CPUtime=3601.57 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 188603 0 0 0 358202 1955 0 0 20 0 1 0 44312254 1345298432 317524 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 328442 317524 3392 2271 0 323080 0
Current children cumulated CPU time: 3601.57 s
Current children cumulated vsize: 1313768 KiB
Current children cumulated memory: 1270096 KiB
[startup+3611.2 s]
/proc/loadavg: 3.10 3.16 3.51 4/257 38588
/proc/meminfo: memFree=127919304/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=1313768 memory=1270096 CPUtime=3601.97 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 188603 0 0 0 358242 1955 0 0 20 0 1 0 44312254 1345298432 317524 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 328442 317524 3392 2271 0 323080 0
Current children cumulated CPU time: 3601.97 s
Current children cumulated vsize: 1313768 KiB
Current children cumulated memory: 1270096 KiB
[startup+3611.3 s]
/proc/loadavg: 3.10 3.16 3.51 4/257 38588
/proc/meminfo: memFree=127919304/131249988 swapFree=33010684/33010684
[pid=38288] ppid=38285 vsize=1313768 memory=1270096 CPUtime=3602.06 cores=1,3
/proc/38288/stat : 38288 (ExactPR-S) R 38285 38288 37228 0 -1 4194304 188603 0 0 0 358251 1955 0 0 20 0 1 0 44312254 1345298432 317524 18446744073709551615 94616453824512 94616463124549 140722121357232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94616464910656 94616464949736 94616481898496 140722121361793 140722121361930 140722121361930 140722121367532 0
/proc/38288/statm: 328442 317524 3392 2271 0 323080 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 1313768 KiB
Current children cumulated memory: 1270096 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.31
CPU time (s): 3602.08
CPU user time (s): 3582.52
CPU system time (s): 19.5618
CPU usage (%): 99.7446
Max. virtual memory (cumulated for all children) (KiB): 1313768
Max. memory (cumulated for all children) (KiB): 1270096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.52
system time used= 19.5618
maximum resident set size= 1270096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188603
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= 155
involuntary context switches= 1756
# summary of solver processes directly reported to runsolver:
# pid: 38288
# total CPU time (s): 3602.08
# total CPU user time (s): 3582.52
# total CPU system time (s): 19.5618
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68352 second user time and 15.7535 second system time
The end
Begin job on nodeC034 at 2025-06-30 14:25:34 IDJOB=4487737 IDBENCH=147222 IDSOLVER=3326 FILE ID=nodeC034/4487737-1751286334 RUNJOBID= nodeC034-1751279092-37240 SLURM_JOB_ID= 9594207 Free space on /tmp= 433024 MiB SOLVER NAME= ExactPR-S 2025-06-01 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g100x100.opb COMMAND LINE= ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4487737-1751286334/watcher-4487737-1751286334 -o /tmp/evaluation-result-4487737-1751286334/solver-4487737-1751286334 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751279092-37240 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4487737-1751286334.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 908a9c4c32d975b4e5850834449958a7 RANDOM SEED=165500951 nodeC034 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.750 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.53 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.765 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.53 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 : 3597.378 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.53 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 : 3601.752 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.53 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.760 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.53 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.787 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.53 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 : 3597.159 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.53 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.983 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.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 128661988 kB MemAvailable: 128532164 kB Buffers: 3280 kB Cached: 678120 kB SwapCached: 0 kB Active: 1459232 kB Inactive: 453524 kB Active(anon): 1249460 kB Inactive(anon): 0 kB Active(file): 209772 kB Inactive(file): 453524 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 12304 kB Writeback: 48 kB AnonPages: 1234476 kB Mapped: 132828 kB Shmem: 18104 kB KReclaimable: 91840 kB Slab: 178568 kB SReclaimable: 91840 kB SUnreclaim: 86728 kB KernelStack: 4272 kB PageTables: 5512 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 1668556 kB VmallocTotal: 34359738367 kB VmallocUsed: 150552 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1153024 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: 189140 kB DirectMap2M: 7970816 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433028 MiB End job on nodeC034 at 2025-06-30 15:25:45