0.00/0.00 c NaPS 1.03.
0.00/0.00 c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00 c Input file name: HOME/instance-4456465-1721721827.wbo
0.00/0.07 c single stage optimization mode
0.10/0.14 o 17737641
605.19/607.21 o 11807210
3600.07/3613.20 c
3600.07/3613.20 c *** TERMINATED *** by signal 15
3600.07/3613.20 s SATISFIABLE
3600.07/3613.20 c _____________________________________________________________________________
3600.07/3613.20 c std/band forms : 52,0
3600.07/3613.20 c 2cl/3cl ITE-codings : 0,0
3600.07/3613.20 c BDD/srt/adr Max costs : 0,2145744,0
3600.07/3613.20 c BDDraw/bin/mul/srt/adr: 0,0,0,52,0
3600.07/3613.20 c BDD nodes : 0
3600.07/3613.20 c Es1/CC detections : 0,0
3600.07/3613.20 c CC sort : 50
3600.07/3613.20 c SAT/UNSAT calls : 2,0
3600.07/3613.20 c regenrated variables : 35719
3600.07/3613.20 c eliminated fixed lits : 1253
3600.07/3613.20 c goal lit flips : 0
3600.07/3613.20 c goal stages : 1
3600.07/3613.20 c goal shrink : 0
3600.07/3613.20 c goal coeff separations: 245
3600.07/3613.20 c restarts : 4225
3600.07/3613.20 c conflicts : 482924 (134 /sec)
3600.07/3613.20 c decisions : 1822945 (507 /sec)
3600.07/3613.20 c propagations : 4462086882 (1240018 /sec)
3600.07/3613.20 c inspects : 0 (0 /sec)
3600.07/3613.20 c CPU time (solving tm) : 3598 s (3580 s, SAT 587.3 s, UNSAT 0 s)
3600.07/3613.20 c Time for Opt-base : 15.13 s
3600.07/3613.20 c Steps for Opt-base : 79146510
3600.07/3613.20 c Time for BDD coding : 0 s
3600.07/3613.20 c Time for srt coding : 1.089 s
3600.07/3613.20 c _____________________________________________________________________________
3600.07/3613.20 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.07/3613.20 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: 64059 MiB (58403 MiB free)
memory of node 1: 64510 MiB (52233 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456465-1721721827/watcher-4456465-1721721827 -o /tmp/evaluation-result-4456465-1721721827/solver-4456465-1721721827 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721717892-78835 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4456465-1721721827.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=81489, runsolver pid=81486
[startup+0.100101 s]*
/proc/loadavg: 4.05 4.09 4.09 5/250 81494
/proc/meminfo: memFree=113285276/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=11232 memory=8636 CPUtime=0.1 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 1966 0 0 0 10 0 0 0 20 0 1 0 8172280 11501568 2159 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 2808 2159 468 659 0 2012 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21164 KiB
Current children cumulated memory: 11460 KiB
[startup+0.213511 s]*
/proc/loadavg: 4.05 4.09 4.09 5/250 81494
/proc/meminfo: memFree=113284140/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=11908 memory=9228 CPUtime=0.21 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 2277 0 0 0 21 0 0 0 20 0 1 0 8172280 12193792 2307 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 2977 2307 468 659 0 2181 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 21840 KiB
Current children cumulated memory: 12052 KiB
[startup+0.313418 s]*
/proc/loadavg: 4.05 4.09 4.09 5/250 81494
/proc/meminfo: memFree=113283996/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=11908 memory=9228 CPUtime=0.31 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 2282 0 0 0 31 0 0 0 20 0 1 0 8172280 12193792 2307 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 2977 2307 468 659 0 2181 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 21840 KiB
Current children cumulated memory: 12052 KiB
[startup+0.700383 s]
/proc/loadavg: 4.05 4.09 4.09 5/250 81494
/proc/meminfo: memFree=113283852/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=11908 memory=9492 CPUtime=0.68 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 2301 0 0 0 68 0 0 0 20 0 1 0 8172280 12193792 2373 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 2977 2373 468 659 0 2181 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 21840 KiB
Current children cumulated memory: 12316 KiB
[startup+1.50041 s]
/proc/loadavg: 4.05 4.09 4.09 5/250 81494
/proc/meminfo: memFree=113283616/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=12200 memory=9756 CPUtime=1.48 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 2361 0 0 0 148 0 0 0 20 0 1 0 8172280 12492800 2439 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 3050 2439 468 659 0 2254 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 22132 KiB
Current children cumulated memory: 12580 KiB
[startup+3.11325 s]
/proc/loadavg: 4.05 4.09 4.09 5/250 81494
/proc/meminfo: memFree=113281004/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=12700 memory=10020 CPUtime=3.09 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 2468 0 0 0 309 0 0 0 20 0 1 0 8172280 13004800 2505 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 3175 2505 468 659 0 2379 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 22632 KiB
Current children cumulated memory: 12844 KiB
[startup+6.30039 s]
/proc/loadavg: 4.04 4.09 4.08 5/247 81496
/proc/meminfo: memFree=113277960/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=13200 memory=10548 CPUtime=6.27 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 2618 0 0 0 627 0 0 0 20 0 1 0 8172280 13516800 2637 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 3300 2637 468 659 0 2504 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 23132 KiB
Current children cumulated memory: 13372 KiB
[startup+12.7004 s]
/proc/loadavg: 4.04 4.09 4.08 5/247 81496
/proc/meminfo: memFree=113273512/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=13488 memory=10812 CPUtime=12.65 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 2667 0 0 0 1265 0 0 0 20 0 1 0 8172280 13811712 2703 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 3372 2703 468 659 0 2576 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 23420 KiB
Current children cumulated memory: 13636 KiB
[startup+25.5004 s]
/proc/loadavg: 4.03 4.08 4.08 5/247 81499
/proc/meminfo: memFree=112119660/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=1245944 memory=1151780 CPUtime=25.41 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 110386 0 0 0 2508 33 0 0 20 0 1 0 8172280 1275846656 287945 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 311486 287945 468 659 0 310690 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1255876 KiB
Current children cumulated memory: 1154604 KiB
[startup+51.1135 s]
/proc/loadavg: 4.09 4.09 4.09 5/248 81503
/proc/meminfo: memFree=112235272/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=1252492 memory=1134092 CPUtime=50.94 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 112465 0 0 0 5058 36 0 0 20 0 1 0 8172280 1282551808 283523 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 313123 283523 468 659 0 312327 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1262424 KiB
Current children cumulated memory: 1136916 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/248 81511
/proc/meminfo: memFree=112179580/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=1252492 memory=1136936 CPUtime=101.95 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 113802 0 0 0 10157 38 0 0 20 0 1 0 8172280 1282551808 284234 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 313123 284234 468 659 0 312327 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1262424 KiB
Current children cumulated memory: 1139760 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/247 81522
/proc/meminfo: memFree=112132680/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=1257524 memory=1138956 CPUtime=161.76 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 117411 0 0 0 16135 41 0 0 20 0 1 0 8172280 1287704576 284739 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 314381 284739 468 659 0 313585 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1267456 KiB
Current children cumulated memory: 1141780 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/247 81532
/proc/meminfo: memFree=112166004/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=1257524 memory=1171928 CPUtime=221.56 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 117626 0 0 0 22114 42 0 0 20 0 1 0 8172280 1287704576 292982 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 314381 292982 468 659 0 313585 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 1267456 KiB
################
# More data... #
################
/proc/81494/statm: 450048 398880 468 659 0 449252 0
Current children cumulated CPU time: 3031.31 s
Current children cumulated vsize: 1810124 KiB
Current children cumulated memory: 1598344 KiB
[startup+3102.3 s]
/proc/loadavg: 2.18 2.16 2.40 3/236 83133
/proc/meminfo: memFree=118906600/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=1719152 memory=1545448 CPUtime=3091.08 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 182978 0 0 0 308953 155 0 0 20 0 1 0 8172280 1760411648 386362 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 429788 386362 468 659 0 428992 0
Current children cumulated CPU time: 3091.08 s
Current children cumulated vsize: 1729084 KiB
Current children cumulated memory: 1548272 KiB
[startup+3162.3 s]
/proc/loadavg: 2.12 2.14 2.38 3/233 83144
/proc/meminfo: memFree=118882248/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=1719508 memory=1569864 CPUtime=3150.85 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 183735 0 0 0 314929 156 0 0 20 0 1 0 8172280 1760776192 392466 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 429877 392466 468 659 0 429081 0
Current children cumulated CPU time: 3150.85 s
Current children cumulated vsize: 1729440 KiB
Current children cumulated memory: 1572688 KiB
[startup+3222.3 s]
/proc/loadavg: 2.09 2.13 2.35 4/233 83154
/proc/meminfo: memFree=118857128/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=1801304 memory=1594436 CPUtime=3210.62 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 184431 0 0 0 320905 157 0 0 20 0 1 0 8172280 1844535296 398609 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 450326 398609 468 659 0 449530 0
Current children cumulated CPU time: 3210.62 s
Current children cumulated vsize: 1811236 KiB
Current children cumulated memory: 1597260 KiB
[startup+3282.3 s]
/proc/loadavg: 2.07 2.12 2.34 3/234 83333
/proc/meminfo: memFree=118912264/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=1720408 memory=1538276 CPUtime=3270.4 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 185178 0 0 0 326880 160 0 0 20 0 1 0 8172280 1761697792 384569 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 430102 384569 468 659 0 429306 0
Current children cumulated CPU time: 3270.4 s
Current children cumulated vsize: 1730340 KiB
Current children cumulated memory: 1541100 KiB
[startup+3342.3 s]
/proc/loadavg: 2.11 2.12 2.33 3/234 83345
/proc/meminfo: memFree=118886020/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=1720408 memory=1562852 CPUtime=3330.17 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 185458 0 0 0 332856 161 0 0 20 0 1 0 8172280 1761697792 390713 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 430102 390713 468 659 0 429306 0
Current children cumulated CPU time: 3330.17 s
Current children cumulated vsize: 1730340 KiB
Current children cumulated memory: 1565676 KiB
[startup+3402.3 s]
/proc/loadavg: 2.16 2.13 2.31 3/235 83359
/proc/meminfo: memFree=118865252/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=1801796 memory=1582692 CPUtime=3389.94 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 186528 0 0 0 338832 162 0 0 20 0 1 0 8172280 1845039104 395673 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 450449 395673 468 659 0 449653 0
Current children cumulated CPU time: 3389.94 s
Current children cumulated vsize: 1811728 KiB
Current children cumulated memory: 1585516 KiB
[startup+3462.3 s]
/proc/loadavg: 2.12 2.12 2.30 3/232 83382
/proc/meminfo: memFree=118848296/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=1802612 memory=1599748 CPUtime=3449.72 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 186914 0 0 0 344809 163 0 0 20 0 1 0 8172280 1845874688 399937 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 450653 399937 468 659 0 449857 0
Current children cumulated CPU time: 3449.72 s
Current children cumulated vsize: 1812544 KiB
Current children cumulated memory: 1602572 KiB
[startup+3522.3 s]
/proc/loadavg: 2.04 2.10 2.27 3/232 83393
/proc/meminfo: memFree=118887264/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=1721564 memory=1559932 CPUtime=3509.5 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 187681 0 0 0 350784 166 0 0 20 0 1 0 8172280 1762881536 389983 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 430391 389983 468 659 0 429595 0
Current children cumulated CPU time: 3509.5 s
Current children cumulated vsize: 1731496 KiB
Current children cumulated memory: 1562756 KiB
[startup+3582.3 s]
/proc/loadavg: 1.59 1.97 2.22 2/224 83433
/proc/meminfo: memFree=122789344/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=1803424 memory=1588144 CPUtime=3569.28 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 188875 0 0 0 356761 167 0 0 20 0 1 0 8172280 1846706176 397036 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 450856 397036 468 659 0 450060 0
Current children cumulated CPU time: 3569.28 s
Current children cumulated vsize: 1813356 KiB
Current children cumulated memory: 1590968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.2 s]
/proc/loadavg: 1.35 1.87 2.18 2/224 83439
/proc/meminfo: memFree=122773412/131655788 swapFree=131071996/131071996
[pid=81489] ppid=81486 vsize=9932 memory=2824 CPUtime=0 cores=0,2
/proc/81489/stat : 81489 (naps-1.03.sh) S 81486 81489 78798 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 8172279 10170368 706 134679101440 94111436988416 94111438067736 140735851192080 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94111440166192 94111440213380 94111459024896 140735851193311 140735851193440 140735851193440 140735851200456 0
/proc/81489/statm: 2483 706 630 264 0 134 0
[pid=81494] ppid=81489 vsize=1803932 memory=1603808 CPUtime=3600.07 cores=0,2
/proc/81494/stat : 81494 (naps-1.03) R 81489 81489 78798 0 -1 4194304 189107 0 0 0 359840 167 0 0 20 0 1 0 8172280 1847226368 400952 134679101440 4194304 6891213 140731105172928 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 8732672 140731105178608 140731105178724 140731105178724 140731105185739 0
/proc/81494/statm: 450983 400952 468 659 0 450187 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1813864 KiB
Current children cumulated memory: 1606632 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.21 s]
# the end of solver process 81489 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002894 s, system=0.003049 s
[startup+3613.23 s]
# the end of solver process 81494 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.41 s, system=1.71313 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): 3613.23
CPU time (s): 3600.12
CPU user time (s): 3598.41
CPU system time (s): 1.71313
CPU usage (%): 99.6371
Max. virtual memory (cumulated for all children) (KiB): 1942952
Max. memory (cumulated for all children) (KiB): 1703536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.41
system time used= 1.71313
maximum resident set size= 1700712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189577
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= 24
involuntary context switches= 24813
# summary of solver processes directly reported to runsolver:
# pid: 81489,81494
# total CPU time (s): 3600.12
# total CPU user time (s): 3598.41
# total CPU system time (s): 1.71313
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5508 second user time and 36.469 second system time
The end
Begin job on nodeC010 at 2024-07-23 10:03:47
IDJOB=4456465
IDBENCH=144004
IDSOLVER=3042
FILE ID=nodeC010/4456465-1721721827
RUNJOBID= nodeC010-1721717892-78835
SLURM_JOB_ID= 7770392
Free space on /tmp= 723716 MiB
SOLVER NAME= NaPS-GM 1.03
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-4456465-1721721827/watcher-4456465-1721721827 -o /tmp/evaluation-result-4456465-1721721827/solver-4456465-1721721827 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721717892-78835 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4456465-1721721827.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 67d067d79b844c4946a358fd5c7ae34f
RANDOM SEED=978909824
nodeC010.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 : 3491.823
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.61
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 : 3493.929
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.28
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.194
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.61
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.333
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.28
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 : 3518.833
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.61
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.804
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.28
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.315
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.61
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.273
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.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 113293124 kB
MemAvailable: 118899944 kB
Buffers: 138700 kB
Cached: 6228852 kB
SwapCached: 0 kB
Active: 909804 kB
Inactive: 16791388 kB
Active(anon): 1504 kB
Inactive(anon): 11361676 kB
Active(file): 908300 kB
Inactive(file): 5429712 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5456 kB
Writeback: 0 kB
AnonPages: 11333716 kB
Mapped: 105000 kB
Shmem: 29512 kB
KReclaimable: 217676 kB
Slab: 324592 kB
SReclaimable: 217676 kB
SUnreclaim: 106916 kB
KernelStack: 4000 kB
PageTables: 31552 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 12592408 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 18112 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6170624 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: 273224 kB
DirectMap2M: 27942912 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723776 MiB
End job on nodeC010 at 2024-07-23 11:04:01