Trace number 4426327

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NaPS-GM 1.03MSAT (TO) 3600.15 3610.3

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph06_wcsp.wbo
MD5SUM38287b4f81b650595c9c747bdd7f38d4
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark22554
Best CPU time to get the best result obtained on this benchmark3601.41
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables7542
Total number of constraints1065451
Number of soft constraints1065251
Number of constraints which are clauses1065251
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 constraint2
Maximum length of a constraint44
Top cost 476244
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 266649860
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

Solver Data 

0.00/0.00	c NaPS 1.03.
0.00/0.00	c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00	c Input file name: HOME/instance-4426327-1720901916.wbo
10.96/11.08	c single stage optimization mode
11.95/12.10	o 219543
3600.04/3610.20	c 
3600.04/3610.20	c *** TERMINATED *** by signal 15
3600.04/3610.20	s SATISFIABLE
3600.04/3610.20	c _____________________________________________________________________________
3600.04/3610.20	c std/band forms        : 201,0
3600.04/3610.20	c 2cl/3cl ITE-codings   : 0,0
3600.04/3610.20	c BDD/srt/adr Max costs : 0,694,4573020
3600.04/3610.20	c BDDraw/bin/mul/srt/adr: 0,0,0,200,1
3600.04/3610.20	c BDD nodes             : 0
3600.04/3610.20	c Es1/CC detections     : 0,0
3600.04/3610.20	c CC sort               : 200
3600.04/3610.20	c SAT/UNSAT calls       : 1,0
3600.04/3610.20	c regenrated variables  : 0
3600.04/3610.20	c eliminated fixed lits : 0
3600.04/3610.20	c goal lit flips        : 0
3600.04/3610.20	c goal stages           : 1
3600.04/3610.20	c goal shrink           : 0
3600.04/3610.20	c goal coeff separations: 0
3600.04/3610.20	c restarts              : 1
3600.04/3610.20	c conflicts             : 85             (0 /sec)
3600.04/3610.20	c decisions             : 2775150        (772 /sec)
3600.04/3610.20	c propagations          : 2825305        (786 /sec)
3600.04/3610.20	c inspects              : 0              (0 /sec)
3600.04/3610.20	c CPU time (solving tm) : 3596 s        (3566 s, SAT 0.3696 s, UNSAT 0 s)
3600.04/3610.20	c Time for Opt-base     : 0.01531 s
3600.04/3610.20	c Steps for Opt-base    : 0
3600.04/3610.20	c Time for BDD coding   : 0 s
3600.04/3610.20	c Time for srt coding   : 0.01298 s
3600.04/3610.20	c _____________________________________________________________________________
3600.04/3610.20	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.04/3610.20	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.04/3610.20	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.04/3610.20	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
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v
3600.04/3610.21	v

Verifier Data 

OK	205369

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: 63931 MiB (43514 MiB free)
  memory of node 1: 64510 MiB (52946 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.101057 s]*
/proc/loadavg: 3.77 1.52 0.61 5/261 722787
/proc/meminfo: memFree=98760644/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=16972 memory=10356 CPUtime=0.09 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 2266 0 0 0 9 0 0 0 20 0 1 0 142359057 17379328 2589 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 4243 2589 436 659 0 3447 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26904 KiB
Current children cumulated memory: 13148 KiB

[startup+0.205661 s]*
/proc/loadavg: 3.77 1.52 0.61 5/261 722787
/proc/meminfo: memFree=98748924/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=24368 memory=19676 CPUtime=0.19 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 4198 0 0 0 19 0 0 0 20 0 1 0 142359057 24952832 4919 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 6092 4919 436 659 0 5296 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 34300 KiB
Current children cumulated memory: 22468 KiB

[startup+0.305611 s]*
/proc/loadavg: 3.77 1.52 0.61 5/261 722787
/proc/meminfo: memFree=98735304/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=32600 memory=27132 CPUtime=0.29 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 6236 0 0 0 29 0 0 0 20 0 1 0 142359057 33382400 6783 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 8150 6783 436 659 0 7354 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 29924 KiB

