0.00/0.02 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
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) ...
1792.31/1800.03 c SCIP timeout with lower and upper bounds: [330, 479]
1792.50/1800.26 o 5
3600.03/3613.50
3600.03/3613.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.03/3613.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: 63931 MiB (60415 MiB free)
memory of node 1: 64510 MiB (60857 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439563-1721194630/watcher-4439563-1721194630 -o /tmp/evaluation-result-4439563-1721194630/solver-4439563-1721194630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721194642-909818 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439563-1721194630.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
Current StackSize limit: 8192 KiB
solver pid=909874, runsolver pid=909865
[startup+0.101023 s]*
/proc/loadavg: 0.43 0.16 0.11 8/257 909883
/proc/meminfo: memFree=124085592/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=46724 memory=37556 CPUtime=0.09 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 7373 0 0 0 9 0 0 0 20 0 1 0 171630397 47845376 9389 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 11681 9389 2522 2550 0 8636 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46724 KiB
Current children cumulated memory: 37556 KiB
[startup+0.205126 s]*
/proc/loadavg: 0.43 0.16 0.11 5/257 909883
/proc/meminfo: memFree=123992828/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=80128 memory=63456 CPUtime=0.19 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 11274 0 0 0 18 1 0 0 20 0 1 0 171630397 82051072 15864 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 20032 15864 2554 2550 0 16987 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 80128 KiB
Current children cumulated memory: 63456 KiB
[startup+0.305966 s]*
/proc/loadavg: 0.43 0.16 0.11 6/257 909883
/proc/meminfo: memFree=123958452/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=98308 memory=81604 CPUtime=0.3 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 15230 0 0 0 28 2 0 0 20 0 1 0 171630397 100667392 20401 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 24577 20401 2634 2550 0 21532 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 98308 KiB
Current children cumulated memory: 81604 KiB
[startup+0.70019 s]
/proc/loadavg: 0.43 0.16 0.11 6/257 909883
/proc/meminfo: memFree=123928072/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=100688 memory=83680 CPUtime=0.68 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 15716 0 0 0 66 2 0 0 20 0 1 0 171630397 103104512 20920 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 25172 20920 2634 2550 0 22127 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 100688 KiB
Current children cumulated memory: 83680 KiB
[startup+1.50019 s]
/proc/loadavg: 0.43 0.16 0.11 6/257 909885
/proc/meminfo: memFree=123434412/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=113204 memory=95620 CPUtime=1.48 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 18727 0 0 0 146 2 0 0 20 0 1 0 171630397 115920896 23905 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 28301 23905 2650 2550 0 25256 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 113204 KiB
Current children cumulated memory: 95620 KiB
[startup+3.10635 s]
/proc/loadavg: 0.43 0.16 0.11 6/257 909885
/proc/meminfo: memFree=123094472/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=179496 memory=157396 CPUtime=3.08 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 34144 0 0 0 303 5 0 0 20 0 1 0 171630397 183803904 39349 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 44874 39349 2650 2550 0 41829 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 179496 KiB
Current children cumulated memory: 157396 KiB
[startup+6.30015 s]
/proc/loadavg: 0.72 0.23 0.13 6/257 909885
/proc/meminfo: memFree=121827060/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=215744 memory=186148 CPUtime=6.26 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 41352 0 0 0 620 6 0 0 20 0 1 0 171630397 220921856 46537 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 53936 46537 2650 2550 0 50891 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 215744 KiB
Current children cumulated memory: 186148 KiB
[startup+12.7002 s]
/proc/loadavg: 0.98 0.29 0.15 6/257 909886
/proc/meminfo: memFree=121342776/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=216388 memory=186940 CPUtime=12.64 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 41521 0 0 0 1257 7 0 0 20 0 1 0 171630397 221581312 46735 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 54097 46735 2650 2550 0 51052 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 216388 KiB
Current children cumulated memory: 186940 KiB
[startup+25.5002 s]
/proc/loadavg: 1.73 0.49 0.22 6/257 909888
/proc/meminfo: memFree=121269400/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=229340 memory=198880 CPUtime=25.4 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 44497 0 0 0 2531 9 0 0 20 0 1 0 171630397 234844160 49720 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 57335 49720 2666 2550 0 54290 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 229340 KiB
Current children cumulated memory: 198880 KiB
[startup+51.1065 s]
/proc/loadavg: 2.58 0.79 0.33 6/257 909892
/proc/meminfo: memFree=121245992/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=238068 memory=206536 CPUtime=50.91 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 46404 0 0 0 5080 11 0 0 20 0 1 0 171630397 243781632 51634 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 59517 51634 2666 2550 0 56472 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 238068 KiB
Current children cumulated memory: 206536 KiB
[startup+102.3 s]
/proc/loadavg: 3.43 1.30 0.53 6/256 909901
/proc/meminfo: memFree=121181392/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=284232 memory=250668 CPUtime=101.92 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 57681 0 0 0 10176 16 0 0 20 0 1 0 171630397 291053568 62667 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 71058 62667 2666 2550 0 68013 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 284232 KiB
Current children cumulated memory: 250668 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 1.83 0.76 6/256 909912
/proc/meminfo: memFree=121156628/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=295164 memory=260152 CPUtime=161.7 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 60105 0 0 0 16153 17 0 0 20 0 1 0 171630397 302247936 65038 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 73791 65038 2666 2550 0 70746 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 295164 KiB
Current children cumulated memory: 260152 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.24 0.97 6/259 909927
/proc/meminfo: memFree=121139216/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=305448 memory=268068 CPUtime=221.48 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 62066 0 0 0 22129 19 0 0 20 0 1 0 171630397 312778752 67017 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 76362 67017 2666 2550 0 73317 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 305448 KiB
Current children cumulated memory: 268068 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 2.58 1.17 6/259 909937
/proc/meminfo: memFree=121099044/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=305448 memory=268200 CPUtime=281.23 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 62450 0 0 0 28103 20 0 0 20 0 1 0 171630397 312778752 67050 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 76362 67050 2666 2550 0 73317 0
Current children cumulated CPU time: 281.23 s
Current children cumulated vsize: 305448 KiB
Current children cumulated memory: 268200 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 2.87 1.36 6/257 909948
/proc/meminfo: memFree=121084120/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=315712 memory=276704 CPUtime=340.97 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 64674 0 0 0 34077 20 0 0 20 0 1 0 171630397 323289088 69176 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 78928 69176 2666 2550 0 75883 0
Current children cumulated CPU time: 340.97 s
Current children cumulated vsize: 315712 KiB
Current children cumulated memory: 276704 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.09 1.53 6/257 909959
/proc/meminfo: memFree=121066220/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=318132 memory=279168 CPUtime=400.72 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 65348 0 0 0 40051 21 0 0 20 0 1 0 171630397 325767168 69792 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 79533 69792 2666 2550 0 76488 0
Current children cumulated CPU time: 400.72 s
Current children cumulated vsize: 318132 KiB
Current children cumulated memory: 279168 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.29 1.70 6/257 909970
/proc/meminfo: memFree=121059276/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=318132 memory=279228 CPUtime=460.46 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 65457 0 0 0 46025 21 0 0 20 0 1 0 171630397 325767168 69807 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 79533 69807 2666 2550 0 76488 0
################
# More data... #
################
Current children cumulated memory: 331664 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.14 3.99 6/257 911372
/proc/meminfo: memFree=121963760/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=387360 memory=364432 CPUtime=2910.98 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 82827 0 0 0 290998 100 0 0 20 0 1 0 171630397 396656640 91108 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 96840 91108 2936 2550 0 93795 0
Current children cumulated CPU time: 2910.98 s
Current children cumulated vsize: 387360 KiB
Current children cumulated memory: 364432 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.11 4.00 6/257 911382
/proc/meminfo: memFree=121951960/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=387360 memory=366480 CPUtime=2970.79 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 83098 0 0 0 296974 105 0 0 20 0 1 0 171630397 396656640 91620 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 96840 91620 2936 2550 0 93795 0
Current children cumulated CPU time: 2970.79 s
Current children cumulated vsize: 387360 KiB
Current children cumulated memory: 366480 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.12 4.01 6/259 911563
/proc/meminfo: memFree=121976960/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=338040 memory=331664 CPUtime=3030.61 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 84092 0 0 0 302949 112 0 0 20 0 1 0 171630397 346152960 82916 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 84510 82916 2936 2550 0 81465 0
Current children cumulated CPU time: 3030.61 s
Current children cumulated vsize: 338040 KiB
Current children cumulated memory: 331664 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.01 6/259 911573
/proc/meminfo: memFree=122050564/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=338040 memory=331664 CPUtime=3090.42 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 84726 0 0 0 308921 121 0 0 20 0 1 0 171630397 346152960 82916 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 84510 82916 2936 2550 0 81465 0
Current children cumulated CPU time: 3090.42 s
Current children cumulated vsize: 338040 KiB
Current children cumulated memory: 331664 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.01 6/259 911583
/proc/meminfo: memFree=121947280/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=436680 memory=397408 CPUtime=3150.24 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 85159 0 0 0 314895 129 0 0 20 0 1 0 171630397 447160320 99352 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 109170 99352 2936 2550 0 106125 0
Current children cumulated CPU time: 3150.24 s
Current children cumulated vsize: 436680 KiB
Current children cumulated memory: 397408 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.14 4.02 6/260 911652
/proc/meminfo: memFree=121984764/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=338040 memory=331664 CPUtime=3210.05 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 85521 0 0 0 320871 134 0 0 20 0 1 0 171630397 346152960 82916 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 84510 82916 2936 2550 0 81465 0
Current children cumulated CPU time: 3210.05 s
Current children cumulated vsize: 338040 KiB
Current children cumulated memory: 331664 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.02 6/258 911662
/proc/meminfo: memFree=121970480/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=338040 memory=331664 CPUtime=3269.87 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 86686 0 0 0 326842 145 0 0 20 0 1 0 171630397 346152960 82916 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 84510 82916 2936 2550 0 81465 0
Current children cumulated CPU time: 3269.87 s
Current children cumulated vsize: 338040 KiB
Current children cumulated memory: 331664 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.13 4.03 6/258 911672
/proc/meminfo: memFree=121959684/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=387360 memory=370616 CPUtime=3329.68 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 87022 0 0 0 332819 149 0 0 20 0 1 0 171630397 396656640 92654 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 96840 92654 2936 2550 0 93795 0
Current children cumulated CPU time: 3329.68 s
Current children cumulated vsize: 387360 KiB
Current children cumulated memory: 370616 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.03 6/258 911683
/proc/meminfo: memFree=121979072/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=338040 memory=331664 CPUtime=3389.49 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 88416 0 0 0 338788 161 0 0 20 0 1 0 171630397 346152960 82916 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 84510 82916 2936 2550 0 81465 0
Current children cumulated CPU time: 3389.49 s
Current children cumulated vsize: 338040 KiB
Current children cumulated memory: 331664 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.03 6/258 911694
/proc/meminfo: memFree=121957084/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=387360 memory=380856 CPUtime=3449.3 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 88898 0 0 0 344764 166 0 0 20 0 1 0 171630397 396656640 95214 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 96840 95214 2936 2550 0 93795 0
Current children cumulated CPU time: 3449.3 s
Current children cumulated vsize: 387360 KiB
Current children cumulated memory: 380856 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.04 6/254 911704
/proc/meminfo: memFree=121987788/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=338040 memory=331664 CPUtime=3509.12 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 90179 0 0 0 350731 181 0 0 20 0 1 0 171630397 346152960 82916 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 84510 82916 2936 2550 0 81465 0
Current children cumulated CPU time: 3509.12 s
Current children cumulated vsize: 338040 KiB
Current children cumulated memory: 331664 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.04 6/255 911715
/proc/meminfo: memFree=121867284/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=418180 memory=385076 CPUtime=3568.93 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 90594 0 0 0 356705 188 0 0 20 0 1 0 171630397 428216320 96269 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 104545 96269 2936 2550 0 101500 0
Current children cumulated CPU time: 3568.93 s
Current children cumulated vsize: 418180 KiB
Current children cumulated memory: 385076 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.5 s]
/proc/loadavg: 4.13 4.11 4.04 5/255 911860
/proc/meminfo: memFree=122787328/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=387360 memory=372664 CPUtime=3600.03 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 91500 0 0 0 359804 199 0 0 20 0 1 0 171630397 396656640 93166 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 96840 93166 2936 2550 0 93795 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 387360 KiB
Current children cumulated memory: 372664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.5 s]
# the end of solver process 909874 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.04 s, system=1.99323 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.5 s]
/proc/loadavg: 4.13 4.11 4.04 5/255 911860
/proc/meminfo: memFree=122787328/131524600 swapFree=131071996/131071996
[pid=909874] ppid=909865 vsize=387360 memory=372664 CPUtime=3600.03 cores=0,2
/proc/909874/stat : 909874 (CASHWMaxSAT-Dis) R 909865 909874 909808 0 -1 4194304 91500 0 0 0 359804 199 0 0 20 0 1 0 171630397 396656640 93166 134679101440 4194304 14636349 140736219095408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 37036032 140736219104226 140736219104342 140736219104342 140736219111358 0
/proc/909874/statm: 96840 93166 2936 2550 0 93795 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 387360 KiB
Current children cumulated memory: 372664 KiB
Child status: 10
Real time (s): 3613.5
CPU time (s): 3600.03
CPU user time (s): 3598.04
CPU system time (s): 1.99323
CPU usage (%): 99.6273
Max. virtual memory (cumulated for all children) (KiB): 467500
Max. memory (cumulated for all children) (KiB): 426220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.04
system time used= 1.99323
maximum resident set size= 428268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91501
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= 44
involuntary context switches= 25189
# summary of solver processes directly reported to runsolver:
# pid: 909874
# total CPU time (s): 3600.03
# total CPU user time (s): 3598.04
# total CPU system time (s): 1.99323
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65353 second user time and 19.0012 second system time
The end
Begin job on nodeC029 at 2024-07-17 07:37:23
IDJOB=4439563
IDBENCH=146660
IDSOLVER=3076
FILE ID=nodeC029/4439563-1721194630
RUNJOBID= nodeC029-1721194642-909818
SLURM_JOB_ID= 7508890
Free space on /tmp= 890068 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-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.5:100.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439563-1721194630/watcher-4439563-1721194630 -o /tmp/evaluation-result-4439563-1721194630/solver-4439563-1721194630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721194642-909818 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439563-1721194630.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7cbd9242490819e58478720045b90b69
RANDOM SEED=346687897
nodeC029.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 : 3597.537
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3774.675
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 : 7006.98
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 : 3599.393
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3570.653
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 : 7006.98
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 : 3602.989
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3628.299
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 : 7006.98
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 : 3621.523
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3586.396
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 : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124184008 kB
MemAvailable: 129672616 kB
Buffers: 431404 kB
Cached: 5827984 kB
SwapCached: 0 kB
Active: 818700 kB
Inactive: 5776532 kB
Active(anon): 1388 kB
Inactive(anon): 372592 kB
Active(file): 817312 kB
Inactive(file): 5403940 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 54720 kB
Writeback: 0 kB
AnonPages: 336356 kB
Mapped: 104724 kB
Shmem: 37720 kB
KReclaimable: 214008 kB
Slab: 335188 kB
SReclaimable: 214008 kB
SUnreclaim: 121180 kB
KernelStack: 3888 kB
PageTables: 9676 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 605620 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 64000 kB
HardwareCorrupted: 0 kB
AnonHugePages: 219136 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: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890008 MiB
End job on nodeC029 at 2024-07-17 08:37:37