0.00/0.00 c NaPS 1.03a1.
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-4461271-1722079477.wbo
0.00/0.00 c Initial goal by soft: 59386723
0.00/0.03 c single stage optimization mode
0.00/0.06 o 17737641
585.03/586.88 o 11807210
3600.00/3611.00 c
3600.00/3611.00 c *** TERMINATED *** by signal 15
3600.00/3611.00 s SATISFIABLE
3600.00/3611.00 c _____________________________________________________________________________
3600.00/3611.00 c std/band forms : 52,0
3600.00/3611.00 c 2cl/3cl ITE-codings : 0,0
3600.00/3611.00 c BDD/srt/adr Max costs : 0,2145744,0
3600.00/3611.00 c BDDraw/bin/mul/srt/adr: 0,0,0,52,0
3600.00/3611.00 c BDD nodes : 0
3600.00/3611.00 c Es1/CC detections : 0,0
3600.00/3611.00 c CC sort : 50
3600.00/3611.00 c SAT/UNSAT calls : 2,0
3600.00/3611.00 c regenrated variables : 35719
3600.00/3611.00 c eliminated fixed lits : 1253
3600.00/3611.00 c goal lit flips : 0
3600.00/3611.00 c goal stages : 1
3600.00/3611.00 c goal shrink : 0
3600.00/3611.00 c goal coeff separations: 245
3600.00/3611.00 c restarts : 4225
3600.00/3611.00 c conflicts : 482924 (134 /sec)
3600.00/3611.00 c decisions : 1822945 (507 /sec)
3600.00/3611.00 c propagations : 4462086882 (1240062 /sec)
3600.00/3611.00 c inspects : 0 (0 /sec)
3600.00/3611.00 c CPU time (solving tm) : 3598 s (3581 s, SAT 568.4 s, UNSAT 0 s)
3600.00/3611.00 c Time for Opt-base : 14.09 s
3600.00/3611.00 c Steps for Opt-base : 79146510
3600.00/3611.00 c Time for BDD coding : 0 s
3600.00/3611.00 c Time for srt coding : 1.008 s
3600.00/3611.00 c _____________________________________________________________________________
3600.00/3611.00 v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 -x21 x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 -x45 x46 x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -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 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
3600.00/3611.00 v
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61711 MiB free)
memory of node 1: 64510 MiB (59423 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461271-1722079477/watcher-4461271-1722079477 -o /tmp/evaluation-result-4461271-1722079477/solver-4461271-1722079477 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722075866-324410 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461271-1722079477.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=326425, runsolver pid=326422
[startup+0.100091 s]*
/proc/loadavg: 4.12 4.10 4.06 5/261 326430
/proc/meminfo: memFree=124034500/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=11908 memory=9228 CPUtime=0.09 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 2280 0 0 0 9 0 0 0 20 0 1 0 44470601 12193792 2307 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 2977 2307 468 659 0 2181 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21840 KiB
Current children cumulated memory: 11856 KiB
[startup+0.205756 s]*
/proc/loadavg: 4.12 4.10 4.06 5/255 326434
/proc/meminfo: memFree=124187948/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=11908 memory=9492 CPUtime=0.2 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 2297 0 0 0 20 0 0 0 20 0 1 0 44470601 12193792 2373 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 2977 2373 468 659 0 2181 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21840 KiB
Current children cumulated memory: 12120 KiB
[startup+0.305123 s]*
/proc/loadavg: 4.12 4.10 4.06 4/257 326444
/proc/meminfo: memFree=124187524/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=11908 memory=9492 CPUtime=0.29 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 2304 0 0 0 29 0 0 0 20 0 1 0 44470601 12193792 2373 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 2977 2373 468 659 0 2181 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 21840 KiB
Current children cumulated memory: 12120 KiB
[startup+0.700208 s]
/proc/loadavg: 4.12 4.10 4.06 5/257 326470
/proc/meminfo: memFree=124180420/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=12200 memory=9756 CPUtime=0.68 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 2360 0 0 0 68 0 0 0 20 0 1 0 44470601 12492800 2439 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 3050 2439 468 659 0 2254 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 22132 KiB
Current children cumulated memory: 12384 KiB
[startup+1.50024 s]
/proc/loadavg: 4.12 4.10 4.06 5/261 326480
/proc/meminfo: memFree=124138920/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=12488 memory=10020 CPUtime=1.48 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 2444 0 0 0 148 0 0 0 20 0 1 0 44470601 12787712 2505 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 3122 2505 468 659 0 2326 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 22420 KiB
Current children cumulated memory: 12648 KiB
[startup+3.10552 s]
/proc/loadavg: 4.11 4.10 4.06 5/261 326530
/proc/meminfo: memFree=124173608/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=12832 memory=10284 CPUtime=3.08 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 2512 0 0 0 308 0 0 0 20 0 1 0 44470601 13139968 2571 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 3208 2571 468 659 0 2412 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 22764 KiB
Current children cumulated memory: 12912 KiB
[startup+6.30026 s]
/proc/loadavg: 4.11 4.10 4.06 5/261 326532
/proc/meminfo: memFree=123439756/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=13488 memory=11284 CPUtime=6.27 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 2668 0 0 0 627 0 0 0 20 0 1 0 44470601 13811712 2821 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 3372 2821 468 659 0 2576 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 23420 KiB
Current children cumulated memory: 13912 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.10 4.06 5/261 326532
/proc/meminfo: memFree=122536420/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=13488 memory=11284 CPUtime=12.65 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 2684 0 0 0 1265 0 0 0 20 0 1 0 44470601 13811712 2821 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 3372 2821 468 659 0 2576 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 23420 KiB
Current children cumulated memory: 13912 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.09 4.06 5/261 326535
/proc/meminfo: memFree=118310456/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=1202404 memory=1123860 CPUtime=25.42 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 115621 0 0 0 2505 37 0 0 20 0 1 0 44470601 1231261696 280965 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 300601 280965 468 659 0 299805 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1212336 KiB
Current children cumulated memory: 1126488 KiB
[startup+51.1057 s]
/proc/loadavg: 4.11 4.10 4.06 5/261 326538
/proc/meminfo: memFree=118277484/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=1252492 memory=1132052 CPUtime=50.95 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 116281 0 0 0 5057 38 0 0 20 0 1 0 44470601 1282551808 283013 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 313123 283013 468 659 0 312327 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1262424 KiB
Current children cumulated memory: 1134680 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.11 4.07 5/261 326935
/proc/meminfo: memFree=118355104/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=1252492 memory=1134896 CPUtime=101.99 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 116894 0 0 0 10160 39 0 0 20 0 1 0 44470601 1282551808 283724 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 313123 283724 468 659 0 312327 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1262424 KiB
Current children cumulated memory: 1137524 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.07 5/261 326946
/proc/meminfo: memFree=118358140/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=1257524 memory=1138996 CPUtime=161.8 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 117977 0 0 0 16138 42 0 0 20 0 1 0 44470601 1287704576 284749 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 314381 284749 468 659 0 313585 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1267456 KiB
Current children cumulated memory: 1141624 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.07 5/261 326956
/proc/meminfo: memFree=118279264/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=1257524 memory=1171764 CPUtime=221.63 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 118128 0 0 0 22119 44 0 0 20 0 1 0 44470601 1287704576 292941 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 314381 292941 468 659 0 313585 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 1267456 KiB
################
# More data... #
################
/proc/326430/statm: 429877 391925 468 659 0 429081 0
Current children cumulated CPU time: 3033.03 s
Current children cumulated vsize: 1729440 KiB
Current children cumulated memory: 1570328 KiB
[startup+3102.3 s]
/proc/loadavg: 4.50 4.21 4.13 5/259 328273
/proc/meminfo: memFree=117222848/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=1801304 memory=1593884 CPUtime=3092.85 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 181314 0 0 0 309128 157 0 0 20 0 1 0 44470601 1844535296 398471 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 450326 398471 468 659 0 449530 0
Current children cumulated CPU time: 3092.85 s
Current children cumulated vsize: 1811236 KiB
Current children cumulated memory: 1596512 KiB
[startup+3162.3 s]
/proc/loadavg: 4.38 4.24 4.15 5/259 328284
/proc/meminfo: memFree=117330684/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=1720408 memory=1537796 CPUtime=3152.66 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 182079 0 0 0 315105 161 0 0 20 0 1 0 44470601 1761697792 384449 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 430102 384449 468 659 0 429306 0
Current children cumulated CPU time: 3152.66 s
Current children cumulated vsize: 1730340 KiB
Current children cumulated memory: 1540424 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.21 4.14 5/259 328295
/proc/meminfo: memFree=117220424/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=1720408 memory=1564420 CPUtime=3212.48 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 182337 0 0 0 321086 162 0 0 20 0 1 0 44470601 1761697792 391105 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 430102 391105 468 659 0 429306 0
Current children cumulated CPU time: 3212.48 s
Current children cumulated vsize: 1730340 KiB
Current children cumulated memory: 1567048 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.19 4.13 5/259 328305
/proc/meminfo: memFree=117132604/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=1801796 memory=1584260 CPUtime=3272.3 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 183465 0 0 0 327067 163 0 0 20 0 1 0 44470601 1845039104 396065 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 450449 396065 468 659 0 449653 0
Current children cumulated CPU time: 3272.3 s
Current children cumulated vsize: 1811728 KiB
Current children cumulated memory: 1586888 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.16 4.13 5/259 328316
/proc/meminfo: memFree=117088596/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=1802612 memory=1603284 CPUtime=3332.12 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 183823 0 0 0 333048 164 0 0 20 0 1 0 44470601 1845874688 400821 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 450653 400821 468 659 0 449857 0
Current children cumulated CPU time: 3332.12 s
Current children cumulated vsize: 1812544 KiB
Current children cumulated memory: 1605912 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.16 4.13 5/261 328330
/proc/meminfo: memFree=117251264/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=1721716 memory=1563560 CPUtime=3391.94 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 184665 0 0 0 339027 167 0 0 20 0 1 0 44470601 1763037184 390890 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 430429 390890 468 659 0 429633 0
Current children cumulated CPU time: 3391.94 s
Current children cumulated vsize: 1731648 KiB
Current children cumulated memory: 1566188 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.12 5/262 328343
/proc/meminfo: memFree=117154136/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=1803280 memory=1587660 CPUtime=3451.74 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 185734 0 0 0 345006 168 0 0 20 0 1 0 44470601 1846558720 396915 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 450820 396915 468 659 0 450024 0
Current children cumulated CPU time: 3451.74 s
Current children cumulated vsize: 1813212 KiB
Current children cumulated memory: 1590288 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.16 4.13 5/262 328353
/proc/meminfo: memFree=117109916/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=1804108 memory=1608728 CPUtime=3511.56 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 186136 0 0 0 350987 169 0 0 20 0 1 0 44470601 1847406592 402182 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 451027 402182 468 659 0 450231 0
Current children cumulated CPU time: 3511.56 s
Current children cumulated vsize: 1814040 KiB
Current children cumulated memory: 1611356 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/264 328369
/proc/meminfo: memFree=117154340/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=1723244 memory=1550580 CPUtime=3571.38 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 186979 0 0 0 356966 172 0 0 20 0 1 0 44470601 1764601856 387645 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 430811 387645 468 659 0 430015 0
Current children cumulated CPU time: 3571.38 s
Current children cumulated vsize: 1733176 KiB
Current children cumulated memory: 1553208 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.08 4.13 4.12 4/253 328420
/proc/meminfo: memFree=122102688/131524600 swapFree=131060148/131071996
[pid=326425] ppid=326422 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/326425/stat : 326425 (naps-1.03.sh) S 326422 326425 324398 0 -1 4194304 222 236 0 0 0 0 0 0 20 0 1 0 44470601 10170368 657 134679101440 94019508367360 94019509446680 140732668243424 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94019511545136 94019511592324 94019530223616 140732668244957 140732668245086 140732668245086 140732668252104 0
/proc/326425/statm: 2483 657 578 264 0 134 0
[pid=326430] ppid=326425 vsize=1723244 memory=1569100 CPUtime=3600 cores=1,3
/proc/326430/stat : 326430 (naps-1.03) R 326425 326425 324398 0 -1 4194304 187109 0 0 0 359827 173 0 0 20 0 1 0 44470601 1764601856 392275 134679101440 4194304 6891597 140734675611776 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36511744 140734675616750 140734675616866 140734675616866 140734675623883 0
/proc/326430/statm: 430811 392275 468 659 0 430015 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1733176 KiB
Current children cumulated memory: 1571728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.01 s]
# the end of solver process 326425 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001316 s, system=0.001581 s
[startup+3611.04 s]
# the end of solver process 326430 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.28 s, system=1.76909 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3611.04
CPU time (s): 3600.05
CPU user time (s): 3598.28
CPU system time (s): 1.76909
CPU usage (%): 99.6956
Max. virtual memory (cumulated for all children) (KiB): 1944792
Max. memory (cumulated for all children) (KiB): 1717796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.28
system time used= 1.76909
maximum resident set size= 1715168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187567
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= 14
involuntary context switches= 3205
# summary of solver processes directly reported to runsolver:
# pid: 326425,326430
# total CPU time (s): 3600.05
# total CPU user time (s): 3598.28
# total CPU system time (s): 1.76909
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.51095 second user time and 18.821 second system time
The end
Begin job on nodeC022 at 2024-07-27 13:24:37
IDJOB=4461271
IDBENCH=144004
IDSOLVER=3087
FILE ID=nodeC022/4461271-1722079477
RUNJOBID= nodeC022-1722075866-324410
SLURM_JOB_ID= 8248123
Free space on /tmp= 890068 MiB
SOLVER NAME= NaPS-GM 1.03a1
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-cap101_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4461271-1722079477/watcher-4461271-1722079477 -o /tmp/evaluation-result-4461271-1722079477/solver-4461271-1722079477 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722075866-324410 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461271-1722079477.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 67d067d79b844c4946a358fd5c7ae34f
RANDOM SEED=201284843
nodeC022.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 : 3671.047
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.87
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 : 3662.959
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 : 7006.75
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.211
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.87
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 : 3656.636
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 : 7006.75
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 : 3670.994
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.87
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 : 3667.716
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 : 7006.75
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.170
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.87
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 : 3600.193
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 : 7006.75
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124043372 kB
MemAvailable: 129167244 kB
Buffers: 384668 kB
Cached: 5531048 kB
SwapCached: 516 kB
Active: 2706436 kB
Inactive: 4093972 kB
Active(anon): 2416 kB
Inactive(anon): 935948 kB
Active(file): 2704020 kB
Inactive(file): 3158024 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131060148 kB
Dirty: 10896 kB
Writeback: 16 kB
AnonPages: 881928 kB
Mapped: 122300 kB
Shmem: 53676 kB
KReclaimable: 207044 kB
Slab: 327704 kB
SReclaimable: 207044 kB
SUnreclaim: 120660 kB
KernelStack: 4208 kB
PageTables: 11588 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1452108 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 17376 kB
HardwareCorrupted: 0 kB
AnonHugePages: 722944 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: 334548 kB
DirectMap2M: 36139008 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC022 at 2024-07-27 14:24:48