0.00/0.06 c NaPS 1.03a6.
0.00/0.06 c Input file name: HOME/instance-4519828-1751563451.opb
0.00/0.09 c single stage optimization mode
3600.07/3610.40 o 0
3600.07/3610.40 c
3600.07/3610.40 c *** TERMINATED *** by signal 15
3600.07/3610.40 s SATISFIABLE
3600.07/3610.40 c _____________________________________________________________________________
3600.07/3610.40 c std/band forms : 54,0
3600.07/3610.40 c 2cl/3cl ITE-codings : 0,0
3600.07/3610.40 c BDD/srt/adr Max costs : 17,11748,0
3600.07/3610.40 c BDDraw/bin/mul/srt/adr: 18,0,0,36,0
3600.07/3610.40 c BDD nodes : 342
3600.07/3610.40 c Es1/CC detections : 0,0
3600.07/3610.40 c CC sort : 36
3600.07/3610.40 c SAT/UNSAT calls : 1,0
3600.07/3610.40 c regenrated variables : 0
3600.07/3610.40 c eliminated fixed lits : 0
3600.07/3610.40 c goal lit flips : 0
3600.07/3610.40 c goal stages : 1
3600.07/3610.40 c goal shrink : 0
3600.07/3610.40 c goal coeff separations: 0
3600.07/3610.40 c restarts : 0
3600.07/3610.40 c conflicts : 0 (0 /sec)
3600.07/3610.40 c decisions : 0 (0 /sec)
3600.07/3610.40 c propagations : 2783 (1 /sec)
3600.07/3610.40 c inspects : 0 (0 /sec)
3600.07/3610.40 c CPU time (solving tm) : 3599 s (3599 s, SAT 0.000935 s, UNSAT 0 s)
3600.07/3610.40 c Time for Opt-base : 0.000748 s
3600.07/3610.40 c Steps for Opt-base : 0
3600.07/3610.40 c Time for BDD coding : 0.002218 s
3600.07/3610.40 c Time for srt coding : 0.002939 s
3600.07/3610.40 c _____________________________________________________________________________
3600.07/3610.40 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 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -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 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936
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: 63837 MiB (63201 MiB free)
memory of node 1: 64465 MiB (62833 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519828-1751563451/watcher-4519828-1751563451 -o /tmp/evaluation-result-4519828-1751563451/solver-4519828-1751563451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751563451-82666 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4519828-1751563451.opb
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=82724, runsolver pid=82709
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 0.32 1.00 1.71 8/259 82737
/proc/meminfo: memFree=129053832/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=8984 memory=7312 CPUtime=0.04 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 1429 0 0 0 4 0 0 0 20 0 1 0 72024332 9199616 1828 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 2246 1828 608 696 0 1407 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13176 KiB
Current children cumulated memory: 10256 KiB
[startup+0.213683 s]*
/proc/loadavg: 0.32 1.00 1.71 8/259 82737
/proc/meminfo: memFree=129027900/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=11372 memory=9680 CPUtime=0.16 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 2156 0 0 0 15 1 0 0 20 0 1 0 72024332 11644928 2420 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 2843 2420 608 696 0 2004 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 15564 KiB
Current children cumulated memory: 12624 KiB
[startup+0.314099 s]*
/proc/loadavg: 0.32 1.00 1.71 8/259 82737
/proc/meminfo: memFree=128992872/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=11528 memory=9808 CPUtime=0.25 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 2194 0 0 0 24 1 0 0 20 0 1 0 72024332 11804672 2452 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 2882 2452 608 696 0 2043 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15720 KiB
Current children cumulated memory: 12752 KiB
[startup+0.700348 s]
/proc/loadavg: 0.32 1.00 1.71 8/259 82737
/proc/meminfo: memFree=128950848/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=12276 memory=10576 CPUtime=0.63 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 2381 0 0 0 62 1 0 0 20 0 1 0 72024332 12570624 2644 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 3069 2644 608 696 0 2230 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 16468 KiB
Current children cumulated memory: 13520 KiB
[startup+1.50035 s]
/proc/loadavg: 0.61 1.05 1.73 8/259 82737
/proc/meminfo: memFree=128852940/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=14868 memory=13260 CPUtime=1.42 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 4118 0 0 0 141 1 0 0 20 0 1 0 72024332 15224832 3315 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 3717 3315 640 696 0 2878 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 19060 KiB
Current children cumulated memory: 16204 KiB
[startup+3.11257 s]
/proc/loadavg: 0.61 1.05 1.73 8/259 82737
/proc/meminfo: memFree=128806824/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=18392 memory=16832 CPUtime=3.02 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 5313 0 0 0 301 1 0 0 20 0 1 0 72024332 18833408 4208 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 4598 4208 640 696 0 3759 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 22584 KiB
Current children cumulated memory: 19776 KiB
[startup+6.30034 s]
/proc/loadavg: 0.88 1.10 1.74 8/259 82737
/proc/meminfo: memFree=128787376/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=19588 memory=18112 CPUtime=6.2 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 5628 0 0 0 619 1 0 0 20 0 1 0 72024332 20058112 4528 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 4897 4528 640 696 0 4058 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 23780 KiB
Current children cumulated memory: 21056 KiB
[startup+12.7003 s]
/proc/loadavg: 1.13 1.15 1.75 8/259 82737
/proc/meminfo: memFree=128740936/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=18536 memory=17132 CPUtime=12.59 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 7684 0 0 0 1257 2 0 0 20 0 1 0 72024332 18980864 4283 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 4634 4283 640 696 0 3795 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 22728 KiB
Current children cumulated memory: 20076 KiB
[startup+25.5004 s]
/proc/loadavg: 1.58 1.24 1.78 8/259 82737
/proc/meminfo: memFree=128699728/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=21672 memory=19844 CPUtime=25.35 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 10799 0 0 0 2532 3 0 0 20 0 1 0 72024332 22192128 4961 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 5418 4961 640 696 0 4579 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 25864 KiB
Current children cumulated memory: 22788 KiB
[startup+51.1125 s]
/proc/loadavg: 2.64 1.54 1.86 8/258 82738
/proc/meminfo: memFree=128684404/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=31456 memory=30072 CPUtime=50.88 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 13302 0 0 0 5085 3 0 0 20 0 1 0 72024332 32210944 7518 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 7864 7518 640 696 0 7025 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 35648 KiB
Current children cumulated memory: 33016 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 1.93 1.98 8/258 82740
/proc/meminfo: memFree=128659828/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=46196 memory=44688 CPUtime=101.91 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 18973 0 0 0 10186 5 0 0 20 0 1 0 72024332 47304704 11172 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 11549 11172 640 696 0 10710 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 50388 KiB
Current children cumulated memory: 47632 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.34 2.12 8/258 82742
/proc/meminfo: memFree=128578844/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=47300 memory=45864 CPUtime=161.74 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 23189 0 0 0 16166 8 0 0 20 0 1 0 72024332 48435200 11466 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 11825 11466 640 696 0 10986 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 51492 KiB
Current children cumulated memory: 48808 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.66 2.24 8/260 82746
/proc/meminfo: memFree=128461432/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=50912 memory=49656 CPUtime=221.58 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 26621 0 0 0 22148 10 0 0 20 0 1 0 72024332 52133888 12414 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 12728 12414 640 696 0 11889 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 55104 KiB
################
# More data... #
################
/proc/loadavg: 4.14 4.11 4.03 8/253 82896
/proc/meminfo: memFree=128031464/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=166256 memory=164748 CPUtime=3033.62 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 88074 0 0 0 303280 82 0 0 20 0 1 0 72024332 170246144 41187 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 41564 41187 640 696 0 40725 0
Current children cumulated CPU time: 3033.62 s
Current children cumulated vsize: 170448 KiB
Current children cumulated memory: 167692 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.09 4.03 8/253 82897
/proc/meminfo: memFree=128036368/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=167112 memory=165644 CPUtime=3093.45 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 88291 0 0 0 309263 82 0 0 20 0 1 0 72024332 171122688 41411 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 41778 41411 640 696 0 40939 0
Current children cumulated CPU time: 3093.45 s
Current children cumulated vsize: 171304 KiB
Current children cumulated memory: 168588 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.10 4.03 8/253 82899
/proc/meminfo: memFree=128024540/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=167976 memory=166540 CPUtime=3153.29 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 88504 0 0 0 315246 83 0 0 20 0 1 0 72024332 172007424 41635 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 41994 41635 640 696 0 41155 0
Current children cumulated CPU time: 3153.29 s
Current children cumulated vsize: 172168 KiB
Current children cumulated memory: 169484 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.03 8/253 82901
/proc/meminfo: memFree=127986832/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=167976 memory=166564 CPUtime=3213.11 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 88898 0 0 0 321227 84 0 0 20 0 1 0 72024332 172007424 41641 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 41994 41641 640 696 0 41155 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 172168 KiB
Current children cumulated memory: 169508 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.03 8/254 82904
/proc/meminfo: memFree=127988220/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=169256 memory=167844 CPUtime=3272.93 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 89218 0 0 0 327208 85 0 0 20 0 1 0 72024332 173318144 41961 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 42314 41961 640 696 0 41475 0
Current children cumulated CPU time: 3272.93 s
Current children cumulated vsize: 173448 KiB
Current children cumulated memory: 170788 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.12 4.05 8/255 82911
/proc/meminfo: memFree=128019576/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=169256 memory=167844 CPUtime=3332.76 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 90034 0 0 0 333190 86 0 0 20 0 1 0 72024332 173318144 41961 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 42314 41961 640 696 0 41475 0
Current children cumulated CPU time: 3332.76 s
Current children cumulated vsize: 173448 KiB
Current children cumulated memory: 170788 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.05 8/255 82913
/proc/meminfo: memFree=127998136/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=171116 memory=169704 CPUtime=3392.58 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 90956 0 0 0 339171 87 0 0 20 0 1 0 72024332 175222784 42426 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 42779 42426 640 696 0 41940 0
Current children cumulated CPU time: 3392.58 s
Current children cumulated vsize: 175308 KiB
Current children cumulated memory: 172648 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.05 8/255 82915
/proc/meminfo: memFree=127958632/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=171116 memory=169704 CPUtime=3452.41 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 91593 0 0 0 345152 89 0 0 20 0 1 0 72024332 175222784 42426 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 42779 42426 640 696 0 41940 0
Current children cumulated CPU time: 3452.41 s
Current children cumulated vsize: 175308 KiB
Current children cumulated memory: 172648 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.05 8/255 82917
/proc/meminfo: memFree=127948236/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=171116 memory=169704 CPUtime=3512.24 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 92318 0 0 0 351134 90 0 0 20 0 1 0 72024332 175222784 42426 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 42779 42426 640 696 0 41940 0
Current children cumulated CPU time: 3512.24 s
Current children cumulated vsize: 175308 KiB
Current children cumulated memory: 172648 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.05 8/254 82919
/proc/meminfo: memFree=127902752/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=171116 memory=169704 CPUtime=3572.06 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 92717 0 0 0 357114 92 0 0 20 0 1 0 72024332 175222784 42426 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 42779 42426 640 696 0 41940 0
Current children cumulated CPU time: 3572.06 s
Current children cumulated vsize: 175308 KiB
Current children cumulated memory: 172648 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.12 4.11 4.06 6/249 82932
/proc/meminfo: memFree=128116656/131382116 swapFree=33009904/33010684
[pid=82724] ppid=82709 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/82724/stat : 82724 (naps-1.03a6.sh) S 82709 82724 82628 0 -1 4194304 228 201 0 0 0 0 0 0 20 0 1 0 72024326 4292608 736 18446744073709551615 94742602600448 94742603494981 140735048233424 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94742603734032 94742603781776 94742632992768 140735048239527 140735048239621 140735048239621 140735048245223 0
/proc/82724/statm: 1048 736 672 219 0 110 0
[pid=82737] ppid=82724 vsize=211740 memory=210204 CPUtime=3600.07 cores=1,3
/proc/82737/stat : 82737 (naps-1.03a6) R 82724 82724 82628 0 -1 4194304 93170 0 0 0 359912 95 0 0 20 0 1 0 72024332 216821760 52551 18446744073709551615 4198400 7047149 140727860539280 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 32866304 140727860545908 140727860546022 140727860546022 140727860551625 0
/proc/82737/statm: 52935 52551 640 696 0 52096 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 215932 KiB
Current children cumulated memory: 213148 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.4 s]
# the end of solver process 82724 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.12 s, system=0.966002 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.4
CPU time (s): 3600.09
CPU user time (s): 3599.12
CPU system time (s): 0.966002
CPU usage (%): 99.7144
Max. virtual memory (cumulated for all children) (KiB): 242368
Max. memory (cumulated for all children) (KiB): 237592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.12
system time used= 0.966002
maximum resident set size= 234648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93611
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= 334
involuntary context switches= 1625
# summary of solver processes directly reported to runsolver:
# pid: 82724
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.12
# total CPU system time (s): 0.966002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9639 second user time and 34.4598 second system time
The end
Begin job on nodeC004 at 2025-07-03 19:24:11
IDJOB=4519828
IDBENCH=177448
IDSOLVER=3341
FILE ID=nodeC004/4519828-1751563451
RUNJOBID= nodeC004-1751563451-82666
SLURM_JOB_ID= 9598768
Free space on /tmp= 431680 MiB
SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_18.opb
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519828-1751563451/watcher-4519828-1751563451 -o /tmp/evaluation-result-4519828-1751563451/solver-4519828-1751563451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751563451-82666 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4519828-1751563451.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b319574445af1170864e3b4ef1c4d0e8
RANDOM SEED=716183240
nodeC004 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 1197.589
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
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 : 1197.280
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
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.209
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
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.220
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
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 : 1197.743
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
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 : 1197.515
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
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.072
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
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.216
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 129065048 kB
MemAvailable: 129872528 kB
Buffers: 2128 kB
Cached: 1557036 kB
SwapCached: 32 kB
Active: 663416 kB
Inactive: 963044 kB
Active(anon): 74480 kB
Inactive(anon): 10748 kB
Active(file): 588936 kB
Inactive(file): 952296 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22032 kB
Writeback: 0 kB
AnonPages: 70676 kB
Mapped: 103304 kB
Shmem: 17932 kB
KReclaimable: 211752 kB
Slab: 298352 kB
SReclaimable: 211752 kB
SUnreclaim: 86600 kB
KernelStack: 3860 kB
PageTables: 2576 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 339692 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149272 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431656 MiB
End job on nodeC004 at 2025-07-03 20:24:22