Trace number 4463368

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.03a2MSAT (TO) 3600.09 3609.3

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM5a26684c778fa1de5039a887c1250f16
Bench CategoryPARTIAL-LIN (WBO, both soft and hard 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.230265
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5500
Total number of constraints210
Number of soft constraints145
Number of constraints which are clauses110
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 constraint55
Top cost 7273
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 7272
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
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.03a2.
0.00/0.00	c Input file name: HOME/instance-4463368-1722352284.wbo
0.00/0.00	c Initial goal by soft: 7272
0.00/0.07	c single stage optimization mode
0.00/0.10	o 3366
0.20/0.30	o 599
0.29/0.33	o 3
3600.08/3609.30	c 
3600.08/3609.30	c *** TERMINATED *** by signal 15
3600.08/3609.30	s SATISFIABLE
3600.08/3609.30	c _____________________________________________________________________________
3600.08/3609.30	c std/band forms        : 103,0
3600.08/3609.30	c 2cl/3cl ITE-codings   : 34728,0
3600.08/3609.30	c BDD/srt/adr Max costs : 127543,914,0
3600.08/3609.30	c BDDraw/bin/mul/srt/adr: 0,0,3,100,0
3600.08/3609.30	c BDD nodes             : 36072
3600.08/3609.30	c Es1/CC detections     : 0,0
3600.08/3609.30	c CC sort               : 100
3600.08/3609.30	c SAT/UNSAT calls       : 3,0
3600.08/3609.30	c regenrated variables  : 0
3600.08/3609.30	c eliminated fixed lits : 0
3600.08/3609.30	c goal lit flips        : 75
3600.08/3609.30	c goal stages           : 1
3600.08/3609.30	c goal shrink           : 0
3600.08/3609.30	c goal coeff separations: 0
3600.08/3609.30	c restarts              : 4
3600.08/3609.30	c conflicts             : 662            (0 /sec)
3600.08/3609.30	c decisions             : 31696          (9 /sec)
3600.08/3609.30	c propagations          : 653805         (182 /sec)
3600.08/3609.30	c inspects              : 0              (0 /sec)
3600.08/3609.30	c CPU time (solving tm) : 3596 s        (3595 s, SAT 0.1109 s, UNSAT 0 s)
3600.08/3609.30	c Time for Opt-base     : 0.003164 s
3600.08/3609.30	c Steps for Opt-base    : 8120
3600.08/3609.30	c Time for BDD coding   : 0.1106 s
3600.08/3609.30	c Time for srt coding   : 0.007562 s
3600.08/3609.30	c _____________________________________________________________________________
3600.08/3609.30	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 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971
3600.08/3609.30	v -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 -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
3600.08/3609.30	v -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 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500

Verifier Data 

OK	3

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (63494 MiB free)
  memory of node 1: 64473 MiB (63096 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463368-1722352284/watcher-4463368-1722352284 -o /tmp/evaluation-result-4463368-1722352284/solver-4463368-1722352284 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722352283-14557 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463368-1722352284.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=14715, runsolver pid=14711

[startup+0.100088 s]*
/proc/loadavg: 1.10 1.50 2.64 5/259 14733
/proc/meminfo: memFree=129598932/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=33648 memory=31448 CPUtime=0.1 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 8107 0 0 0 9 1 0 0 20 0 1 0 1830326 34455552 7862 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 8412 7862 612 659 0 7616 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43580 KiB
Current children cumulated memory: 34048 KiB

[startup+0.205586 s]*
/proc/loadavg: 1.10 1.50 2.64 5/259 14733
/proc/meminfo: memFree=129589432/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=56048 memory=51872 CPUtime=0.2 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 12714 0 0 0 19 1 0 0 20 0 1 0 1830326 57393152 12968 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 14012 12968 612 659 0 13216 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 65980 KiB
Current children cumulated memory: 54472 KiB

[startup+0.305567 s]*
/proc/loadavg: 1.10 1.50 2.64 5/259 14733
/proc/meminfo: memFree=129568520/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=68364 memory=63544 CPUtime=0.29 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 15832 0 0 0 28 1 0 0 20 0 1 0 1830326 70004736 15886 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 17091 15886 644 659 0 16295 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 78296 KiB
Current children cumulated memory: 66144 KiB

[startup+0.700254 s]
/proc/loadavg: 1.33 1.54 2.65 4/256 14733
/proc/meminfo: memFree=129554088/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=80092 memory=76652 CPUtime=0.69 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 21205 0 0 0 66 3 0 0 20 0 1 0 1830326 82014208 19163 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 20023 19163 660 659 0 19227 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 90024 KiB
Current children cumulated memory: 79252 KiB

[startup+1.50024 s]
/proc/loadavg: 1.33 1.54 2.65 5/259 14783
/proc/meminfo: memFree=129504036/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=91996 memory=89472 CPUtime=1.48 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 24227 0 0 0 144 4 0 0 20 0 1 0 1830326 94203904 22368 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 22999 22368 660 659 0 22203 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 101928 KiB
Current children cumulated memory: 92072 KiB

[startup+3.10549 s]
/proc/loadavg: 1.33 1.54 2.65 5/259 14783
/proc/meminfo: memFree=129450652/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=100188 memory=93344 CPUtime=3.08 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 24676 0 0 0 304 4 0 0 20 0 1 0 1830326 102592512 23336 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 25047 23336 660 659 0 24251 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 110120 KiB
Current children cumulated memory: 95944 KiB

[startup+6.3002 s]
/proc/loadavg: 1.55 1.58 2.66 5/259 14785
/proc/meminfo: memFree=129440616/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=106660 memory=99552 CPUtime=6.27 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 25789 0 0 0 623 4 0 0 20 0 1 0 1830326 109219840 24888 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 26665 24888 660 659 0 25869 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 116592 KiB
Current children cumulated memory: 102152 KiB

[startup+12.7002 s]
/proc/loadavg: 1.75 1.62 2.66 5/259 14785
/proc/meminfo: memFree=129432524/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=100084 memory=93368 CPUtime=12.65 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 28719 0 0 0 1259 6 0 0 20 0 1 0 1830326 102486016 23342 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 25021 23342 660 659 0 24225 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 110016 KiB
Current children cumulated memory: 95968 KiB

[startup+25.5002 s]
/proc/loadavg: 2.17 1.72 2.68 5/258 14788
/proc/meminfo: memFree=129416444/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=117400 memory=110544 CPUtime=25.42 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 32531 0 0 0 2534 8 0 0 20 0 1 0 1830326 120217600 27636 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 29350 27636 660 659 0 28554 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 127332 KiB
Current children cumulated memory: 113144 KiB

[startup+51.1055 s]
/proc/loadavg: 3.06 1.99 2.74 5/258 14791
/proc/meminfo: memFree=129338588/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=183932 memory=165744 CPUtime=50.96 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 40518 0 0 0 5083 13 0 0 20 0 1 0 1830326 188346368 41436 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 45983 41436 660 659 0 45187 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 193864 KiB
Current children cumulated memory: 168344 KiB

[startup+102.3 s]
/proc/loadavg: 3.64 2.31 2.82 5/258 14799
/proc/meminfo: memFree=129283028/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=192764 memory=179412 CPUtime=102.02 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 42749 0 0 0 10187 15 0 0 20 0 1 0 1830326 197390336 44853 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 48191 44853 660 659 0 47395 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 202696 KiB
Current children cumulated memory: 182012 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 2.65 2.90 5/258 14809
/proc/meminfo: memFree=129247104/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=177456 memory=164264 CPUtime=161.87 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 48094 0 0 0 16166 21 0 0 20 0 1 0 1830326 181714944 41066 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 44364 41066 660 659 0 43568 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 187388 KiB
Current children cumulated memory: 166864 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.91 2.98 5/258 14820
/proc/meminfo: memFree=129192100/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=203964 memory=190616 CPUtime=221.7 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 53837 0 0 0 22142 28 0 0 20 0 1 0 1830326 208859136 47654 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 50991 47654 660 659 0 50195 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 213896 KiB

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

/proc/loadavg: 4.29 4.25 4.14 5/260 16521
/proc/meminfo: memFree=128559300/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=319208 memory=309744 CPUtime=3094.38 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 231626 0 0 0 309047 391 0 0 20 0 1 0 1830326 326868992 77436 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 79802 77436 660 659 0 79006 0
Current children cumulated CPU time: 3094.38 s
Current children cumulated vsize: 329140 KiB
Current children cumulated memory: 312344 KiB

[startup+3162.3 s]
/proc/loadavg: 4.22 4.23 4.14 5/258 16531
/proc/meminfo: memFree=128625180/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=319820 memory=310356 CPUtime=3154.22 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 233308 0 0 0 315028 394 0 0 20 0 1 0 1830326 327495680 77589 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 79955 77589 660 659 0 79159 0
Current children cumulated CPU time: 3154.22 s
Current children cumulated vsize: 329752 KiB
Current children cumulated memory: 312956 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.20 4.13 5/259 16543
/proc/meminfo: memFree=128582188/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=344364 memory=334900 CPUtime=3214.06 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 235171 0 0 0 321004 402 0 0 20 0 1 0 1830326 352628736 83725 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 86091 83725 660 659 0 85295 0
Current children cumulated CPU time: 3214.06 s
Current children cumulated vsize: 354296 KiB
Current children cumulated memory: 337500 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.19 4.13 5/256 16553
/proc/meminfo: memFree=128530412/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=327128 memory=317664 CPUtime=3273.91 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 237511 0 0 0 326981 410 0 0 20 0 1 0 1830326 334979072 79416 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 81782 79416 660 659 0 80986 0
Current children cumulated CPU time: 3273.91 s
Current children cumulated vsize: 337060 KiB
Current children cumulated memory: 320264 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/256 16563
/proc/meminfo: memFree=128551528/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=318808 memory=309344 CPUtime=3333.76 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 238794 0 0 0 332962 414 0 0 20 0 1 0 1830326 326459392 77336 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 79702 77336 660 659 0 78906 0
Current children cumulated CPU time: 3333.76 s
Current children cumulated vsize: 328740 KiB
Current children cumulated memory: 311944 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.16 4.13 5/256 16575
/proc/meminfo: memFree=128490240/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=369440 memory=359648 CPUtime=3393.6 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 242653 0 0 0 338938 422 0 0 20 0 1 0 1830326 378306560 89912 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 92360 89912 660 659 0 91564 0
Current children cumulated CPU time: 3393.6 s
Current children cumulated vsize: 379372 KiB
Current children cumulated memory: 362248 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.13 5/256 16585
/proc/meminfo: memFree=128551588/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=334916 memory=325128 CPUtime=3453.45 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 245212 0 0 0 344915 430 0 0 20 0 1 0 1830326 342953984 81282 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 83729 81282 660 659 0 82933 0
Current children cumulated CPU time: 3453.45 s
Current children cumulated vsize: 344848 KiB
Current children cumulated memory: 327728 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.15 4.12 5/255 16595
/proc/meminfo: memFree=128543784/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=339820 memory=330032 CPUtime=3513.3 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 247292 0 0 0 350894 436 0 0 20 0 1 0 1830326 347975680 82508 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 84955 82508 660 659 0 84159 0
Current children cumulated CPU time: 3513.3 s
Current children cumulated vsize: 349752 KiB
Current children cumulated memory: 332632 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/257 16610
/proc/meminfo: memFree=128560104/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=329928 memory=320140 CPUtime=3573.14 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 249360 0 0 0 356871 443 0 0 20 0 1 0 1830326 337846272 80035 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 82482 80035 660 659 0 81686 0
Current children cumulated CPU time: 3573.14 s
Current children cumulated vsize: 339860 KiB
Current children cumulated memory: 322740 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.12 4.14 4.12 4/249 16647
/proc/meminfo: memFree=128885460/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=336096 memory=326308 CPUtime=3600.08 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 249779 0 0 0 359563 445 0 0 20 0 1 0 1830326 344162304 81577 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 84024 81577 660 659 0 83228 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 346028 KiB
Current children cumulated memory: 328908 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3595.64 s, system=4.4541 s

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

[startup+3609.3 s]
/proc/loadavg: 4.12 4.14 4.12 4/249 16647
/proc/meminfo: memFree=128885460/131524600 swapFree=131071996/131071996
[pid=14715] ppid=14711 vsize=9932 memory=2600 CPUtime=0 cores=5,7
/proc/14715/stat : 14715 (naps-1.03.sh) S 14711 14715 14544 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 1830326 10170368 650 134679101440 94916790116352 94916791195672 140728532854480 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94916793294128 94916793341316 94916806864896 140728532857831 140728532857956 140728532857956 140728532864968 0
/proc/14715/statm: 2483 650 572 264 0 134 0
[pid=14723] ppid=14715 vsize=336096 memory=326308 CPUtime=3600.08 cores=5,7
/proc/14723/stat : 14723 (naps-1.03a2) R 14715 14715 14544 0 -1 4194304 249779 0 0 0 359563 445 0 0 20 0 1 0 1830326 344162304 81577 134679101440 4194304 6891597 140722956942288 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 9138176 140722956944370 140722956944484 140722956944484 140722956951497 0
/proc/14723/statm: 84024 81577 660 659 0 83228 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 346028 KiB
Current children cumulated memory: 328908 KiB

Child status: 10

Real time (s): 3609.3
CPU time (s): 3600.09
CPU user time (s): 3595.64
CPU system time (s): 4.4541
CPU usage (%): 99.7448
Max. virtual memory (cumulated for all children) (KiB): 507760
Max. memory (cumulated for all children) (KiB): 490704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.64
system time used= 4.4541
maximum resident set size= 488104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250258
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= 46
involuntary context switches= 1926


# summary of solver processes directly reported to runsolver:
#   pid: 14715
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3595.64
#   total CPU system time (s): 4.4541

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.07436 second user time and 14.7619 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-30 17:11:24
IDJOB=4463368
IDBENCH=143470
IDSOLVER=3090
FILE ID=nodeC030/4463368-1722352284
RUNJOBID= nodeC030-1722352283-14557
SLURM_JOB_ID= 8249025
Free space on /tmp= 890072 MiB

SOLVER NAME= NaPS 1.03a2
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_55_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-4463368-1722352284/watcher-4463368-1722352284 -o /tmp/evaluation-result-4463368-1722352284/solver-4463368-1722352284 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722352283-14557 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4463368-1722352284.wbo

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

MD5SUM BENCH= 5a26684c778fa1de5039a887c1250f16
RANDOM SEED=511477413

nodeC030.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		: 3669.284
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	: 7000.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		: 3670.958
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	: 7006.48
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		: 3664.202
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	: 7000.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		: 3601.410
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	: 7006.48
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		: 3636.196
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	: 7000.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		: 3640.025
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	: 7006.48
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		: 3606.140
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	: 7000.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		: 3655.775
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	: 7006.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129634496 kB
MemAvailable:   129827012 kB
Buffers:           58468 kB
Cached:           971232 kB
SwapCached:            0 kB
Active:           188056 kB
Inactive:        1233016 kB
Active(anon):       1544 kB
Inactive(anon):   411188 kB
Active(file):     186512 kB
Inactive(file):   821828 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             16440 kB
Writeback:             8 kB
AnonPages:        391412 kB
Mapped:            93264 kB
Shmem:             21328 kB
KReclaimable:      47996 kB
Slab:             127512 kB
SReclaimable:      47996 kB
SUnreclaim:        79516 kB
KernelStack:        4048 kB
PageTables:         9748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     692384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8416 kB
HardwareCorrupted:     0 kB
AnonHugePages:    176128 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:      221908 kB
DirectMap2M:     6891520 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC030 at 2024-07-30 18:11:34