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 | SAT (TO) | 9 | 3600.06 | 3610.6 |
| Name | PB24/normalized-PB11/OPT-LIN/heinz/ normalized-neos-1620770.opb |
| MD5SUM | ea40b84df91c60f1b4d71ba03d843a27 |
| 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 | 9 |
| Best CPU time to get the best result obtained on this benchmark | 374.616 |
| 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 | 792 |
| Total number of constraints | 9296 |
| Number of constraints which are clauses | 9261 |
| Number of constraints which are cardinality constraints (but not clauses) | 35 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 22 |
| Number of terms in the objective function | 22 |
| 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 | 22 |
| Number of bits of the sum of numbers in the objective function | 5 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 23 |
| 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.00/0.06 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.00/0.06 o 22 0.00/0.06 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.00/0.07 c Starting SCIP solver (with time-limit = 1800s) ... 1794.56/1800.07 c SCIP timeout with lower and upper bounds: [7, 9] 1795.04/1800.56 o 9 3600.04/3610.60 3600.04/3610.60 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -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 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 3600.04/3610.60 s SATISFIABLE
OK 9
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 (59552 MiB free)
memory of node 1: 64473 MiB (61203 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438874-1721226697/watcher-4438874-1721226697 -o /tmp/evaluation-result-4438874-1721226697/solver-4438874-1721226697 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721217567-904289 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438874-1721226697.opb -total-t=3600 -no-par -v0
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=911178, runsolver pid=911175
[startup+0.100107 s]*
/proc/loadavg: 4.39 4.25 4.20 5/246 911179
/proc/meminfo: memFree=123620600/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=50432 memory=40640 CPUtime=0.1 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 8255 0 0 0 9 1 0 0 20 0 1 0 174828496 51642368 10160 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 12608 10160 2634 2726 0 9356 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50432 KiB
Current children cumulated memory: 40640 KiB
[startup+0.213279 s]*
/proc/loadavg: 4.39 4.25 4.20 5/246 911179
/proc/meminfo: memFree=123600848/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=62364 memory=52640 CPUtime=0.22 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 11236 0 0 0 20 2 0 0 20 0 1 0 174828496 63860736 13160 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 15591 13160 2666 2726 0 12339 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 62364 KiB
Current children cumulated memory: 52640 KiB
[startup+0.313113 s]*
/proc/loadavg: 4.39 4.25 4.20 5/246 911179
/proc/meminfo: memFree=123593192/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=63364 memory=53432 CPUtime=0.32 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 11452 0 0 0 30 2 0 0 20 0 1 0 174828496 64884736 13358 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 15841 13358 2666 2726 0 12589 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 63364 KiB
Current children cumulated memory: 53432 KiB
[startup+0.700331 s]
/proc/loadavg: 4.39 4.25 4.20 5/246 911179
/proc/meminfo: memFree=123581132/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=64332 memory=54488 CPUtime=0.69 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 11695 0 0 0 67 2 0 0 20 0 1 0 174828496 65875968 13622 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 16083 13622 2666 2726 0 12831 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 64332 KiB
Current children cumulated memory: 54488 KiB
[startup+1.50034 s]
/proc/loadavg: 4.39 4.25 4.20 5/246 911179
/proc/meminfo: memFree=123481016/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=97136 memory=85284 CPUtime=1.48 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 19711 0 0 0 145 3 0 0 20 0 1 0 174828496 99467264 21321 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 24284 21321 2762 2726 0 21032 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 97136 KiB
Current children cumulated memory: 85284 KiB
[startup+3.11262 s]
/proc/loadavg: 4.39 4.25 4.20 5/246 911181
/proc/meminfo: memFree=123335576/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=105968 memory=94016 CPUtime=3.1 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 21907 0 0 0 306 4 0 0 20 0 1 0 174828496 108511232 23504 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 26492 23504 2778 2726 0 23240 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 105968 KiB
Current children cumulated memory: 94016 KiB
[startup+6.30031 s]
/proc/loadavg: 4.36 4.24 4.20 5/246 911181
/proc/meminfo: memFree=122950596/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=145684 memory=129356 CPUtime=6.27 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 30756 0 0 0 622 5 0 0 20 0 1 0 174828496 149180416 32339 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 36421 32339 2778 2726 0 33169 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 145684 KiB
Current children cumulated memory: 129356 KiB
[startup+12.7003 s]
/proc/loadavg: 4.41 4.26 4.20 5/241 911238
/proc/meminfo: memFree=123421784/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=171096 memory=154964 CPUtime=12.65 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 37102 0 0 0 1259 6 0 0 20 0 1 0 174828496 175202304 38741 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 42774 38741 2778 2726 0 39522 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 171096 KiB
Current children cumulated memory: 154964 KiB
[startup+25.5003 s]
/proc/loadavg: 4.54 4.29 4.22 5/247 911277
/proc/meminfo: memFree=119048872/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=181112 memory=164468 CPUtime=25.42 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 39531 0 0 0 2534 8 0 0 20 0 1 0 174828496 185458688 41117 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 45278 41117 2778 2726 0 42026 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 181112 KiB
Current children cumulated memory: 164468 KiB
[startup+51.113 s]
/proc/loadavg: 4.60 4.33 4.23 5/247 911281
/proc/meminfo: memFree=118016388/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=204248 memory=185884 CPUtime=50.92 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 44363 0 0 0 5079 13 0 0 20 0 1 0 174828496 209149952 46471 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 51062 46471 2778 2726 0 47810 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 204248 KiB
Current children cumulated memory: 185884 KiB
[startup+102.3 s]
/proc/loadavg: 4.31 4.30 4.22 5/247 911291
/proc/meminfo: memFree=118330724/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=210880 memory=194740 CPUtime=101.96 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 45863 0 0 0 10181 15 0 0 20 0 1 0 174828496 215941120 48685 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 52720 48685 3063 2726 0 49468 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 210880 KiB
Current children cumulated memory: 194740 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.25 4.21 5/246 911302
/proc/meminfo: memFree=113692848/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=253028 memory=235548 CPUtime=161.78 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 58323 0 0 0 16161 17 0 0 20 0 1 0 174828496 259100672 58887 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 63257 58887 3063 2726 0 60005 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 253028 KiB
Current children cumulated memory: 235548 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.24 4.20 5/242 911312
/proc/meminfo: memFree=112940208/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=264576 memory=244260 CPUtime=221.61 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 60541 0 0 0 22143 18 0 0 20 0 1 0 174828496 270925824 61065 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 66144 61065 3063 2726 0 62892 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 264576 KiB
Current children cumulated memory: 244260 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.21 4.19 5/242 911323
/proc/meminfo: memFree=112683336/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=273520 memory=255876 CPUtime=281.43 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 63403 0 0 0 28124 19 0 0 20 0 1 0 174828496 280084480 63969 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 68380 63969 3063 2726 0 65128 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 273520 KiB
Current children cumulated memory: 255876 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.20 4.19 5/241 911333
/proc/meminfo: memFree=112483768/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=299836 memory=282540 CPUtime=341.26 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 70108 0 0 0 34104 22 0 0 20 0 1 0 174828496 307032064 70635 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 74959 70635 3063 2726 0 71707 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 299836 KiB
Current children cumulated memory: 282540 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.18 4.18 5/241 911343
/proc/meminfo: memFree=112279584/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=325068 memory=306564 CPUtime=401.08 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 76082 0 0 0 40084 24 0 0 20 0 1 0 174828496 332869632 76641 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 81267 76641 3063 2726 0 78015 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 325068 KiB
Current children cumulated memory: 306564 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/241 911354
/proc/meminfo: memFree=111437500/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=353840 memory=335076 CPUtime=460.9 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 83199 0 0 0 46063 27 0 0 20 0 1 0 174828496 362332160 83769 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 88460 83769 3063 2726 0 85208 0
################
# More data... #
################
Current children cumulated memory: 903788 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.14 4.18 5/241 912357
/proc/meminfo: memFree=94617140/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=910232 memory=903788 CPUtime=2853.91 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 258834 0 0 0 285297 94 0 0 20 0 1 0 174828496 932077568 225947 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 227558 225947 3111 2726 0 224306 0
Current children cumulated CPU time: 2853.91 s
Current children cumulated vsize: 910232 KiB
Current children cumulated memory: 903788 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.14 4.18 5/242 912368
/proc/meminfo: memFree=94165796/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=910232 memory=903788 CPUtime=2913.74 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 258882 0 0 0 291280 94 0 0 20 0 1 0 174828496 932077568 225947 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 227558 225947 3111 2726 0 224306 0
Current children cumulated CPU time: 2913.74 s
Current children cumulated vsize: 910232 KiB
Current children cumulated memory: 903788 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.13 4.17 5/244 912382
/proc/meminfo: memFree=94592384/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=910232 memory=903788 CPUtime=2973.56 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 258927 0 0 0 297262 94 0 0 20 0 1 0 174828496 932077568 225947 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 227558 225947 3111 2726 0 224306 0
Current children cumulated CPU time: 2973.56 s
Current children cumulated vsize: 910232 KiB
Current children cumulated memory: 903788 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.14 4.17 5/244 912393
/proc/meminfo: memFree=94606640/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=910232 memory=903788 CPUtime=3033.39 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 258972 0 0 0 303245 94 0 0 20 0 1 0 174828496 932077568 225947 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 227558 225947 3111 2726 0 224306 0
Current children cumulated CPU time: 3033.39 s
Current children cumulated vsize: 910232 KiB
Current children cumulated memory: 903788 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.14 4.17 5/244 912404
/proc/meminfo: memFree=94610388/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=910232 memory=903788 CPUtime=3093.21 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 259017 0 0 0 309227 94 0 0 20 0 1 0 174828496 932077568 225947 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 227558 225947 3111 2726 0 224306 0
Current children cumulated CPU time: 3093.21 s
Current children cumulated vsize: 910232 KiB
Current children cumulated memory: 903788 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.13 4.17 5/244 912415
/proc/meminfo: memFree=94622536/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=910232 memory=903788 CPUtime=3153.03 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 259066 0 0 0 315209 94 0 0 20 0 1 0 174828496 932077568 225947 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 227558 225947 3111 2726 0 224306 0
Current children cumulated CPU time: 3153.03 s
Current children cumulated vsize: 910232 KiB
Current children cumulated memory: 903788 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/243 912425
/proc/meminfo: memFree=94766472/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=910232 memory=903788 CPUtime=3212.87 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 259122 0 0 0 321192 95 0 0 20 0 1 0 174828496 932077568 225947 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 227558 225947 3111 2726 0 224306 0
Current children cumulated CPU time: 3212.87 s
Current children cumulated vsize: 910232 KiB
Current children cumulated memory: 903788 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.16 5/243 912820
/proc/meminfo: memFree=94697536/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=910232 memory=903788 CPUtime=3272.69 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 259180 0 0 0 327174 95 0 0 20 0 1 0 174828496 932077568 225947 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 227558 225947 3111 2726 0 224306 0
Current children cumulated CPU time: 3272.69 s
Current children cumulated vsize: 910232 KiB
Current children cumulated memory: 903788 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.16 5/243 912830
/proc/meminfo: memFree=94708548/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=910232 memory=903788 CPUtime=3332.52 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 259235 0 0 0 333157 95 0 0 20 0 1 0 174828496 932077568 225947 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 227558 225947 3111 2726 0 224306 0
Current children cumulated CPU time: 3332.52 s
Current children cumulated vsize: 910232 KiB
Current children cumulated memory: 903788 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.16 5/243 912840
/proc/meminfo: memFree=94700148/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=910232 memory=903788 CPUtime=3392.35 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 259289 0 0 0 339140 95 0 0 20 0 1 0 174828496 932077568 225947 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 227558 225947 3111 2726 0 224306 0
Current children cumulated CPU time: 3392.35 s
Current children cumulated vsize: 910232 KiB
Current children cumulated memory: 903788 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.15 5/244 913020
/proc/meminfo: memFree=94649028/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=910232 memory=903788 CPUtime=3452.17 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 259342 0 0 0 345122 95 0 0 20 0 1 0 174828496 932077568 225947 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 227558 225947 3111 2726 0 224306 0
Current children cumulated CPU time: 3452.17 s
Current children cumulated vsize: 910232 KiB
Current children cumulated memory: 903788 KiB
[startup+3522.3 s]
/proc/loadavg: 4.40 4.17 4.17 5/247 913089
/proc/meminfo: memFree=94213404/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=910232 memory=903788 CPUtime=3512 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 259395 0 0 0 351105 95 0 0 20 0 1 0 174828496 932077568 225947 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 227558 225947 3111 2726 0 224306 0
Current children cumulated CPU time: 3512 s
Current children cumulated vsize: 910232 KiB
Current children cumulated memory: 903788 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.15 4.16 5/245 913099
/proc/meminfo: memFree=94491008/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=910232 memory=903788 CPUtime=3571.82 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 259450 0 0 0 357087 95 0 0 20 0 1 0 174828496 932077568 225947 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 227558 225947 3111 2726 0 224306 0
Current children cumulated CPU time: 3571.82 s
Current children cumulated vsize: 910232 KiB
Current children cumulated memory: 903788 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.20 4.16 4.16 5/243 913116
/proc/meminfo: memFree=116630848/131655788 swapFree=131071996/131071996
[pid=911178] ppid=911175 vsize=910232 memory=903788 CPUtime=3600.04 cores=4,6
/proc/911178/stat : 911178 (CASHWMaxSAT-Dis) R 911175 911178 904278 0 -1 4194304 259492 0 0 0 359909 95 0 0 20 0 1 0 174828496 932077568 225947 134679101440 4194304 15356333 140734513688352 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32890880 140734513689570 140734513689686 140734513689686 140734513696702 0
/proc/911178/statm: 227558 225947 3111 2726 0 224306 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 910232 KiB
Current children cumulated memory: 903788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.6 s]
# the end of solver process 911178 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.1 s, system=0.959651 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.6
CPU time (s): 3600.06
CPU user time (s): 3599.1
CPU system time (s): 0.959651
CPU usage (%): 99.7079
Max. virtual memory (cumulated for all children) (KiB): 989556
Max. memory (cumulated for all children) (KiB): 974312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.1
system time used= 0.959651
maximum resident set size= 974312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259493
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= 64
involuntary context switches= 3402
# summary of solver processes directly reported to runsolver:
# pid: 911178
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.1
# total CPU system time (s): 0.959651
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2943 second user time and 32.3562 second system time
The end
Begin job on nodeC005 at 2024-07-17 16:31:49 IDJOB=4438874 IDBENCH=155341 IDSOLVER=3074 FILE ID=nodeC005/4438874-1721226697 RUNJOBID= nodeC005-1721217567-904289 SLURM_JOB_ID= 7508932 Free space on /tmp= 723500 MiB SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10 BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-1620770.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-4438874-1721226697/watcher-4438874-1721226697 -o /tmp/evaluation-result-4438874-1721226697/solver-4438874-1721226697 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721217567-904289 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438874-1721226697.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ea40b84df91c60f1b4d71ba03d843a27 RANDOM SEED=2118222037 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 : 3610.650 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 : 3540.829 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.194 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.386 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 : 3491.783 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 : 3662.310 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.179 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.197 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: 123656688 kB MemAvailable: 129052044 kB Buffers: 441576 kB Cached: 5729160 kB SwapCached: 0 kB Active: 934060 kB Inactive: 6379868 kB Active(anon): 3440 kB Inactive(anon): 1177448 kB Active(file): 930620 kB Inactive(file): 5202420 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 268596 kB Writeback: 0 kB AnonPages: 1142224 kB Mapped: 131128 kB Shmem: 37704 kB KReclaimable: 205032 kB Slab: 319496 kB SReclaimable: 205032 kB SUnreclaim: 114464 kB KernelStack: 3904 kB PageTables: 11608 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1590412 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 55936 kB HardwareCorrupted: 0 kB AnonHugePages: 380928 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= 723480 MiB End job on nodeC005 at 2024-07-17 17:32:00