0.00/0.02 c NaPS 1.03a6.
0.00/0.02 c Input file name: HOME/instance-4521254-1751582056.opb
0.47/0.51 c single stage optimization mode
3600.03/3609.70 o 0
3600.03/3609.70 o -390
3600.03/3609.70 o -600
3600.03/3609.70 c
3600.03/3609.70 c *** TERMINATED *** by signal 15
3600.03/3609.70 s SATISFIABLE
3600.03/3609.70 c _____________________________________________________________________________
3600.03/3609.70 c std/band forms : 3,0
3600.03/3609.70 c 2cl/3cl ITE-codings : 0,0
3600.03/3609.70 c BDD/srt/adr Max costs : 0,47042,0
3600.03/3609.70 c BDDraw/bin/mul/srt/adr: 0,0,0,3,0
3600.03/3609.70 c BDD nodes : 0
3600.03/3609.70 c Es1/CC detections : 0,0
3600.03/3609.70 c CC sort : 3
3600.03/3609.70 c SAT/UNSAT calls : 3,0
3600.03/3609.70 c regenrated variables : 69
3600.03/3609.70 c eliminated fixed lits : 0
3600.03/3609.70 c goal lit flips : 0
3600.03/3609.70 c goal stages : 1
3600.03/3609.70 c goal shrink : 0
3600.03/3609.70 c goal coeff separations: 0
3600.03/3609.70 c restarts : 9167
3600.03/3609.70 c conflicts : 171363 (48 /sec)
3600.03/3609.70 c decisions : 1667541 (463 /sec)
3600.03/3609.70 c propagations : 209210345 (58132 /sec)
3600.03/3609.70 c inspects : 0 (0 /sec)
3600.03/3609.70 c CPU time (solving tm) : 3599 s (3598 s, SAT 52.27 s, UNSAT 0 s)
3600.03/3609.70 c Time for Opt-base : 0.000671 s
3600.03/3609.70 c Steps for Opt-base : 0
3600.03/3609.70 c Time for BDD coding : 0 s
3600.03/3609.70 c Time for srt coding : 0.007649 s
3600.03/3609.70 c _____________________________________________________________________________
3600.03/3609.70 v x1 -x6 x11 -x16 -x21 -x26 -x31 -x36 -x41 -x46 x2 x7 x12 x17 x22 x27 x32 x37 x42 x47 -x3 -x8 -x13 -x18 -x23 -x28 -x33 -x38 -x43 -x48 x4 x9 x14 x19 x24 x29 x34 x39 x44 x49 x53 x58 x63 x68 x73 x78 x83 x88 x93 -x50 -x55 -x60 -x65 -x70 -x75 -x80 -x85 -x90 -x95 x51 x56 x61 x66 x71 x76 x81 x86 x91 x96 -x52 -x57 -x62 -x67 -x72 -x77 -x82 -x87 -x92 -x97 x100 x105 x110 x115 x120 x125 x130 x135 x140 x101 -x106 x111 x116 x121 x126 x131 x136 x141 x98 x103 x108 x113 x118 x123 x128 x133 x138 x143 -x99 -x104 -x109 -x114 -x119 -x124 -x129 -x134 -x139 -x144 -x146 -x151 -x156 -x161 -x166 -x171 -x176 -x181 -x186 -x147 x152 -x157 -x162 -x167 -x172 -x177 -x182 -x187 x148 x153 x158 x163 x168 x173 x178 x183 x188 x145 x150 x155 x160 x165 x170 x175 x180 x185 x190 x191 x196 x201 x206 x211 x216 x221 x226 x231 x192 -x197 x202 x207 x212 x217 x222 x227 x232 -x193 -x198 -x203 -x208 -x213 -x218 -x223 -x228 -x233 x194 x199 x204 x209 x214 x219 x224 x229 x234 -x236 x241 -x246 -x251 -x256 -x261 -x266 -x271 -x276 x237 x242 x247 x252 x257 x262 x267 x272 x277 -x238 -x243 -x248 -x253 -x258 -x263 -x268 -x273 -x278 x239 x244 x249 x254 x259 x264 x269 x274 x279 -x283 -x288 -x293 -x298 -x303 -x308 -x313 -x318 x280 x285 x290 x295 x300 x305 x310 x315 x320 -x281 -x286 -x291 -x296 -x301 -x306 -x311 -x316 -x321 x282 x287 x292 x297 x302 x307 x312 x317 x322 x325 x330 x335 x340 x345 x350 x355 x360 -x326 x331 x336 x341 x346 x351 x356 x361 x323 x328 x333 x338 x343 x348 x353 x358 x363 -x324 -x329 -x334 -x339 -x344 -x349 -x354 -x359 -x364 -x366 -x371 -x376 -x381 -x386 -x391 -x396 -x401 x367 -x372 -x377 -x382 -x387 -x392 -x397 -x402 x368 x373 x378 x383 x388 x393 x398 x403 x365 x370 x375 x380 x385 x390 x395 x400 x405 x406 x411 x416 x421 x426 x431 x436 x441 -x407 x412 x417 x422 x427 x432 x437 x442 -x408 -x413 -x418 -x423 -x428 -x433 -x438 -x443 x409 x414 x419 x424 x429 x434 x439 x444 x446 -x451 -x456 -x461 -x466 -x471 -x476 -x481 x447 x452 x457 x462 x467 x472 x477 x482 -x448 -x453 -x458 -x463 -x468 -x473 -x478 -x483 x449 x454 x459 x464 x469 x474 x479 x484 x488 x493 x498 x503 x508 x513 x518 -x485 -x490 -x495 -x500 -x505 -x510 -x515 -x520 x486 x491 x496 x501 x506 x511 x516 x521 -x487 -x492 -x497 -x502 -x507 -x512 -x517 -x522 x525 x530 x535 x540 x545 x550 x555 x526 x531 x536 x541 x546 x551 x556 x523 x528 x533 x538 x543 x548 x553 x558 -x524 -x529 -x534 -x539 -x544 -x549 -x554 -x559 -x561 -x566 -x571 -x576 -x581 -x586 -x591 -x562 -x567 -x572 -x577 -x582 -x587 -x592 x563 x568 x573 x578 x583 x588 x593 x560 x565 x570 x575 x580 x585 x590 x595 x596 x601 x606 x611 x616 x621 x626 x597 x602 x607 x612 x617 x622 x627 -x598 -x603 -x608 -x613 -x618 -x623 -x628 x599 x604 x609 x614 x619 x624 x629 -x631 -x636 -x641 -x646 -x651 -x656 -x661 x632 x637 x642 x647 x652 x657 x662 -x633 -x638 -x643 -x648 -x653 -x658 -x663 x634 x639 x644 x649 x654 x659 x664 -x668 -x673 -x678 -x683 -x688 -x693 x665 x670 x675 x680 x685 x690 x695 -x666 -x671 -x676 -x681 -x686 -x691 -x696 x667 x672 x677 x682 x687 x692 x697 x700 x705 x710 x715 x720 x725 x701 x706 x711 x716 x721 x726 x698 x703 x708 x713 x718 x723 x728 -x699 -x704 -x709 -x714 -x719 -x724 -x729 -x731 -x736 -x741 -x746 -x751 -x756 -x732 -x737 -x742 -x747 -x752 -x757 x733 x738 x743 x748 x753 x758 x730 x735 x740 x745 x750 x755 x760 x761 x766 x771 x776 x781 x786 x762 x767 x772 x777 x782 x787 -x763 -x768 -x773 -x778 -x783 -x788 x764 x769 x774 x779 x784 x789 -x791 -x796 -x801 -x806 -x811 -x816 x792 x797 x802 x807 x812 x817 -x793 -x798 -x803 -x808 -x813 -x818 x794 x799 x804 x809 x814 x819 -x823 -x828 -x833 -x838 -x843 x820 x825 x830 x835 x840 x845 -x821 -x826 -x831 -x836 -x841 -x846 x822 x827 x832 x837 x842 x847 x850 x855 x860 x865 x870 x851 x856 x861 x866 x871 x848 x853 x858 x863 x868 x873 -x849 -x854 -x859 -x864 -x869 -x874 -x876 -x881 -x886 -x891 -x896 -x877 -x882 -x887 -x892 -x897 x878 x883 x888 x893 x898 x875 x880 x885 x890 x895 x900 x901 x906 x911 x916 x921 x902 x907 x912 x917 x922 -x903 -x908 -x913 -x918 -x923 x904 x909 x914 x919 x924 -x926 -x931 -x936 -x941 -x946 x927 x932 x937 x942 x947 -x928 -x933 -x938 -x943 -x948 x929 x934 x939 x944 x949 -x953 -x958 -x963 -x968 x950 x955 x960 x965 x970 -x951 -x956 -x961 -x966 -x971 x952 x957 x962 x967 x972 x975 x980 x985 x990 x976 x981 x986 x991 x973 x978 x983 x988 x993 -x974 -x979 -x984 -x989 -x994 -x996 -x1001 -x1006 -x1011 -x997 -x1002 -x1007 -x1012 x998 x1003 x1008 x1013 x995 x1000 x1005 x1010 x1015 x1016 x1021 x1026 x1031 x1017 x1022 x1027 x1032 -x1018 -x1023 -x1028 -x1033 x1019 x1024 x1029 x1034 -x1036 -x1041 -x1046 -x1051 x1037 x1042 x1047 x1052 -x1038 -x1043 -x1048 -x1053 x1039 x1044 x1049 x1054 -x1058 -x1063 -x1068 x1055 x1060 x1065 x1070 -x1056 -x1061 -x1066 -x1071 x1057 x1062 x1067 x1072 x1075 x1080 x1085 x1076 x1081 x1086 x1073 x1078 x1083 x1088 -x1074 -x1079 -x1084 -x1089 -x1091 -x1096 -x1101 -x1092 -x1097 -x1102 x1093 x1098 x1103 x1090 x1095 x1100 x1105 x1106 x1111 x1116 x1107 x1112 x1117 -x1108 -x1113 -x1118 x1109 x1114 x1119 -x1121 -x1126 -x1131 x1122 x1127 x1132 -x1123 -x1128 -x1133 x1124 x1129 x1134 -x1138 -x1143 x1135 x1140 x1145 -x1136 -x1141 -x1146 x1137 x1142 x1147 x1150 x1155 x1151 x1156 x1148 x1153 x1158 -x1149 -x1154 -x1159 -x1161 -x1166 -x1162 -x1167 x1163 x1168 x1160 x1165 x1170 x1171 x1176 x1172 x1177 -x1173 -x1178 x1174 x1179 -x1181 -x1186 x1182 x1187 -x1183 -x1188 x1184 x1189 -x1193 x1190 x1195 -x1191 -x1196 x1192 x1197 x1200 x1201 x1198 x1203 -x1199 -x1204 -x1206 -x1207 x1208 x1205 x1210 x1211 x1212 -x1213 x1214 -x1216 x1217 -x1218 x1219 x1220 -x1221 x1222 x1223 -x1224 x1225 -x5 x54 -x10 -x59 -x15 x64 -x20 x69 -x25 x74 -x30 x79 -x35 x84 -x40 x89 -x45 x94 -x102 -x107 -x112 -x117 -x122 -x127 -x132 -x137 -x142 -x149 -x154 -x159 -x164 -x169 -x174 -x179 -x184 -x189 -x195 -x200 -x205 -x210 -x215 -x220 -x225 -x230 -x235 -x240 -x245 -x250 -x255 -x260 -x265 -x270 -x275 x284 -x289 -x294 -x299 -x304 -x309 -x314 -x319 -x327 -x332 -x337 -x342 -x347 -x352 -x357 -x362 -x369 -x374 -x379 -x384 -x389 -x394 -x399 -x404 -x410 -x415 -x420 -x425 -x430 -x435 -x440 -x445 -x450 -x455 -x460 -x465 -x470 -x475 -x480 x489 x494 x499 x504 x509 x514 x519 -x527 -x532 -x537 -x542 -x547 -x552 -x557 -x564 -x569 -x574 -x579 -x584 -x589 -x594 -x600 -x605 -x610 -x615 -x620 -x625 -x630 -x635 -x640 -x645 -x650 -x655 -x660 -x669 -x674 -x679 -x684 -x689 -x694 -x702 -x707 -x712 -x717 -x722 -x727 -x734 -x739 -x744 -x749 -x754 -x759 -x765 -x770 -x775 -x780 -x785 -x790 -x795 -x800 -x805 -x810 -x815 -x824 -x829 -x834 -x839 -x844 -x852 -x857 -x862 -x867 -x872 -x879 -x884 -x889 -x894 -x899 -x905 -x910 -x915 -x920 -x925 -x930 -x935 -x940 -x945 -x954 -x959 -x964 -x969 -x977 -x982 -x987 -x992 -x999 -x1004 -x1009 -x1014 -x1020 -x1025 -x1030 -x1035 -x1040 -x1045 -x1050 -x1059 -x1064 -x1069 -x1077 -x1082 -x1087 -x1094 -x1099 -x1104 -x1110 -x1115 -x1120 -x1125 -x1130 -x1139 -x1144 -x1152 -x1157 -x1164 -x1169 -x1175 -x1180 -x1185 -x1194 -x1202 -x1209 -x1215
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: 63708 MiB (55645 MiB free)
memory of node 1: 64465 MiB (54927 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521254-1751582056/watcher-4521254-1751582056 -o /tmp/evaluation-result-4521254-1751582056/solver-4521254-1751582056 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751582056-81470 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4521254-1751582056.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=81521, runsolver pid=81507
[startup+0.100057 s]*
/proc/loadavg: 2.43 3.67 3.94 5/270 81541
/proc/meminfo: memFree=113222268/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=5780 memory=4096 CPUtime=0.07 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 577 0 0 0 7 0 0 0 20 0 1 0 73884313 5918720 1024 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 1445 1024 544 696 0 606 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 9972 KiB
Current children cumulated memory: 7040 KiB
[startup+0.204811 s]*
/proc/loadavg: 2.43 3.67 3.94 5/270 81541
/proc/meminfo: memFree=113220508/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=7480 memory=5888 CPUtime=0.17 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 1031 0 0 0 17 0 0 0 20 0 1 0 73884313 7659520 1472 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 1870 1472 544 696 0 1031 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 11672 KiB
Current children cumulated memory: 8832 KiB
[startup+0.304795 s]*
/proc/loadavg: 2.43 3.67 3.94 5/270 81541
/proc/meminfo: memFree=113217988/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=9320 memory=7516 CPUtime=0.27 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 1513 0 0 0 27 0 0 0 20 0 1 0 73884313 9543680 1879 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 2330 1879 544 696 0 1491 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13512 KiB
Current children cumulated memory: 10460 KiB
[startup+0.700212 s]
/proc/loadavg: 2.43 3.67 3.94 5/270 81541
/proc/meminfo: memFree=113209672/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=37608 memory=34024 CPUtime=0.66 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 9192 0 0 0 65 1 0 0 20 0 1 0 73884313 38510592 8506 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 9402 8506 608 696 0 8563 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 41800 KiB
Current children cumulated memory: 36968 KiB
[startup+1.50019 s]
/proc/loadavg: 2.43 3.67 3.94 5/270 81541
/proc/meminfo: memFree=113173640/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=45008 memory=41464 CPUtime=1.46 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 10775 0 0 0 145 1 0 0 20 0 1 0 73884313 46088192 10366 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 11252 10366 608 696 0 10413 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 49200 KiB
Current children cumulated memory: 44408 KiB
[startup+3.10544 s]
/proc/loadavg: 2.43 3.67 3.94 4/265 81549
/proc/meminfo: memFree=113055260/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=48080 memory=45356 CPUtime=3.05 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 14431 0 0 0 303 2 0 0 20 0 1 0 73884313 49233920 11339 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 12020 11339 608 696 0 11181 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 52272 KiB
Current children cumulated memory: 48300 KiB
[startup+6.30021 s]
/proc/loadavg: 2.55 3.68 3.94 4/261 81609
/proc/meminfo: memFree=113009976/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=63220 memory=59944 CPUtime=6.21 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 18824 0 0 0 614 7 0 0 20 0 1 0 73884313 64737280 14986 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 15805 14986 640 696 0 14966 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 67412 KiB
Current children cumulated memory: 62888 KiB
[startup+12.7002 s]
/proc/loadavg: 2.67 3.68 3.94 5/270 81637
/proc/meminfo: memFree=112793104/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=66500 memory=63572 CPUtime=12.59 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 20427 0 0 0 1252 7 0 0 20 0 1 0 73884313 68096000 15893 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 16625 15893 640 696 0 15786 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 70692 KiB
Current children cumulated memory: 66516 KiB
[startup+25.5002 s]
/proc/loadavg: 3.04 3.71 3.95 5/270 81637
/proc/meminfo: memFree=112774244/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=69464 memory=66392 CPUtime=25.35 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 23721 0 0 0 2526 9 0 0 20 0 1 0 73884313 71131136 16598 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 17366 16598 640 696 0 16527 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 73656 KiB
Current children cumulated memory: 69336 KiB
[startup+51.1056 s]
/proc/loadavg: 3.37 3.74 3.95 5/270 81685
/proc/meminfo: memFree=112160468/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=60260 memory=58076 CPUtime=50.85 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 25975 0 0 0 5073 12 0 0 20 0 1 0 73884313 61706240 14519 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 15065 14519 640 696 0 14226 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 64452 KiB
Current children cumulated memory: 61020 KiB
[startup+102.3 s]
/proc/loadavg: 3.77 3.80 3.96 5/270 81690
/proc/meminfo: memFree=112031100/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=76108 memory=74664 CPUtime=101.9 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 33478 0 0 0 10175 15 0 0 20 0 1 0 73884313 77934592 18666 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 19027 18666 640 696 0 18188 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 80300 KiB
Current children cumulated memory: 77608 KiB
[startup+162.3 s]
/proc/loadavg: 4.03 3.87 3.98 5/270 81739
/proc/meminfo: memFree=111425664/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=96080 memory=94560 CPUtime=161.75 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 34965 0 0 0 16159 16 0 0 20 0 1 0 73884313 98385920 23640 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 24020 23640 640 696 0 23181 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 100272 KiB
Current children cumulated memory: 97504 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 3.89 3.99 5/270 81741
/proc/meminfo: memFree=111360264/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=102024 memory=100576 CPUtime=221.6 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 37256 0 0 0 22142 18 0 0 20 0 1 0 73884313 104472576 25144 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 25506 25144 640 696 0 24667 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 106216 KiB
################
# More data... #
################
/proc/loadavg: 4.08 4.10 4.09 5/267 82237
/proc/meminfo: memFree=112281340/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=172456 memory=170788 CPUtime=3093.95 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 100338 0 0 0 309297 98 0 0 20 0 1 0 73884313 176594944 42697 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 43114 42697 640 696 0 42275 0
Current children cumulated CPU time: 3093.95 s
Current children cumulated vsize: 176648 KiB
Current children cumulated memory: 173732 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/268 82242
/proc/meminfo: memFree=112265888/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=178032 memory=170592 CPUtime=3153.79 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 101485 0 0 0 315279 100 0 0 20 0 1 0 73884313 182304768 42648 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 44508 42648 640 696 0 43669 0
Current children cumulated CPU time: 3153.79 s
Current children cumulated vsize: 182224 KiB
Current children cumulated memory: 173536 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 82244
/proc/meminfo: memFree=112263960/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=178172 memory=170732 CPUtime=3213.63 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 102077 0 0 0 321262 101 0 0 20 0 1 0 73884313 182448128 42683 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 44543 42683 640 696 0 43704 0
Current children cumulated CPU time: 3213.63 s
Current children cumulated vsize: 182364 KiB
Current children cumulated memory: 173676 KiB
[startup+3282.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/268 82246
/proc/meminfo: memFree=112268688/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=178716 memory=171276 CPUtime=3273.47 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 103334 0 0 0 327244 103 0 0 20 0 1 0 73884313 183005184 42819 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 44679 42819 640 696 0 43840 0
Current children cumulated CPU time: 3273.47 s
Current children cumulated vsize: 182908 KiB
Current children cumulated memory: 174220 KiB
[startup+3342.3 s]
/proc/loadavg: 4.49 4.19 4.12 5/268 82248
/proc/meminfo: memFree=112220956/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=180068 memory=172628 CPUtime=3333.32 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 104570 0 0 0 333227 105 0 0 20 0 1 0 73884313 184389632 43157 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 45017 43157 640 696 0 44178 0
Current children cumulated CPU time: 3333.32 s
Current children cumulated vsize: 184260 KiB
Current children cumulated memory: 175572 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.17 4.12 5/268 82251
/proc/meminfo: memFree=112260488/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=180160 memory=172720 CPUtime=3393.16 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 105819 0 0 0 339209 107 0 0 20 0 1 0 73884313 184483840 43180 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 45040 43180 640 696 0 44201 0
Current children cumulated CPU time: 3393.16 s
Current children cumulated vsize: 184352 KiB
Current children cumulated memory: 175664 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/267 82253
/proc/meminfo: memFree=112247760/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=180680 memory=173240 CPUtime=3453 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 107368 0 0 0 345191 109 0 0 20 0 1 0 73884313 185016320 43310 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 45170 43310 640 696 0 44331 0
Current children cumulated CPU time: 3453 s
Current children cumulated vsize: 184872 KiB
Current children cumulated memory: 176184 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/267 82255
/proc/meminfo: memFree=112262964/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=182668 memory=175228 CPUtime=3512.85 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 108224 0 0 0 351174 111 0 0 20 0 1 0 73884313 187052032 43807 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 45667 43807 640 696 0 44828 0
Current children cumulated CPU time: 3512.85 s
Current children cumulated vsize: 186860 KiB
Current children cumulated memory: 178172 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/268 82258
/proc/meminfo: memFree=112273728/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=184004 memory=176564 CPUtime=3572.69 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 110286 0 0 0 357155 114 0 0 20 0 1 0 73884313 188420096 44141 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 46001 44141 640 696 0 45162 0
Current children cumulated CPU time: 3572.69 s
Current children cumulated vsize: 188196 KiB
Current children cumulated memory: 179508 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.12 4.13 4.10 5/268 82258
/proc/meminfo: memFree=112273664/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=184756 memory=177316 CPUtime=3600.03 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 110460 0 0 0 359887 116 0 0 20 0 1 0 73884313 189190144 44329 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 46189 44329 640 696 0 45350 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 188948 KiB
Current children cumulated memory: 180260 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.7 s]
# the end of solver process 81521 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.88 s, system=1.16361 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.12 4.13 4.10 5/268 82258
/proc/meminfo: memFree=112273664/131249996 swapFree=33010160/33010684
[pid=81521] ppid=81507 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/81521/stat : 81521 (naps-1.03a6.sh) S 81507 81521 81459 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 73884311 4292608 736 18446744073709551615 94834560204800 94834561099333 140733310903168 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834561338384 94834561386128 94834564755456 140733310908839 140733310908933 140733310908933 140733310914535 0
/proc/81521/statm: 1048 736 672 219 0 110 0
[pid=81530] ppid=81521 vsize=184756 memory=177316 CPUtime=3600.03 cores=4,6
/proc/81530/stat : 81530 (naps-1.03a6) R 81521 81521 81459 0 -1 4194304 110460 0 0 0 359887 116 0 0 20 0 1 0 73884313 189190144 44329 18446744073709551615 4198400 7047149 140720730149440 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30007296 140720730155380 140720730155494 140720730155494 140720730161097 0
/proc/81530/statm: 46189 44329 640 696 0 45350 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 188948 KiB
Current children cumulated memory: 180260 KiB
Child status: 10
Real time (s): 3609.7
CPU time (s): 3600.04
CPU user time (s): 3598.88
CPU system time (s): 1.16361
CPU usage (%): 99.7324
Max. virtual memory (cumulated for all children) (KiB): 243568
Max. memory (cumulated for all children) (KiB): 234844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.88
system time used= 1.16361
maximum resident set size= 231900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110903
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= 190
involuntary context switches= 1772
# summary of solver processes directly reported to runsolver:
# pid: 81521
# total CPU time (s): 3600.04
# total CPU user time (s): 3598.88
# total CPU system time (s): 1.16361
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42216 second user time and 17.0356 second system time
The end
Begin job on nodeC032 at 2025-07-04 00:34:17
IDJOB=4521254
IDBENCH=178251
IDSOLVER=3341
FILE ID=nodeC032/4521254-1751582056
RUNJOBID= nodeC032-1751582056-81470
SLURM_JOB_ID= 9598823
Free space on /tmp= 430568 MiB
SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/normalized-maxcut_opt_complete_5-partite_inlv_nvert_50.opb
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521254-1751582056/watcher-4521254-1751582056 -o /tmp/evaluation-result-4521254-1751582056/solver-4521254-1751582056 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751582056-81470 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4521254-1751582056.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 68c73bc206439bbe0d5a467b2a25edac
RANDOM SEED=1043342493
nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3600.063
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3600.535
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3600.030
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3599.842
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3599.423
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3600.050
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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.845
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3601.325
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 113238824 kB
MemAvailable: 129662188 kB
Buffers: 2728 kB
Cached: 17101708 kB
SwapCached: 20 kB
Active: 445516 kB
Inactive: 16732228 kB
Active(anon): 88232 kB
Inactive(anon): 3124 kB
Active(file): 357284 kB
Inactive(file): 16729104 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30900 kB
Writeback: 0 kB
AnonPages: 76512 kB
Mapped: 103804 kB
Shmem: 18048 kB
KReclaimable: 352428 kB
Slab: 446772 kB
SReclaimable: 352428 kB
SUnreclaim: 94344 kB
KernelStack: 4144 kB
PageTables: 2960 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 348736 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430532 MiB
End job on nodeC032 at 2025-07-04 01:34:27