Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| LS-MabSP 2024-07-10 | SAT | 181 | 3558 | 3564.77 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb |
| MD5SUM | f4fbd70ee8b80515313bebcddc52f82a |
| 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 | 181 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| 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 | 18 |
| 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.00/0.00 c Filename:instance-4427795-1722781456.opb, Cutoff_time:3558, memory_limit_gb:500000 0.00/0.00 c Use Presolve 0.00/0.00 c Parse finsih 0.00/0.00 c Start Presolve 0.00/0.02 c After Reduce Vars: 476 Clauses: 952 Top clause weight: 477 Hard Clauses: 476 1774.86/1779.09 c Use LS-small 1774.86/1779.09 c Use postsolve 1774.86/1779.09 o 191 1774.86/1779.09 c Use postsolve 1774.86/1779.09 o 190 1774.86/1779.09 c Use postsolve 1774.86/1779.09 o 189 1774.96/1779.12 c Use postsolve 1774.96/1779.12 o 187 1774.96/1779.15 c Use postsolve 1774.96/1779.15 o 186 1775.36/1779.51 c Use postsolve 1775.36/1779.51 o 184 1775.36/1779.51 c Use postsolve 1775.36/1779.51 o 183 1777.46/1781.68 c Use postsolve 1777.46/1781.68 o 182 3504.20/3510.98 c Use postsolve 3504.20/3510.98 o 181 3557.93/3564.76 s SATISFIABLE 3557.93/3564.76 c Use postsolve 3557.93/3564.76 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 3557.93/3564.76 c Done 3504.28s
OK 181
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: 63931 MiB (62481 MiB free)
memory of node 1: 64510 MiB (59995 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427795-1722781456/watcher-4427795-1722781456 -o /tmp/evaluation-result-4427795-1722781456/solver-4427795-1722781456 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722781456-247577 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427795-1722781456.opb -t 3558 -s 578137205
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=247609, runsolver pid=247606
[startup+0.100352 s]*
/proc/loadavg: 0.11 0.11 0.35 3/243 247610
/proc/meminfo: memFree=125396064/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=29608 memory=22784 CPUtime=0.09 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 2671 0 0 0 9 0 0 0 20 0 1 0 44747348 30318592 5696 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 7402 5696 2801 2753 0 4055 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29608 KiB
Current children cumulated memory: 22784 KiB
[startup+0.204115 s]*
/proc/loadavg: 0.11 0.11 0.35 3/243 247610
/proc/meminfo: memFree=125395756/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=29608 memory=22784 CPUtime=0.2 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 2677 0 0 0 20 0 0 0 20 0 1 0 44747348 30318592 5696 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 7402 5696 2801 2753 0 4055 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29608 KiB
Current children cumulated memory: 22784 KiB
[startup+0.304048 s]*
/proc/loadavg: 0.11 0.11 0.35 3/243 247610
/proc/meminfo: memFree=125395116/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=29956 memory=23060 CPUtime=0.3 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 2755 0 0 0 30 0 0 0 20 0 1 0 44747348 30674944 5765 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 7489 5765 2801 2753 0 4142 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 29956 KiB
Current children cumulated memory: 23060 KiB
[startup+0.700192 s]
/proc/loadavg: 0.11 0.11 0.35 3/243 247610
/proc/meminfo: memFree=125394892/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=46344 memory=39280 CPUtime=0.68 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 6822 0 0 0 68 0 0 0 20 0 1 0 44747348 47456256 9820 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 11586 9820 2833 2753 0 8239 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46344 KiB
Current children cumulated memory: 39280 KiB
[startup+1.50019 s]
/proc/loadavg: 0.11 0.11 0.35 3/243 247610
/proc/meminfo: memFree=125288520/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=130056 memory=120512 CPUtime=1.48 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 28197 0 0 0 144 4 0 0 20 0 1 0 44747348 133177344 30128 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 32514 30128 2833 2753 0 29167 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 130056 KiB
Current children cumulated memory: 120512 KiB
[startup+3.10418 s]
/proc/loadavg: 0.26 0.14 0.36 3/243 247610
/proc/meminfo: memFree=125129620/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=168016 memory=156940 CPUtime=3.08 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 37297 0 0 0 303 5 0 0 20 0 1 0 44747348 172048384 39235 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 42004 39235 2833 2753 0 38657 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 168016 KiB
Current children cumulated memory: 156940 KiB
[startup+6.30014 s]
/proc/loadavg: 0.26 0.14 0.36 3/243 247610
/proc/meminfo: memFree=125129204/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=168016 memory=156940 CPUtime=6.27 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 37298 0 0 0 622 5 0 0 20 0 1 0 44747348 172048384 39235 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 42004 39235 2833 2753 0 38657 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 168016 KiB
Current children cumulated memory: 156940 KiB
[startup+12.7001 s]
/proc/loadavg: 0.53 0.20 0.38 3/243 247612
/proc/meminfo: memFree=125126488/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=167704 memory=157192 CPUtime=12.65 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 37395 0 0 0 1260 5 0 0 20 0 1 0 44747348 171728896 39298 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 41926 39298 2833 2753 0 38579 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 167704 KiB
Current children cumulated memory: 157192 KiB
[startup+25.5002 s]
/proc/loadavg: 0.76 0.26 0.39 3/243 247614
/proc/meminfo: memFree=124983512/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=224948 memory=211436 CPUtime=25.43 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 52037 0 0 0 2535 8 0 0 20 0 1 0 44747348 230346752 52859 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 56237 52859 2833 2753 0 52890 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 224948 KiB
Current children cumulated memory: 211436 KiB
[startup+51.1042 s]
/proc/loadavg: 1.18 0.41 0.44 3/243 247619
/proc/meminfo: memFree=124973052/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=235244 memory=222028 CPUtime=50.97 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 54739 0 0 0 5089 8 0 0 20 0 1 0 44747348 240889856 55507 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 58811 55507 2849 2753 0 55464 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 235244 KiB
Current children cumulated memory: 222028 KiB
[startup+102.3 s]
/proc/loadavg: 1.91 0.76 0.56 3/243 248012
/proc/meminfo: memFree=124910396/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=251016 memory=237428 CPUtime=102.05 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 59042 0 0 0 10196 9 0 0 20 0 1 0 44747348 257040384 59357 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 62754 59357 2849 2753 0 59407 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 251016 KiB
Current children cumulated memory: 237428 KiB
[startup+162.3 s]
/proc/loadavg: 2.07 1.02 0.66 3/243 248026
/proc/meminfo: memFree=124845552/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=310532 memory=300956 CPUtime=161.89 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 75282 0 0 0 16178 11 0 0 20 0 1 0 44747348 317984768 75239 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 77633 75239 2849 2753 0 74286 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 310532 KiB
Current children cumulated memory: 300956 KiB
[startup+222.3 s]
/proc/loadavg: 2.11 1.23 0.76 3/243 248036
/proc/meminfo: memFree=124842456/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=310532 memory=300956 CPUtime=221.74 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 75293 0 0 0 22163 11 0 0 20 0 1 0 44747348 317984768 75239 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 77633 75239 2849 2753 0 74286 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 310532 KiB
Current children cumulated memory: 300956 KiB
[startup+282.3 s]
/proc/loadavg: 2.11 1.39 0.85 3/244 248215
/proc/meminfo: memFree=124839820/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=310532 memory=301556 CPUtime=281.58 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 75317 0 0 0 28147 11 0 0 20 0 1 0 44747348 317984768 75389 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 77633 75389 2849 2753 0 74286 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 310532 KiB
Current children cumulated memory: 301556 KiB
[startup+342.3 s]
/proc/loadavg: 2.10 1.52 0.93 3/243 248227
/proc/meminfo: memFree=124838984/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=310532 memory=301952 CPUtime=341.44 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 75371 0 0 0 34133 11 0 0 20 0 1 0 44747348 317984768 75488 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 77633 75488 2849 2753 0 74286 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 310532 KiB
Current children cumulated memory: 301952 KiB
[startup+402.3 s]
/proc/loadavg: 2.08 1.62 1.00 3/245 248298
/proc/meminfo: memFree=124836304/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=310532 memory=303524 CPUtime=401.3 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 75469 0 0 0 40119 11 0 0 20 0 1 0 44747348 317984768 75881 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 77633 75881 2849 2753 0 74286 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 310532 KiB
Current children cumulated memory: 303524 KiB
[startup+462.3 s]
/proc/loadavg: 2.06 1.71 1.07 3/246 248309
/proc/meminfo: memFree=124835576/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=309976 memory=303284 CPUtime=461.16 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 75601 0 0 0 46105 11 0 0 20 0 1 0 44747348 317415424 75821 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
################
# More data... #
################
/proc/loadavg: 2.13 2.11 2.03 3/241 249403
/proc/meminfo: memFree=124811556/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=308336 memory=302712 CPUtime=3216.03 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 84910 0 0 0 309665 11938 0 0 20 0 1 0 44747348 315736064 75678 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 77084 75678 2849 2753 0 73737 0
Current children cumulated CPU time: 3216.03 s
Current children cumulated vsize: 308336 KiB
Current children cumulated memory: 302712 KiB
[startup+3282.3 s]
/proc/loadavg: 2.09 2.10 2.03 3/241 249414
/proc/meminfo: memFree=124810664/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=308336 memory=302712 CPUtime=3275.94 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 84911 0 0 0 315161 12433 0 0 20 0 1 0 44747348 315736064 75678 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 77084 75678 2849 2753 0 73737 0
Current children cumulated CPU time: 3275.94 s
Current children cumulated vsize: 308336 KiB
Current children cumulated memory: 302712 KiB
[startup+3342.3 s]
/proc/loadavg: 2.10 2.10 2.03 3/241 249425
/proc/meminfo: memFree=124809840/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=308336 memory=302712 CPUtime=3335.85 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 84912 0 0 0 320655 12930 0 0 20 0 1 0 44747348 315736064 75678 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 77084 75678 2849 2753 0 73737 0
Current children cumulated CPU time: 3335.85 s
Current children cumulated vsize: 308336 KiB
Current children cumulated memory: 302712 KiB
[startup+3402.3 s]
/proc/loadavg: 2.09 2.09 2.03 3/243 249440
/proc/meminfo: memFree=124809160/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=308336 memory=302712 CPUtime=3395.77 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 84913 0 0 0 326146 13431 0 0 20 0 1 0 44747348 315736064 75678 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 77084 75678 2849 2753 0 73737 0
Current children cumulated CPU time: 3395.77 s
Current children cumulated vsize: 308336 KiB
Current children cumulated memory: 302712 KiB
[startup+3462.3 s]
/proc/loadavg: 2.07 2.09 2.03 3/242 249451
/proc/meminfo: memFree=124808732/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=308336 memory=302712 CPUtime=3455.68 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 84914 0 0 0 331649 13919 0 0 20 0 1 0 44747348 315736064 75678 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 77084 75678 2849 2753 0 73737 0
Current children cumulated CPU time: 3455.68 s
Current children cumulated vsize: 308336 KiB
Current children cumulated memory: 302712 KiB
[startup+3522.3 s]
/proc/loadavg: 2.06 2.08 2.03 3/242 249463
/proc/meminfo: memFree=124807828/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=308336 memory=302712 CPUtime=3515.59 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 84937 0 0 0 337147 14412 0 0 20 0 1 0 44747348 315736064 75678 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 77084 75678 2849 2753 0 73737 0
Current children cumulated CPU time: 3515.59 s
Current children cumulated vsize: 308336 KiB
Current children cumulated memory: 302712 KiB
[startup+3564.77 s]
# the end of solver process 247609 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3410.33 s, system=147.674 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 2.05 2.08 2.03 3/242 249464
/proc/meminfo: memFree=124807744/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=308336 memory=302712 CPUtime=3526.08 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 84937 0 0 0 338110 14498 0 0 20 0 1 0 44747348 315736064 75678 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 77084 75678 2849 2753 0 73737 0
Current children cumulated CPU time: 3526.08 s
Current children cumulated vsize: 308336 KiB
Current children cumulated memory: 302712 KiB
[startup+3545.6 s]
/proc/loadavg: 2.04 2.08 2.03 3/242 249467
/proc/meminfo: memFree=124807204/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=308336 memory=302712 CPUtime=3538.86 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 84937 0 0 0 339280 14606 0 0 20 0 1 0 44747348 315736064 75678 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 77084 75678 2849 2753 0 73737 0
Current children cumulated CPU time: 3538.86 s
Current children cumulated vsize: 308336 KiB
Current children cumulated memory: 302712 KiB
[startup+3558.4 s]
/proc/loadavg: 2.10 2.09 2.03 3/242 249468
/proc/meminfo: memFree=124807472/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=308336 memory=302712 CPUtime=3551.63 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 84938 0 0 0 340449 14714 0 0 20 0 1 0 44747348 315736064 75678 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 77084 75678 2849 2753 0 73737 0
Current children cumulated CPU time: 3551.63 s
Current children cumulated vsize: 308336 KiB
Current children cumulated memory: 302712 KiB
[startup+3561.6 s]
/proc/loadavg: 2.10 2.09 2.03 3/242 249470
/proc/meminfo: memFree=124807444/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=308336 memory=302712 CPUtime=3554.84 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 84938 0 0 0 340742 14742 0 0 20 0 1 0 44747348 315736064 75678 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 77084 75678 2849 2753 0 73737 0
Current children cumulated CPU time: 3554.84 s
Current children cumulated vsize: 308336 KiB
Current children cumulated memory: 302712 KiB
[startup+3563.2 s]
/proc/loadavg: 2.09 2.09 2.03 3/242 249470
/proc/meminfo: memFree=124807444/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=308336 memory=302712 CPUtime=3556.43 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 84938 0 0 0 340888 14755 0 0 20 0 1 0 44747348 315736064 75678 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 77084 75678 2849 2753 0 73737 0
Current children cumulated CPU time: 3556.43 s
Current children cumulated vsize: 308336 KiB
Current children cumulated memory: 302712 KiB
[startup+3564 s]*
/proc/loadavg: 2.09 2.09 2.03 3/242 249470
/proc/meminfo: memFree=124807444/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=308336 memory=302712 CPUtime=3557.23 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 84938 0 0 0 340962 14761 0 0 20 0 1 0 44747348 315736064 75678 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 77084 75678 2849 2753 0 73737 0
Current children cumulated CPU time: 3557.23 s
Current children cumulated vsize: 308336 KiB
Current children cumulated memory: 302712 KiB
[startup+3564.4 s]
/proc/loadavg: 2.09 2.09 2.03 3/242 249470
/proc/meminfo: memFree=124807444/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=308336 memory=302712 CPUtime=3557.63 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 84938 0 0 0 340999 14764 0 0 20 0 1 0 44747348 315736064 75678 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 77084 75678 2849 2753 0 73737 0
Current children cumulated CPU time: 3557.63 s
Current children cumulated vsize: 308336 KiB
Current children cumulated memory: 302712 KiB
[startup+3564.6 s]
/proc/loadavg: 2.09 2.09 2.03 3/242 249470
/proc/meminfo: memFree=124807444/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=308336 memory=302712 CPUtime=3557.83 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 84938 0 0 0 341017 14766 0 0 20 0 1 0 44747348 315736064 75678 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 77084 75678 2849 2753 0 73737 0
Current children cumulated CPU time: 3557.83 s
Current children cumulated vsize: 308336 KiB
Current children cumulated memory: 302712 KiB
[startup+3564.7 s]
/proc/loadavg: 2.09 2.09 2.03 3/242 249470
/proc/meminfo: memFree=124807444/131524600 swapFree=131071996/131071996
[pid=247609] ppid=247606 vsize=308336 memory=302712 CPUtime=3557.93 cores=4,6
/proc/247609/stat : 247609 (LS-MabSP) R 247606 247609 247566 0 -1 4194304 84938 0 0 0 341026 14767 0 0 20 0 1 0 44747348 315736064 75678 134679101440 4194304 15467897 140721241527280 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53424128 140721241535519 140721241535621 140721241535621 140721241542637 0
/proc/247609/statm: 77084 75678 2849 2753 0 73737 0
Current children cumulated CPU time: 3557.93 s
Current children cumulated vsize: 308336 KiB
Current children cumulated memory: 302712 KiB
Child status: 0
Real time (s): 3564.77
CPU time (s): 3558
CPU user time (s): 3410.33
CPU system time (s): 147.674
CPU usage (%): 99.8103
Max. virtual memory (cumulated for all children) (KiB): 337032
Max. memory (cumulated for all children) (KiB): 330180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3410.33
system time used= 147.674
maximum resident set size= 330180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84964
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= 27
involuntary context switches= 1486
# summary of solver processes directly reported to runsolver:
# pid: 247609
# total CPU time (s): 3558
# total CPU user time (s): 3410.33
# total CPU system time (s): 147.674
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.68217 second user time and 10.8131 second system time
The end
Begin job on nodeC031 at 2024-08-04 16:24:16 IDJOB=4427795 IDBENCH=147545 IDSOLVER=3047 FILE ID=nodeC031/4427795-1722781456 RUNJOBID= nodeC031-1722781456-247577 SLURM_JOB_ID= 8258552 Free space on /tmp= 890068 MiB SOLVER NAME= LS-MabSP 2024-07-10 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb COMMAND LINE= ./LS-MabSP -f BENCHNAME -t 3558 -s RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427795-1722781456/watcher-4427795-1722781456 -o /tmp/evaluation-result-4427795-1722781456/solver-4427795-1722781456 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722781456-247577 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427795-1722781456.opb -t 3558 -s 578137205 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f4fbd70ee8b80515313bebcddc52f82a RANDOM SEED=578137205 nodeC031.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 3620.701 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.95 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 : 1856.260 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 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 : 3610.219 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.95 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 : 2237.132 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 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 : 3622.111 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.95 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 : 2257.665 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 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.019 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.95 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 : 1921.559 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125413616 kB MemAvailable: 129779364 kB Buffers: 290468 kB Cached: 4908456 kB SwapCached: 0 kB Active: 502636 kB Inactive: 5089828 kB Active(anon): 1456 kB Inactive(anon): 421612 kB Active(file): 501180 kB Inactive(file): 4668216 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 32600 kB Writeback: 12 kB AnonPages: 393368 kB Mapped: 97348 kB Shmem: 29528 kB KReclaimable: 71996 kB Slab: 161632 kB SReclaimable: 71996 kB SUnreclaim: 89636 kB KernelStack: 3792 kB PageTables: 9324 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 613344 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 23200 kB HardwareCorrupted: 0 kB AnonHugePages: 262144 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 322260 kB DirectMap2M: 19374080 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 890052 MiB End job on nodeC031 at 2024-08-04 17:23:41