Trace number 4434145

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 NameAnswerobjective functionCPU timeWall clock time
NaPS-GM 1.03SAT (TO)17 3600.18 3611.1

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
MD5SUMa64beba99ddb27280a5fb75072b9e119
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark3419.49
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5568
Total number of constraints412
Number of constraints which are clauses173
Number of constraints which are cardinality constraints (but not clauses)173
Number of constraints which are nor clauses,nor cardinality constraints66
Minimum length of a constraint32
Maximum length of a constraint174
Number of terms in the objective function 32
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 32
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 56906
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 206719
Number of bits of the biggest sum of numbers18
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-4434145-1721169789.opb
62.82/63.08	c single stage optimization mode
104.20/104.56	o 32
105.39/105.70	o 21
116.76/117.18	o 20
121.93/122.33	o 17
3600.08/3611.01	c 
3600.08/3611.01	c *** TERMINATED *** by signal 15
3600.08/3611.01	s SATISFIABLE
3600.08/3611.01	c _____________________________________________________________________________
3600.08/3611.01	c std/band forms        : 250,0
3600.08/3611.01	c 2cl/3cl ITE-codings   : 8520157,0
3600.08/3611.01	c BDD/srt/adr Max costs : 612002,39607,0
3600.08/3611.01	c BDDraw/bin/mul/srt/adr: 52,0,0,198,0
3600.08/3611.01	c BDD nodes             : 10164421
3600.08/3611.01	c Es1/CC detections     : 0,0
3600.08/3611.01	c CC sort               : 178
3600.08/3611.01	c SAT/UNSAT calls       : 4,1
3600.08/3611.01	c regenrated variables  : 176
3600.08/3611.01	c eliminated fixed lits : 0
3600.08/3611.01	c goal lit flips        : 0
3600.08/3611.01	c goal stages           : 1
3600.08/3611.01	c goal shrink           : 0
3600.08/3611.01	c goal coeff separations: 0
3600.08/3611.01	c restarts              : 85
3600.08/3611.01	c conflicts             : 75872          (21 /sec)
3600.08/3611.01	c decisions             : 11939593       (3321 /sec)
3600.08/3611.01	c propagations          : 498439906      (138621 /sec)
3600.08/3611.01	c inspects              : 0              (0 /sec)
3600.08/3611.01	c CPU time (solving tm) : 3596 s        (3534 s, SAT 48.52 s, UNSAT 9.842 s)
3600.08/3611.01	c Time for Opt-base     : 0.5549 s
3600.08/3611.01	c Steps for Opt-base    : 2959566
3600.08/3611.01	c Time for BDD coding   : 47.89 s
3600.08/3611.01	c Time for srt coding   : 0.1383 s
3600.08/3611.01	c _____________________________________________________________________________
3600.08/3611.01	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 -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
3600.08/3611.01	v -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 -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
3600.08/3611.01	v -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 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568

Verifier Data 

