0.00/0.00 c NaPS 1.03.
0.00/0.00 c Input file name: HOME/instance-4456446-1721721000.wbo
0.09/0.11 c single stage optimization mode
0.09/0.18 o 3198434710
19.84/19.90 o 1672032054
22.44/22.58 o 1095839638
24.94/25.10 o 722240999
28.22/28.33 o 146736708
31.41/31.52 o 14498489
3600.05/3611.11 c
3600.05/3611.11 c *** TERMINATED *** by signal 15
3600.05/3611.11 s SATISFIABLE
3600.05/3611.11 c _____________________________________________________________________________
3600.05/3611.11 c std/band forms : 56,0
3600.05/3611.11 c 2cl/3cl ITE-codings : 0,0
3600.05/3611.11 c BDD/srt/adr Max costs : 0,2260782,0
3600.05/3611.11 c BDDraw/bin/mul/srt/adr: 0,0,0,56,0
3600.05/3611.11 c BDD nodes : 0
3600.05/3611.11 c Es1/CC detections : 0,0
3600.05/3611.11 c CC sort : 50
3600.05/3611.11 c SAT/UNSAT calls : 6,0
3600.05/3611.11 c regenrated variables : 0
3600.05/3611.11 c eliminated fixed lits : 0
3600.05/3611.11 c goal lit flips : 2423
3600.05/3611.11 c goal stages : 1
3600.05/3611.11 c goal shrink : 0
3600.05/3611.11 c goal coeff separations: 269
3600.05/3611.11 c restarts : 142
3600.05/3611.11 c conflicts : 1742 (0 /sec)
3600.05/3611.11 c decisions : 567119 (158 /sec)
3600.05/3611.11 c propagations : 51636146 (14376 /sec)
3600.05/3611.11 c inspects : 0 (0 /sec)
3600.05/3611.11 c CPU time (solving tm) : 3592 s (3568 s, SAT 7.211 s, UNSAT 0 s)
3600.05/3611.11 c Time for Opt-base : 16.32 s
3600.05/3611.11 c Steps for Opt-base : 88933227
3600.05/3611.11 c Time for BDD coding : 0 s
3600.05/3611.11 c Time for srt coding : 2.963 s
3600.05/3611.11 c _____________________________________________________________________________
3600.05/3611.11 v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 -x11 x12 x13 -x14 x15 -x16 x17 -x18 -x19 x20 -x21 x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 -x39 x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -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.05/3611.11 v
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (60670 MiB free)
memory of node 1: 64473 MiB (47425 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456446-1721721000/watcher-4456446-1721721000 -o /tmp/evaluation-result-4456446-1721721000/solver-4456446-1721721000 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721718429-79327 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4456446-1721721000.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=81943, runsolver pid=81940
[startup+0.100489 s]*
/proc/loadavg: 4.11 4.14 4.02 5/251 81948
/proc/meminfo: memFree=110682660/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=10968 memory=9624 CPUtime=0.09 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 2078 0 0 0 9 0 0 0 20 0 1 0 8089287 11231232 2406 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 2742 2406 612 659 0 1946 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20900 KiB
Current children cumulated memory: 12252 KiB
[startup+0.2136 s]*
/proc/loadavg: 4.11 4.14 4.02 5/251 81948
/proc/meminfo: memFree=110681736/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=11844 memory=10152 CPUtime=0.2 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 2246 0 0 0 20 0 0 0 20 0 1 0 8089287 12128256 2538 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 2961 2538 612 659 0 2165 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21776 KiB
Current children cumulated memory: 12780 KiB
[startup+0.313472 s]*
/proc/loadavg: 4.11 4.14 4.02 5/251 81948
/proc/meminfo: memFree=110681576/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=11844 memory=10152 CPUtime=0.3 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 2257 0 0 0 30 0 0 0 20 0 1 0 8089287 12128256 2538 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 2961 2538 612 659 0 2165 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21776 KiB
Current children cumulated memory: 12780 KiB
[startup+0.700436 s]
/proc/loadavg: 4.11 4.14 4.02 5/251 81948
/proc/meminfo: memFree=110681100/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=11976 memory=10416 CPUtime=0.67 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 2292 0 0 0 67 0 0 0 20 0 1 0 8089287 12263424 2604 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 2994 2604 612 659 0 2198 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 21908 KiB
Current children cumulated memory: 13044 KiB
[startup+1.50042 s]
/proc/loadavg: 4.11 4.14 4.02 5/251 81948
/proc/meminfo: memFree=110680924/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=12240 memory=10680 CPUtime=1.47 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 2350 0 0 0 147 0 0 0 20 0 1 0 8089287 12533760 2670 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 3060 2670 612 659 0 2264 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 22172 KiB
Current children cumulated memory: 13308 KiB
[startup+3.11416 s]
/proc/loadavg: 4.11 4.14 4.02 5/251 81951
/proc/meminfo: memFree=110680392/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=12688 memory=11208 CPUtime=3.08 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 2462 0 0 0 308 0 0 0 20 0 1 0 8089287 12992512 2802 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 3172 2802 612 659 0 2376 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 13836 KiB
[startup+6.30041 s]
/proc/loadavg: 4.10 4.13 4.02 5/251 81951
/proc/meminfo: memFree=110665056/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=13488 memory=11736 CPUtime=6.27 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 2632 0 0 0 626 1 0 0 20 0 1 0 8089287 13811712 2934 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 3372 2934 612 659 0 2576 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 23420 KiB
Current children cumulated memory: 14364 KiB
[startup+12.7004 s]
/proc/loadavg: 4.10 4.13 4.02 5/251 81951
/proc/meminfo: memFree=110664584/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=13884 memory=12264 CPUtime=12.66 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 2750 0 0 0 1265 1 0 0 20 0 1 0 8089287 14217216 3066 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 3471 3066 612 659 0 2675 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 23816 KiB
Current children cumulated memory: 14892 KiB
[startup+25.5004 s]
/proc/loadavg: 4.15 4.14 4.02 5/251 81954
/proc/meminfo: memFree=108668396/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=1777252 memory=1725548 CPUtime=25.43 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 181379 0 0 0 2489 54 0 0 20 0 1 0 8089287 1819906048 431387 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 444313 431387 644 659 0 443517 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1787184 KiB
Current children cumulated memory: 1728176 KiB
[startup+51.1135 s]
/proc/loadavg: 4.10 4.13 4.02 5/251 81957
/proc/meminfo: memFree=104692152/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=3714244 memory=3492688 CPUtime=50.97 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 281462 0 0 0 4936 161 0 0 20 0 1 0 8089287 3803385856 873172 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 928561 873172 660 659 0 927765 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 3724176 KiB
Current children cumulated memory: 3495316 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.14 4.03 5/251 81967
/proc/meminfo: memFree=104721372/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=2964436 memory=2732636 CPUtime=102.02 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 307024 0 0 0 9980 222 0 0 20 0 1 0 8089287 3035582464 683159 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 741109 683159 660 659 0 740313 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2974368 KiB
Current children cumulated memory: 2735264 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.16 4.04 5/247 81978
/proc/meminfo: memFree=104660056/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=2805524 memory=2624540 CPUtime=161.86 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 315583 0 0 0 15934 252 0 0 20 0 1 0 8089287 2872856576 656135 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 701381 656135 660 659 0 700585 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2815456 KiB
Current children cumulated memory: 2627168 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.13 4.03 5/247 81988
/proc/meminfo: memFree=104492636/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=2894620 memory=2713636 CPUtime=221.7 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 324409 0 0 0 21885 285 0 0 20 0 1 0 8089287 2964090880 678409 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 723655 678409 660 659 0 722859 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 2904552 KiB
################
# More data... #
################
/proc/81948/statm: 722032 686660 660 659 0 721236 0
Current children cumulated CPU time: 3092.84 s
Current children cumulated vsize: 2898060 KiB
Current children cumulated memory: 2749268 KiB
[startup+3162.3 s]
/proc/loadavg: 3.10 3.14 3.40 4/240 83772
/proc/meminfo: memFree=106204620/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=2890424 memory=2748936 CPUtime=3152.65 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 454806 0 0 0 314484 781 0 0 20 0 1 0 8089287 2959794176 687234 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 722606 687234 660 659 0 721810 0
Current children cumulated CPU time: 3152.65 s
Current children cumulated vsize: 2900356 KiB
Current children cumulated memory: 2751564 KiB
[startup+3222.3 s]
/proc/loadavg: 3.14 3.14 3.38 4/240 83784
/proc/meminfo: memFree=106197488/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=2893016 memory=2751528 CPUtime=3212.45 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 456355 0 0 0 320459 786 0 0 20 0 1 0 8089287 2962448384 687882 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 723254 687882 660 659 0 722458 0
Current children cumulated CPU time: 3212.45 s
Current children cumulated vsize: 2902948 KiB
Current children cumulated memory: 2754156 KiB
[startup+3282.3 s]
/proc/loadavg: 3.05 3.12 3.35 4/240 83794
/proc/meminfo: memFree=106199100/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=2891084 memory=2749596 CPUtime=3272.22 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 458270 0 0 0 326430 792 0 0 20 0 1 0 8089287 2960470016 687399 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 722771 687399 660 659 0 721975 0
Current children cumulated CPU time: 3272.22 s
Current children cumulated vsize: 2901016 KiB
Current children cumulated memory: 2752224 KiB
[startup+3342.3 s]
/proc/loadavg: 3.14 3.12 3.34 4/237 83804
/proc/meminfo: memFree=106198756/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=2891084 memory=2749596 CPUtime=3332.02 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 458943 0 0 0 332410 792 0 0 20 0 1 0 8089287 2960470016 687399 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 722771 687399 660 659 0 721975 0
Current children cumulated CPU time: 3332.02 s
Current children cumulated vsize: 2901016 KiB
Current children cumulated memory: 2752224 KiB
[startup+3402.3 s]
/proc/loadavg: 3.11 3.12 3.33 4/237 83815
/proc/meminfo: memFree=106194752/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=2892788 memory=2751304 CPUtime=3391.82 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 459998 0 0 0 338385 797 0 0 20 0 1 0 8089287 2962214912 687826 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 723197 687826 660 659 0 722401 0
Current children cumulated CPU time: 3391.82 s
Current children cumulated vsize: 2902720 KiB
Current children cumulated memory: 2753932 KiB
[startup+3462.3 s]
/proc/loadavg: 2.49 2.94 3.25 3/229 83855
/proc/meminfo: memFree=121819816/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=2892940 memory=2751456 CPUtime=3451.65 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 462061 0 0 0 344363 802 0 0 20 0 1 0 8089287 2962370560 687864 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 723235 687864 660 659 0 722439 0
Current children cumulated CPU time: 3451.65 s
Current children cumulated vsize: 2902872 KiB
Current children cumulated memory: 2754084 KiB
[startup+3522.3 s]
/proc/loadavg: 2.88 2.97 3.24 3/229 83865
/proc/meminfo: memFree=121819308/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=2892928 memory=2751516 CPUtime=3511.46 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 463306 0 0 0 350340 806 0 0 20 0 1 0 8089287 2962358272 687879 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 723232 687879 660 659 0 722436 0
Current children cumulated CPU time: 3511.46 s
Current children cumulated vsize: 2902860 KiB
Current children cumulated memory: 2754144 KiB
[startup+3582.3 s]
/proc/loadavg: 2.41 2.82 3.17 3/229 83876
/proc/meminfo: memFree=121816724/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=2895212 memory=2753800 CPUtime=3571.32 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 464610 0 0 0 356321 811 0 0 20 0 1 0 8089287 2964697088 688450 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 723803 688450 660 659 0 723007 0
Current children cumulated CPU time: 3571.32 s
Current children cumulated vsize: 2905144 KiB
Current children cumulated memory: 2756428 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 2.60 2.82 3.16 3/233 83888
/proc/meminfo: memFree=121813376/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=2898352 memory=2756940 CPUtime=3600.05 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 465892 0 0 0 359190 815 0 0 20 0 1 0 8089287 2967912448 689235 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 724588 689235 660 659 0 723792 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2908284 KiB
Current children cumulated memory: 2759568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.12 s]
# the end of solver process 81943 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.003366 s, system=0.002334 s
[startup+3611.13 s]
# the end of solver process 81948 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3591.91 s, system=8.17403 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 2.60 2.82 3.16 3/233 83888
/proc/meminfo: memFree=121813376/131655788 swapFree=131071996/131071996
[pid=81943] ppid=81940 vsize=9932 memory=2628 CPUtime=0 cores=1,3
/proc/81943/stat : 81943 (naps-1.03.sh) S 81940 81943 79315 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 8089286 10170368 657 134679101440 94901512892416 94901513971736 140726455186464 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94901516070192 94901516117380 94901538750464 140726455190499 140726455190624 140726455190624 140726455197640 0
/proc/81943/statm: 2483 657 578 264 0 134 0
[pid=81948] ppid=81943 vsize=2898352 memory=2756940 CPUtime=3600.05 cores=1,3
/proc/81948/stat : 81948 (naps-1.03) R 81943 81943 79315 0 -1 4194304 465892 0 0 0 359190 815 0 0 20 0 1 0 8089287 2967912448 689235 134679101440 4194304 6891213 140724704658768 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 36610048 140724704666612 140724704666724 140724704666724 140724704673739 0
/proc/81948/statm: 724588 689235 660 659 0 723792 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2908284 KiB
Current children cumulated memory: 2759568 KiB
Child status: 10
Real time (s): 3611.13
CPU time (s): 3600.09
CPU user time (s): 3591.91
CPU system time (s): 8.17403
CPU usage (%): 99.6943
Max. virtual memory (cumulated for all children) (KiB): 4183176
Max. memory (cumulated for all children) (KiB): 3956924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.91
system time used= 8.17403
maximum resident set size= 3954296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466356
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= 217
involuntary context switches= 1623
# summary of solver processes directly reported to runsolver:
# pid: 81943,81948
# total CPU time (s): 3600.09
# total CPU user time (s): 3591.91
# total CPU system time (s): 8.17403
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.7415 second user time and 32.4554 second system time
The end
Begin job on nodeC006 at 2024-07-23 09:50:00
IDJOB=4456446
IDBENCH=143996
IDSOLVER=3043
FILE ID=nodeC006/4456446-1721721000
RUNJOBID= nodeC006-1721718429-79327
SLURM_JOB_ID= 7770413
Free space on /tmp= 723704 MiB
SOLVER NAME= NaPS 1.03
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-cap104_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456446-1721721000/watcher-4456446-1721721000 -o /tmp/evaluation-result-4456446-1721721000/solver-4456446-1721721000 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721718429-79327 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4456446-1721721000.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8ae6cf967e584e12cada7dd8fbc9b19b
RANDOM SEED=2135706357
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3673.712
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.548
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.273
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.103
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3676.025
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.530
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.308
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.223
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 110690808 kB
MemAvailable: 114830548 kB
Buffers: 137936 kB
Cached: 4783544 kB
SwapCached: 0 kB
Active: 927108 kB
Inactive: 19418588 kB
Active(anon): 1456 kB
Inactive(anon): 15452268 kB
Active(file): 925652 kB
Inactive(file): 3966320 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5652 kB
Writeback: 0 kB
AnonPages: 15419384 kB
Mapped: 106492 kB
Shmem: 29512 kB
KReclaimable: 175932 kB
Slab: 276464 kB
SReclaimable: 175932 kB
SUnreclaim: 100532 kB
KernelStack: 4032 kB
PageTables: 39484 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 16490032 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 15936 kB
HardwareCorrupted: 0 kB
AnonHugePages: 9019392 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: 275272 kB
DirectMap2M: 27940864 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723720 MiB
End job on nodeC006 at 2024-07-23 10:50:12