0.00/0.00 c NaPS 1.03.
0.00/0.00 c Input file name: HOME/instance-4434313-1721059866.opb
0.30/0.36 c single stage optimization mode
0.30/0.36 o -36
3.98/4.02 o -37
5.48/5.58 o -38
6.57/6.67 o -39
13.96/14.05 o -40
41.27/41.40 o -45
451.95/453.13 o -48
3600.05/3609.70 c
3600.05/3609.70 c *** TERMINATED *** by signal 15
3600.05/3609.70 s SATISFIABLE
3600.05/3609.70 c _____________________________________________________________________________
3600.05/3609.70 c std/band forms : 11,0
3600.05/3609.70 c 2cl/3cl ITE-codings : 0,0
3600.05/3609.70 c BDD/srt/adr Max costs : 0,63046,0
3600.05/3609.70 c BDDraw/bin/mul/srt/adr: 0,0,0,11,0
3600.05/3609.70 c BDD nodes : 0
3600.05/3609.70 c Es1/CC detections : 0,0
3600.05/3609.70 c CC sort : 11
3600.05/3609.70 c SAT/UNSAT calls : 7,4
3600.05/3609.70 c regenrated variables : 1247
3600.05/3609.70 c eliminated fixed lits : 0
3600.05/3609.70 c goal lit flips : 36
3600.05/3609.70 c goal stages : 1
3600.05/3609.70 c goal shrink : 0
3600.05/3609.70 c goal coeff separations: 0
3600.05/3609.70 c restarts : 225461
3600.05/3609.70 c conflicts : 9313794 (2588 /sec)
3600.05/3609.70 c decisions : 12922822 (3590 /sec)
3600.05/3609.70 c propagations : 1355308110 (376537 /sec)
3600.05/3609.70 c inspects : 0 (0 /sec)
3600.05/3609.70 c CPU time (solving tm) : 3599 s (3599 s, SAT 438.6 s, UNSAT 12.7 s)
3600.05/3609.70 c Time for Opt-base : 0.003126 s
3600.05/3609.70 c Steps for Opt-base : 0
3600.05/3609.70 c Time for BDD coding : 0 s
3600.05/3609.70 c Time for srt coding : 0.0409 s
3600.05/3609.70 c _____________________________________________________________________________
3600.05/3609.70 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 x990 -x989 x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 x692 -x691 x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 x485 -x484 x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (60733 MiB free)
memory of node 1: 64473 MiB (61261 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434313-1721059866/watcher-4434313-1721059866 -o /tmp/evaluation-result-4434313-1721059866/solver-4434313-1721059866 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721056269-812990 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434313-1721059866.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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=815009, runsolver pid=815006
[startup+0.100098 s]*
/proc/loadavg: 4.11 4.14 4.09 5/260 815014
/proc/meminfo: memFree=124889864/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=6852 memory=5328 CPUtime=0.1 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 900 0 0 0 10 0 0 0 20 0 1 0 158157207 7016448 1332 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 1713 1332 580 659 0 917 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 16784 KiB
Current children cumulated memory: 8052 KiB
[startup+0.206092 s]*
/proc/loadavg: 4.11 4.14 4.09 5/260 815014
/proc/meminfo: memFree=124886644/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=9352 memory=7792 CPUtime=0.2 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 1579 0 0 0 20 0 0 0 20 0 1 0 158157207 9576448 1948 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 2338 1948 580 659 0 1542 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 19284 KiB
Current children cumulated memory: 10516 KiB
[startup+0.306015 s]*
/proc/loadavg: 4.11 4.14 4.09 5/260 815014
/proc/meminfo: memFree=124884160/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=11976 memory=10188 CPUtime=0.3 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 2295 0 0 0 30 0 0 0 20 0 1 0 158157207 12263424 2547 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 2994 2547 580 659 0 2198 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21908 KiB
Current children cumulated memory: 12912 KiB
[startup+0.700196 s]
/proc/loadavg: 4.11 4.14 4.09 5/257 815028
/proc/meminfo: memFree=125510344/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=41812 memory=38652 CPUtime=0.68 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 10224 0 0 0 67 1 0 0 20 0 1 0 158157207 42815488 9663 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 10453 9663 644 659 0 9657 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 51744 KiB
Current children cumulated memory: 41376 KiB
[startup+1.50027 s]
/proc/loadavg: 4.11 4.14 4.09 5/260 815064
/proc/meminfo: memFree=125500560/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=46784 memory=43696 CPUtime=1.48 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 11266 0 0 0 147 1 0 0 20 0 1 0 158157207 47906816 10924 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 11696 10924 644 659 0 10900 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 56716 KiB
Current children cumulated memory: 46420 KiB
[startup+3.10608 s]
/proc/loadavg: 4.11 4.14 4.09 5/260 815115
/proc/meminfo: memFree=126131996/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=49492 memory=46476 CPUtime=3.08 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 13004 0 0 0 306 2 0 0 20 0 1 0 158157207 50679808 11619 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 12373 11619 644 659 0 11577 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 59424 KiB
Current children cumulated memory: 49200 KiB
[startup+6.30026 s]
/proc/loadavg: 4.10 4.13 4.09 5/260 815115
/proc/meminfo: memFree=126118368/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=61204 memory=59344 CPUtime=6.27 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 15725 0 0 0 624 3 0 0 20 0 1 0 158157207 62672896 14836 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 15301 14836 644 659 0 14505 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 71136 KiB
Current children cumulated memory: 62068 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.13 4.09 5/260 815167
/proc/meminfo: memFree=126127640/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=51260 memory=49784 CPUtime=12.66 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 15731 0 0 0 1263 3 0 0 20 0 1 0 158157207 52490240 12446 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 12815 12446 660 659 0 12019 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 61192 KiB
Current children cumulated memory: 52508 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.12 4.09 5/260 815169
/proc/meminfo: memFree=126105080/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=55820 memory=54216 CPUtime=25.42 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 17081 0 0 0 2539 3 0 0 20 0 1 0 158157207 57159680 13554 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 13955 13554 660 659 0 13159 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 65752 KiB
Current children cumulated memory: 56940 KiB
[startup+51.1058 s]
/proc/loadavg: 4.11 4.13 4.09 5/261 815273
/proc/meminfo: memFree=126106828/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=63636 memory=61972 CPUtime=50.95 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 19974 0 0 0 5091 4 0 0 20 0 1 0 158157207 65163264 15493 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 15909 15493 660 659 0 15113 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 73568 KiB
Current children cumulated memory: 64696 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/261 815284
/proc/meminfo: memFree=126069676/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=72660 memory=71072 CPUtime=102.03 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 28472 0 0 0 10196 7 0 0 20 0 1 0 158157207 74403840 17768 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 18165 17768 660 659 0 17369 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 82592 KiB
Current children cumulated memory: 73796 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/261 815294
/proc/meminfo: memFree=126010536/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=81792 memory=80132 CPUtime=161.88 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 34060 0 0 0 16179 9 0 0 20 0 1 0 158157207 83755008 20033 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 20448 20033 660 659 0 19652 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 91724 KiB
Current children cumulated memory: 82856 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/261 815404
/proc/meminfo: memFree=126019692/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=62728 memory=61356 CPUtime=221.74 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 37761 0 0 0 22164 10 0 0 20 0 1 0 158157207 64233472 15339 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 15682 15339 660 659 0 14886 0
Current children cumulated CPU time: 221.74 s
################
# More data... #
################
/proc/loadavg: 4.15 4.16 4.13 5/262 817108
/proc/meminfo: memFree=125607584/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=161064 memory=159564 CPUtime=3094.18 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 98412 0 0 0 309366 52 0 0 20 0 1 0 158157207 164929536 39891 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 40266 39891 660 659 0 39470 0
Current children cumulated CPU time: 3094.18 s
Current children cumulated vsize: 170996 KiB
Current children cumulated memory: 162288 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.16 4.13 5/259 817118
/proc/meminfo: memFree=125605312/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=161064 memory=159564 CPUtime=3154 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 99587 0 0 0 315346 54 0 0 20 0 1 0 158157207 164929536 39891 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 40266 39891 660 659 0 39470 0
Current children cumulated CPU time: 3154 s
Current children cumulated vsize: 170996 KiB
Current children cumulated memory: 162288 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.16 4.13 5/259 817129
/proc/meminfo: memFree=125587436/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=194724 memory=193164 CPUtime=3213.82 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 100870 0 0 0 321327 55 0 0 20 0 1 0 158157207 199397376 48291 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 48681 48291 660 659 0 47885 0
Current children cumulated CPU time: 3213.82 s
Current children cumulated vsize: 204656 KiB
Current children cumulated memory: 195888 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.16 4.13 5/258 817139
/proc/meminfo: memFree=125652368/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=161064 memory=159564 CPUtime=3273.64 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 101637 0 0 0 327308 56 0 0 20 0 1 0 158157207 164929536 39891 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 40266 39891 660 659 0 39470 0
Current children cumulated CPU time: 3273.64 s
Current children cumulated vsize: 170996 KiB
Current children cumulated memory: 162288 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/258 817149
/proc/meminfo: memFree=125632936/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=198172 memory=196672 CPUtime=3333.46 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 102699 0 0 0 333289 57 0 0 20 0 1 0 158157207 202928128 49168 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 49543 49168 660 659 0 48747 0
Current children cumulated CPU time: 3333.46 s
Current children cumulated vsize: 208104 KiB
Current children cumulated memory: 199396 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.15 4.12 5/258 817160
/proc/meminfo: memFree=125640892/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=163772 memory=162196 CPUtime=3393.28 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 104132 0 0 0 339270 58 0 0 20 0 1 0 158157207 167702528 40549 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 40943 40549 660 659 0 40147 0
Current children cumulated CPU time: 3393.28 s
Current children cumulated vsize: 173704 KiB
Current children cumulated memory: 164920 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/258 817170
/proc/meminfo: memFree=125615844/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=198020 memory=196520 CPUtime=3453.09 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 105202 0 0 0 345250 59 0 0 20 0 1 0 158157207 202772480 49130 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 49505 49130 660 659 0 48709 0
Current children cumulated CPU time: 3453.09 s
Current children cumulated vsize: 207952 KiB
Current children cumulated memory: 199244 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/259 817181
/proc/meminfo: memFree=125699624/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=130604 memory=129232 CPUtime=3512.92 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 106635 0 0 0 351230 62 0 0 20 0 1 0 158157207 133738496 32308 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 32651 32308 660 659 0 31855 0
Current children cumulated CPU time: 3512.92 s
Current children cumulated vsize: 140536 KiB
Current children cumulated memory: 131956 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/262 817198
/proc/meminfo: memFree=125691300/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=131880 memory=130508 CPUtime=3572.73 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 108262 0 0 0 357209 64 0 0 20 0 1 0 158157207 135045120 32627 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 32970 32627 660 659 0 32174 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 141812 KiB
Current children cumulated memory: 133232 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.08 4.12 4.10 5/255 817237
/proc/meminfo: memFree=125799236/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=134140 memory=132768 CPUtime=3600.05 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 109201 0 0 0 359940 65 0 0 20 0 1 0 158157207 137359360 33192 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 33535 33192 660 659 0 32739 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 144072 KiB
Current children cumulated memory: 135492 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.7 s]
# the end of solver process 815009 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.4 s, system=0.658363 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.08 4.12 4.10 5/255 817237
/proc/meminfo: memFree=125799236/131524596 swapFree=131071996/131071996
[pid=815009] ppid=815006 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/815009/stat : 815009 (naps-1.03.sh) S 815006 815009 812977 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158157206 10170368 681 134679101440 94131186802688 94131187882008 140732592374864 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94131189980464 94131190027652 94131213332480 140732592382948 140732592383073 140732592383073 140732592390088 0
/proc/815009/statm: 2483 681 603 264 0 134 0
[pid=815014] ppid=815009 vsize=134140 memory=132768 CPUtime=3600.05 cores=5,7
/proc/815014/stat : 815014 (naps-1.03) R 815009 815009 812977 0 -1 4194304 109201 0 0 0 359940 65 0 0 20 0 1 0 158157207 137359360 33192 134679101440 4194304 6891213 140734499633328 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 23736320 140734499640309 140734499640421 140734499640421 140734499647435 0
/proc/815014/statm: 33535 33192 660 659 0 32739 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 144072 KiB
Current children cumulated memory: 135492 KiB
Child status: 10
Real time (s): 3609.7
CPU time (s): 3600.06
CPU user time (s): 3599.4
CPU system time (s): 0.658363
CPU usage (%): 99.7329
Max. virtual memory (cumulated for all children) (KiB): 247952
Max. memory (cumulated for all children) (KiB): 239096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.4
system time used= 0.658363
maximum resident set size= 236372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109675
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= 47
involuntary context switches= 1575
# summary of solver processes directly reported to runsolver:
# pid: 815009
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.4
# total CPU system time (s): 0.658363
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.51332 second user time and 17.6751 second system time
The end
Begin job on nodeC034 at 2024-07-15 18:11:19
IDJOB=4434313
IDBENCH=146677
IDSOLVER=3063
FILE ID=nodeC034/4434313-1721059866
RUNJOBID= nodeC034-1721056269-812990
SLURM_JOB_ID= 7505491
Free space on /tmp= 890064 MiB
SOLVER NAME= NaPS 1.03
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434313-1721059866/watcher-4434313-1721059866 -o /tmp/evaluation-result-4434313-1721059866/solver-4434313-1721059866 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721056269-812990 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434313-1721059866.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0bdb6411771ac9360fc2dcf9fc3ce2f6
RANDOM SEED=1862610266
nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3656.906
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3673.766
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.997
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3605.047
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3656.882
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.356
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.024
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3655.323
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524596 kB
MemFree: 124922688 kB
MemAvailable: 128319284 kB
Buffers: 366940 kB
Cached: 3828060 kB
SwapCached: 0 kB
Active: 620968 kB
Inactive: 5300140 kB
Active(anon): 1532 kB
Inactive(anon): 1762300 kB
Active(file): 619436 kB
Inactive(file): 3537840 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 14832 kB
Writeback: 0 kB
AnonPages: 1726160 kB
Mapped: 110972 kB
Shmem: 37720 kB
KReclaimable: 158288 kB
Slab: 271688 kB
SReclaimable: 158288 kB
SUnreclaim: 113400 kB
KernelStack: 4176 kB
PageTables: 12824 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834292 kB
Committed_AS: 2205352 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62144 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1538048 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: 238292 kB
DirectMap2M: 26798080 kB
DirectMap1G: 109051904 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC034 at 2024-07-15 19:11:29