Trace number 4426485

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 1.03MSAT (TO) 3600.09 3610.01

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.03.
0.00/0.00	c Input file name: HOME/instance-4426485-1720905606.wbo
0.00/0.04	c single stage optimization mode
0.00/0.06	o 2869
0.19/0.23	o 129
0.29/0.35	o 85
2.18/2.25	o 50
2.28/2.39	o 14
3.47/3.51	o 9
3.77/3.88	o 4
3600.07/3610.00	c 
3600.07/3610.00	c *** TERMINATED *** by signal 15
3600.07/3610.00	s SATISFIABLE
3600.07/3610.00	c _____________________________________________________________________________
3600.07/3610.00	c std/band forms        : 87,0
3600.07/3610.00	c 2cl/3cl ITE-codings   : 27737,0
3600.07/3610.00	c BDD/srt/adr Max costs : 80159,634,0
3600.07/3610.00	c BDDraw/bin/mul/srt/adr: 1,0,6,80,0
3600.07/3610.00	c BDD nodes             : 29376
3600.07/3610.00	c Es1/CC detections     : 0,0
3600.07/3610.00	c CC sort               : 80
3600.07/3610.00	c SAT/UNSAT calls       : 7,0
3600.07/3610.00	c regenrated variables  : 0
3600.07/3610.00	c eliminated fixed lits : 341
3600.07/3610.00	c goal lit flips        : 54
3600.07/3610.00	c goal stages           : 1
3600.07/3610.00	c goal shrink           : 0
3600.07/3610.00	c goal coeff separations: 0
3600.07/3610.00	c restarts              : 26
3600.07/3610.00	c conflicts             : 39752          (11 /sec)
3600.07/3610.00	c decisions             : 77239          (21 /sec)
3600.07/3610.00	c propagations          : 10589517       (2943 /sec)
3600.07/3610.00	c inspects              : 0              (0 /sec)
3600.07/3610.00	c CPU time (solving tm) : 3598 s        (3598 s, SAT 3.617 s, UNSAT 0 s)
3600.07/3610.00	c Time for Opt-base     : 0.002545 s
3600.07/3610.00	c Steps for Opt-base    : 7137
3600.07/3610.00	c Time for BDD coding   : 0.149 s
3600.07/3610.00	c Time for srt coding   : 0.003432 s
3600.07/3610.00	c _____________________________________________________________________________
3600.07/3610.00	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -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.00	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: 63931 MiB (41368 MiB free)
  memory of node 1: 64510 MiB (60963 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426485-1720905606/watcher-4426485-1720905606 -o /tmp/evaluation-result-4426485-1720905606/solver-4426485-1720905606 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1720905500-722854 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4426485-1720905606.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100924 s]*
/proc/loadavg: 3.67 2.12 1.54 5/261 723253
/proc/meminfo: memFree=104765792/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=25416 memory=23680 CPUtime=0.09 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 5997 0 0 0 8 1 0 0 20 0 1 0 142725563 26025984 5920 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 6354 5920 612 659 0 5558 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35348 KiB
Current children cumulated memory: 26380 KiB

[startup+0.20595 s]*
/proc/loadavg: 3.67 2.12 1.54 6/261 723253
/proc/meminfo: memFree=104749148/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=44900 memory=41384 CPUtime=0.19 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 10250 0 0 0 18 1 0 0 20 0 1 0 142725563 45977600 10346 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 11225 10346 644 659 0 10429 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 54832 KiB
Current children cumulated memory: 44084 KiB

[startup+0.306057 s]*
/proc/loadavg: 3.67 2.12 1.54 5/261 723253
/proc/meminfo: memFree=104742968/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=45612 memory=42968 CPUtime=0.29 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 10680 0 0 0 28 1 0 0 20 0 1 0 142725563 46706688 10742 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 11403 10742 644 659 0 10607 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 55544 KiB
Current children cumulated memory: 45668 KiB

