Trace number 4524593

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 naps-1.03a6MSAT (TO) 3600.06 3610.7

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM7739b4d9ca7025fb6750e4f7ea1afab1
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.763853
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5100
Total number of constraints202
Number of soft constraints202
Number of constraints which are clauses102
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
Top cost 10037
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 10036
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
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.03	c NaPS 1.03a6.
0.00/0.03	c Input file name: HOME/instance-4524593-1751615254.wbo
0.00/0.03	c Initial goal by soft: 10036
0.00/0.09	c single stage optimization mode
3600.05/3610.70	o 10036
3600.05/3610.70	o 4939
3600.05/3610.70	o 3291
3600.05/3610.70	o 2153
3600.05/3610.70	o 111
3600.05/3610.70	o 71
3600.05/3610.70	o 43
3600.05/3610.70	o 7
3600.05/3610.70	o 4
3600.05/3610.70	c 
3600.05/3610.70	c *** TERMINATED *** by signal 15
3600.05/3610.70	s SATISFIABLE
3600.05/3610.70	c _____________________________________________________________________________
3600.05/3610.70	c std/band forms        : 109,0
3600.05/3610.70	c 2cl/3cl ITE-codings   : 202853,0
3600.05/3610.70	c BDD/srt/adr Max costs : 290965,830,0
3600.05/3610.70	c BDDraw/bin/mul/srt/adr: 1,0,8,100,0
3600.05/3610.70	c BDD nodes             : 207867
3600.05/3610.70	c Es1/CC detections     : 0,0
3600.05/3610.70	c CC sort               : 100
3600.05/3610.70	c SAT/UNSAT calls       : 9,0
3600.05/3610.70	c regenrated variables  : 0
3600.05/3610.70	c eliminated fixed lits : 447
3600.05/3610.70	c goal lit flips        : 1
3600.05/3610.70	c goal stages           : 1
3600.05/3610.70	c goal shrink           : 0
3600.05/3610.70	c goal coeff separations: 0
3600.05/3610.70	c restarts              : 47
3600.05/3610.70	c conflicts             : 66610          (19 /sec)
3600.05/3610.70	c decisions             : 338801         (94 /sec)
3600.05/3610.70	c propagations          : 19915699       (5535 /sec)
3600.05/3610.70	c inspects              : 0              (0 /sec)
3600.05/3610.70	c CPU time (solving tm) : 3598 s        (3597 s, SAT 10.21 s, UNSAT 0 s)
3600.05/3610.70	c Time for Opt-base     : 0.004097 s
3600.05/3610.70	c Steps for Opt-base    : 12322
3600.05/3610.70	c Time for BDD coding   : 1.054 s
3600.05/3610.70	c Time for srt coding   : 0.005364 s
3600.05/3610.70	c _____________________________________________________________________________
3600.05/3610.70	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
3600.05/3610.70	v -x1960 -x1961 -x1962 -x1963 -x1964 -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 -x3281 -x3282 -x3283 -x3284 -x3285 x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920
3600.05/3610.70	v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 x4897 -x4898 -x4899 -x4900 -x4901 -x4902 x4903 x4904 x4905 x4906 x4907 x4908 x4909 -x4910 -x4911 -x4912 x4913 -x4914 x4915 x4916 x4917 -x4918 x4919 x4920 x4921 x4922 x4923 x4924 x4925 x4926 x4927 x4928 x4929 x4930 x4931 x4932 x4933 -x4934 -x4935 -x4936 -x4937 x4938 x4939 x4940 -x4941 -x4942 x4943 x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 x5096 -x5097 -x5098 -x5099 -x5100

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: 63708 MiB (62902 MiB free)
  memory of node 1: 64465 MiB (63863 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524593-1751615254/watcher-4524593-1751615254 -o /tmp/evaluation-result-4524593-1751615254/solver-4524593-1751615254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751615254-85989 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4524593-1751615254.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=86043, runsolver pid=86032
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 1.14 2.56 3.39 5/274 86062
/proc/meminfo: memFree=129752524/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=30772 memory=28012 CPUtime=0.06 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 7074 0 0 0 5 1 0 0 20 0 1 0 77201998 31510528 7003 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 7693 7003 576 696 0 6854 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 34964 KiB
Current children cumulated memory: 30828 KiB

[startup+0.205817 s]*
/proc/loadavg: 1.14 2.56 3.39 5/274 86062
/proc/meminfo: memFree=129687256/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=44180 memory=41488 CPUtime=0.17 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 10768 0 0 0 15 2 0 0 20 0 1 0 77201998 45240320 10372 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 11045 10372 576 696 0 10206 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 48372 KiB
Current children cumulated memory: 44304 KiB

[startup+0.305691 s]*
/proc/loadavg: 1.14 2.56 3.39 5/274 86062
/proc/meminfo: memFree=129662308/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=57740 memory=55184 CPUtime=0.27 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 14159 0 0 0 25 2 0 0 20 0 1 0 77201998 59125760 13764 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 14435 13764 608 696 0 13596 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 61932 KiB
Current children cumulated memory: 58000 KiB

[startup+0.70021 s]
/proc/loadavg: 1.14 2.56 3.39 5/274 86062
/proc/meminfo: memFree=129615372/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=140688 memory=134016 CPUtime=0.66 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 27163 0 0 0 61 5 0 0 20 0 1 0 77201998 144064512 33504 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 35172 33504 608 696 0 34333 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 144880 KiB
Current children cumulated memory: 136832 KiB

[startup+1.50019 s]
/proc/loadavg: 1.14 2.56 3.39 5/274 86062
/proc/meminfo: memFree=129498672/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=175504 memory=168176 CPUtime=1.46 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 34232 0 0 0 139 7 0 0 20 0 1 0 77201998 179716096 42044 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 43876 42044 640 696 0 43037 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 179696 KiB
Current children cumulated memory: 170992 KiB

[startup+3.10571 s]
/proc/loadavg: 1.14 2.56 3.39 5/274 86062
/proc/meminfo: memFree=129382140/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=229100 memory=225768 CPUtime=3.06 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 41974 0 0 0 297 9 0 0 20 0 1 0 77201998 234598400 56442 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 57275 56442 640 696 0 56436 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 233292 KiB
Current children cumulated memory: 228584 KiB

[startup+6.30019 s]
/proc/loadavg: 1.37 2.59 3.40 5/274 86062
/proc/meminfo: memFree=129334232/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=272340 memory=265332 CPUtime=6.25 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 45403 0 0 0 614 11 0 0 20 0 1 0 77201998 278876160 66333 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 68085 66333 640 696 0 67246 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 276532 KiB
Current children cumulated memory: 268148 KiB

[startup+12.7002 s]
/proc/loadavg: 1.58 2.61 3.40 5/274 86062
/proc/meminfo: memFree=129322028/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=281268 memory=268488 CPUtime=12.63 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 46245 0 0 0 1251 12 0 0 20 0 1 0 77201998 288018432 67122 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 70317 67122 640 696 0 69478 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 285460 KiB
Current children cumulated memory: 271304 KiB

[startup+25.5002 s]
/proc/loadavg: 2.12 2.68 3.41 5/274 86062
/proc/meminfo: memFree=129322068/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=281268 memory=272584 CPUtime=25.4 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 46271 0 0 0 2528 12 0 0 20 0 1 0 77201998 288018432 68146 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 70317 68146 640 696 0 69478 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 285460 KiB
Current children cumulated memory: 275400 KiB

[startup+51.1055 s]
/proc/loadavg: 2.82 2.80 3.43 5/274 86062
/proc/meminfo: memFree=129312128/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=281268 memory=272584 CPUtime=50.94 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 46319 0 0 0 5082 12 0 0 20 0 1 0 77201998 288018432 68146 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 70317 68146 640 696 0 69478 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 285460 KiB
Current children cumulated memory: 275400 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 3.01 3.47 5/274 86064
/proc/meminfo: memFree=129300192/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=281268 memory=272584 CPUtime=102 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 46344 0 0 0 10188 12 0 0 20 0 1 0 77201998 288018432 68146 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 70317 68146 640 696 0 69478 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 285460 KiB
Current children cumulated memory: 275400 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 3.20 3.51 5/274 86066
/proc/meminfo: memFree=129234616/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=313820 memory=305068 CPUtime=161.83 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 46853 0 0 0 16170 13 0 0 20 0 1 0 77201998 321351680 76267 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 78455 76267 640 696 0 77616 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 318012 KiB
Current children cumulated memory: 307884 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 3.37 3.55 5/273 86068
/proc/meminfo: memFree=129240956/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=305436 memory=296668 CPUtime=221.65 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 47330 0 0 0 22151 14 0 0 20 0 1 0 77201998 312766464 74167 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 76359 74167 640 696 0 75520 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 309628 KiB

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

/proc/loadavg: 4.12 4.16 4.12 5/268 86223
/proc/meminfo: memFree=128850888/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=389524 memory=381992 CPUtime=3093.18 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 121313 0 0 0 309180 138 0 0 20 0 1 0 77201998 398872576 95498 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 97381 95498 640 696 0 96542 0
Current children cumulated CPU time: 3093.18 s
Current children cumulated vsize: 393716 KiB
Current children cumulated memory: 384808 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/268 86225
/proc/meminfo: memFree=128863376/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=374976 memory=367444 CPUtime=3153 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 124547 0 0 0 315156 144 0 0 20 0 1 0 77201998 383975424 91861 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 93744 91861 640 696 0 92905 0
Current children cumulated CPU time: 3153 s
Current children cumulated vsize: 379168 KiB
Current children cumulated memory: 370260 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/269 86228
/proc/meminfo: memFree=128836568/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=374460 memory=366928 CPUtime=3212.82 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 127289 0 0 0 321133 149 0 0 20 0 1 0 77201998 383447040 91732 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 93615 91732 640 696 0 92776 0
Current children cumulated CPU time: 3212.82 s
Current children cumulated vsize: 378652 KiB
Current children cumulated memory: 369744 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/269 86230
/proc/meminfo: memFree=128854984/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=359944 memory=352412 CPUtime=3272.64 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 130156 0 0 0 327109 155 0 0 20 0 1 0 77201998 368582656 88103 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 89986 88103 640 696 0 89147 0
Current children cumulated CPU time: 3272.64 s
Current children cumulated vsize: 364136 KiB
Current children cumulated memory: 355228 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/268 86232
/proc/meminfo: memFree=128898060/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=359736 memory=352204 CPUtime=3332.45 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 133042 0 0 0 333084 161 0 0 20 0 1 0 77201998 368369664 88051 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 89934 88051 640 696 0 89095 0
Current children cumulated CPU time: 3332.45 s
Current children cumulated vsize: 363928 KiB
Current children cumulated memory: 355020 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/269 86235
/proc/meminfo: memFree=128883840/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=371312 memory=363780 CPUtime=3392.28 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 135767 0 0 0 339061 167 0 0 20 0 1 0 77201998 380223488 90945 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 92828 90945 640 696 0 91989 0
Current children cumulated CPU time: 3392.28 s
Current children cumulated vsize: 375504 KiB
Current children cumulated memory: 366596 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/269 86237
/proc/meminfo: memFree=128937420/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=313968 memory=306436 CPUtime=3452.1 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 137126 0 0 0 345041 169 0 0 20 0 1 0 77201998 321503232 76609 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 78492 76609 640 696 0 77653 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 318160 KiB
Current children cumulated memory: 309252 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 86242
/proc/meminfo: memFree=128941452/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=363248 memory=355648 CPUtime=3511.91 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 139078 0 0 0 351019 172 0 0 20 0 1 0 77201998 371965952 88912 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 90812 88912 640 696 0 89973 0
Current children cumulated CPU time: 3511.91 s
Current children cumulated vsize: 367440 KiB
Current children cumulated memory: 358464 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/269 86249
/proc/meminfo: memFree=128909644/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=400300 memory=392768 CPUtime=3571.73 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 141343 0 0 0 356994 179 0 0 20 0 1 0 77201998 409907200 98192 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 100075 98192 640 696 0 99236 0
Current children cumulated CPU time: 3571.73 s
Current children cumulated vsize: 404492 KiB
Current children cumulated memory: 395584 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.07 4.09 4.09 2/254 86274
/proc/meminfo: memFree=129500208/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=313968 memory=306436 CPUtime=3600.05 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 141800 0 0 0 359824 181 0 0 20 0 1 0 77201998 321503232 76609 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 78492 76609 640 696 0 77653 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 318160 KiB
Current children cumulated memory: 309252 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.25 s, system=1.81748 s

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

[startup+3610.7 s]
/proc/loadavg: 4.07 4.09 4.09 2/254 86274
/proc/meminfo: memFree=129500208/131250000 swapFree=33008356/33010684
[pid=86043] ppid=86032 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86043/stat : 86043 (naps-1.03a6.sh) S 86032 86043 85976 0 -1 4194304 229 203 0 1 0 0 0 0 20 0 1 0 77201995 4292608 704 18446744073709551615 94648348966912 94648349861445 140724143442896 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94648350100496 94648350148240 94648354381824 140724143446437 140724143446531 140724143446531 140724143452135 0
/proc/86043/statm: 1048 704 640 219 0 110 0
[pid=86060] ppid=86043 vsize=313968 memory=306436 CPUtime=3600.05 cores=5,7
/proc/86060/stat : 86060 (naps-1.03a6) R 86043 86043 85976 0 -1 4194304 141800 0 0 0 359824 181 0 0 20 0 1 0 77201998 321503232 76609 18446744073709551615 4198400 7047149 140733489308944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15437824 140733489318258 140733489318372 140733489318372 140733489323977 0
/proc/86060/statm: 78492 76609 640 696 0 77653 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 318160 KiB
Current children cumulated memory: 309252 KiB

Child status: 10

Real time (s): 3610.7
CPU time (s): 3600.06
CPU user time (s): 3598.25
CPU system time (s): 1.81748
CPU usage (%): 99.7054
Max. virtual memory (cumulated for all children) (KiB): 682696
Max. memory (cumulated for all children) (KiB): 575876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.25
system time used= 1.81748
maximum resident set size= 670904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142245
page faults= 1
swaps= 0
block input operations= 32
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 291
involuntary context switches= 1718


# summary of solver processes directly reported to runsolver:
#   pid: 86043
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3598.25
#   total CPU system time (s): 1.81748

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95338 second user time and 16.4233 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-07-04 09:47:34
IDJOB=4524593
IDBENCH=143138
IDSOLVER=3377
FILE ID=nodeC014/4524593-1751615254
RUNJOBID= nodeC014-1751615254-85989
SLURM_JOB_ID= 9598919
Free space on /tmp= 430496 MiB

SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524593-1751615254/watcher-4524593-1751615254 -o /tmp/evaluation-result-4524593-1751615254/solver-4524593-1751615254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751615254-85989 --watchdog 3760  ./naps-1.03a6.sh HOME/instance-4524593-1751615254.wbo

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

MD5SUM BENCH= 7739b4d9ca7025fb6750e4f7ea1afab1
RANDOM SEED=1021684204

nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3600.152
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3599.390
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3603.953
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3571.114
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3599.303
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3599.435
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3598.702
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3358.094
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129781840 kB
MemAvailable:   129703988 kB
Buffers:             696 kB
Cached:           717396 kB
SwapCached:         1628 kB
Active:           409160 kB
Inactive:         385804 kB
Active(anon):      44104 kB
Inactive(anon):    49164 kB
Active(file):     365056 kB
Inactive(file):   336640 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008356 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             21716 kB
Writeback:             0 kB
AnonPages:         78624 kB
Mapped:           101888 kB
Shmem:             16396 kB
KReclaimable:     119380 kB
Slab:             209424 kB
SReclaimable:     119380 kB
SUnreclaim:        90044 kB
KernelStack:        4040 kB
PageTables:         2396 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     348648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430472 MiB
End job on nodeC014 at 2025-07-04 10:47:45