Trace number 4525691

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 naps-1.03a6MSAT (TO) 3600.16 3611.02

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen10_wcsp.wbo
MD5SUM74a66f65a8d139e29d772f0c0eac826f
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark26999
Best CPU time to get the best result obtained on this benchmark60.2273
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables7876
Total number of constraints873462
Number of soft constraints873262
Number of constraints which are clauses873262
Number of constraints which are cardinality constraints (but not clauses)200
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 13608940
Min constraint cost 1
Max constraint cost 100000
Sum of constraints costs 719718355
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
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.01	c NaPS 1.03a6.
0.00/0.01	c Input file name: HOME/instance-4525691-1751623990.wbo
0.00/0.01	c Initial goal by soft: 13608939
24.72/24.82	c single stage optimization mode
3600.02/3610.90	o 12801039
3600.02/3610.90	o 5150028
3600.02/3610.90	o 494640
3600.02/3610.90	c 
3600.02/3610.90	c *** TERMINATED *** by signal 15
3600.02/3610.90	s SATISFIABLE
3600.02/3610.90	c _____________________________________________________________________________
3600.02/3610.90	c std/band forms        : 204,0
3600.02/3610.90	c 2cl/3cl ITE-codings   : 0,0
3600.02/3610.90	c BDD/srt/adr Max costs : 0,694,3542854
3600.02/3610.90	c BDDraw/bin/mul/srt/adr: 0,0,0,200,4
3600.02/3610.90	c BDD nodes             : 0
3600.02/3610.90	c Es1/CC detections     : 0,0
3600.02/3610.90	c CC sort               : 200
3600.02/3610.90	c SAT/UNSAT calls       : 3,0
3600.02/3610.90	c regenrated variables  : 34
3600.02/3610.90	c eliminated fixed lits : 0
3600.02/3610.90	c goal lit flips        : 0
3600.02/3610.90	c goal stages           : 1
3600.02/3610.90	c goal shrink           : 0
3600.02/3610.90	c goal coeff separations: 0
3600.02/3610.90	c restarts              : 82831
3600.02/3610.90	c conflicts             : 1615549        (455 /sec)
3600.02/3610.90	c decisions             : 220118514      (61973 /sec)
3600.02/3610.90	c propagations          : 4032156835     (1135228 /sec)
3600.02/3610.90	c inspects              : 0              (0 /sec)
3600.02/3610.90	c CPU time (solving tm) : 3552 s        (3492 s, SAT 3426 s, UNSAT 0 s)
3600.02/3610.90	c Time for Opt-base     : 0.00175 s
3600.02/3610.90	c Steps for Opt-base    : 0
3600.02/3610.90	c Time for BDD coding   : 0 s
3600.02/3610.90	c Time for srt coding   : 0.01399 s
3600.02/3610.90	c _____________________________________________________________________________
3600.02/3610.90	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x1531 -x1532 -x1533 -x1534 -x1535 -x1536 x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -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.02/3610.90	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.02/3610.90	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 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999
3600.02/3610.90	v -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 x7326 -x7327 -x7328 -x7329 -x7330 x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v
3600.02/3610.91	v

Verifier Data 

