Trace number 4460973

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NaPS-GM 1.03a1MSAT (TO) 3600.09 3610.91

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM85c61b41516c561b6bc7de90e3cecd83
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark0.090188
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3280
Total number of constraints162
Number of soft constraints117
Number of constraints which are clauses82
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint41
Top cost 5670
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 5669
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c NaPS 1.03a1.
0.00/0.00	c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00	c Input file name: HOME/instance-4460973-1722076716.wbo
0.00/0.00	c Initial goal by soft: 5669
0.00/0.04	c single stage optimization mode
0.09/0.12	o 5578
0.20/0.26	o 3385
0.30/0.37	o 1290
0.39/0.49	o 174
0.49/0.55	o 36
0.59/0.62	o 18
0.68/0.71	o 10
11.56/11.65	o 4
3600.07/3610.90	c 
3600.07/3610.90	c *** TERMINATED *** by signal 15
3600.07/3610.90	s SATISFIABLE
3600.07/3610.90	c _____________________________________________________________________________
3600.07/3610.90	c std/band forms        : 88,0
3600.07/3610.90	c 2cl/3cl ITE-codings   : 55003,0
3600.07/3610.90	c BDD/srt/adr Max costs : 107613,634,0
3600.07/3610.90	c BDDraw/bin/mul/srt/adr: 1,0,7,80,0
3600.07/3610.90	c BDD nodes             : 56842
3600.07/3610.90	c Es1/CC detections     : 0,0
3600.07/3610.90	c CC sort               : 80
3600.07/3610.90	c SAT/UNSAT calls       : 8,0
3600.07/3610.90	c regenrated variables  : 287
3600.07/3610.90	c eliminated fixed lits : 306
3600.07/3610.90	c goal lit flips        : 0
3600.07/3610.90	c goal stages           : 1
3600.07/3610.90	c goal shrink           : 0
3600.07/3610.90	c goal coeff separations: 0
3600.07/3610.90	c restarts              : 61
3600.07/3610.90	c conflicts             : 58326          (16 /sec)
3600.07/3610.90	c decisions             : 316491         (88 /sec)
3600.07/3610.90	c propagations          : 14824749       (4119 /sec)
3600.07/3610.90	c inspects              : 0              (0 /sec)
3600.07/3610.90	c CPU time (solving tm) : 3599 s        (3599 s, SAT 11.27 s, UNSAT 0 s)
3600.07/3610.90	c Time for Opt-base     : 0.00252 s
3600.07/3610.90	c Steps for Opt-base    : 7137
3600.07/3610.90	c Time for BDD coding   : 0.2161 s
3600.07/3610.90	c Time for srt coding   : 0.004423 s
3600.07/3610.90	c _____________________________________________________________________________
3600.07/3610.90	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 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964
3600.07/3610.90	v -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280

Verifier Data 

OK	4

