Trace number 4426487

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NaPS 1.03MSAT (TO) 3600.07 3613.11

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM5a26684c778fa1de5039a887c1250f16
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.230265
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5500
Total number of constraints210
Number of soft constraints145
Number of constraints which are clauses110
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint55
Top cost 7273
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 7272
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c NaPS 1.03.
0.00/0.00	c Input file name: HOME/instance-4426487-1720905619.wbo
0.00/0.07	c single stage optimization mode
0.09/0.10	o 3366
0.20/0.29	o 599
0.30/0.33	o 3
3600.05/3613.10	c 
3600.05/3613.10	c *** TERMINATED *** by signal 15
3600.05/3613.10	s SATISFIABLE
3600.05/3613.10	c _____________________________________________________________________________
3600.05/3613.10	c std/band forms        : 103,0
3600.05/3613.10	c 2cl/3cl ITE-codings   : 34728,0
3600.05/3613.10	c BDD/srt/adr Max costs : 127543,914,0
3600.05/3613.10	c BDDraw/bin/mul/srt/adr: 0,0,3,100,0
3600.05/3613.10	c BDD nodes             : 36072
3600.05/3613.10	c Es1/CC detections     : 0,0
3600.05/3613.10	c CC sort               : 100
3600.05/3613.10	c SAT/UNSAT calls       : 3,0
3600.05/3613.10	c regenrated variables  : 0
3600.05/3613.10	c eliminated fixed lits : 0
3600.05/3613.10	c goal lit flips        : 75
3600.05/3613.10	c goal stages           : 1
3600.05/3613.10	c goal shrink           : 0
3600.05/3613.10	c goal coeff separations: 0
3600.05/3613.10	c restarts              : 4
3600.05/3613.10	c conflicts             : 662            (0 /sec)
3600.05/3613.10	c decisions             : 31696          (9 /sec)
3600.05/3613.10	c propagations          : 653805         (182 /sec)
3600.05/3613.10	c inspects              : 0              (0 /sec)
3600.05/3613.10	c CPU time (solving tm) : 3595 s        (3595 s, SAT 0.1106 s, UNSAT 0 s)
3600.05/3613.10	c Time for Opt-base     : 0.003195 s
3600.05/3613.10	c Steps for Opt-base    : 8120
3600.05/3613.10	c Time for BDD coding   : 0.1058 s
3600.05/3613.10	c Time for srt coding   : 0.00793 s
3600.05/3613.10	c _____________________________________________________________________________
3600.05/3613.10	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.05/3613.10	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.05/3613.10	v -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500

Verifier Data 

OK	3

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426487-1720905619/watcher-4426487-1720905619 -o /tmp/evaluation-result-4426487-1720905619/solver-4426487-1720905619 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1720905575-729698 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4426487-1720905619.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100505 s]*
/proc/loadavg: 3.00 2.13 2.07 5/262 729894
/proc/meminfo: memFree=117343332/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=33648 memory=31448 CPUtime=0.09 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 8614 0 0 0 8 1 0 0 20 0 1 0 142732455 34455552 7862 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 8412 7862 612 659 0 7616 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43580 KiB
Current children cumulated memory: 34168 KiB

[startup+0.206117 s]*
/proc/loadavg: 3.00 2.13 2.07 5/262 729894
/proc/meminfo: memFree=117328828/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=56112 memory=53396 CPUtime=0.2 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 13862 0 0 0 18 2 0 0 20 0 1 0 142732455 57458688 13349 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 14028 13349 612 659 0 13232 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 66044 KiB
Current children cumulated memory: 56116 KiB

[startup+0.30613 s]*
/proc/loadavg: 3.00 2.13 2.07 5/262 729894
/proc/meminfo: memFree=117310564/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=68372 memory=63548 CPUtime=0.3 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 16344 0 0 0 28 2 0 0 20 0 1 0 142732455 70012928 15887 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 17093 15887 644 659 0 16297 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 78304 KiB
Current children cumulated memory: 66268 KiB

[startup+0.700272 s]
/proc/loadavg: 3.00 2.13 2.07 5/262 729894
/proc/meminfo: memFree=117292968/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=80100 memory=75404 CPUtime=0.68 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 21426 0 0 0 65 3 0 0 20 0 1 0 142732455 82022400 18851 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 20025 18851 660 659 0 19229 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 90032 KiB
Current children cumulated memory: 78124 KiB

[startup+1.50027 s]
/proc/loadavg: 3.08 2.16 2.08 5/262 729894
/proc/meminfo: memFree=117284080/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=92004 memory=88460 CPUtime=1.48 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 24992 0 0 0 144 4 0 0 20 0 1 0 142732455 94212096 22115 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 23001 22115 660 659 0 22205 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 101936 KiB
Current children cumulated memory: 91180 KiB

[startup+3.10598 s]
/proc/loadavg: 3.08 2.16 2.08 5/262 729894
/proc/meminfo: memFree=116840812/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=100196 memory=92332 CPUtime=3.08 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 25441 0 0 0 304 4 0 0 20 0 1 0 142732455 102600704 23083 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 25049 23083 660 659 0 24253 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 110128 KiB
Current children cumulated memory: 95052 KiB

