0.00/0.00 c NaPS 1.03a1.
0.00/0.00 c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00 c Input file name: HOME/instance-4461056-1722077654.wbo
0.00/0.00 c Initial goal by soft: 55058436
4.38/4.44 c single stage optimization mode
4.67/4.74 o 23753661
3600.05/3609.40 c
3600.05/3609.40 c *** TERMINATED *** by signal 15
3600.05/3609.40 s SATISFIABLE
3600.05/3609.40 c _____________________________________________________________________________
3600.05/3609.40 c std/band forms : 23,0
3600.05/3609.40 c 2cl/3cl ITE-codings : 0,0
3600.05/3609.40 c BDD/srt/adr Max costs : 0,694,1664812
3600.05/3609.40 c BDDraw/bin/mul/srt/adr: 0,0,0,22,1
3600.05/3609.40 c BDD nodes : 0
3600.05/3609.40 c Es1/CC detections : 0,0
3600.05/3609.40 c CC sort : 22
3600.05/3609.40 c SAT/UNSAT calls : 1,0
3600.05/3609.40 c regenrated variables : 0
3600.05/3609.40 c eliminated fixed lits : 0
3600.05/3609.40 c goal lit flips : 0
3600.05/3609.40 c goal stages : 1
3600.05/3609.40 c goal shrink : 0
3600.05/3609.40 c goal coeff separations: 0
3600.05/3609.40 c restarts : 1
3600.05/3609.40 c conflicts : 6 (0 /sec)
3600.05/3609.40 c decisions : 713679 (198 /sec)
3600.05/3609.40 c propagations : 719332 (200 /sec)
3600.05/3609.40 c inspects : 0 (0 /sec)
3600.05/3609.40 c CPU time (solving tm) : 3598 s (3587 s, SAT 0.08484 s, UNSAT 0 s)
3600.05/3609.40 c Time for Opt-base : 0.004598 s
3600.05/3609.40 c Steps for Opt-base : 0
3600.05/3609.40 c Time for BDD coding : 0 s
3600.05/3609.40 c Time for srt coding : 0.001364 s
3600.05/3609.40 c _____________________________________________________________________________
3600.05/3609.40 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -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.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
3600.05/3609.40 v
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (44079 MiB free)
memory of node 1: 64473 MiB (39486 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461056-1722077654/watcher-4461056-1722077654 -o /tmp/evaluation-result-4461056-1722077654/solver-4461056-1722077654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722076950-310605 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461056-1722077654.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=311464, runsolver pid=311461
[startup+0.100094 s]*
/proc/loadavg: 4.22 4.04 3.56 5/251 311469
/proc/meminfo: memFree=85566968/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=10908 memory=4620 CPUtime=0.1 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 824 0 0 0 10 0 0 0 20 0 1 0 43754654 11169792 1155 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 2727 1155 436 659 0 1931 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20840 KiB
Current children cumulated memory: 7304 KiB
[startup+0.213436 s]*
/proc/loadavg: 4.22 4.04 3.56 5/251 311469
/proc/meminfo: memFree=85564000/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=14176 memory=7784 CPUtime=0.21 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 1629 0 0 0 21 0 0 0 20 0 1 0 43754654 14516224 1946 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 3544 1946 436 659 0 2748 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 24108 KiB
Current children cumulated memory: 10468 KiB
[startup+0.313421 s]*
/proc/loadavg: 4.22 4.04 3.56 5/251 311469
/proc/meminfo: memFree=85560500/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=17460 memory=11080 CPUtime=0.31 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 2530 0 0 0 31 0 0 0 20 0 1 0 43754654 17879040 2770 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 4365 2770 436 659 0 3569 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27392 KiB
Current children cumulated memory: 13764 KiB
[startup+0.700427 s]
/proc/loadavg: 4.22 4.04 3.56 6/251 311469
/proc/meminfo: memFree=85551732/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=29084 memory=24436 CPUtime=0.68 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 5559 0 0 0 67 1 0 0 20 0 1 0 43754654 29782016 6109 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 7271 6109 436 659 0 6475 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39016 KiB
Current children cumulated memory: 27120 KiB
[startup+1.50042 s]
/proc/loadavg: 4.21 4.03 3.56 5/251 311469
/proc/meminfo: memFree=85531120/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=71380 memory=61532 CPUtime=1.48 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 14731 0 0 0 145 3 0 0 20 0 1 0 43754654 73093120 15383 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 17845 15383 436 659 0 17049 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 81312 KiB
Current children cumulated memory: 64216 KiB
[startup+3.11331 s]
/proc/loadavg: 4.21 4.03 3.56 5/251 311469
/proc/meminfo: memFree=85360128/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=222748 memory=208308 CPUtime=3.09 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 46425 0 0 0 301 8 0 0 20 0 1 0 43754654 228093952 52077 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 55687 52077 436 659 0 54891 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 232680 KiB
Current children cumulated memory: 210992 KiB
[startup+6.30041 s]
/proc/loadavg: 4.19 4.03 3.56 5/251 311469
/proc/meminfo: memFree=85247432/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=367636 memory=324624 CPUtime=6.27 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 73995 0 0 0 615 12 0 0 20 0 1 0 43754654 376459264 81156 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 91909 81156 468 659 0 91113 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 377568 KiB
Current children cumulated memory: 327308 KiB
[startup+12.7004 s]
/proc/loadavg: 4.17 4.03 3.57 5/251 311470
/proc/meminfo: memFree=83562004/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=2507288 memory=2166756 CPUtime=12.66 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 288800 0 0 0 1204 62 0 0 20 0 1 0 43754654 2567462912 541689 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 626822 541689 468 659 0 626026 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2517220 KiB
Current children cumulated memory: 2169440 KiB
[startup+25.5004 s]
/proc/loadavg: 4.15 4.03 3.57 5/251 311472
/proc/meminfo: memFree=83353416/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=2543496 memory=2204612 CPUtime=25.43 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 291148 0 0 0 2479 64 0 0 20 0 1 0 43754654 2604539904 551153 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 635874 551153 468 659 0 635078 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2553428 KiB
Current children cumulated memory: 2207296 KiB
[startup+51.1134 s]
/proc/loadavg: 4.16 4.04 3.59 5/251 311859
/proc/meminfo: memFree=83338016/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=2543496 memory=2208708 CPUtime=50.97 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 291385 0 0 0 5033 64 0 0 20 0 1 0 43754654 2604539904 552177 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 635874 552177 468 659 0 635078 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2553428 KiB
Current children cumulated memory: 2211392 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.07 3.63 5/249 311869
/proc/meminfo: memFree=79942740/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=2549672 memory=2245780 CPUtime=102.03 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 293327 0 0 0 10136 67 0 0 20 0 1 0 43754654 2610864128 561445 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 637418 561445 468 659 0 636622 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2559604 KiB
Current children cumulated memory: 2248464 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.08 3.66 5/249 311879
/proc/meminfo: memFree=78786696/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=2554692 memory=2279708 CPUtime=161.87 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 294974 0 0 0 16118 69 0 0 20 0 1 0 43754654 2616004608 569927 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 638673 569927 468 659 0 637877 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2564624 KiB
Current children cumulated memory: 2282392 KiB
[startup+222.301 s]
/proc/loadavg: 4.15 4.09 3.70 5/249 311889
/proc/meminfo: memFree=78662208/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=2558804 memory=2306032 CPUtime=221.72 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 296251 0 0 0 22101 71 0 0 20 0 1 0 43754654 2620215296 576508 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 639701 576508 468 659 0 638905 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 2568736 KiB
Current children cumulated memory: 2308716 KiB
################
# More data... #
################
/proc/311469/statm: 661759 598582 468 659 0 660963 0
Current children cumulated CPU time: 3034.54 s
Current children cumulated vsize: 2656968 KiB
Current children cumulated memory: 2397012 KiB
[startup+3102.3 s]
/proc/loadavg: 2.71 3.64 3.97 3/230 313270
/proc/meminfo: memFree=118291292/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=2647960 memory=2399284 CPUtime=3094.39 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 335423 0 0 0 309293 146 0 0 20 0 1 0 43754654 2711511040 599821 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 661990 599821 468 659 0 661194 0
Current children cumulated CPU time: 3094.39 s
Current children cumulated vsize: 2657892 KiB
Current children cumulated memory: 2401968 KiB
[startup+3162.3 s]
/proc/loadavg: 2.31 3.35 3.85 3/229 313280
/proc/meminfo: memFree=118333180/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=2649292 memory=2406740 CPUtime=3154.22 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 336077 0 0 0 315275 147 0 0 20 0 1 0 43754654 2712875008 601685 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 662323 601685 468 659 0 661527 0
Current children cumulated CPU time: 3154.22 s
Current children cumulated vsize: 2659224 KiB
Current children cumulated memory: 2409424 KiB
[startup+3222.3 s]
/proc/loadavg: 2.23 3.13 3.74 3/229 313290
/proc/meminfo: memFree=118301964/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=2650352 memory=2409956 CPUtime=3214.06 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 336679 0 0 0 321257 149 0 0 20 0 1 0 43754654 2713960448 602489 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 662588 602489 468 659 0 661792 0
Current children cumulated CPU time: 3214.06 s
Current children cumulated vsize: 2660284 KiB
Current children cumulated memory: 2412640 KiB
[startup+3282.3 s]
/proc/loadavg: 2.15 2.94 3.63 3/229 313301
/proc/meminfo: memFree=118265792/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=2651804 memory=2417664 CPUtime=3273.88 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 337536 0 0 0 327238 150 0 0 20 0 1 0 43754654 2715447296 604416 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 662951 604416 468 659 0 662155 0
Current children cumulated CPU time: 3273.88 s
Current children cumulated vsize: 2661736 KiB
Current children cumulated memory: 2420348 KiB
[startup+3342.3 s]
/proc/loadavg: 2.10 2.78 3.53 3/229 313311
/proc/meminfo: memFree=118313408/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=2652728 memory=2422808 CPUtime=3333.71 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 338097 0 0 0 333220 151 0 0 20 0 1 0 43754654 2716393472 605702 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 663182 605702 468 659 0 662386 0
Current children cumulated CPU time: 3333.71 s
Current children cumulated vsize: 2662660 KiB
Current children cumulated memory: 2425492 KiB
[startup+3402.3 s]
/proc/loadavg: 2.14 2.67 3.44 3/232 313326
/proc/meminfo: memFree=118276528/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=2653396 memory=2431716 CPUtime=3393.53 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 338626 0 0 0 339201 152 0 0 20 0 1 0 43754654 2717077504 607929 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 663349 607929 468 659 0 662553 0
Current children cumulated CPU time: 3393.53 s
Current children cumulated vsize: 2663328 KiB
Current children cumulated memory: 2434400 KiB
[startup+3462.3 s]
/proc/loadavg: 2.10 2.56 3.36 3/232 313338
/proc/meminfo: memFree=118241900/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=2654192 memory=2436664 CPUtime=3453.36 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 339155 0 0 0 345183 153 0 0 20 0 1 0 43754654 2717892608 609166 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 663548 609166 468 659 0 662752 0
Current children cumulated CPU time: 3453.36 s
Current children cumulated vsize: 2664124 KiB
Current children cumulated memory: 2439348 KiB
[startup+3522.3 s]
/proc/loadavg: 2.08 2.47 3.27 3/232 313348
/proc/meminfo: memFree=118206876/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=2655116 memory=2443736 CPUtime=3513.19 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 339870 0 0 0 351164 155 0 0 20 0 1 0 43754654 2718838784 610934 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 663779 610934 468 659 0 662983 0
Current children cumulated CPU time: 3513.19 s
Current children cumulated vsize: 2665048 KiB
Current children cumulated memory: 2446420 KiB
[startup+3582.3 s]
/proc/loadavg: 2.25 2.44 3.21 3/232 313358
/proc/meminfo: memFree=118269972/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=2656172 memory=2448908 CPUtime=3573.02 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 340465 0 0 0 357146 156 0 0 20 0 1 0 43754654 2719920128 612227 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 664043 612227 468 659 0 663247 0
Current children cumulated CPU time: 3573.02 s
Current children cumulated vsize: 2666104 KiB
Current children cumulated memory: 2451592 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 2.02 2.38 3.17 2/224 313393
/proc/meminfo: memFree=119886548/131655788 swapFree=131056320/131071996
[pid=311464] ppid=311461 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/311464/stat : 311464 (naps-1.03.sh) S 311461 311464 310594 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 43754654 10170368 671 134679101440 94638881882112 94638882961432 140723826319856 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94638885059888 94638885107076 94638886158336 140723826324445 140723826324574 140723826324574 140723826331592 0
/proc/311464/statm: 2483 671 593 264 0 134 0
[pid=311469] ppid=311464 vsize=2656700 memory=2451532 CPUtime=3600.05 cores=4,6
/proc/311469/stat : 311469 (naps-1.03) R 311464 311464 310594 0 -1 4194304 340695 0 0 0 359848 157 0 0 20 0 1 0 43754654 2720460800 612883 134679101440 4194304 6891597 140728521783024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12406784 140728521786350 140728521786466 140728521786466 140728521793483 0
/proc/311469/statm: 664175 612883 468 659 0 663379 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2666632 KiB
Current children cumulated memory: 2454216 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 311464 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.004235 s, system=0.003233 s
[startup+3609.48 s]
# the end of solver process 311469 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.49 s, system=1.65287 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.48
CPU time (s): 3600.14
CPU user time (s): 3598.49
CPU system time (s): 1.65287
CPU usage (%): 99.7413
Max. virtual memory (cumulated for all children) (KiB): 3188852
Max. memory (cumulated for all children) (KiB): 2777920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.49
system time used= 1.65287
maximum resident set size= 2775236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 341161
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= 15
involuntary context switches= 4875
# summary of solver processes directly reported to runsolver:
# pid: 311464,311469
# total CPU time (s): 3600.14
# total CPU user time (s): 3598.49
# total CPU system time (s): 1.65287
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.65 second user time and 36.6784 second system time
The end
Begin job on nodeC006 at 2024-07-27 12:54:14
IDJOB=4461056
IDBENCH=143887
IDSOLVER=3087
FILE ID=nodeC006/4461056-1722077654
RUNJOBID= nodeC006-1722076950-310605
SLURM_JOB_ID= 8248145
Free space on /tmp= 723744 MiB
SOLVER NAME= NaPS-GM 1.03a1
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub4_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4461056-1722077654/watcher-4461056-1722077654 -o /tmp/evaluation-result-4461056-1722077654/solver-4461056-1722077654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722076950-310605 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461056-1722077654.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 017722a65fbbcf3be40a97a1e4190efb
RANDOM SEED=1819496005
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3510.775
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3564.401
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.239
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.262
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1241.241
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.531
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.118
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.172
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 85570932 kB
MemAvailable: 93032092 kB
Buffers: 388884 kB
Cached: 7658360 kB
SwapCached: 244 kB
Active: 2132056 kB
Inactive: 42922188 kB
Active(anon): 1760 kB
Inactive(anon): 37058712 kB
Active(file): 2130296 kB
Inactive(file): 5863476 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056320 kB
Dirty: 29260 kB
Writeback: 0 kB
AnonPages: 37006848 kB
Mapped: 99960 kB
Shmem: 53436 kB
KReclaimable: 529296 kB
Slab: 641820 kB
SReclaimable: 529296 kB
SUnreclaim: 112524 kB
KernelStack: 4016 kB
PageTables: 81904 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 41421712 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16576 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12056576 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: 428872 kB
DirectMap2M: 59244544 kB
DirectMap1G: 76546048 kB
Free space on /tmp at the end= 723768 MiB
End job on nodeC006 at 2024-07-27 13:54:23