0.00/0.00 c NaPS 1.03a1.
0.00/0.00 c Input file name: HOME/instance-4461625-1722079687.wbo
0.00/0.00 c Initial goal by soft: 59386723
0.00/0.11 c single stage optimization mode
0.30/0.33 c Found but not a solution: 2988434710
18.35/18.44 c Found but not a solution: 909036259
23.14/23.27 c Found but not a solution: 508227019
25.23/25.33 c Found but not a solution: 311696368
28.93/29.06 c Found but not a solution: 193330219
97.73/98.06 c Found but not a solution: 88002739
100.83/101.17 o 16193302
645.84/647.77 o 10735453
3600.01/3610.60 c
3600.01/3610.60 c *** TERMINATED *** by signal 15
3600.01/3610.60 s SATISFIABLE
3600.01/3610.60 c _____________________________________________________________________________
3600.01/3610.60 c std/band forms : 58,0
3600.01/3610.60 c 2cl/3cl ITE-codings : 0,0
3600.01/3610.60 c BDD/srt/adr Max costs : 0,2145479,0
3600.01/3610.60 c BDDraw/bin/mul/srt/adr: 0,0,0,58,0
3600.01/3610.60 c BDD nodes : 0
3600.01/3610.60 c Es1/CC detections : 0,0
3600.01/3610.60 c CC sort : 50
3600.01/3610.60 c SAT/UNSAT calls : 8,0
3600.01/3610.60 c regenrated variables : 120
3600.01/3610.60 c eliminated fixed lits : 2504
3600.01/3610.60 c goal lit flips : 2423
3600.01/3610.60 c goal stages : 1
3600.01/3610.60 c goal shrink : 0
3600.01/3610.60 c goal coeff separations: 245
3600.01/3610.60 c restarts : 4806
3600.01/3610.60 c conflicts : 211240 (59 /sec)
3600.01/3610.60 c decisions : 1762081 (491 /sec)
3600.01/3610.60 c propagations : 2484764797 (691716 /sec)
3600.01/3610.60 c inspects : 0 (0 /sec)
3600.01/3610.60 c CPU time (solving tm) : 3592 s (3563 s, SAT 615.7 s, UNSAT 0 s)
3600.01/3610.60 c Time for Opt-base : 14.77 s
3600.01/3610.60 c Steps for Opt-base : 79146510
3600.01/3610.60 c Time for BDD coding : 0 s
3600.01/3610.60 c Time for srt coding : 3.394 s
3600.01/3610.60 c _____________________________________________________________________________
3600.01/3610.60 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.01/3610.60 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 (51515 MiB free)
memory of node 1: 64510 MiB (57644 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461625-1722079687/watcher-4461625-1722079687 -o /tmp/evaluation-result-4461625-1722079687/solver-4461625-1722079687 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722076077-372791 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461625-1722079687.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=374789, runsolver pid=374786
[startup+0.100556 s]*
/proc/loadavg: 4.08 4.09 4.07 4/242 374808
/proc/meminfo: memFree=111772476/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=10700 memory=9360 CPUtime=0.09 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 2016 0 0 0 9 0 0 0 20 0 1 0 43958037 10956800 2340 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/statm: 2675 2340 612 659 0 1879 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 12084 KiB
[startup+0.214206 s]*
/proc/loadavg: 4.08 4.09 4.07 5/239 374814
/proc/meminfo: memFree=111773212/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=10968 memory=9624 CPUtime=0.21 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 2075 0 0 0 21 0 0 0 20 0 1 0 43958037 11231232 2406 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/statm: 2742 2406 612 659 0 1946 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 20900 KiB
Current children cumulated memory: 12348 KiB
[startup+0.313596 s]*
/proc/loadavg: 4.08 4.09 4.07 5/241 374829
/proc/meminfo: memFree=111773304/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=10968 memory=9624 CPUtime=0.3 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 2075 0 0 0 30 0 0 0 20 0 1 0 43958037 11231232 2406 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/statm: 2742 2406 612 659 0 1946 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 20900 KiB
Current children cumulated memory: 12348 KiB
[startup+0.700348 s]
/proc/loadavg: 4.08 4.09 4.07 5/241 374836
/proc/meminfo: memFree=111765448/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=11976 memory=10416 CPUtime=0.68 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 2261 0 0 0 68 0 0 0 20 0 1 0 43958037 12263424 2604 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/statm: 2994 2604 612 659 0 2198 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 21908 KiB
Current children cumulated memory: 13140 KiB
[startup+1.50033 s]
/proc/loadavg: 4.08 4.09 4.07 5/246 374844
/proc/meminfo: memFree=111744940/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=12240 memory=10680 CPUtime=1.47 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 2325 0 0 0 147 0 0 0 20 0 1 0 43958037 12533760 2670 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/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: 13404 KiB
[startup+3.11339 s]
/proc/loadavg: 4.07 4.09 4.07 5/246 374894
/proc/meminfo: memFree=111694584/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=12688 memory=10944 CPUtime=3.08 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 2433 0 0 0 308 0 0 0 20 0 1 0 43958037 12992512 2736 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/statm: 3172 2736 612 659 0 2376 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 13668 KiB
[startup+6.30031 s]
/proc/loadavg: 4.07 4.09 4.07 5/246 374896
/proc/meminfo: memFree=110471220/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=13192 memory=11908 CPUtime=6.26 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 2585 0 0 0 626 0 0 0 20 0 1 0 43958037 13508608 2977 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/statm: 3298 2977 612 659 0 2502 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 23124 KiB
Current children cumulated memory: 14632 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.10 4.07 5/246 374896
/proc/meminfo: memFree=109811820/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=13480 memory=12152 CPUtime=12.65 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 2638 0 0 0 1265 0 0 0 20 0 1 0 43958037 13803520 3038 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/statm: 3370 3038 612 659 0 2574 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 23412 KiB
Current children cumulated memory: 14876 KiB
[startup+25.5005 s]
/proc/loadavg: 4.11 4.10 4.07 5/248 375068
/proc/meminfo: memFree=104433364/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=1731344 memory=1675932 CPUtime=25.43 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 173662 0 0 0 2488 55 0 0 20 0 1 0 43958037 1772896256 418983 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/statm: 432836 418983 644 659 0 432040 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1741276 KiB
Current children cumulated memory: 1678656 KiB
[startup+51.1142 s]
/proc/loadavg: 4.07 4.09 4.07 5/248 375073
/proc/meminfo: memFree=100780144/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=3664856 memory=3365300 CPUtime=50.97 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 242832 0 0 0 4942 155 0 0 20 0 1 0 43958037 3752812544 841325 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/statm: 916214 841325 660 659 0 915418 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 3674788 KiB
Current children cumulated memory: 3368024 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.07 5/248 375081
/proc/meminfo: memFree=103437204/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=2640716 memory=2589668 CPUtime=102.01 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 266214 0 0 0 9989 212 0 0 20 0 1 0 43958037 2704093184 647417 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/statm: 660179 647417 660 659 0 659383 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2650648 KiB
Current children cumulated memory: 2592392 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.08 5/250 375149
/proc/meminfo: memFree=103028656/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=3119232 memory=2857116 CPUtime=161.84 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 284306 0 0 0 15892 292 0 0 20 0 1 0 43958037 3194093568 714279 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/statm: 779808 714279 660 659 0 779012 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 3129164 KiB
Current children cumulated memory: 2859840 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.08 5/249 375160
/proc/meminfo: memFree=103057508/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=3074684 memory=2842728 CPUtime=221.67 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 306812 0 0 0 21834 333 0 0 20 0 1 0 43958037 3148476416 710682 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/statm: 768671 710682 660 659 0 767875 0
Current children cumulated CPU time: 221.67 s
################
# More data... #
################
/proc/374794/statm: 874148 772359 660 659 0 873352 0
Current children cumulated CPU time: 3033.38 s
Current children cumulated vsize: 3506524 KiB
Current children cumulated memory: 3092160 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.18 4.18 5/245 376247
/proc/meminfo: memFree=100011848/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=3496592 memory=3089436 CPUtime=3093.2 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 381107 0 0 0 308580 740 0 0 20 0 1 0 43958037 3580510208 772359 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/statm: 874148 772359 660 659 0 873352 0
Current children cumulated CPU time: 3093.2 s
Current children cumulated vsize: 3506524 KiB
Current children cumulated memory: 3092160 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/247 376261
/proc/meminfo: memFree=99833092/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=3727980 memory=3320684 CPUtime=3153.02 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 382602 0 0 0 314552 750 0 0 20 0 1 0 43958037 3817451520 830171 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/statm: 931995 830171 660 659 0 931199 0
Current children cumulated CPU time: 3153.02 s
Current children cumulated vsize: 3737912 KiB
Current children cumulated memory: 3323408 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/247 376272
/proc/meminfo: memFree=100001408/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=3496228 memory=3089072 CPUtime=3212.84 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 383117 0 0 0 320532 752 0 0 20 0 1 0 43958037 3580137472 772268 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/statm: 874057 772268 660 659 0 873261 0
Current children cumulated CPU time: 3212.84 s
Current children cumulated vsize: 3506160 KiB
Current children cumulated memory: 3091796 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/247 376283
/proc/meminfo: memFree=100056748/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=3496748 memory=3089592 CPUtime=3272.66 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 384654 0 0 0 326508 758 0 0 20 0 1 0 43958037 3580669952 772398 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/statm: 874187 772398 660 659 0 873391 0
Current children cumulated CPU time: 3272.66 s
Current children cumulated vsize: 3506680 KiB
Current children cumulated memory: 3092316 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.12 4.15 5/247 376293
/proc/meminfo: memFree=100052488/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=3497852 memory=3090696 CPUtime=3332.48 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 385488 0 0 0 332484 764 0 0 20 0 1 0 43958037 3581800448 772674 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/statm: 874463 772674 660 659 0 873667 0
Current children cumulated CPU time: 3332.48 s
Current children cumulated vsize: 3507784 KiB
Current children cumulated memory: 3093420 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/247 376303
/proc/meminfo: memFree=100053616/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=3503328 memory=3096172 CPUtime=3392.31 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 386446 0 0 0 338460 771 0 0 20 0 1 0 43958037 3587407872 774043 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/statm: 875832 774043 660 659 0 875036 0
Current children cumulated CPU time: 3392.31 s
Current children cumulated vsize: 3513260 KiB
Current children cumulated memory: 3098896 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/247 376699
/proc/meminfo: memFree=99984288/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=3503328 memory=3096172 CPUtime=3452.14 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 387068 0 0 0 344442 772 0 0 20 0 1 0 43958037 3587407872 774043 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/statm: 875832 774043 660 659 0 875036 0
Current children cumulated CPU time: 3452.14 s
Current children cumulated vsize: 3513260 KiB
Current children cumulated memory: 3098896 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/247 376709
/proc/meminfo: memFree=99992448/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=3503040 memory=3095884 CPUtime=3511.97 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 387990 0 0 0 350419 778 0 0 20 0 1 0 43958037 3587112960 773971 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/statm: 875760 773971 660 659 0 874964 0
Current children cumulated CPU time: 3511.97 s
Current children cumulated vsize: 3512972 KiB
Current children cumulated memory: 3098608 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.14 5/247 376719
/proc/meminfo: memFree=100008116/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=3506072 memory=3098916 CPUtime=3571.8 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 389126 0 0 0 356396 784 0 0 20 0 1 0 43958037 3590217728 774729 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/statm: 876518 774729 660 659 0 875722 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 3516004 KiB
Current children cumulated memory: 3101640 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.07 4.10 4.14 4/239 376755
/proc/meminfo: memFree=104003996/131655788 swapFree=131070704/131071996
[pid=374789] ppid=374786 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/374789/stat : 374789 (naps-1.03.sh) S 374786 374789 372779 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 43958036 10170368 681 134679101440 94522086801408 94522087880728 140729793554896 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94522089979184 94522090026372 94522096340992 140729793557473 140729793557598 140729793557598 140729793564616 0
/proc/374789/statm: 2483 681 603 264 0 134 0
[pid=374794] ppid=374789 vsize=3506072 memory=3098916 CPUtime=3600.01 cores=1,3
/proc/374794/stat : 374794 (naps-1.03) R 374789 374789 372779 0 -1 4194304 389479 0 0 0 359217 784 0 0 20 0 1 0 43958037 3590217728 774729 134679101440 4194304 6891597 140722958343024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 40013824 140722958349298 140722958349410 140722958349410 140722958356427 0
/proc/374794/statm: 876518 774729 660 659 0 875722 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3516004 KiB
Current children cumulated memory: 3101640 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.61 s]
# the end of solver process 374789 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001268 s, system=0.003094 s
[startup+3610.66 s]
# the end of solver process 374794 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3592.18 s, system=7.90496 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): 3610.66
CPU time (s): 3600.08
CPU user time (s): 3592.18
CPU system time (s): 7.90496
CPU usage (%): 99.7072
Max. virtual memory (cumulated for all children) (KiB): 4145540
Max. memory (cumulated for all children) (KiB): 3719384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.18
system time used= 7.90496
maximum resident set size= 3716660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 389939
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= 13
involuntary context switches= 1425
# summary of solver processes directly reported to runsolver:
# pid: 374789,374794
# total CPU time (s): 3600.08
# total CPU user time (s): 3592.18
# total CPU system time (s): 7.90496
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6332 second user time and 41.8045 second system time
The end
Begin job on nodeC008 at 2024-07-27 13:28:07
IDJOB=4461625
IDBENCH=144004
IDSOLVER=3088
FILE ID=nodeC008/4461625-1722079687
RUNJOBID= nodeC008-1722076077-372791
SLURM_JOB_ID= 8248127
Free space on /tmp= 723764 MiB
SOLVER NAME= NaPS 1.03a1
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-cap101_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4461625-1722079687/watcher-4461625-1722079687 -o /tmp/evaluation-result-4461625-1722079687/solver-4461625-1722079687 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722076077-372791 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461625-1722079687.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 67d067d79b844c4946a358fd5c7ae34f
RANDOM SEED=541642603
nodeC008.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 : 3670.939
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.19
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.623
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.33
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.204
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.19
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.122
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.33
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 : 3670.921
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.19
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 : 1496.399
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.33
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.126
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.19
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 : 1296.957
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.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 111636768 kB
MemAvailable: 129611276 kB
Buffers: 383340 kB
Cached: 18403512 kB
SwapCached: 732 kB
Active: 2844964 kB
Inactive: 16571576 kB
Active(anon): 1636 kB
Inactive(anon): 681948 kB
Active(file): 2843328 kB
Inactive(file): 15889628 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 11272 kB
Writeback: 4 kB
AnonPages: 625952 kB
Mapped: 129144 kB
Shmem: 53860 kB
KReclaimable: 163168 kB
Slab: 279380 kB
SReclaimable: 163168 kB
SUnreclaim: 116212 kB
KernelStack: 3968 kB
PageTables: 10700 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1081172 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 21248 kB
HardwareCorrupted: 0 kB
AnonHugePages: 475136 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: 400200 kB
DirectMap2M: 49836032 kB
DirectMap1G: 85983232 kB
Free space on /tmp at the end= 723764 MiB
End job on nodeC008 at 2024-07-27 14:28:18