[startup+6.30025 s]
/proc/loadavg: 3.15 2.19 2.09 5/262 729894
/proc/meminfo: memFree=116471712/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=106668 memory=98556 CPUtime=6.26 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 26554 0 0 0 622 4 0 0 20 0 1 0 142732455 109228032 24639 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 26667 24639 660 659 0 25871 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 116600 KiB
Current children cumulated memory: 101276 KiB

[startup+12.7003 s]
/proc/loadavg: 3.30 2.24 2.11 5/262 729896
/proc/meminfo: memFree=115600036/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=100092 memory=94404 CPUtime=12.65 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 29994 0 0 0 1259 6 0 0 20 0 1 0 142732455 102494208 23601 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 25023 23601 660 659 0 24227 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 110024 KiB
Current children cumulated memory: 97124 KiB

[startup+25.5003 s]
/proc/loadavg: 3.41 2.29 2.13 5/262 729898
/proc/meminfo: memFree=114124772/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=117408 memory=111392 CPUtime=25.41 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 33293 0 0 0 2534 7 0 0 20 0 1 0 142732455 120225792 27848 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 29352 27848 660 659 0 28556 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 127340 KiB
Current children cumulated memory: 114112 KiB

[startup+51.1063 s]
/proc/loadavg: 3.64 2.46 2.19 5/262 729902
/proc/meminfo: memFree=103031640/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=165624 memory=146592 CPUtime=50.92 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 41299 0 0 0 5081 11 0 0 20 0 1 0 142732455 169598976 36648 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 41406 36648 660 659 0 40610 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 175556 KiB
Current children cumulated memory: 149312 KiB

[startup+102.3 s]
/proc/loadavg: 3.96 2.73 2.30 5/262 729911
/proc/meminfo: memFree=91824248/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=238616 memory=224236 CPUtime=101.95 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 43420 0 0 0 10181 14 0 0 20 0 1 0 142732455 244342784 56059 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 59654 56059 660 659 0 58858 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 248548 KiB
Current children cumulated memory: 226956 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 3.00 2.42 4/263 729924
/proc/meminfo: memFree=80028188/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=182344 memory=168132 CPUtime=161.74 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 48206 0 0 0 16154 20 0 0 20 0 1 0 142732455 186720256 42033 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 45586 42033 660 659 0 44790 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 192276 KiB
Current children cumulated memory: 170852 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.20 2.52 5/264 729991
/proc/meminfo: memFree=109209296/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=203972 memory=189672 CPUtime=221.55 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 55149 0 0 0 22125 30 0 0 20 0 1 0 142732455 208867328 47418 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 50993 47418 660 659 0 50197 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 213904 KiB

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

/proc/loadavg: 4.07 4.08 4.02 5/269 732986
/proc/meminfo: memFree=110558852/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=355448 memory=344964 CPUtime=3091.12 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 261550 0 0 0 308707 405 0 0 20 0 1 0 142732455 363978752 86241 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 88862 86241 660 659 0 88066 0
Current children cumulated CPU time: 3091.12 s
Current children cumulated vsize: 365380 KiB
Current children cumulated memory: 347684 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.02 5/268 732998
/proc/meminfo: memFree=105486000/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=307900 memory=297416 CPUtime=3150.89 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 264244 0 0 0 314678 411 0 0 20 0 1 0 142732455 315289600 74354 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 76975 74354 660 659 0 76179 0
Current children cumulated CPU time: 3150.89 s
Current children cumulated vsize: 317832 KiB
Current children cumulated memory: 300136 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.02 5/266 733009
/proc/meminfo: memFree=104119652/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=348624 memory=338140 CPUtime=3210.67 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 265905 0 0 0 320652 415 0 0 20 0 1 0 142732455 356990976 84535 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 87156 84535 660 659 0 86360 0
Current children cumulated CPU time: 3210.67 s
Current children cumulated vsize: 358556 KiB
Current children cumulated memory: 340860 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.09 4.02 5/266 733019
/proc/meminfo: memFree=102740780/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=327464 memory=316980 CPUtime=3270.46 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 269097 0 0 0 326624 422 0 0 20 0 1 0 142732455 335323136 79245 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 81866 79245 660 659 0 81070 0
Current children cumulated CPU time: 3270.46 s
Current children cumulated vsize: 337396 KiB
Current children cumulated memory: 319700 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.11 4.03 5/262 733029
/proc/meminfo: memFree=105894792/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=327480 memory=316996 CPUtime=3330.24 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 271944 0 0 0 332595 429 0 0 20 0 1 0 142732455 335339520 79249 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 81870 79249 660 659 0 81074 0
Current children cumulated CPU time: 3330.24 s
Current children cumulated vsize: 337412 KiB
Current children cumulated memory: 319716 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/258 733039
/proc/meminfo: memFree=105906156/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=318464 memory=307980 CPUtime=3390.02 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 274018 0 0 0 338568 434 0 0 20 0 1 0 142732455 326107136 76995 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 79616 76995 660 659 0 78820 0
Current children cumulated CPU time: 3390.02 s
Current children cumulated vsize: 328396 KiB
Current children cumulated memory: 310700 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.03 5/259 733052
/proc/meminfo: memFree=105871600/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=347276 memory=336468 CPUtime=3449.79 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 277245 0 0 0 344539 440 0 0 20 0 1 0 142732455 355610624 84117 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 86819 84117 660 659 0 86023 0
Current children cumulated CPU time: 3449.79 s
Current children cumulated vsize: 357208 KiB
Current children cumulated memory: 339188 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.03 5/259 733062
/proc/meminfo: memFree=105716444/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=330292 memory=319484 CPUtime=3509.58 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 280148 0 0 0 350510 448 0 0 20 0 1 0 142732455 338219008 79871 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 82573 79871 660 659 0 81777 0
Current children cumulated CPU time: 3509.58 s
Current children cumulated vsize: 340224 KiB
Current children cumulated memory: 322204 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.03 5/259 733072
/proc/meminfo: memFree=105063912/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=339828 memory=329020 CPUtime=3569.35 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 282871 0 0 0 356482 453 0 0 20 0 1 0 142732455 347983872 82255 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 84957 82255 660 659 0 84161 0
Current children cumulated CPU time: 3569.35 s
Current children cumulated vsize: 349760 KiB
Current children cumulated memory: 331740 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.11 s]
/proc/loadavg: 4.10 4.10 4.04 5/262 733083
/proc/meminfo: memFree=105252804/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=341820 memory=331012 CPUtime=3600.05 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 284074 0 0 0 359549 456 0 0 20 0 1 0 142732455 350023680 82753 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 85455 82753 660 659 0 84659 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 351752 KiB
Current children cumulated memory: 333732 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3595.5 s, system=4.57127 s

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

