Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| ExactPR 2025-06-01 | ? (TO) | 3602.08 | 3612.81 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_400.opb |
| MD5SUM | 8e16dee4cd29ebff6657caf88bddd14a |
| 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 | 1800 |
| Best CPU time to get the best result obtained on this benchmark | 0.548063 |
| 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 | 7200 |
| Total number of constraints | 7200 |
| Number of constraints which are clauses | 7200 |
| 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 | 4 |
| Maximum length of a constraint | 4 |
| Number of terms in the objective function | 7200 |
| 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 | 7200 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 7200 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.21/0.24 c 7200 constraints 0.21/0.24 c after presolve 7200 0.21/0.25 c Finish cloning data from SAT to LS 0.21/0.25 c intsize: 13 60.13/60.38 c Use LS-small 60.13/60.38 o 2287 60.13/60.38 o 2277 60.13/60.38 o 2276 60.13/60.38 o 2275 60.13/60.38 o 2274 60.13/60.38 o 2273 60.13/60.38 o 2272 60.13/60.38 o 2271 60.13/60.38 o 2270 60.13/60.38 o 2269 60.13/60.38 o 2268 60.13/60.38 o 2267 60.13/60.38 o 2266 60.13/60.38 o 2265 60.13/60.38 o 2264 60.13/60.38 o 2263 60.13/60.38 o 2262 60.13/60.38 o 2261 60.13/60.38 o 2260 60.13/60.38 o 2259 60.13/60.38 o 2258 60.13/60.38 o 2257 60.13/60.38 o 2256 60.13/60.38 o 2255 60.13/60.38 o 2254 60.13/60.38 o 2253 60.13/60.38 o 2252 60.13/60.38 o 2251 60.13/60.38 o 2250 60.13/60.38 o 2249 60.13/60.38 o 2248 60.13/60.38 o 2247 60.13/60.38 o 2246 60.13/60.38 o 2245 60.13/60.38 o 2244 60.13/60.38 o 2243 60.13/60.38 o 2242 60.13/60.38 o 2241 60.13/60.38 o 2240 60.13/60.38 o 2239 60.13/60.38 o 2238 60.13/60.38 o 2237 60.13/60.38 o 2236 60.13/60.38 o 2235 60.13/60.38 o 2234 60.13/60.38 o 2233 60.13/60.38 o 2232 60.13/60.38 o 2231 60.13/60.38 o 2230 60.13/60.38 o 2229 60.13/60.38 o 2228 60.13/60.38 o 2227 60.13/60.38 o 2226 60.13/60.38 o 2225 60.13/60.38 o 2224 60.13/60.38 o 2223 60.13/60.38 o 2222 60.13/60.38 o 2221 60.13/60.38 o 2220 60.13/60.38 o 2219 60.13/60.38 o 2218 60.13/60.38 o 2217 60.13/60.38 o 2216 60.13/60.38 o 2215 60.13/60.38 o 2214 60.13/60.38 o 2213 60.13/60.38 o 2212 60.13/60.38 o 2211 60.13/60.38 o 2210 60.13/60.38 o 2209 60.13/60.38 o 2208 60.13/60.38 o 2207 60.13/60.38 o 2206 60.13/60.38 o 2205 60.13/60.38 o 2204 60.13/60.38 o 2203 60.13/60.38 o 2202 60.13/60.38 o 2085 60.13/60.38 o 2048 60.13/60.38 o 2020 60.13/60.38 o 2019 60.13/60.38 o 2007 60.13/60.38 o 1995 60.13/60.38 o 1994 60.13/60.38 o 1993 60.13/60.38 o 1981 60.13/60.38 o 1974 60.13/60.38 o 1973 60.13/60.38 o 1972 60.13/60.38 o 1971 60.13/60.38 o 1970 60.13/60.38 o 1968 60.13/60.38 o 1952 60.13/60.38 o 1943 60.13/60.38 o 1942 60.13/60.38 o 1936 60.13/60.38 o 1935 60.13/60.38 o 1927 60.13/60.38 o 1926 60.13/60.38 o 1921 60.13/60.38 o 1919 60.13/60.38 o 1918 60.13/60.38 o 1913 60.13/60.38 o 1910 60.13/60.38 o 1909 60.13/60.38 o 1908 60.13/60.38 o 1907 60.13/60.38 o 1906 60.13/60.38 o 1903 60.13/60.38 o 1902 60.13/60.38 o 1898 60.13/60.38 o 1897 60.13/60.38 o 1896 60.13/60.38 o 1895 60.13/60.38 o 1892 60.13/60.38 o 1891 60.13/60.38 o 1890 60.13/60.38 o 1889 60.13/60.38 o 1888 60.13/60.38 o 1886 60.13/60.38 o 1885 60.13/60.38 o 1884 60.13/60.38 o 1883 60.13/60.38 o 1882 60.13/60.38 o 1880 60.13/60.38 o 1879 60.13/60.38 o 1878 60.13/60.38 o 1876 60.13/60.38 o 1875 60.13/60.38 o 1874 60.13/60.38 o 1873 60.13/60.38 o 1872 60.13/60.38 o 1869 60.13/60.38 o 1868 60.13/60.38 o 1864 60.13/60.38 o 1863 60.13/60.38 o 1862 60.13/60.38 o 1861 60.13/60.38 o 1860 60.13/60.38 o 1859 60.13/60.38 o 1858 60.13/60.38 o 1857 60.13/60.38 o 1856 60.13/60.38 o 1854 60.13/60.38 o 1853 60.13/60.38 o 1852 60.13/60.38 o 1851 60.13/60.38 o 1850 60.13/60.38 o 1849 60.13/60.38 o 1848 60.13/60.38 o 1847 60.13/60.38 c SAT by LS-small 60.13/60.38 o 1847
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: 63837 MiB (60352 MiB free)
memory of node 1: 64465 MiB (57726 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520687-1751560854/watcher-4520687-1751560854 -o /tmp/evaluation-result-4520687-1751560854/solver-4520687-1751560854 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751553369-87008 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4520687-1751560854.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
Starting watchdog thread
solver pid=88738, runsolver pid=88735
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.08 4.10 4.09 5/252 88739
/proc/meminfo: memFree=120908648/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=58076 memory=17348 CPUtime=0.1 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 3128 0 0 0 9 1 0 0 20 0 1 0 71764532 59469824 4337 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 14519 4337 1696 2271 0 9157 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 58076 KiB
Current children cumulated memory: 17348 KiB
[startup+0.213488 s]*
/proc/loadavg: 4.08 4.10 4.09 5/252 88739
/proc/meminfo: memFree=120897056/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=68036 memory=26792 CPUtime=0.21 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 5571 0 0 0 18 3 0 0 20 0 1 0 71764532 69668864 6698 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 17009 6698 1856 2271 0 11647 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 68036 KiB
Current children cumulated memory: 26792 KiB
[startup+0.312776 s]*
/proc/loadavg: 4.08 4.10 4.09 5/252 88739
/proc/meminfo: memFree=120888992/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=74168 memory=31912 CPUtime=0.3 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 6824 0 0 0 26 4 0 0 20 0 1 0 71764532 75948032 7978 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 18542 7978 1888 2271 0 13180 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 74168 KiB
Current children cumulated memory: 31912 KiB
[startup+0.70027 s]
/proc/loadavg: 4.08 4.10 4.09 5/252 88739
/proc/meminfo: memFree=120888992/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=74168 memory=31912 CPUtime=0.68 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 6824 0 0 0 54 14 0 0 20 0 1 0 71764532 75948032 7978 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 18542 7978 1888 2271 0 13180 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 74168 KiB
Current children cumulated memory: 31912 KiB
[startup+1.50026 s]
/proc/loadavg: 4.08 4.10 4.09 5/252 88739
/proc/meminfo: memFree=120889016/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=74168 memory=31912 CPUtime=1.48 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 6824 0 0 0 111 37 0 0 20 0 1 0 71764532 75948032 7978 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 18542 7978 1888 2271 0 13180 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 74168 KiB
Current children cumulated memory: 31912 KiB
[startup+3.11287 s]
/proc/loadavg: 4.08 4.10 4.09 5/252 88739
/proc/meminfo: memFree=120889020/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=74168 memory=31912 CPUtime=3.09 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 6824 0 0 0 221 88 0 0 20 0 1 0 71764532 75948032 7978 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 18542 7978 1888 2271 0 13180 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 74168 KiB
Current children cumulated memory: 31912 KiB
[startup+6.30022 s]
/proc/loadavg: 4.07 4.10 4.09 5/252 88739
/proc/meminfo: memFree=120889256/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=74168 memory=31912 CPUtime=6.27 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 6824 0 0 0 439 188 0 0 20 0 1 0 71764532 75948032 7978 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 18542 7978 1888 2271 0 13180 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 74168 KiB
Current children cumulated memory: 31912 KiB
[startup+12.7003 s]
/proc/loadavg: 4.06 4.10 4.09 5/252 88739
/proc/meminfo: memFree=120880196/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=74168 memory=31912 CPUtime=12.65 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 6824 0 0 0 879 386 0 0 20 0 1 0 71764532 75948032 7978 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 18542 7978 1888 2271 0 13180 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 74168 KiB
Current children cumulated memory: 31912 KiB
[startup+25.5003 s]
/proc/loadavg: 4.05 4.09 4.09 5/252 88739
/proc/meminfo: memFree=120826064/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=74168 memory=31912 CPUtime=25.42 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 6824 0 0 0 1741 801 0 0 20 0 1 0 71764532 75948032 7978 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 18542 7978 1888 2271 0 13180 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 74168 KiB
Current children cumulated memory: 31912 KiB
[startup+51.1129 s]
/proc/loadavg: 4.11 4.10 4.09 5/252 88739
/proc/meminfo: memFree=120647280/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=74168 memory=31912 CPUtime=50.98 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 6824 0 0 0 3480 1618 0 0 20 0 1 0 71764532 75948032 7978 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 18542 7978 1888 2271 0 13180 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 74168 KiB
Current children cumulated memory: 31912 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/252 88741
/proc/meminfo: memFree=120195876/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=451372 memory=384992 CPUtime=102.02 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 61842 0 0 0 8250 1952 0 0 20 0 1 0 71764532 462204928 96248 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 112843 96248 1920 2271 0 107481 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 451372 KiB
Current children cumulated memory: 384992 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.08 4.09 5/251 88743
/proc/meminfo: memFree=120110800/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=489572 memory=412896 CPUtime=161.85 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 68883 0 0 0 14218 1967 0 0 20 0 1 0 71764532 501321728 103224 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 122393 103224 1920 2271 0 117031 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 489572 KiB
Current children cumulated memory: 412896 KiB
[startup+222.3 s]
/proc/loadavg: 4.69 4.25 4.14 5/251 88748
/proc/meminfo: memFree=120055720/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=490788 memory=414432 CPUtime=221.68 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 69288 0 0 0 20186 1982 0 0 20 0 1 0 71764532 502566912 103608 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 122697 103608 1920 2271 0 117335 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 490788 KiB
Current children cumulated memory: 414432 KiB
[startup+282.3 s]
/proc/loadavg: 4.41 4.26 4.16 5/252 88751
/proc/meminfo: memFree=120004488/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=521044 memory=458576 CPUtime=281.51 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 79885 0 0 0 26159 1992 0 0 20 0 1 0 71764532 533549056 114644 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 130261 114644 1920 2271 0 124899 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 521044 KiB
Current children cumulated memory: 458576 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.23 4.15 5/251 88753
/proc/meminfo: memFree=119791220/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=851392 memory=653488 CPUtime=341.34 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 116523 0 0 0 32128 2006 0 0 20 0 1 0 71764532 871825408 163372 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 212848 163372 1920 2271 0 207486 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 851392 KiB
Current children cumulated memory: 653488 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.21 4.15 5/251 88755
/proc/meminfo: memFree=119741080/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=852564 memory=661848 CPUtime=401.17 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 117078 0 0 0 38091 2026 0 0 20 0 1 0 71764532 873025536 165462 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 213141 165462 1920 2271 0 207779 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 852564 KiB
Current children cumulated memory: 661848 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.19 4.14 5/251 88761
/proc/meminfo: memFree=119732052/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=854004 memory=662232 CPUtime=461.01 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 117198 0 0 0 44062 2039 0 0 20 0 1 0 71764532 874500096 165558 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 213501 165558 1920 2271 0 208139 0
Current children cumulated CPU time: 461.01 s
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/251 88940
/proc/meminfo: memFree=119697424/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=1028300 memory=993952 CPUtime=3092.9 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 161474 0 0 0 306793 2497 0 0 20 0 1 0 71764532 1052979200 248488 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 257075 248488 1920 2271 0 251713 0
Current children cumulated CPU time: 3092.9 s
Current children cumulated vsize: 1028300 KiB
Current children cumulated memory: 993952 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/251 88942
/proc/meminfo: memFree=119673040/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=1028300 memory=993952 CPUtime=3152.75 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 161474 0 0 0 312764 2511 0 0 20 0 1 0 71764532 1052979200 248488 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 257075 248488 1920 2271 0 251713 0
Current children cumulated CPU time: 3152.75 s
Current children cumulated vsize: 1028300 KiB
Current children cumulated memory: 993952 KiB
[startup+3222.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/251 88947
/proc/meminfo: memFree=119662672/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=1028300 memory=993952 CPUtime=3212.6 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 161474 0 0 0 318729 2531 0 0 20 0 1 0 71764532 1052979200 248488 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 257075 248488 1920 2271 0 251713 0
Current children cumulated CPU time: 3212.6 s
Current children cumulated vsize: 1028300 KiB
Current children cumulated memory: 993952 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/251 88949
/proc/meminfo: memFree=119656888/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=1032808 memory=997152 CPUtime=3272.44 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 162385 0 0 0 324712 2532 0 0 20 0 1 0 71764532 1057595392 249288 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 258202 249288 1920 2271 0 252840 0
Current children cumulated CPU time: 3272.44 s
Current children cumulated vsize: 1032808 KiB
Current children cumulated memory: 997152 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 88951
/proc/meminfo: memFree=119649580/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=1032808 memory=997152 CPUtime=3332.29 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 162385 0 0 0 330697 2532 0 0 20 0 1 0 71764532 1057595392 249288 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 258202 249288 1920 2271 0 252840 0
Current children cumulated CPU time: 3332.29 s
Current children cumulated vsize: 1032808 KiB
Current children cumulated memory: 997152 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/251 88954
/proc/meminfo: memFree=119644036/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=1039948 memory=1002528 CPUtime=3392.13 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 163734 0 0 0 336666 2547 0 0 20 0 1 0 71764532 1064906752 250632 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 259987 250632 1920 2271 0 254625 0
Current children cumulated CPU time: 3392.13 s
Current children cumulated vsize: 1039948 KiB
Current children cumulated memory: 1002528 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/251 88960
/proc/meminfo: memFree=119646556/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=1040080 memory=1002784 CPUtime=3451.98 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 163801 0 0 0 342640 2558 0 0 20 0 1 0 71764532 1065041920 250696 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 260020 250696 1920 2271 0 254658 0
Current children cumulated CPU time: 3451.98 s
Current children cumulated vsize: 1040080 KiB
Current children cumulated memory: 1002784 KiB
[startup+3522.3 s]
/proc/loadavg: 3.34 3.90 4.03 3/239 89023
/proc/meminfo: memFree=121652044/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=1047736 memory=1008416 CPUtime=3511.81 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 165303 0 0 0 348620 2561 0 0 20 0 1 0 71764532 1072881664 252104 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 261934 252104 1920 2271 0 256572 0
Current children cumulated CPU time: 3511.81 s
Current children cumulated vsize: 1047736 KiB
Current children cumulated memory: 1008416 KiB
[startup+3582.3 s]
/proc/loadavg: 2.60 3.58 3.91 3/242 89029
/proc/meminfo: memFree=121627804/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=1048272 memory=1009184 CPUtime=3571.65 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 165516 0 0 0 354588 2577 0 0 20 0 1 0 71764532 1073430528 252296 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 262068 252296 1920 2271 0 256706 0
Current children cumulated CPU time: 3571.65 s
Current children cumulated vsize: 1048272 KiB
Current children cumulated memory: 1009184 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 2.36 3.43 3.85 3/242 89029
/proc/meminfo: memFree=121628276/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=1048272 memory=1009184 CPUtime=3600.07 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 165516 0 0 0 357424 2583 0 0 20 0 1 0 71764532 1073430528 252296 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 262068 252296 1920 2271 0 256706 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1048272 KiB
Current children cumulated memory: 1009184 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3612.81 s]
# the end of solver process 88738 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3576.24 s, system=25.8464 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 2.36 3.43 3.85 3/242 89029
/proc/meminfo: memFree=121628276/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=1048272 memory=1009184 CPUtime=3600.47 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 165516 0 0 0 357464 2583 0 0 20 0 1 0 71764532 1073430528 252296 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 262068 252296 1920 2271 0 256706 0
Current children cumulated CPU time: 3600.47 s
Current children cumulated vsize: 1048272 KiB
Current children cumulated memory: 1009184 KiB
[startup+3612 s]*
/proc/loadavg: 2.36 3.43 3.85 3/242 89029
/proc/meminfo: memFree=121628276/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=1048272 memory=1009184 CPUtime=3601.29 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 165517 0 0 0 357545 2584 0 0 20 0 1 0 71764532 1073430528 252296 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 262068 252296 1920 2271 0 256706 0
Current children cumulated CPU time: 3601.29 s
Current children cumulated vsize: 1048272 KiB
Current children cumulated memory: 1009184 KiB
[startup+3612.4 s]
/proc/loadavg: 2.36 3.43 3.85 3/242 89029
/proc/meminfo: memFree=121628276/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=1048272 memory=1009184 CPUtime=3601.67 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 165517 0 0 0 357583 2584 0 0 20 0 1 0 71764532 1073430528 252296 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 262068 252296 1920 2271 0 256706 0
Current children cumulated CPU time: 3601.67 s
Current children cumulated vsize: 1048272 KiB
Current children cumulated memory: 1009184 KiB
[startup+3612.8 s]
/proc/loadavg: 2.36 3.43 3.85 3/242 89029
/proc/meminfo: memFree=121628276/131382112 swapFree=33005784/33010684
[pid=88738] ppid=88735 vsize=1048272 memory=1009184 CPUtime=3602.07 cores=1,3
/proc/88738/stat : 88738 (ExactPR) R 88735 88738 86996 0 -1 4194304 165517 0 0 0 357623 2584 0 0 20 0 1 0 71764532 1073430528 252296 18446744073709551615 94371900510208 94371909810053 140731540324576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94371911596352 94371911635432 94371926347776 140731540330885 140731540331020 140731540331020 140731540336622 0
/proc/88738/statm: 262068 252296 1920 2271 0 256706 0
Current children cumulated CPU time: 3602.07 s
Current children cumulated vsize: 1048272 KiB
Current children cumulated memory: 1009184 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.81
CPU time (s): 3602.08
CPU user time (s): 3576.24
CPU system time (s): 25.8464
CPU usage (%): 99.7032
Max. virtual memory (cumulated for all children) (KiB): 1048272
Max. memory (cumulated for all children) (KiB): 1009184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.24
system time used= 25.8464
maximum resident set size= 1009184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165517
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= 171
involuntary context switches= 2386
# summary of solver processes directly reported to runsolver:
# pid: 88738
# total CPU time (s): 3602.08
# total CPU user time (s): 3576.24
# total CPU system time (s): 25.8464
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9928 second user time and 33.3589 second system time
The end
Begin job on nodeC007 at 2025-07-03 18:40:54 IDJOB=4520687 IDBENCH=178119 IDSOLVER=3324 FILE ID=nodeC007/4520687-1751560854 RUNJOBID= nodeC007-1751553369-87008 SLURM_JOB_ID= 9598737 Free space on /tmp= 431004 MiB SOLVER NAME= ExactPR 2025-06-01 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_400.opb COMMAND LINE= ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4520687-1751560854/watcher-4520687-1751560854 -o /tmp/evaluation-result-4520687-1751560854/solver-4520687-1751560854 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751553369-87008 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4520687-1751560854.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8e16dee4cd29ebff6657caf88bddd14a RANDOM SEED=171943284 nodeC007 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 : 3661.943 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.68 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 : 1197.205 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.68 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 : 1197.353 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.68 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 : 3700.000 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.68 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 : 3661.942 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.68 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 : 3691.369 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.68 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.68 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.621 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.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 120912176 kB MemAvailable: 127461484 kB Buffers: 16 kB Cached: 7218024 kB SwapCached: 252 kB Active: 2619032 kB Inactive: 6951768 kB Active(anon): 2318544 kB Inactive(anon): 47720 kB Active(file): 300488 kB Inactive(file): 6904048 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33005784 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 12520 kB Writeback: 0 kB AnonPages: 2355680 kB Mapped: 109464 kB Shmem: 13504 kB KReclaimable: 368796 kB Slab: 458936 kB SReclaimable: 368796 kB SUnreclaim: 90140 kB KernelStack: 4064 kB PageTables: 7820 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 3052020 kB VmallocTotal: 34359738367 kB VmallocUsed: 149400 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1775616 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: 201544 kB DirectMap2M: 10186752 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 431016 MiB End job on nodeC007 at 2025-07-03 19:41:07