Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_no_db_no_ls 2025-06-19 | ? (TO) | 3602.03 | 3612.81 |
| Name | PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_3_shg.opb |
| MD5SUM | 9f3f50f555350d326304759fc873d478 |
| 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 | 36 |
| Best CPU time to get the best result obtained on this benchmark | 46.5996 |
| 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 | 5048 |
| Total number of constraints | 65280 |
| Number of constraints which are clauses | 65280 |
| 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 | 18 |
| Maximum length of a constraint | 45 |
| Number of terms in the objective function | 5048 |
| 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 | 5048 |
| 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 | 5048 |
| 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 |
7.57/7.63 o 262 7.67/7.71 o 257 7.67/7.71 o 256 7.67/7.71 o 255 7.67/7.71 o 254 7.67/7.72 o 253 7.77/7.80 o 252 62.91/63.18 o 251 63.01/63.20 o 250 63.01/63.22 o 249 63.01/63.28 o 248 63.11/63.31 o 247 63.11/63.32 o 246 63.11/63.33 o 245 63.11/63.34 o 244 63.11/63.35 o 243 63.11/63.37 o 242 63.11/63.38 o 241 63.11/63.39 o 240 63.11/63.39 o 239 63.21/63.40 o 238 63.21/63.41 o 237 63.21/63.42 o 236 63.21/63.43 o 235 63.21/63.44 o 234 63.21/63.45 o 233 63.21/63.47 o 232 63.21/63.48 o 231 63.31/63.50 o 230 63.31/63.51 o 229 63.31/63.52 o 228 63.31/63.53 o 227 63.31/63.54 o 226 63.31/63.56 o 225 63.31/63.58 o 224 63.41/63.60 o 223 63.41/63.62 o 222 63.41/63.64 o 221 63.41/63.68 o 220 63.50/63.70 o 219 63.50/63.74 o 218 63.50/63.79 o 217 63.60/63.81 o 216 63.60/63.82 o 215 63.60/63.87 o 214 63.70/63.91 o 213 63.70/63.93 o 212 63.70/63.96 o 211 63.70/63.98 o 210 63.70/63.99 o 209 63.81/64.01 o 208 63.81/64.04 o 207 63.81/64.06 o 206 63.81/64.07 o 205 63.81/64.09 o 204 63.81/64.10 o 203 63.91/64.11 o 202 63.91/64.12 o 201 63.91/64.14 o 200 63.91/64.15 o 199 63.91/64.16 o 198 63.91/64.19 o 197 64.00/64.21 o 196 64.00/64.22 o 195 64.00/64.23 o 194 64.00/64.24 o 193 64.00/64.26 o 192 64.00/64.27 o 191 64.00/64.28 o 190 64.00/64.29 o 189 64.10/64.30 o 188 64.10/64.31 o 187 64.10/64.32 o 186 64.10/64.34 o 185 64.10/64.35 o 184 64.10/64.37 o 183 64.10/64.38 o 182 64.20/64.40 o 181 64.20/64.41 o 180 64.20/64.42 o 179 64.20/64.43 o 178 64.20/64.44 o 177 64.20/64.45 o 176 64.20/64.46 o 175 64.20/64.48 o 174 64.20/64.48 o 173 64.30/64.50 o 172 64.30/64.51 o 171 64.30/64.53 o 170 64.30/64.55 o 169 64.30/64.57 o 168 64.30/64.59 o 167 64.40/64.61 o 166 64.40/64.63 o 165 64.40/64.66 o 164 64.40/64.67 o 163 64.40/64.68 o 162 64.40/64.69 o 161 64.50/64.70 o 160 64.50/64.72 o 159 64.50/64.74 o 158 64.50/64.77 o 157 64.50/64.78 o 156 64.60/64.80 o 155 64.60/64.82 o 154 64.60/64.86 o 153 64.69/64.91 o 152 64.69/64.93 o 151 64.69/64.96 o 150 64.69/64.98 o 149 64.69/65.00 o 148 64.80/65.01 o 147 64.80/65.02 o 146 64.80/65.03 o 145 64.80/65.05 o 144 64.80/65.07 o 143 64.80/65.09 o 142 64.91/65.10 o 141 64.91/65.12 o 140 64.91/65.14 o 139 64.91/65.15 o 138 64.91/65.16 o 137 64.91/65.19 o 136 65.00/65.21 o 135 65.00/65.22 o 134 65.00/65.25 o 133 65.10/65.34 o 132 65.19/65.42 o 131 65.19/65.45 o 130 65.19/65.47 o 129 65.29/65.55 o 128 65.39/65.61 o 127 65.39/65.65 o 126 65.39/65.66 o 125 65.39/65.68 o 124 65.50/65.70 o 123 65.50/65.73 o 122 65.50/65.76 o 121 65.60/65.80 o 120 65.60/65.87 o 119 65.70/65.90 o 118 65.70/65.91 o 117 65.70/65.93 o 116 65.70/65.96 o 115 65.80/66.01 o 114 65.80/66.03 o 113 65.80/66.06 o 112 65.80/66.09 o 111 65.90/66.11 o 110 65.90/66.12 o 109 65.90/66.16 o 108 65.90/66.18 o 107 65.99/66.22 o 106 65.99/66.25 o 105 76.96/77.20 o 104 172.09/172.62 o 103 172.19/172.74 o 102 172.19/172.77 o 101 172.19/172.79 o 100 172.29/172.81 o 99 172.29/172.82 o 98 172.29/172.84 o 97 172.29/172.85 o 96 172.29/172.87 o 95 172.39/172.90 o 94 172.39/172.92 o 93 172.39/172.93 o 92 172.39/172.94 o 91 172.39/172.95 o 90 172.39/172.96 o 89 172.39/172.98 o 88 172.49/173.01 o 87 172.49/173.03 o 86 172.49/173.05 o 85 172.49/173.08 o 84 172.59/173.11 o 83 172.59/173.13 o 82 172.59/173.16 o 81 172.59/173.20 o 80 172.69/173.25 o 79 172.69/173.29 o 78 172.79/173.30 o 77 172.79/173.32 o 76 172.79/173.33 o 75 172.79/173.33 o 74 172.79/173.36 o 73 172.88/173.41 o 72 172.98/173.52 o 71 173.18/173.72 o 70 173.28/173.86 o 69 173.28/173.89 o 68 187.55/188.19 o 67 326.15/327.18 o 66 326.24/327.24 o 65 326.74/327.71 o 64 327.14/328.15 o 63 327.14/328.15 o 62 327.14/328.17 o 61 327.14/328.19 o 60 327.24/328.21 o 59 327.93/328.90 o 58 328.14/329.12 o 57 328.43/329.45 o 56 329.04/330.00 o 55 330.63/331.62 o 54 331.32/332.38 o 53 464.94/466.33 o 52 467.13/468.52 o 51 467.63/469.04 o 50 467.93/469.37 o 49 486.77/488.21 o 48 487.07/488.51 o 47 487.47/488.94 o 46 487.77/489.23 o 45 488.67/490.18 o 44 949.55/952.46 o 43 1754.36/1759.75 o 42
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 (60431 MiB free)
memory of node 1: 64507 MiB (60613 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502986-1751480882/watcher-4502986-1751480882 -o /tmp/evaluation-result-4502986-1751480882/solver-4502986-1751480882 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751479977-68697 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1917815896 --ls=0 --inp-dombreaklim=0 HOME/instance-4502986-1751480882.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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=69061, runsolver pid=69058
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.08 4.06 4.01 5/263 69062
/proc/meminfo: memFree=123922456/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=52912 memory=31624 CPUtime=0.1 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 6770 0 0 0 9 1 0 0 20 0 1 0 63765935 54181888 7906 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 13228 7906 1024 1200 0 11708 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52912 KiB
Current children cumulated memory: 31624 KiB
[startup+0.205508 s]*
/proc/loadavg: 4.08 4.06 4.01 5/263 69062
/proc/meminfo: memFree=123906328/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=69632 memory=47828 CPUtime=0.2 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 11054 0 0 0 19 1 0 0 20 0 1 0 63765935 71303168 11957 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 17408 11957 1024 1200 0 15888 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 69632 KiB
Current children cumulated memory: 47828 KiB
[startup+0.305427 s]*
/proc/loadavg: 4.08 4.06 4.01 5/263 69062
/proc/meminfo: memFree=123898516/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=84552 memory=62932 CPUtime=0.3 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 14847 0 0 0 28 2 0 0 20 0 1 0 63765935 86581248 15733 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 21138 15733 1024 1200 0 19618 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 84552 KiB
Current children cumulated memory: 62932 KiB
[startup+0.700168 s]
/proc/loadavg: 4.08 4.06 4.01 5/263 69062
/proc/meminfo: memFree=123874324/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=173608 memory=152076 CPUtime=0.68 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 35921 0 0 0 62 6 0 0 20 0 1 0 63765935 177774592 38019 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 43402 38019 1024 1200 0 41882 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 173608 KiB
Current children cumulated memory: 152076 KiB
[startup+1.50017 s]
/proc/loadavg: 4.08 4.06 4.01 5/263 69062
/proc/meminfo: memFree=123810064/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=390280 memory=369096 CPUtime=1.49 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 72057 0 0 0 131 18 0 0 20 0 1 0 63765935 399646720 92274 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 97570 92274 1184 1200 0 96050 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 390280 KiB
Current children cumulated memory: 369096 KiB
[startup+3.10541 s]
/proc/loadavg: 4.08 4.06 4.01 5/263 69062
/proc/meminfo: memFree=123596920/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=397400 memory=376536 CPUtime=3.09 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 79286 0 0 0 287 22 0 0 20 0 1 0 63765935 406937600 94134 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 99350 94134 1184 1200 0 97830 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 397400 KiB
Current children cumulated memory: 376536 KiB
[startup+6.30017 s]
/proc/loadavg: 4.07 4.06 4.01 5/263 69062
/proc/meminfo: memFree=123597172/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=410772 memory=383480 CPUtime=6.27 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 80041 0 0 0 605 22 0 0 20 0 1 0 63765935 420630528 95870 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 102693 95870 1184 1200 0 101173 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 410772 KiB
Current children cumulated memory: 383480 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.06 4.01 5/263 69062
/proc/meminfo: memFree=123496952/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=587476 memory=541528 CPUtime=12.66 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 106860 0 0 0 1236 30 0 0 20 0 1 0 63765935 601575424 135382 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 146869 135382 1280 1200 0 145349 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 587476 KiB
Current children cumulated memory: 541528 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.07 4.01 5/263 69062
/proc/meminfo: memFree=123151332/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=1003836 memory=825728 CPUtime=25.41 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 153090 0 0 0 2497 44 0 0 20 0 1 0 63765935 1027928064 206432 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 250959 206432 1280 1200 0 249439 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1003836 KiB
Current children cumulated memory: 825728 KiB
[startup+51.1053 s]
/proc/loadavg: 4.08 4.07 4.01 5/263 69063
/proc/meminfo: memFree=123054524/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=1127816 memory=1003764 CPUtime=50.94 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 180224 0 0 0 5043 51 0 0 20 0 1 0 63765935 1154883584 250941 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 281954 250941 1280 1200 0 280434 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1127816 KiB
Current children cumulated memory: 1003764 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.07 4.01 5/263 69064
/proc/meminfo: memFree=122999896/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=1186632 memory=1061108 CPUtime=101.98 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 194731 0 0 0 10144 54 0 0 20 0 1 0 63765935 1215111168 265277 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 296658 265277 1280 1200 0 295138 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1186632 KiB
Current children cumulated memory: 1061108 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.07 4.01 5/263 69072
/proc/meminfo: memFree=122978700/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=1257200 memory=1126416 CPUtime=161.82 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 200899 0 0 0 16121 61 0 0 20 0 1 0 63765935 1287372800 281604 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 314300 281604 1280 1200 0 312780 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1257200 KiB
Current children cumulated memory: 1126416 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.07 4.01 5/262 69074
/proc/meminfo: memFree=122894592/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=1257200 memory=1151412 CPUtime=221.64 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 206213 0 0 0 22102 62 0 0 20 0 1 0 63765935 1287372800 287853 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 314300 287853 1280 1200 0 312780 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 1257200 KiB
Current children cumulated memory: 1151412 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.08 4.02 5/262 69076
/proc/meminfo: memFree=122874888/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=1257200 memory=1152052 CPUtime=281.47 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 206496 0 0 0 28085 62 0 0 20 0 1 0 63765935 1287372800 288013 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 314300 288013 1280 1200 0 312780 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 1257200 KiB
Current children cumulated memory: 1152052 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.08 4.02 5/262 69078
/proc/meminfo: memFree=122872812/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=1257200 memory=1153716 CPUtime=341.29 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 207017 0 0 0 34066 63 0 0 20 0 1 0 63765935 1287372800 288429 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 314300 288429 1280 1200 0 312780 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 1257200 KiB
Current children cumulated memory: 1153716 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/262 69080
/proc/meminfo: memFree=122796992/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=1299752 memory=1228940 CPUtime=401.12 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 213106 0 0 0 40045 67 0 0 20 0 1 0 63765935 1330946048 307235 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 324938 307235 1280 1200 0 323418 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 1299752 KiB
Current children cumulated memory: 1228940 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/262 69082
/proc/meminfo: memFree=122704360/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=1319980 memory=1248780 CPUtime=460.95 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 213565 0 0 0 46024 71 0 0 20 0 1 0 63765935 1351659520 312195 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 69349
/proc/meminfo: memFree=123664084/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=2163112 memory=1827960 CPUtime=3092.95 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 258200 0 0 0 309158 137 0 0 20 0 1 0 63765935 2215026688 456990 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 540778 456990 1280 1200 0 539258 0
Current children cumulated CPU time: 3092.95 s
Current children cumulated vsize: 2163112 KiB
Current children cumulated memory: 1827960 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 69358
/proc/meminfo: memFree=123556760/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=2163112 memory=1828216 CPUtime=3152.77 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 258271 0 0 0 315140 137 0 0 20 0 1 0 63765935 2215026688 457054 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 540778 457054 1280 1200 0 539258 0
Current children cumulated CPU time: 3152.77 s
Current children cumulated vsize: 2163112 KiB
Current children cumulated memory: 1828216 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 69360
/proc/meminfo: memFree=123526940/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=2163112 memory=1828728 CPUtime=3212.61 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 258420 0 0 0 321123 138 0 0 20 0 1 0 63765935 2215026688 457182 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 540778 457182 1280 1200 0 539258 0
Current children cumulated CPU time: 3212.61 s
Current children cumulated vsize: 2163112 KiB
Current children cumulated memory: 1828728 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 69407
/proc/meminfo: memFree=123663556/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=2163112 memory=1831288 CPUtime=3272.43 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 258478 0 0 0 327105 138 0 0 20 0 1 0 63765935 2215026688 457822 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 540778 457822 1280 1200 0 539258 0
Current children cumulated CPU time: 3272.43 s
Current children cumulated vsize: 2163112 KiB
Current children cumulated memory: 1831288 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 69409
/proc/meminfo: memFree=123449288/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=2163112 memory=1831800 CPUtime=3332.27 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 258662 0 0 0 333088 139 0 0 20 0 1 0 63765935 2215026688 457950 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 540778 457950 1280 1200 0 539258 0
Current children cumulated CPU time: 3332.27 s
Current children cumulated vsize: 2163112 KiB
Current children cumulated memory: 1831800 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/263 69411
/proc/meminfo: memFree=123412956/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=2163112 memory=1849592 CPUtime=3392.1 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 258763 0 0 0 339070 140 0 0 20 0 1 0 63765935 2215026688 462398 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 540778 462398 1280 1200 0 539258 0
Current children cumulated CPU time: 3392.1 s
Current children cumulated vsize: 2163112 KiB
Current children cumulated memory: 1849592 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/262 69413
/proc/meminfo: memFree=123327068/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=2163112 memory=1857528 CPUtime=3451.93 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 258929 0 0 0 345052 141 0 0 20 0 1 0 63765935 2215026688 464382 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 540778 464382 1280 1200 0 539258 0
Current children cumulated CPU time: 3451.93 s
Current children cumulated vsize: 2163112 KiB
Current children cumulated memory: 1857528 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 69416
/proc/meminfo: memFree=123258340/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=2163112 memory=1903352 CPUtime=3511.77 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 259129 0 0 0 351035 142 0 0 20 0 1 0 63765935 2215026688 475838 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 540778 475838 1280 1200 0 539258 0
Current children cumulated CPU time: 3511.77 s
Current children cumulated vsize: 2163112 KiB
Current children cumulated memory: 1903352 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 69418
/proc/meminfo: memFree=123226540/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=2245376 memory=1915220 CPUtime=3571.59 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 260479 0 0 0 357015 144 0 0 20 0 1 0 63765935 2299265024 478805 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 561344 478805 1280 1200 0 559824 0
Current children cumulated CPU time: 3571.59 s
Current children cumulated vsize: 2245376 KiB
Current children cumulated memory: 1915220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 69418
/proc/meminfo: memFree=123225780/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=2245376 memory=1915220 CPUtime=3600.01 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 260647 0 0 0 359856 145 0 0 20 0 1 0 63765935 2299265024 478805 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 561344 478805 1280 1200 0 559824 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2245376 KiB
Current children cumulated memory: 1915220 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 69061 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3600.56 s, system=1.46245 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 69418
/proc/meminfo: memFree=123225780/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=2245376 memory=1915220 CPUtime=3600.41 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 260648 0 0 0 359896 145 0 0 20 0 1 0 63765935 2299265024 478805 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 561344 478805 1280 1200 0 559824 0
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 2245376 KiB
Current children cumulated memory: 1915220 KiB
[startup+3612 s]*
/proc/loadavg: 4.05 4.08 4.09 5/263 69419
/proc/meminfo: memFree=123217716/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=2245376 memory=1915220 CPUtime=3601.22 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 260648 0 0 0 359977 145 0 0 20 0 1 0 63765935 2299265024 478805 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 561344 478805 1280 1200 0 559824 0
Current children cumulated CPU time: 3601.22 s
Current children cumulated vsize: 2245376 KiB
Current children cumulated memory: 1915220 KiB
[startup+3612.4 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 69419
/proc/meminfo: memFree=123217716/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=2245376 memory=1915220 CPUtime=3601.61 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 260648 0 0 0 360016 145 0 0 20 0 1 0 63765935 2299265024 478805 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 561344 478805 1280 1200 0 559824 0
Current children cumulated CPU time: 3601.61 s
Current children cumulated vsize: 2245376 KiB
Current children cumulated memory: 1915220 KiB
[startup+3612.8 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 69419
/proc/meminfo: memFree=123217716/131249996 swapFree=33010416/33010684
[pid=69061] ppid=69058 vsize=2245376 memory=1915220 CPUtime=3602.01 cores=0,2
/proc/69061/stat : 69061 (Exact) R 69058 69061 68687 0 -1 4194304 260648 0 0 0 360056 145 0 0 20 0 1 0 63765935 2299265024 478805 18446744073709551615 4198400 9112445 140727470929152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27885568 140727470938408 140727470938605 140727470938605 140727470944207 0
/proc/69061/statm: 561344 478805 1280 1200 0 559824 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 2245376 KiB
Current children cumulated memory: 1915220 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.81
CPU time (s): 3602.03
CPU user time (s): 3600.56
CPU system time (s): 1.46245
CPU usage (%): 99.7016
Max. virtual memory (cumulated for all children) (KiB): 2245376
Max. memory (cumulated for all children) (KiB): 1915220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.56
system time used= 1.46244
maximum resident set size= 1990880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260648
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= 12
involuntary context switches= 7956
# summary of solver processes directly reported to runsolver:
# pid: 69061
# total CPU time (s): 3602.03
# total CPU user time (s): 3600.56
# total CPU system time (s): 1.46245
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.6887 second user time and 15.8651 second system time
The end
Begin job on nodeC022 at 2025-07-02 20:28:02 IDJOB=4502986 IDBENCH=155403 IDSOLVER=3318 FILE ID=nodeC022/4502986-1751480882 RUNJOBID= nodeC022-1751479977-68697 SLURM_JOB_ID= 9598520 Free space on /tmp= 432272 MiB SOLVER NAME= Exact_no_db_no_ls 2025-06-19 BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502986-1751480882/watcher-4502986-1751480882 -o /tmp/evaluation-result-4502986-1751480882/solver-4502986-1751480882 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751479977-68697 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1917815896 --ls=0 --inp-dombreaklim=0 HOME/instance-4502986-1751480882.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9f3f50f555350d326304759fc873d478 RANDOM SEED=1917815896 nodeC022 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.781 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.44 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.727 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.44 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 : 3602.182 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.44 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 : 3622.430 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.44 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.712 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.44 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.713 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.44 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 : 3600.222 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.44 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 : 3602.145 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.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 123950176 kB MemAvailable: 124282680 kB Buffers: 2128 kB Cached: 1116956 kB SwapCached: 32 kB Active: 5920512 kB Inactive: 574628 kB Active(anon): 5389908 kB Inactive(anon): 4176 kB Active(file): 530604 kB Inactive(file): 570452 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 27860 kB Writeback: 0 kB AnonPages: 5379128 kB Mapped: 118856 kB Shmem: 18028 kB KReclaimable: 140976 kB Slab: 231012 kB SReclaimable: 140976 kB SUnreclaim: 90036 kB KernelStack: 4240 kB PageTables: 13688 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 6026896 kB VmallocTotal: 34359738367 kB VmallocUsed: 150488 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 3330048 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432292 MiB End job on nodeC022 at 2025-07-02 21:28:15