0.00/0.00 c NaPS 1.03a2.
0.00/0.00 c Input file name: HOME/instance-4463443-1722352702.wbo
0.00/0.00 c Initial goal by soft: 69696
3.38/3.42 c single stage optimization mode
325.26/325.93 o 53827
3600.02/3609.80 c
3600.02/3609.80 c *** TERMINATED *** by signal 15
3600.02/3609.80 s SATISFIABLE
3600.02/3609.80 c _____________________________________________________________________________
3600.02/3609.80 c std/band forms : 23,0
3600.02/3609.80 c 2cl/3cl ITE-codings : 0,0
3600.02/3609.80 c BDD/srt/adr Max costs : 0,694,1353762
3600.02/3609.80 c BDDraw/bin/mul/srt/adr: 0,0,0,22,1
3600.02/3609.80 c BDD nodes : 0
3600.02/3609.80 c Es1/CC detections : 0,0
3600.02/3609.80 c CC sort : 22
3600.02/3609.80 c SAT/UNSAT calls : 1,0
3600.02/3609.80 c regenrated variables : 0
3600.02/3609.80 c eliminated fixed lits : 0
3600.02/3609.80 c goal lit flips : 352710
3600.02/3609.80 c goal stages : 1
3600.02/3609.80 c goal shrink : 0
3600.02/3609.80 c goal coeff separations: 0
3600.02/3609.80 c restarts : 0
3600.02/3609.80 c conflicts : 0 (0 /sec)
3600.02/3609.80 c decisions : 0 (0 /sec)
3600.02/3609.80 c propagations : 4025 (1 /sec)
3600.02/3609.80 c inspects : 0 (0 /sec)
3600.02/3609.80 c CPU time (solving tm) : 3590 s (3581 s, SAT 321.1 s, UNSAT 0 s)
3600.02/3609.80 c Time for Opt-base : 0.000213 s
3600.02/3609.80 c Steps for Opt-base : 0
3600.02/3609.80 c Time for BDD coding : 0 s
3600.02/3609.80 c Time for srt coding : 0.001351 s
3600.02/3609.80 c _____________________________________________________________________________
3600.02/3609.80 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.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 v
3600.02/3609.80 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: 63968 MiB (63148 MiB free)
memory of node 1: 64473 MiB (63528 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463443-1722352702/watcher-4463443-1722352702 -o /tmp/evaluation-result-4463443-1722352702/solver-4463443-1722352702 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722352702-13718 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463443-1722352702.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13774, runsolver pid=13771
[startup+0.100209 s]*
/proc/loadavg: 1.22 1.37 2.34 5/265 13794
/proc/meminfo: memFree=129671464/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=14996 memory=12952 CPUtime=0.09 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 3222 0 0 0 9 0 0 0 20 0 1 0 1872244 15355904 3238 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 3749 3238 580 659 0 2953 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24928 KiB
Current children cumulated memory: 15652 KiB
[startup+0.204845 s]*
/proc/loadavg: 1.22 1.37 2.34 5/265 13794
/proc/meminfo: memFree=129630336/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=25728 memory=23628 CPUtime=0.19 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 6371 0 0 0 19 0 0 0 20 0 1 0 1872244 26345472 5907 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 6432 5907 580 659 0 5636 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 35660 KiB
Current children cumulated memory: 26328 KiB
[startup+0.305106 s]*
/proc/loadavg: 1.22 1.37 2.34 5/265 13794
/proc/meminfo: memFree=129599188/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=31572 memory=29964 CPUtime=0.29 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 7930 0 0 0 29 0 0 0 20 0 1 0 1872244 32329728 7491 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 7893 7491 580 659 0 7097 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41504 KiB
Current children cumulated memory: 32664 KiB
[startup+0.713008 s]
/proc/loadavg: 1.22 1.37 2.34 5/265 13794
/proc/meminfo: memFree=129504960/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=90640 memory=86080 CPUtime=0.7 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 19975 0 0 0 67 3 0 0 20 0 1 0 1872244 92815360 21520 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 22660 21520 580 659 0 21864 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 100572 KiB
Current children cumulated memory: 88780 KiB
[startup+1.50026 s]
/proc/loadavg: 1.22 1.37 2.34 5/265 13796
/proc/meminfo: memFree=129346688/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=178084 memory=175400 CPUtime=1.48 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 28511 0 0 0 142 6 0 0 20 0 1 0 1872244 182358016 43850 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 44521 43850 580 659 0 43725 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 188016 KiB
Current children cumulated memory: 178100 KiB
[startup+3.1051 s]
/proc/loadavg: 1.45 1.41 2.35 5/265 13796
/proc/meminfo: memFree=128819288/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=309844 memory=306704 CPUtime=3.08 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 55666 0 0 0 298 10 0 0 20 0 1 0 1872244 317280256 76676 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 77461 76676 612 659 0 76665 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 319776 KiB
Current children cumulated memory: 309404 KiB
[startup+6.30017 s]
/proc/loadavg: 1.45 1.41 2.35 5/265 13796
/proc/meminfo: memFree=128763064/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=337472 memory=334276 CPUtime=6.27 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 62064 0 0 0 616 11 0 0 20 0 1 0 1872244 345571328 83569 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 84368 83569 612 659 0 83572 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 347404 KiB
Current children cumulated memory: 336976 KiB
[startup+12.7002 s]
/proc/loadavg: 1.91 1.51 2.38 5/265 13797
/proc/meminfo: memFree=128762808/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=337472 memory=334276 CPUtime=12.66 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 62071 0 0 0 1255 11 0 0 20 0 1 0 1872244 345571328 83569 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 84368 83569 612 659 0 83572 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 347404 KiB
Current children cumulated memory: 336976 KiB
[startup+25.5002 s]
/proc/loadavg: 2.31 1.61 2.40 5/265 13799
/proc/meminfo: memFree=124082344/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=337472 memory=334276 CPUtime=25.44 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 62085 0 0 0 2533 11 0 0 20 0 1 0 1872244 345571328 83569 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 84368 83569 612 659 0 83572 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 347404 KiB
Current children cumulated memory: 336976 KiB
[startup+51.105 s]
/proc/loadavg: 2.89 1.80 2.44 5/265 13804
/proc/meminfo: memFree=121895444/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=337472 memory=334276 CPUtime=50.99 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 62102 0 0 0 5088 11 0 0 20 0 1 0 1872244 345571328 83569 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 84368 83569 612 659 0 83572 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 347404 KiB
Current children cumulated memory: 336976 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 2.19 2.54 5/265 13812
/proc/meminfo: memFree=121858980/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=337472 memory=334276 CPUtime=102.1 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 62117 0 0 0 10198 12 0 0 20 0 1 0 1872244 345571328 83569 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 84368 83569 612 659 0 83572 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 347404 KiB
Current children cumulated memory: 336976 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 2.55 2.64 5/265 13826
/proc/meminfo: memFree=120566700/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=337472 memory=334276 CPUtime=161.98 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 62137 0 0 0 16186 12 0 0 20 0 1 0 1872244 345571328 83569 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 84368 83569 612 659 0 83572 0
Current children cumulated CPU time: 161.98 s
Current children cumulated vsize: 347404 KiB
Current children cumulated memory: 336976 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.83 2.74 5/265 13837
/proc/meminfo: memFree=117529324/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=337472 memory=334276 CPUtime=221.86 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 62152 0 0 0 22174 12 0 0 20 0 1 0 1872244 345571328 83569 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 84368 83569 612 659 0 83572 0
Current children cumulated CPU time: 221.86 s
Current children cumulated vsize: 347404 KiB
################
# More data... #
################
/proc/13780/statm: 649298 636939 660 659 0 648502 0
Current children cumulated CPU time: 3034.07 s
Current children cumulated vsize: 2607124 KiB
Current children cumulated memory: 2550456 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.07 5/260 15545
/proc/meminfo: memFree=107743224/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=2597192 memory=2547756 CPUtime=3093.89 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 537175 0 0 0 308439 950 0 0 20 0 1 0 1872244 2659524608 636939 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 649298 636939 660 659 0 648502 0
Current children cumulated CPU time: 3093.89 s
Current children cumulated vsize: 2607124 KiB
Current children cumulated memory: 2550456 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.13 4.08 5/261 15560
/proc/meminfo: memFree=106744388/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=2602188 memory=2552752 CPUtime=3153.72 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 539241 0 0 0 314407 965 0 0 20 0 1 0 1872244 2664640512 638188 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 650547 638188 660 659 0 649751 0
Current children cumulated CPU time: 3153.72 s
Current children cumulated vsize: 2612120 KiB
Current children cumulated memory: 2555452 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.08 5/260 15570
/proc/meminfo: memFree=105794868/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=2602188 memory=2552752 CPUtime=3213.55 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 539648 0 0 0 320389 966 0 0 20 0 1 0 1872244 2664640512 638188 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 650547 638188 660 659 0 649751 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 2612120 KiB
Current children cumulated memory: 2555452 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.08 5/260 15582
/proc/meminfo: memFree=108237160/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=2602684 memory=2553248 CPUtime=3273.38 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 540829 0 0 0 326362 976 0 0 20 0 1 0 1872244 2665148416 638312 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 650671 638312 660 659 0 649875 0
Current children cumulated CPU time: 3273.38 s
Current children cumulated vsize: 2612616 KiB
Current children cumulated memory: 2555948 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.08 5/260 15592
/proc/meminfo: memFree=108258644/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=2602684 memory=2553248 CPUtime=3333.21 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 541226 0 0 0 332344 977 0 0 20 0 1 0 1872244 2665148416 638312 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 650671 638312 660 659 0 649875 0
Current children cumulated CPU time: 3333.21 s
Current children cumulated vsize: 2612616 KiB
Current children cumulated memory: 2555948 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.08 6/260 15603
/proc/meminfo: memFree=109020332/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=2602684 memory=2553248 CPUtime=3393.06 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 542248 0 0 0 338326 980 0 0 20 0 1 0 1872244 2665148416 638312 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 650671 638312 660 659 0 649875 0
Current children cumulated CPU time: 3393.06 s
Current children cumulated vsize: 2612616 KiB
Current children cumulated memory: 2555948 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.08 5/260 15614
/proc/meminfo: memFree=109692016/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=2603716 memory=2554280 CPUtime=3452.91 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 543669 0 0 0 344299 992 0 0 20 0 1 0 1872244 2666205184 638570 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 650929 638570 660 659 0 650133 0
Current children cumulated CPU time: 3452.91 s
Current children cumulated vsize: 2613648 KiB
Current children cumulated memory: 2556980 KiB
[startup+3522.3 s]
/proc/loadavg: 4.85 4.31 4.15 5/260 15625
/proc/meminfo: memFree=109633124/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=2603716 memory=2554280 CPUtime=3512.75 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 544080 0 0 0 350283 992 0 0 20 0 1 0 1872244 2666205184 638570 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 650929 638570 660 659 0 650133 0
Current children cumulated CPU time: 3512.75 s
Current children cumulated vsize: 2613648 KiB
Current children cumulated memory: 2556980 KiB
[startup+3582.3 s]
/proc/loadavg: 4.57 4.34 4.17 5/260 15637
/proc/meminfo: memFree=109576104/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=2603716 memory=2554280 CPUtime=3572.6 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 544397 0 0 0 356267 993 0 0 20 0 1 0 1872244 2666205184 638570 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 650929 638570 660 659 0 650133 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 2613648 KiB
Current children cumulated memory: 2556980 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.41 4.32 4.17 5/260 15641
/proc/meminfo: memFree=109571072/131524600 swapFree=131071996/131071996
[pid=13774] ppid=13771 vsize=9932 memory=2700 CPUtime=0 cores=5,7
/proc/13774/stat : 13774 (naps-1.03.sh) S 13771 13774 13705 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1872244 10170368 675 134679101440 94571234349056 94571235428376 140733111473696 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94571237526832 94571237574020 94571259858944 140733111477219 140733111477344 140733111477344 140733111484360 0
/proc/13774/statm: 2483 675 597 264 0 134 0
[pid=13780] ppid=13774 vsize=2603716 memory=2554280 CPUtime=3600.02 cores=5,7
/proc/13780/stat : 13780 (naps-1.03a2) R 13774 13774 13705 0 -1 4194304 544682 0 0 0 359009 993 0 0 20 0 1 0 1872244 2666205184 638570 134679101440 4194304 6891597 140724911997424 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 14082048 140724912002030 140724912002144 140724912002144 140724912009161 0
/proc/13780/statm: 650929 638570 660 659 0 650133 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2613648 KiB
Current children cumulated memory: 2556980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 13774 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001153 s, system=0.001695 s
[startup+3609.86 s]
# the end of solver process 13780 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3590.1 s, system=9.9989 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): 3609.86
CPU time (s): 3600.1
CPU user time (s): 3590.1
CPU system time (s): 9.9989
CPU usage (%): 99.7296
Max. virtual memory (cumulated for all children) (KiB): 3224088
Max. memory (cumulated for all children) (KiB): 3167256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.1
system time used= 9.9989
maximum resident set size= 3164556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 545145
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= 12
involuntary context switches= 1507
# summary of solver processes directly reported to runsolver:
# pid: 13774,13780
# total CPU time (s): 3600.1
# total CPU user time (s): 3590.1
# total CPU system time (s): 9.9989
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19601 second user time and 16.9805 second system time
The end
Begin job on nodeC032 at 2024-07-30 17:18:22
IDJOB=4463443
IDBENCH=143888
IDSOLVER=3090
FILE ID=nodeC032/4463443-1722352702
RUNJOBID= nodeC032-1722352702-13718
SLURM_JOB_ID= 8249038
Free space on /tmp= 890048 MiB
SOLVER NAME= NaPS 1.03a2
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub4_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4463443-1722352702/watcher-4463443-1722352702 -o /tmp/evaluation-result-4463443-1722352702/solver-4463443-1722352702 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722352702-13718 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463443-1722352702.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 951d8ca9c19f6c1f8975ac3bbc5eec26
RANDOM SEED=61392010
nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.142
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3617.268
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.64
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3629.810
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.543
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.64
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3623.036
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.672
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.64
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3632.869
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3623.077
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.64
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129711960 kB
MemAvailable: 129850964 kB
Buffers: 59792 kB
Cached: 917336 kB
SwapCached: 0 kB
Active: 190556 kB
Inactive: 1152408 kB
Active(anon): 1420 kB
Inactive(anon): 386388 kB
Active(file): 189136 kB
Inactive(file): 766020 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 44144 kB
Writeback: 0 kB
AnonPages: 366500 kB
Mapped: 88672 kB
Shmem: 21332 kB
KReclaimable: 47344 kB
Slab: 127324 kB
SReclaimable: 47344 kB
SUnreclaim: 79980 kB
KernelStack: 4104 kB
PageTables: 9568 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 689480 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8928 kB
HardwareCorrupted: 0 kB
AnonHugePages: 237568 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: 182996 kB
DirectMap2M: 7979008 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 890032 MiB
End job on nodeC032 at 2024-07-30 18:18:32