Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCad-S 2024-07-10 | OPT | 17 | 2870.73 | 2878.37 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=19-t=2.opb |
| MD5SUM | 9b7954cd6dc14b590c17dd19cf5c91cb |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 17 |
| Best CPU time to get the best result obtained on this benchmark | 59.722 |
| 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 | 589 |
| Total number of constraints | 58881 |
| Number of constraints which are clauses | 58862 |
| Number of constraints which are cardinality constraints (but not clauses) | 19 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 19 |
| 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 | 19 |
| Number of bits of the sum of numbers in the objective function | 5 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.20/0.29 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.20/0.29 o 19 0.20/0.29 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.30/0.34 c Starting SCIP solver (with time-limit = 1800s) ... 1795.62/1800.34 c SCIP timeout with lower and upper bounds: [0, 17] 1795.62/1800.34 o 17 2870.66/2878.36 s OPTIMUM FOUND 2870.66/2878.36 v x172 x173 x174 -x175 x176 x177 x178 x179 x180 -x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 -x191 -x210 -x229 -x248 -x267 -x286 -x305 -x324 -x343 -x362 -x381 -x400 -x419 -x438 -x457 -x476 -x495 -x514 -x533 -x192 -x211 -x230 -x249 -x268 -x287 -x306 -x325 -x344 -x363 -x382 -x401 -x420 -x439 -x458 -x477 -x496 -x515 -x534 -x193 -x212 -x231 -x250 -x269 -x288 -x307 -x326 -x345 -x364 -x383 -x402 -x421 -x440 -x459 -x478 -x497 -x516 -x535 -x194 -x213 -x232 -x251 -x270 -x289 -x308 -x327 -x346 -x365 -x384 -x403 -x422 -x441 -x460 -x479 -x498 -x517 x536 -x195 -x214 -x233 -x252 -x271 -x290 -x309 -x328 -x347 -x366 -x385 -x404 -x423 -x442 -x461 -x480 -x499 -x518 -x537 -x196 -x215 -x234 -x253 -x272 -x291 -x310 -x329 -x348 -x367 -x386 -x405 -x424 -x443 -x462 -x481 -x500 -x519 -x538 -x197 -x216 -x235 -x254 -x273 -x292 -x311 -x330 -x349 -x368 -x387 -x406 -x425 -x444 -x463 -x482 -x501 -x520 -x539 -x198 -x217 -x236 -x255 -x274 -x293 -x312 -x331 -x350 -x369 -x388 -x407 -x426 -x445 -x464 -x483 -x502 -x521 -x540 -x199 -x218 -x237 -x256 -x275 -x294 -x313 -x332 -x351 -x370 -x389 -x408 -x427 -x446 -x465 -x484 -x503 -x522 -x541 -x200 -x219 -x238 -x257 -x276 -x295 -x314 -x333 -x352 -x371 -x390 -x409 x428 -x447 -x466 -x485 -x504 -x523 -x542 -x201 -x220 -x239 -x258 -x277 -x296 -x315 -x334 -x353 -x372 -x391 -x410 -x429 -x448 -x467 -x486 -x505 -x524 -x543 -x202 -x221 -x240 -x259 -x278 -x297 -x316 -x335 -x354 -x373 -x392 -x411 -x430 -x449 -x468 -x487 -x506 -x525 -x544 -x203 -x222 -x241 -x260 -x279 -x298 -x317 -x336 -x355 -x374 -x393 -x412 -x431 -x450 -x469 -x488 -x507 -x526 -x545 -x204 -x223 -x242 -x261 -x280 -x299 -x318 -x337 -x356 -x375 -x394 -x413 -x432 -x451 -x470 -x489 -x508 -x527 -x546 -x205 -x224 -x243 -x262 -x281 -x300 -x319 -x338 -x357 -x376 -x395 -x414 -x433 -x452 -x471 -x490 -x509 -x528 -x547 -x206 -x225 -x244 -x263 -x282 -x301 -x320 -x339 -x358 -x377 -x396 -x415 -x434 -x453 -x472 -x491 -x510 -x529 -x548 -x207 -x226 -x245 -x264 -x283 -x302 -x321 -x340 -x359 -x378 -x397 -x416 -x435 -x454 -x473 -x492 -x511 -x530 -x549 -x208 -x227 -x246 -x265 -x284 -x303 -x322 -x341 -x360 -x379 -x398 -x417 -x436 -x455 -x474 -x493 -x512 -x531 -x550 -x209 -x228 -x247 -x266 -x285 -x304 -x323 -x342 -x361 -x380 -x399 -x418 -x437 -x456 -x475 -x494 -x513 -x532 -x551 -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 x552 -x553 x554 -x555 x556 -x557 x558 -x559 x560 -x561 -x562 x563 -x564 x565 x566 -x567 x568 -x569 x570 -x571 -x572 x573 x574 -x575 x576 -x577 -x578 x579 -x580 x581 x582 -x583 -x584 x585 -x586 x587 -x588 x589
OK 17
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: 63968 MiB (62878 MiB free)
memory of node 1: 64473 MiB (61714 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449879-1721403111/watcher-4449879-1721403111 -o /tmp/evaluation-result-4449879-1721403111/solver-4449879-1721403111 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721403125-1013054 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4449879-1721403111.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1013104, runsolver pid=1013096
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 1.14 1.12 1.09 6/262 1013116
/proc/meminfo: memFree=127497548/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=36528 memory=22180 CPUtime=0.09 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 4810 0 0 0 9 0 0 0 20 0 1 0 192474681 37404672 5545 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 9132 5545 878 2594 0 6025 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36528 KiB
Current children cumulated memory: 22180 KiB
[startup+0.2062 s]*
/proc/loadavg: 1.14 1.12 1.09 6/262 1013116
/proc/meminfo: memFree=127447764/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=55308 memory=40924 CPUtime=0.2 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 9486 0 0 0 19 1 0 0 20 0 1 0 192474681 56635392 10231 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 13827 10231 878 2594 0 10720 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 55308 KiB
Current children cumulated memory: 40924 KiB
[startup+0.305245 s]*
/proc/loadavg: 1.14 1.12 1.09 5/262 1013116
/proc/meminfo: memFree=127390648/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=80388 memory=71436 CPUtime=0.3 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 16021 0 0 0 28 2 0 0 20 0 1 0 192474681 82317312 17859 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 20097 17859 2302 2594 0 16990 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 80388 KiB
Current children cumulated memory: 71436 KiB
[startup+0.700188 s]
/proc/loadavg: 1.14 1.12 1.09 5/262 1013116
/proc/meminfo: memFree=127296328/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=171044 memory=161016 CPUtime=0.69 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 43348 0 0 0 63 6 0 0 20 0 1 0 192474681 175149056 40254 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 42761 40254 2542 2594 0 39654 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 171044 KiB
Current children cumulated memory: 161016 KiB
[startup+1.50023 s]
/proc/loadavg: 1.14 1.12 1.09 6/262 1013116
/proc/meminfo: memFree=127219000/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=394332 memory=367816 CPUtime=1.49 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 88526 0 0 0 136 13 0 0 20 0 1 0 192474681 403795968 91954 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 98583 91954 2638 2594 0 95476 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 394332 KiB
Current children cumulated memory: 367816 KiB
[startup+3.10642 s]
/proc/loadavg: 1.14 1.12 1.09 6/262 1013116
/proc/meminfo: memFree=127026648/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=388572 memory=362284 CPUtime=3.09 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 88784 0 0 0 296 13 0 0 20 0 1 0 192474681 397897728 90571 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 97143 90571 2670 2594 0 94036 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 388572 KiB
Current children cumulated memory: 362284 KiB
[startup+6.30022 s]
/proc/loadavg: 1.37 1.16 1.11 6/262 1013118
/proc/meminfo: memFree=127014556/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=388572 memory=362548 CPUtime=6.27 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 88845 0 0 0 614 13 0 0 20 0 1 0 192474681 397897728 90637 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 97143 90637 2670 2594 0 94036 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 388572 KiB
Current children cumulated memory: 362548 KiB
[startup+12.7002 s]
/proc/loadavg: 1.58 1.21 1.12 6/262 1013118
/proc/meminfo: memFree=126958792/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=441352 memory=374180 CPUtime=12.65 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 92342 0 0 0 1251 14 0 0 20 0 1 0 192474681 451944448 93545 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 110338 93545 2670 2594 0 107231 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 441352 KiB
Current children cumulated memory: 374180 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 1.35 1.17 6/262 1013119
/proc/meminfo: memFree=126854944/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=494516 memory=423156 CPUtime=25.43 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 109351 0 0 0 2524 19 0 0 20 0 1 0 192474681 506384384 105789 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 123629 105789 2670 2594 0 120522 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 494516 KiB
Current children cumulated memory: 423156 KiB
[startup+51.1064 s]
/proc/loadavg: 2.83 1.58 1.25 6/260 1013124
/proc/meminfo: memFree=126737248/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=557764 memory=474244 CPUtime=50.96 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 126101 0 0 0 5073 23 0 0 20 0 1 0 192474681 571150336 118561 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 139441 118561 2670 2594 0 136334 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 557764 KiB
Current children cumulated memory: 474244 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 1.97 1.40 6/260 1013133
/proc/meminfo: memFree=126587076/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=575504 memory=487256 CPUtime=102.01 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 155281 0 0 0 10168 33 0 0 20 0 1 0 192474681 589316096 121814 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 143876 121814 2670 2594 0 140769 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 575504 KiB
Current children cumulated memory: 487256 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.36 1.57 5/259 1013145
/proc/meminfo: memFree=126406256/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=607360 memory=519224 CPUtime=161.84 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 198583 0 0 0 16138 46 0 0 20 0 1 0 192474681 621936640 129806 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 151840 129806 2670 2594 0 148733 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 607360 KiB
Current children cumulated memory: 519224 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.69 1.74 6/259 1013247
/proc/meminfo: memFree=126363472/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=666508 memory=567712 CPUtime=221.67 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 242445 0 0 0 22109 58 0 0 20 0 1 0 192474681 682504192 141928 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 166627 141928 2670 2594 0 163520 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 666508 KiB
Current children cumulated memory: 567712 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 2.94 1.89 6/256 1013257
/proc/meminfo: memFree=126267832/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=619680 memory=521200 CPUtime=281.48 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 254055 0 0 0 28082 66 0 0 20 0 1 0 192474681 634552320 130300 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 154920 130300 2670 2594 0 151813 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 619680 KiB
Current children cumulated memory: 521200 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.16 2.03 5/254 1013270
/proc/meminfo: memFree=126048180/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=687524 memory=587260 CPUtime=341.3 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 282228 0 0 0 34054 76 0 0 20 0 1 0 192474681 704024576 146815 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 171881 146815 2670 2594 0 168774 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 687524 KiB
Current children cumulated memory: 587260 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.33 2.16 5/254 1013280
/proc/meminfo: memFree=125914060/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=688980 memory=588244 CPUtime=401.12 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 282496 0 0 0 40031 81 0 0 20 0 1 0 192474681 705515520 147061 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 172245 147061 2670 2594 0 169138 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 688980 KiB
Current children cumulated memory: 588244 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.47 2.28 6/254 1013290
/proc/meminfo: memFree=125806288/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=708528 memory=597928 CPUtime=460.95 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 284362 0 0 0 46009 86 0 0 20 0 1 0 192474681 725532672 149482 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 177132 149482 2670 2594 0 174025 0
################
# More data... #
################
/proc/loadavg: 4.08 4.08 3.93 6/257 1014225
/proc/meminfo: memFree=125734132/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=835448 memory=828660 CPUtime=2435.96 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 504515 0 0 0 243372 224 0 0 20 0 1 0 192474681 855498752 207165 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 208862 207165 2718 2594 0 205755 0
Current children cumulated CPU time: 2435.96 s
Current children cumulated vsize: 835448 KiB
Current children cumulated memory: 828660 KiB
[startup+2502.3 s]
/proc/loadavg: 4.12 4.10 3.94 6/257 1014235
/proc/meminfo: memFree=125733228/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=835448 memory=828660 CPUtime=2495.78 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 506657 0 0 0 249342 236 0 0 20 0 1 0 192474681 855498752 207165 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 208862 207165 2718 2594 0 205755 0
Current children cumulated CPU time: 2495.78 s
Current children cumulated vsize: 835448 KiB
Current children cumulated memory: 828660 KiB
[startup+2562.3 s]
/proc/loadavg: 4.09 4.09 3.95 6/258 1014248
/proc/meminfo: memFree=125731556/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=835448 memory=828660 CPUtime=2555.59 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 509101 0 0 0 255310 249 0 0 20 0 1 0 192474681 855498752 207165 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 208862 207165 2718 2594 0 205755 0
Current children cumulated CPU time: 2555.59 s
Current children cumulated vsize: 835448 KiB
Current children cumulated memory: 828660 KiB
[startup+2622.3 s]
/proc/loadavg: 4.15 4.10 3.97 6/258 1014258
/proc/meminfo: memFree=125537968/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=1028160 memory=1021372 CPUtime=2615.41 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 513017 0 0 0 261272 269 0 0 20 0 1 0 192474681 1052835840 255343 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 257040 255343 2718 2594 0 253933 0
Current children cumulated CPU time: 2615.41 s
Current children cumulated vsize: 1028160 KiB
Current children cumulated memory: 1021372 KiB
[startup+2682.3 s]
/proc/loadavg: 4.12 4.10 3.98 6/255 1014268
/proc/meminfo: memFree=125532880/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=1029564 memory=1022776 CPUtime=2675.23 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 516932 0 0 0 267229 294 0 0 20 0 1 0 192474681 1054273536 255694 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 257391 255694 2718 2594 0 254284 0
Current children cumulated CPU time: 2675.23 s
Current children cumulated vsize: 1029564 KiB
Current children cumulated memory: 1022776 KiB
[startup+2742.3 s]
/proc/loadavg: 4.12 4.11 4.00 6/255 1014279
/proc/meminfo: memFree=125330720/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=1242756 memory=1235872 CPUtime=2735.05 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 520778 0 0 0 273186 319 0 0 20 0 1 0 192474681 1272582144 308968 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 310689 308968 2718 2594 0 307582 0
Current children cumulated CPU time: 2735.05 s
Current children cumulated vsize: 1242756 KiB
Current children cumulated memory: 1235872 KiB
[startup+2802.3 s]
/proc/loadavg: 4.14 4.11 4.01 6/255 1014289
/proc/meminfo: memFree=125509432/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=1051464 memory=1044676 CPUtime=2794.87 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 524160 0 0 0 279145 342 0 0 20 0 1 0 192474681 1076699136 261169 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 262866 261169 2718 2594 0 259759 0
Current children cumulated CPU time: 2794.87 s
Current children cumulated vsize: 1051464 KiB
Current children cumulated memory: 1044676 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.12 4.01 6/254 1014299
/proc/meminfo: memFree=125491776/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=1066564 memory=1059776 CPUtime=2854.7 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 528053 0 0 0 285102 368 0 0 20 0 1 0 192474681 1092161536 264944 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 266641 264944 2718 2594 0 263534 0
Current children cumulated CPU time: 2854.7 s
Current children cumulated vsize: 1066564 KiB
Current children cumulated memory: 1059776 KiB
[startup+2878.36 s]
# the end of solver process 1013104 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=2866.99 s, system=3.74861 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2867.2 s]
/proc/loadavg: 4.12 4.12 4.01 6/254 1014301
/proc/meminfo: memFree=125491612/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=1066564 memory=1059776 CPUtime=2859.59 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 528336 0 0 0 285589 370 0 0 20 0 1 0 192474681 1092161536 264944 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 266641 264944 2718 2594 0 263534 0
Current children cumulated CPU time: 2859.59 s
Current children cumulated vsize: 1066564 KiB
Current children cumulated memory: 1059776 KiB
[startup+2873.6 s]
/proc/loadavg: 4.11 4.12 4.01 6/254 1014301
/proc/meminfo: memFree=125492900/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=1066564 memory=1059776 CPUtime=2865.97 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 528460 0 0 0 286227 370 0 0 20 0 1 0 192474681 1092161536 264944 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 266641 264944 2718 2594 0 263534 0
Current children cumulated CPU time: 2865.97 s
Current children cumulated vsize: 1066564 KiB
Current children cumulated memory: 1059776 KiB
[startup+2876.8 s]
/proc/loadavg: 4.10 4.11 4.01 6/254 1014302
/proc/meminfo: memFree=125492856/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=1296796 memory=1289844 CPUtime=2869.16 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 528786 0 0 0 286542 374 0 0 20 0 1 0 192474681 1327919104 322461 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 324199 322461 2718 2594 0 321092 0
Current children cumulated CPU time: 2869.16 s
Current children cumulated vsize: 1296796 KiB
Current children cumulated memory: 1289844 KiB
[startup+2877.6 s]
/proc/loadavg: 4.10 4.11 4.01 6/254 1014302
/proc/meminfo: memFree=125493756/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=1065680 memory=1058892 CPUtime=2869.96 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 528786 0 0 0 286622 374 0 0 20 0 1 0 192474681 1091256320 264723 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 266420 264723 2718 2594 0 263313 0
Current children cumulated CPU time: 2869.96 s
Current children cumulated vsize: 1065680 KiB
Current children cumulated memory: 1058892 KiB
[startup+2878 s]*
/proc/loadavg: 4.10 4.11 4.01 6/254 1014302
/proc/meminfo: memFree=125492968/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=1065680 memory=1058892 CPUtime=2870.37 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 528786 0 0 0 286663 374 0 0 20 0 1 0 192474681 1091256320 264723 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 266420 264723 2718 2594 0 263313 0
Current children cumulated CPU time: 2870.37 s
Current children cumulated vsize: 1065680 KiB
Current children cumulated memory: 1058892 KiB
[startup+2878.2 s]
/proc/loadavg: 4.10 4.11 4.01 6/254 1014302
/proc/meminfo: memFree=125492968/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=1065680 memory=1058892 CPUtime=2870.56 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 528786 0 0 0 286682 374 0 0 20 0 1 0 192474681 1091256320 264723 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 266420 264723 2718 2594 0 263313 0
Current children cumulated CPU time: 2870.56 s
Current children cumulated vsize: 1065680 KiB
Current children cumulated memory: 1058892 KiB
[startup+2878.3 s]
/proc/loadavg: 4.10 4.11 4.01 6/254 1014302
/proc/meminfo: memFree=125492968/131524600 swapFree=131071996/131071996
[pid=1013104] ppid=1013096 vsize=1065680 memory=1058892 CPUtime=2870.66 cores=5,7
/proc/1013104/stat : 1013104 (CASHWMaxSAT-Dis) R 1013096 1013104 1011044 0 -1 4194304 528786 0 0 0 286692 374 0 0 20 0 1 0 192474681 1091256320 264723 134679101440 4194304 14817773 140724170272624 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42958848 140724170277859 140724170277974 140724170277974 140724170284991 0
/proc/1013104/statm: 266420 264723 2718 2594 0 263313 0
Current children cumulated CPU time: 2870.66 s
Current children cumulated vsize: 1065680 KiB
Current children cumulated memory: 1058892 KiB
Child status: 30
Real time (s): 2878.37
CPU time (s): 2870.73
CPU user time (s): 2866.99
CPU system time (s): 3.74861
CPU usage (%): 99.7346
Max. virtual memory (cumulated for all children) (KiB): 1298340
Max. memory (cumulated for all children) (KiB): 1289844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2866.99
system time used= 3.74861
maximum resident set size= 1289844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 528786
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= 88
involuntary context switches= 1847
# summary of solver processes directly reported to runsolver:
# pid: 1013104
# total CPU time (s): 2870.73
# total CPU user time (s): 2866.99
# total CPU system time (s): 3.74861
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.49219 second user time and 15.0611 second system time
The end
Begin job on nodeC020 at 2024-07-19 17:32:05 IDJOB=4449879 IDBENCH=176150 IDSOLVER=3075 FILE ID=nodeC020/4449879-1721403111 RUNJOBID= nodeC020-1721403125-1013054 SLURM_JOB_ID= 7545442 Free space on /tmp= 890080 MiB SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=19-t=2.opb COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449879-1721403111/watcher-4449879-1721403111 -o /tmp/evaluation-result-4449879-1721403111/solver-4449879-1721403111 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721403125-1013054 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4449879-1721403111.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9b7954cd6dc14b590c17dd19cf5c91cb RANDOM SEED=1887123091 nodeC020.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 : 3584.661 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 : 7000.05 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 : 3640.555 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 : 7005.84 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 : 3562.926 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 : 7000.05 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 : 3213.134 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 : 7005.84 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 : 3414.876 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 : 7000.05 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 : 3291.090 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 : 7005.84 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 : 3568.374 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 : 7000.05 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 : 3630.950 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 : 7005.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127585164 kB MemAvailable: 129692292 kB Buffers: 529148 kB Cached: 2404796 kB SwapCached: 0 kB Active: 904788 kB Inactive: 2385220 kB Active(anon): 1496 kB Inactive(anon): 400556 kB Active(file): 903292 kB Inactive(file): 1984664 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 56916 kB Writeback: 0 kB AnonPages: 355420 kB Mapped: 106264 kB Shmem: 45912 kB KReclaimable: 117992 kB Slab: 233224 kB SReclaimable: 117992 kB SUnreclaim: 115232 kB KernelStack: 3968 kB PageTables: 9724 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 789356 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 69312 kB HardwareCorrupted: 0 kB AnonHugePages: 231424 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: 211668 kB DirectMap2M: 22630400 kB DirectMap1G: 113246208 kB Free space on /tmp at the end= 890028 MiB End job on nodeC020 at 2024-07-19 18:20:03