[startup+0.700258 s]
/proc/loadavg: 3.77 1.52 0.61 5/261 722787
/proc/meminfo: memFree=98713960/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=61348 memory=54012 CPUtime=0.68 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 13351 0 0 0 66 2 0 0 20 0 1 0 142359057 62820352 13503 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 15337 13503 436 659 0 14541 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 71280 KiB
Current children cumulated memory: 56804 KiB

[startup+1.50025 s]
/proc/loadavg: 3.77 1.52 0.61 5/261 722787
/proc/meminfo: memFree=98654508/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=121356 memory=111216 CPUtime=1.48 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 26345 0 0 0 144 4 0 0 20 0 1 0 142359057 124268544 27804 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 30339 27804 436 659 0 29543 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 131288 KiB
Current children cumulated memory: 114008 KiB

[startup+3.10559 s]
/proc/loadavg: 3.77 1.52 0.61 5/261 722787
/proc/meminfo: memFree=98448908/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=249620 memory=226392 CPUtime=3.08 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 50005 0 0 0 299 9 0 0 20 0 1 0 142359057 255610880 56598 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 62405 56598 436 659 0 61609 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 259552 KiB
Current children cumulated memory: 229184 KiB

[startup+6.30025 s]
/proc/loadavg: 3.79 1.56 0.63 5/261 722788
/proc/meminfo: memFree=98194044/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=587620 memory=534176 CPUtime=6.27 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 101445 0 0 0 606 21 0 0 20 0 1 0 142359057 601722880 133544 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 146905 133544 436 659 0 146109 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 597552 KiB
Current children cumulated memory: 536968 KiB

[startup+12.7003 s]
/proc/loadavg: 3.80 1.60 0.65 5/261 722789
/proc/meminfo: memFree=96624272/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=962668 memory=900488 CPUtime=12.65 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 176432 0 0 0 1230 35 0 0 20 0 1 0 142359057 985772032 225122 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 240667 225122 468 659 0 239871 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 972600 KiB
Current children cumulated memory: 903280 KiB

[startup+25.5003 s]
/proc/loadavg: 3.92 1.73 0.71 5/261 722792
/proc/meminfo: memFree=95740892/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=4573404 memory=4030420 CPUtime=25.41 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 529833 0 0 0 2418 123 0 0 20 0 1 0 142359057 4683165696 1007605 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 1143351 1007605 468 659 0 1142555 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 4583336 KiB
Current children cumulated memory: 4033212 KiB

[startup+51.1056 s]
/proc/loadavg: 3.95 1.92 0.80 5/261 722795
/proc/meminfo: memFree=92920656/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=6858252 memory=6065964 CPUtime=50.95 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 770655 0 0 0 4913 182 0 0 20 0 1 0 142359057 7022850048 1516491 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 1714563 1516491 468 659 0 1713767 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 6868184 KiB
Current children cumulated memory: 6068756 KiB

[startup+102.3 s]
/proc/loadavg: 4.02 2.26 0.97 5/263 722858
/proc/meminfo: memFree=93277844/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=6858252 memory=6066000 CPUtime=101.99 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 771195 0 0 0 10017 182 0 0 20 0 1 0 142359057 7022850048 1516500 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 1714563 1516500 468 659 0 1713767 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 6868184 KiB
Current children cumulated memory: 6068792 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.57 1.17 4/255 722899
/proc/meminfo: memFree=94306556/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=6858252 memory=6070096 CPUtime=161.82 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 772052 0 0 0 15996 186 0 0 20 0 1 0 142359057 7022850048 1517524 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 1714563 1517524 468 659 0 1713767 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 6868184 KiB
Current children cumulated memory: 6072888 KiB

[startup+222.3 s]
/proc/loadavg: 3.34 2.65 1.28 4/255 722910
/proc/meminfo: memFree=89329680/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=6858252 memory=6072144 CPUtime=221.63 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 773028 0 0 0 21975 188 0 0 20 0 1 0 142359057 7022850048 1518036 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 1714563 1518036 468 659 0 1713767 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 6868184 KiB

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