[startup+0.700296 s]
/proc/loadavg: 3.67 2.12 1.54 5/261 723253
/proc/meminfo: memFree=104734892/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=57148 memory=54472 CPUtime=0.68 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 15721 0 0 0 66 2 0 0 20 0 1 0 142725563 58519552 13618 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 14287 13618 660 659 0 13491 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 67080 KiB
Current children cumulated memory: 57172 KiB

[startup+1.50029 s]
/proc/loadavg: 3.67 2.12 1.54 5/261 723253
/proc/meminfo: memFree=104711784/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=67548 memory=64308 CPUtime=1.48 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 18385 0 0 0 145 3 0 0 20 0 1 0 142725563 69169152 16077 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 16887 16077 660 659 0 16091 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 77480 KiB
Current children cumulated memory: 67008 KiB

[startup+3.10594 s]
/proc/loadavg: 3.67 2.12 1.54 5/261 723253
/proc/meminfo: memFree=104649852/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=75740 memory=71832 CPUtime=3.08 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 19245 0 0 0 305 3 0 0 20 0 1 0 142725563 77557760 17958 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 18935 17958 660 659 0 18139 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 85672 KiB
Current children cumulated memory: 74532 KiB

[startup+6.30028 s]
/proc/loadavg: 3.70 2.15 1.55 5/261 723255
/proc/meminfo: memFree=104595984/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=75740 memory=73880 CPUtime=6.26 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 19247 0 0 0 623 3 0 0 20 0 1 0 142725563 77557760 18470 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 18935 18470 660 659 0 18139 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 85672 KiB
Current children cumulated memory: 76580 KiB

[startup+12.7003 s]
/proc/loadavg: 3.72 2.18 1.57 4/257 723269
/proc/meminfo: memFree=123634220/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=75740 memory=73880 CPUtime=12.65 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 19252 0 0 0 1262 3 0 0 20 0 1 0 142725563 77557760 18470 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 18935 18470 660 659 0 18139 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 85672 KiB
Current children cumulated memory: 76580 KiB

[startup+25.5003 s]
/proc/loadavg: 3.86 2.29 1.61 5/261 723309
/proc/meminfo: memFree=121569896/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=75740 memory=73880 CPUtime=25.42 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 19258 0 0 0 2539 3 0 0 20 0 1 0 142725563 77557760 18470 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 18935 18470 660 659 0 18139 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 85672 KiB
Current children cumulated memory: 76580 KiB

[startup+51.1057 s]
/proc/loadavg: 3.91 2.42 1.68 5/261 723312
/proc/meminfo: memFree=119096152/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=75740 memory=74060 CPUtime=50.96 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 19263 0 0 0 5093 3 0 0 20 0 1 0 142725563 77557760 18515 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 18935 18515 660 659 0 18139 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 85672 KiB
Current children cumulated memory: 76760 KiB

[startup+102.3 s]
/proc/loadavg: 4.00 2.68 1.81 5/261 723369
/proc/meminfo: memFree=118959084/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=77708 memory=75964 CPUtime=102.01 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 23816 0 0 0 10196 5 0 0 20 0 1 0 142725563 79572992 18991 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 19427 18991 660 659 0 18631 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 87640 KiB
Current children cumulated memory: 78664 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 2.96 1.96 5/261 723379
/proc/meminfo: memFree=115076300/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=93000 memory=91256 CPUtime=161.84 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 28502 0 0 0 16176 8 0 0 20 0 1 0 142725563 95232000 22814 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 23250 22814 660 659 0 22454 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 102932 KiB
Current children cumulated memory: 93956 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.16 2.09 5/260 723448
/proc/meminfo: memFree=126773052/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=105816 memory=104136 CPUtime=221.64 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 34324 0 0 0 22154 10 0 0 20 0 1 0 142725563 108355584 26034 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 26454 26034 660 659 0 25658 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 115748 KiB

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

