0.00/0.01 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.00/0.01 c Do: 140727052753128 140727052753136
0.00/0.02 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
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.87/1800.03 c SCIP timeout with lower and upper bounds: [-134, 6]
1794.87/1800.03 o 6
3600.09/3610.50
3600.09/3610.50 v -x757 x694 -x589 x263 -x242 x57 -x39 x693 x591 -x487 x264 -x247 -x56 -x38 -x758 x701 x590 -x486 -x440 x267 -x246 -x55 -x40 -x759 x695 x595 -x488 -x445 -x265 -x53 x41 -x762 x696 -x613 x594 -x489 -x444 -x266 x249 -x54 -x48 -x760 -x697 -x612 -x592 x490 -x402 x250 x42 -x3 -x761 x614 -x593 -x497 -x447 -x422 -x401 x253 -x199 -x172 x43 -x2 -x735 x617 -x491 -x448 -x421 x407 -x386 -x251 -x177 -x44 x4 -x734 x616 -x492 -x451 -x423 x406 -x385 -x274 -x252 -x198 -x176 -x138 x5 -x621 -x493 -x449 x426 x408 -x387 -x367 -x279 -x202 -x156 -x137 -x19 x6 -x736 -x620 -x560 -x511 -x450 x425 -x412 -x388 -x366 -x278 x179 -x155 -x139 -x88 -x18 x13 -x738 -x651 -x618 -x516 -x430 -x411 x389 -x203 x180 -x157 -x142 -x87 -x24 x7 -x650 -x619 -x559 -x515 -x467 -x429 -x409 -x396 -x368 x281 -x183 x158 -x141 -x89 -x67 x23 -x8 -x739 -x563 -x427 -x410 x390 -x370 -x282 -x181 x159 -x146 -x92 -x72 x25 -x9 -x741 -x652 x518 -x470 -x428 -x391 -x319 -x285 -x224 -x182 x166 -x145 -x122 x91 -x71 -x29 -x742 -x654 -x636 -x564 x519 -x471 -x392 -x371 -x318 -x283 x160 -x143 x96 -x28 -x635 -x522 -x373 -x348 -x320 -x284 -x223 x161 -x144 -x121 x95 x74 -x26 -x655 -x520 -x374 -x352 x323 -x227 -x162 x93 x75 -x27 -x657 -x637 -x521 x322 x125 -x94 x76 -x658 x640 x324 -x228 x126 -x77 -x754 x704 x65 -x756 x705 -x588 x268 -x241 x61 -x755 x700 x603 -x243 -x60 -x51 -x763 x599 -x439 -x248 x52 -x711 x698 x598 -x500 -x441 x245 -x47 -x715 x501 x446 x254 -x496 x443 -x45 -x730 x615 -x452 x403 -x171 -x729 -x629 -x494 x404 x200 x173 -x16 -x625 x424 x405 -x362 -x273 -x204 x178 -x17 -x737 -x624 x438 x416 -x399 -x361 -x275 x175 -x12 -x740 -x646 -x510 x434 x400 x280 -x184 -x140 -x20 x744 -x645 -x561 -x512 -x466 -x433 -x395 -x369 x277 -x206 -x169 -x154 x21 -x10 -x743 -x565 -x517 x372 -x286 -x207 x170 -x150 -x90 -x66 x22 -x653 x514 -x472 -x393 x376 -x165 -x149 -x117 -x104 -x68 x33 -x656 -x631 x523 -x375 x100 x73 x660 -x630 -x567 -x347 -x225 -x163 x123 -x99 x70 -x659 -x568 -x351 -x321 -x229 x78 x638 -x475 -x332 x127 x639 x328 x702 x600 -x106 -x64 -x50 -x753 x602 x272 -x49 -x771 -x499 x271 -x58 -x767 -x498 x244 -x766 x710 -x699 x596 x262 -x59 -x714 -x442 x258 x194 -x626 -x597 x460 -x303 x257 x193 -x46 -x15 -x628 x456 -x14 -x495 x455 -x435 -x419 -x398 x201 -x731 -x555 -x437 x420 -x397 x205 x174 x732 -x622 -x554 -x462 -x415 x209 x192 -x168 -x151 x733 -x363 x276 -x208 x188 -x167 -x153 -x748 -x623 x562 -x468 -x431 -x413 x364 x294 -x187 -x101 -x36 -x11 -x647 -x566 x513 x365 -x290 -x219 -x103 x37 -x686 -x648 x570 x531 -x473 -x432 -x394 x380 -x289 -x218 -x147 -x32 x649 -x569 x527 -x116 x69 x664 -x526 -x476 -x349 -x329 x226 -x164 -x148 -x118 -x97 x86 -x30 -x632 -x474 -x353 -x331 x230 x124 x82 x633 x231 x120 -x98 -x81 x634 x327 -x232 x128 -x768 x703 x601 -x334 -x105 -x62 -x770 x269 -x259 -x261 -x764 x712 -x457 x300 x270 -x716 -x627 -x459 -x765 -x418 x302 x255 -x436 -x417 x195 x718 -x453 -x256 x196 x189 x719 x197 x191 -x152 x751 -x454 -x291 x213 -x35 x752 x556 -x461 x293 -x102 -x34 -x747 -x682 x557 -x528 x463 -x414 -x383 -x185 x558 -x530 x469 x384 -x344 -x745 -x685 -x667 x574 x465 x379 -x343 -x287 -x186 -x83 -x668 x477 -x330 -x220 x85 -x663 -x535 -x524 -x377 x350 -x288 x221 -x31 -x539 x354 x222 x119 -x661 -x643 -x605 -x525 x355 x236 x136 -x79 -x644 x609 -x356 x325 x132 -x769 x333 x107 -x63 -x707 -x260 x706 -x458 x713 x299 x109 -x717 x721 x304 x720 -x190 -x750 x216 x749 -x292 x217 -x678 -x382 -x307 x212 -x529 -x381 x681 -x666 x577 -x210 -x665 x578 x464 -x84 -x746 x687 x573 x485 x481 x345 -x642 x571 -x534 -x480 -x378 x346 x239 -x133 -x641 -x538 x240 x135 -x690 -x662 -x604 x235 -x80 x608 -x326 x131 -x503 -x296 x110 x708 x108 x709 -x547 -x336 x301 -x772 x725 x305 x215 x214 x674 x308 -x306 x773 x677 x774 -x576 x575 x683 x482 -x211 x484 x688 -x238 -x237 -x134 x691 -x572 x536 -x478 x359 -x689 x540 x360 x606 -x479 -x233 x610 x129 x111 x502 x337 x335 -x295 x728 -x546 x297 -x724 x309 -x722 x673 -x583 -x483 x684 -x533 -x680 x532 -x358 x692 x357 x537 x541 x607 -x234 x611 -x130 x338 x115 -x727 x504 x114 -x726 -x548 x298 x670 -x507 x317 x313 -x723 x675 -x582 x550 x312 x551 x679 x587 -x543 x342 -x542 x505 x341 x112 -x549 x508 x314 x113 x506 x316 -x581 x553 x669 x552 x671 -x584 x310 x676 -x311 x586 x339 -x544 x509 -x315 x545 x340 x775 -x580 x579 x672 x585 x776 x1
3600.09/3610.50 s SATISFIABLE
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: 64059 MiB (61340 MiB free)
memory of node 1: 64510 MiB (62666 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439966-1721197149/watcher-4439966-1721197149 -o /tmp/evaluation-result-4439966-1721197149/solver-4439966-1721197149 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721194641-881525 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439966-1721197149.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=882699, runsolver pid=882696
[startup+0.100109 s]*
/proc/loadavg: 4.06 4.13 3.99 5/242 882700
/proc/meminfo: memFree=126956752/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=45552 memory=36404 CPUtime=0.11 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 7195 0 0 0 10 1 0 0 20 0 1 0 171871537 46645248 9101 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 11388 9101 2398 2417 0 8490 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 45552 KiB
Current children cumulated memory: 36404 KiB
[startup+0.213112 s]*
/proc/loadavg: 4.06 4.13 3.99 5/242 882700
/proc/meminfo: memFree=126955912/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=72364 memory=55724 CPUtime=0.21 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 10133 0 0 0 20 1 0 0 20 0 1 0 171871537 74100736 13931 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 18091 13931 2414 2417 0 15193 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 72364 KiB
Current children cumulated memory: 55724 KiB
[startup+0.313054 s]*
/proc/loadavg: 4.06 4.13 3.99 5/242 882700
/proc/meminfo: memFree=126923572/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=85044 memory=69160 CPUtime=0.31 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 11952 0 0 0 29 2 0 0 20 0 1 0 171871537 87085056 17290 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 21261 17290 2414 2417 0 18363 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 85044 KiB
Current children cumulated memory: 69160 KiB
[startup+0.700343 s]
/proc/loadavg: 4.06 4.13 3.99 5/242 882700
/proc/meminfo: memFree=126910356/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=99284 memory=83220 CPUtime=0.69 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 15351 0 0 0 66 3 0 0 20 0 1 0 171871537 101666816 20805 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 24821 20805 2526 2417 0 21923 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 99284 KiB
Current children cumulated memory: 83220 KiB
[startup+1.50034 s]
/proc/loadavg: 4.06 4.13 3.99 5/242 882700
/proc/meminfo: memFree=126928216/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=99284 memory=83220 CPUtime=1.49 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 15358 0 0 0 146 3 0 0 20 0 1 0 171871537 101666816 20805 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 24821 20805 2526 2417 0 21923 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 99284 KiB
Current children cumulated memory: 83220 KiB
[startup+3.11276 s]
/proc/loadavg: 4.06 4.13 3.99 5/242 882700
/proc/meminfo: memFree=126865632/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=166208 memory=145848 CPUtime=3.1 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 31046 0 0 0 305 5 0 0 20 0 1 0 171871537 170196992 36462 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 41552 36462 2542 2417 0 38654 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 166208 KiB
Current children cumulated memory: 145848 KiB
[startup+6.30031 s]
/proc/loadavg: 4.05 4.13 4.00 5/242 882702
/proc/meminfo: memFree=126809636/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=227868 memory=199952 CPUtime=6.27 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 44538 0 0 0 620 7 0 0 20 0 1 0 171871537 233336832 49988 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 56967 49988 2542 2417 0 54069 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 227868 KiB
Current children cumulated memory: 199952 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.14 4.00 5/242 882702
/proc/meminfo: memFree=126802900/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=229088 memory=200480 CPUtime=12.66 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 44668 0 0 0 1258 8 0 0 20 0 1 0 171871537 234586112 50120 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 57272 50120 2542 2417 0 54374 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 229088 KiB
Current children cumulated memory: 200480 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.14 4.00 5/242 882705
/proc/meminfo: memFree=126798240/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=242452 memory=212624 CPUtime=25.42 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 47719 0 0 0 2532 10 0 0 20 0 1 0 171871537 248270848 53156 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 60613 53156 2542 2417 0 57715 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 242452 KiB
Current children cumulated memory: 212624 KiB
[startup+51.1128 s]
/proc/loadavg: 4.06 4.12 4.00 5/242 882708
/proc/meminfo: memFree=126762716/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=278716 memory=246140 CPUtime=50.97 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 56107 0 0 0 5083 14 0 0 20 0 1 0 171871537 285405184 61535 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 69679 61535 2542 2417 0 66781 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 278716 KiB
Current children cumulated memory: 246140 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.01 5/244 882720
/proc/meminfo: memFree=126718620/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=321020 memory=287528 CPUtime=102.02 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 66755 0 0 0 10183 19 0 0 20 0 1 0 171871537 328724480 71882 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 80255 71882 2542 2417 0 77357 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 321020 KiB
Current children cumulated memory: 287528 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.14 4.01 5/244 882730
/proc/meminfo: memFree=126665120/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=367580 memory=323140 CPUtime=161.87 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 75695 0 0 0 16165 22 0 0 20 0 1 0 171871537 376401920 80785 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 91895 80785 2542 2417 0 88997 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 367580 KiB
Current children cumulated memory: 323140 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.11 4.01 5/244 882742
/proc/meminfo: memFree=126671276/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=381740 memory=326304 CPUtime=221.71 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 76522 0 0 0 22148 23 0 0 20 0 1 0 171871537 390901760 81576 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 95435 81576 2542 2417 0 92537 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 381740 KiB
Current children cumulated memory: 326304 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.01 5/244 882752
/proc/meminfo: memFree=126646540/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=392796 memory=330264 CPUtime=281.54 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 77518 0 0 0 28130 24 0 0 20 0 1 0 171871537 402223104 82566 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 98199 82566 2542 2417 0 95301 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 392796 KiB
Current children cumulated memory: 330264 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 4.14 4.02 5/244 882763
/proc/meminfo: memFree=126647048/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=402456 memory=330528 CPUtime=341.39 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 77540 0 0 0 34114 25 0 0 20 0 1 0 171871537 412114944 82632 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 100614 82632 2542 2417 0 97716 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 402456 KiB
Current children cumulated memory: 330528 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.13 4.02 5/243 883157
/proc/meminfo: memFree=126649460/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=415532 memory=333732 CPUtime=401.22 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 78761 0 0 0 40096 26 0 0 20 0 1 0 171871537 425504768 83433 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 103883 83433 2542 2417 0 100985 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 415532 KiB
Current children cumulated memory: 333732 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.15 4.04 5/243 883167
/proc/meminfo: memFree=126634924/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=426248 memory=341636 CPUtime=461.06 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 80867 0 0 0 46080 26 0 0 20 0 1 0 171871537 436477952 85409 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 106562 85409 2542 2417 0 103664 0
################
# More data... #
################
Current children cumulated memory: 544568 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/243 884539
/proc/meminfo: memFree=125490372/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=551696 memory=544568 CPUtime=2913.68 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 114892 0 0 0 291327 41 0 0 20 0 1 0 171871537 564936704 136142 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 137924 136142 2542 2417 0 135026 0
Current children cumulated CPU time: 2913.68 s
Current children cumulated vsize: 551696 KiB
Current children cumulated memory: 544568 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/243 884549
/proc/meminfo: memFree=125435928/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=551696 memory=544568 CPUtime=2973.52 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 116685 0 0 0 297306 46 0 0 20 0 1 0 171871537 564936704 136142 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 137924 136142 2542 2417 0 135026 0
Current children cumulated CPU time: 2973.52 s
Current children cumulated vsize: 551696 KiB
Current children cumulated memory: 544568 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.12 4.15 5/243 884560
/proc/meminfo: memFree=125344472/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=551696 memory=544568 CPUtime=3033.38 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 117765 0 0 0 303290 48 0 0 20 0 1 0 171871537 564936704 136142 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 137924 136142 2542 2417 0 135026 0
Current children cumulated CPU time: 3033.38 s
Current children cumulated vsize: 551696 KiB
Current children cumulated memory: 544568 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.11 4.14 5/245 884574
/proc/meminfo: memFree=125234104/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=551696 memory=544568 CPUtime=3093.22 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 120435 0 0 0 309265 57 0 0 20 0 1 0 171871537 564936704 136142 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 137924 136142 2542 2417 0 135026 0
Current children cumulated CPU time: 3093.22 s
Current children cumulated vsize: 551696 KiB
Current children cumulated memory: 544568 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/244 884584
/proc/meminfo: memFree=125146848/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=601016 memory=586312 CPUtime=3153.08 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 121437 0 0 0 315248 60 0 0 20 0 1 0 171871537 615440384 146578 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 150254 146578 2542 2417 0 147356 0
Current children cumulated CPU time: 3153.08 s
Current children cumulated vsize: 601016 KiB
Current children cumulated memory: 586312 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/244 884596
/proc/meminfo: memFree=125171644/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=551696 memory=544568 CPUtime=3212.92 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 121543 0 0 0 321232 60 0 0 20 0 1 0 171871537 564936704 136142 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 137924 136142 2542 2417 0 135026 0
Current children cumulated CPU time: 3212.92 s
Current children cumulated vsize: 551696 KiB
Current children cumulated memory: 544568 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/245 884607
/proc/meminfo: memFree=125116268/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=551696 memory=544568 CPUtime=3272.76 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 121677 0 0 0 327216 60 0 0 20 0 1 0 171871537 564936704 136142 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 137924 136142 2542 2417 0 135026 0
Current children cumulated CPU time: 3272.76 s
Current children cumulated vsize: 551696 KiB
Current children cumulated memory: 544568 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/245 884620
/proc/meminfo: memFree=125066808/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=551696 memory=544568 CPUtime=3332.61 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 121792 0 0 0 333201 60 0 0 20 0 1 0 171871537 564936704 136142 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 137924 136142 2542 2417 0 135026 0
Current children cumulated CPU time: 3332.61 s
Current children cumulated vsize: 551696 KiB
Current children cumulated memory: 544568 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/243 884631
/proc/meminfo: memFree=125014084/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=551696 memory=544568 CPUtime=3392.45 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 121907 0 0 0 339185 60 0 0 20 0 1 0 171871537 564936704 136142 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 137924 136142 2542 2417 0 135026 0
Current children cumulated CPU time: 3392.45 s
Current children cumulated vsize: 551696 KiB
Current children cumulated memory: 544568 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.12 5/243 884641
/proc/meminfo: memFree=124993004/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=551696 memory=544568 CPUtime=3452.29 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 122001 0 0 0 345169 60 0 0 20 0 1 0 171871537 564936704 136142 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 137924 136142 2542 2417 0 135026 0
Current children cumulated CPU time: 3452.29 s
Current children cumulated vsize: 551696 KiB
Current children cumulated memory: 544568 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.11 5/243 884651
/proc/meminfo: memFree=125522112/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=551696 memory=544568 CPUtime=3512.13 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 124257 0 0 0 351147 66 0 0 20 0 1 0 171871537 564936704 136142 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 137924 136142 2542 2417 0 135026 0
Current children cumulated CPU time: 3512.13 s
Current children cumulated vsize: 551696 KiB
Current children cumulated memory: 544568 KiB
[startup+3582.3 s]
/proc/loadavg: 4.64 4.25 4.16 5/242 884661
/proc/meminfo: memFree=125508852/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=551696 memory=544568 CPUtime=3571.96 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 124857 0 0 0 357128 68 0 0 20 0 1 0 171871537 564936704 136142 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 137924 136142 2542 2417 0 135026 0
Current children cumulated CPU time: 3571.96 s
Current children cumulated vsize: 551696 KiB
Current children cumulated memory: 544568 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.61 4.29 4.18 5/242 884667
/proc/meminfo: memFree=125505360/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=551696 memory=544568 CPUtime=3600.09 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 124912 0 0 0 359941 68 0 0 20 0 1 0 171871537 564936704 136142 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 137924 136142 2542 2417 0 135026 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 551696 KiB
Current children cumulated memory: 544568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 882699 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.41 s, system=0.687447 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.61 4.29 4.18 5/242 884667
/proc/meminfo: memFree=125505360/131655788 swapFree=131071996/131071996
[pid=882699] ppid=882696 vsize=551696 memory=544568 CPUtime=3600.09 cores=5,7
/proc/882699/stat : 882699 (CASHWMaxSAT-Dis) R 882696 882699 881512 0 -1 4194304 124912 0 0 0 359941 68 0 0 20 0 1 0 171871537 564936704 136142 134679101440 4194304 14093885 140727052755488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38150144 140727052764132 140727052764247 140727052764247 140727052771263 0
/proc/882699/statm: 137924 136142 2542 2417 0 135026 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 551696 KiB
Current children cumulated memory: 544568 KiB
Child status: 10
Real time (s): 3610.5
CPU time (s): 3600.1
CPU user time (s): 3599.41
CPU system time (s): 0.687447
CPU usage (%): 99.7118
Max. virtual memory (cumulated for all children) (KiB): 631836
Max. memory (cumulated for all children) (KiB): 600652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.41
system time used= 0.687447
maximum resident set size= 600652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124913
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= 37
involuntary context switches= 1789
# summary of solver processes directly reported to runsolver:
# pid: 882699
# total CPU time (s): 3600.1
# total CPU user time (s): 3599.41
# total CPU system time (s): 0.687447
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5694 second user time and 35.4078 second system time
The end
Begin job on nodeC007 at 2024-07-17 08:19:21
IDJOB=4439966
IDBENCH=146660
IDSOLVER=3077
FILE ID=nodeC007/4439966-1721197149
RUNJOBID= nodeC007-1721194641-881525
SLURM_JOB_ID= 7508875
Free space on /tmp= 723744 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-S 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.5:100.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439966-1721197149/watcher-4439966-1721197149 -o /tmp/evaluation-result-4439966-1721197149/solver-4439966-1721197149 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721194641-881525 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439966-1721197149.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7cbd9242490819e58478720045b90b69
RANDOM SEED=1023848114
nodeC007.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 : 3559.549
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.25
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 : 3664.895
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.30
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.321
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.25
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.281
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.30
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 : 3626.512
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.25
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 : 3491.650
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.30
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.291
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.25
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.133
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126984244 kB
MemAvailable: 128745192 kB
Buffers: 432336 kB
Cached: 2152092 kB
SwapCached: 0 kB
Active: 811476 kB
Inactive: 3287992 kB
Active(anon): 1460 kB
Inactive(anon): 1551276 kB
Active(file): 810016 kB
Inactive(file): 1736716 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 12892 kB
Writeback: 12 kB
AnonPages: 1513544 kB
Mapped: 129484 kB
Shmem: 37704 kB
KReclaimable: 108496 kB
Slab: 208572 kB
SReclaimable: 108496 kB
SUnreclaim: 100076 kB
KernelStack: 3856 kB
PageTables: 12316 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1906400 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 54496 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1304576 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: 279368 kB
DirectMap2M: 27936768 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723728 MiB
End job on nodeC007 at 2024-07-17 09:19:32