Trace number 4460975

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NaPS-GM 1.03a1MSAT (TO) 3600.07 3609.92

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.03a1.
0.00/0.00	c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00	c Input file name: HOME/instance-4460975-1722076748.wbo
0.00/0.00	c Initial goal by soft: 7272
0.09/0.15	c single stage optimization mode
0.20/0.32	o 7272
0.50/0.55	o 4267
0.68/0.77	o 1555
0.78/0.87	o 230
0.88/0.95	o 19
0.88/0.99	o 8
1.09/1.15	o 5
1.09/1.15	o 3
3600.04/3609.90	c 
3600.04/3609.90	c *** TERMINATED *** by signal 15
3600.04/3609.90	s SATISFIABLE
3600.04/3609.90	c _____________________________________________________________________________
3600.04/3609.90	c std/band forms        : 108,0
3600.04/3609.90	c 2cl/3cl ITE-codings   : 76168,0
3600.04/3609.90	c BDD/srt/adr Max costs : 169539,914,0
3600.04/3609.90	c BDDraw/bin/mul/srt/adr: 1,0,7,100,0
3600.04/3609.90	c BDD nodes             : 78066
3600.04/3609.90	c Es1/CC detections     : 0,0
3600.04/3609.90	c CC sort               : 100
3600.04/3609.90	c SAT/UNSAT calls       : 8,0
3600.04/3609.90	c regenrated variables  : 540
3600.04/3609.90	c eliminated fixed lits : 373
3600.04/3609.90	c goal lit flips        : 0
3600.04/3609.90	c goal stages           : 1
3600.04/3609.90	c goal shrink           : 0
3600.04/3609.90	c goal coeff separations: 0
3600.04/3609.90	c restarts              : 36
3600.04/3609.90	c conflicts             : 724            (0 /sec)
3600.04/3609.90	c decisions             : 313615         (87 /sec)
3600.04/3609.90	c propagations          : 2072595        (576 /sec)
3600.04/3609.90	c inspects              : 0              (0 /sec)
3600.04/3609.90	c CPU time (solving tm) : 3598 s        (3597 s, SAT 0.5755 s, UNSAT 0 s)
3600.04/3609.90	c Time for Opt-base     : 0.004707 s
3600.04/3609.90	c Steps for Opt-base    : 8120
3600.04/3609.90	c Time for BDD coding   : 0.3337 s
3600.04/3609.90	c Time for srt coding   : 0.01828 s
3600.04/3609.90	c _____________________________________________________________________________
3600.04/3609.90	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971
3600.04/3609.90	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.90	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: 64096 MiB (61087 MiB free)
  memory of node 1: 64473 MiB (59633 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4460975-1722076748/watcher-4460975-1722076748 -o /tmp/evaluation-result-4460975-1722076748/solver-4460975-1722076748 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722076709-306200 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4460975-1722076748.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_64SLinux 4.18.0-301.1.el8.x86_64Starting watchdog threadl
Current StackSize limit: 8192 KiB

solver pid=306526, runsolver pid=306523

[startup+0.100521 s]*
/proc/loadavg: 2.41 1.51 1.92 5/245 306531
/proc/meminfo: memFree=123611152/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=16636 memory=10156 CPUtime=0.09 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 2785 0 0 0 9 0 0 0 20 0 1 0 43664269 17035264 2539 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 4159 2539 468 659 0 3363 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26568 KiB
Current children cumulated memory: 12868 KiB

[startup+0.213606 s]*
/proc/loadavg: 2.41 1.51 1.92 5/245 306531
/proc/meminfo: memFree=123585108/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=36168 memory=31936 CPUtime=0.2 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 8557 0 0 0 19 1 0 0 20 0 1 0 43664269 37036032 7984 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 9042 7984 468 659 0 8246 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46100 KiB
Current children cumulated memory: 34648 KiB

[startup+0.313533 s]*
/proc/loadavg: 2.41 1.51 1.92 5/245 306531
/proc/meminfo: memFree=123582200/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=38904 memory=33912 CPUtime=0.3 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 9722 0 0 0 29 1 0 0 20 0 1 0 43664269 39837696 8478 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 9726 8478 468 659 0 8930 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48836 KiB
Current children cumulated memory: 36624 KiB

[startup+0.70043 s]
/proc/loadavg: 2.41 1.51 1.92 5/245 306532
/proc/meminfo: memFree=123515772/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=96884 memory=91868 CPUtime=0.68 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 21585 0 0 0 65 3 0 0 20 0 1 0 43664269 99209216 22967 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 24221 22967 468 659 0 23425 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 106816 KiB
Current children cumulated memory: 94580 KiB

[startup+1.50043 s]
/proc/loadavg: 2.41 1.51 1.92 5/245 306532
/proc/meminfo: memFree=123507604/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=137800 memory=126104 CPUtime=1.48 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 25700 0 0 0 143 5 0 0 20 0 1 0 43664269 141107200 31526 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 34450 31526 468 659 0 33654 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 147732 KiB
Current children cumulated memory: 128816 KiB

[startup+3.11307 s]
/proc/loadavg: 2.41 1.51 1.92 5/245 306532
/proc/meminfo: memFree=123488892/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=137800 memory=129164 CPUtime=3.08 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 27505 0 0 0 302 6 0 0 20 0 1 0 43664269 141107200 32291 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 34450 32291 468 659 0 33654 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 147732 KiB
Current children cumulated memory: 131876 KiB

[startup+6.30042 s]
/proc/loadavg: 2.54 1.55 1.93 5/245 306532
/proc/meminfo: memFree=123487644/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=149400 memory=130740 CPUtime=6.27 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 29784 0 0 0 619 8 0 0 20 0 1 0 43664269 152985600 32685 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 37350 32685 468 659 0 36554 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 159332 KiB
Current children cumulated memory: 133452 KiB

[startup+12.7004 s]
/proc/loadavg: 2.66 1.59 1.94 5/245 306534
/proc/meminfo: memFree=123420368/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=168256 memory=143236 CPUtime=12.65 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 30105 0 0 0 1256 9 0 0 20 0 1 0 43664269 172294144 35809 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 42064 35809 468 659 0 41268 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 178188 KiB
Current children cumulated memory: 145948 KiB

[startup+25.5004 s]
/proc/loadavg: 2.96 1.71 1.98 5/245 306535
/proc/meminfo: memFree=123409768/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=168256 memory=143236 CPUtime=25.41 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 30953 0 0 0 2530 11 0 0 20 0 1 0 43664269 172294144 35809 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 42064 35809 468 659 0 41268 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 178188 KiB
Current children cumulated memory: 145948 KiB

[startup+51.1134 s]
/proc/loadavg: 3.38 1.91 2.04 5/245 306540
/proc/meminfo: memFree=123272220/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=248396 memory=226696 CPUtime=50.95 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 32867 0 0 0 5081 14 0 0 20 0 1 0 43664269 254357504 56674 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 62099 56674 468 659 0 61303 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 258328 KiB
Current children cumulated memory: 229408 KiB

[startup+102.3 s]
/proc/loadavg: 3.80 2.25 2.15 5/247 306554
/proc/meminfo: memFree=116137348/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=266372 memory=255368 CPUtime=102.01 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 35541 0 0 0 10182 19 0 0 20 0 1 0 43664269 272764928 63842 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 66593 63842 468 659 0 65797 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 276304 KiB
Current children cumulated memory: 258080 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 2.58 2.27 5/246 306565
/proc/meminfo: memFree=114976188/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=271760 memory=244284 CPUtime=161.86 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 38296 0 0 0 16163 23 0 0 20 0 1 0 43664269 278282240 61071 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 67940 61071 468 659 0 67144 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 281692 KiB
Current children cumulated memory: 246996 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 2.87 2.39 5/245 306575
/proc/meminfo: memFree=111178080/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=321848 memory=263816 CPUtime=221.7 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 39848 0 0 0 22144 26 0 0 20 0 1 0 43664269 329572352 65954 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 80462 65954 468 659 0 79666 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 331780 KiB
Current children cumulated memory: 266528 KiB

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

/proc/306531/statm: 161575 130700 468 659 0 160779 0
Current children cumulated CPU time: 3093.85 s
Current children cumulated vsize: 656232 KiB
Current children cumulated memory: 525512 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.17 4.14 5/248 308443
/proc/meminfo: memFree=95601892/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=434476 memory=372020 CPUtime=3153.68 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 365853 0 0 0 315154 214 0 0 20 0 1 0 43664269 444903424 93005 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 43896727 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 108619 93005 468 659 0 107823 0
Current children cumulated CPU time: 3153.68 s
Current children cumulated vsize: 444408 KiB
Current children cumulated memory: 374732 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.17 4.14 5/248 308453
/proc/meminfo: memFree=95534716/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=434476 memory=399392 CPUtime=3213.52 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 372790 0 0 0 321133 219 0 0 20 0 1 0 43664269 444903424 99848 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 43896727 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 108619 99848 468 659 0 107823 0
Current children cumulated CPU time: 3213.52 s
Current children cumulated vsize: 444408 KiB
Current children cumulated memory: 402104 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.17 4.14 5/246 308463
/proc/meminfo: memFree=95518112/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=515864 memory=423868 CPUtime=3273.35 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 379017 0 0 0 327112 223 0 0 20 0 1 0 43664269 528244736 105967 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 43896727 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 128966 105967 468 659 0 128170 0
Current children cumulated CPU time: 3273.35 s
Current children cumulated vsize: 525796 KiB
Current children cumulated memory: 426580 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.15 4.13 5/247 308474
/proc/meminfo: memFree=95539264/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=516048 memory=445104 CPUtime=3333.19 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 383872 0 0 0 333093 226 0 0 20 0 1 0 43664269 528433152 111276 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 43896727 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 129012 111276 468 659 0 128216 0
Current children cumulated CPU time: 3333.19 s
Current children cumulated vsize: 525980 KiB
Current children cumulated memory: 447816 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.13 5/243 308486
/proc/meminfo: memFree=95468500/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=517228 memory=465352 CPUtime=3393.02 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 389012 0 0 0 339073 229 0 0 20 0 1 0 43664269 529641472 116338 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 43896727 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 129307 116338 468 659 0 128511 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 527160 KiB
Current children cumulated memory: 468064 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.15 4.13 5/243 308496
/proc/meminfo: memFree=95446372/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=519700 memory=485336 CPUtime=3452.86 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 394093 0 0 0 345054 232 0 0 20 0 1 0 43664269 532172800 121334 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 43896727 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 129925 121334 468 659 0 129129 0
Current children cumulated CPU time: 3452.86 s
Current children cumulated vsize: 529632 KiB
Current children cumulated memory: 488048 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/243 308506
/proc/meminfo: memFree=95467516/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=522452 memory=503736 CPUtime=3512.7 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 398769 0 0 0 351034 236 0 0 20 0 1 0 43664269 534990848 125934 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 43896727 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 130613 125934 468 659 0 129817 0
Current children cumulated CPU time: 3512.7 s
Current children cumulated vsize: 532384 KiB
Current children cumulated memory: 506448 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.16 4.13 5/243 308617
/proc/meminfo: memFree=95543300/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=658252 memory=522140 CPUtime=3572.53 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 403446 0 0 0 357014 239 0 0 20 0 1 0 43664269 674050048 130535 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 43896727 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 164563 130535 468 659 0 163767 0
Current children cumulated CPU time: 3572.53 s
Current children cumulated vsize: 668184 KiB
Current children cumulated memory: 524852 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.06 4.13 4.12 5/242 308671
/proc/meminfo: memFree=95838500/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=659828 memory=530056 CPUtime=3600.04 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 405441 0 0 0 359764 240 0 0 20 0 1 0 43664269 675663872 132514 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 43896727 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 164957 132514 468 659 0 164161 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 669760 KiB
Current children cumulated memory: 532768 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002155 s, system=0.002208 s

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

# cumulated CPU time of all completed processes:  user=3597.64 s, system=2.42715 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.9 s]
/proc/loadavg: 4.06 4.13 4.12 5/242 308671
/proc/meminfo: memFree=95838500/131655788 swapFree=131060916/131071996
[pid=306526] ppid=306523 vsize=9932 memory=2712 CPUtime=0 cores=5,7
/proc/306526/stat : 306526 (naps-1.03.sh) S 306523 306526 306187 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 43664269 10170368 678 134679101440 94269222187008 94269223266328 140722719106896 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94269225364784 94269225411972 94269230825472 140722719114209 140722719114338 140722719114338 140722719121352 0
/proc/306526/statm: 2483 678 600 264 0 134 0
[pid=306531] ppid=306526 vsize=659828 memory=530056 CPUtime=3600.04 cores=5,7
/proc/306531/stat : 306531 (naps-1.03) R 306526 306526 306187 0 -1 4194304 405441 0 0 0 359764 240 0 0 20 0 1 0 43664269 675663872 132514 134679101440 4194304 6891597 140726414903984 0 0 0 0 0 17922 0 0 0 17 5 0 0 43896727 0 0 7398840 7447120 15282176 140726414910450 140726414910566 140726414910566 140726414917579 0
/proc/306531/statm: 164957 132514 468 659 0 164161 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 669760 KiB
Current children cumulated memory: 532768 KiB

Child status: 10

Real time (s): 3609.92
CPU time (s): 3600.07
CPU user time (s): 3597.64
CPU system time (s): 2.42715
CPU usage (%): 99.7272
Max. virtual memory (cumulated for all children) (KiB): 738196
Max. memory (cumulated for all children) (KiB): 633884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.64
system time used= 2.42715
maximum resident set size= 640328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 405904
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= 91
involuntary context switches= 4581


# summary of solver processes directly reported to runsolver:
#   pid: 306526,306531
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3597.64
#   total CPU system time (s): 2.42715

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.4437 second user time and 34.9477 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-27 12:39:08
IDJOB=4460975
IDBENCH=143470
IDSOLVER=3087
FILE ID=nodeC007/4460975-1722076748
RUNJOBID= nodeC007-1722076709-306200
SLURM_JOB_ID= 8248140
Free space on /tmp= 723752 MiB

SOLVER NAME= NaPS-GM 1.03a1
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-4460975-1722076748/watcher-4460975-1722076748 -o /tmp/evaluation-result-4460975-1722076748/solver-4460975-1722076748 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722076709-306200 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4460975-1722076748.wbo

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

MD5SUM BENCH= 5a26684c778fa1de5039a887c1250f16
RANDOM SEED=664937888

nodeC007.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	: 0xb00001f
cpu MHz		: 3663.510
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.67
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	: 0xb00001f
cpu MHz		: 3491.837
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.334
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.67
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	: 0xb00001f
cpu MHz		: 1197.241
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 3672.543
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.67
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	: 0xb00001f
cpu MHz		: 3605.475
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.345
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.67
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	: 0xb00001f
cpu MHz		: 1197.204
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123618548 kB
MemAvailable:   128105304 kB
Buffers:          385316 kB
Cached:          4824632 kB
SwapCached:          152 kB
Active:          1880012 kB
Inactive:        5392116 kB
Active(anon):       2324 kB
Inactive(anon):  2112832 kB
Active(file):    1877688 kB
Inactive(file):  3279284 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131060916 kB
Dirty:             16728 kB
Writeback:             0 kB
AnonPages:       2061772 kB
Mapped:            96520 kB
Shmem:             53304 kB
KReclaimable:     339968 kB
Slab:             452632 kB
SReclaimable:     339968 kB
SUnreclaim:       112664 kB
KernelStack:        3884 kB
PageTables:        13848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2453164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14336 kB
HardwareCorrupted:     0 kB
AnonHugePages:    919552 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:      437064 kB
DirectMap2M:    60284928 kB
DirectMap1G:    75497472 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC007 at 2024-07-27 13:39:18