/proc/loadavg: 4.18 4.15 4.06 5/262 726361
/proc/meminfo: memFree=126182500/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=186740 memory=184476 CPUtime=3033.81 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 139231 0 0 0 303231 150 0 0 20 0 1 0 142725563 191221760 46119 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 46685 46119 660 659 0 45889 0
Current children cumulated CPU time: 3033.81 s
Current children cumulated vsize: 196672 KiB
Current children cumulated memory: 187176 KiB

[startup+3102.3 s]
/proc/loadavg: 4.19 4.16 4.07 5/262 726372
/proc/meminfo: memFree=126131080/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=192700 memory=190436 CPUtime=3093.63 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 141619 0 0 0 309209 154 0 0 20 0 1 0 142725563 197324800 47609 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 48175 47609 660 659 0 47379 0
Current children cumulated CPU time: 3093.63 s
Current children cumulated vsize: 202632 KiB
Current children cumulated memory: 193136 KiB

[startup+3162.3 s]
/proc/loadavg: 4.19 4.16 4.07 5/261 726382
/proc/meminfo: memFree=126189060/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=193256 memory=190992 CPUtime=3153.46 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 144102 0 0 0 315187 159 0 0 20 0 1 0 142725563 197894144 47748 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 48314 47748 660 659 0 47518 0
Current children cumulated CPU time: 3153.46 s
Current children cumulated vsize: 203188 KiB
Current children cumulated memory: 193692 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.16 4.08 5/260 726394
/proc/meminfo: memFree=126181000/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=192364 memory=190100 CPUtime=3213.29 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 146181 0 0 0 321165 164 0 0 20 0 1 0 142725563 196980736 47525 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 48091 47525 660 659 0 47295 0
Current children cumulated CPU time: 3213.29 s
Current children cumulated vsize: 202296 KiB
Current children cumulated memory: 192800 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.16 4.09 5/260 726404
/proc/meminfo: memFree=126128568/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=199172 memory=196908 CPUtime=3273.13 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 148858 0 0 0 327144 169 0 0 20 0 1 0 142725563 203952128 49227 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 49793 49227 660 659 0 48997 0
Current children cumulated CPU time: 3273.13 s
Current children cumulated vsize: 209104 KiB
Current children cumulated memory: 199608 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.16 4.09 5/258 726414
/proc/meminfo: memFree=126158300/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=198684 memory=196420 CPUtime=3332.99 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 152753 0 0 0 333121 178 0 0 20 0 1 0 142725563 203452416 49105 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 49671 49105 660 659 0 48875 0
Current children cumulated CPU time: 3332.99 s
Current children cumulated vsize: 208616 KiB
Current children cumulated memory: 199120 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/259 726425
/proc/meminfo: memFree=126185256/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=196328 memory=194064 CPUtime=3392.85 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 155784 0 0 0 339100 185 0 0 20 0 1 0 142725563 201039872 48516 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 49082 48516 660 659 0 48286 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 206260 KiB
Current children cumulated memory: 196764 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/259 726436
/proc/meminfo: memFree=126177688/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=200740 memory=198476 CPUtime=3452.71 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 159729 0 0 0 345080 191 0 0 20 0 1 0 142725563 205557760 49619 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 50185 49619 660 659 0 49389 0
Current children cumulated CPU time: 3452.71 s
Current children cumulated vsize: 210672 KiB
Current children cumulated memory: 201176 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.16 4.10 5/259 726446
/proc/meminfo: memFree=126177008/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=198464 memory=196200 CPUtime=3512.57 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 162970 0 0 0 351060 197 0 0 20 0 1 0 142725563 203227136 49050 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 49616 49050 660 659 0 48820 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 208396 KiB
Current children cumulated memory: 198900 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.15 4.09 5/259 726456
/proc/meminfo: memFree=126172456/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=204760 memory=202496 CPUtime=3572.43 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 166747 0 0 0 357037 206 0 0 20 0 1 0 142725563 209674240 50624 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 51190 50624 660 659 0 50394 0
Current children cumulated CPU time: 3572.43 s
Current children cumulated vsize: 214692 KiB
Current children cumulated memory: 205196 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.14 4.15 4.09 5/262 726466
/proc/meminfo: memFree=126187500/131524600 swapFree=131071996/131071996
[pid=723248] ppid=723245 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/723248/stat : 723248 (naps-1.03.sh) S 723245 723248 720473 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 142725563 10170368 675 134679101440 94415790456832 94415791536152 140727158463856 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415793634608 94415793681796 94415801815040 140727158465456 140727158465581 140727158465581 140727158472648 0
/proc/723248/statm: 2483 675 596 264 0 134 0
[pid=723253] ppid=723248 vsize=198784 memory=196520 CPUtime=3600.07 cores=1,3
/proc/723253/stat : 723253 (naps-1.03) R 723248 723248 720473 0 -1 4194304 168256 0 0 0 359798 209 0 0 20 0 1 0 142725563 203554816 49130 134679101440 4194304 6891213 140720639787680 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35938304 140720639796161 140720639796273 140720639796273 140720639803339 0
/proc/723253/statm: 49696 49130 660 659 0 48900 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 208716 KiB
Current children cumulated memory: 199220 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3597.99 s, system=2.09357 s

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