Watcher Data 

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: 63968 MiB (50041 MiB free)
  memory of node 1: 64473 MiB (50491 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4460973-1722076716/watcher-4460973-1722076716 -o /tmp/evaluation-result-4460973-1722076716/solver-4460973-1722076716 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722076692-328438 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4460973-1722076716.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=328616, runsolver pid=328613

[startup+0.10009 s]*
/proc/loadavg: 2.05 1.37 1.77 6/261 328621
/proc/meminfo: memFree=102900636/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=23852 memory=20172 CPUtime=0.09 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 5304 0 0 0 8 1 0 0 20 0 1 0 44194962 24424448 5043 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 5963 5043 468 659 0 5167 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33784 KiB
Current children cumulated memory: 22876 KiB

[startup+0.205822 s]*
/proc/loadavg: 2.05 1.37 1.77 5/261 328621
/proc/meminfo: memFree=102854984/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=41428 memory=36300 CPUtime=0.2 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 9718 0 0 0 18 2 0 0 20 0 1 0 44194962 42422272 9075 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 10357 9075 468 659 0 9561 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51360 KiB
Current children cumulated memory: 39004 KiB

[startup+0.305708 s]*
/proc/loadavg: 2.05 1.37 1.77 5/261 328621
/proc/meminfo: memFree=102812560/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=51184 memory=47508 CPUtime=0.3 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 11874 0 0 0 28 2 0 0 20 0 1 0 44194962 52412416 11877 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 12796 11877 468 659 0 12000 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 61116 KiB
Current children cumulated memory: 50212 KiB

[startup+0.700283 s]
/proc/loadavg: 2.05 1.37 1.77 5/261 328621
/proc/meminfo: memFree=102726052/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=90852 memory=83832 CPUtime=0.68 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 17874 0 0 0 65 3 0 0 20 0 1 0 44194962 93032448 20958 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 22713 20958 468 659 0 21917 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 100784 KiB
Current children cumulated memory: 86536 KiB

[startup+1.50027 s]
/proc/loadavg: 2.05 1.37 1.77 5/261 328621
/proc/meminfo: memFree=102566008/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=90852 memory=84352 CPUtime=1.48 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 18021 0 0 0 145 3 0 0 20 0 1 0 44194962 93032448 21088 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 22713 21088 468 659 0 21917 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 100784 KiB
Current children cumulated memory: 87056 KiB

[startup+3.1059 s]
/proc/loadavg: 2.05 1.37 1.77 5/261 328621
/proc/meminfo: memFree=100696332/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=90852 memory=84516 CPUtime=3.08 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 18520 0 0 0 304 4 0 0 20 0 1 0 44194962 93032448 21129 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 22713 21129 468 659 0 21917 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 100784 KiB
Current children cumulated memory: 87220 KiB

[startup+6.30022 s]
/proc/loadavg: 2.20 1.42 1.78 5/261 328621
/proc/meminfo: memFree=100117092/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=109596 memory=92464 CPUtime=6.27 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 19311 0 0 0 622 5 0 0 20 0 1 0 44194962 112226304 23116 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 27399 23116 468 659 0 26603 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 119528 KiB
Current children cumulated memory: 95168 KiB

[startup+12.7003 s]
/proc/loadavg: 2.43 1.48 1.80 5/261 328622
/proc/meminfo: memFree=99362700/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=128452 memory=103376 CPUtime=12.65 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 19992 0 0 0 1259 6 0 0 20 0 1 0 44194962 131534848 25844 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 32113 25844 468 659 0 31317 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 138384 KiB
Current children cumulated memory: 106080 KiB

[startup+25.5003 s]
/proc/loadavg: 2.78 1.60 1.83 5/261 328624
/proc/meminfo: memFree=96035508/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=140784 memory=133240 CPUtime=25.41 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 21855 0 0 0 2533 8 0 0 20 0 1 0 44194962 144162816 33310 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 35196 33310 468 659 0 34400 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 150716 KiB
Current children cumulated memory: 135944 KiB

[startup+51.1059 s]
/proc/loadavg: 3.20 1.79 1.89 5/261 328628
/proc/meminfo: memFree=86610328/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=190104 memory=166824 CPUtime=50.95 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 24190 0 0 0 5083 12 0 0 20 0 1 0 44194962 194666496 41706 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 47526 41706 468 659 0 46730 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 200036 KiB
Current children cumulated memory: 169528 KiB

[startup+102.3 s]
/proc/loadavg: 3.77 2.17 2.02 4/264 328644
/proc/meminfo: memFree=71241508/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=221252 memory=185096 CPUtime=101.99 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 26880 0 0 0 10183 16 0 0 20 0 1 0 44194962 226562048 46274 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 55313 46274 468 659 0 54517 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 231184 KiB
Current children cumulated memory: 187800 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 2.53 2.15 5/265 328710
/proc/meminfo: memFree=94978348/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=220820 memory=199652 CPUtime=161.81 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 29166 0 0 0 16161 20 0 0 20 0 1 0 44194962 226119680 49913 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 55205 49913 468 659 0 54409 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 230752 KiB
Current children cumulated memory: 202356 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.83 2.28 5/265 328724
/proc/meminfo: memFree=93126780/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=251640 memory=218288 CPUtime=221.63 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 31164 0 0 0 22140 23 0 0 20 0 1 0 44194962 257679360 54572 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 62910 54572 468 659 0 62114 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 261572 KiB

################
# More data... #
################

/proc/328621/statm: 115463 103628 468 659 0 114667 0
Current children cumulated CPU time: 3093.03 s
Current children cumulated vsize: 471784 KiB
Current children cumulated memory: 417216 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.21 4.12 5/263 331899
/proc/meminfo: memFree=99096332/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=380840 memory=328172 CPUtime=3152.84 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 76153 0 0 0 315191 93 0 0 20 0 1 0 44194962 389980160 82043 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 95210 82043 468 659 0 94414 0
Current children cumulated CPU time: 3152.84 s
Current children cumulated vsize: 390772 KiB
Current children cumulated memory: 330876 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.19 4.12 5/262 331911
/proc/meminfo: memFree=99018612/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=380840 memory=348656 CPUtime=3212.65 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 76262 0 0 0 321172 93 0 0 20 0 1 0 44194962 389980160 87164 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 95210 87164 468 659 0 94414 0
Current children cumulated CPU time: 3212.65 s
Current children cumulated vsize: 390772 KiB
Current children cumulated memory: 351360 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.20 4.12 5/262 331921
/proc/meminfo: memFree=98941948/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=462228 memory=369816 CPUtime=3272.47 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 76551 0 0 0 327153 94 0 0 20 0 1 0 44194962 473321472 92454 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 115557 92454 468 659 0 114761 0
Current children cumulated CPU time: 3272.47 s
Current children cumulated vsize: 472160 KiB
Current children cumulated memory: 372520 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/261 331933
/proc/meminfo: memFree=99043696/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=463408 memory=387136 CPUtime=3332.28 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 76896 0 0 0 333134 94 0 0 20 0 1 0 44194962 474529792 96784 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 115852 96784 468 659 0 115056 0
Current children cumulated CPU time: 3332.28 s
Current children cumulated vsize: 473340 KiB
Current children cumulated memory: 389840 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.14 4.10 5/261 331943
/proc/meminfo: memFree=98984484/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=465264 memory=402928 CPUtime=3392.11 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 77388 0 0 0 339116 95 0 0 20 0 1 0 44194962 476430336 100732 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 116316 100732 468 659 0 115520 0
Current children cumulated CPU time: 3392.11 s
Current children cumulated vsize: 475196 KiB
Current children cumulated memory: 405632 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/258 331953
/proc/meminfo: memFree=99339488/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=468088 memory=419672 CPUtime=3451.92 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 78096 0 0 0 345097 95 0 0 20 0 1 0 44194962 479322112 104918 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 117022 104918 468 659 0 116226 0
Current children cumulated CPU time: 3451.92 s
Current children cumulated vsize: 478020 KiB
Current children cumulated memory: 422376 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/258 331965
/proc/meminfo: memFree=99365772/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=341624 memory=313896 CPUtime=3511.74 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 79861 0 0 0 351077 97 0 0 20 0 1 0 44194962 349822976 78474 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 85406 78474 468 659 0 84610 0
Current children cumulated CPU time: 3511.74 s
Current children cumulated vsize: 351556 KiB
Current children cumulated memory: 316600 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/258 331976
/proc/meminfo: memFree=99229520/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=391712 memory=341724 CPUtime=3571.56 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 80349 0 0 0 357058 98 0 0 20 0 1 0 44194962 401113088 85431 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 97928 85431 468 659 0 97132 0
Current children cumulated CPU time: 3571.56 s
Current children cumulated vsize: 401644 KiB
Current children cumulated memory: 344428 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 4.12 4.14 4.10 5/258 331980
/proc/meminfo: memFree=99215940/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=391712 memory=351964 CPUtime=3600.07 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 80360 0 0 0 359909 98 0 0 20 0 1 0 44194962 401113088 87991 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 97928 87991 468 659 0 97132 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 401644 KiB
Current children cumulated memory: 354668 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.91 s]
# the end of solver process 328616 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.002017 s, system=0.000806 s

