0.00/0.00 c NaPS 1.03a1.
0.00/0.00 c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00 c Input file name: HOME/instance-4461051-1722077777.wbo
0.00/0.00 c Initial goal by soft: 69696
4.46/4.50 c single stage optimization mode
4.65/4.79 o 36027
3600.10/3610.01 c
3600.10/3610.01 c *** TERMINATED *** by signal 15
3600.10/3610.01 s SATISFIABLE
3600.10/3610.01 c _____________________________________________________________________________
3600.10/3610.01 c std/band forms : 23,0
3600.10/3610.01 c 2cl/3cl ITE-codings : 0,0
3600.10/3610.01 c BDD/srt/adr Max costs : 0,694,1353762
3600.10/3610.01 c BDDraw/bin/mul/srt/adr: 0,0,0,22,1
3600.10/3610.01 c BDD nodes : 0
3600.10/3610.01 c Es1/CC detections : 0,0
3600.10/3610.01 c CC sort : 22
3600.10/3610.01 c SAT/UNSAT calls : 1,0
3600.10/3610.01 c regenrated variables : 0
3600.10/3610.01 c eliminated fixed lits : 0
3600.10/3610.01 c goal lit flips : 0
3600.10/3610.01 c goal stages : 1
3600.10/3610.01 c goal shrink : 0
3600.10/3610.01 c goal coeff separations: 0
3600.10/3610.01 c restarts : 1
3600.10/3610.01 c conflicts : 44 (0 /sec)
3600.10/3610.01 c decisions : 703494 (196 /sec)
3600.10/3610.01 c propagations : 709347 (197 /sec)
3600.10/3610.01 c inspects : 0 (0 /sec)
3600.10/3610.01 c CPU time (solving tm) : 3597 s (3587 s, SAT 0.08049 s, UNSAT 0 s)
3600.10/3610.01 c Time for Opt-base : 0.004438 s
3600.10/3610.01 c Steps for Opt-base : 0
3600.10/3610.01 c Time for BDD coding : 0 s
3600.10/3610.01 c Time for srt coding : 0.001399 s
3600.10/3610.01 c _____________________________________________________________________________
3600.10/3610.01 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
3600.10/3610.01 v
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (52860 MiB free)
memory of node 1: 64473 MiB (55791 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461051-1722077777/watcher-4461051-1722077777 -o /tmp/evaluation-result-4461051-1722077777/solver-4461051-1722077777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722076468-327058 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461051-1722077777.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=328566, runsolver pid=328563
Current StackSize limit: 8192 KiB
[startup+0.100172 s]*
/proc/loadavg: 4.14 4.14 3.88 5/248 328571
/proc/meminfo: memFree=111255996/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=10812 memory=4624 CPUtime=0.08 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 780 0 0 0 8 0 0 0 20 0 1 0 43766515 11071488 1156 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 2703 1156 436 659 0 1907 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 20744 KiB
Current children cumulated memory: 7372 KiB
[startup+0.217172 s]*
/proc/loadavg: 4.14 4.14 3.88 5/248 328571
/proc/meminfo: memFree=111253308/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=13884 memory=7508 CPUtime=0.2 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 1544 0 0 0 20 0 0 0 20 0 1 0 43766515 14217216 1877 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 3471 1877 436 659 0 2675 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 23816 KiB
Current children cumulated memory: 10256 KiB
[startup+0.31334 s]*
/proc/loadavg: 4.14 4.14 3.88 5/248 328571
/proc/meminfo: memFree=111249976/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=17124 memory=10524 CPUtime=0.29 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 2337 0 0 0 29 0 0 0 20 0 1 0 43766515 17534976 2631 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 4281 2631 436 659 0 3485 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 27056 KiB
Current children cumulated memory: 13272 KiB
[startup+0.700439 s]
/proc/loadavg: 4.14 4.14 3.88 5/248 328571
/proc/meminfo: memFree=111242104/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=28532 memory=23232 CPUtime=0.67 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 5286 0 0 0 66 1 0 0 20 0 1 0 43766515 29216768 5808 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 7133 5808 436 659 0 6337 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 38464 KiB
Current children cumulated memory: 25980 KiB
[startup+1.50039 s]
/proc/loadavg: 4.14 4.14 3.88 5/248 328571
/proc/meminfo: memFree=111228048/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=62984 memory=54172 CPUtime=1.46 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 12891 0 0 0 143 3 0 0 20 0 1 0 43766515 64495616 13543 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 15746 13543 436 659 0 14950 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 72916 KiB
Current children cumulated memory: 56920 KiB
[startup+3.11329 s]
/proc/loadavg: 4.13 4.13 3.88 5/248 328572
/proc/meminfo: memFree=111083828/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=221436 memory=206176 CPUtime=3.07 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 46363 0 0 0 296 11 0 0 20 0 1 0 43766515 226750464 51544 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 55359 51544 436 659 0 54563 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 231368 KiB
Current children cumulated memory: 208924 KiB
[startup+6.30039 s]
/proc/loadavg: 4.13 4.13 3.88 5/248 328572
/proc/meminfo: memFree=110933308/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=431680 memory=416224 CPUtime=6.25 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 79682 0 0 0 607 18 0 0 20 0 1 0 43766515 442040320 104056 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 107920 104056 468 659 0 107124 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 441612 KiB
Current children cumulated memory: 418972 KiB
[startup+12.7004 s]
/proc/loadavg: 4.12 4.13 3.88 5/248 328574
/proc/meminfo: memFree=109411032/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=1961488 memory=1832476 CPUtime=12.64 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 242468 0 0 0 1205 59 0 0 20 0 1 0 43766515 2008563712 458119 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 490372 458119 468 659 0 489576 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1971420 KiB
Current children cumulated memory: 1835224 KiB
[startup+25.5004 s]
/proc/loadavg: 4.09 4.12 3.89 5/248 328575
/proc/meminfo: memFree=109389888/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=1976556 memory=1842580 CPUtime=25.4 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 244118 0 0 0 2481 59 0 0 20 0 1 0 43766515 2023993344 460645 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 494139 460645 468 659 0 493343 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1986488 KiB
Current children cumulated memory: 1845328 KiB
[startup+51.1133 s]
/proc/loadavg: 4.12 4.13 3.90 5/248 328579
/proc/meminfo: memFree=109347016/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=1976556 memory=1851240 CPUtime=50.95 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 244451 0 0 0 5035 60 0 0 20 0 1 0 43766515 2023993344 462810 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 494139 462810 468 659 0 493343 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1986488 KiB
Current children cumulated memory: 1853988 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.11 3.91 5/248 328589
/proc/meminfo: memFree=109296916/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=1980384 memory=1859572 CPUtime=102 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 245912 0 0 0 10138 62 0 0 20 0 1 0 43766515 2027913216 464893 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 495096 464893 468 659 0 494300 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1990316 KiB
Current children cumulated memory: 1862320 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 3.92 5/250 328769
/proc/meminfo: memFree=109220992/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=1985488 memory=1876896 CPUtime=161.85 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 247446 0 0 0 16121 64 0 0 20 0 1 0 43766515 2033139712 469224 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 496372 469224 468 659 0 495576 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 1995420 KiB
Current children cumulated memory: 1879644 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 3.94 5/250 328779
/proc/meminfo: memFree=109348552/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=1988392 memory=1881812 CPUtime=221.68 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 248435 0 0 0 22103 65 0 0 20 0 1 0 43766515 2036113408 470453 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 497098 470453 468 659 0 496302 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 1998324 KiB
################
# More data... #
################
/proc/328571/statm: 574543 509572 468 659 0 573747 0
Current children cumulated CPU time: 3033.92 s
Current children cumulated vsize: 2308104 KiB
Current children cumulated memory: 2041036 KiB
[startup+3102.3 s]
/proc/loadavg: 3.16 3.49 3.83 4/240 330055
/proc/meminfo: memFree=109468792/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=2299496 memory=2080596 CPUtime=3093.73 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 297626 0 0 0 309099 274 0 0 20 0 1 0 43766515 2354683904 520149 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 574874 520149 468 659 0 574078 0
Current children cumulated CPU time: 3093.73 s
Current children cumulated vsize: 2309428 KiB
Current children cumulated memory: 2083344 KiB
[startup+3162.3 s]
/proc/loadavg: 3.10 3.41 3.78 4/238 330066
/proc/meminfo: memFree=109513620/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=2300424 memory=2032352 CPUtime=3153.54 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 298925 0 0 0 315070 284 0 0 20 0 1 0 43766515 2355634176 508088 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 575106 508088 468 659 0 574310 0
Current children cumulated CPU time: 3153.54 s
Current children cumulated vsize: 2310356 KiB
Current children cumulated memory: 2035100 KiB
[startup+3222.3 s]
/proc/loadavg: 3.56 3.50 3.80 3/230 330107
/proc/meminfo: memFree=115456208/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=2304272 memory=2077048 CPUtime=3213.35 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 300016 0 0 0 321049 286 0 0 20 0 1 0 43766515 2359574528 519262 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 576068 519262 468 659 0 575272 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 2314204 KiB
Current children cumulated memory: 2079796 KiB
[startup+3282.3 s]
/proc/loadavg: 2.10 3.10 3.64 2/224 330151
/proc/meminfo: memFree=120354612/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=2307340 memory=2027480 CPUtime=3273.2 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 302340 0 0 0 327023 297 0 0 20 0 1 0 43766515 2362716160 506870 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 576835 506870 468 659 0 576039 0
Current children cumulated CPU time: 3273.2 s
Current children cumulated vsize: 2317272 KiB
Current children cumulated memory: 2030228 KiB
[startup+3342.3 s]
/proc/loadavg: 1.53 2.75 3.48 2/224 330163
/proc/meminfo: memFree=120302860/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=2309736 memory=2081000 CPUtime=3333.06 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 303077 0 0 0 333007 299 0 0 20 0 1 0 43766515 2365169664 520250 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 577434 520250 468 659 0 576638 0
Current children cumulated CPU time: 3333.06 s
Current children cumulated vsize: 2319668 KiB
Current children cumulated memory: 2083748 KiB
[startup+3402.3 s]
/proc/loadavg: 1.25 2.45 3.33 2/224 330174
/proc/meminfo: memFree=120347496/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=2313848 memory=2035920 CPUtime=3392.91 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 305285 0 0 0 338982 309 0 0 20 0 1 0 43766515 2369380352 508980 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 578462 508980 468 659 0 577666 0
Current children cumulated CPU time: 3392.91 s
Current children cumulated vsize: 2323780 KiB
Current children cumulated memory: 2038668 KiB
[startup+3462.3 s]
/proc/loadavg: 1.14 2.19 3.18 2/224 330184
/proc/meminfo: memFree=120296140/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=2315576 memory=2086872 CPUtime=3452.76 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 305961 0 0 0 344965 311 0 0 20 0 1 0 43766515 2371149824 521718 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 578894 521718 468 659 0 578098 0
Current children cumulated CPU time: 3452.76 s
Current children cumulated vsize: 2325508 KiB
Current children cumulated memory: 2089620 KiB
[startup+3522.3 s]
/proc/loadavg: 1.17 2.01 3.06 2/224 330194
/proc/meminfo: memFree=120348992/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=2317720 memory=2033788 CPUtime=3512.6 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 307705 0 0 0 350939 321 0 0 20 0 1 0 43766515 2373345280 508447 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 579430 508447 468 659 0 578634 0
Current children cumulated CPU time: 3512.6 s
Current children cumulated vsize: 2327652 KiB
Current children cumulated memory: 2036536 KiB
[startup+3582.3 s]
/proc/loadavg: 1.06 1.82 2.92 2/224 330591
/proc/meminfo: memFree=120395104/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=2318916 memory=2086264 CPUtime=3572.46 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 308278 0 0 0 356922 324 0 0 20 0 1 0 43766515 2374569984 521566 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 579729 521566 468 659 0 578933 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 2328848 KiB
Current children cumulated memory: 2089012 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 1.10 1.76 2.87 2/224 330595
/proc/meminfo: memFree=120375752/131655788 swapFree=131070192/131071996
[pid=328566] ppid=328563 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/328566/stat : 328566 (naps-1.03.sh) S 328563 328566 327046 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 43766514 10170368 687 134679101440 94363015372800 94363016452120 140737234569472 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94363018550576 94363018597764 94363034083328 140737234576349 140737234576478 140737234576478 140737234583496 0
/proc/328566/statm: 2483 687 611 264 0 134 0
[pid=328571] ppid=328566 vsize=2319848 memory=2105560 CPUtime=3600.1 cores=1,3
/proc/328571/stat : 328571 (naps-1.03) R 328566 328566 327046 0 -1 4194304 308707 0 0 0 359685 325 0 0 20 0 1 0 43766515 2375524352 526390 134679101440 4194304 6891597 140728951027680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33288192 140728951034862 140728951034978 140728951034978 140728951041995 0
/proc/328571/statm: 579962 526390 468 659 0 579166 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 2329780 KiB
Current children cumulated memory: 2108308 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.02 s]
# the end of solver process 328566 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.003269 s, system=0.002871 s
[startup+3610.07 s]
# the end of solver process 328571 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3596.87 s, system=3.31044 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.07
CPU time (s): 3600.18
CPU user time (s): 3596.87
CPU system time (s): 3.31044
CPU usage (%): 99.7259
Max. virtual memory (cumulated for all children) (KiB): 2671528
Max. memory (cumulated for all children) (KiB): 2453424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.87
system time used= 3.31044
maximum resident set size= 2450676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309199
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= 43
involuntary context switches= 4582
# summary of solver processes directly reported to runsolver:
# pid: 328566,328571
# total CPU time (s): 3600.18
# total CPU user time (s): 3596.87
# total CPU system time (s): 3.31044
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8314 second user time and 36.2624 second system time
The end
Begin job on nodeC002 at 2024-07-27 12:56:17
IDJOB=4461051
IDBENCH=143888
IDSOLVER=3087
FILE ID=nodeC002/4461051-1722077777
RUNJOBID= nodeC002-1722076468-327058
SLURM_JOB_ID= 8248130
Free space on /tmp= 723688 MiB
SOLVER NAME= NaPS-GM 1.03a1
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub4_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4461051-1722077777/watcher-4461051-1722077777 -o /tmp/evaluation-result-4461051-1722077777/solver-4461051-1722077777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722076468-327058 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461051-1722077777.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 951d8ca9c19f6c1f8975ac3bbc5eec26
RANDOM SEED=1822097080
nodeC002.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 : 3584.728
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.43
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 : 3456.172
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.41
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.294
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.43
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.159
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.41
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 : 3493.576
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.43
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 : 3493.998
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.41
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.361
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.43
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.256
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.41
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 111259820 kB
MemAvailable: 118862400 kB
Buffers: 388452 kB
Cached: 8026984 kB
SwapCached: 72 kB
Active: 2525728 kB
Inactive: 17241568 kB
Active(anon): 1568 kB
Inactive(anon): 11412328 kB
Active(file): 2524160 kB
Inactive(file): 5829240 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070192 kB
Dirty: 15548 kB
Writeback: 8 kB
AnonPages: 11350848 kB
Mapped: 111756 kB
Shmem: 62036 kB
KReclaimable: 178760 kB
Slab: 291464 kB
SReclaimable: 178760 kB
SUnreclaim: 112704 kB
KernelStack: 3968 kB
PageTables: 31668 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 12617860 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 14752 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4055040 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: 330568 kB
DirectMap2M: 40468480 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723768 MiB
End job on nodeC002 at 2024-07-27 13:56:27