[startup+3613.11 s]
/proc/loadavg: 4.10 4.10 4.04 5/262 733083
/proc/meminfo: memFree=105252804/131524596 swapFree=131071996/131071996
[pid=729889] ppid=729886 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/729889/stat : 729889 (naps-1.03.sh) S 729886 729889 727211 0 -1 4194304 221 243 0 0 0 0 0 0 20 0 1 0 142732455 10170368 680 134679101440 94265616785408 94265617864728 140737300877744 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94265619963184 94265620010372 94265620721664 140737300886448 140737300886573 140737300886573 140737300893640 0
/proc/729889/statm: 2483 680 601 264 0 134 0
[pid=729894] ppid=729889 vsize=341820 memory=331012 CPUtime=3600.05 cores=0,2
/proc/729894/stat : 729894 (naps-1.03) R 729889 729889 727211 0 -1 4194304 284074 0 0 0 359549 456 0 0 20 0 1 0 142732455 350023680 82753 134679101440 4194304 6891213 140729232316480 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 18378752 140729232323521 140729232323633 140729232323633 140729232330699 0
/proc/729894/statm: 85455 82753 660 659 0 84659 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 351752 KiB
Current children cumulated memory: 333732 KiB

Child status: 10

Real time (s): 3613.11
CPU time (s): 3600.07
CPU user time (s): 3595.5
CPU system time (s): 4.57127
CPU usage (%): 99.639
Max. virtual memory (cumulated for all children) (KiB): 507768
Max. memory (cumulated for all children) (KiB): 490064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.5
system time used= 4.57127
maximum resident set size= 487344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284553
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= 45
involuntary context switches= 24789


# summary of solver processes directly reported to runsolver:
#   pid: 729889
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3595.5
#   total CPU system time (s): 4.57127

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.59725 second user time and 19.4189 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-13 23:20:32
IDJOB=4426487
IDBENCH=143470
IDSOLVER=3043
FILE ID=nodeC034/4426487-1720905619
RUNJOBID= nodeC034-1720905575-729698
SLURM_JOB_ID= 7486093
Free space on /tmp= 890060 MiB

SOLVER NAME= NaPS 1.03
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426487-1720905619/watcher-4426487-1720905619 -o /tmp/evaluation-result-4426487-1720905619/solver-4426487-1720905619 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1720905575-729698 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4426487-1720905619.wbo

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

MD5SUM BENCH= 5a26684c778fa1de5039a887c1250f16
RANDOM SEED=1786479741

nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3641.960
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3672.239
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3636.197
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.199
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3653.989
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3672.279
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3602.800
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.018
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524596 kB
MemFree:        117373364 kB
MemAvailable:   118222628 kB
Buffers:          331232 kB
Cached:          1352596 kB
SwapCached:            0 kB
Active:           517404 kB
Inactive:       13025764 kB
Active(anon):       1540 kB
Inactive(anon): 11895188 kB
Active(file):     515864 kB
Inactive(file):  1130576 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5912 kB
Writeback:            12 kB
AnonPages:      11859128 kB
Mapped:           109324 kB
Shmem:             37720 kB
KReclaimable:      85296 kB
Slab:             186608 kB
SReclaimable:      85296 kB
SUnreclaim:       101312 kB
KernelStack:        4256 kB
PageTables:        32548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:   12783620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            56832 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7469056 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:      176852 kB
DirectMap2M:    11130880 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC034 at 2024-07-14 00:20:45