0.00/0.00 c NaPS 1.03a2.
0.00/0.00 c Input file name: HOME/instance-4463448-1722352702.wbo
0.00/0.00 c Initial goal by soft: 55058436
3.38/3.49 c single stage optimization mode
332.65/333.34 o 45235896
3600.00/3609.90 c
3600.00/3609.90 c *** TERMINATED *** by signal 15
3600.00/3609.90 s SATISFIABLE
3600.00/3609.90 c _____________________________________________________________________________
3600.00/3609.90 c std/band forms : 23,0
3600.00/3609.90 c 2cl/3cl ITE-codings : 0,0
3600.00/3609.90 c BDD/srt/adr Max costs : 0,694,1664812
3600.00/3609.90 c BDDraw/bin/mul/srt/adr: 0,0,0,22,1
3600.00/3609.90 c BDD nodes : 0
3600.00/3609.90 c Es1/CC detections : 0,0
3600.00/3609.90 c CC sort : 22
3600.00/3609.90 c SAT/UNSAT calls : 1,0
3600.00/3609.90 c regenrated variables : 0
3600.00/3609.90 c eliminated fixed lits : 0
3600.00/3609.90 c goal lit flips : 356707
3600.00/3609.90 c goal stages : 1
3600.00/3609.90 c goal shrink : 0
3600.00/3609.90 c goal coeff separations: 0
3600.00/3609.90 c restarts : 0
3600.00/3609.90 c conflicts : 0 (0 /sec)
3600.00/3609.90 c decisions : 0 (0 /sec)
3600.00/3609.90 c propagations : 4025 (1 /sec)
3600.00/3609.90 c inspects : 0 (0 /sec)
3600.00/3609.90 c CPU time (solving tm) : 3590 s (3580 s, SAT 328.4 s, UNSAT 0 s)
3600.00/3609.90 c Time for Opt-base : 0.000212 s
3600.00/3609.90 c Steps for Opt-base : 0
3600.00/3609.90 c Time for BDD coding : 0 s
3600.00/3609.90 c Time for srt coding : 0.001355 s
3600.00/3609.90 c _____________________________________________________________________________
3600.00/3609.90 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.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 v
3600.00/3609.90 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 (63149 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-4463448-1722352702/watcher-4463448-1722352702 -o /tmp/evaluation-result-4463448-1722352702/solver-4463448-1722352702 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722352702-13717 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463448-1722352702.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13756, runsolver pid=13752
[startup+0.100092 s]*
/proc/loadavg: 1.22 1.37 2.34 5/265 13794
/proc/meminfo: memFree=129672808/131524600 swapFree=131071996/131071996
[pid=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=15216 memory=13224 CPUtime=0.09 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 3272 0 0 0 9 0 0 0 20 0 1 0 1872244 15581184 3306 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 3804 3306 580 659 0 3008 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25148 KiB
Current children cumulated memory: 15936 KiB
[startup+0.206098 s]*
/proc/loadavg: 1.22 1.37 2.34 5/265 13794
/proc/meminfo: memFree=129631680/131524600 swapFree=131071996/131071996
[pid=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=26868 memory=24440 CPUtime=0.19 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 6090 0 0 0 19 0 0 0 20 0 1 0 1872244 27512832 6110 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 6717 6110 580 659 0 5921 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 36800 KiB
Current children cumulated memory: 27152 KiB
[startup+0.30602 s]*
/proc/loadavg: 1.22 1.37 2.34 5/265 13794
/proc/meminfo: memFree=129601204/131524600 swapFree=131071996/131071996
[pid=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=32236 memory=30512 CPUtime=0.3 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 7582 0 0 0 29 1 0 0 20 0 1 0 1872244 33009664 7628 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 8059 7628 580 659 0 7263 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42168 KiB
Current children cumulated memory: 33224 KiB
[startup+0.700235 s]
/proc/loadavg: 1.22 1.37 2.34 5/265 13794
/proc/meminfo: memFree=129509328/131524600 swapFree=131071996/131071996
[pid=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=90608 memory=85952 CPUtime=0.69 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 19430 0 0 0 66 3 0 0 20 0 1 0 1872244 92782592 21488 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 22652 21488 580 659 0 21856 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 100540 KiB
Current children cumulated memory: 88664 KiB
[startup+1.50026 s]
/proc/loadavg: 1.22 1.37 2.34 5/265 13796
/proc/meminfo: memFree=129348032/131524600 swapFree=131071996/131071996
[pid=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=178376 memory=171660 CPUtime=1.49 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 31633 0 0 0 143 6 0 0 20 0 1 0 1872244 182657024 42915 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 44594 42915 580 659 0 43798 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 188308 KiB
Current children cumulated memory: 174372 KiB
[startup+3.10598 s]
/proc/loadavg: 1.45 1.41 2.35 5/265 13796
/proc/meminfo: memFree=128819288/131524600 swapFree=131071996/131071996
[pid=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=313420 memory=306600 CPUtime=3.08 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 59218 0 0 0 298 10 0 0 20 0 1 0 1872244 320942080 76650 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 78355 76650 612 659 0 77559 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 323352 KiB
Current children cumulated memory: 309312 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=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=341116 memory=334236 CPUtime=6.27 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 65676 0 0 0 616 11 0 0 20 0 1 0 1872244 349302784 83559 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 85279 83559 612 659 0 84483 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 351048 KiB
Current children cumulated memory: 336948 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=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=341116 memory=334440 CPUtime=12.66 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 65681 0 0 0 1255 11 0 0 20 0 1 0 1872244 349302784 83610 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 85279 83610 612 659 0 84483 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 351048 KiB
Current children cumulated memory: 337152 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=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=341116 memory=334440 CPUtime=25.44 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 65693 0 0 0 2533 11 0 0 20 0 1 0 1872244 349302784 83610 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 85279 83610 612 659 0 84483 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 351048 KiB
Current children cumulated memory: 337152 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=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=341116 memory=334440 CPUtime=51 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 65701 0 0 0 5088 12 0 0 20 0 1 0 1872244 349302784 83610 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 85279 83610 612 659 0 84483 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 351048 KiB
Current children cumulated memory: 337152 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=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=341116 memory=334440 CPUtime=102.1 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 65711 0 0 0 10198 12 0 0 20 0 1 0 1872244 349302784 83610 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 85279 83610 612 659 0 84483 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 351048 KiB
Current children cumulated memory: 337152 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 2.55 2.64 5/265 13826
/proc/meminfo: memFree=120567036/131524600 swapFree=131071996/131071996
[pid=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=341116 memory=334440 CPUtime=161.98 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 65724 0 0 0 16186 12 0 0 20 0 1 0 1872244 349302784 83610 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 85279 83610 612 659 0 84483 0
Current children cumulated CPU time: 161.98 s
Current children cumulated vsize: 351048 KiB
Current children cumulated memory: 337152 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.83 2.74 5/265 13837
/proc/meminfo: memFree=117535468/131524600 swapFree=131071996/131071996
[pid=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=341116 memory=334440 CPUtime=221.86 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 65738 0 0 0 22174 12 0 0 20 0 1 0 1872244 349302784 83610 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 85279 83610 612 659 0 84483 0
Current children cumulated CPU time: 221.86 s
################
# More data... #
################
/proc/13769/statm: 739783 715136 660 659 0 738987 0
Current children cumulated CPU time: 3093.79 s
Current children cumulated vsize: 2969064 KiB
Current children cumulated memory: 2863256 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.13 4.08 5/261 15560
/proc/meminfo: memFree=106744724/131524600 swapFree=131071996/131071996
[pid=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=2958640 memory=2860052 CPUtime=3153.62 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 610585 0 0 0 314446 916 0 0 20 0 1 0 1872244 3029647360 715013 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 739660 715013 660 659 0 738864 0
Current children cumulated CPU time: 3153.62 s
Current children cumulated vsize: 2968572 KiB
Current children cumulated memory: 2862764 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=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=2958164 memory=2859576 CPUtime=3213.45 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 612118 0 0 0 320420 925 0 0 20 0 1 0 1872244 3029159936 714894 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 739541 714894 660 659 0 738745 0
Current children cumulated CPU time: 3213.45 s
Current children cumulated vsize: 2968096 KiB
Current children cumulated memory: 2862288 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=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=2936316 memory=2837548 CPUtime=3273.28 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 617029 0 0 0 326388 940 0 0 20 0 1 0 1872244 3006787584 709387 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 734079 709387 660 659 0 733283 0
Current children cumulated CPU time: 3273.28 s
Current children cumulated vsize: 2946248 KiB
Current children cumulated memory: 2840260 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=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=2936448 memory=2837888 CPUtime=3333.1 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 617921 0 0 0 332370 940 0 0 20 0 1 0 1872244 3006922752 709472 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 734112 709472 660 659 0 733316 0
Current children cumulated CPU time: 3333.1 s
Current children cumulated vsize: 2946380 KiB
Current children cumulated memory: 2840600 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.08 5/260 15603
/proc/meminfo: memFree=109020332/131524600 swapFree=131071996/131071996
[pid=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=3462992 memory=3364264 CPUtime=3392.95 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 619136 0 0 0 338344 951 0 0 20 0 1 0 1872244 3546103808 841066 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 865748 841066 660 659 0 864952 0
Current children cumulated CPU time: 3392.95 s
Current children cumulated vsize: 3472924 KiB
Current children cumulated memory: 3366976 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/260 15614
/proc/meminfo: memFree=109692016/131524600 swapFree=131071996/131071996
[pid=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=2957048 memory=2858488 CPUtime=3452.79 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 620038 0 0 0 344328 951 0 0 20 0 1 0 1872244 3028017152 714622 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 739262 714622 660 659 0 738466 0
Current children cumulated CPU time: 3452.79 s
Current children cumulated vsize: 2966980 KiB
Current children cumulated memory: 2861200 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=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=3015068 memory=2916508 CPUtime=3512.64 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 621502 0 0 0 350301 963 0 0 20 0 1 0 1872244 3087429632 729127 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 753767 729127 660 659 0 752971 0
Current children cumulated CPU time: 3512.64 s
Current children cumulated vsize: 3025000 KiB
Current children cumulated memory: 2919220 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=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=3007004 memory=2908544 CPUtime=3572.49 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 626995 0 0 0 356279 970 0 0 20 0 1 0 1872244 3079172096 727136 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 751751 727136 660 659 0 750955 0
Current children cumulated CPU time: 3572.49 s
Current children cumulated vsize: 3016936 KiB
Current children cumulated memory: 2911256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.41 4.32 4.17 5/260 15641
/proc/meminfo: memFree=109571072/131524600 swapFree=131071996/131071996
[pid=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=3007004 memory=2908544 CPUtime=3600 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 627529 0 0 0 359030 970 0 0 20 0 1 0 1872244 3079172096 727136 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 751751 727136 660 659 0 750955 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3016936 KiB
Current children cumulated memory: 2911256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 13756 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000956 s, system=0.002121 s
[startup+3609.91 s]
# the end of solver process 13769 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3590.32 s, system=9.71035 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
[startup+3609.9 s]
/proc/loadavg: 4.41 4.32 4.17 5/260 15641
/proc/meminfo: memFree=109571072/131524600 swapFree=131071996/131071996
[pid=13756] ppid=13752 vsize=9932 memory=2712 CPUtime=0 cores=1,3
/proc/13756/stat : 13756 (naps-1.03.sh) S 13752 13756 13705 0 -1 4194304 217 243 0 0 0 0 0 0 20 0 1 0 1872243 10170368 678 134679101440 94434427600896 94434428680216 140727302663936 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94434430778672 94434430825860 94434459308032 140727302669283 140727302669408 140727302669408 140727302676424 0
/proc/13756/statm: 2483 678 600 264 0 134 0
[pid=13769] ppid=13756 vsize=3007004 memory=2908544 CPUtime=3600 cores=1,3
/proc/13769/stat : 13769 (naps-1.03a2) R 13756 13756 13705 0 -1 4194304 627529 0 0 0 359030 970 0 0 20 0 1 0 1872244 3079172096 727136 134679101440 4194304 6891597 140731366468432 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 22638592 140731366470638 140731366470752 140731366470752 140731366477769 0
/proc/13769/statm: 751751 727136 660 659 0 750955 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3016936 KiB
Current children cumulated memory: 2911256 KiB
Child status: 10
Real time (s): 3609.91
CPU time (s): 3600.03
CPU user time (s): 3590.32
CPU system time (s): 9.71035
CPU usage (%): 99.7262
Max. virtual memory (cumulated for all children) (KiB): 3551544
Max. memory (cumulated for all children) (KiB): 3445764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.32
system time used= 9.71035
maximum resident set size= 3443052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 627990
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= 174
involuntary context switches= 1492
# summary of solver processes directly reported to runsolver:
# pid: 13756,13769
# total CPU time (s): 3600.03
# total CPU user time (s): 3590.32
# total CPU system time (s): 9.71035
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.91483 second user time and 19.9507 second system time
The end
Begin job on nodeC032 at 2024-07-30 17:18:22
IDJOB=4463448
IDBENCH=143887
IDSOLVER=3090
FILE ID=nodeC032/4463448-1722352702
RUNJOBID= nodeC032-1722352702-13717
SLURM_JOB_ID= 8249038
Free space on /tmp= 890064 MiB
SOLVER NAME= NaPS 1.03a2
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub4_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4463448-1722352702/watcher-4463448-1722352702 -o /tmp/evaluation-result-4463448-1722352702/solver-4463448-1722352702 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722352702-13717 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463448-1722352702.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 017722a65fbbcf3be40a97a1e4190efb
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 : 3007.933
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 : 3635.695
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 : 3433.118
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 : 3606.563
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 : 3504.819
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 : 3608.517
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 : 3605.278
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 : 3606.740
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: 129718360 kB
MemAvailable: 129853396 kB
Buffers: 59792 kB
Cached: 913072 kB
SwapCached: 0 kB
Active: 190532 kB
Inactive: 1145748 kB
Active(anon): 1420 kB
Inactive(anon): 383672 kB
Active(file): 189112 kB
Inactive(file): 762076 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 39924 kB
Writeback: 0 kB
AnonPages: 364104 kB
Mapped: 88348 kB
Shmem: 21332 kB
KReclaimable: 47344 kB
Slab: 127292 kB
SReclaimable: 47344 kB
SUnreclaim: 79948 kB
KernelStack: 3992 kB
PageTables: 9396 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:33