OK	17

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: 64059 MiB (39220 MiB free)
  memory of node 1: 64510 MiB (49527 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434145-1721169789/watcher-4434145-1721169789 -o /tmp/evaluation-result-4434145-1721169789/solver-4434145-1721169789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721162579-870181 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4434145-1721169789.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=875552, runsolver pid=875549

[startup+0.100103 s]*
/proc/loadavg: 4.24 4.22 4.21 5/248 875557
/proc/meminfo: memFree=90873608/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=11832 memory=4908 CPUtime=0.1 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 913 0 0 0 10 0 0 0 20 0 1 0 169137689 12115968 1227 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 2958 1227 436 659 0 2162 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21764 KiB
Current children cumulated memory: 7760 KiB

[startup+0.213563 s]*
/proc/loadavg: 4.24 4.22 4.21 5/248 875557
/proc/meminfo: memFree=90869772/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=15988 memory=9496 CPUtime=0.21 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 2027 0 0 0 21 0 0 0 20 0 1 0 169137689 16371712 2374 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 4030 2374 468 659 0 3234 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 25920 KiB
Current children cumulated memory: 12348 KiB

[startup+0.313516 s]*
/proc/loadavg: 4.24 4.22 4.21 5/248 875557
/proc/meminfo: memFree=90864592/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=21396 memory=14776 CPUtime=0.3 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 3368 0 0 0 30 0 0 0 20 0 1 0 169137689 21909504 3694 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 5349 3694 468 659 0 4553 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31328 KiB
Current children cumulated memory: 17628 KiB

[startup+0.700436 s]
/proc/loadavg: 4.24 4.22 4.21 5/248 875557
/proc/meminfo: memFree=90854036/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=42548 memory=35852 CPUtime=0.68 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 8850 0 0 0 67 1 0 0 20 0 1 0 169137689 43569152 8963 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 10637 8963 468 659 0 9841 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52480 KiB
Current children cumulated memory: 38704 KiB

[startup+1.50042 s]
/proc/loadavg: 4.24 4.22 4.21 5/248 875557
/proc/meminfo: memFree=90822424/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=71872 memory=65252 CPUtime=1.47 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 16201 0 0 0 144 3 0 0 20 0 1 0 169137689 73596928 16313 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 17968 16313 468 659 0 17172 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 81804 KiB
Current children cumulated memory: 68104 KiB

[startup+3.11309 s]
/proc/loadavg: 4.22 4.22 4.21 5/248 875557
/proc/meminfo: memFree=90796344/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=92948 memory=84788 CPUtime=3.09 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 20872 0 0 0 305 4 0 0 20 0 1 0 169137689 95178752 21197 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 23237 21197 468 659 0 22441 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 102880 KiB
Current children cumulated memory: 87640 KiB

[startup+6.30036 s]
/proc/loadavg: 4.22 4.22 4.21 5/248 875557
/proc/meminfo: memFree=90758676/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=130512 memory=121744 CPUtime=6.27 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 27151 0 0 0 621 6 0 0 20 0 1 0 169137689 133644288 30436 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 32628 30436 468 659 0 31832 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 140444 KiB
Current children cumulated memory: 124596 KiB

[startup+12.7004 s]
/proc/loadavg: 4.19 4.21 4.20 5/248 875559
/proc/meminfo: memFree=90594856/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=296768 memory=279376 CPUtime=12.64 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 59045 0 0 0 1253 11 0 0 20 0 1 0 169137689 303890432 69844 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 74192 69844 468 659 0 73396 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 306700 KiB
Current children cumulated memory: 282228 KiB

[startup+25.5004 s]
/proc/loadavg: 4.16 4.20 4.20 5/248 875560
/proc/meminfo: memFree=90443948/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=416608 memory=409036 CPUtime=25.41 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 74526 0 0 0 2524 17 0 0 20 0 1 0 169137689 426606592 102259 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 104152 102259 468 659 0 103356 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 426540 KiB
Current children cumulated memory: 411888 KiB

[startup+51.1132 s]
/proc/loadavg: 4.26 4.22 4.20 5/248 875565
/proc/meminfo: memFree=90111948/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=756236 memory=720680 CPUtime=50.95 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 121082 0 0 0 5066 29 0 0 20 0 1 0 169137689 774385664 180170 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 189059 180170 468 659 0 188263 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 766168 KiB
Current children cumulated memory: 723532 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.20 4.19 5/248 875574
/proc/meminfo: memFree=85371920/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=5867768 memory=5403460 CPUtime=102 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 445222 0 0 0 10024 176 0 0 20 0 1 0 169137689 6008594432 1350865 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 1466942 1350865 468 659 0 1466146 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 5877700 KiB
Current children cumulated memory: 5406312 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.17 4.18 5/246 875636
/proc/meminfo: memFree=96280512/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=6002436 memory=5546664 CPUtime=161.82 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 455820 0 0 0 16001 181 0 0 20 0 1 0 169137689 6146494464 1386666 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 1500609 1386666 468 659 0 1499813 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 6012368 KiB
Current children cumulated memory: 5549516 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.16 4.18 5/246 875646
/proc/meminfo: memFree=91487164/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=6022396 memory=5607740 CPUtime=221.63 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 460881 0 0 0 21980 183 0 0 20 0 1 0 169137689 6166933504 1401935 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 1505599 1401935 468 659 0 1504803 0

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

/proc/875557/statm: 1612646 1439313 468 659 0 1611850 0
Current children cumulated CPU time: 3032.91 s
Current children cumulated vsize: 6460516 KiB
Current children cumulated memory: 5760104 KiB

[startup+3102.3 s]
/proc/loadavg: 2.88 3.71 4.01 3/232 877410
/proc/meminfo: memFree=113148328/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=6451140 memory=5782440 CPUtime=3092.74 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 543258 0 0 0 308873 401 0 0 20 0 1 0 169137689 6605967360 1445610 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 1612785 1445610 468 659 0 1611989 0
Current children cumulated CPU time: 3092.74 s
Current children cumulated vsize: 6461072 KiB
Current children cumulated memory: 5785292 KiB

[startup+3162.3 s]
/proc/loadavg: 2.38 3.41 3.88 3/229 877421
/proc/meminfo: memFree=113080868/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=6452540 memory=5820660 CPUtime=3152.57 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 544493 0 0 0 314855 402 0 0 20 0 1 0 169137689 6607400960 1455165 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 1613135 1455165 468 659 0 1612339 0
Current children cumulated CPU time: 3152.57 s
Current children cumulated vsize: 6462472 KiB
Current children cumulated memory: 5823512 KiB

[startup+3222.3 s]
/proc/loadavg: 2.21 3.18 3.77 3/229 877431
/proc/meminfo: memFree=113186256/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=6104688 memory=5702508 CPUtime=3212.41 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 546561 0 0 0 320826 415 0 0 20 0 1 0 169137689 6251200512 1425627 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 1526172 1425627 468 659 0 1525376 0
Current children cumulated CPU time: 3212.41 s
Current children cumulated vsize: 6114620 KiB
Current children cumulated memory: 5705360 KiB

[startup+3282.3 s]
/proc/loadavg: 2.14 2.98 3.66 3/229 877441
/proc/meminfo: memFree=113143252/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=6454336 memory=5732436 CPUtime=3272.24 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 548273 0 0 0 326807 417 0 0 20 0 1 0 169137689 6609240064 1433109 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 1613584 1433109 468 659 0 1612788 0
Current children cumulated CPU time: 3272.24 s
Current children cumulated vsize: 6464268 KiB
Current children cumulated memory: 5735288 KiB

[startup+3342.3 s]
/proc/loadavg: 2.10 2.81 3.56 3/229 877451
/proc/meminfo: memFree=113082280/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=6455132 memory=5770048 CPUtime=3332.08 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 549587 0 0 0 332788 420 0 0 20 0 1 0 169137689 6610055168 1442512 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 1613783 1442512 468 659 0 1612987 0
Current children cumulated CPU time: 3332.08 s
Current children cumulated vsize: 6465064 KiB
Current children cumulated memory: 5772900 KiB

[startup+3402.3 s]
/proc/loadavg: 2.08 2.69 3.48 3/229 877462
/proc/meminfo: memFree=113010336/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=6456420 memory=5816256 CPUtime=3391.92 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 550859 0 0 0 338770 422 0 0 20 0 1 0 169137689 6611374080 1454064 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 1614105 1454064 468 659 0 1613309 0
Current children cumulated CPU time: 3391.92 s
Current children cumulated vsize: 6466352 KiB
Current children cumulated memory: 5819108 KiB

[startup+3462.3 s]
/proc/loadavg: 2.75 2.78 3.45 3/232 877477
/proc/meminfo: memFree=112960680/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=6457632 memory=5846272 CPUtime=3451.77 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 552515 0 0 0 344753 424 0 0 20 0 1 0 169137689 6612615168 1461568 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 1614408 1461568 468 659 0 1613612 0
Current children cumulated CPU time: 3451.77 s
Current children cumulated vsize: 6467564 KiB
Current children cumulated memory: 5849124 KiB

[startup+3522.3 s]
/proc/loadavg: 2.35 2.66 3.37 3/232 877487
/proc/meminfo: memFree=113188256/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=6109220 memory=5696844 CPUtime=3511.6 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 554692 0 0 0 350724 436 0 0 20 0 1 0 169137689 6255841280 1424211 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 1527305 1424211 468 659 0 1526509 0
Current children cumulated CPU time: 3511.6 s
Current children cumulated vsize: 6119152 KiB
Current children cumulated memory: 5699696 KiB

[startup+3582.3 s]
/proc/loadavg: 2.24 2.57 3.29 3/232 877499
/proc/meminfo: memFree=113135828/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=6109616 memory=5727972 CPUtime=3571.45 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 556496 0 0 0 356707 438 0 0 20 0 1 0 169137689 6256246784 1431993 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 1527404 1431993 468 659 0 1526608 0
Current children cumulated CPU time: 3571.45 s
Current children cumulated vsize: 6119548 KiB
Current children cumulated memory: 5730824 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 2.14 2.51 3.25 3/232 877504
/proc/meminfo: memFree=113084516/131655788 swapFree=131071996/131071996
[pid=875552] ppid=875549 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/875552/stat : 875552 (naps-1.03.sh) S 875549 875552 870169 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 169137688 10170368 713 134679101440 93925683843072 93925684922392 140725693223536 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93925687020848 93925687068036 93925704015872 140725693228000 140725693228129 140725693228129 140725693235144 0
/proc/875552/statm: 2483 713 637 264 0 134 0
[pid=875557] ppid=875552 vsize=6459260 memory=5751608 CPUtime=3600.08 cores=1,3
/proc/875557/stat : 875557 (naps-1.03) R 875552 875552 870169 0 -1 4194304 557385 0 0 0 359569 439 0 0 20 0 1 0 169137689 6614282240 1437902 134679101440 4194304 6891213 140736222928688 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24502272 140736222934001 140736222934117 140736222934117 140736222941131 0
/proc/875557/statm: 1614815 1437902 468 659 0 1614019 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 6469192 KiB
Current children cumulated memory: 5754460 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002076 s, system=0.005149 s

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

# cumulated CPU time of all completed processes:  user=3595.7 s, system=4.48403 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

Child status: 10

Real time (s): 3611.1
CPU time (s): 3600.18
CPU user time (s): 3595.7
CPU system time (s): 4.48403
CPU usage (%): 99.6977
Max. virtual memory (cumulated for all children) (KiB): 7027200
Max. memory (cumulated for all children) (KiB): 6393952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.7
system time used= 4.48403
maximum resident set size= 6391100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 557851
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= 147
involuntary context switches= 4496


# summary of solver processes directly reported to runsolver:
#   pid: 875552,875557
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3595.7
#   total CPU system time (s): 4.48403

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5087 second user time and 37.2671 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-17 00:43:22
IDJOB=4434145
IDBENCH=158621
IDSOLVER=3062
FILE ID=nodeC006/4434145-1721169789
RUNJOBID= nodeC006-1721162579-870181
SLURM_JOB_ID= 7505779
Free space on /tmp= 723756 MiB

SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434145-1721169789/watcher-4434145-1721169789 -o /tmp/evaluation-result-4434145-1721169789/solver-4434145-1721169789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721162579-870181 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4434145-1721169789.opb

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

MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119
RANDOM SEED=1815511882

nodeC006.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		: 3491.970
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.94
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.983
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.26
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.402
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.94
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.253
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.26
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		: 3491.971
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.94
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		: 3491.970
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.26
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.422
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.94
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.314
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.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        90877672 kB
MemAvailable:   96740624 kB
Buffers:          432256 kB
Cached:          6195592 kB
SwapCached:            0 kB
Active:           762764 kB
Inactive:       39249208 kB
Active(anon):       1484 kB
Inactive(anon): 33420380 kB
Active(file):     761280 kB
Inactive(file):  5828828 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5284 kB
Writeback:             0 kB
AnonPages:      33383160 kB
Mapped:           109716 kB
Shmem:             37704 kB
KReclaimable:     225748 kB
Slab:             340896 kB
SReclaimable:     225748 kB
SUnreclaim:       115148 kB
KernelStack:        3984 kB
PageTables:        74872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   38866772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54304 kB
HardwareCorrupted:     0 kB
AnonHugePages:  13449216 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:      310088 kB
DirectMap2M:    40488960 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC006 at 2024-07-17 01:43:33