/proc/722787/statm: 1726951 1600813 468 659 0 1726155 0
Current children cumulated CPU time: 3033.58 s
Current children cumulated vsize: 6917736 KiB
Current children cumulated memory: 6406044 KiB

[startup+3102.3 s]
/proc/loadavg: 2.10 2.11 2.05 3/245 724645
/proc/meminfo: memFree=108244388/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=6909000 memory=6182396 CPUtime=3093.42 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 833459 0 0 0 308937 405 0 0 20 0 1 0 142359057 7074816000 1545599 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 1727250 1545599 468 659 0 1726454 0
Current children cumulated CPU time: 3093.42 s
Current children cumulated vsize: 6918932 KiB
Current children cumulated memory: 6185188 KiB

[startup+3162.3 s]
/proc/loadavg: 2.08 2.10 2.05 3/246 724657
/proc/meminfo: memFree=108195612/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=6910332 memory=6230832 CPUtime=3153.26 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 835045 0 0 0 314919 407 0 0 20 0 1 0 142359057 7076179968 1557708 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 1727583 1557708 468 659 0 1726787 0
Current children cumulated CPU time: 3153.26 s
Current children cumulated vsize: 6920264 KiB
Current children cumulated memory: 6233624 KiB

[startup+3222.3 s]
/proc/loadavg: 2.13 2.11 2.06 3/246 724667
/proc/meminfo: memFree=108145680/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=6910464 memory=6278152 CPUtime=3213.11 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 836178 0 0 0 320902 409 0 0 20 0 1 0 142359057 7076315136 1569538 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 1727616 1569538 468 659 0 1726820 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 6920396 KiB
Current children cumulated memory: 6280944 KiB

[startup+3282.3 s]
/proc/loadavg: 2.09 2.11 2.06 3/246 724678
/proc/meminfo: memFree=108094672/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=6911972 memory=6326784 CPUtime=3272.96 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 837772 0 0 0 326885 411 0 0 20 0 1 0 142359057 7077859328 1581696 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 1727993 1581696 468 659 0 1727197 0
Current children cumulated CPU time: 3272.96 s
Current children cumulated vsize: 6921904 KiB
Current children cumulated memory: 6329576 KiB

[startup+3342.3 s]
/proc/loadavg: 2.14 2.12 2.06 3/246 724689
/proc/meminfo: memFree=108044696/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=6912504 memory=6374372 CPUtime=3332.81 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 839232 0 0 0 332867 414 0 0 20 0 1 0 142359057 7078404096 1593593 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 1728126 1593593 468 659 0 1727330 0
Current children cumulated CPU time: 3332.81 s
Current children cumulated vsize: 6922436 KiB
Current children cumulated memory: 6377164 KiB

[startup+3402.3 s]
/proc/loadavg: 2.11 2.11 2.06 3/243 724699
/proc/meminfo: memFree=107988764/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=6918852 memory=6429904 CPUtime=3392.66 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 840946 0 0 0 338850 416 0 0 20 0 1 0 142359057 7084904448 1607476 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 1729713 1607476 468 659 0 1728917 0
Current children cumulated CPU time: 3392.66 s
Current children cumulated vsize: 6928784 KiB
Current children cumulated memory: 6432696 KiB

[startup+3462.3 s]
/proc/loadavg: 2.08 2.10 2.06 3/242 724709
/proc/meminfo: memFree=107939188/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=6918852 memory=6474960 CPUtime=3452.51 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 842826 0 0 0 344833 418 0 0 20 0 1 0 142359057 7084904448 1618740 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 1729713 1618740 468 659 0 1728917 0
Current children cumulated CPU time: 3452.51 s
Current children cumulated vsize: 6928784 KiB
Current children cumulated memory: 6477752 KiB

