0.00/0.00 c NaPS 1.03.
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-4426286-1720901802.wbo
3.58/3.66 c single stage optimization mode
3.88/3.95 o 36027
3600.07/3609.60 c
3600.07/3609.60 c *** TERMINATED *** by signal 15
3600.07/3609.60 s SATISFIABLE
3600.07/3609.60 c _____________________________________________________________________________
3600.07/3609.60 c std/band forms : 23,0
3600.07/3609.60 c 2cl/3cl ITE-codings : 0,0
3600.07/3609.60 c BDD/srt/adr Max costs : 0,694,1353762
3600.07/3609.60 c BDDraw/bin/mul/srt/adr: 0,0,0,22,1
3600.07/3609.60 c BDD nodes : 0
3600.07/3609.60 c Es1/CC detections : 0,0
3600.07/3609.60 c CC sort : 22
3600.07/3609.60 c SAT/UNSAT calls : 1,0
3600.07/3609.60 c regenrated variables : 0
3600.07/3609.60 c eliminated fixed lits : 0
3600.07/3609.60 c goal lit flips : 0
3600.07/3609.60 c goal stages : 1
3600.07/3609.60 c goal shrink : 0
3600.07/3609.60 c goal coeff separations: 0
3600.07/3609.60 c restarts : 1
3600.07/3609.60 c conflicts : 44 (0 /sec)
3600.07/3609.60 c decisions : 703494 (196 /sec)
3600.07/3609.60 c propagations : 709347 (197 /sec)
3600.07/3609.60 c inspects : 0 (0 /sec)
3600.07/3609.60 c CPU time (solving tm) : 3597 s (3588 s, SAT 0.07607 s, UNSAT 0 s)
3600.07/3609.60 c Time for Opt-base : 0.004386 s
3600.07/3609.60 c Steps for Opt-base : 0
3600.07/3609.60 c Time for BDD coding : 0 s
3600.07/3609.60 c Time for srt coding : 0.001385 s
3600.07/3609.60 c _____________________________________________________________________________
3600.07/3609.60 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.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 v
3600.07/3609.60 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: 64059 MiB (62384 MiB free)
memory of node 1: 64510 MiB (63298 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426286-1720901802/watcher-4426286-1720901802 -o /tmp/evaluation-result-4426286-1720901802/solver-4426286-1720901802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1720901807-715214 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426286-1720901802.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=715338, runsolver pid=715335
[startup+0.100094 s]*
/proc/loadavg: 0.66 0.21 0.15 5/245 715343
/proc/meminfo: memFree=128683872/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=16480 memory=9992 CPUtime=0.1 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 2176 0 0 0 10 0 0 0 20 0 1 0 142337198 16875520 2498 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 4120 2498 436 659 0 3324 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26412 KiB
Current children cumulated memory: 12628 KiB
[startup+0.212049 s]*
/proc/loadavg: 0.66 0.21 0.15 5/245 715343
/proc/meminfo: memFree=128672580/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=21868 memory=15880 CPUtime=0.21 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 3734 0 0 0 21 0 0 0 20 0 1 0 142337198 22392832 3970 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 5467 3970 436 659 0 4671 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31800 KiB
Current children cumulated memory: 18516 KiB
[startup+0.312616 s]*
/proc/loadavg: 0.66 0.21 0.15 5/245 715343
/proc/meminfo: memFree=128666392/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=28404 memory=21788 CPUtime=0.3 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 5391 0 0 0 30 0 0 0 20 0 1 0 142337198 29085696 5447 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 7101 5447 436 659 0 6305 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38336 KiB
Current children cumulated memory: 24424 KiB
[startup+0.700404 s]
/proc/loadavg: 0.66 0.21 0.15 5/245 715343
/proc/meminfo: memFree=128645540/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=51632 memory=44268 CPUtime=0.69 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 10896 0 0 0 67 2 0 0 20 0 1 0 142337198 52871168 11067 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 12908 11067 436 659 0 12112 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 61564 KiB
Current children cumulated memory: 46904 KiB
[startup+1.50036 s]
/proc/loadavg: 0.66 0.21 0.15 5/245 715343
/proc/meminfo: memFree=128559928/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=110772 memory=98176 CPUtime=1.48 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 24095 0 0 0 144 4 0 0 20 0 1 0 142337198 113430528 24544 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 27693 24544 436 659 0 26897 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 120704 KiB
Current children cumulated memory: 100812 KiB
[startup+3.11278 s]
/proc/loadavg: 0.92 0.28 0.17 5/245 715393
/proc/meminfo: memFree=128893804/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=264348 memory=248836 CPUtime=3.09 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 58604 0 0 0 300 9 0 0 20 0 1 0 142337198 270692352 62209 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 66087 62209 468 659 0 65291 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 274280 KiB
Current children cumulated memory: 251472 KiB
[startup+6.3004 s]
/proc/loadavg: 0.92 0.28 0.17 5/245 715394
/proc/meminfo: memFree=128392616/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=763448 memory=714064 CPUtime=6.27 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 118686 0 0 0 604 23 0 0 20 0 1 0 142337198 781770752 178516 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 190862 178516 468 659 0 190066 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 773380 KiB
Current children cumulated memory: 716700 KiB
[startup+12.7004 s]
/proc/loadavg: 1.17 0.34 0.19 5/245 715394
/proc/meminfo: memFree=127103984/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=1961516 memory=1835664 CPUtime=12.66 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 247378 0 0 0 1212 54 0 0 20 0 1 0 142337198 2008592384 458916 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 490379 458916 468 659 0 489583 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1971448 KiB
Current children cumulated memory: 1838300 KiB
[startup+25.5005 s]
/proc/loadavg: 1.80 0.52 0.25 5/245 715396
/proc/meminfo: memFree=122707716/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=1976576 memory=1847948 CPUtime=25.42 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 249523 0 0 0 2488 54 0 0 20 0 1 0 142337198 2024013824 461987 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 494144 461987 468 659 0 493348 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1986508 KiB
Current children cumulated memory: 1850584 KiB
[startup+51.1129 s]
/proc/loadavg: 2.55 0.80 0.36 5/245 715450
/proc/meminfo: memFree=117579884/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=1976576 memory=1856140 CPUtime=50.97 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 249738 0 0 0 5042 55 0 0 20 0 1 0 142337198 2024013824 464035 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 494144 464035 468 659 0 493348 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1986508 KiB
Current children cumulated memory: 1858776 KiB
[startup+102.3 s]
/proc/loadavg: 3.42 1.31 0.55 5/245 715459
/proc/meminfo: memFree=112880672/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=1980536 memory=1865108 CPUtime=102.03 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 251340 0 0 0 10147 56 0 0 20 0 1 0 142337198 2028068864 466277 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 495134 466277 468 659 0 494338 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 1990468 KiB
Current children cumulated memory: 1867744 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 1.83 0.78 5/245 715470
/proc/meminfo: memFree=107169112/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=1985780 memory=1880384 CPUtime=161.88 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 252918 0 0 0 16131 57 0 0 20 0 1 0 142337198 2033438720 470096 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 496445 470096 468 659 0 495649 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 1995712 KiB
Current children cumulated memory: 1883020 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.24 0.99 5/245 715480
/proc/meminfo: memFree=96294456/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=1988816 memory=1890236 CPUtime=221.73 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 253992 0 0 0 22115 58 0 0 20 0 1 0 142337198 2036547584 472559 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 497204 472559 468 659 0 496408 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 1998748 KiB
################
# More data... #
################
/proc/715343/statm: 526559 506726 468 659 0 525763 0
Current children cumulated CPU time: 3034.2 s
Current children cumulated vsize: 2116168 KiB
Current children cumulated memory: 2029540 KiB
[startup+3102.3 s]
/proc/loadavg: 2.14 2.13 2.09 3/229 717253
/proc/meminfo: memFree=125101736/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=2321968 memory=2082664 CPUtime=3094.06 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 327036 0 0 0 309131 275 0 0 20 0 1 0 142337198 2377695232 520666 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 580492 520666 468 659 0 579696 0
Current children cumulated CPU time: 3094.06 s
Current children cumulated vsize: 2331900 KiB
Current children cumulated memory: 2085300 KiB
[startup+3162.3 s]
/proc/loadavg: 2.09 2.12 2.09 3/229 717263
/proc/meminfo: memFree=125077776/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=2324768 memory=2140580 CPUtime=3153.92 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 328312 0 0 0 315115 277 0 0 20 0 1 0 142337198 2380562432 535145 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 581192 535145 468 659 0 580396 0
Current children cumulated CPU time: 3153.92 s
Current children cumulated vsize: 2334700 KiB
Current children cumulated memory: 2143216 KiB
[startup+3222.3 s]
/proc/loadavg: 2.13 2.13 2.09 3/229 717273
/proc/meminfo: memFree=125106112/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=2325700 memory=2082284 CPUtime=3213.78 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 330142 0 0 0 321093 285 0 0 20 0 1 0 142337198 2381516800 520571 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 581425 520571 468 659 0 580629 0
Current children cumulated CPU time: 3213.78 s
Current children cumulated vsize: 2335632 KiB
Current children cumulated memory: 2084920 KiB
[startup+3282.3 s]
/proc/loadavg: 2.10 2.12 2.09 3/232 717289
/proc/meminfo: memFree=125025956/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=2326892 memory=2134544 CPUtime=3273.63 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 331015 0 0 0 327077 286 0 0 20 0 1 0 142337198 2382737408 533636 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 581723 533636 468 659 0 580927 0
Current children cumulated CPU time: 3273.63 s
Current children cumulated vsize: 2336824 KiB
Current children cumulated memory: 2137180 KiB
[startup+3342.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/232 717299
/proc/meminfo: memFree=125119648/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=2335740 memory=2080228 CPUtime=3333.49 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 332541 0 0 0 333054 295 0 0 20 0 1 0 142337198 2391797760 520057 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 583935 520057 468 659 0 583139 0
Current children cumulated CPU time: 3333.49 s
Current children cumulated vsize: 2345672 KiB
Current children cumulated memory: 2082864 KiB
[startup+3402.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/233 717310
/proc/meminfo: memFree=125040700/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=2335740 memory=2131428 CPUtime=3393.34 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 333331 0 0 0 339038 296 0 0 20 0 1 0 142337198 2391797760 532857 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 583935 532857 468 659 0 583139 0
Current children cumulated CPU time: 3393.34 s
Current children cumulated vsize: 2345672 KiB
Current children cumulated memory: 2134064 KiB
[startup+3462.3 s]
/proc/loadavg: 2.08 2.10 2.09 3/233 717321
/proc/meminfo: memFree=125140516/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=2335740 memory=2061812 CPUtime=3453.19 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 334803 0 0 0 345014 305 0 0 20 0 1 0 142337198 2391797760 515453 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 583935 515453 468 659 0 583139 0
Current children cumulated CPU time: 3453.19 s
Current children cumulated vsize: 2345672 KiB
Current children cumulated memory: 2064448 KiB
[startup+3522.3 s]
/proc/loadavg: 2.06 2.09 2.09 3/233 717332
/proc/meminfo: memFree=125061116/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=2335740 memory=2110968 CPUtime=3513.02 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 335370 0 0 0 350996 306 0 0 20 0 1 0 142337198 2391797760 527742 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 583935 527742 468 659 0 583139 0
Current children cumulated CPU time: 3513.02 s
Current children cumulated vsize: 2345672 KiB
Current children cumulated memory: 2113604 KiB
[startup+3582.3 s]
/proc/loadavg: 2.11 2.10 2.09 3/230 717342
/proc/meminfo: memFree=125061592/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=2335740 memory=2162172 CPUtime=3572.84 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 336272 0 0 0 356977 307 0 0 20 0 1 0 142337198 2391797760 540543 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 583935 540543 468 659 0 583139 0
Current children cumulated CPU time: 3572.84 s
Current children cumulated vsize: 2345672 KiB
Current children cumulated memory: 2164808 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 2.13 2.11 2.09 3/230 717348
/proc/meminfo: memFree=125145416/131655788 swapFree=131071996/131071996
[pid=715338] ppid=715335 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/715338/stat : 715338 (naps-1.03.sh) S 715335 715338 715202 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142337197 10170368 659 134679101440 94615467380736 94615468460056 140720575053808 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94615470558512 94615470605700 94615475597312 140720575058860 140720575058989 140720575058989 140720575066056 0
/proc/715338/statm: 2483 659 579 264 0 134 0
[pid=715343] ppid=715338 vsize=2335740 memory=2061820 CPUtime=3600.07 cores=1,3
/proc/715343/stat : 715343 (naps-1.03) R 715338 715338 715202 0 -1 4194304 337227 0 0 0 359691 316 0 0 20 0 1 0 142337198 2391797760 515455 134679101440 4194304 6891213 140733249756256 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 8658944 140733249758141 140733249758257 140733249758257 140733249765323 0
/proc/715343/statm: 583935 515455 468 659 0 583139 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2345672 KiB
Current children cumulated memory: 2064456 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.61 s]
# the end of solver process 715338 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000951 s, system=0.00479 s
[startup+3609.62 s]
# the end of solver process 715343 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3596.92 s, system=3.17777 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.62
CPU time (s): 3600.1
CPU user time (s): 3596.92
CPU system time (s): 3.17777
CPU usage (%): 99.7363
Max. virtual memory (cumulated for all children) (KiB): 2689548
Max. memory (cumulated for all children) (KiB): 2509024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.92
system time used= 3.17777
maximum resident set size= 2506388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 337715
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= 242
involuntary context switches= 4736
# summary of solver processes directly reported to runsolver:
# pid: 715338,715343
# total CPU time (s): 3600.1
# total CPU user time (s): 3596.92
# total CPU system time (s): 3.17777
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.0982 second user time and 32.3223 second system time
The end
Begin job on nodeC012 at 2024-07-13 22:16:55
IDJOB=4426286
IDBENCH=143888
IDSOLVER=3042
FILE ID=nodeC012/4426286-1720901802
RUNJOBID= nodeC012-1720901807-715214
SLURM_JOB_ID= 7486078
Free space on /tmp= 723744 MiB
SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub4_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426286-1720901802/watcher-4426286-1720901802 -o /tmp/evaluation-result-4426286-1720901802/solver-4426286-1720901802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1720901807-715214 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426286-1720901802.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 951d8ca9c19f6c1f8975ac3bbc5eec26
RANDOM SEED=2039415004
nodeC012.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 : 3518.204
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 : 6984.37
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 : 3492.190
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.32
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.498
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 : 6984.37
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.333
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.32
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 : 3564.883
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 : 6984.37
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 : 3652.380
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.32
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.335
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 : 6984.37
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.417
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128732344 kB
MemAvailable: 128693328 kB
Buffers: 333336 kB
Cached: 476036 kB
SwapCached: 0 kB
Active: 513164 kB
Inactive: 1910104 kB
Active(anon): 1472 kB
Inactive(anon): 1650144 kB
Active(file): 511692 kB
Inactive(file): 259960 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 45024 kB
Writeback: 0 kB
AnonPages: 1613644 kB
Mapped: 107284 kB
Shmem: 37704 kB
KReclaimable: 58724 kB
Slab: 148160 kB
SReclaimable: 58724 kB
SUnreclaim: 89436 kB
KernelStack: 3952 kB
PageTables: 12672 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2154792 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 46368 kB
HardwareCorrupted: 0 kB
AnonHugePages: 837632 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: 207688 kB
DirectMap2M: 10182656 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 723760 MiB
End job on nodeC012 at 2024-07-13 23:17:05