OK	215803

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: 63665 MiB (33189 MiB free)
  memory of node 1: 64507 MiB (18593 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525691-1751623990/watcher-4525691-1751623990 -o /tmp/evaluation-result-4525691-1751623990/solver-4525691-1751623990 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751616154-86495 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4525691-1751623990.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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=87894, runsolver pid=87891
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.19 4.15 4.11 5/271 87898
/proc/meminfo: memFree=53015720/131249988 swapFree=33010160/33010684
[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=15692 memory=13744 CPUtime=0.08 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 3328 0 0 0 8 0 0 0 20 0 1 0 78077897 16068608 3436 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 3923 3436 544 696 0 3084 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 19884 KiB
Current children cumulated memory: 16688 KiB

[startup+0.205691 s]*
/proc/loadavg: 4.19 4.15 4.11 5/271 87898
/proc/meminfo: memFree=53011656/131249988 swapFree=33010160/33010684
[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=27360 memory=24748 CPUtime=0.18 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 6465 0 0 0 18 0 0 0 20 0 1 0 78077897 28016640 6187 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 6840 6187 544 696 0 6001 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 31552 KiB
Current children cumulated memory: 27692 KiB

[startup+0.305608 s]*
/proc/loadavg: 4.19 4.15 4.11 5/271 87898
/proc/meminfo: memFree=53011656/131249988 swapFree=33010160/33010684
[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=31856 memory=29868 CPUtime=0.29 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 7729 0 0 0 28 1 0 0 20 0 1 0 78077897 32620544 7467 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 7964 7467 544 696 0 7125 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 36048 KiB
Current children cumulated memory: 32812 KiB

[startup+0.700197 s]
/proc/loadavg: 4.19 4.15 4.11 5/271 87898
/proc/meminfo: memFree=53011656/131249988 swapFree=33010160/33010684
[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=84584 memory=79616 CPUtime=0.68 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 17891 0 0 0 65 3 0 0 20 0 1 0 78077897 86614016 19904 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 21146 19904 544 696 0 20307 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88776 KiB
Current children cumulated memory: 82560 KiB

[startup+1.50019 s]
/proc/loadavg: 4.19 4.15 4.11 5/270 87898
/proc/meminfo: memFree=52980800/131249988 swapFree=33010160/33010684
[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=167240 memory=158112 CPUtime=1.47 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 29852 0 0 0 141 6 0 0 20 0 1 0 78077897 171253760 39528 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 41810 39528 544 696 0 40971 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 171432 KiB
Current children cumulated memory: 161056 KiB

[startup+3.10551 s]
/proc/loadavg: 4.18 4.15 4.11 5/270 87898
/proc/meminfo: memFree=52814692/131249988 swapFree=33010160/33010684
[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=335896 memory=321460 CPUtime=3.08 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 45676 0 0 0 297 11 0 0 20 0 1 0 78077897 343957504 80365 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 83974 80365 544 696 0 83135 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 340088 KiB
Current children cumulated memory: 324404 KiB

[startup+6.30018 s]
/proc/loadavg: 4.18 4.15 4.11 5/270 87898
/proc/meminfo: memFree=52606820/131249988 swapFree=33010160/33010684
[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=549372 memory=542504 CPUtime=6.26 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 84098 0 0 0 608 18 0 0 20 0 1 0 78077897 562556928 135626 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 137343 135626 544 696 0 136504 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 553564 KiB
Current children cumulated memory: 545448 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.14 4.11 5/270 87898
/proc/meminfo: memFree=50355732/131249988 swapFree=33010160/33010684
[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=1161832 memory=1140836 CPUtime=12.65 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 176532 0 0 0 1228 37 0 0 20 0 1 0 78077897 1189715968 285209 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 290458 285209 544 696 0 289619 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1166024 KiB
Current children cumulated memory: 1143780 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.15 4.11 5/270 87899
/proc/meminfo: memFree=48224856/131249988 swapFree=33010160/33010684
[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=4906264 memory=4723496 CPUtime=25.42 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 777783 0 0 0 2378 164 0 0 20 0 1 0 78077897 5024014336 1180874 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 1226566 1180874 544 696 0 1225727 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4910456 KiB
Current children cumulated memory: 4726440 KiB

[startup+51.1058 s]
/proc/loadavg: 4.13 4.14 4.11 5/270 87899
/proc/meminfo: memFree=47710388/131249988 swapFree=33010160/33010684
[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=6488792 memory=5137536 CPUtime=50.95 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 876512 0 0 0 4905 190 0 0 20 0 1 0 78077897 6644523008 1284384 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 1622198 1284384 608 696 0 1621359 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 6492984 KiB
Current children cumulated memory: 5140480 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/270 87905
/proc/meminfo: memFree=46194812/131249988 swapFree=33010160/33010684
[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=6920360 memory=6578336 CPUtime=102.01 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 895530 0 0 0 9869 332 0 0 20 0 1 0 78077897 7086448640 1644584 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 1730090 1644584 608 696 0 1729251 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 6924552 KiB
Current children cumulated memory: 6581280 KiB

[startup+162.3 s]
/proc/loadavg: 4.31 4.21 4.13 5/270 87907
/proc/meminfo: memFree=42935208/131249988 swapFree=33010160/33010684
[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=6454924 memory=6118056 CPUtime=161.85 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 909817 0 0 0 15730 455 0 0 20 0 1 0 78077897 6609842176 1529514 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 1613731 1529514 608 696 0 1612892 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 6459116 KiB
Current children cumulated memory: 6121000 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.18 4.12 5/271 87912
/proc/meminfo: memFree=44268152/131249988 swapFree=33010160/33010684
[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=6586000 memory=6249136 CPUtime=221.68 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 925663 0 0 0 21602 566 0 0 20 0 1 0 78077897 6744064000 1562284 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 1646500 1562284 608 696 0 1645661 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 6590192 KiB

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

[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=6496904 memory=6159216 CPUtime=3093.23 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 1397754 0 0 0 304942 4381 0 0 20 0 1 0 78077897 6652829696 1539804 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 1624226 1539804 608 696 0 1623387 0
Current children cumulated CPU time: 3093.23 s
Current children cumulated vsize: 6501096 KiB
Current children cumulated memory: 6162160 KiB

[startup+3162.3 s]
/proc/loadavg: 3.21 3.71 3.94 4/261 88197
/proc/meminfo: memFree=83237844/131249988 swapFree=33010160/33010684
[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=6516416 memory=6178728 CPUtime=3153.01 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 1401672 0 0 0 310888 4413 0 0 20 0 1 0 78077897 6672809984 1544682 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 1629104 1544682 608 696 0 1628265 0
Current children cumulated CPU time: 3153.01 s
Current children cumulated vsize: 6520608 KiB
Current children cumulated memory: 6181672 KiB

[startup+3222.3 s]
/proc/loadavg: 3.14 3.60 3.89 4/261 88199
/proc/meminfo: memFree=83235704/131249988 swapFree=33010160/33010684
[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=6516416 memory=6178728 CPUtime=3212.79 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 1408613 0 0 0 316823 4456 0 0 20 0 1 0 78077897 6672809984 1544682 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 1629104 1544682 608 696 0 1628265 0
Current children cumulated CPU time: 3212.79 s
Current children cumulated vsize: 6520608 KiB
Current children cumulated memory: 6181672 KiB

[startup+3282.3 s]
/proc/loadavg: 3.05 3.49 3.83 4/262 88202
/proc/meminfo: memFree=83229248/131249988 swapFree=33010160/33010684
[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=6519544 memory=6181856 CPUtime=3272.58 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 1418441 0 0 0 322712 4546 0 0 20 0 1 0 78077897 6676013056 1545464 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 1629886 1545464 608 696 0 1629047 0
Current children cumulated CPU time: 3272.58 s
Current children cumulated vsize: 6523736 KiB
Current children cumulated memory: 6184800 KiB

[startup+3342.3 s]
/proc/loadavg: 3.12 3.43 3.79 4/263 88205
/proc/meminfo: memFree=83244580/131249988 swapFree=33010160/33010684
[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=6497720 memory=6161472 CPUtime=3332.36 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 1427599 0 0 0 328622 4614 0 0 20 0 1 0 78077897 6653665280 1540368 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 1624430 1540368 608 696 0 1623591 0
Current children cumulated CPU time: 3332.36 s
Current children cumulated vsize: 6501912 KiB
Current children cumulated memory: 6164416 KiB

[startup+3402.3 s]
/proc/loadavg: 3.09 3.36 3.74 4/262 88207
/proc/meminfo: memFree=81138576/131249988 swapFree=33010160/33010684
[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=6929192 memory=6592880 CPUtime=3392.14 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 1434358 0 0 0 334557 4657 0 0 20 0 1 0 78077897 7095492608 1648220 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 1732298 1648220 608 696 0 1731459 0
Current children cumulated CPU time: 3392.14 s
Current children cumulated vsize: 6933384 KiB
Current children cumulated memory: 6595824 KiB

[startup+3462.3 s]
/proc/loadavg: 3.07 3.31 3.70 4/261 88209
/proc/meminfo: memFree=82730860/131249988 swapFree=33010160/33010684
[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=6583472 memory=6245180 CPUtime=3451.94 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 1444719 0 0 0 340446 4748 0 0 20 0 1 0 78077897 6741475328 1561295 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 1645868 1561295 608 696 0 1645029 0
Current children cumulated CPU time: 3451.94 s
Current children cumulated vsize: 6587664 KiB
Current children cumulated memory: 6248124 KiB

[startup+3522.3 s]
/proc/loadavg: 3.08 3.27 3.66 4/261 88211
/proc/meminfo: memFree=81356984/131249988 swapFree=33010160/33010684
[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=6583472 memory=6247228 CPUtime=3511.73 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 1446205 0 0 0 346424 4749 0 0 20 0 1 0 78077897 6741475328 1561807 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 1645868 1561807 608 696 0 1645029 0
Current children cumulated CPU time: 3511.73 s
Current children cumulated vsize: 6587664 KiB
Current children cumulated memory: 6250172 KiB

[startup+3582.3 s]
/proc/loadavg: 3.07 3.23 3.62 4/261 88213
/proc/meminfo: memFree=83489824/131249988 swapFree=33010160/33010684
[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=7630012 memory=7293676 CPUtime=3571.53 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 1453730 0 0 0 352347 4806 0 0 20 0 1 0 78077897 7813132288 1823419 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 1907503 1823419 608 696 0 1906664 0
Current children cumulated CPU time: 3571.53 s
Current children cumulated vsize: 7634204 KiB
Current children cumulated memory: 7296620 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 3.10 3.22 3.60 4/260 88215
/proc/meminfo: memFree=84643884/131249988 swapFree=33010160/33010684
[pid=87894] ppid=87891 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87894/stat : 87894 (naps-1.03a6.sh) S 87891 87894 86480 0 -1 4194304 226 203 0 0 0 0 0 0 20 0 1 0 78077895 4292608 736 18446744073709551615 94896847716352 94896848610885 140721217612976 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94896848849936 94896848897680 94896880697344 140721217620389 140721217620483 140721217620483 140721217626087 0
/proc/87894/statm: 1048 736 672 219 0 110 0
[pid=87898] ppid=87894 vsize=6503796 memory=6165504 CPUtime=3600.02 cores=0,2
/proc/87898/stat : 87898 (naps-1.03a6) R 87894 87894 86480 0 -1 4194304 1455123 0 0 0 355184 4818 0 0 20 0 1 0 78077897 6659887104 1541376 18446744073709551615 4198400 7047149 140721693822224 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 10567680 140721693825394 140721693825508 140721693825508 140721693831113 0
/proc/87898/statm: 1625949 1541376 608 696 0 1625110 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 6507988 KiB
Current children cumulated memory: 6168448 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000861 s, system=0.002796 s

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

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

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

[startup+3611 s]*
/proc/loadavg: 3.10 3.22 3.60 4/259 88215
/proc/meminfo: memFree=88151356/131249988 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.003657 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 3611.02
CPU time (s): 3600.16
CPU user time (s): 3551.86
CPU system time (s): 48.2978
CPU usage (%): 99.6992
Max. virtual memory (cumulated for all children) (KiB): 7768196
Max. memory (cumulated for all children) (KiB): 7498284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.86
system time used= 48.2978
maximum resident set size= 7497572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1455558
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= 184
involuntary context switches= 8090


# summary of solver processes directly reported to runsolver:
#   pid: 87894,87898
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3551.86
#   total CPU system time (s): 48.2978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.09608 second user time and 16.737 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-04 12:13:10
IDJOB=4525691
IDBENCH=143878
IDSOLVER=3377
FILE ID=nodeC034/4525691-1751623990
RUNJOBID= nodeC034-1751616154-86495
SLURM_JOB_ID= 9598921
Free space on /tmp= 430340 MiB

SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen10_wcsp.wbo
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525691-1751623990/watcher-4525691-1751623990 -o /tmp/evaluation-result-4525691-1751623990/solver-4525691-1751623990 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751616154-86495 --watchdog 3760  ./naps-1.03a6.sh HOME/instance-4525691-1751623990.wbo

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

MD5SUM BENCH= 74a66f65a8d139e29d772f0c0eac826f
RANDOM SEED=1225035063

nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.675
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
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		: 3599.765
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
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		: 3507.610
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
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		: 3572.188
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
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		: 3599.746
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
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		: 3599.698
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
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		: 3578.121
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
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		: 3599.669
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        53026288 kB
MemAvailable:   77131908 kB
Buffers:            2128 kB
Cached:         24843224 kB
SwapCached:           36 kB
Active:         52825736 kB
Inactive:       24368576 kB
Active(anon):   52362852 kB
Inactive(anon):     4208 kB
Active(file):     462884 kB
Inactive(file): 24364368 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             31480 kB
Writeback:             0 kB
AnonPages:      52352092 kB
Mapped:           112512 kB
Shmem:             18068 kB
KReclaimable:     234816 kB
Slab:             328460 kB
SReclaimable:     234816 kB
SUnreclaim:        93644 kB
KernelStack:        4368 kB
PageTables:       105712 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:   59399672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  36325376 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429892 MiB
End job on nodeC034 at 2025-07-04 13:13:22