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-4433953-1721107988.opb
0.00/0.01 c single stage optimization mode
0.00/0.01 o 52178
3600.03/3611.10 c
3600.03/3611.10 c *** TERMINATED *** by signal 15
3600.03/3611.10 s SATISFIABLE
3600.03/3611.10 c _____________________________________________________________________________
3600.03/3611.10 c std/band forms : 1,0
3600.03/3611.10 c 2cl/3cl ITE-codings : 0,0
3600.03/3611.10 c BDD/srt/adr Max costs : 0,284418,0
3600.03/3611.10 c BDDraw/bin/mul/srt/adr: 0,0,0,1,0
3600.03/3611.10 c BDD nodes : 0
3600.03/3611.10 c Es1/CC detections : 0,0
3600.03/3611.10 c CC sort : 0
3600.03/3611.10 c SAT/UNSAT calls : 1,0
3600.03/3611.10 c regenrated variables : 0
3600.03/3611.10 c eliminated fixed lits : 5
3600.03/3611.10 c goal lit flips : 0
3600.03/3611.10 c goal stages : 1
3600.03/3611.10 c goal shrink : 0
3600.03/3611.10 c goal coeff separations: 85
3600.03/3611.10 c restarts : 1
3600.03/3611.10 c conflicts : 0 (0 /sec)
3600.03/3611.10 c decisions : 683 (0 /sec)
3600.03/3611.10 c propagations : 959 (0 /sec)
3600.03/3611.10 c inspects : 0 (0 /sec)
3600.03/3611.10 c CPU time (solving tm) : 3599 s (3599 s, SAT 0.000567 s, UNSAT 0 s)
3600.03/3611.10 c Time for Opt-base : 0.1286 s
3600.03/3611.10 c Steps for Opt-base : 681584
3600.03/3611.10 c Time for BDD coding : 0 s
3600.03/3611.10 c Time for srt coding : 0.03124 s
3600.03/3611.10 c _____________________________________________________________________________
3600.03/3611.10 v -x84 -x86 -x88 -x90 -x92 -x94 -x96 -x98 -x100 -x102 -x103 -x105 -x106 -x108 -x110 -x112 -x114 -x116 -x118 -x120 -x122 -x124 -x126 -x128 -x129 -x131 -x133 -x135 -x137 -x139 -x141 -x143 -x144 -x146 -x148 -x149 -x151 -x153 -x155 -x157 -x159 -x161 -x163 -x165 -x167 -x169 -x171 -x173 x174 -x176 -x178 -x180 -x182 -x183 -x185 -x187 -x189 -x191 -x193 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x229 -x231 -x233 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 x269 -x271 -x273 -x275 -x276 -x278 -x280 -x282 -x284 -x286 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x306 -x308 -x310 -x311 -x313 -x314 -x316 -x318 -x319 -x321 -x323 -x325 -x326 -x328 -x330 -x332 -x333 -x335 -x337 -x339 -x341 -x343 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x359 -x361 -x363 -x364 -x366 -x367 -x369 -x371 -x372 -x374 -x375 -x376 -x378 -x380 -x381 -x383 -x385 -x386 -x387 -x389 -x391 -x392 -x394 -x396 -x398 -x400 -x402 -x403 -x405 -x407 -x408 -x409 -x411 -x412 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x430 -x432 -x434 -x436 -x437 x438 -x439 -x441 -x443 -x444 -x446 -x448 -x450 -x452 -x454 -x455 -x457 -x459 -x461 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 x509 -x511 -x513 -x515 -x517 -x519 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x568 -x570 -x572 -x574 -x575 -x577 -x579 -x581 -x582 -x584 -x586 -x587 -x589 -x590 -x592 -x593 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x607 -x609 -x611 -x613 -x615 -x616 -x617 -x619 -x621 -x622 -x624 -x626 -x628 -x630 -x631 -x632 -x634 -x636 -x637 -x638 -x640 -x642 -x644 -x645 -x647 -x648 -x650 -x652 -x653 -x655 -x657 -x658 -x660 -x662 x663 -x665 -x667 -x668 -x670 -x671 -x673 -x674 -x676 -x678 -x679 -x680 -x682 -x683 -x684 -x686 -x688 -x689 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x726 -x728 -x730 -x732 x733 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x747 -x748 -x750 -x752 -x754 -x756 -x758 -x759 -x760 -x762 -x764 -x766 -x767 -x769 -x770 -x772 -x774 -x775 -x777 -x778 -x779 -x781 -x782 -x784 -x785 -x787 -x788 -x790 x791 -x793 -x795 -x797 -x799 -x800 -x801 -x803 -x805 -x806 -x808 -x809 -x810 -x811 -x813 -x814 -x815 -x817 -x818 -x820 -x821 -x822 x823 -x824 -x826 -x828 -x830 -x831 -x833 -x835 -x837 -x838 -x839 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x853 -x855 -x856 -x858 -x860 -x862 -x864 x865 -x867 -x869 -x871 -x872 -x874 -x876 -x878 -x880 -x881 -x883 -x885 -x887 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x901 -x902 -x903 -x905 -x906 -x908 -x909 -x911 -x912 -x914 -x915 -x917 -x918 -x920 -x921 -x922 -x924 -x926 -x927 -x928 -x930 x931 -x932 x933 -x935 -x937 -x938 -x939 -x940 -x942 -x943 -x945 -x947 -x948 -x950 -x951 -x952 -x953 -x955 x956 -x957 -x959 -x960 -x961 -x962 -x963 -x964 -x966 -x968 -x970 -x972 -x973 -x974 -x976 -x977 x978 -x980 -x981 -x982 -x983 -x985 -x986 -x988 -x990 -x991 -x993 -x994 -x995 x996 -x998 -x1000 -x1002 -x1003 -x1004 -x1006 -x1007 -x1008 -x1010 -x1011 -x1013 x1014 -x1015 -x1017 -x1018 -x1019 -x1021 -x1022 x1023 -x1024 -x1026 -x1028 -x1029 -x1031 x1032 -x1033 -x1035 -x1036 -x1037 -x1039 -x1041 -x1042 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1055 -x1056 -x1057 -x1058 -x1059 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 -x1073 -x1075 -x1076 -x1077 -x1079 -x1080 x1081 -x1082 -x1084 -x1086 x1087 -x1088 x1089 -x1091 -x1092 x1093 -x1095 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1106 -x1108 -x1110 -x1111 -x1112 -x1113 -x1115 -x1116 -x1117 -x1118 -x1120 x1121 -x1122 -x1123 -x1124 x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1131 x1132 x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 x1148 x1149 x1150 x1151 -x1152 -x83 -x1 -x85 -x87 -x89 -x2 -x91 -x93 -x95 -x97 -x99 -x101 -x3 -x104 -x4 -x107 -x109 -x5 -x111 -x113 -x115 -x6 -x117 -x119 -x121 -x123 -x125 -x127 -x7 -x130 -x132 -x134 -x8 -x136 -x138 -x140 -x142 -x145 -x147 -x9 -x150 -x152 -x154 -x156 -x158 -x160 -x162 -x164 -x166 -x168 -x170 -x172 -x175 -x177 -x179 -x181 -x184 -x186 -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x10 -x215 -x217 -x11 -x219 -x221 -x223 -x225 -x227 -x230 -x12 -x232 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x270 -x272 -x274 -x277 -x279 -x281 -x283 -x285 -x13 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x14 -x302 -x304 -x307 -x309 -x312 -x15 -x315 -x317 -x16 -x320 -x322 -x324 -x327 -x329 -x17 -x331 -x334 -x18 -x336 -x338 -x340 -x342 -x345 -x347 -x349 -x351 -x353 -x355 -x19 -x357 -x20 -x360 -x362 -x21 -x365 -x22 -x368 -x370 -x23 -x373 -x24 -x25 -x377 -x26 -x379 -x382 -x27 -x384 -x28 -x388 -x390 -x29 -x393 -x395 -x397 -x30 -x399 -x401 -x404 -x406 -x31 -x410 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x32 -x431 -x433 -x33 -x435 -x440 -x442 -x445 -x447 -x449 -x34 -x451 -x453 -x456 -x458 -x35 -x460 -x463 -x465 -x467 -x469 -x471 -x473 -x476 -x478 -x36 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x510 -x512 -x514 -x516 -x518 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x569 -x571 -x573 -x576 -x578 -x580 -x37 -x583 -x585 -x588 -x591 -x38 -x595 -x597 -x599 -x601 -x603 -x39 -x605 -x608 -x40 -x610 -x612 -x614 -x618 -x620 -x41 -x623 -x625 -x627 -x629 -x633 -x635 -x42 -x639 -x641 -x643 -x43 -x646 -x649 -x651 -x654 -x656 -x659 -x661 -x664 -x44 -x666 -x669 -x45 -x672 -x46 -x675 -x47 -x677 -x48 -x681 -x49 -x685 -x687 -x50 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x51 -x724 -x727 -x729 -x731 -x735 -x737 -x739 -x741 -x743 -x745 -x749 -x751 -x753 -x755 -x757 -x52 -x761 -x763 -x765 -x768 -x53 -x771 -x773 -x54 -x776 -x55 -x780 -x56 -x783 -x786 -x57 -x789 -x792 -x794 -x796 -x798 -x58 -x59 -x802 -x60 -x804 -x807 -x61 -x62 -x812 -x63 -x816 -x819 -x64 -x825 -x827 -x829 -x832 -x834 -x836 -x841 -x843 -x845 -x847 -x65 -x849 -x851 -x854 -x66 -x857 -x859 -x861 -x863 -x866 -x868 -x870 -x873 -x875 -x877 -x879 -x882 -x884 -x67 -x886 -x889 -x891 -x893 -x895 -x897 -x899 -x904 -x907 -x68 -x910 -x913 -x916 -x919 -x923 -x925 -x69 -x929 -x934 -x936 -x941 -x944 -x946 -x949 -x954 -x958 -x965 -x967 -x969 -x971 -x975 -x70 -x979 -x71 -x984 -x72 -x987 -x989 -x992 -x73 -x74 -x997 -x999 -x1001 -x75 -x1005 -x76 -x1009 -x1012 -x1016 -x77 -x1020 -x1025 -x1027 -x1030 -x1034 -x1038 -x1040 -x1043 -x1054 -x78 -x1060 -x1068 -x1072 -x1074 -x1078 -x1083 -x1085 -x1090 -x1094 -x1096 -x79 -x80 -x1105 -x1107 -x1109 -x81 -x82 -x1114 -x1119
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: 63931 MiB (55377 MiB free)
memory of node 1: 64510 MiB (61131 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433953-1721107988/watcher-4433953-1721107988 -o /tmp/evaluation-result-4433953-1721107988/solver-4433953-1721107988 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721106131-836242 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4433953-1721107988.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
solver pid=837911, runsolver pid=837908
Current StackSize limit: 8192 KiB
[startup+0.10056 s]*
/proc/loadavg: 4.34 4.31 4.19 5/261 837916
/proc/meminfo: memFree=119303600/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=4800 memory=2708 CPUtime=0.09 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 383 0 0 0 9 0 0 0 20 0 1 0 162963756 4915200 677 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 1200 677 436 659 0 404 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 14732 KiB
Current children cumulated memory: 5488 KiB
[startup+0.20656 s]*
/proc/loadavg: 4.34 4.31 4.19 5/261 837916
/proc/meminfo: memFree=119279152/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=30676 memory=27240 CPUtime=0.18 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 5435 0 0 0 18 0 0 0 20 0 1 0 162963756 31412224 6810 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 7669 6810 468 659 0 6873 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 30020 KiB
[startup+0.306562 s]*
/proc/loadavg: 4.34 4.31 4.19 5/261 837916
/proc/meminfo: memFree=119233112/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=78724 memory=73100 CPUtime=0.29 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 12276 0 0 0 27 2 0 0 20 0 1 0 162963756 80613376 18275 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 19681 18275 468 659 0 18885 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 88656 KiB
Current children cumulated memory: 75880 KiB
[startup+0.700292 s]
/proc/loadavg: 4.34 4.31 4.19 5/261 837916
/proc/meminfo: memFree=119186848/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=151924 memory=142408 CPUtime=0.67 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 24000 0 0 0 63 4 0 0 20 0 1 0 162963756 155570176 35602 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 37981 35602 468 659 0 37185 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 161856 KiB
Current children cumulated memory: 145188 KiB
[startup+1.50029 s]
/proc/loadavg: 4.34 4.31 4.19 6/261 837916
/proc/meminfo: memFree=119156144/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=160800 memory=149224 CPUtime=1.47 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 27012 0 0 0 141 6 0 0 20 0 1 0 162963756 164659200 37306 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 40200 37306 468 659 0 39404 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 170732 KiB
Current children cumulated memory: 152004 KiB
[startup+3.10581 s]
/proc/loadavg: 4.34 4.31 4.19 5/261 837917
/proc/meminfo: memFree=119156612/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=160800 memory=149224 CPUtime=3.07 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 27025 0 0 0 301 6 0 0 20 0 1 0 162963756 164659200 37306 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 40200 37306 468 659 0 39404 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 170732 KiB
Current children cumulated memory: 152004 KiB
[startup+6.30028 s]
/proc/loadavg: 4.31 4.30 4.19 5/261 837917
/proc/meminfo: memFree=119154176/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=179476 memory=151948 CPUtime=6.26 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 27247 0 0 0 620 6 0 0 20 0 1 0 162963756 183783424 37987 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 44869 37987 468 659 0 44073 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 189408 KiB
Current children cumulated memory: 154728 KiB
[startup+12.7003 s]
/proc/loadavg: 4.29 4.30 4.18 5/261 837917
/proc/meminfo: memFree=119136164/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=179476 memory=165936 CPUtime=12.64 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 27687 0 0 0 1257 7 0 0 20 0 1 0 162963756 183783424 41484 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 44869 41484 468 659 0 44073 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 189408 KiB
Current children cumulated memory: 168716 KiB
[startup+25.5003 s]
/proc/loadavg: 4.22 4.28 4.18 5/261 837920
/proc/meminfo: memFree=119127872/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=198152 memory=173800 CPUtime=25.39 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 28143 0 0 0 2532 7 0 0 20 0 1 0 162963756 202907648 43450 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 49538 43450 468 659 0 48742 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 208084 KiB
Current children cumulated memory: 176580 KiB
[startup+51.1059 s]
/proc/loadavg: 4.20 4.27 4.18 5/261 837924
/proc/meminfo: memFree=119137204/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=198752 memory=186092 CPUtime=50.93 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 28221 0 0 0 5085 8 0 0 20 0 1 0 162963756 203522048 46523 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 49688 46523 468 659 0 48892 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 208684 KiB
Current children cumulated memory: 188872 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.25 4.18 5/261 837933
/proc/meminfo: memFree=119122944/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=210424 memory=190896 CPUtime=101.95 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 29692 0 0 0 10185 10 0 0 20 0 1 0 162963756 215474176 47724 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 52606 47724 468 659 0 51810 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 220356 KiB
Current children cumulated memory: 193676 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.24 4.18 5/258 837943
/proc/meminfo: memFree=119121124/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=210424 memory=192968 CPUtime=161.76 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 29755 0 0 0 16166 10 0 0 20 0 1 0 162963756 215474176 48242 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 52606 48242 468 659 0 51810 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 220356 KiB
Current children cumulated memory: 195748 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.21 4.17 5/258 837953
/proc/meminfo: memFree=119106636/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=210424 memory=195016 CPUtime=221.58 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 29795 0 0 0 22148 10 0 0 20 0 1 0 162963756 215474176 48754 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 52606 48754 468 659 0 51810 0
Current children cumulated CPU time: 221.58 s
################
# More data... #
################
/proc/loadavg: 4.15 4.11 4.09 6/264 839565
/proc/meminfo: memFree=122456188/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=322144 memory=274280 CPUtime=3092.73 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 50140 0 0 0 309222 51 0 0 20 0 1 0 162963756 329875456 68570 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 80536 68570 468 659 0 79740 0
Current children cumulated CPU time: 3092.73 s
Current children cumulated vsize: 332076 KiB
Current children cumulated memory: 277060 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/260 839736
/proc/meminfo: memFree=122469084/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=291324 memory=253636 CPUtime=3152.55 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 50477 0 0 0 315203 52 0 0 20 0 1 0 162963756 298315776 63409 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 72831 63409 468 659 0 72035 0
Current children cumulated CPU time: 3152.55 s
Current children cumulated vsize: 301256 KiB
Current children cumulated memory: 256416 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/260 839746
/proc/meminfo: memFree=122450936/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=291324 memory=270548 CPUtime=3212.37 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 50755 0 0 0 321185 52 0 0 20 0 1 0 162963756 298315776 67637 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 72831 67637 468 659 0 72035 0
Current children cumulated CPU time: 3212.37 s
Current children cumulated vsize: 301256 KiB
Current children cumulated memory: 273328 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/260 839925
/proc/meminfo: memFree=122424104/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=322144 memory=284740 CPUtime=3272.2 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 51255 0 0 0 327167 53 0 0 20 0 1 0 162963756 329875456 71185 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 80536 71185 468 659 0 79740 0
Current children cumulated CPU time: 3272.2 s
Current children cumulated vsize: 332076 KiB
Current children cumulated memory: 287520 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 839935
/proc/meminfo: memFree=122431392/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=291324 memory=270136 CPUtime=3332.02 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 51618 0 0 0 333148 54 0 0 20 0 1 0 162963756 298315776 67534 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 72831 67534 468 659 0 72035 0
Current children cumulated CPU time: 3332.02 s
Current children cumulated vsize: 301256 KiB
Current children cumulated memory: 272916 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/261 840002
/proc/meminfo: memFree=122414132/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=322144 memory=284740 CPUtime=3391.84 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 52370 0 0 0 339130 54 0 0 20 0 1 0 162963756 329875456 71185 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 80536 71185 468 659 0 79740 0
Current children cumulated CPU time: 3391.84 s
Current children cumulated vsize: 332076 KiB
Current children cumulated memory: 287520 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/260 840014
/proc/meminfo: memFree=122431904/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=291324 memory=261944 CPUtime=3451.66 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 52726 0 0 0 345111 55 0 0 20 0 1 0 162963756 298315776 65486 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 72831 65486 468 659 0 72035 0
Current children cumulated CPU time: 3451.66 s
Current children cumulated vsize: 301256 KiB
Current children cumulated memory: 264724 KiB
[startup+3522.3 s]
/proc/loadavg: 4.53 4.20 4.12 5/260 840024
/proc/meminfo: memFree=122416692/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=322144 memory=278376 CPUtime=3511.48 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 53499 0 0 0 351092 56 0 0 20 0 1 0 162963756 329875456 69594 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 80536 69594 468 659 0 79740 0
Current children cumulated CPU time: 3511.48 s
Current children cumulated vsize: 332076 KiB
Current children cumulated memory: 281156 KiB
[startup+3582.3 s]
/proc/loadavg: 4.25 4.18 4.12 5/260 840034
/proc/meminfo: memFree=122397896/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=322144 memory=288836 CPUtime=3571.31 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 53580 0 0 0 357074 57 0 0 20 0 1 0 162963756 329875456 72209 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 80536 72209 468 659 0 79740 0
Current children cumulated CPU time: 3571.31 s
Current children cumulated vsize: 332076 KiB
Current children cumulated memory: 291616 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.21 4.17 4.12 5/260 840040
/proc/meminfo: memFree=122378876/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=322144 memory=294980 CPUtime=3600.03 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 53659 0 0 0 359946 57 0 0 20 0 1 0 162963756 329875456 73745 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 80536 73745 468 659 0 79740 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 332076 KiB
Current children cumulated memory: 297760 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.11 s]
# the end of solver process 837911 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.46 s, system=0.576223 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 4.21 4.17 4.12 5/260 840040
/proc/meminfo: memFree=122378876/131524600 swapFree=131071996/131071996
[pid=837911] ppid=837908 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/837911/stat : 837911 (naps-1.03.sh) S 837908 837911 836229 0 -1 4194304 224 236 0 0 0 0 0 0 20 0 1 0 162963756 10170368 695 134679101440 94572770967552 94572772046872 140733043479888 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94572774145328 94572774192516 94572777996288 140733043487712 140733043487841 140733043487841 140733043494856 0
/proc/837911/statm: 2483 695 617 264 0 134 0
[pid=837916] ppid=837911 vsize=322144 memory=294980 CPUtime=3600.03 cores=5,7
/proc/837916/stat : 837916 (naps-1.03) R 837911 837911 836229 0 -1 4194304 53659 0 0 0 359946 57 0 0 20 0 1 0 162963756 329875456 73745 134679101440 4194304 6891213 140727671041744 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 40534016 140727671047153 140727671047269 140727671047269 140727671054283 0
/proc/837916/statm: 80536 73745 468 659 0 79740 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 332076 KiB
Current children cumulated memory: 297760 KiB
Child status: 10
Real time (s): 3611.11
CPU time (s): 3600.04
CPU user time (s): 3599.46
CPU system time (s): 0.576223
CPU usage (%): 99.6935
Max. virtual memory (cumulated for all children) (KiB): 332076
Max. memory (cumulated for all children) (KiB): 297760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.46
system time used= 0.576223
maximum resident set size= 294980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54132
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= 54
involuntary context switches= 1934
# summary of solver processes directly reported to runsolver:
# pid: 837911
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.46
# total CPU system time (s): 0.576223
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.36198 second user time and 19.9502 second system time
The end
Begin job on nodeC024 at 2024-07-16 07:33:22
IDJOB=4433953
IDBENCH=148153
IDSOLVER=3062
FILE ID=nodeC024/4433953-1721107988
RUNJOBID= nodeC024-1721106131-836242
SLURM_JOB_ID= 7505634
Free space on /tmp= 890064 MiB
SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433953-1721107988/watcher-4433953-1721107988 -o /tmp/evaluation-result-4433953-1721107988/solver-4433953-1721107988 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721106131-836242 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4433953-1721107988.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cc2b167b604094044d9d141ee486a126
RANDOM SEED=503075555
nodeC024.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 : 3659.373
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.60
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 : 3669.979
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 : 7007.08
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.966
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.60
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 : 3607.319
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 : 7007.08
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 : 3659.457
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.60
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 : 3659.441
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 : 7007.08
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 : 3599.929
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.60
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 : 3657.153
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 : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 119306120 kB
MemAvailable: 121772144 kB
Buffers: 391116 kB
Cached: 2887004 kB
SwapCached: 0 kB
Active: 670836 kB
Inactive: 10887440 kB
Active(anon): 1596 kB
Inactive(anon): 8316272 kB
Active(file): 669240 kB
Inactive(file): 2571168 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5328 kB
Writeback: 16 kB
AnonPages: 8280016 kB
Mapped: 109776 kB
Shmem: 37720 kB
KReclaimable: 130524 kB
Slab: 239908 kB
SReclaimable: 130524 kB
SUnreclaim: 109384 kB
KernelStack: 4208 kB
PageTables: 25492 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 9495180 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 60768 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4866048 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: 226004 kB
DirectMap2M: 19470336 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 890044 MiB
End job on nodeC024 at 2024-07-16 08:33:33