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 | SAT (TO) | 202 | 3600.06 | 3610.41 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb |
| MD5SUM | 15e811bd466a2fe28afb8f0d217d004b |
| 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 | 183 |
| Best CPU time to get the best result obtained on this benchmark | 3583.9 |
| 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 | 476 |
| Total number of constraints | 476 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 476 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 476 |
| 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 | 476 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 476 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.22/0.27 o 232 0.22/0.28 o 231 3.48/3.52 o 230 3.48/3.53 o 229 3.58/3.63 o 228 4.77/4.80 o 227 4.77/4.80 o 226 4.77/4.80 o 225 4.77/4.81 o 224 4.77/4.88 o 223 9.26/9.35 o 222 9.26/9.39 o 221 19.72/19.82 o 220 24.41/24.58 o 219 33.77/34.01 o 218 42.64/42.81 o 217 51.61/51.89 o 216 51.71/51.93 o 215 51.82/52.05 o 214 52.82/53.05 o 213 108.95/109.32 o 212 108.95/109.37 o 211 122.91/123.38 o 210 323.53/324.57 o 209 546.19/547.82 o 208 667.35/669.36 o 207 807.14/809.53 o 206 807.14/809.58 o 205 807.24/809.61 o 204 1239.61/1243.23 o 203 2566.31/2573.73 o 202 3600.04/3610.40 c Program interrupted by user. 3600.04/3610.40 s SATISFIABLE 3600.04/3610.40 v -x1 x2 x3 x4 -x5 x6 -x7 x8 -x9 -x10 x11 -x12 -x13 -x14 x15 -x16 -x17 x18 -x19 -x20 x21 -x22 x23 x24 -x25 x26 -x27 x28 x29 -x30 x31 x32 x33 x34 x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 x51 -x52 -x53 -x54 x55 -x56 -x57 x58 x59 -x60 -x61 x62 -x63 x64 -x65 x66 x67 x68 x69 -x70 -x71 -x72 x73 -x74 -x75 x76 -x77 -x78 x79 x80 x81 -x82 -x83 -x84 -x85 x86 x87 -x88 x89 x90 -x91 -x92 -x93 x94 -x95 x96 x97 x98 x99 x100 -x101 x102 -x103 x104 x105 -x106 x107 -x108 -x109 x110 x111 -x112 -x113 -x114 -x115 x116 -x117 x118 x119 -x120 -x121 -x122 x123 -x124 x125 x126 x127 x128 x129 -x130 -x131 -x132 -x133 x134 x135 -x136 x137 x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 x146 x147 -x148 -x149 x150 -x151 x152 -x153 -x154 -x155 x156 -x157 -x158 x159 -x160 x161 x162 -x163 -x164 x165 -x166 -x167 x168 -x169 x170 -x171 -x172 -x173 x174 x175 x176 x177 x178 x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 x187 x188 -x189 x190 -x191 x192 -x193 x194 x195 -x196 x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 x214 x215 x216 -x217 x218 x219 -x220 -x221 -x222 x223 x224 -x225 -x226 x227 -x228 x229 x230 -x231 x232 x233 -x234 -x235 x236 x237 -x238 x239 x240 -x241 -x242 x243 -x244 x245 -x246 x247 -x248 -x249 x250 x251 x252 -x253 -x254 x255 x256 -x257 -x258 -x259 -x260 x261 x262 -x263 x264 -x265 -x266 x267 x268 -x269 -x270 -x271 x272 x273 -x274 -x275 -x276 x277 -x278 x279 -x280 -x281 -x282 x283 -x284 -x285 x286 x287 -x288 -x289 -x290 x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 x331 -x332 x333 -x334 -x335 x336 -x337 -x338 x339 x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 x348 x349 x350 -x351 -x352 -x353 -x354 x355 x356 x357 x358 -x359 x360 -x361 x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 x370 x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 x379 x380 x381 x382 x383 -x384 x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 x404 x405 -x406 x407 -x408 -x409 x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 x419 x420 x421 -x422 x423 -x424 -x425 x426 -x427 x428 x429 x430 x431 x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 x440 x441 -x442 -x443 x444 -x445 x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 x454 x455 -x456 x457 -x458 x459 -x460 x461 -x462 x463 x464 -x465 x466 x467 x468 x469 -x470 -x471 -x472 -x473 x474 x475 -x476
OK 202
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 (63198 MiB free)
memory of node 1: 64465 MiB (63075 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489386-1751356161/watcher-4489386-1751356161 -o /tmp/evaluation-result-4489386-1751356161/solver-4489386-1751356161 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751348936-46453 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=228657294 --ls=0 --inp-dombreaklim=0 HOME/instance-4489386-1751356161.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
Starting watchdog thread
solver pid=47177, runsolver pid=47174
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 4.07 4.08 4.10 5/244 47178
/proc/meminfo: memFree=129290888/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=30028 memory=7424 CPUtime=0.1 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 808 0 0 0 10 0 0 0 20 0 1 0 51295467 30748672 1856 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 7507 1856 1184 1200 0 5987 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30028 KiB
Current children cumulated memory: 7424 KiB
[startup+0.213688 s]*
/proc/loadavg: 4.07 4.08 4.10 5/240 47178
/proc/meminfo: memFree=129274800/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=30028 memory=7424 CPUtime=0.22 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 816 0 0 0 21 1 0 0 20 0 1 0 51295467 30748672 1856 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 7507 1856 1184 1200 0 5987 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 30028 KiB
Current children cumulated memory: 7424 KiB
[startup+0.313244 s]*
/proc/loadavg: 4.07 4.08 4.10 5/241 47180
/proc/meminfo: memFree=129255156/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=31308 memory=9344 CPUtime=0.31 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 1251 0 0 0 30 1 0 0 20 0 1 0 51295467 32059392 2336 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 7827 2336 1248 1200 0 6307 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31308 KiB
Current children cumulated memory: 9344 KiB
[startup+0.700335 s]
/proc/loadavg: 4.07 4.08 4.10 5/250 47198
/proc/meminfo: memFree=129224660/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=33412 memory=14568 CPUtime=0.68 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 2016 0 0 0 67 1 0 0 20 0 1 0 51295467 34213888 3642 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 8353 3642 1280 1200 0 6833 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33412 KiB
Current children cumulated memory: 14568 KiB
[startup+1.5003 s]
/proc/loadavg: 4.07 4.08 4.10 5/250 47198
/proc/meminfo: memFree=129162916/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=39920 memory=22180 CPUtime=1.48 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 3454 0 0 0 145 3 0 0 20 0 1 0 51295467 40878080 5545 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 9980 5545 1280 1200 0 8460 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39920 KiB
Current children cumulated memory: 22180 KiB
[startup+3.11298 s]
/proc/loadavg: 4.15 4.10 4.11 5/250 47243
/proc/meminfo: memFree=128753820/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=41528 memory=25860 CPUtime=3.08 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 3883 0 0 0 303 5 0 0 20 0 1 0 51295467 42524672 6465 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 10382 6465 1280 1200 0 8862 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41528 KiB
Current children cumulated memory: 25860 KiB
[startup+6.30028 s]
/proc/loadavg: 4.15 4.10 4.11 5/250 47243
/proc/meminfo: memFree=127336124/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=49076 memory=38396 CPUtime=6.27 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 5592 0 0 0 617 10 0 0 20 0 1 0 51295467 50253824 9599 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 12269 9599 1280 1200 0 10749 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 49076 KiB
Current children cumulated memory: 38396 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.10 4.11 5/250 47243
/proc/meminfo: memFree=127058192/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=52256 memory=44368 CPUtime=12.65 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 6589 0 0 0 1248 17 0 0 20 0 1 0 51295467 53510144 11092 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 13064 11092 1280 1200 0 11544 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 52256 KiB
Current children cumulated memory: 44368 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.09 4.10 5/250 47243
/proc/meminfo: memFree=126156084/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=68824 memory=49000 CPUtime=25.41 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 7451 0 0 0 2510 31 0 0 20 0 1 0 51295467 70475776 12250 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 17206 12250 1280 1200 0 15686 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 68824 KiB
Current children cumulated memory: 49000 KiB
[startup+51.113 s]
/proc/loadavg: 4.07 4.08 4.10 5/251 47245
/proc/meminfo: memFree=124802836/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=78344 memory=64292 CPUtime=50.93 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 9541 0 0 0 5035 58 0 0 20 0 1 0 51295467 80224256 16073 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 19586 16073 1280 1200 0 18066 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 78344 KiB
Current children cumulated memory: 64292 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/253 47255
/proc/meminfo: memFree=122755600/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=90204 memory=74620 CPUtime=101.97 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 11622 0 0 0 10085 112 0 0 20 0 1 0 51295467 92368896 18655 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 22551 18655 1280 1200 0 21031 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 90204 KiB
Current children cumulated memory: 74620 KiB
[startup+162.3 s]
/proc/loadavg: 4.30 4.13 4.11 5/252 47257
/proc/meminfo: memFree=122083776/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=92728 memory=76924 CPUtime=161.79 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 12233 0 0 0 16000 179 0 0 20 0 1 0 51295467 94953472 19231 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 23182 19231 1280 1200 0 21662 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 92728 KiB
Current children cumulated memory: 76924 KiB
[startup+222.3 s]
/proc/loadavg: 4.71 4.29 4.16 5/252 47259
/proc/meminfo: memFree=121859308/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=96628 memory=82256 CPUtime=221.63 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 13100 0 0 0 21922 241 0 0 20 0 1 0 51295467 98947072 20564 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 24157 20564 1280 1200 0 22637 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 96628 KiB
Current children cumulated memory: 82256 KiB
[startup+282.3 s]
/proc/loadavg: 4.26 4.23 4.15 5/252 47261
/proc/meminfo: memFree=121842352/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=108164 memory=90704 CPUtime=281.45 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 15214 0 0 0 27838 307 0 0 20 0 1 0 51295467 110759936 22676 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 27041 22676 1280 1200 0 25521 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 108164 KiB
Current children cumulated memory: 90704 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.20 4.15 5/252 47263
/proc/meminfo: memFree=121761172/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=110660 memory=95264 CPUtime=341.28 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 15850 0 0 0 33764 364 0 0 20 0 1 0 51295467 113315840 23816 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 27665 23816 1280 1200 0 26145 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 110660 KiB
Current children cumulated memory: 95264 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.20 4.15 5/249 47265
/proc/meminfo: memFree=121657492/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=115528 memory=98848 CPUtime=401.11 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 16773 0 0 0 39681 430 0 0 20 0 1 0 51295467 118300672 24712 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 28882 24712 1280 1200 0 27362 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 115528 KiB
Current children cumulated memory: 98848 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.17 4.14 5/249 47267
/proc/meminfo: memFree=121635232/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=118240 memory=100896 CPUtime=460.94 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 17296 0 0 0 45601 493 0 0 20 0 1 0 51295467 121077760 25224 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 29560 25224 1280 1200 0 28040 0
################
# More data... #
################
Current children cumulated memory: 152664 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.20 4.17 5/250 47393
/proc/meminfo: memFree=120968120/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=189776 memory=152920 CPUtime=2854.09 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 30034 0 0 0 282373 3036 0 0 20 0 1 0 51295467 194330624 38230 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 47444 38230 1280 1200 0 45924 0
Current children cumulated CPU time: 2854.09 s
Current children cumulated vsize: 189776 KiB
Current children cumulated memory: 152920 KiB
[startup+2922.3 s]
/proc/loadavg: 4.04 4.16 4.16 5/250 47395
/proc/meminfo: memFree=120960524/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=190388 memory=153688 CPUtime=2913.92 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 30245 0 0 0 288293 3099 0 0 20 0 1 0 51295467 194957312 38422 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 47597 38422 1280 1200 0 46077 0
Current children cumulated CPU time: 2913.92 s
Current children cumulated vsize: 190388 KiB
Current children cumulated memory: 153688 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/250 47397
/proc/meminfo: memFree=120952988/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=190620 memory=153944 CPUtime=2973.74 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 30312 0 0 0 294211 3163 0 0 20 0 1 0 51295467 195194880 38486 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 47655 38486 1280 1200 0 46135 0
Current children cumulated CPU time: 2973.74 s
Current children cumulated vsize: 190620 KiB
Current children cumulated memory: 153944 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/250 47399
/proc/meminfo: memFree=120914104/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=191388 memory=154840 CPUtime=3033.57 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 30531 0 0 0 300138 3219 0 0 20 0 1 0 51295467 195981312 38710 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 47847 38710 1280 1200 0 46327 0
Current children cumulated CPU time: 3033.57 s
Current children cumulated vsize: 191388 KiB
Current children cumulated memory: 154840 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/250 47408
/proc/meminfo: memFree=120862872/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=192540 memory=155992 CPUtime=3093.4 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 30818 0 0 0 306059 3281 0 0 20 0 1 0 51295467 197160960 38998 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 48135 38998 1280 1200 0 46615 0
Current children cumulated CPU time: 3093.4 s
Current children cumulated vsize: 192540 KiB
Current children cumulated memory: 155992 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/250 47409
/proc/meminfo: memFree=120812584/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=192732 memory=156248 CPUtime=3153.23 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 30874 0 0 0 311981 3342 0 0 20 0 1 0 51295467 197357568 39062 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 48183 39062 1280 1200 0 46663 0
Current children cumulated CPU time: 3153.23 s
Current children cumulated vsize: 192732 KiB
Current children cumulated memory: 156248 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.12 4.14 5/250 47411
/proc/meminfo: memFree=120778272/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=192732 memory=156376 CPUtime=3213.06 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 30918 0 0 0 317900 3406 0 0 20 0 1 0 51295467 197357568 39094 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 48183 39094 1280 1200 0 46663 0
Current children cumulated CPU time: 3213.06 s
Current children cumulated vsize: 192732 KiB
Current children cumulated memory: 156376 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/250 47413
/proc/meminfo: memFree=120783580/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=194076 memory=157528 CPUtime=3272.89 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 31229 0 0 0 323818 3471 0 0 20 0 1 0 51295467 198733824 39382 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 48519 39382 1280 1200 0 46999 0
Current children cumulated CPU time: 3272.89 s
Current children cumulated vsize: 194076 KiB
Current children cumulated memory: 157528 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.10 4.13 5/250 47415
/proc/meminfo: memFree=120785860/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=194940 memory=158424 CPUtime=3332.71 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 31432 0 0 0 329741 3530 0 0 20 0 1 0 51295467 199618560 39606 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 48735 39606 1280 1200 0 47215 0
Current children cumulated CPU time: 3332.71 s
Current children cumulated vsize: 194940 KiB
Current children cumulated memory: 158424 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.13 5/249 47417
/proc/meminfo: memFree=120795216/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=195420 memory=159064 CPUtime=3392.54 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 31617 0 0 0 335666 3588 0 0 20 0 1 0 51295467 200110080 39766 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 48855 39766 1280 1200 0 47335 0
Current children cumulated CPU time: 3392.54 s
Current children cumulated vsize: 195420 KiB
Current children cumulated memory: 159064 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.13 5/249 47419
/proc/meminfo: memFree=120807860/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=196452 memory=161724 CPUtime=3452.36 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 31793 0 0 0 341583 3653 0 0 20 0 1 0 51295467 201166848 40431 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 49113 40431 1280 1200 0 47593 0
Current children cumulated CPU time: 3452.36 s
Current children cumulated vsize: 196452 KiB
Current children cumulated memory: 161724 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.12 5/250 47422
/proc/meminfo: memFree=120803288/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=196724 memory=162108 CPUtime=3512.18 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 31864 0 0 0 347506 3712 0 0 20 0 1 0 51295467 201445376 40527 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 49181 40527 1280 1200 0 47661 0
Current children cumulated CPU time: 3512.18 s
Current children cumulated vsize: 196724 KiB
Current children cumulated memory: 162108 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.11 5/251 47425
/proc/meminfo: memFree=120806028/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=196956 memory=162364 CPUtime=3572.02 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 31953 0 0 0 353434 3768 0 0 20 0 1 0 51295467 201682944 40591 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 49239 40591 1280 1200 0 47719 0
Current children cumulated CPU time: 3572.02 s
Current children cumulated vsize: 196956 KiB
Current children cumulated memory: 162364 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.06 4.08 4.11 4/247 47435
/proc/meminfo: memFree=123760524/131382116 swapFree=33010684/33010684
[pid=47177] ppid=47174 vsize=196956 memory=162492 CPUtime=3600.04 cores=0,2
/proc/47177/stat : 47177 (Exact) R 47174 47177 46443 0 -1 4194304 31959 0 0 0 356209 3795 0 0 20 0 1 0 51295467 201682944 40623 18446744073709551615 4198400 9112445 140735242547232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 21467136 140735242549545 140735242549741 140735242549741 140735242555343 0
/proc/47177/statm: 49239 40623 1280 1200 0 47719 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 196956 KiB
Current children cumulated memory: 162492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.41 s]
# the end of solver process 47177 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3562.09 s, system=37.9641 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.41
CPU time (s): 3600.06
CPU user time (s): 3562.09
CPU system time (s): 37.9641
CPU usage (%): 99.7133
Max. virtual memory (cumulated for all children) (KiB): 196956
Max. memory (cumulated for all children) (KiB): 162492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.09
system time used= 37.9641
maximum resident set size= 162492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31962
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= 17
involuntary context switches= 8348
# summary of solver processes directly reported to runsolver:
# pid: 47177
# total CPU time (s): 3600.06
# total CPU user time (s): 3562.09
# total CPU system time (s): 37.9641
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9502 second user time and 35.4876 second system time
The end
Begin job on nodeC010 at 2025-07-01 09:49:21 IDJOB=4489386 IDBENCH=147547 IDSOLVER=3318 FILE ID=nodeC010/4489386-1751356161 RUNJOBID= nodeC010-1751348936-46453 SLURM_JOB_ID= 9598124 Free space on /tmp= 432684 MiB SOLVER NAME= Exact_no_db_no_ls 2025-06-19 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.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-4489386-1751356161/watcher-4489386-1751356161 -o /tmp/evaluation-result-4489386-1751356161/solver-4489386-1751356161 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751348936-46453 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=228657294 --ls=0 --inp-dombreaklim=0 HOME/instance-4489386-1751356161.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b RANDOM SEED=228657294 nodeC010 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.226 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.36 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 : 3662.479 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.36 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.143 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.310 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.36 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 : 1197.147 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.36 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 : 1197.278 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.36 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 : 1197.356 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.36 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.152 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 129311556 kB MemAvailable: 129762836 kB Buffers: 3280 kB Cached: 1258872 kB SwapCached: 0 kB Active: 557908 kB Inactive: 952868 kB Active(anon): 266940 kB Inactive(anon): 0 kB Active(file): 290968 kB Inactive(file): 952868 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 14552 kB Writeback: 0 kB AnonPages: 252160 kB Mapped: 109228 kB Shmem: 17960 kB KReclaimable: 94140 kB Slab: 177836 kB SReclaimable: 94140 kB SUnreclaim: 83696 kB KernelStack: 3936 kB PageTables: 3380 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 570644 kB VmallocTotal: 34359738367 kB VmallocUsed: 149288 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 184320 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: 205640 kB DirectMap2M: 12279808 kB DirectMap1G: 123731968 kB Free space on /tmp at the end= 432616 MiB End job on nodeC010 at 2025-07-01 10:49:31