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.07 | 3613.5 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:98.opb |
| MD5SUM | f3472af25f5f0fee0e9203b0329f534f |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 0.109237 |
| 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 | 906 |
| Total number of constraints | 1039 |
| Number of constraints which are clauses | 852 |
| Number of constraints which are cardinality constraints (but not clauses) | 187 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 906 |
| Biggest coefficient in the objective function | 553 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 2526 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 553 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2526 |
| Number of bits of the biggest sum of numbers | 12 |
| 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.02 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.00/0.02 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.00/0.03 c Starting SCIP solver (with time-limit = 1800s) ... 1794.14/1800.03 c SCIP timeout with lower and upper bounds: [338, 563] 1794.14/1800.10 o 10 3188.12/3199.98 o 9 3600.06/3613.50 3600.06/3613.50 v -x786 x741 x421 x83 x861 -x745 x419 x860 -x785 -x502 -x308 x86 -x789 x420 x87 -x64 x862 -x505 -x425 -x355 x307 -x63 x864 -x790 -x574 -x506 x65 -x573 -x479 -x442 -x354 x313 x66 -x28 x865 -x575 x478 -x311 -x103 x67 -x867 -x811 -x576 x480 -x441 x360 -x263 -x186 -x102 x74 -x27 -x868 -x815 x577 x483 -x358 -x312 -x191 -x108 x68 -x31 -x698 -x584 x482 -x447 -x400 -x316 -x266 -x217 -x190 -x144 x107 x69 -x702 x578 x487 -x445 -x359 -x267 -x143 x109 -x70 -x32 -x3 x579 -x486 -x399 -x363 x193 -x167 -x145 x113 -x2 -x661 -x580 -x484 -x446 x194 x148 -x112 x8 -x660 -x595 x559 -x485 -x450 -x405 -x197 -x166 x147 -x110 x7 x662 -x599 x558 -x403 -x195 x152 -x111 -x9 x663 x560 -x333 -x196 x172 -x151 -x13 x664 x563 -x404 x170 -x149 -x12 x669 x562 -x408 -x336 -x150 -x10 x665 x564 -x337 x171 -x11 x740 x422 x82 x856 -x744 x855 -x787 -x501 x426 -x303 x88 -x791 -x424 x863 -x507 x350 x309 x866 x870 -x836 -x793 -x437 x356 x314 -x91 -x77 -x869 -x840 -x794 -x78 x810 -x587 -x510 -x443 x361 -x317 -x262 -x213 -x73 -x29 -x814 x588 x481 -x315 -x185 -x104 -x33 -x697 -x583 -x495 x448 -x395 x364 -x268 -x216 -x187 x105 -x71 -x701 -x491 x362 x192 x106 -x581 -x490 x451 -x401 x189 -x162 -x117 x35 x449 x198 x146 -x36 -x4 -x594 -x543 -x406 -x271 -x168 x160 x5 -x598 -x156 x6 -x672 -x409 -x332 x173 -x155 x17 x673 x561 -x407 x668 x572 -x467 -x338 x174 x568 x471 -x175 -x782 x742 -x497 x423 x84 -x746 x427 -x788 -x503 x89 x857 x792 -x302 x858 x796 -x748 -x508 -x304 -x92 -x76 x859 -x795 -x749 x349 x310 -x90 -x75 -x23 -x874 -x835 -x762 -x586 -x511 x351 x306 -x258 -x22 -x839 -x766 -x585 -x509 -x436 x357 -x318 x812 -x492 -x438 x353 -x264 -x212 x30 -x816 -x494 x444 x365 x34 -x699 x440 -x269 -x218 -x120 -x72 x38 -x703 x452 -x394 -x188 -x121 x37 -x818 -x582 -x539 -x488 -x396 -x272 x206 -x157 -x116 -x819 x402 -x270 x202 -x161 -x159 -x705 -x671 -x596 -x542 -x489 x398 -x328 -x221 x201 -x163 -x114 -x20 -x706 -x670 -x600 -x410 x169 x21 -x723 -x569 x334 x165 -x153 x16 -x727 -x571 x176 -x666 x602 -x466 x339 -x154 -x132 -x14 x603 x567 x470 x743 x435 x80 -x781 x747 -x496 -x431 x85 x783 -x751 -x498 -x430 x81 x784 -x750 x504 -x93 -x877 x800 x500 -x878 -x806 x512 x305 -x873 -x837 -x805 -x761 x326 x208 x841 -x765 -x693 -x493 x352 -x322 -x257 -x24 -x885 -x871 x813 -x692 x373 -x321 -x259 -x214 -x119 -x25 -x889 x817 -x439 -x369 x265 -x118 x26 -x843 x821 -x700 -x460 -x368 x261 -x219 -x203 x42 -x844 -x820 x704 -x590 -x456 -x273 -x205 -x158 -x708 x589 x538 -x455 -x222 -x19 -x707 -x397 -x220 -x18 -x597 -x544 -x418 -x199 -x115 x601 -x570 x414 -x327 x164 -x722 x605 x413 -x329 -x200 x184 -x128 -x726 x604 x335 x180 -x667 -x547 x468 x331 -x179 -x131 -x15 -x565 x472 x340 x904 x434 x79 -x876 x803 x755 -x428 x101 -x875 -x831 x804 x499 x97 -x830 -x799 x520 -x429 -x323 x96 x516 x325 x838 -x797 -x763 -x515 -x370 x842 -x807 -x767 x372 x207 -x884 -x872 -x846 x808 -x457 -x319 -x292 x209 -x45 x888 -x845 x809 -x694 -x459 -x260 -x215 -x204 x46 x825 -x769 -x695 -x534 -x384 -x366 -x320 -x281 x211 -x41 -x770 x696 -x277 x223 x712 -x620 x540 -x453 -x415 -x367 -x276 -x39 x624 x591 -x417 x592 x545 -x454 -x181 x593 -x462 x183 -x724 x609 -x548 x461 -x411 -x127 -x728 -x546 x330 x469 -x412 x348 -x177 -x133 -x566 x473 x344 x802 x432 x98 x801 x100 -x754 -x655 x517 -x757 x519 -x324 x756 -x752 -x522 x94 x832 x526 -x371 x833 -x798 -x764 -x513 -x288 -x250 -x95 -x44 x834 x768 -x458 -x43 -x886 -x850 x828 x772 -x514 -x380 -x291 -x278 x890 x829 x771 -x280 x210 -x824 -x715 x383 x231 x716 -x533 -x416 x227 -x892 -x822 -x711 -x642 x619 -x535 -x274 x226 -x40 -x893 -x718 -x646 x623 x541 -x182 x717 -x709 -x680 -x612 x537 -x275 -x123 -x56 -x684 x613 x549 -x725 -x608 -x345 x129 x729 x463 -x347 x730 -x606 x464 -x241 -x178 x134 -x731 x465 x343 -x905 x433 x99 -x518 x654 -x753 x521 -x246 -x880 x758 x525 -x879 -x853 -x827 x759 -x287 -x249 -x854 -x826 x760 -x279 x887 -x849 -x776 -x714 -x379 x293 -x228 x891 -x713 -x230 x895 -x847 x385 -x894 -x823 -x641 x621 -x611 -x296 x224 -x52 -x645 x625 -x610 x536 -x710 -x679 x557 -x388 -x225 -x55 x719 -x683 x553 -x346 -x122 x720 -x627 -x552 -x237 x124 x721 -x628 x130 x735 -x607 x476 -x240 x126 x477 x341 x135 x656 -x852 x523 -x283 x245 -x851 x527 -x779 -x658 -x375 -x289 -x251 x881 x780 -x229 x882 -x775 -x529 x381 x294 x883 -x615 -x530 x899 -x848 -x773 -x614 x386 x297 -x254 -x295 x643 x622 -x554 -x389 x51 x647 x626 -x556 -x387 -x681 x630 -x57 x685 x629 -x738 x649 -x550 -x475 -x236 -x739 x650 x474 x125 -x734 x687 -x551 -x242 x142 -x60 x688 -x342 x138 -x778 x659 x524 x247 -x777 x657 x528 -x282 -x532 -x284 -x252 -x531 x374 x290 x902 x376 x286 -x255 x903 -x637 x382 x298 -x253 -x898 -x774 -x636 x378 x49 -x675 -x616 -x555 x390 -x896 -x674 x644 x617 x53 x648 x618 -x737 -x682 x652 x633 -x234 x58 -x736 x686 x651 x690 -x238 x139 -x61 x689 x141 -x59 -x732 x243 x136 x248 x901 x906 x900 -x285 x256 x301 x377 x299 x393 x300 x638 x391 x48 -x897 x639 -x635 x392 x47 -x676 x640 x634 x54 x677 -x653 x631 x50 x678 -x233 -x140 -x62 x691 x632 -x232 -x239 -x733 x235 x244 x137 x1 3600.06/3613.50 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: 63931 MiB (59805 MiB free)
memory of node 1: 64510 MiB (59508 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438759-1721196474/watcher-4438759-1721196474 -o /tmp/evaluation-result-4438759-1721196474/solver-4438759-1721196474 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721194641-916624 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438759-1721196474.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=917646, runsolver pid=917643
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.13 4.26 3.72 5/255 917647
/proc/meminfo: memFree=122147012/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=50024 memory=40656 CPUtime=0.1 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 7890 0 0 0 9 1 0 0 20 0 1 0 171812743 51224576 10164 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 12506 10164 2650 2726 0 9254 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50024 KiB
Current children cumulated memory: 40656 KiB
[startup+0.205427 s]*
/proc/loadavg: 4.13 4.26 3.72 5/255 917649
/proc/meminfo: memFree=122146340/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=50640 memory=41184 CPUtime=0.2 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 8029 0 0 0 19 1 0 0 20 0 1 0 171812743 51855360 10296 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 12660 10296 2650 2726 0 9408 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50640 KiB
Current children cumulated memory: 41184 KiB
[startup+0.305335 s]*
/proc/loadavg: 4.13 4.26 3.72 5/255 917649
/proc/meminfo: memFree=122106512/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=66468 memory=54808 CPUtime=0.3 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 11428 0 0 0 29 1 0 0 20 0 1 0 171812743 68063232 13702 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 16617 13702 2650 2726 0 13365 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 66468 KiB
Current children cumulated memory: 54808 KiB
[startup+0.700192 s]
/proc/loadavg: 4.13 4.26 3.72 5/255 917649
/proc/meminfo: memFree=122090824/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=78024 memory=66048 CPUtime=0.69 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 14544 0 0 0 67 2 0 0 20 0 1 0 171812743 79896576 16512 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 19506 16512 2746 2726 0 16254 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 78024 KiB
Current children cumulated memory: 66048 KiB
[startup+1.50017 s]
/proc/loadavg: 4.13 4.26 3.72 5/255 917649
/proc/meminfo: memFree=122086700/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=78304 memory=66312 CPUtime=1.49 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 14638 0 0 0 147 2 0 0 20 0 1 0 171812743 80183296 16578 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 19576 16578 2746 2726 0 16324 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 78304 KiB
Current children cumulated memory: 66312 KiB
[startup+3.10526 s]
/proc/loadavg: 4.12 4.26 3.72 5/255 917649
/proc/meminfo: memFree=122086124/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=78304 memory=66312 CPUtime=3.09 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 14639 0 0 0 307 2 0 0 20 0 1 0 171812743 80183296 16578 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 19576 16578 2746 2726 0 16324 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 78304 KiB
Current children cumulated memory: 66312 KiB
[startup+6.30018 s]
/proc/loadavg: 4.12 4.26 3.72 5/255 917649
/proc/meminfo: memFree=121990716/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=180276 memory=162664 CPUtime=6.27 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 38955 0 0 0 622 5 0 0 20 0 1 0 171812743 184602624 40666 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 45069 40666 2762 2726 0 41817 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 180276 KiB
Current children cumulated memory: 162664 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.25 3.72 5/255 917650
/proc/meminfo: memFree=121970908/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=203908 memory=181408 CPUtime=12.65 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 43630 0 0 0 1258 7 0 0 20 0 1 0 171812743 208801792 45352 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 50977 45352 2762 2726 0 47725 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 203908 KiB
Current children cumulated memory: 181408 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.24 3.73 5/255 917652
/proc/meminfo: memFree=122038148/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=208632 memory=181936 CPUtime=25.41 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 43747 0 0 0 2533 8 0 0 20 0 1 0 171812743 213639168 45484 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 52158 45484 2762 2726 0 48906 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 208632 KiB
Current children cumulated memory: 181936 KiB
[startup+51.1054 s]
/proc/loadavg: 4.05 4.22 3.73 5/255 917656
/proc/meminfo: memFree=122021432/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=218076 memory=191356 CPUtime=50.92 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 47773 0 0 0 5081 11 0 0 20 0 1 0 171812743 223309824 47839 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 54519 47839 2762 2726 0 51267 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 218076 KiB
Current children cumulated memory: 191356 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.19 3.76 5/255 917665
/proc/meminfo: memFree=121949988/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=263668 memory=229492 CPUtime=101.95 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 59301 0 0 0 10179 16 0 0 20 0 1 0 171812743 269996032 57373 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 65917 57373 2762 2726 0 62665 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 263668 KiB
Current children cumulated memory: 229492 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.19 3.78 5/257 917681
/proc/meminfo: memFree=121868780/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=273108 memory=241164 CPUtime=161.74 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 65212 0 0 0 16157 17 0 0 20 0 1 0 171812743 279662592 60291 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 68277 60291 2762 2726 0 65025 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 273108 KiB
Current children cumulated memory: 241164 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.17 3.81 5/257 917691
/proc/meminfo: memFree=121890168/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=282504 memory=271292 CPUtime=221.53 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 69311 0 0 0 22135 18 0 0 20 0 1 0 171812743 289284096 67823 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 70626 67823 2762 2726 0 67374 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 282504 KiB
Current children cumulated memory: 271292 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.17 3.83 5/257 917701
/proc/meminfo: memFree=121556952/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=282156 memory=272832 CPUtime=281.34 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 69427 0 0 0 28116 18 0 0 20 0 1 0 171812743 288927744 68208 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 70539 68208 2762 2726 0 67287 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 282156 KiB
Current children cumulated memory: 272832 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.15 3.85 5/257 917712
/proc/meminfo: memFree=121551976/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=287628 memory=272996 CPUtime=341.15 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 71666 0 0 0 34096 19 0 0 20 0 1 0 171812743 294531072 68249 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 71907 68249 2762 2726 0 68655 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 287628 KiB
Current children cumulated memory: 272996 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.13 3.87 5/257 917723
/proc/meminfo: memFree=121680904/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=303896 memory=283760 CPUtime=400.95 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 74577 0 0 0 40076 19 0 0 20 0 1 0 171812743 311189504 70940 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 75974 70940 2762 2726 0 72722 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 303896 KiB
Current children cumulated memory: 283760 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.12 3.88 5/254 917733
/proc/meminfo: memFree=121555336/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=303896 memory=283800 CPUtime=460.76 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 74655 0 0 0 46057 19 0 0 20 0 1 0 171812743 311189504 70950 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 75974 70950 2762 2726 0 72722 0
################
# More data... #
################
Current children cumulated memory: 278948 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/256 919319
/proc/meminfo: memFree=120335308/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=355020 memory=347380 CPUtime=2911.64 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 105269 0 0 0 291122 42 0 0 20 0 1 0 171812743 363540480 86845 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 88755 86845 2826 2726 0 85503 0
Current children cumulated CPU time: 2911.64 s
Current children cumulated vsize: 355020 KiB
Current children cumulated memory: 347380 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/256 919331
/proc/meminfo: memFree=120502464/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=362652 memory=355012 CPUtime=2971.4 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 107077 0 0 0 297093 47 0 0 20 0 1 0 171812743 371355648 88753 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 90663 88753 2826 2726 0 87411 0
Current children cumulated CPU time: 2971.4 s
Current children cumulated vsize: 362652 KiB
Current children cumulated memory: 355012 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/258 919511
/proc/meminfo: memFree=120434256/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=373660 memory=366020 CPUtime=3031.15 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 108323 0 0 0 303065 50 0 0 20 0 1 0 171812743 382627840 91505 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 93415 91505 2826 2726 0 90163 0
Current children cumulated CPU time: 3031.15 s
Current children cumulated vsize: 373660 KiB
Current children cumulated memory: 366020 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/258 919523
/proc/meminfo: memFree=120485216/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=286588 memory=278948 CPUtime=3090.91 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 109304 0 0 0 309040 51 0 0 20 0 1 0 171812743 293466112 69737 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 71647 69737 2826 2726 0 68395 0
Current children cumulated CPU time: 3090.91 s
Current children cumulated vsize: 286588 KiB
Current children cumulated memory: 278948 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/259 919538
/proc/meminfo: memFree=120329204/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=356184 memory=348420 CPUtime=3150.67 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 110325 0 0 0 315012 55 0 0 20 0 1 0 171812743 364732416 87105 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 89046 87105 2826 2726 0 85794 0
Current children cumulated CPU time: 3150.67 s
Current children cumulated vsize: 356184 KiB
Current children cumulated memory: 348420 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/259 919559
/proc/meminfo: memFree=120285864/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=286588 memory=278948 CPUtime=3210.43 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 111450 0 0 0 320986 57 0 0 20 0 1 0 171812743 293466112 69737 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 71647 69737 2826 2726 0 68395 0
Current children cumulated CPU time: 3210.43 s
Current children cumulated vsize: 286588 KiB
Current children cumulated memory: 278948 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/259 919569
/proc/meminfo: memFree=120270844/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=286588 memory=278948 CPUtime=3270.19 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 111557 0 0 0 326962 57 0 0 20 0 1 0 171812743 293466112 69737 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 71647 69737 2826 2726 0 68395 0
Current children cumulated CPU time: 3270.19 s
Current children cumulated vsize: 286588 KiB
Current children cumulated memory: 278948 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 919580
/proc/meminfo: memFree=120189188/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=335504 memory=327804 CPUtime=3329.95 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 112800 0 0 0 332936 59 0 0 20 0 1 0 171812743 343556096 81951 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 83876 81951 2826 2726 0 80624 0
Current children cumulated CPU time: 3329.95 s
Current children cumulated vsize: 335504 KiB
Current children cumulated memory: 327804 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/257 919592
/proc/meminfo: memFree=120203988/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=286588 memory=278948 CPUtime=3389.71 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 112896 0 0 0 338912 59 0 0 20 0 1 0 171812743 293466112 69737 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 71647 69737 2826 2726 0 68395 0
Current children cumulated CPU time: 3389.71 s
Current children cumulated vsize: 286588 KiB
Current children cumulated memory: 278948 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 919604
/proc/meminfo: memFree=120122468/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=286588 memory=278948 CPUtime=3449.46 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 112975 0 0 0 344887 59 0 0 20 0 1 0 171812743 293466112 69737 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 71647 69737 2826 2726 0 68395 0
Current children cumulated CPU time: 3449.46 s
Current children cumulated vsize: 286588 KiB
Current children cumulated memory: 278948 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/256 919615
/proc/meminfo: memFree=120056540/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=286588 memory=278948 CPUtime=3509.21 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 113057 0 0 0 350862 59 0 0 20 0 1 0 171812743 293466112 69737 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 71647 69737 2826 2726 0 68395 0
Current children cumulated CPU time: 3509.21 s
Current children cumulated vsize: 286588 KiB
Current children cumulated memory: 278948 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 919626
/proc/meminfo: memFree=120706696/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=286588 memory=278948 CPUtime=3568.98 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 113137 0 0 0 356838 60 0 0 20 0 1 0 171812743 293466112 69737 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 71647 69737 2826 2726 0 68395 0
Current children cumulated CPU time: 3568.98 s
Current children cumulated vsize: 286588 KiB
Current children cumulated memory: 278948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.5 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 919630
/proc/meminfo: memFree=120685436/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=334424 memory=326568 CPUtime=3600.06 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 113921 0 0 0 359945 61 0 0 20 0 1 0 171812743 342450176 81642 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 83606 81642 2826 2726 0 80354 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 334424 KiB
Current children cumulated memory: 326568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.5 s]
# the end of solver process 917646 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.46 s, system=0.619032 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.5 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 919630
/proc/meminfo: memFree=120685436/131524600 swapFree=131071996/131071996
[pid=917646] ppid=917643 vsize=334424 memory=326568 CPUtime=3600.06 cores=0,2
/proc/917646/stat : 917646 (CASHWMaxSAT-Dis) R 917643 917646 916614 0 -1 4194304 113921 0 0 0 359945 61 0 0 20 0 1 0 171812743 342450176 81642 134679101440 4194304 15356333 140730003645456 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 31158272 140730003653602 140730003653718 140730003653718 140730003660734 0
/proc/917646/statm: 83606 81642 2826 2726 0 80354 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 334424 KiB
Current children cumulated memory: 326568 KiB
Child status: 10
Real time (s): 3613.5
CPU time (s): 3600.07
CPU user time (s): 3599.46
CPU system time (s): 0.619032
CPU usage (%): 99.6284
Max. virtual memory (cumulated for all children) (KiB): 450624
Max. memory (cumulated for all children) (KiB): 442924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.46
system time used= 0.619032
maximum resident set size= 442924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113922
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= 35
involuntary context switches= 24670
# summary of solver processes directly reported to runsolver:
# pid: 917646
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.46
# total CPU system time (s): 0.619032
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71251 second user time and 15.9852 second system time
The end
Begin job on nodeC025 at 2024-07-17 08:08:06 IDJOB=4438759 IDBENCH=146658 IDSOLVER=3074 FILE ID=nodeC025/4438759-1721196474 RUNJOBID= nodeC025-1721194641-916624 SLURM_JOB_ID= 7508886 Free space on /tmp= 889984 MiB SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.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-4438759-1721196474/watcher-4438759-1721196474 -o /tmp/evaluation-result-4438759-1721196474/solver-4438759-1721196474 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721194641-916624 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438759-1721196474.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f3472af25f5f0fee0e9203b0329f534f RANDOM SEED=1023848114 nodeC025.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 : 3644.339 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 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 : 3684.887 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 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 : 3660.928 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 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 : 3600.355 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 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 : 3655.961 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 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 : 3684.999 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 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 : 3601.721 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 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 : 3600.255 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122177784 kB MemAvailable: 127882740 kB Buffers: 452044 kB Cached: 6019716 kB SwapCached: 0 kB Active: 880944 kB Inactive: 7707088 kB Active(anon): 1552 kB Inactive(anon): 2152440 kB Active(file): 879392 kB Inactive(file): 5554648 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 14332 kB Writeback: 0 kB AnonPages: 2112684 kB Mapped: 132040 kB Shmem: 37720 kB KReclaimable: 221128 kB Slab: 344120 kB SReclaimable: 221128 kB SUnreclaim: 122992 kB KernelStack: 4024 kB PageTables: 13664 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2809980 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 65856 kB HardwareCorrupted: 0 kB AnonHugePages: 1798144 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: 318164 kB DirectMap2M: 43495424 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 889968 MiB End job on nodeC025 at 2024-07-17 09:08:20