[startup+3522.3 s]
/proc/loadavg: 1.75 2.02 2.04 2/234 724752
/proc/meminfo: memFree=121382400/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=6918852 memory=6213848 CPUtime=3512.36 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 845316 0 0 0 350798 438 0 0 20 0 1 0 142359057 7084904448 1553462 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 1729713 1553462 468 659 0 1728917 0
Current children cumulated CPU time: 3512.36 s
Current children cumulated vsize: 6928784 KiB
Current children cumulated memory: 6216640 KiB

[startup+3582.3 s]
/proc/loadavg: 1.32 1.84 1.97 2/234 724762
/proc/meminfo: memFree=121336892/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=6918852 memory=6258912 CPUtime=3572.21 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 846661 0 0 0 356781 440 0 0 20 0 1 0 142359057 7084904448 1564728 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 1729713 1564728 468 659 0 1728917 0
Current children cumulated CPU time: 3572.21 s
Current children cumulated vsize: 6928784 KiB
Current children cumulated memory: 6261704 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 1.26 1.78 1.95 2/234 724767
/proc/meminfo: memFree=121312108/131524600 swapFree=131071996/131071996
[pid=722782] ppid=722779 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/722782/stat : 722782 (naps-1.03.sh) S 722779 722782 722468 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 142359057 10170368 698 134679101440 94050197540864 94050198620184 140723798386224 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050200718640 94050200765828 94050225192960 140723798389676 140723798389805 140723798389805 140723798396872 0
/proc/722782/statm: 2483 698 621 264 0 134 0
[pid=722787] ppid=722782 vsize=6918852 memory=6283488 CPUtime=3600.04 cores=4,6
/proc/722787/stat : 722787 (naps-1.03) R 722782 722782 722468 0 -1 4194304 847494 0 0 0 359563 441 0 0 20 0 1 0 142359057 7084904448 1570872 134679101440 4194304 6891213 140725328499856 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 22085632 140725328507837 140725328507953 140725328507953 140725328515019 0
/proc/722787/statm: 1729713 1570872 468 659 0 1728917 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 6928784 KiB
Current children cumulated memory: 6286280 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002317 s, system=0.000461 s

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

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

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

Child status: 10

Real time (s): 3610.3
CPU time (s): 3600.15
CPU user time (s): 3595.65
CPU system time (s): 4.49851
CPU usage (%): 99.719
Max. virtual memory (cumulated for all children) (KiB): 8404360
Max. memory (cumulated for all children) (KiB): 7480408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.65
system time used= 4.49851
maximum resident set size= 7477616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 847981
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= 104
involuntary context switches= 3230


# summary of solver processes directly reported to runsolver:
#   pid: 722782,722787
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3595.65
#   total CPU system time (s): 4.49851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72945 second user time and 16.486 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-13 22:18:50
IDJOB=4426327
IDBENCH=144139
IDSOLVER=3042
FILE ID=nodeC029/4426327-1720901916
RUNJOBID= nodeC029-1720901807-722479
SLURM_JOB_ID= 7486088
Free space on /tmp= 890028 MiB

SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph06_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426327-1720901916/watcher-4426327-1720901916 -o /tmp/evaluation-result-4426327-1720901916/solver-4426327-1720901916 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1720901807-722479 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4426327-1720901916.wbo

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

MD5SUM BENCH= 38287b4f81b650595c9c747bdd7f38d4
RANDOM SEED=2039415004

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        98780904 kB
MemAvailable:   100035000 kB
Buffers:          327896 kB
Cached:          1756164 kB
SwapCached:            0 kB
Active:           505948 kB
Inactive:       31586376 kB
Active(anon):       1488 kB
Inactive(anon): 30044492 kB
Active(file):     504460 kB
Inactive(file):  1541884 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             38064 kB
Writeback:             0 kB
AnonPages:      30008272 kB
Mapped:           107288 kB
Shmem:             37720 kB
KReclaimable:      94800 kB
Slab:             195764 kB
SReclaimable:      94800 kB
SUnreclaim:       100964 kB
KernelStack:        4176 kB
PageTables:        68240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   32796696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54368 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10622976 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      174804 kB
DirectMap2M:    12181504 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC029 at 2024-07-13 23:19:00