Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCad-SP 2024-07-10 | OPT | 17 | 2894.89 | 2902.82 |
| 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.88/0.96 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.88/0.96 o 19 0.88/0.96 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.99/1.04 c Starting SCIP solver (with time-limit = 1800s) ... 1795.93/1801.04 c SCIP timeout with lower and upper bounds: [0, 17] 1796.03/1801.19 o 17 2894.85/2902.81 s OPTIMUM FOUND 2894.85/2902.81 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: 64096 MiB (59747 MiB free)
memory of node 1: 64473 MiB (61716 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449878-1721403112/watcher-4449878-1721403112 -o /tmp/evaluation-result-4449878-1721403112/solver-4449878-1721403112 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721403123-1022344 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4449878-1721403112.opb -total-t=3600 -no-par -v0
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Current StackSize limit: 8192 KiB
solver pid=1022399, runsolver pid=1022395
[startup+0.100664 s]*
/proc/loadavg: 1.09 1.09 1.09 5/244 1022405
/proc/meminfo: memFree=124348464/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=26008 memory=10580 CPUtime=0.1 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 2318 0 0 0 10 0 0 0 20 0 1 0 192469947 26632192 2645 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 6502 2645 922 2726 0 3250 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26008 KiB
Current children cumulated memory: 10580 KiB
[startup+0.213546 s]*
/proc/loadavg: 1.09 1.09 1.09 5/244 1022405
/proc/meminfo: memFree=124327876/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=30104 memory=14680 CPUtime=0.21 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 2835 0 0 0 20 1 0 0 20 0 1 0 192469947 30826496 3670 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 7526 3670 922 2726 0 4274 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30104 KiB
Current children cumulated memory: 14680 KiB
[startup+0.314029 s]*
/proc/loadavg: 1.09 1.09 1.09 5/244 1022405
/proc/meminfo: memFree=124270144/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=58640 memory=43172 CPUtime=0.31 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 9282 0 0 0 27 4 0 0 20 0 1 0 192469947 60047360 10793 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 14660 10793 954 2726 0 11408 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 58640 KiB
Current children cumulated memory: 43172 KiB
[startup+0.70036 s]
/proc/loadavg: 1.41 1.15 1.11 5/244 1022405
/proc/meminfo: memFree=124245232/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=71180 memory=56072 CPUtime=0.68 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 13588 0 0 0 63 5 0 0 20 0 1 0 192469947 72888320 14018 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 17795 14018 1034 2726 0 14543 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 71180 KiB
Current children cumulated memory: 56072 KiB
[startup+1.50035 s]
/proc/loadavg: 1.41 1.15 1.11 5/244 1022405
/proc/meminfo: memFree=124143224/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=211000 memory=200144 CPUtime=1.48 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 48136 0 0 0 136 12 0 0 20 0 1 0 192469947 216064000 50036 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 52750 50036 2634 2726 0 49498 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 211000 KiB
Current children cumulated memory: 200144 KiB
[startup+3.11219 s]
/proc/loadavg: 1.41 1.15 1.11 5/244 1022405
/proc/meminfo: memFree=123818964/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=421448 memory=394476 CPUtime=3.09 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 86201 0 0 0 289 20 0 0 20 0 1 0 192469947 431562752 98619 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 105362 98619 2746 2726 0 102110 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 421448 KiB
Current children cumulated memory: 394476 KiB
[startup+6.30029 s]
/proc/loadavg: 1.62 1.20 1.13 5/244 1022405
/proc/meminfo: memFree=123779932/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=421448 memory=394476 CPUtime=6.26 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 86206 0 0 0 606 20 0 0 20 0 1 0 192469947 431562752 98619 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 105362 98619 2746 2726 0 102110 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 421448 KiB
Current children cumulated memory: 394476 KiB
[startup+12.7003 s]
/proc/loadavg: 1.81 1.25 1.14 5/244 1022407
/proc/meminfo: memFree=123733584/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=451744 memory=403116 CPUtime=12.65 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 87896 0 0 0 1244 21 0 0 20 0 1 0 192469947 462585856 100779 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 112936 100779 2778 2726 0 109684 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 451744 KiB
Current children cumulated memory: 403116 KiB
[startup+25.5003 s]
/proc/loadavg: 2.22 1.35 1.18 5/244 1022408
/proc/meminfo: memFree=123601340/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=535628 memory=474912 CPUtime=25.41 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 105864 0 0 0 2518 23 0 0 20 0 1 0 192469947 548483072 118728 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 133907 118728 2778 2726 0 130655 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 535628 KiB
Current children cumulated memory: 474912 KiB
[startup+51.1131 s]
/proc/loadavg: 2.93 1.61 1.27 5/244 1022414
/proc/meminfo: memFree=123487968/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=583968 memory=519636 CPUtime=50.95 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 121141 0 0 0 5069 26 0 0 20 0 1 0 192469947 597983232 129909 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 145992 129909 2778 2726 0 142740 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 583968 KiB
Current children cumulated memory: 519636 KiB
[startup+102.3 s]
/proc/loadavg: 3.58 1.99 1.42 5/243 1022423
/proc/meminfo: memFree=123330136/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=600856 memory=537252 CPUtime=101.99 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 142260 0 0 0 10170 29 0 0 20 0 1 0 192469947 615276544 134313 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 150214 134313 2778 2726 0 146962 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 600856 KiB
Current children cumulated memory: 537252 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.38 1.59 5/243 1022434
/proc/meminfo: memFree=123142344/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=634376 memory=571440 CPUtime=161.81 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 182513 0 0 0 16144 37 0 0 20 0 1 0 192469947 649601024 142860 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 158594 142860 2778 2726 0 155342 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 634376 KiB
Current children cumulated memory: 571440 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 2.72 1.76 5/242 1022536
/proc/meminfo: memFree=123093112/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=694264 memory=615336 CPUtime=221.63 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 202517 0 0 0 22122 41 0 0 20 0 1 0 192469947 710926336 153834 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 173566 153834 2778 2726 0 170314 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 694264 KiB
Current children cumulated memory: 615336 KiB
[startup+282.3 s]
/proc/loadavg: 4.33 3.02 1.92 5/241 1022548
/proc/meminfo: memFree=122954844/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=678808 memory=601128 CPUtime=281.44 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 203554 0 0 0 28102 42 0 0 20 0 1 0 192469947 695099392 150282 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 169702 150282 2778 2726 0 166450 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 678808 KiB
Current children cumulated memory: 601128 KiB
[startup+342.3 s]
/proc/loadavg: 4.60 3.35 2.11 5/241 1022558
/proc/meminfo: memFree=122836788/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=678808 memory=601360 CPUtime=341.26 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 225852 0 0 0 34080 46 0 0 20 0 1 0 192469947 695099392 150340 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 169702 150340 2778 2726 0 166450 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 678808 KiB
Current children cumulated memory: 601360 KiB
[startup+402.3 s]
/proc/loadavg: 4.34 3.50 2.24 6/241 1022568
/proc/meminfo: memFree=122691924/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=698852 memory=609608 CPUtime=401.08 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 226417 0 0 0 40062 46 0 0 20 0 1 0 192469947 715624448 152402 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 174713 152402 2778 2726 0 171461 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 698852 KiB
Current children cumulated memory: 609608 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 3.63 2.36 5/241 1022579
/proc/meminfo: memFree=122587932/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=736048 memory=616328 CPUtime=460.91 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 227162 0 0 0 46044 47 0 0 20 0 1 0 192469947 753713152 154082 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 184012 154082 2778 2726 0 180760 0
################
# More data... #
################
/proc/loadavg: 4.10 4.09 3.95 5/242 1023514
/proc/meminfo: memFree=122148676/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=1103560 memory=1095628 CPUtime=2495.39 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 476243 0 0 0 249382 157 0 0 20 0 1 0 192469947 1130045440 273907 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 275890 273907 2826 2726 0 272638 0
Current children cumulated CPU time: 2495.39 s
Current children cumulated vsize: 1103560 KiB
Current children cumulated memory: 1095628 KiB
[startup+2562.3 s]
/proc/loadavg: 4.16 4.10 3.97 5/242 1023525
/proc/meminfo: memFree=122321668/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=929244 memory=921396 CPUtime=2555.25 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 478041 0 0 0 255357 168 0 0 20 0 1 0 192469947 951545856 230349 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 232311 230349 2826 2726 0 229059 0
Current children cumulated CPU time: 2555.25 s
Current children cumulated vsize: 929244 KiB
Current children cumulated memory: 921396 KiB
[startup+2622.3 s]
/proc/loadavg: 4.11 4.10 3.98 5/241 1023535
/proc/meminfo: memFree=122317632/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=929244 memory=921396 CPUtime=2615.09 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 479682 0 0 0 261331 178 0 0 20 0 1 0 192469947 951545856 230349 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 232311 230349 2826 2726 0 229059 0
Current children cumulated CPU time: 2615.09 s
Current children cumulated vsize: 929244 KiB
Current children cumulated memory: 921396 KiB
[startup+2682.3 s]
/proc/loadavg: 4.08 4.09 3.99 5/241 1023546
/proc/meminfo: memFree=122316404/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=929244 memory=921396 CPUtime=2674.93 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 482186 0 0 0 267304 189 0 0 20 0 1 0 192469947 951545856 230349 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 232311 230349 2826 2726 0 229059 0
Current children cumulated CPU time: 2674.93 s
Current children cumulated vsize: 929244 KiB
Current children cumulated memory: 921396 KiB
[startup+2742.3 s]
/proc/loadavg: 4.06 4.08 4.00 5/241 1023556
/proc/meminfo: memFree=122317880/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=929244 memory=921396 CPUtime=2734.78 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 483773 0 0 0 273277 201 0 0 20 0 1 0 192469947 951545856 230349 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 232311 230349 2826 2726 0 229059 0
Current children cumulated CPU time: 2734.78 s
Current children cumulated vsize: 929244 KiB
Current children cumulated memory: 921396 KiB
[startup+2802.3 s]
/proc/loadavg: 4.07 4.08 4.00 5/241 1023567
/proc/meminfo: memFree=122098920/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=1141008 memory=1133160 CPUtime=2794.62 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 488544 0 0 0 279237 225 0 0 20 0 1 0 192469947 1168392192 283290 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 285252 283290 2826 2726 0 282000 0
Current children cumulated CPU time: 2794.62 s
Current children cumulated vsize: 1141008 KiB
Current children cumulated memory: 1133160 KiB
[startup+2862.3 s]
/proc/loadavg: 4.75 4.26 4.07 5/244 1023583
/proc/meminfo: memFree=122081348/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=1156108 memory=1148316 CPUtime=2854.46 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 492832 0 0 0 285195 251 0 0 20 0 1 0 192469947 1183854592 287079 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 289027 287079 2826 2726 0 285775 0
Current children cumulated CPU time: 2854.46 s
Current children cumulated vsize: 1156108 KiB
Current children cumulated memory: 1148316 KiB
[startup+2902.82 s]
# the end of solver process 1022399 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=2892.23 s, system=2.65261 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2867.2 s]
/proc/loadavg: 4.77 4.27 4.07 5/244 1023584
/proc/meminfo: memFree=122054420/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=1156108 memory=1148316 CPUtime=2859.35 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 492832 0 0 0 285684 251 0 0 20 0 1 0 192469947 1183854592 287079 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 289027 287079 2826 2726 0 285775 0
Current children cumulated CPU time: 2859.35 s
Current children cumulated vsize: 1156108 KiB
Current children cumulated memory: 1148316 KiB
[startup+2880 s]*
/proc/loadavg: 4.80 4.29 4.08 5/244 1023587
/proc/meminfo: memFree=122081460/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=1157228 memory=1149436 CPUtime=2872.12 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 493758 0 0 0 286957 255 0 0 20 0 1 0 192469947 1185001472 287359 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 289307 287359 2826 2726 0 286055 0
Current children cumulated CPU time: 2872.12 s
Current children cumulated vsize: 1157228 KiB
Current children cumulated memory: 1149436 KiB
[startup+2892.8 s]
/proc/loadavg: 4.62 4.28 4.08 5/244 1023588
/proc/meminfo: memFree=122078668/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=1160360 memory=1152568 CPUtime=2884.88 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 494489 0 0 0 288228 260 0 0 20 0 1 0 192469947 1188208640 288142 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 290090 288142 2826 2726 0 286838 0
Current children cumulated CPU time: 2884.88 s
Current children cumulated vsize: 1160360 KiB
Current children cumulated memory: 1152568 KiB
[startup+2899.2 s]
/proc/loadavg: 4.57 4.27 4.08 5/244 1023590
/proc/meminfo: memFree=122051076/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=1160360 memory=1152568 CPUtime=2891.27 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 494529 0 0 0 288867 260 0 0 20 0 1 0 192469947 1188208640 288142 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 290090 288142 2826 2726 0 286838 0
Current children cumulated CPU time: 2891.27 s
Current children cumulated vsize: 1160360 KiB
Current children cumulated memory: 1152568 KiB
[startup+2900.8 s]
/proc/loadavg: 4.57 4.27 4.08 5/244 1023590
/proc/meminfo: memFree=122051076/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=1390592 memory=1382780 CPUtime=2892.86 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 495366 0 0 0 289022 264 0 0 20 0 1 0 192469947 1423966208 345695 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 347648 345695 2826 2726 0 344396 0
Current children cumulated CPU time: 2892.86 s
Current children cumulated vsize: 1390592 KiB
Current children cumulated memory: 1382780 KiB
[startup+2901.6 s]
/proc/loadavg: 4.53 4.27 4.08 5/244 1023590
/proc/meminfo: memFree=121820916/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=1159476 memory=1151684 CPUtime=2893.66 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 495366 0 0 0 289102 264 0 0 20 0 1 0 192469947 1187303424 287921 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 289869 287921 2826 2726 0 286617 0
Current children cumulated CPU time: 2893.66 s
Current children cumulated vsize: 1159476 KiB
Current children cumulated memory: 1151684 KiB
[startup+2902.4 s]
/proc/loadavg: 4.53 4.27 4.08 5/244 1023590
/proc/meminfo: memFree=122052136/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=1159476 memory=1151684 CPUtime=2894.45 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 495366 0 0 0 289181 264 0 0 20 0 1 0 192469947 1187303424 287921 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 289869 287921 2826 2726 0 286617 0
Current children cumulated CPU time: 2894.45 s
Current children cumulated vsize: 1159476 KiB
Current children cumulated memory: 1151684 KiB
[startup+2902.8 s]
/proc/loadavg: 4.53 4.27 4.08 5/244 1023590
/proc/meminfo: memFree=122052136/131655788 swapFree=131071996/131071996
[pid=1022399] ppid=1022395 vsize=1159476 memory=1151684 CPUtime=2894.85 cores=1,3
/proc/1022399/stat : 1022399 (CASHWMaxSAT-Dis) R 1022395 1022399 1020457 0 -1 4194304 495366 0 0 0 289221 264 0 0 20 0 1 0 192469947 1187303424 287921 134679101440 4194304 15356333 140730595402944 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 28897280 140730595406817 140730595406933 140730595406933 140730595413950 0
/proc/1022399/statm: 289869 287921 2826 2726 0 286617 0
Current children cumulated CPU time: 2894.85 s
Current children cumulated vsize: 1159476 KiB
Current children cumulated memory: 1151684 KiB
Child status: 30
Real time (s): 2902.82
CPU time (s): 2894.89
CPU user time (s): 2892.23
CPU system time (s): 2.65261
CPU usage (%): 99.7267
Max. virtual memory (cumulated for all children) (KiB): 1390592
Max. memory (cumulated for all children) (KiB): 1382780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2892.23
system time used= 2.65261
maximum resident set size= 1382780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 495366
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= 99
involuntary context switches= 1707
# summary of solver processes directly reported to runsolver:
# pid: 1022399
# total CPU time (s): 2894.89
# total CPU user time (s): 2892.23
# total CPU system time (s): 2.65261
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9879 second user time and 28.7855 second system time
The end
Begin job on nodeC005 at 2024-07-19 17:32:03 IDJOB=4449878 IDBENCH=176150 IDSOLVER=3074 FILE ID=nodeC005/4449878-1721403112 RUNJOBID= nodeC005-1721403123-1022344 SLURM_JOB_ID= 7545434 Free space on /tmp= 723756 MiB SOLVER NAME= CASHWMaxSAT-DisjCad-SP 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-SP BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449878-1721403112/watcher-4449878-1721403112 -o /tmp/evaluation-result-4449878-1721403112/solver-4449878-1721403112 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721403123-1022344 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4449878-1721403112.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9b7954cd6dc14b590c17dd19cf5c91cb RANDOM SEED=1585193454 nodeC005.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 : 0xb00001f cpu MHz : 1197.177 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 invpcid_single pti 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 : 6983.53 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.176 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 invpcid_single pti 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 : 6983.35 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.218 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 invpcid_single pti 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 : 6983.53 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.345 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 invpcid_single pti 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 : 6983.35 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.245 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 invpcid_single pti 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 : 6983.53 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.240 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 invpcid_single pti 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 : 6983.35 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.176 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 invpcid_single pti 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 : 6983.53 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.177 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 invpcid_single pti 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 : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 124386328 kB MemAvailable: 129851648 kB Buffers: 523124 kB Cached: 5724364 kB SwapCached: 0 kB Active: 1105068 kB Inactive: 5467656 kB Active(anon): 3368 kB Inactive(anon): 367756 kB Active(file): 1101700 kB Inactive(file): 5099900 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 59284 kB Writeback: 12 kB AnonPages: 324464 kB Mapped: 108188 kB Shmem: 45896 kB KReclaimable: 207840 kB Slab: 326420 kB SReclaimable: 207840 kB SUnreclaim: 118580 kB KernelStack: 3616 kB PageTables: 10036 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 744772 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 60832 kB HardwareCorrupted: 0 kB AnonHugePages: 200704 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: 285512 kB DirectMap2M: 36319232 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 723724 MiB End job on nodeC005 at 2024-07-19 18:20:26