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-4426291-1720901801.wbo
3.67/3.75 c single stage optimization mode
3.99/4.04 o 23753661
3600.07/3612.11 c
3600.07/3612.11 c *** TERMINATED *** by signal 15
3600.07/3612.11 s SATISFIABLE
3600.07/3612.11 c _____________________________________________________________________________
3600.07/3612.11 c std/band forms : 23,0
3600.07/3612.11 c 2cl/3cl ITE-codings : 0,0
3600.07/3612.11 c BDD/srt/adr Max costs : 0,694,1664812
3600.07/3612.11 c BDDraw/bin/mul/srt/adr: 0,0,0,22,1
3600.07/3612.11 c BDD nodes : 0
3600.07/3612.11 c Es1/CC detections : 0,0
3600.07/3612.11 c CC sort : 22
3600.07/3612.11 c SAT/UNSAT calls : 1,0
3600.07/3612.11 c regenrated variables : 0
3600.07/3612.11 c eliminated fixed lits : 0
3600.07/3612.11 c goal lit flips : 0
3600.07/3612.11 c goal stages : 1
3600.07/3612.11 c goal shrink : 0
3600.07/3612.11 c goal coeff separations: 0
3600.07/3612.11 c restarts : 1
3600.07/3612.11 c conflicts : 6 (0 /sec)
3600.07/3612.11 c decisions : 713679 (198 /sec)
3600.07/3612.11 c propagations : 719332 (200 /sec)
3600.07/3612.11 c inspects : 0 (0 /sec)
3600.07/3612.11 c CPU time (solving tm) : 3599 s (3588 s, SAT 0.08219 s, UNSAT 0 s)
3600.07/3612.11 c Time for Opt-base : 0.004685 s
3600.07/3612.11 c Steps for Opt-base : 0
3600.07/3612.11 c Time for BDD coding : 0 s
3600.07/3612.11 c Time for srt coding : 0.001402 s
3600.07/3612.11 c _____________________________________________________________________________
3600.07/3612.11 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/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 v
3600.07/3612.11 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 (62547 MiB free)
memory of node 1: 64473 MiB (63176 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426291-1720901801/watcher-4426291-1720901801 -o /tmp/evaluation-result-4426291-1720901801/solver-4426291-1720901801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1720901807-720157 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426291-1720901801.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=720333, runsolver pid=720330
[startup+0.100776 s]*
/proc/loadavg: 1.06 0.29 0.16 6/242 720338
/proc/meminfo: memFree=128728264/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=11312 memory=7088 CPUtime=0.09 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 885 0 0 0 9 0 0 0 20 0 1 0 142338994 11583488 1772 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 2828 1772 436 659 0 2032 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21244 KiB
Current children cumulated memory: 9900 KiB
[startup+0.213102 s]*
/proc/loadavg: 1.06 0.29 0.16 5/242 720338
/proc/meminfo: memFree=128711628/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=19328 memory=14220 CPUtime=0.2 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 2845 0 0 0 20 0 0 0 20 0 1 0 142338994 19791872 3555 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 4832 3555 436 659 0 4036 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29260 KiB
Current children cumulated memory: 17032 KiB
[startup+0.313348 s]*
/proc/loadavg: 1.06 0.29 0.16 5/242 720338
/proc/meminfo: memFree=128701380/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=27580 memory=20896 CPUtime=0.3 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 4697 0 0 0 30 0 0 0 20 0 1 0 142338994 28241920 5224 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 6895 5224 436 659 0 6099 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37512 KiB
Current children cumulated memory: 23708 KiB
[startup+0.700414 s]
/proc/loadavg: 1.06 0.29 0.16 5/242 720338
/proc/meminfo: memFree=128676004/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=53372 memory=47400 CPUtime=0.68 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 11148 0 0 0 66 2 0 0 20 0 1 0 142338994 54652928 11850 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 13343 11850 436 659 0 12547 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 63304 KiB
Current children cumulated memory: 50212 KiB
[startup+1.50037 s]
/proc/loadavg: 1.06 0.29 0.16 5/242 720338
/proc/meminfo: memFree=128585412/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=112916 memory=102916 CPUtime=1.48 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 24765 0 0 0 143 5 0 0 20 0 1 0 142338994 115625984 25729 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 28229 25729 436 659 0 27433 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 122848 KiB
Current children cumulated memory: 105728 KiB
[startup+3.11295 s]
/proc/loadavg: 1.06 0.29 0.16 5/242 720338
/proc/meminfo: memFree=127053628/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=249616 memory=236476 CPUtime=3.09 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 55023 0 0 0 299 10 0 0 20 0 1 0 142338994 255606784 59119 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 62404 59119 468 659 0 61608 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 259548 KiB
Current children cumulated memory: 239288 KiB
[startup+6.30039 s]
/proc/loadavg: 1.38 0.37 0.18 5/242 720338
/proc/meminfo: memFree=124031548/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=506140 memory=476572 CPUtime=6.27 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 88180 0 0 0 610 17 0 0 20 0 1 0 142338994 518287360 119143 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 126535 119143 468 659 0 125739 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 516072 KiB
Current children cumulated memory: 479384 KiB
[startup+12.7004 s]
/proc/loadavg: 1.67 0.45 0.21 5/242 720339
/proc/meminfo: memFree=118403360/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=2530640 memory=2192828 CPUtime=12.64 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 295908 0 0 0 1199 65 0 0 20 0 1 0 142338994 2591375360 548207 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 632660 548207 468 659 0 631864 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2540572 KiB
Current children cumulated memory: 2195640 KiB
[startup+25.5004 s]
/proc/loadavg: 2.49 0.69 0.29 5/242 720341
/proc/meminfo: memFree=116200484/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=2548048 memory=2205364 CPUtime=25.41 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 298165 0 0 0 2475 66 0 0 20 0 1 0 142338994 2609201152 551341 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 637012 551341 468 659 0 636216 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2557980 KiB
Current children cumulated memory: 2208176 KiB
[startup+51.1128 s]
/proc/loadavg: 3.48 1.07 0.43 5/242 720345
/proc/meminfo: memFree=116058312/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=2548048 memory=2211508 CPUtime=50.93 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 298401 0 0 0 5027 66 0 0 20 0 1 0 142338994 2609201152 552877 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 637012 552877 468 659 0 636216 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2557980 KiB
Current children cumulated memory: 2214320 KiB
[startup+102.3 s]
/proc/loadavg: 3.95 1.58 0.64 5/242 720354
/proc/meminfo: memFree=110076232/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=2549796 memory=2248532 CPUtime=101.96 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 299307 0 0 0 10128 68 0 0 20 0 1 0 142338994 2610991104 562133 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 637449 562133 468 659 0 636653 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 2559728 KiB
Current children cumulated memory: 2251344 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 2.06 0.86 5/242 720414
/proc/meminfo: memFree=112863520/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=2556288 memory=2283520 CPUtime=161.74 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 301204 0 0 0 16105 69 0 0 20 0 1 0 142338994 2617638912 570880 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 639072 570880 468 659 0 638276 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 2566220 KiB
Current children cumulated memory: 2286332 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 2.44 1.07 5/243 720425
/proc/meminfo: memFree=109690280/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=2559212 memory=2311140 CPUtime=221.51 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 302288 0 0 0 22081 70 0 0 20 0 1 0 142338994 2620633088 577785 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 639803 577785 468 659 0 639007 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 2569144 KiB
################
# More data... #
################
/proc/720338/statm: 663842 612949 468 659 0 663046 0
Current children cumulated CPU time: 3091.85 s
Current children cumulated vsize: 2665300 KiB
Current children cumulated memory: 2454608 KiB
[startup+3162.3 s]
/proc/loadavg: 3.13 3.11 3.06 4/234 722164
/proc/meminfo: memFree=123854888/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=2656568 memory=2457252 CPUtime=3151.66 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 359245 0 0 0 315049 117 0 0 20 0 1 0 142338994 2720325632 614313 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 664142 614313 468 659 0 663346 0
Current children cumulated CPU time: 3151.66 s
Current children cumulated vsize: 2666500 KiB
Current children cumulated memory: 2460064 KiB
[startup+3222.3 s]
/proc/loadavg: 3.20 3.13 3.08 4/234 722174
/proc/meminfo: memFree=124095492/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=2658028 memory=2356584 CPUtime=3211.47 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 361170 0 0 0 321021 126 0 0 20 0 1 0 142338994 2721820672 589146 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 664507 589146 468 659 0 663711 0
Current children cumulated CPU time: 3211.47 s
Current children cumulated vsize: 2667960 KiB
Current children cumulated memory: 2359396 KiB
[startup+3282.3 s]
/proc/loadavg: 3.13 3.12 3.08 4/237 722189
/proc/meminfo: memFree=124038492/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=2658688 memory=2363428 CPUtime=3271.29 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 362148 0 0 0 327002 127 0 0 20 0 1 0 142338994 2722496512 590857 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 664672 590857 468 659 0 663876 0
Current children cumulated CPU time: 3271.29 s
Current children cumulated vsize: 2668620 KiB
Current children cumulated memory: 2366240 KiB
[startup+3342.3 s]
/proc/loadavg: 3.16 3.13 3.08 4/237 722200
/proc/meminfo: memFree=123978884/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=2659876 memory=2368696 CPUtime=3331.1 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 363263 0 0 0 332983 127 0 0 20 0 1 0 142338994 2723713024 592174 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 664969 592174 468 659 0 664173 0
Current children cumulated CPU time: 3331.1 s
Current children cumulated vsize: 2669808 KiB
Current children cumulated memory: 2371508 KiB
[startup+3402.3 s]
/proc/loadavg: 3.12 3.12 3.08 4/237 722210
/proc/meminfo: memFree=123919448/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=2661064 memory=2376040 CPUtime=3390.91 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 364526 0 0 0 338964 127 0 0 20 0 1 0 142338994 2724929536 594010 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 665266 594010 468 659 0 664470 0
Current children cumulated CPU time: 3390.91 s
Current children cumulated vsize: 2670996 KiB
Current children cumulated memory: 2378852 KiB
[startup+3462.3 s]
/proc/loadavg: 3.09 3.11 3.08 4/237 722221
/proc/meminfo: memFree=124057872/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=2662256 memory=2383452 CPUtime=3450.72 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 365829 0 0 0 344945 127 0 0 20 0 1 0 142338994 2726150144 595863 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 665564 595863 468 659 0 664768 0
Current children cumulated CPU time: 3450.72 s
Current children cumulated vsize: 2672188 KiB
Current children cumulated memory: 2386264 KiB
[startup+3522.3 s]
/proc/loadavg: 3.21 3.14 3.09 4/238 722234
/proc/meminfo: memFree=123999880/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=2663444 memory=2388816 CPUtime=3510.54 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 367083 0 0 0 350926 128 0 0 20 0 1 0 142338994 2727366656 597204 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 665861 597204 468 659 0 665065 0
Current children cumulated CPU time: 3510.54 s
Current children cumulated vsize: 2673376 KiB
Current children cumulated memory: 2391628 KiB
[startup+3582.3 s]
/proc/loadavg: 3.13 3.12 3.09 4/235 722246
/proc/meminfo: memFree=123936588/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=2664764 memory=2392188 CPUtime=3570.35 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 368252 0 0 0 356907 128 0 0 20 0 1 0 142338994 2728718336 598047 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 666191 598047 468 659 0 665395 0
Current children cumulated CPU time: 3570.35 s
Current children cumulated vsize: 2674696 KiB
Current children cumulated memory: 2395000 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 3.15 3.13 3.09 3/227 722282
/proc/meminfo: memFree=125562132/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=2670384 memory=2401768 CPUtime=3600.07 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 369159 0 0 0 359878 129 0 0 20 0 1 0 142338994 2734473216 600442 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 667596 600442 468 659 0 666800 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2680316 KiB
Current children cumulated memory: 2404580 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.12 s]
# the end of solver process 720333 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002968 s, system=0.001232 s
[startup+3612.13 s]
# the end of solver process 720338 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.8 s, system=1.30216 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.11 s]
/proc/loadavg: 3.15 3.13 3.09 3/227 722282
/proc/meminfo: memFree=125562132/131655788 swapFree=131071996/131071996
[pid=720333] ppid=720330 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/720333/stat : 720333 (naps-1.03.sh) S 720330 720333 720147 0 -1 4194304 227 238 0 0 0 0 0 0 20 0 1 0 142338994 10170368 703 134679101440 93991589531648 93991590610968 140721393485424 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93991592709424 93991592756612 93991623831552 140721393488816 140721393488945 140721393488945 140721393496008 0
/proc/720333/statm: 2483 703 626 264 0 134 0
[pid=720338] ppid=720333 vsize=2670384 memory=2401768 CPUtime=3600.07 cores=0,2
/proc/720338/stat : 720338 (naps-1.03) R 720333 720333 720147 0 -1 4194304 369159 0 0 0 359878 129 0 0 20 0 1 0 142338994 2734473216 600442 134679101440 4194304 6891213 140727888315984 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24760320 140727888323521 140727888323637 140727888323637 140727888330699 0
/proc/720338/statm: 667596 600442 468 659 0 666800 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2680316 KiB
Current children cumulated memory: 2404580 KiB
Child status: 10
Real time (s): 3612.13
CPU time (s): 3600.1
CPU user time (s): 3598.8
CPU system time (s): 1.30216
CPU usage (%): 99.667
Max. virtual memory (cumulated for all children) (KiB): 3226760
Max. memory (cumulated for all children) (KiB): 2851444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.8
system time used= 1.30216
maximum resident set size= 2848632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 369633
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= 335
involuntary context switches= 25318
# summary of solver processes directly reported to runsolver:
# pid: 720333,720338
# total CPU time (s): 3600.1
# total CPU user time (s): 3598.8
# total CPU system time (s): 1.30216
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2769 second user time and 37.0334 second system time
The end
Begin job on nodeC005 at 2024-07-13 22:16:54
IDJOB=4426291
IDBENCH=143887
IDSOLVER=3042
FILE ID=nodeC005/4426291-1720901801
RUNJOBID= nodeC005-1720901807-720157
SLURM_JOB_ID= 7486071
Free space on /tmp= 723748 MiB
SOLVER NAME= NaPS-GM 1.03
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-4426291-1720901801/watcher-4426291-1720901801 -o /tmp/evaluation-result-4426291-1720901801/solver-4426291-1720901801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1720901807-720157 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426291-1720901801.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 017722a65fbbcf3be40a97a1e4190efb
RANDOM SEED=780343536
nodeC005.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 : 3545.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 : 6983.53
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 : 2369.450
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.35
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.177
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.53
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 : 1223.619
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.35
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 : 3491.764
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.53
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 : 3554.818
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.35
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.212
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.53
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.205
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128694940 kB
MemAvailable: 128601196 kB
Buffers: 317068 kB
Cached: 437604 kB
SwapCached: 0 kB
Active: 460376 kB
Inactive: 1994344 kB
Active(anon): 1456 kB
Inactive(anon): 1736300 kB
Active(file): 458920 kB
Inactive(file): 258044 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 42340 kB
Writeback: 0 kB
AnonPages: 1699244 kB
Mapped: 108216 kB
Shmem: 37696 kB
KReclaimable: 58984 kB
Slab: 151736 kB
SReclaimable: 58984 kB
SUnreclaim: 92752 kB
KernelStack: 3904 kB
PageTables: 12984 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2107448 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 47168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 901120 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: 187208 kB
DirectMap2M: 6008832 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 723752 MiB
End job on nodeC005 at 2024-07-13 23:17:06