Child status: 10

Real time (s): 3610.01
CPU time (s): 3600.09
CPU user time (s): 3597.99
CPU system time (s): 2.09357
CPU usage (%): 99.7251
Max. virtual memory (cumulated for all children) (KiB): 302168
Max. memory (cumulated for all children) (KiB): 288272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.99
system time used= 2.09357
maximum resident set size= 289820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168732
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= 40
involuntary context switches= 1836


# summary of solver processes directly reported to runsolver:
#   pid: 723248
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3597.99
#   total CPU system time (s): 2.09357

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.43527 second user time and 17.3047 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-13 23:20:20
IDJOB=4426485
IDBENCH=143451
IDSOLVER=3043
FILE ID=nodeC024/4426485-1720905606
RUNJOBID= nodeC024-1720905500-722854
SLURM_JOB_ID= 7486083
Free space on /tmp= 890052 MiB

SOLVER NAME= NaPS 1.03
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 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426485-1720905606/watcher-4426485-1720905606 -o /tmp/evaluation-result-4426485-1720905606/solver-4426485-1720905606 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1720905500-722854 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4426485-1720905606.wbo

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

MD5SUM BENCH= 85c61b41516c561b6bc7de90e3cecd83
RANDOM SEED=2024658220

nodeC024.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		: 3655.763
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.60
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		: 3657.816
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	: 7007.08
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		: 3599.988
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.60
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		: 3659.972
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	: 7007.08
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		: 3655.899
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.60
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		: 3663.429
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	: 7007.08
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		: 3599.890
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.60
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.024
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	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        104788012 kB
MemAvailable:   106008856 kB
Buffers:          327300 kB
Cached:          1723532 kB
SwapCached:            0 kB
Active:           514408 kB
Inactive:       25583056 kB
Active(anon):       1596 kB
Inactive(anon): 24082756 kB
Active(file):     512812 kB
Inactive(file):  1500300 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             23584 kB
Writeback:             0 kB
AnonPages:      24046584 kB
Mapped:           109612 kB
Shmem:             37720 kB
KReclaimable:      94760 kB
Slab:             195992 kB
SReclaimable:      94760 kB
SUnreclaim:       101232 kB
KernelStack:        4204 kB
PageTables:        56408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   25669720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54368 kB
HardwareCorrupted:     0 kB
AnonHugePages:  15507456 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:      197332 kB
DirectMap2M:    10061824 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 890044 MiB
End job on nodeC024 at 2024-07-14 00:20:30