[startup+3610.91 s]
# the end of solver process 328621 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.1 s, system=0.993553 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3610.9 s]
/proc/loadavg: 4.12 4.14 4.10 5/258 331980
/proc/meminfo: memFree=99215940/131524600 swapFree=131054968/131071996
[pid=328616] ppid=328613 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/328616/stat : 328616 (naps-1.03.sh) S 328613 328616 328427 0 -1 4194304 225 243 0 0 0 0 0 0 20 0 1 0 44194962 10170368 676 134679101440 93850036817920 93850037897240 140722254907136 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93850039995696 93850040042884 93850063974400 140722254910429 140722254910558 140722254910558 140722254917576 0
/proc/328616/statm: 2483 676 599 264 0 134 0
[pid=328621] ppid=328616 vsize=391712 memory=351964 CPUtime=3600.07 cores=4,6
/proc/328621/stat : 328621 (naps-1.03) R 328616 328616 328427 0 -1 4194304 80360 0 0 0 359909 98 0 0 20 0 1 0 44194962 401113088 87991 134679101440 4194304 6891597 140727337581472 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 13455360 140727337583598 140727337583714 140727337583714 140727337590731 0
/proc/328621/statm: 97928 87991 468 659 0 97132 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 401644 KiB
Current children cumulated memory: 354668 KiB

