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) | 71 | 3600.05 | 3610.91 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mds/normalized-mds_500_10_2.opb |
| MD5SUM | 8deb0b9174477a1f2aeb72dadb0281d2 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 51 |
| Best CPU time to get the best result obtained on this benchmark | 72000.5 |
| 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 | 500 |
| Total number of constraints | 500 |
| 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 | 500 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 22 |
| Number of terms in the objective function | 500 |
| 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 | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 6328 |
| Sum of products size (including duplicates) | 12656 |
| Number of different products | 6328 |
| Sum of products size | 12656 |
0.31/0.39 o 105 0.31/0.40 o 104 7.97/8.10 o 103 8.46/8.59 o 102 9.25/9.31 o 101 9.25/9.38 o 100 9.35/9.49 o 99 9.45/9.54 o 98 9.45/9.55 o 97 9.45/9.58 o 96 9.45/9.59 o 95 9.56/9.61 o 94 9.56/9.61 o 93 9.56/9.62 o 92 9.76/9.81 o 91 10.36/10.43 o 90 10.46/10.56 o 89 11.75/11.87 o 88 11.75/11.87 o 87 11.75/11.88 o 86 11.75/11.89 o 85 11.85/11.94 o 84 11.85/11.94 o 83 11.85/11.96 o 82 11.85/11.96 o 81 81.51/81.86 o 80 81.51/81.89 o 79 81.61/81.91 o 78 81.61/81.93 o 77 81.61/81.93 o 76 447.56/449.02 o 75 543.93/545.73 o 74 826.44/829.02 o 73 928.64/931.51 o 72 2387.22/2394.58 o 71 3600.03/3610.90 c Program interrupted by user. 3600.03/3610.90 s SATISFIABLE 3600.03/3610.90 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 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500
OK 71
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (63142 MiB free)
memory of node 1: 64507 MiB (63880 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498260-1751270072/watcher-4498260-1751270072 -o /tmp/evaluation-result-4498260-1751270072/solver-4498260-1751270072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751270072-39300 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=549366068 --ls=0 --inp-dombreaklim=0 HOME/instance-4498260-1751270072.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
Current StackSize limit: 8192 KiB
solver pid=39344, runsolver pid=39340
[startup+0.100075 s]*
/proc/loadavg: 6.81 7.86 6.99 4/250 39360
/proc/meminfo: memFree=130063092/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=47044 memory=23288 CPUtime=0.1 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 5450 0 0 0 9 1 0 0 20 0 1 0 42686986 48173056 5822 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 11761 5822 1024 1200 0 10241 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47044 KiB
Current children cumulated memory: 23288 KiB
[startup+0.214377 s]*
/proc/loadavg: 6.81 7.86 6.99 5/250 39364
/proc/meminfo: memFree=130047468/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=48348 memory=24952 CPUtime=0.22 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 5837 0 0 0 20 2 0 0 20 0 1 0 42686986 49508352 6238 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 12087 6238 1024 1200 0 10567 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 48348 KiB
Current children cumulated memory: 24952 KiB
[startup+0.314115 s]*
/proc/loadavg: 6.81 7.86 6.99 4/248 39368
/proc/meminfo: memFree=130025292/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=63932 memory=40352 CPUtime=0.31 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 10159 0 0 0 28 3 0 0 20 0 1 0 42686986 65466368 10088 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 15983 10088 1184 1200 0 14463 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 63932 KiB
Current children cumulated memory: 40352 KiB
[startup+0.700257 s]
/proc/loadavg: 6.81 7.86 6.99 5/248 39368
/proc/meminfo: memFree=130021512/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=66424 memory=46052 CPUtime=0.68 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 10990 0 0 0 64 4 0 0 20 0 1 0 42686986 68018176 11513 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 16606 11513 1248 1200 0 15086 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 66424 KiB
Current children cumulated memory: 46052 KiB
[startup+1.50033 s]
/proc/loadavg: 6.66 7.81 6.98 4/248 39368
/proc/meminfo: memFree=130016728/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=73364 memory=56016 CPUtime=1.48 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 12466 0 0 0 142 6 0 0 20 0 1 0 42686986 75124736 14004 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 18341 14004 1248 1200 0 16821 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 73364 KiB
Current children cumulated memory: 56016 KiB
[startup+3.11326 s]
/proc/loadavg: 6.66 7.81 6.98 5/252 39405
/proc/meminfo: memFree=129972212/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=81620 memory=67896 CPUtime=3.09 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 14813 0 0 0 303 6 0 0 20 0 1 0 42686986 83578880 16974 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 20405 16974 1248 1200 0 18885 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 81620 KiB
Current children cumulated memory: 67896 KiB
[startup+6.30033 s]
/proc/loadavg: 6.45 7.75 6.96 5/252 39405
/proc/meminfo: memFree=129929960/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=88020 memory=76192 CPUtime=6.26 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 16411 0 0 0 619 7 0 0 20 0 1 0 42686986 90132480 19048 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 22005 19048 1248 1200 0 20485 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 88020 KiB
Current children cumulated memory: 76192 KiB
[startup+12.7003 s]
/proc/loadavg: 6.25 7.69 6.94 5/252 39405
/proc/meminfo: memFree=129833268/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=131768 memory=117064 CPUtime=12.65 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 23347 0 0 0 1255 10 0 0 20 0 1 0 42686986 134930432 29266 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 32942 29266 1248 1200 0 31422 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 131768 KiB
Current children cumulated memory: 117064 KiB
[startup+25.5003 s]
/proc/loadavg: 5.91 7.56 6.91 5/252 39405
/proc/meminfo: memFree=129775904/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=161648 memory=127988 CPUtime=25.4 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 25966 0 0 0 2527 13 0 0 20 0 1 0 42686986 165527552 31997 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 40412 31997 1248 1200 0 38892 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 161648 KiB
Current children cumulated memory: 127988 KiB
[startup+51.1133 s]
/proc/loadavg: 5.22 7.24 6.82 5/252 39406
/proc/meminfo: memFree=129716904/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=174692 memory=140276 CPUtime=50.92 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 28879 0 0 0 5073 19 0 0 20 0 1 0 42686986 178884608 35069 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 43673 35069 1248 1200 0 42153 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 174692 KiB
Current children cumulated memory: 140276 KiB
[startup+102.3 s]
/proc/loadavg: 4.58 6.75 6.68 5/252 39407
/proc/meminfo: memFree=129622696/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=189032 memory=171696 CPUtime=101.96 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 32006 0 0 0 10164 32 0 0 20 0 1 0 42686986 193568768 42924 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 47258 42924 1248 1200 0 45738 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 189032 KiB
Current children cumulated memory: 171696 KiB
[startup+162.3 s]
/proc/loadavg: 4.26 6.26 6.51 5/252 39409
/proc/meminfo: memFree=129546108/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=208600 memory=189104 CPUtime=161.79 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 36475 0 0 0 16139 40 0 0 20 0 1 0 42686986 213606400 47276 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 52150 47276 1248 1200 0 50630 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 208600 KiB
Current children cumulated memory: 189104 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 5.86 6.36 5/252 39411
/proc/meminfo: memFree=129514080/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=223672 memory=199856 CPUtime=221.62 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 39162 0 0 0 22110 52 0 0 20 0 1 0 42686986 229040128 49964 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 55918 49964 1248 1200 0 54398 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 223672 KiB
Current children cumulated memory: 199856 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 5.54 6.21 5/251 39413
/proc/meminfo: memFree=129461212/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=236904 memory=209968 CPUtime=281.43 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 41771 0 0 0 28077 66 0 0 20 0 1 0 42686986 242589696 52492 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 59226 52492 1248 1200 0 57706 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 236904 KiB
Current children cumulated memory: 209968 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 5.29 6.08 5/250 39415
/proc/meminfo: memFree=129412280/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=250920 memory=221488 CPUtime=341.22 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 44672 0 0 0 34043 79 0 0 20 0 1 0 42686986 256942080 55372 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 62730 55372 1248 1200 0 61210 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 250920 KiB
Current children cumulated memory: 221488 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 5.06 5.95 5/250 39428
/proc/meminfo: memFree=129386716/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=321324 memory=268160 CPUtime=401.02 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 52197 0 0 0 40008 94 0 0 20 0 1 0 42686986 329035776 67040 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 80331 67040 1248 1200 0 78811 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 321324 KiB
Current children cumulated memory: 268160 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.88 5.83 5/251 39431
/proc/meminfo: memFree=129375428/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=328700 memory=274432 CPUtime=460.81 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 53766 0 0 0 45974 107 0 0 20 0 1 0 42686986 336588800 68608 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 82175 68608 1248 1200 0 80655 0
################
# More data... #
################
Current children cumulated memory: 528532 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.21 4.33 5/250 39551
/proc/meminfo: memFree=128952400/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=550856 memory=531732 CPUtime=2913.55 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 104866 0 0 0 290792 563 0 0 20 0 1 0 42686986 564076544 132933 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 137714 132933 1248 1200 0 136194 0
Current children cumulated CPU time: 2913.55 s
Current children cumulated vsize: 550856 KiB
Current children cumulated memory: 531732 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.18 4.31 5/250 39553
/proc/meminfo: memFree=128952920/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=553800 memory=534548 CPUtime=2973.38 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 105679 0 0 0 296769 569 0 0 20 0 1 0 42686986 567091200 133637 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 138450 133637 1248 1200 0 136930 0
Current children cumulated CPU time: 2973.38 s
Current children cumulated vsize: 553800 KiB
Current children cumulated memory: 534548 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.16 4.30 5/251 39562
/proc/meminfo: memFree=128937124/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=555740 memory=536468 CPUtime=3033.22 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 106290 0 0 0 302741 581 0 0 20 0 1 0 42686986 569077760 134117 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 138935 134117 1248 1200 0 137415 0
Current children cumulated CPU time: 3033.22 s
Current children cumulated vsize: 555740 KiB
Current children cumulated memory: 536468 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.16 4.28 5/251 39565
/proc/meminfo: memFree=128925308/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=581232 memory=556820 CPUtime=3093.05 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 111506 0 0 0 308712 593 0 0 20 0 1 0 42686986 595181568 139205 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 145308 139205 1248 1200 0 143788 0
Current children cumulated CPU time: 3093.05 s
Current children cumulated vsize: 581232 KiB
Current children cumulated memory: 556820 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.27 5/251 39567
/proc/meminfo: memFree=128932900/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=581616 memory=557332 CPUtime=3152.88 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 111844 0 0 0 314688 600 0 0 20 0 1 0 42686986 595574784 139333 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 145404 139333 1248 1200 0 143884 0
Current children cumulated CPU time: 3152.88 s
Current children cumulated vsize: 581616 KiB
Current children cumulated memory: 557332 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.26 5/251 39569
/proc/meminfo: memFree=128921212/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=584524 memory=560020 CPUtime=3212.72 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 112538 0 0 0 320658 614 0 0 20 0 1 0 42686986 598552576 140005 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 146131 140005 1248 1200 0 144611 0
Current children cumulated CPU time: 3212.72 s
Current children cumulated vsize: 584524 KiB
Current children cumulated memory: 560020 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.25 5/251 39571
/proc/meminfo: memFree=128921008/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=589148 memory=564500 CPUtime=3272.55 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 113880 0 0 0 326630 625 0 0 20 0 1 0 42686986 603287552 141125 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 147287 141125 1248 1200 0 145767 0
Current children cumulated CPU time: 3272.55 s
Current children cumulated vsize: 589148 KiB
Current children cumulated memory: 564500 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.24 5/250 39573
/proc/meminfo: memFree=128906744/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=591092 memory=566292 CPUtime=3332.36 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 114470 0 0 0 332599 637 0 0 20 0 1 0 42686986 605278208 141573 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 147773 141573 1248 1200 0 146253 0
Current children cumulated CPU time: 3332.36 s
Current children cumulated vsize: 591092 KiB
Current children cumulated memory: 566292 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.14 4.24 5/250 39575
/proc/meminfo: memFree=128907724/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=591572 memory=567060 CPUtime=3392.15 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 114736 0 0 0 338569 646 0 0 20 0 1 0 42686986 605769728 141765 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 147893 141765 1248 1200 0 146373 0
Current children cumulated CPU time: 3392.15 s
Current children cumulated vsize: 591572 KiB
Current children cumulated memory: 567060 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.12 4.22 5/250 39577
/proc/meminfo: memFree=128903772/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=592232 memory=567572 CPUtime=3451.95 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 115097 0 0 0 344535 660 0 0 20 0 1 0 42686986 606445568 141893 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 148058 141893 1248 1200 0 146538 0
Current children cumulated CPU time: 3451.95 s
Current children cumulated vsize: 592232 KiB
Current children cumulated memory: 567572 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.22 5/250 39579
/proc/meminfo: memFree=128905300/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=592592 memory=567956 CPUtime=3511.74 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 115190 0 0 0 350502 672 0 0 20 0 1 0 42686986 606814208 141989 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 148148 141989 1248 1200 0 146628 0
Current children cumulated CPU time: 3511.74 s
Current children cumulated vsize: 592592 KiB
Current children cumulated memory: 567956 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.20 5/250 39581
/proc/meminfo: memFree=128893672/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=598420 memory=579004 CPUtime=3571.53 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 116692 0 0 0 356467 686 0 0 20 0 1 0 42686986 612782080 144751 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 149605 144751 1248 1200 0 148085 0
Current children cumulated CPU time: 3571.53 s
Current children cumulated vsize: 598420 KiB
Current children cumulated memory: 579004 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.07 4.11 4.20 5/251 39589
/proc/meminfo: memFree=128894184/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=598680 memory=579260 CPUtime=3600.03 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 116751 0 0 0 359314 689 0 0 20 0 1 0 42686986 613048320 144815 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 149670 144815 1248 1200 0 148150 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 598680 KiB
Current children cumulated memory: 579260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.91 s]
# the end of solver process 39344 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3593.15 s, system=6.90226 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.07 4.11 4.20 5/251 39589
/proc/meminfo: memFree=128894184/131382116 swapFree=33010684/33010684
[pid=39344] ppid=39340 vsize=598680 memory=579260 CPUtime=3600.03 cores=0,2
/proc/39344/stat : 39344 (Exact) R 39340 39344 38814 0 -1 4194304 116751 0 0 0 359314 689 0 0 20 0 1 0 42686986 613048320 144815 18446744073709551615 4198400 9112445 140733866708368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22077440 140733866715433 140733866715629 140733866715629 140733866721231 0
/proc/39344/statm: 149670 144815 1248 1200 0 148150 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 598680 KiB
Current children cumulated memory: 579260 KiB
Child status: 10
Real time (s): 3610.91
CPU time (s): 3600.05
CPU user time (s): 3593.15
CPU system time (s): 6.90226
CPU usage (%): 99.6993
Max. virtual memory (cumulated for all children) (KiB): 598680
Max. memory (cumulated for all children) (KiB): 579260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.15
system time used= 6.90226
maximum resident set size= 579388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116755
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= 126
involuntary context switches= 8066
# summary of solver processes directly reported to runsolver:
# pid: 39344
# total CPU time (s): 3600.05
# total CPU user time (s): 3593.15
# total CPU system time (s): 6.90226
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0868 second user time and 35.5285 second system time
The end
Begin job on nodeC011 at 2025-06-30 09:54:33 IDJOB=4498260 IDBENCH=148588 IDSOLVER=3318 FILE ID=nodeC011/4498260-1751270072 RUNJOBID= nodeC011-1751270072-39300 SLURM_JOB_ID= 9594178 Free space on /tmp= 433056 MiB SOLVER NAME= Exact_no_db_no_ls 2025-06-19 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_2.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-4498260-1751270072/watcher-4498260-1751270072 -o /tmp/evaluation-result-4498260-1751270072/solver-4498260-1751270072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751270072-39300 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=549366068 --ls=0 --inp-dombreaklim=0 HOME/instance-4498260-1751270072.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8deb0b9174477a1f2aeb72dadb0281d2 RANDOM SEED=549366068 nodeC011 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 : 2295.571 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 : 6984.20 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.354 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 : 6984.20 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.319 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 : 6984.20 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.855 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 : 6984.20 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.295 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 : 6984.20 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.297 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 : 6984.20 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.440 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 : 6984.20 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.861 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 130066820 kB MemAvailable: 129908992 kB Buffers: 3280 kB Cached: 650772 kB SwapCached: 0 kB Active: 370000 kB Inactive: 351916 kB Active(anon): 85824 kB Inactive(anon): 0 kB Active(file): 284176 kB Inactive(file): 351916 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 29184 kB Writeback: 16 kB AnonPages: 71000 kB Mapped: 102684 kB Shmem: 17960 kB KReclaimable: 91032 kB Slab: 171588 kB SReclaimable: 91032 kB SUnreclaim: 80556 kB KernelStack: 3828 kB PageTables: 2544 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 332424 kB VmallocTotal: 34359738367 kB VmallocUsed: 149224 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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: 191304 kB DirectMap2M: 8099840 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433024 MiB End job on nodeC011 at 2025-06-30 10:54:44