Trace number 4426210

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NaPS-GM 1.03MSAT (TO) 3600.07 3609.71

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.03.
0.00/0.00	c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00	c Input file name: HOME/instance-4426210-1720901794.wbo
0.00/0.07	c single stage optimization mode
0.19/0.23	o 7272
0.40/0.43	o 4267
0.59/0.64	o 1555
0.69/0.72	o 230
0.78/0.80	o 19
0.78/0.83	o 8
0.88/0.97	o 5
0.88/0.98	o 3
3600.04/3609.70	c 
3600.04/3609.70	c *** TERMINATED *** by signal 15
3600.04/3609.70	s SATISFIABLE
3600.04/3609.70	c _____________________________________________________________________________
3600.04/3609.70	c std/band forms        : 108,0
3600.04/3609.70	c 2cl/3cl ITE-codings   : 76168,0
3600.04/3609.70	c BDD/srt/adr Max costs : 169539,914,0
3600.04/3609.70	c BDDraw/bin/mul/srt/adr: 1,0,7,100,0
3600.04/3609.70	c BDD nodes             : 78066
3600.04/3609.70	c Es1/CC detections     : 0,0
3600.04/3609.70	c CC sort               : 100
3600.04/3609.70	c SAT/UNSAT calls       : 8,0
3600.04/3609.70	c regenrated variables  : 540
3600.04/3609.70	c eliminated fixed lits : 373
3600.04/3609.70	c goal lit flips        : 0
3600.04/3609.70	c goal stages           : 1
3600.04/3609.70	c goal shrink           : 0
3600.04/3609.70	c goal coeff separations: 0
3600.04/3609.70	c restarts              : 36
3600.04/3609.70	c conflicts             : 724            (0 /sec)
3600.04/3609.70	c decisions             : 313615         (87 /sec)
3600.04/3609.70	c propagations          : 2072595        (576 /sec)
3600.04/3609.70	c inspects              : 0              (0 /sec)
3600.04/3609.70	c CPU time (solving tm) : 3599 s        (3598 s, SAT 0.5109 s, UNSAT 0 s)
3600.04/3609.70	c Time for Opt-base     : 0.003356 s
3600.04/3609.70	c Steps for Opt-base    : 8120
3600.04/3609.70	c Time for BDD coding   : 0.3067 s
3600.04/3609.70	c Time for srt coding   : 0.007896 s
3600.04/3609.70	c _____________________________________________________________________________
3600.04/3609.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 -x1960 x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971
3600.04/3609.70	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.04/3609.70	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 (63067 MiB free)
  memory of node 1: 64473 MiB (63388 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426210-1720901794/watcher-4426210-1720901794 -o /tmp/evaluation-result-4426210-1720901794/solver-4426210-1720901794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1720901807-727697 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426210-1720901794.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=727749, runsolver pid=727740

[startup+0.100093 s]*
/proc/loadavg: 0.07 0.08 0.09 5/251 727756
/proc/meminfo: memFree=129423172/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=36308 memory=31556 CPUtime=0.09 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 7647 0 0 0 8 1 0 0 20 0 1 0 142350301 37179392 7889 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 9077 7889 468 659 0 8281 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46240 KiB
Current children cumulated memory: 34236 KiB

[startup+0.205949 s]*
/proc/loadavg: 0.07 0.08 0.09 5/251 727756
/proc/meminfo: memFree=129394108/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=40576 memory=34916 CPUtime=0.19 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 9329 0 0 0 18 1 0 0 20 0 1 0 142350301 41549824 8729 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 10144 8729 468 659 0 9348 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 50508 KiB
Current children cumulated memory: 37596 KiB

[startup+0.305693 s]*
/proc/loadavg: 0.07 0.08 0.09 6/258 727775
/proc/meminfo: memFree=129366860/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=47860 memory=42744 CPUtime=0.3 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 11957 0 0 0 28 2 0 0 20 0 1 0 142350301 49008640 10686 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 11965 10686 468 659 0 11169 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 57792 KiB
Current children cumulated memory: 45424 KiB

[startup+0.700263 s]
/proc/loadavg: 0.07 0.08 0.09 6/258 727775
/proc/meminfo: memFree=129236520/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=110936 memory=105176 CPUtime=0.69 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 23871 0 0 0 65 4 0 0 20 0 1 0 142350301 113598464 26294 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 27734 26294 468 659 0 26938 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 120868 KiB
Current children cumulated memory: 107856 KiB

[startup+1.50022 s]
/proc/loadavg: 0.07 0.08 0.09 6/258 727775
/proc/meminfo: memFree=129159212/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=142712 memory=131860 CPUtime=1.49 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 25602 0 0 0 144 5 0 0 20 0 1 0 142350301 146137088 32965 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 35678 32965 468 659 0 34882 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 152644 KiB
Current children cumulated memory: 134540 KiB

[startup+3.10544 s]
/proc/loadavg: 0.38 0.15 0.11 6/258 727775
/proc/meminfo: memFree=128939896/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=149892 memory=136192 CPUtime=3.09 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 27739 0 0 0 303 6 0 0 20 0 1 0 142350301 153489408 34048 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 37473 34048 468 659 0 36677 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 159824 KiB
Current children cumulated memory: 138872 KiB

[startup+6.30026 s]
/proc/loadavg: 0.38 0.15 0.11 6/258 727827
/proc/meminfo: memFree=128251520/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=154312 memory=133164 CPUtime=6.27 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 29912 0 0 0 620 7 0 0 20 0 1 0 142350301 158015488 33291 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 38578 33291 468 659 0 37782 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 164244 KiB
Current children cumulated memory: 135844 KiB

[startup+12.7003 s]
/proc/loadavg: 1.02 0.29 0.16 6/258 727827
/proc/meminfo: memFree=128061156/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=222488 memory=178628 CPUtime=12.66 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 30861 0 0 0 1257 9 0 0 20 0 1 0 142350301 227827712 44657 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 55622 44657 468 659 0 54826 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 232420 KiB
Current children cumulated memory: 181308 KiB

[startup+25.5002 s]
/proc/loadavg: 1.48 0.41 0.20 7/258 727880
/proc/meminfo: memFree=128578760/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=173168 memory=145800 CPUtime=25.43 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 31667 0 0 0 2533 10 0 0 20 0 1 0 142350301 177324032 36450 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 43292 36450 468 659 0 42496 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 183100 KiB
Current children cumulated memory: 148480 KiB

[startup+51.1056 s]
/proc/loadavg: 2.40 0.72 0.31 7/258 727933
/proc/meminfo: memFree=127224868/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=186408 memory=171612 CPUtime=50.96 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 34332 0 0 0 5083 13 0 0 20 0 1 0 142350301 190881792 42903 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 46602 42903 468 659 0 45806 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 196340 KiB
Current children cumulated memory: 174292 KiB

[startup+102.3 s]
/proc/loadavg: 3.48 1.30 0.53 7/258 727942
/proc/meminfo: memFree=125162508/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=266548 memory=251068 CPUtime=102.03 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 36611 0 0 0 10185 18 0 0 20 0 1 0 142350301 272945152 62767 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 66637 62767 468 659 0 65841 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 276480 KiB
Current children cumulated memory: 253748 KiB

[startup+162.3 s]
/proc/loadavg: 3.81 1.80 0.75 6/258 728002
/proc/meminfo: memFree=124723576/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=271912 memory=236024 CPUtime=161.87 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 39964 0 0 0 16165 22 0 0 20 0 1 0 142350301 278437888 59006 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 67978 59006 468 659 0 67182 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 281844 KiB
Current children cumulated memory: 238704 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.23 0.97 6/261 728017
/proc/meminfo: memFree=113285920/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=271912 memory=262304 CPUtime=221.72 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 41271 0 0 0 22148 24 0 0 20 0 1 0 142350301 278437888 65576 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 67978 65576 468 659 0 67182 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 281844 KiB
Current children cumulated memory: 264984 KiB

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

/proc/727756/statm: 129639 119213 468 659 0 128843 0
Current children cumulated CPU time: 3094.11 s
Current children cumulated vsize: 528488 KiB
Current children cumulated memory: 479532 KiB

[startup+3162.3 s]
/proc/loadavg: 4.57 4.24 4.07 6/259 729727
/proc/meminfo: memFree=108015864/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=521868 memory=502596 CPUtime=3153.93 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 100615 0 0 0 315283 110 0 0 20 0 1 0 142350301 534392832 125649 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 130467 125649 468 659 0 129671 0
Current children cumulated CPU time: 3153.93 s
Current children cumulated vsize: 531800 KiB
Current children cumulated memory: 505276 KiB

[startup+3222.3 s]
/proc/loadavg: 4.21 4.20 4.06 6/262 729742
/proc/meminfo: memFree=107927804/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=658484 memory=527124 CPUtime=3213.75 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 102382 0 0 0 321265 110 0 0 20 0 1 0 142350301 674287616 131781 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 164621 131781 468 659 0 163825 0
Current children cumulated CPU time: 3213.75 s
Current children cumulated vsize: 668416 KiB
Current children cumulated memory: 529804 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.17 4.06 6/262 729753
/proc/meminfo: memFree=107991392/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=448788 memory=394580 CPUtime=3273.57 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 103905 0 0 0 327245 112 0 0 20 0 1 0 142350301 459558912 98645 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 112197 98645 468 659 0 111401 0
Current children cumulated CPU time: 3273.57 s
Current children cumulated vsize: 458720 KiB
Current children cumulated memory: 397260 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.17 4.07 6/261 729764
/proc/meminfo: memFree=107991888/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=448788 memory=423372 CPUtime=3333.4 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 104082 0 0 0 333227 113 0 0 20 0 1 0 142350301 459558912 105843 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 112197 105843 468 659 0 111401 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 458720 KiB
Current children cumulated memory: 426052 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.17 4.07 6/261 729774
/proc/meminfo: memFree=107904308/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=530176 memory=446572 CPUtime=3393.21 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 104873 0 0 0 339208 113 0 0 20 0 1 0 142350301 542900224 111643 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 132544 111643 468 659 0 131748 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 540108 KiB
Current children cumulated memory: 449252 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.15 4.07 6/261 729785
/proc/meminfo: memFree=107938760/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=530176 memory=467092 CPUtime=3453.05 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 104982 0 0 0 345191 114 0 0 20 0 1 0 142350301 542900224 116773 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 132544 116773 468 659 0 131748 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 540108 KiB
Current children cumulated memory: 469772 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.07 6/258 729795
/proc/meminfo: memFree=107895388/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=530344 memory=493852 CPUtime=3512.88 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 105143 0 0 0 351174 114 0 0 20 0 1 0 142350301 543072256 123463 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 132586 123463 468 659 0 131790 0
Current children cumulated CPU time: 3512.88 s
Current children cumulated vsize: 540276 KiB
Current children cumulated memory: 496532 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.07 6/258 729805
/proc/meminfo: memFree=107798948/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=664320 memory=518016 CPUtime=3572.72 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 106178 0 0 0 357156 116 0 0 20 0 1 0 142350301 680263680 129504 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 166080 129504 468 659 0 165284 0
Current children cumulated CPU time: 3572.72 s
Current children cumulated vsize: 674252 KiB
Current children cumulated memory: 520696 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.10 4.13 4.08 6/258 729810
/proc/meminfo: memFree=107881440/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=665384 memory=527080 CPUtime=3600.04 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 106485 0 0 0 359888 116 0 0 20 0 1 0 142350301 681353216 131770 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 166346 131770 468 659 0 165550 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 675316 KiB
Current children cumulated memory: 529760 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002875 s, system=0 s

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

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

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

[startup+3609.7 s]
/proc/loadavg: 4.10 4.13 4.08 6/258 729810
/proc/meminfo: memFree=107881440/131524600 swapFree=131071996/131071996
[pid=727749] ppid=727740 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/727749/stat : 727749 (naps-1.03.sh) S 727740 727749 727686 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 142350301 10170368 670 134679101440 93937057570816 93937058650136 140729524096272 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93937060748592 93937060795780 93937070428160 140729524102060 140729524102189 140729524102189 140729524109256 0
/proc/727749/statm: 2483 670 592 264 0 134 0
[pid=727756] ppid=727749 vsize=665384 memory=527080 CPUtime=3600.04 cores=4,6
/proc/727756/stat : 727756 (naps-1.03) R 727749 727749 727686 0 -1 4194304 106485 0 0 0 359888 116 0 0 20 0 1 0 142350301 681353216 131770 134679101440 4194304 6891213 140720613415632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 30294016 140720613422013 140720613422129 140720613422129 140720613429195 0
/proc/727756/statm: 166346 131770 468 659 0 165550 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 675316 KiB
Current children cumulated memory: 529760 KiB

Child status: 10

Real time (s): 3609.71
CPU time (s): 3600.07
CPU user time (s): 3598.89
CPU system time (s): 1.1768
CPU usage (%): 99.7329
Max. virtual memory (cumulated for all children) (KiB): 752508
Max. memory (cumulated for all children) (KiB): 616196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.89
system time used= 1.1768
maximum resident set size= 642188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106949
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= 81
involuntary context switches= 4418


# summary of solver processes directly reported to runsolver:
#   pid: 727749,727756
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3598.89
#   total CPU system time (s): 1.1768

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.06704 second user time and 19.8734 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-13 22:16:47
IDJOB=4426210
IDBENCH=143470
IDSOLVER=3042
FILE ID=nodeC035/4426210-1720901794
RUNJOBID= nodeC035-1720901807-727697
SLURM_JOB_ID= 7486094
Free space on /tmp= 890076 MiB

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

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

MD5SUM BENCH= 5a26684c778fa1de5039a887c1250f16
RANDOM SEED=82369702

nodeC035.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		: 3622.310
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
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		: 3504.811
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
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		: 3653.200
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
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		: 3494.985
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
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		: 3640.695
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
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		: 2545.034
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
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		: 3620.314
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
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		: 1239.433
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129496068 kB
MemAvailable:   129748548 kB
Buffers:          325280 kB
Cached:           770408 kB
SwapCached:            0 kB
Active:           518792 kB
Inactive:         944436 kB
Active(anon):       1488 kB
Inactive(anon):   403776 kB
Active(file):     517304 kB
Inactive(file):   540660 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             15944 kB
Writeback:             8 kB
AnonPages:        367640 kB
Mapped:           103672 kB
Shmem:             37720 kB
KReclaimable:      68680 kB
Slab:             166716 kB
SReclaimable:      68680 kB
SUnreclaim:        98036 kB
KernelStack:        3924 kB
PageTables:         9964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     867452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            56640 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 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:      174804 kB
DirectMap2M:     7987200 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 889968 MiB
End job on nodeC035 at 2024-07-13 23:16:57