Child status: 10

Real time (s): 3610.91
CPU time (s): 3600.09
CPU user time (s): 3599.1
CPU system time (s): 0.993553
CPU usage (%): 99.7004
Max. virtual memory (cumulated for all children) (KiB): 563172
Max. memory (cumulated for all children) (KiB): 506748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.1
system time used= 0.993553
maximum resident set size= 510188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80828
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= 77
involuntary context switches= 3820


# summary of solver processes directly reported to runsolver:
#   pid: 328616,328621
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3599.1
#   total CPU system time (s): 0.993553

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9557 second user time and 13.7836 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-27 12:38:36
IDJOB=4460973
IDBENCH=143451
IDSOLVER=3087
FILE ID=nodeC028/4460973-1722076716
RUNJOBID= nodeC028-1722076692-328438
SLURM_JOB_ID= 8248138
Free space on /tmp= 890060 MiB

SOLVER NAME= NaPS-GM 1.03a1
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4460973-1722076716/watcher-4460973-1722076716 -o /tmp/evaluation-result-4460973-1722076716/solver-4460973-1722076716 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722076692-328438 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4460973-1722076716.wbo

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 85c61b41516c561b6bc7de90e3cecd83
RANDOM SEED=1691527233

nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3657.386
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3680.386
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3607.249
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.222
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3653.088
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3680.457
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3647.230
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.063
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        102961548 kB
MemAvailable:   116706976 kB
Buffers:          373188 kB
Cached:         14155532 kB
SwapCached:          316 kB
Active:          2447364 kB
Inactive:       25403948 kB
Active(anon):       4444 kB
Inactive(anon): 13370076 kB
Active(file):    2442920 kB
Inactive(file): 12033872 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054968 kB
Dirty:             30384 kB
Writeback:            12 kB
AnonPages:      13321452 kB
Mapped:           104456 kB
Shmem:             51932 kB
KReclaimable:     216920 kB
Slab:             339112 kB
SReclaimable:     216920 kB
SUnreclaim:       122192 kB
KernelStack:        4176 kB
PageTables:        35136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   14950248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14944 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4806656 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:      443092 kB
DirectMap2M:    51759104 kB
DirectMap1G:    83886080 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC028 at 2024-07-27 13:38:47