Trace number 4082831

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
NaPS 1.02SAT (TO)939 1800.07 1800.42

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
MD5SUMf480d2d56550630df651872786c078c9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark939
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 999
Optimality of the best value was proved NO
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c NaPS 1.02b.
1800.05/1800.40	o 17234
1800.05/1800.40	o 6908
1800.05/1800.40	o 3080
1800.05/1800.40	o 971
1800.05/1800.40	o 951
1800.05/1800.40	o 939
1800.05/1800.40	c 
1800.05/1800.40	c *** TERMINATED *** by signal 15
1800.05/1800.40	s SATISFIABLE
1800.05/1800.40	c _____________________________________________________________________________
1800.05/1800.40	c 
1800.05/1800.40	c std/band forms        : 759,0
1800.05/1800.40	c 2cl/3cl ITE-codings   : 432846,0
1800.05/1800.40	c BDD/srt/adr Max costs : 11855,506024,0
1800.05/1800.40	c BDDraw/bin/mul/srt/adr: 748,0,0,11,0
1800.05/1800.40	c BDD nodes             : 458058
1800.05/1800.40	c Es1/CC detections     : 0,0
1800.05/1800.40	c SAT/UNSAT calls       : 6,5
1800.05/1800.40	c restarts              : 21853
1800.05/1800.40	c conflicts             : 3047005        (1693 /sec)
1800.05/1800.40	c decisions             : 40722476       (22632 /sec)
1800.05/1800.40	c propagations          : 8437127545     (4689136 /sec)
1800.05/1800.40	c inspects              : 0              (0 /sec)
1800.05/1800.40	c CPU time (solving tm) : 1799 s        (1005 s)
1800.05/1800.40	c Time for Opt-base     : 0.3649 s
1800.05/1800.40	c _____________________________________________________________________________
1800.05/1800.40	v -x2 -x1049 x1398 -x2445 -x3143 -x4194 -x4545 -x4896 -x6651 x7002 -x7353 -x7704 -x8055 -x3 x1050 -x1399 -x3144 -x4195 -x4546 x4897 -x6652 -x7003 -x7354 -x7705 -x4 -x1400 x2796 -x3494 -x4196 x4547 -x4898 -x5 x1401 -x4197 -x4548 -x4899 x5250 -x1053 -x2449 x3147 x5602 -x6655 -x7006 -x7357 -x7708 x356 -x705 -x1752 -x2101 -x5603 -x5954 -x6305 x357 -x706 -x2102 -x5604 -x5955 -x6306 -x1056 x3150 -x6658 -x7009 -x7360 -x7711 x1755 -x11 -x360 -x709 -x1058 x1407 -x1756 -x2105 -x3152 -x4203 -x4554 -x4905 -x5607 x5958 -x6309 -x6660 -x7011 -x7362 -x7713 -x12 -x361 x710 -x1059 -x1408 -x1757 -x2106 -x3153 -x4204 -x4555 -x4906 -x5608 -x5959 -x6310 -x6661 x7012 -x7363 -x7714 -x13 -x362 -x711 -x1060 -x1409 x1758 -x2107 -x3154 -x4205 -x4556 -x4907 -x5258 -x5609 -x5960 -x6311 -x6662 -x7013 -x7364 x7715 x363 -x712 -x1061 -x1759 -x2108 -x3155 -x5259 -x5610 -x5961 -x6312 -x6663 x7014 -x7365 -x7716 -x364 -x713 -x1760 -x2109 x2458 -x5611 x5962 -x6313 -x8068 -x365 -x714 -x2110 x2459 -x5612 -x5963 x6314 -x8070 -x367 -x716 -x2112 x2461 -x5614 x5965 -x6316 x8072 x1765 -x2812 x3510 -x21 -x370 -x719 -x1068 -x1417 -x1766 x2115 -x3162 -x4213 -x4564 -x4915 -x5266 -x5617 -x5968 -x6319 x6670 -x7021 -x7372 -x7723 -x22 x371 -x720 -x1069 -x1418 -x1767 -x2116 -x3163 -x4214 -x4565 -x4916 -x5618 -x5969 -x6320 -x6671 -x7022 -x7373 x7724 x2816 -x3514 x3865 x374 -x2468 x5270 x26 -x375 -x724 -x1073 -x1422 -x1771 -x2120 -x3167 -x4218 -x4569 -x4920 -x5622 -x5973 -x6324 -x6675 -x7026 x7377 -x7728 -x27 -x1423 x4219 -x4570 -x4921 -x8080 x2820 -x3518 x8081 x378 -x727 -x1774 -x2123 x5274 -x5625 -x5976 -x6327 -x8082 x2822 -x3520 x5275 x1078 -x3172 x3872 -x6680 -x7031 -x7382 -x7733 x1079 -x3173 x3873 -x6681 -x7032 -x7383 -x7734 -x33 x382 -x731 -x1080 -x1429 -x1778 -x2127 -x3174 -x4225 -x4576 -x4927 -x5278 -x5629 -x5980 -x6331 -x6682 x7033 -x7384 -x7735 x1779 -x2826 x3524 -x8087 x1780 x8088 -x36 x1432 -x2828 -x3526 -x4228 -x4579 -x4930 -x5281 x7738 x2480 x3878 x387 -x736 -x1783 -x2132 -x2481 x3879 -x5283 -x5634 -x5985 -x6336 -x8091 x2831 -x3529 -x5284 x41 -x1437 -x4233 -x4584 -x4935 x8094 x2834 -x3532 -x5287 -x392 -x741 -x1788 x2137 x3884 -x5288 -x5639 -x5990 -x6341 -x5289 x2488 -x2837 x3535 -x8098 -x5291 x6344 x2490 x3888 x48 -x1444 -x2840 x3538 -x4240 -x4591 -x4942 -x49 x398 -x747 -x1445 -x1794 -x2143 -x2492 -x4241 -x4592 x4943 -x5294 -x5645 -x5996 -x6347 -x8102 x50 -x1446 -x4242 -x4593 -x4944 -x5295 x51 -x400 -x749 -x1447 -x1796 -x2145 -x4243 -x4594 -x4945 -x5296 -x5647 -x5998 x6349 x52 -x1099 -x1448 -x3193 -x4244 -x4595 -x4946 -x6701 -x7052 -x7403 x7754 -x402 x751 -x1100 -x1798 -x2147 -x3194 -x5298 -x5649 -x6000 -x6351 x6702 -x7053 -x7404 -x7755 -x54 -x403 x752 -x1450 -x1799 -x2148 -x2497 -x4246 -x4597 x4948 -x5299 -x5650 -x6001 -x6352 -x8107 -x55 -x404 -x753 -x1451 -x1800 x2149 -x4247 -x4598 x4949 -x5300 -x5651 -x6002 -x6353 x3546 -x5301 -x8109 x2848 -x3547 x5302 -x57 -x406 -x755 -x1104 -x1453 -x1802 -x2151 x3198 -x4250 -x4601 -x4952 -x5303 x5654 -x6005 -x6356 -x6707 -x7058 -x7409 -x7760 x2850 -x3549 x3900 x2851 -x3550 x8113 -x60 -x409 -x758 x1456 -x1805 -x2154 -x4253 -x4604 -x4955 -x5306 x5657 -x6008 -x6359 -x61 -x410 -x759 -x1108 -x1457 -x1806 -x2155 x3202 -x4254 -x4605 -x4956 -x5658 x6009 -x6360 -x6711 -x7062 -x7413 -x7764 -x62 -x411 -x760 -x1109 -x1458 -x1807 -x2156 x3203 -x4255 -x4606 -x4957 -x5659 x6010 -x6361 -x6712 -x7063 -x7414 -x7765 x3554 -x5309 -x8117 x63 -x1459 -x4257 -x4608 -x4959 -x5310 -x413 -x762 -x1809 -x2158 -x5311 -x5662 x6013 -x6364 x2857 -x3557 x8120 x415 -x764 -x1113 -x1811 -x2160 -x3207 -x5313 -x5664 -x6015 -x6366 -x6717 -x7068 x7419 -x7770 x2859 -x3559 x8122 -x68 x1464 -x2860 x3560 -x4262 -x4613 -x4964 -x5315 -x69 x1465 -x4263 -x4614 -x4965 x5316 x2862 -x3562 x5317 -x71 -x420 -x769 -x1467 -x1816 x2165 -x4265 -x4616 x4967 -x5318 -x5669 -x6020 -x6371 -x72 -x421 -x770 -x1468 x1817 -x2166 x4266 -x4617 -x4968 -x5319 -x5670 -x6021 -x6372 x73 -x422 -x771 -x1120 -x1469 -x1818 -x2167 -x3214 -x4267 -x4618 -x4969 -x5320 -x5671 -x6022 -x6373 -x6724 -x7075 -x7426 x7777 x74 -x1470 -x2866 x3566 -x4268 -x4619 -x4970 -x2867 x3567 -x8130 -x76 x1472 -x2868 x3568 -x4270 -x4621 -x4972 x8132 -x3570 -x3921 -x4272 -x4623 -x4974 -x5325 -x5676 -x6027 x6378 -x78 x1125 -x1474 -x3219 -x4273 -x4624 x4975 -x6730 -x7081 -x7432 -x7783 -x428 -x777 -x1126 x2173 -x3220 -x5678 -x6029 -x6380 x6731 -x7082 -x7433 -x7784 -x80 x1127 -x1476 -x3221 -x4275 -x4626 x4977 -x6732 -x7083 -x7434 -x7785 -x81 -x1477 x2873 -x3574 -x4276 x4627 -x4978 -x82 -x431 -x780 -x1478 x1827 -x2176 -x4277 -x4628 x4979 -x5330 -x5681 -x6032 -x6383 -x83 x1479 -x4278 -x4629 -x4980 -x5331 x8139 -x84 -x1480 x1829 -x4279 x4630 -x4981 -x5332 -x85 x434 -x783 -x1132 -x1481 -x1830 -x2179 -x3226 -x4280 -x4631 -x4982 -x5684 -x6035 -x6386 -x6737 x7088 -x7439 -x7790 x435 -x784 -x1831 -x2180 x5334 -x5685 -x6036 -x6387 -x87 x1483 -x4282 -x4633 -x4984 x5335 -x88 -x1135 x1484 -x3229 -x4283 -x4634 -x4985 -x6740 -x7091 x7442 -x7793 -x1136 x3230 x3933 -x6741 -x7092 -x7443 -x7794 -x90 x1486 -x4285 -x4636 -x4987 x5338 -x91 -x440 -x789 x1487 -x2185 -x4286 -x4637 -x4988 -x5690 x6041 -x6392 -x441 -x790 x1139 -x2186 -x3233 -x5691 -x6042 x6393 -x6744 -x7095 -x7446 -x7797 x1838 -x2885 x3586 -x5341 -x94 -x1141 -x1490 -x2537 -x2886 x3235 -x3587 -x3938 -x4289 x4640 -x4991 -x6746 -x7097 -x7448 -x7799 -x8150 -x95 x444 -x793 -x1491 -x2189 -x4290 x4641 -x4992 -x5694 -x6045 -x6396 -x96 x1492 x3940 -x4291 -x4642 -x4993 x446 -x795 -x1144 -x2191 -x3238 -x5696 -x6047 -x6398 -x6749 -x7100 -x7451 x7802 -x99 -x1495 x1844 -x4294 -x4645 x4996 -x5347 -x449 -x798 -x1147 x2194 -x3241 -x5699 -x6050 -x6401 -x6752 -x7103 -x7454 x7805 -x101 x1497 -x4296 -x4647 -x4998 x5349 -x102 x451 -x800 -x1498 -x2196 -x4297 -x4648 x4999 -x5701 -x6052 -x6403 x3596 -x5351 -x452 x801 -x1150 -x2197 -x3244 -x5703 -x6054 -x6405 -x6756 x7107 -x7458 -x7809 -x104 -x1500 x1849 x4300 -x4651 -x5002 -x105 x1501 x3950 -x4301 -x4652 -x5003 x455 -x804 -x1851 -x2200 x5355 -x5706 -x6057 -x6408 -x456 x805 -x1154 -x2201 -x3248 -x5707 -x6058 -x6409 -x6760 x7111 -x7462 -x7813 x2551 x5357 -x8165 -x458 -x807 -x1854 -x2203 x2552 -x2901 -x3603 -x5358 -x5709 x6060 -x6411 -x8166 -x459 -x808 -x1157 -x1855 x2204 -x3251 -x3955 -x5359 -x5710 -x6061 -x6412 -x6763 -x7114 -x7465 x7816 x2554 -x2903 x3605 -x8168 -x112 -x461 x810 -x1508 -x1857 -x2206 -x4308 x4659 -x5010 -x5361 -x5712 -x6063 -x6414 x2905 -x3607 x8170 -x114 -x1510 x1859 x4310 -x4661 -x5012 -x115 -x1511 x4311 -x4662 -x5013 -x5364 x2908 -x3610 x8173 x1164 -x3258 x3962 -x6770 -x7121 -x7472 -x7823 -x118 -x467 -x816 -x1514 -x1863 x2212 -x2910 -x3612 -x3963 -x4314 -x4665 x5016 -x5367 -x5718 -x6069 -x6420 x2911 -x3613 x5368 x1865 -x5369 -x470 -x819 -x1168 -x1866 x2215 -x2913 -x3262 -x3615 -x5370 -x5721 -x6072 -x6423 x6774 -x7125 -x7476 -x7827 -x122 x1518 -x4318 -x4669 -x5020 x5371 -x123 -x472 x821 -x1519 -x2217 -x2915 -x3617 -x4319 -x4670 x5021 -x5723 -x6074 -x6425 x1171 -x3265 x3969 -x6777 -x7128 -x7479 -x7830 -x8181 -x474 x823 -x1870 -x2219 x5374 -x5725 -x6076 -x6427 -x126 -x475 -x824 -x1173 -x1522 -x2220 -x2918 x3267 -x3620 -x3971 -x4322 -x4673 -x5024 x5726 -x6077 -x6428 -x6779 -x7130 -x7481 -x7832 -x127 x1523 -x4323 -x4674 -x5025 x5376 x1873 -x5377 -x129 -x478 -x827 -x1525 -x1874 x2223 x4325 -x4676 -x5027 -x5378 -x5729 -x6080 -x6431 -x7484 -x1177 x2922 -x3271 -x3624 -x6783 -x7134 x7485 -x7836 -x131 -x480 x829 -x1527 -x1876 -x2225 -x4327 x4678 -x5029 -x5380 -x5731 -x6082 -x6433 -x132 -x1528 x4328 -x4679 -x5030 -x5381 -x482 -x831 -x1180 -x1878 x2227 -x2576 -x3274 -x5382 -x5733 -x6084 -x6435 -x6786 -x7137 x7488 -x7839 -x8190 -x134 x483 -x832 -x1181 -x1530 -x1879 -x2228 -x3275 -x4330 -x4681 -x5032 -x5383 -x5734 -x6085 -x6436 -x6787 -x7138 x7489 -x7840 -x1182 x1880 -x3276 -x5384 -x6788 -x7139 -x7490 x7841 x1881 x8193 -x137 -x486 -x835 x1184 -x1533 -x1882 -x2231 -x3278 -x4333 -x4684 -x5035 -x5386 -x5737 -x6088 x6439 -x6790 -x7141 -x7492 -x7843 -x138 -x487 x836 -x1534 -x1883 -x2232 -x4334 x4685 -x5036 -x5387 -x5738 -x6089 -x6440 -x488 x837 -x1186 -x1884 -x2233 -x3280 -x5388 -x5739 -x6090 -x6441 -x6792 -x7143 -x7494 x7845 -x489 -x838 -x1187 -x1885 x2234 -x3281 -x5389 -x5740 -x6091 -x6442 -x6793 -x7144 -x7495 x7846 -x1188 x2933 -x3282 -x3635 x6794 -x7145 -x7496 -x7847 x142 -x1538 -x1887 -x2236 -x2934 -x3636 -x4338 -x4689 -x5040 x5742 -x492 -x841 -x1190 -x1888 x2237 -x3284 -x5392 -x5743 -x6094 -x6445 -x6796 -x7147 -x7498 x7849 x144 -x1191 -x1540 -x3285 -x4340 -x4691 -x5042 -x5393 -x6797 -x7148 -x7499 x7850 x146 -x1193 -x1542 -x2938 -x3287 -x3640 -x4342 -x4693 -x5044 -x6799 -x7150 x7501 -x7852 -x147 -x1543 x2590 -x4343 -x4694 x5045 -x497 -x846 -x1195 -x1893 -x2242 x3289 -x5397 -x5748 x6099 -x6450 -x6801 -x7152 -x7503 -x7854 -x498 x847 -x1894 -x2243 x3994 -x5398 -x5749 -x6100 -x6451 -x499 -x848 -x1895 x2244 -x2942 x3644 -x5399 -x5750 -x6101 -x6452 x2594 -x2943 x3645 -x5400 -x8208 x501 -x850 -x1897 -x2246 -x5401 -x5752 -x6103 -x6454 x2596 -x2945 x3647 -x8210 -x154 -x503 x852 -x1201 -x1550 -x1899 -x2248 -x3295 -x4350 -x4701 -x5052 -x5403 -x5754 -x6105 -x6456 -x6807 -x7158 x7509 -x7860 -x155 -x1551 x1900 -x4351 x4702 -x5053 -x8212 -x156 -x1552 x2948 -x3650 -x4352 x4703 -x5054 -x5405 -x8213 x506 -x855 -x1902 -x2251 x5406 -x5757 -x6108 -x6459 -x1205 x3299 -x6811 -x7162 -x7513 -x7864 -x159 -x508 x857 -x1206 -x1555 -x1904 -x2253 -x3300 -x4355 x4706 -x5057 -x5408 -x5759 -x6110 -x6461 -x6812 -x7163 -x7514 -x7865 -x509 x858 -x1905 -x2254 -x5409 -x5760 -x6111 -x6462 x1907 -x2605 -x5411 x8219 -x163 x1210 -x1559 -x3304 -x4008 -x4359 -x4710 x5061 -x6816 -x7167 -x7518 -x7869 -x164 -x513 x862 -x1211 -x1560 -x1909 -x2258 -x3305 -x4360 -x4711 -x5062 -x5413 -x5764 -x6115 -x6466 -x6817 x7168 -x7519 -x7870 x165 -x1561 -x2957 -x3659 x4010 -x4361 -x4712 -x5063 -x166 -x515 x864 -x1562 -x1911 -x2260 -x4362 -x4713 x5064 -x5415 -x5766 -x6117 -x6468 x516 -x865 -x1912 -x2261 -x5416 -x5767 -x6118 -x6469 -x517 -x866 -x1913 -x2262 x2960 -x3662 -x5417 x5768 -x6119 -x6470 -x518 -x867 -x1216 -x1914 x2263 -x3310 -x4014 -x5418 -x5769 -x6120 -x6471 -x6822 x7173 -x7524 -x7875 -x170 -x1566 x2962 -x3664 x4366 -x4717 -x5068 -x5419 -x8227 x171 -x520 -x869 -x1567 -x1916 -x2265 -x4016 -x4367 -x4718 -x5069 -x5420 -x5771 -x6122 x6473 x1917 -x8229 -x173 -x522 -x871 x1569 -x1918 -x2267 -x4369 -x4720 -x5071 -x5422 x5773 -x6124 -x6475 x4721 -x5423 -x174 -x523 -x872 -x1570 -x1919 x2268 -x4371 x4722 -x5073 -x5424 -x5775 -x6126 -x6477 x175 -x1571 -x2967 x3670 -x4372 -x4723 -x5074 -x525 -x874 -x1921 -x2270 -x5426 x5777 -x6128 -x6479 -x1224 x1922 -x3318 -x4023 -x5427 x6831 -x7182 -x7533 -x7884 x527 -x876 -x1225 -x2272 -x3319 -x4024 -x5779 -x6130 -x6481 -x6832 x7183 -x7534 -x7885 -x1227 x2623 -x3321 -x5430 x6834 -x7185 -x7536 -x7887 -x8238 -x181 -x530 -x879 -x1577 -x1926 x2275 -x2973 -x182 x1229 -x1578 -x2974 -x3323 -x3676 -x4378 x4729 -x5080 -x6835 -x7186 -x7537 -x7888 x186 -x1233 -x1582 -x3327 -x4382 -x4733 -x5084 -x6839 x7190 -x7541 -x7892 -x187 -x536 -x885 x1234 -x1583 -x2281 -x3328 -x4032 -x4383 -x4734 -x5085 -x5787 x6138 -x6489 -x6840 -x7191 -x7542 -x7893 x1235 -x3329 -x6841 -x7192 -x7543 -x7894 x8245 -x538 -x887 x1236 -x1934 -x2283 -x3330 -x4034 -x5438 x5789 -x6140 -x6491 -x6842 -x7193 -x7544 -x7895 -x190 x1586 -x4386 -x4737 -x5088 x7896 -x8247 -x191 -x540 -x889 -x1238 -x1587 -x1936 -x2285 x3332 -x4036 -x4387 -x4738 -x5089 -x5440 -x5791 -x6142 x6493 -x6844 -x7195 -x7546 -x7897 -x8248 -x8249 -x542 -x891 -x1938 x2287 -x5442 -x5793 -x6144 -x6495 -x194 -x543 -x892 -x1241 -x1590 -x1939 -x2288 x3335 -x4390 -x4741 -x5092 -x5443 -x5794 x6145 -x6496 -x6847 -x7198 -x7549 -x7900 -x195 -x1242 -x1591 x3336 -x4391 -x4742 x5093 -x6848 -x7199 -x7550 -x7901 x196 -x545 -x894 -x1243 -x1592 -x1941 -x2290 -x3337 -x4392 -x4743 -x5094 -x5445 x5796 -x6147 -x6498 -x6849 -x7200 -x7551 -x7902 -x197 x1244 -x1593 -x3338 x4393 -x4744 -x5095 -x6850 -x7201 -x7552 -x7903 -x198 -x547 x896 -x1245 -x1594 -x1943 -x2292 -x3339 -x4394 -x4745 -x5096 -x5447 -x5798 -x6149 -x6500 -x6851 -x7202 -x7553 x7904 -x1246 x3340 x4044 -x6852 -x7203 -x7554 -x7905 -x1247 x2643 -x3341 x6853 -x7204 -x7555 -x7906 -x8257 x201 -x1597 -x2644 -x2993 x3695 -x4397 -x4748 -x5099 -x8258 -x1249 x2645 -x3343 -x6855 -x7206 -x7557 x7908 -x8259 -x203 -x552 -x901 -x1599 -x1948 x2297 -x2646 -x4399 -x4750 x5101 -x5452 -x5803 -x6154 -x6505 -x8260 -x204 -x553 -x902 -x1251 -x1600 -x1949 -x2298 x3345 -x4400 -x4751 -x5102 -x5453 -x5804 -x6155 x6506 -x6857 -x7208 -x7559 -x7910 -x205 -x554 -x903 x1601 -x1950 -x2299 -x4401 -x4752 -x5103 -x5454 -x5805 x6156 -x6507 -x206 -x555 -x904 x1602 -x1951 -x2300 -x4051 -x4402 -x4753 -x5104 -x5455 -x5806 -x6157 x6508 x207 -x1603 -x4403 -x4754 -x5105 -x208 -x557 -x906 -x1255 -x1604 -x1953 x2302 -x3349 -x4404 -x4755 -x5106 -x5808 -x6159 -x6510 -x6861 -x7212 -x7563 x7914 -x209 x1256 -x1954 -x2303 -x5107 -x5458 -x5809 x6160 -x6511 -x6862 -x210 -x1606 x1955 x4406 -x4757 -x5108 -x5459 -x8267 -x211 x1607 -x2654 x4056 -x4407 -x4758 -x5109 -x212 -x1608 x1957 -x4408 -x4759 x5110 -x5461 -x8269 -x562 -x911 -x1958 x2307 -x5462 -x5813 -x6164 -x6515 -x214 -x1610 x2657 -x4410 x4761 -x5112 -x215 -x1611 x2658 -x4411 x4762 -x5113 -x5464 -x8272 x3008 -x3710 -x5465 -x1264 x3358 x5817 -x6870 -x7221 -x7572 -x7923 x3010 -x3712 x6169 x219 -x1266 -x1615 -x3360 -x4415 -x4766 -x5117 x6872 -x7223 -x7574 -x7925 -x569 -x918 x1267 -x1965 -x2314 -x3361 -x5469 -x5820 -x6171
1800.05/1800.40	v x6522 -x6873 -x7224 -x7575 -x7926 -x221 x1617 x4066 -x4417 -x4768 -x5119 -x5470 x5120 -x6173 -x223 -x1270 -x1619 -x2666 -x3015 x3364 -x3717 -x4419 -x4770 x5121 -x6876 -x7227 -x7578 -x7929 -x8280 x1969 -x5473 x225 -x1621 x4070 -x4421 -x4772 -x5123 -x226 x575 -x924 -x1273 -x1622 -x1971 -x2320 -x3367 -x4422 -x4773 -x5124 -x5475 -x5826 -x6177 -x6528 -x6879 -x7230 x7581 -x7932 -x227 x1274 -x1623 -x3368 x228 -x1624 -x4423 -x4774 -x5125 x8284 -x229 -x578 -x927 -x1276 -x1625 -x1974 -x2323 x3370 -x4424 -x4775 -x5126 -x5477 x5828 -x6179 -x6530 -x6881 -x7232 -x7583 -x7934 x230 -x1626 -x3022 x3723 -x4425 -x4776 -x5127 -x5478 -x8286 x231 -x1627 -x4426 -x4777 -x5128 x8287 x232 -x581 -x930 -x1279 -x1628 -x2326 -x3373 -x4076 -x4427 -x4778 -x5129 x5831 -x6182 -x6533 -x6884 -x7235 -x7586 -x7937 -x582 -x931 -x2327 x2676 -x4077 x5832 -x6183 -x6534 -x8289 x3026 -x3727 x8290 -x235 -x1631 x1980 x4430 -x4781 -x5132 x1981 -x2679 -x5484 x8292 -x238 -x1634 x1983 x4433 -x4784 -x5135 -x588 -x937 x1286 -x2333 -x3380 -x4083 -x5838 x6189 -x6540 -x6891 -x7242 -x7593 -x7944 x5137 -x6190 x1986 -x5489 x242 -x1289 -x1638 -x2685 -x3383 -x4437 -x4788 -x5139 x6894 -x7245 -x7596 -x7947 -x8298 -x592 x941 -x1290 -x1988 -x2337 -x3384 -x5491 -x5842 -x6193 -x6544 -x6895 x7246 -x7597 -x7948 -x244 -x1291 -x1640 -x2687 x3385 x4439 -x4790 -x5141 -x6896 -x7247 -x7598 -x7949 -x8300 -x1990 x2688 -x5493 x5844 -x8301 x246 -x1293 -x1642 -x3387 -x4441 -x4792 -x5143 -x6898 x7249 -x7600 -x7951 -x247 -x1294 -x1643 x3388 -x4442 -x4793 x5144 -x6899 -x7250 -x7601 -x7952 -x8303 x3040 -x3741 x5496 x2692 -x5497 -x8305 -x250 x599 -x948 -x1297 -x1646 -x2344 -x3391 -x4445 -x4796 -x5147 -x5849 -x6200 -x6551 x6902 -x7253 -x7604 -x7955 -x251 x1298 -x1647 -x3392 -x4446 -x4797 x5148 -x6903 -x7254 -x7605 -x7956 x3044 -x3745 x5500 -x253 -x602 -x951 -x1300 -x1649 -x1998 x2347 -x3394 -x4448 -x4799 -x5150 -x5501 -x5852 -x6203 -x6554 -x6905 -x7256 -x7607 x7958 -x254 -x603 -x952 -x1301 -x1650 x2348 -x3395 -x4098 -x4449 -x4800 -x5151 -x5853 -x6204 -x6555 -x6906 -x7257 -x7608 x7959 x3047 -x3748 x8311 x605 -x954 -x2001 -x2350 x5504 -x5855 -x6206 -x6557 -x257 -x1653 x2002 -x4452 -x4803 x5154 -x5505 -x258 x607 -x956 -x1654 -x2003 -x2352 -x4453 -x4804 x5155 -x5506 -x5857 -x6208 -x6559 x3051 -x3752 x5507 -x260 -x1656 x2005 -x4455 x4806 -x5157 -x610 -x959 -x1308 -x2006 x2355 -x3402 -x5509 -x5860 -x6211 -x6562 -x6913 -x7264 x7615 -x7966 x262 -x1658 -x4457 -x4808 -x5159 -x263 x1659 -x4458 -x4809 -x5160 x8319 x2707 x5512 -x8320 x265 -x1661 -x4460 -x4811 -x5162 x5513 x2709 x5514 -x8322 -x267 x616 -x965 -x1314 -x1663 -x2361 -x3408 -x4462 -x4813 -x5164 -x5866 -x6217 -x6568 x6919 -x7270 -x7621 -x7972 -x268 x1664 -x4463 -x4814 -x5165 x8324 -x618 -x967 -x2014 -x2363 x2712 -x5517 -x5868 x6219 -x6570 -x8325 x3062 -x3763 x8326 -x1318 x2016 -x3412 -x6923 x7274 -x7625 -x7976 x272 -x621 -x970 -x1668 -x2366 -x4467 -x4818 -x5169 -x5871 -x6222 x6573 x273 -x1320 -x1669 -x3414 -x4117 -x4468 -x4819 -x5170 x6925 -x7276 -x7627 -x7978 -x5522 x8330 -x624 -x973 -x1322 x2369 -x3416 -x5874 -x6225 -x6576 -x6927 -x7278 -x7629 x7980 x2719 -x3068 x3769 -x8332 -x4121 -x5876 x6227 -x6578 -x277 x626 -x975 -x1324 -x1673 -x2022 -x2371 -x3418 -x4473 -x4824 x5175 -x5526 -x5877 -x6228 -x6579 -x6930 -x7281 -x7632 -x7983 x278 -x1325 -x1674 -x3419 -x4474 -x4825 -x5176 -x6931 -x7282 x7633 -x7984 -x279 -x628 x977 -x1326 -x1675 -x2024 -x2373 -x3420 -x4475 -x4826 -x5177 -x5528 -x5879 -x6230 -x6581 -x6932 x7283 -x7634 -x7985 -x280 x629 -x978 -x1676 -x2025 -x2374 -x3072 -x3774 -x4476 x4827 -x5178 -x5880 -x6231 -x6582 x3073 -x3775 -x5530 x8338 -x282 -x1329 x1678 -x3423 -x4478 -x4829 -x5180 x6935 -x7286 -x7637 -x7988 -x283 -x1330 -x1679 x3424 -x4128 x4479 -x4830 -x5181 -x6936 -x7287 -x7638 -x7989 -x1331 x2727 -x3425 -x5533 -x6937 -x7288 -x7639 x7990 -x8341 -x1332 x3426 x5534 -x6938 -x7289 -x7640 -x7991 -x286 -x1333 -x1682 x3427 x4482 -x4833 -x5184 -x6939 -x7290 -x7641 -x7992 -x1334 x3079 -x3428 -x3781 -x6940 x7291 -x7642 -x7993 x2731 -x5537 -x8345 x638 -x987 -x2034 -x2383 x4134 -x5538 -x5889 -x6240 -x6591 -x639 -x988 -x2035 x2384 -x3082 x3784 -x4135 -x5539 -x5890 -x6241 -x6592 x8348 -x291 -x1338 x1687 -x2734 -x3432 -x4488 -x4839 -x5190 x6945 -x7296 -x7647 -x7998 -x8349 x8350 -x1340 x2736 -x3434 -x6947 -x7298 -x7649 x8000 -x8351 -x294 x1690 -x4491 -x4842 -x5193 x8352 -x295 -x644 -x993 x1342 -x1691 -x2040 -x2389 -x3436 -x4492 -x4843 -x5194 -x5545 x5896 -x6247 -x6598 -x6949 -x7300 -x7651 -x8002 -x296 -x645 x994 -x1692 -x2390 -x3088 -x646 x995 -x1344 -x2042 -x2391 -x3438 -x5546 -x5897 -x6248 -x6599 x6950 -x7301 -x7652 -x8003 x298 -x647 -x996 -x1345 -x1694 -x2043 -x2392 -x3439 -x4494 -x4845 -x5196 -x5547 -x5898 -x6249 -x6600 -x6951 -x7302 -x7653 x8004 -x299 -x648 -x997 x1346 -x1695 -x2044 -x2393 -x3440 -x4495 -x4846 -x5197 -x5548 x5899 -x6250 -x6601 -x6952 -x7303 -x7654 -x8005 -x300 x649 -x998 -x1696 -x2045 -x2394 -x4496 -x4847 x5198 -x5900 -x6251 -x6602 -x302 -x651 x1000 -x1349 -x1698 -x2047 -x2396 -x3443 -x4498 -x4849 -x5200 -x5551 -x5902 -x6253 -x6604 -x6955 x7306 -x7657 -x8008 -x8359 x2048 -x3095 -x3797 x5201 -x5552 -x6254 -x8360 -x304 -x653 -x1002 -x1700 -x2049 x2398 -x3096 -x3798 -x4500 x4851 -x5202 -x5553 -x5904 -x6255 -x6606 -x305 x1701 -x4501 -x4852 -x5203 -x5554 x2750 -x3099 x3801 -x8364 -x657 -x1006 -x2053 x2402 -x2751 -x3100 -x3802 x4153 -x5557 -x5908 -x6259 -x6610 -x8365 -x658 -x1007 -x2054 x2403 -x3101 -x3803 x4154 -x5558 -x5909 -x6260 -x6611 -x310 -x659 -x1008 -x1357 -x1706 x2055 -x2404 -x3451 -x4155 -x4506 -x4857 -x5208 -x5559 -x5910 -x6261 -x6612 -x6963 -x7314 -x7665 x8016 -x311 x1707 -x661 -x1010 -x1359 -x2057 -x2406 x3453 -x4156 -x5560 -x5911 -x6262 x6613 -x6964 -x7315 -x7666 -x8017 -x313 -x662 -x1011 -x1360 -x1709 -x2058 x2407 -x3105 -x3454 -x3806 -x4157 x4508 -x4859 -x5210 -x5561 -x5912 -x6263 -x6614 -x6965 -x7316 -x7667 -x8018 -x314 -x663 -x1012 -x1361 -x1710 -x2059 -x2408 x3455 -x4509 -x4860 -x5211 -x5562 -x5913 x6264 -x6615 -x6966 -x7317 -x7668 -x8019 x1362 -x3107 -x3456 x3808 -x5563 -x6967 -x7318 -x7669 -x8020 -x665 -x1014 x2410 -x3108 x3809 -x5915 -x6266 -x6617 x2062 -x3109 x3810 -x5565 -x318 -x667 -x1016 x1714 -x2063 -x2412 -x4513 -x4864 -x5215 -x5566 -x5917 -x6268 x6619 x319 -x1715 x4163 -x4514 -x4865 -x5216 x669 -x1018 -x2065 -x2414 x4164 -x5568 -x5919 -x6270 -x6621 -x1368 x3113 -x3462 -x3814 x6973 -x7324 -x7675 -x8026 -x322 x1718 -x3114 -x3815 x4166 -x4517 -x4868 -x5219 -x1370 x3115 -x3464 -x3816 x6975 -x7326 -x7677 -x8028 x5572 -x674 -x1023 -x1372 -x2070 -x2419 x3466 -x5573 -x5924 -x6275 x6626 -x6977 -x7328 -x7679 -x8030 -x326 x1373 -x1722 -x3467 x4521 -x4872 -x5223 -x5574 -x6978 -x7329 -x7680 -x8031 -x1374 x3468 x5575 -x6979 -x7330 -x7681 -x8032 -x328 -x1375 x1724 -x3469 -x4523 -x4874 -x5225 -x5576 x6980 -x7331 -x7682 -x8033 x2772 -x3121 x3822 -x8385 -x330 x1377 -x1726 -x3122 -x3471 -x3823 x4525 -x4876 -x5227 -x6982 -x7333 -x7684 -x8035 x2774 -x3123 x3824 -x8387 -x332 -x681 x1030 -x1728 -x2426 x4527 -x4878 -x5229 -x5931 -x6282 -x6633 x3125 -x3826 x4177 -x5581 -x334 -x683 -x1032 -x1381 -x1730 -x2079 x2428 -x3475 -x4529 -x4880 -x5231 -x5582 -x5933 -x6284 -x6635 -x6986 -x7337 x7688 -x8039 x2778 -x4179 x6285 x336 -x685 -x1034 -x1383 -x1732 -x2081 -x2430 -x2779 -x3477 -x4180 -x4531 -x4882 -x5233 -x5584 -x5935 -x6286 -x6637 -x6988 x7339 -x7690 -x8041 -x8392 x686 -x1035 -x2082 -x2431 -x2780 x5234 -x5585 -x5936 -x6287 -x6638 -x8393 x2083 x8394 -x339 -x688 -x1037 -x1386 -x1735 -x2084 -x2433 x3480 -x4534 x4885 -x5236 -x5587 -x5938 -x6289 -x6640 -x6991 -x7342 -x7693 -x8044 x2783 -x3132 x3833 -x8396 -x341 -x690 -x1039 -x1737 -x2086 x2435 -x6993 -x7344 -x7695 x8046 x342 -x1738 -x4537 -x4888 -x5239 -x5590 -x692 -x1041 -x2437 x2786 -x5942 -x6293 x6644 -x344 -x693 -x1042 -x1391 -x1740 -x2438 -x3136 x3485 -x3837 -x4188 -x4539 -x4890 -x5241 -x5943 -x6294 x6645 -x6996 -x7347 -x7698 -x8049 x1392 -x3486 -x6997 -x7348 -x7699 -x8050 x8401 -x346 -x695 -x1044 -x1393 -x1742 -x2091 -x2440 x3487 -x4541 -x4892 -x5243 -x5594 -x5945 x6296 -x6647 -x6998 -x7349 -x7700 -x8051 -x1394 -x2092 x2441 -x3139 -x3488 -x3840 -x4191 -x5946 x6999 -x7350 -x7701 -x8052 x3140 -x7000 x7351 -x7702 -x8053 x2095 -x2793 -x351 -x700 -x1747 -x2096 -x3843 -x5247 -x5598 -x5949 -x6300 -x352 -x701 -x1748 -x2097 -x2446 -x2795 -x3493 -x3844 -x5248 -x5599 -x5950 -x6301 -x8056 -x353 -x702 -x1051 -x1749 -x2098 -x3145 -x5600 -x5951 -x6302 -x6653 -x7004 -x7355 -x7706 -x354 -x703 -x1052 -x1750 -x2099 -x2448 -x2797 -x3146 -x3495 -x3846 -x5601 -x5952 -x6303 -x6654 -x7005 -x7356 -x7707 -x8058 -x6 -x1402 -x4198 -x4549 -x4900 -x5251 -x1753 -x2451 -x2800 -x3498 -x5253 -x8061 -x1754 -x3850 -x5254 -x10 -x359 -x708 -x1057 -x1406 -x2104 -x2453 -x2802 -x3151 -x3500 -x4202 -x4553 -x4904 -x5255 -x5606 -x5957 -x6308 -x6659 -x7010 -x7361 -x7712 -x8063 -x2454 -x2803 -x3501 -x5256 -x8064 -x2455 -x2804 -x3502 -x3853 -x5257 -x8065 -x2456 -x2805 -x3503 -x3854 -x8066 -x14 -x1410 -x2457 -x2806 -x3504 -x3855 -x4206 -x4557 -x4908 -x8067 -x15 -x1062 -x1411 -x2807 -x3156 -x3505 -x3856 -x4207 -x4558 -x4909 -x6664 -x7015 -x7366 -x7717 -x16 -x1063 -x1412 -x1761 -x2808 -x3157 -x3506 -x4208 -x4559 -x4910 -x5261 -x6665 -x7016 -x7367 -x7718 -x8069 -x17 -x366 -x715 -x1064 -x1413 -x1762 -x2111 -x3158 -x3858 -x4209 -x4560 -x4911 -x5262 -x5613 -x5964 -x6315 -x6666 -x7017 -x7368 -x7719 -x18 -x1065 -x1414 -x1763 -x2810 -x3159 -x3508 -x4210 -x4561 -x4912 -x5263 -x6667 -x7018 -x7369 -x7720 -x19 -x368 -x717 -x1066 -x1415 -x1764 x2113 -x2462 -x2811 -x3160 -x3509 -x3860 -x4211 -x4562 -x4913 -x5264 -x5615 -x5966 -x6317 -x6668 -x7019 -x7370 -x7721 -x20 -x369 -x718 -x1067 -x1416 -x2114 -x2463 -x3161 -x3861 -x4212 -x4563 -x4914 -x5265 -x5616 -x5967 -x6318 -x6669 -x7020 -x7371 -x7722 -x8073 -x2464 -x2813 -x3511 -x3862 -x8074 -x2465 -x2814 -x3512 -x3863 -x8075 -x2466 -x8076 -x24 -x373 -x722 -x1071 -x1420 -x1769 -x2118 -x2467 -x3165 -x4216 -x4567 -x4918 -x5269 -x5620 -x5971 -x6322 -x6673 -x7024 -x7375 -x7726 -x8077 -x25 -x1072 -x1421 -x2817 -x3166 -x3515 -x3866 -x4217 -x4568 -x4919 -x6674 -x7025 -x7376 -x7727 -x8078 -x2818 -x3516 -x3867 -x5271 -x1074 -x2470 -x3168 -x3868 -x6676 -x7027 -x7378 -x7729 -x28 -x377 -x726 -x1075 -x1424 -x1773 -x2122 -x2471 -x3169 -x3869 -x4220 -x4571 -x4922 -x5273 -x5624 -x5975 -x6326 -x6677 -x7028 -x7379 -x7730 -x29 -x1076 -x1425 -x2472 -x2821 -x3170 -x3519 -x3870 -x4221 -x4572 -x4923 -x6678 -x7029 -x7380 -x7731 -x30 -x379 -x728 -x1077 -x1426 -x1775 -x2124 -x2473 -x3171 -x3871 -x4222 -x4573 -x4924 -x5626 -x5977 -x6328 -x6679 -x7030 -x7381 -x7732 -x8083 -x31 -x380 -x729 -x1427 -x1776 -x2125 -x2823 -x3521 -x4223 -x4574 -x4925 -x5276 -x5627 -x5978 -x6329 -x32 -x381 -x730 -x1428 -x1777 -x2126 -x2824 -x3522 -x4224 -x4575 -x4926 -x5277 -x5628 -x5979 -x6330 -x2476 -x2825 -x3523 -x3874 -x8086 -x34 -x383 -x732 -x1081 -x1430 -x2128 -x2477 -x3175 -x3875 -x4226 -x4577 -x4928 -x5279 -x5630 -x5981 -x6332 -x6683 -x7034 -x7385 -x7736 -x35 -x384 -x733 -x1082 -x1431 -x2129 -x2827 -x3176 -x3525 -x3876 -x4227 -x4578 -x4929 -x5280 -x5631 -x5982 -x6333 -x6684 -x7035 -x7386 -x7737 -x385 -x734 -x1781 -x2130 -x2479 -x3877 -x5632 -x5983 -x6334 -x8089 -x38 -x1085 -x1434 -x2830 -x3179 -x3528 -x4230 -x4581 -x4932 -x6687 -x7038 -x7389 -x7740 -x2482 -x8092 -x389 -x738 -x1785 -x2134 -x2483 -x3881 -x5285 -x5636 -x5987 -x6338 -x8093 -x390 -x739 -x1786 -x2135 -x2833 -x3531 -x3882 -x5637 -x5988 -x6339 -x2485 -x8095 -x43 -x1090 -x1439 -x2486 -x3184 -x4235 -x4586 -x4937 -x6692 -x7043 -x7394 -x7745 -x8096 -x2487 -x2836 -x3534 -x3885 -x8097 -x394 -x743 -x1790 -x2139 -x5290 -x5641 -x5992 -x6343 -x2489 -x2838 -x3536 -x8099 -x397 -x746 -x1095 -x1793 -x2142 -x2491 -x3189 -x3889 -x5293 -x5644 -x5995 -x6346 -x6697 -x7048 -x7399 -x7750 -x8101 -x1096 -x2841 -x3190 -x3539 -x3890 -x6698 -x7049 -x7400 -x7751 -x1097 -x2493 -x2842 -x3191 -x3540 -x3891 -x6699 -x7050 -x7401 -x7752 -x8103 -x1098 -x2494 -x2843 -x3192 -x3541 -x3892 -x6700 -x7051 -x7402 -x7753 -x8104 -x401 -x750 -x1797 -x2146 -x2495 -x2844 -x3542 -x3893 -x5297 -x5648 -x5999 -x6350 -x8105 -x2496 -x2845 -x3543 -x8106 -x1101 -x2846 -x3195 -x3544 -x3895 -x6703 -x7054 -x7405 -x7756 -x1102 -x2498 -x2847 -x3196 -x3545 -x3896 -x6704 -x7055 -x7406 -x7757 -x8108 -x3897 -x4248 -x4599 -x4950 -x5652 -x6003 -x6354 -x6705 -x7056 -x7407 -x7758 -x56 -x405 -x754 -x1103 -x1452 -x1801 -x2150 -x2499 -x3197 -x3898 -x4249 -x4600 -x4951 -x5653 -x6004 -x6355 -x6706 -x7057 -x7408 -x7759 -x8110 -x2500 -x2849 -x3548 -x3899 -x8111 -x58 -x407 -x756 -x1105 -x1454 -x1803 -x2152 -x2501 -x3199 -x4251 -x4602 -x4953 -x5304 -x5655 -x6006 -x6357 -x6708 -x7059 -x7410 -x7761 -x8112 -x59 -x408 -x757 -x1106 -x1455 -x1804 -x2153 -x2502 -x3200 -x3901 -x4252 -x4603 -x4954 -x5305 -x5656 -x6007 -x6358 -x6709 -x7060 -x7411 -x7762 -x1107 -x2503 -x2852 -x3201 -x3551 -x3902 -x6710 -x7061 -x7412 -x7763 -x8114 -x2504 -x2853 -x3552 -x3903 -x5307 -x8115 -x2505 -x2854 -x3553 -x3904 -x5308 -x8116 -x3905 -x4256 -x4607 -x4958 -x5660 -x6011 -x6362 -x6713 -x7064 -x7415 -x7766 -x2506 -x2855 -x3555 -x8118 -x1111 -x2507 -x2856 -x3205 -x3556 -x3907 -x6715 -x7066 -x7417 -x7768 -x8119 -x65 -x414 -x763 -x1112 -x1461 -x1810 -x2159 -x2508 -x3206 -x3908 -x4259 -x4610 -x4961 -x5312 -x5663 -x6014 -x6365 -x6716 -x7067 -x7418 -x7769 -x66 -x1462 -x2509 -x2858 -x3558 -x3909 -x4260 -x4611 -x4962 -x8121 -x67 -x416 -x765 -x1114 -x1463 -x1812 -x2161 -x2510 -x3208 -x3910 -x4261 -x4612 -x4963 -x5314 -x5665 -x6016 -x6367 -x6718 -x7069 -x7420 -x7771 -x417 -x766 -x1115 -x1813 -x2162 -x2511 -x3209 -x3911 -x5666 -x6017 -x6368 -x6719 -x7070 -x7421 -x7772 -x8123 -x1116 -x2512 -x2861 -x3210 -x3561 -x3912 -x6720 -x7071 -x7422 -x7773
1800.05/1800.40	v -x8124 -x70 -x419 -x768 -x1117 -x1466 -x1815 -x2164 -x2513 -x3211 -x3913 -x4264 -x4615 -x4966 -x5668 -x6019 -x6370 -x6721 -x7072 -x7423 -x7774 -x8125 -x1118 -x2514 -x2863 -x3212 -x3563 -x3914 -x6722 -x7073 -x7424 -x7775 -x8126 -x1119 -x2515 -x2864 -x3213 -x3564 -x3915 -x6723 -x7074 -x7425 -x7776 -x8127 -x2516 -x2865 -x3565 -x3916 -x8128 -x423 -x772 -x1819 -x2168 -x2517 -x3917 -x5321 -x5672 -x6023 -x6374 -x8129 -x75 -x424 -x773 -x1122 -x1471 -x1820 -x2169 -x3216 -x3918 -x4269 -x4620 -x4971 -x5322 -x5673 -x6024 -x6375 -x6726 -x7077 -x7428 -x7779 -x425 -x774 -x1123 -x1821 -x2170 -x2519 -x3217 -x3919 -x5323 -x5674 -x6025 -x6376 -x6727 -x7078 -x7429 -x7780 -x8131 -x77 -x426 -x775 x1124 -x1473 -x1822 -x2171 -x2520 -x2869 -x3218 -x3569 -x3920 -x4271 -x4622 -x4973 -x5324 -x5675 -x6026 -x6377 -x6728 -x7079 -x7430 -x7781 -x6729 -x7080 -x7431 -x7782 -x8133 -x2521 -x2870 -x3571 -x3922 -x8134 -x2522 -x2871 -x3572 -x3923 -x8135 -x429 -x778 -x1825 -x2174 -x2523 -x2872 -x3573 -x3924 -x5328 -x5679 -x6030 -x6381 -x8136 -x430 -x779 -x1128 -x1826 -x2175 -x2524 -x3222 -x3925 -x5329 -x5680 -x6031 -x6382 -x6733 -x7084 -x7435 -x7786 -x8137 -x1129 -x2525 -x2874 -x3223 -x3575 -x3926 -x6734 -x7085 -x7436 -x7787 -x8138 -x432 -x781 -x1130 -x1828 -x2177 -x2526 -x2875 -x3224 -x3576 -x3927 -x5682 -x6033 -x6384 -x6735 -x7086 -x7437 -x7788 -x433 -x782 -x1131 -x2178 -x2527 -x2876 -x3225 -x3577 -x3928 -x5683 -x6034 -x6385 -x6736 -x7087 -x7438 -x7789 -x8140 -x2528 -x2877 -x3578 -x3929 -x8141 -x86 -x1133 -x1482 -x2529 -x2878 -x3227 -x3579 -x3930 -x4281 -x4632 -x4983 -x6738 -x7089 -x7440 -x7791 -x8142 -x436 -x785 -x1134 -x1832 -x2181 -x2530 -x2879 -x3228 -x3580 -x3931 -x5686 -x6037 -x6388 -x6739 -x7090 -x7441 -x7792 -x8143 -x2531 -x2880 -x3581 -x3932 -x8144 -x2881 -x3582 -x439 -x788 -x1835 -x2184 -x2533 -x2882 -x3583 -x3934 -x5689 -x6040 -x6391 -x8146 -x1138 -x1836 -x2534 -x2883 -x3232 -x3584 -x3935 -x5339 -x6743 -x7094 -x7445 -x7796 -x8147 -x93 -x442 -x791 -x1140 -x1489 -x2187 -x2536 -x3234 -x3937 -x4288 -x4639 -x4990 -x5692 -x6043 -x6394 -x6745 -x7096 -x7447 -x7798 -x8149 -x443 -x792 -x1839 -x2188 -x5342 -x5693 -x6044 -x6395 -x2538 -x2887 -x3588 -x3939 -x8151 -x2539 -x2888 -x3589 -x8152 -x97 -x1493 -x2540 -x2889 -x3590 -x3941 -x4292 -x4643 -x4994 -x448 -x797 -x1146 -x2193 -x2542 -x2891 -x3240 -x3592 -x3943 -x5698 -x6049 -x6400 -x6751 -x7102 -x7453 -x7804 -x8155 -x2543 -x2892 -x3593 -x3944 -x8156 -x450 -x799 -x1148 -x1846 -x2195 -x2544 -x2893 -x3242 -x3594 -x3945 -x5700 -x6051 -x6402 -x6753 -x7104 -x7455 -x7806 -x8157 -x2545 -x2894 -x3595 -x3946 -x8158 -x3947 -x4298 -x4649 -x5000 -x5702 -x6053 -x6404 -x6755 -x7106 -x7457 -x7808 -x8159 -x453 -x802 -x2198 -x2896 -x3598 -x3949 -x5704 -x6055 -x6406 -x2548 -x2897 -x3599 -x8162 -x106 -x1153 -x1502 -x2549 -x2898 -x3247 -x3600 -x3951 -x4302 -x4653 -x5004 -x6759 -x7110 -x7461 -x7812 -x8163 -x107 -x1503 -x2550 -x2899 -x3601 -x4303 -x4654 -x5005 -x108 -x1504 -x2900 -x3602 -x3953 -x4304 -x4655 -x5006 -x109 -x1156 -x1505 -x3250 -x3954 -x4305 -x4656 -x5007 -x6762 -x7113 -x7464 -x7815 -x110 -x1506 -x2553 -x2902 -x3604 -x4306 -x4657 -x5008 -x8167 -x111 -x460 -x809 -x1158 -x1507 -x1856 -x2205 -x3252 -x3956 -x4307 -x4658 -x5009 -x5360 -x5711 -x6062 -x6413 -x6764 -x7115 -x7466 -x7817 -x1159 -x2555 -x2904 -x3253 -x3606 -x3957 -x6765 -x7116 -x7467 -x7818 -x8169 -x113 -x462 -x811 -x1160 -x1509 -x1858 -x2207 -x2556 -x3254 -x3958 -x4309 -x4660 -x5011 -x5362 -x5713 -x6064 -x6415 -x6766 -x7117 -x7468 -x7819 -x1161 -x2557 -x2906 -x3255 -x3608 -x6767 -x7118 -x7469 -x7820 -x8171 -x2558 -x8172 -x116 -x465 -x814 -x1163 -x1512 -x1861 -x2210 -x3257 -x3961 -x4312 -x4663 -x5014 -x5365 -x5716 -x6067 -x6418 -x6769 -x7120 -x7471 -x7822 -x466 -x815 -x1862 -x2211 -x2560 -x2909 -x3611 -x5366 -x5717 -x6068 -x6419 -x8174 -x1165 -x2561 -x3259 -x6771 -x7122 -x7473 -x7824 -x8175 -x468 -x817 -x1166 -x1864 -x2213 -x2562 -x3260 -x3964 -x5719 -x6070 -x6421 -x6772 -x7123 -x7474 -x7825 -x8176 -x2563 -x2912 -x3614 -x3965 -x8177 -x121 -x1517 -x2564 -x3966 -x4317 -x4668 -x5019 -x8178 -x1169 -x2565 -x2914 -x3263 -x3616 -x3967 -x6775 -x7126 -x7477 -x7828 -x8179 -x1170 -x1868 -x2566 -x3264 -x3968 -x5372 -x6776 -x7127 -x7478 -x7829 -x8180 -x125 -x1172 -x1521 -x2568 -x2917 -x3266 -x3619 -x3970 -x4321 -x4672 -x5023 -x6778 -x7129 -x7480 -x7831 -x8182 -x1871 -x2569 -x5375 -x8183 -x476 -x825 -x1174 -x1872 -x2221 -x2570 -x2919 -x3268 -x3621 -x3972 -x5727 -x6078 -x6429 -x6780 -x7131 -x7482 -x7833 -x8184 -x2571 -x2920 -x3622 -x3973 -x8185 -x2572 -x2921 -x3623 -x8186 -x3975 -x1178 -x2574 -x2923 -x3272 -x3625 -x3976 -x6784 -x7135 -x7486 -x7837 -x8188 -x1179 -x2575 -x2924 -x3273 -x3626 -x3977 -x6785 -x7136 -x7487 -x7838 -x8189 -x133 -x1529 -x2925 -x3627 -x3978 -x4329 -x4680 -x5031 -x2577 -x2926 -x3628 -x3979 -x8191 -x135 -x484 -x833 -x1531 -x2229 -x2578 -x3980 -x4331 -x4682 -x5033 -x5735 -x6086 -x6437 -x8192 -x136 -x485 -x834 -x1183 -x1532 -x2230 -x2579 -x2928 -x3277 -x3630 -x3981 -x4332 -x4683 -x5034 -x5385 -x5736 -x6087 -x6438 -x6789 -x7140 -x7491 -x7842 -x2580 -x2929 -x3631 -x3982 -x8194 -x1185 -x2581 -x2930 -x3279 -x3632 -x3983 -x6791 -x7142 -x7493 -x7844 -x8195 -x139 -x1535 -x2582 -x2931 -x3633 -x3984 -x4335 -x4686 -x5037 -x8196 -x2583 -x2932 -x3634 -x3985 -x8197 -x141 -x1537 -x4337 -x4688 -x5039 -x143 -x1539 -x2586 -x2935 -x3637 -x3988 -x4339 -x4690 -x5041 -x8200 -x2587 -x2936 -x3638 -x3989 -x8201 -x145 -x494 -x843 x1192 -x1541 -x1890 -x2239 -x2588 -x2937 -x3286 -x3639 -x3990 -x4341 -x4692 -x5043 -x5394 x5745 -x6096 -x6447 -x6798 -x7149 -x7500 -x7851 -x8202 -x495 -x844 -x1891 -x2240 -x2589 -x3991 -x5395 -x5746 -x6097 -x6448 -x8203 -x496 -x845 -x1892 -x2241 -x2939 -x3641 -x3992 -x5396 -x5747 -x6098 -x6449 -x8204 -x148 -x1544 -x2591 -x2940 -x3642 -x3993 -x4344 -x4695 -x5046 -x8205 -x1196 -x2592 -x2941 -x3290 -x3643 -x6802 -x7153 -x7504 -x7855 -x8206 -x1197 -x2593 -x3291 -x3995 -x6803 -x7154 -x7505 -x7856 -x8207 -x151 -x500 -x849 -x1198 -x1547 -x1896 -x2245 -x3292 -x3996 -x4347 -x4698 -x5049 -x5751 -x6102 -x6453 -x6804 -x7155 -x7506 -x7857 -x152 -x1548 -x2944 -x3646 -x3997 -x4348 -x4699 -x5050 -x502 -x851 -x1200 -x1898 -x2247 -x3294 -x3998 -x5402 -x5753 -x6104 -x6455 -x6806 -x7157 -x7508 -x7859 -x2597 -x2946 -x3648 -x3999 -x8211 -x504 -x853 -x1202 -x2249 -x2598 -x2947 -x3296 -x3649 -x4000 -x5404 -x5755 -x6106 -x6457 -x6808 -x7159 -x7510 -x7861 -x505 -x854 -x1203 -x1901 -x2250 -x2599 -x3297 -x4001 -x5756 -x6107 -x6458 -x6809 -x7160 -x7511 -x7862 -x157 -x1204 -x1553 -x2600 -x2949 -x3298 -x3651 -x4002 -x4353 -x4704 -x5055 -x6810 -x7161 -x7512 -x7863 -x8214 -x2601 -x2950 -x3652 -x4003 -x8215 -x2602 -x2951 -x3653 -x4004 -x8216 -x1207 -x2603 -x2952 -x3301 -x3654 -x4005 -x6813 -x7164 -x7515 -x7866 -x8217 -x2604 -x2953 -x3655 -x4006 -x8218 -x162 -x511 -x860 -x1209 -x1558 -x2256 -x2954 -x3303 -x3656 -x4007 -x4358 -x4709 -x5060 -x5762 -x6113 -x6464 -x6815 -x7166 -x7517 -x7868 -x512 -x861 -x1908 -x2257 -x2606 -x2955 -x3657 -x5412 -x5763 -x6114 -x6465 -x8220 -x2607 -x2956 -x3658 -x4009 -x8221 -x514 -x863 -x1212 -x1910 -x2259 -x2608 -x3306 -x5414 -x5765 -x6116 -x6467 -x6818 -x7169 -x7520 -x7871 -x8222 -x1213 -x2609 -x2958 -x3307 -x3660 -x6819 -x7170 -x7521 -x7872 -x8223 -x2610 -x2959 -x3661 -x8224 -x168 -x1215 -x1564 -x2611 -x3309 -x4013 -x4364 -x4715 -x5066 -x6821 -x7172 -x7523 -x7874 -x8225 -x169 -x1565 -x2612 -x2961 -x3663 -x4365 -x4716 -x5067 -x8226 -x519 -x868 -x1217 -x1915 -x2264 -x2613 -x3311 -x4015 -x5770 -x6121 -x6472 -x6823 -x7174 -x7525 -x7876 -x1218 -x2614 -x2963 -x3312 -x3665 -x6824 -x7175 -x7526 -x7877 -x8228 -x521 -x870 -x1219 -x2266 -x2615 -x2964 -x3313 -x3666 -x4017 -x5421 -x5772 -x6123 -x6474 -x6825 -x7176 -x7527 -x7878 -x1220 -x2616 -x2965 -x3314 -x3667 -x6826 -x7177 -x7528 -x7879 -x8230 -x3668 -x1221 -x2617 -x2966 -x3315 -x3669 -x6828 -x7179 -x7530 -x7881 -x8232 -x524 -x873 -x1920 -x2269 -x2618 -x4021 -x5425 -x5776 -x6127 -x6478 -x8233 -x176 -x1223 -x1572 -x3317 -x4022 -x4373 -x4724 -x5075 -x6830 -x7181 -x7532 -x7883 -x177 -x526 -x875 -x1573 -x2271 -x2620 -x2969 -x3672 -x4374 -x4725 -x5076 -x5778 -x6129 -x6480 -x8235 -x178 -x1574 -x1923 -x2621 -x2970 -x3673 -x4375 -x4726 -x5077 -x5428 -x8236 -x528 -x877 -x1924 -x2273 -x5429 -x5780 -x6131 -x6482 -x180 -x529 -x878 -x1576 -x1925 -x2274 -x2972 -x3675 -x4026 -x4377 -x4728 -x5079 -x5781 -x6132 -x6483 -x1228 -x2624 -x3322 -x531 -x880 -x1927 -x2276 -x2625 -x4027 -x5431 -x5782 -x6133 -x6484 -x8239 -x2626 -x8240 -x2627 -x8241 -x2977 -x3679 -x535 -x884 -x1931 -x2280 -x2629 -x4031 -x5435 -x5786 -x6137 -x6488 -x8243 -x1932 -x2630 -x2979 -x3681 -x5436 -x8244 -x188 -x537 -x886 -x1584 -x1933 -x2282 -x2631 -x2980 -x3682 -x4033 -x4384 -x4735 -x5086 -x5437 -x5788 -x6139 -x6490 -x2632 -x2981 -x3683 -x8246 -x539 -x888 -x1935 -x2284 -x2633 -x2982 -x3684 -x4035 -x5439 -x5790 -x6141 -x6492 -x2634 -x2983 -x3685 -x192 -x541 -x890 -x1239 -x1588 -x1937 -x2286 -x2984 -x3333 -x3686 -x4037 -x4388 -x4739 -x5090 -x5792 -x6143 -x6494 -x6845 -x7196 -x7547 -x7898 -x2985 -x3687 -x2637 -x2986 -x3688 -x4039 -x8251 -x544 -x893 -x1940 -x2289 -x4040 -x5444 -x5795 -x6146 -x6497 -x2639 -x2988 -x3690 -x4041 -x8253 -x546 -x895 -x1942 -x2291 -x4042 -x5446 -x5797 -x6148 -x6499 -x2641 -x2990 -x3692 -x4043 -x8255 -x199 -x548 -x897 -x1595 -x1944 -x2293 -x2642 -x2991 -x3693 -x4395 -x4746 -x5097 -x5448 -x5799 -x6150 -x6501 -x8256 -x200 -x549 -x898 -x1596 -x1945 -x2294 -x2992 -x3694 -x4396 -x4747 -x5098 -x5449 -x5800 -x6151 -x6502 -x550 -x899 -x1248 -x1946 -x2295 -x3342 -x4046 -x5450 -x5801 -x6152 -x6503 -x6854 -x7205 -x7556 -x7907 -x202 -x1598 -x2994 -x3696 -x4398 -x4749 -x5100 -x1250 -x3344 -x6856 -x7207 -x7558 -x7909 -x2647 -x2996 -x3698 -x4049 -x8261 -x1252 -x2648 -x2997 -x3346 -x3699 -x4050 -x6858 -x7209 -x7560 -x7911 -x8262 -x1253 -x2649 -x2998 -x3347 -x3700 -x6859 -x7210 -x7561 -x7912 -x8263 -x2650 -x2999 -x3701 -x8264 -x2651 -x3000 -x3702 -x4053 -x8265 -x559 -x908 -x2304 -x2653 -x3002 -x3704 -x4055 -x5810 -x6161 -x6512 -x560 -x909 -x1258 -x1956 -x2305 -x3003 -x3352 -x3705 -x5460 -x5811 -x6162 -x6513 -x6864 -x7215 -x7566 -x7917 -x8268 -x561 -x910 -x2306 -x2655 -x3004 -x3706 -x4057 -x5812 -x6163 -x6514 -x213 -x1260 -x1609 -x3005 -x3354 -x3707 -x4409 -x4760 -x5111 -x6866 -x7217 -x7568 -x7919 -x563 -x912 -x1261 -x1959 -x2308 -x3355 -x5463 -x5814 -x6165 -x6516 -x6867 -x7218 -x7569 -x7920 -x8271 -x564 -x913 -x1262 -x1960 -x2309 -x3007 -x3356 -x3709 -x4060 -x5815 -x6166 -x6517 -x6868 -x7219 -x7570 -x7921 -x565 -x914 -x1263 -x1961 -x2310 -x2659 -x3357 -x4061 -x5816 -x6167 -x6518 -x6869 -x7220 -x7571 -x7922 -x8273 -x217 -x1613 -x3009 -x3711 -x4413 -x4764 -x5115 -x218 -x1614 -x2661 -x4414 -x4765 -x5116 -x8275 -x2662 -x3011 -x3713 -x4064 -x8276 -x220 -x1616 -x2663 -x4416 -x4767 -x5118 -x8277 -x570 -x919 -x1268 -x1966 -x2315 -x2664 -x3013 -x3362 -x3715 -x5821 -x6172 -x6523 -x6874 -x7225 -x7576 -x7927 -x8278 -x2665 -x3014 -x3716 -x8279 -x572 -x921 -x1968 -x2317 -x4068 -x5472 -x5823 -x6174 -x6525 -x224 -x573 -x922 -x1271 -x1620 -x2318 -x2667 -x3016 -x3365 -x3718 -x4069 -x4420 -x4771 -x5122 -x5824 -x6175 -x6526 -x6877 x7228 -x7579 -x7930 -x8281 -x574 -x923 -x1272 -x1970 -x2319 -x2668 -x3017 -x3366 -x3719 -x5474 -x5825 -x6176 -x6527 -x6878 -x7229 -x7580 -x7931 -x8282 -x2669 -x3018 -x3720 -x4071 -x8283 -x2670 -x577 -x926 -x1275 -x1973 -x2322 -x3020 -x3369 -x3721 -x5827 -x6178 -x6529 -x6880 -x7231 -x7582 -x7933 -x2672 -x3021 -x3722 -x4073 -x8285 -x579 -x928 -x1277 -x1975 -x2324 -x2673 -x3371 -x4074 -x5829 -x6180 -x6531 -x6882 -x7233 -x7584 -x7935 -x580 -x929 -x1278 -x1976 -x2325 -x3023 -x3372 -x3724 -x5830 -x6181 -x6532 -x6883 -x7234 -x7585 -x7936 -x2675 -x3024 -x3725 -x8288 -x233 -x1280 -x1629 -x1978 -x3025 -x3374 -x3726 -x4428 -x4779 -x5130 -x5481 -x6885 -x7236 -x7587 -x7938 -x584 -x933 -x1282 -x2329 -x2678 -x3027 -x3376 -x3728 -x4079 -x5483 -x5834 -x6185 -x6536 -x6887 -x7238 -x7589 -x7940 -x8291 -x236 -x585 -x934 -x1632 -x2330 -x3028 -x3729 -x4431 -x4782 -x5133 -x5835 -x6186 -x6537 -x4081 -x1285 -x2681 -x3030 -x3379 -x3731 -x4082 -x6890 -x7241 -x7592 -x7943 -x8294 -x239 -x1635 -x1984 -x2682 -x3031 -x3732 -x4434 -x4785 -x5136 -x5487 -x8295 -x2683 -x3032 -x3733 -x4084 -x8296 -x590 -x939 -x1288 -x2335 -x2684 -x3033 -x3382 -x3734 -x4085 -x5840 -x6191 -x6542 -x6893 -x7244 -x7595 -x7946 -x8297 -x591 -x940 -x1987 -x2336 -x3034 -x3735 -x4086 -x5490 -x5841 -x6192 -x6543 -x2686 -x3035 -x3736 -x4087 -x8299 -x593 -x942 -x1989 -x2338 -x3036 -x3737 -x4088 -x5492 -x5843 -x6194 -x6545 -x245 -x1641 -x4089 -x4440 -x4791 -x5142 -x595 -x944 -x1991 -x2340 -x2689 -x3038 -x3739 -x4090 -x5494 -x5845 -x6196 -x6547 -x8302 -x3039 -x3740 -x248 -x597 -x946 -x1295 -x1644 -x1993 -x2342 -x2691 -x3389 -x4092 -x4443 -x4794 -x5145 -x5847 -x6198 -x6549 -x6900 -x7251 -x7602 -x7953 -x8304 -x249 -x1296 -x1645 -x3041 -x3390 -x3742 -x4093 -x4444 -x4795 -x5146 -x6901 -x7252 -x7603 -x7954 -x1995 -x2693 -x3042 -x3743 -x4094 -x5498 -x8306 -x600 -x949 -x1996 -x2345 -x2694 -x3043 -x3744 -x4095 -x5499 -x5850 -x6201 -x6552 -x8307 -x252 -x601 -x950 -x1299 -x1648 -x1997 -x2346 -x2695 -x3393 -x4096 -x4447 -x4798 -x5149 -x5851 -x6202 -x6553 -x6904 -x7255 -x7606 -x7957 -x8308 -x2696 -x3045 -x3746 -x4097 -x8309 -x1999 -x2697 -x3046 -x3747 -x5502 -x8310 -x255 -x604 -x953 -x1302 -x1651 -x2000 -x2349 -x3396 -x4099 -x4450 -x4801 -x5152 -x5503 -x5854 -x6205 -x6556 -x6907 -x7258 -x7609 -x7960 -x2699 -x3048 -x3749 -x4100 -x8312 -x606 -x955 -x1304 -x2351 -x2700 -x3049 -x3398 -x3750 -x4101 -x5856 -x6207 -x6558 -x6909 -x7260 -x7611 -x7962 -x8313 -x1305 -x2701 -x3050 -x3399 -x3751 -x4102 -x6910 -x7261 -x7612 -x7963 -x8314 -x259 -x608 -x957 -x1306 -x1655 -x2004 -x2353 -x2702 -x3400 -x4103 -x4454 -x4805 -x5156 -x5858 -x6209 -x6560 -x6911 -x7262 -x7613 -x7964 -x8315 -x2703 -x3052 -x3753 -x4104 -x5508 -x8316 -x2704 -x3053 -x3754 -x4105 -x8317 -x2705 -x3054 -x3755 -x8318 -x612 -x961 -x1310 -x2008 -x2357 -x2706 -x3055 -x3404 -x3756 -x4107 -x5511
1800.05/1800.40	v -x5862 -x6213 -x6564 -x6915 -x7266 -x7617 -x7968 -x264 -x1660 -x3056 -x3757 -x4459 -x4810 -x5161 -x614 -x963 -x1312 -x2010 -x2359 -x2708 -x3057 -x3406 -x3758 -x4109 -x5864 -x6215 -x6566 -x6917 -x7268 -x7619 -x7970 -x8321 -x266 -x615 -x964 -x1313 -x1662 -x2011 -x2360 -x3058 -x3407 -x3759 -x4110 -x4461 -x4812 -x5163 -x5865 -x6216 -x6567 -x6918 -x7269 -x7620 -x7971 -x3059 -x3760 -x617 -x966 -x1315 -x2013 -x2362 -x2711 -x3060 -x3409 -x3761 -x4112 -x5516 -x5867 -x6218 -x6569 -x6920 -x7271 -x7622 -x7973 -x269 -x1316 -x1665 -x3061 -x3410 -x3762 -x4113 -x4464 -x4815 -x5166 -x6921 -x7272 -x7623 -x7974 -x270 -x619 -x968 -x1317 -x1666 -x2015 -x2364 -x2713 -x3411 -x4114 -x4465 -x4816 -x5167 -x5518 -x5869 -x6220 -x6571 -x6922 -x7273 -x7624 -x7975 -x271 -x620 -x969 -x1667 -x2365 -x2714 -x3063 -x3764 -x4115 -x4466 -x4817 -x5168 -x5519 -x5870 -x6221 -x6572 -x8327 -x2715 -x3064 -x3765 -x4116 -x8328 -x2018 -x3065 -x3766 -x5521 -x274 -x623 -x972 -x1321 -x1670 -x2019 -x2368 -x3415 -x4118 -x4469 -x4820 -x5171 -x5873 -x6224 -x6575 -x6926 -x7277 -x7628 -x7979 -x2718 -x3067 -x3768 -x4119 -x8331 -x276 -x625 -x974 -x1323 -x1672 -x2021 -x2370 -x3417 -x4120 -x4471 -x4822 -x5173 -x5524 -x5875 -x6226 -x6577 -x6928 -x7279 -x7630 -x7981 -x3770 -x2720 -x3069 -x3771 -x4122 -x8334 -x627 -x976 -x2023 -x2372 -x2721 -x3070 -x3772 -x4123 -x5527 -x5878 -x6229 -x6580 -x8335 -x2722 -x3071 -x3773 -x4124 -x8336 -x2723 -x8337 -x281 -x630 -x979 -x1328 -x1677 -x2026 -x2375 -x3422 -x4126 -x4477 -x4828 -x5179 -x5881 -x6232 -x6583 -x6934 -x7285 -x7636 -x7987 -x631 -x980 -x2027 -x2376 -x3074 -x3776 -x4127 -x5531 -x5882 -x6233 -x6584 -x632 -x981 -x2028 -x2377 -x2726 -x3075 -x3777 -x5532 -x5883 -x6234 -x6585 -x8340 -x284 -x633 -x982 -x1680 -x2029 -x2378 -x4129 -x4480 -x4831 -x5182 -x5884 -x6235 -x6586 -x285 -x634 -x983 -x1681 -x2030 -x2379 -x2728 -x3077 -x3779 -x4130 -x4481 -x4832 -x5183 -x5885 -x6236 -x6587 -x8342 -x287 -x636 -x985 -x1683 -x2032 -x2381 -x2730 -x4132 -x4483 -x4834 -x5185 -x5536 -x5887 -x6238 -x6589 -x8344 -x637 -x986 -x2033 -x2382 -x4133 -x5888 -x6239 -x6590 -x2732 -x3081 -x3783 -x8346 -x2733 -x8347 -x4487 -x4838 -x5189 -x5540 -x5891 -x6242 -x6593 -x6944 -x7295 -x7646 -x7997 -x640 -x989 -x2036 -x2385 -x3083 -x3786 -x4137 -x5541 -x5892 -x6243 -x6594 -x292 -x1339 -x1688 -x3433 -x4489 -x4840 -x5191 -x6946 -x7297 -x7648 -x7999 -x293 -x642 -x991 -x1689 -x2038 -x2387 -x3085 -x3788 -x4139 -x4490 -x4841 -x5192 -x5543 -x5894 -x6245 -x6596 -x643 -x992 -x1341 -x2039 -x2388 -x3086 -x3435 -x3789 -x4140 -x5544 -x5895 -x6246 -x6597 -x6948 -x7299 -x7650 -x8001 -x2738 -x3087 -x3790 -x4141 -x8353 -x2041 -x2739 -x297 -x1693 -x2740 -x3089 -x3791 -x4142 -x4493 -x4844 -x5195 -x8354 -x2741 -x3090 -x3792 -x4143 -x8355 -x2742 -x3091 -x3793 -x4144 -x8356 -x1347 -x2743 -x3092 -x3441 -x3794 -x4145 -x6953 -x7304 -x7655 -x8006 -x8357 -x301 -x650 -x999 -x1348 -x1697 x2046 -x2395 -x2744 -x3093 -x3442 -x3795 -x4146 -x4497 -x4848 -x5199 -x5550 -x5901 -x6252 -x6603 -x6954 -x7305 x7656 -x8007 -x8358 -x2745 -x3094 -x3796 -x4147 -x1351 -x2747 -x3445 -x4149 -x6957 -x7308 -x7659 -x8010 -x8361 -x1352 -x2748 -x3097 -x3446 -x3799 -x4150 -x6958 -x7309 -x7660 -x8011 -x8362 -x307 -x656 -x1005 -x1354 -x1703 -x2052 -x2401 -x3448 -x4152 -x4503 -x4854 -x5205 -x5556 -x5907 -x6258 -x6609 -x6960 -x7311 -x7662 -x8013 -x308 -x1355 -x1704 -x3449 -x4504 -x4855 -x5206 -x6961 -x7312 -x7663 -x8014 -x309 -x1356 -x1705 -x2752 -x3450 -x4505 -x4856 -x5207 -x6962 -x7313 -x7664 -x8015 -x8366 -x2753 -x3102 -x3804 -x8367 -x2756 -x8369 -x2757 -x3106 -x3807 -x4158 -x8370 -x315 -x664 -x1013 -x1711 -x2060 -x2409 -x2758 -x4159 -x4510 -x4861 -x5212 -x5914 -x6265 -x6616 -x8371 -x316 -x1363 -x1712 -x2061 -x2759 -x3457 -x4160 -x4511 -x4862 -x5213 -x5564 -x6968 -x7319 -x7670 -x8021 -x8372 -x317 -x666 -x1015 -x1713 -x2411 -x2760 -x4161 -x4512 -x4863 -x5214 -x5916 -x6267 -x6618 -x8373 -x1365 -x2761 -x3110 -x3459 -x3811 -x4162 -x6970 -x7321 -x7672 -x8023 -x8374 -x668 -x1017 -x1366 -x2064 -x2413 -x2762 -x3111 -x3460 -x3812 -x5567 -x5918 -x6269 -x6620 -x6971 -x7322 -x7673 -x8024 -x8375 -x320 -x1367 -x1716 -x2763 -x3112 -x3461 -x3813 -x4515 -x4866 -x5217 -x6972 -x7323 -x7674 -x8025 -x8376 -x670 -x1019 -x2066 -x2415 -x2764 -x4165 -x5569 -x5920 -x6271 -x6622 -x8377 -x2766 -x8379 -x324 -x673 x1022 -x1371 -x1720 -x2069 -x2418 -x2767 -x3116 -x3465 -x3817 -x4168 -x4519 -x4870 -x5221 -x5923 -x6274 -x6625 -x6976 -x7327 -x7678 -x8029 -x8380 -x325 -x1721 -x2768 -x3117 -x3818 -x4169 -x4520 -x4871 -x5222 -x8381 -x2769 -x3118 -x3819 -x8382 -x327 -x676 -x1025 -x1723 -x2072 -x2421 -x2770 -x3119 -x3820 -x4171 -x4522 -x4873 -x5224 -x5926 -x6277 -x6628 -x8383 -x2771 -x3120 -x3821 -x8384 -x329 -x678 -x1027 -x1376 -x1725 -x2074 -x2423 -x3470 -x4173 -x4524 -x4875 -x5226 -x5577 -x5928 -x6279 -x6630 -x6981 -x7332 -x7683 -x8034 -x679 -x1028 -x2075 -x2424 -x2773 -x4174 -x5578 -x5929 -x6280 -x6631 -x8386 -x331 -x680 -x1029 -x1378 -x1727 -x2076 -x2425 -x3472 -x4175 -x4526 -x4877 -x5228 -x5579 -x5930 -x6281 -x6632 -x6983 -x7334 -x7685 -x8036 -x2775 -x3124 -x3825 -x4176 -x8388 -x333 -x682 -x1031 -x1380 -x1729 -x2078 -x2427 -x2776 -x3474 -x4528 -x4879 -x5230 -x5932 -x6283 -x6634 -x6985 -x7336 -x7687 -x8038 -x2777 -x3126 -x3827 -x4178 -x8390 -x335 -x1382 -x1731 -x3476 -x4530 -x4881 -x5232 -x6987 -x7338 -x7689 -x8040 -x4181 -x338 -x687 -x1036 -x1385 -x1734 -x2432 -x2781 -x3130 -x3479 -x3831 -x4182 -x4533 -x4884 -x5235 -x5586 -x5937 -x6288 -x6639 -x6990 -x7341 -x7692 -x8043 -x2782 -x3131 -x3832 -x4183 -x8395 -x2784 -x3133 -x4185 -x4536 -x4887 -x5238 -x5589 -x5940 -x6291 -x6642 -x8397 -x691 -x1040 -x1389 -x2087 -x2436 -x2785 -x3483 -x5941 -x6292 -x6643 -x6994 -x7345 -x7696 -x8047 -x8398 -x343 -x1390 -x1739 -x2088 -x3484 -x4187 -x4538 -x4889 -x5240 -x5591 -x6995 -x7346 -x7697 -x8048 -x8399 -x2089 -x2787 -x5592 -x8400 -x345 -x1741 -x3137 -x3838 -x4189 -x4540 -x4891 -x5242 -x2789 -x3138 -x3839 -x4190 -x8402 -x2790 -x8403 -x3841 -x4543 -x4894 -x5245 -x5596 -x5947 -x6298 -x6649 -x8404 -x349 -x698 -x1047 -x1396 -x1745 -x2094 -x2443 -x3141 -x3490 -x350 -x699 -x1048 -x1397 -x1746 -x2444 -x3142 -x3491 -x3842 -x4193 -x4544 -x4895 -x5246 -x5597 -x5948 -x6299 -x6650 x7001 -x7352 -x7703 -x8054 -x8405 x1 -x7 -x8 -x9 -x23 -x37 -x39 -x40 -x42 -x44 -x45 -x46 -x47 -x53 -x64 -x79 -x89 -x92 -x98 -x100 -x103 -x117 -x119 -x120 -x124 -x128 -x130 -x140 -x149 -x150 -x153 -x158 -x160 -x161 -x167 -x172 -x179 -x183 -x184 -x185 -x189 -x193 -x216 -x222 -x234 -x237 -x240 -x241 -x243 -x256 -x261 -x275 -x288 -x289 -x290 -x303 -x306 -x312 -x321 -x323 -x337 -x340 -x347 -x348 -x355 -x358 -x372 x376 -x386 -x388 -x391 -x393 -x395 -x396 -x399 -x412 -x418 -x427 -x437 -x438 -x445 -x447 -x454 -x457 -x463 -x464 -x469 -x471 -x473 -x477 -x479 -x481 -x490 -x491 -x493 -x507 x510 x532 x533 -x534 -x551 -x556 -x558 -x566 -x567 -x568 -x571 -x576 -x583 -x586 -x587 -x589 -x594 -x596 -x598 -x609 -x611 -x613 -x622 -x635 -x641 -x652 -x654 -x655 -x660 -x671 -x672 -x675 -x677 -x684 -x689 -x694 -x696 -x697 -x704 -x707 x721 -x723 -x725 -x735 -x737 -x740 x742 -x744 -x745 -x748 -x761 -x767 -x776 -x786 -x787 -x794 -x796 -x803 -x806 -x812 -x813 -x818 -x820 -x822 -x826 -x828 -x830 -x839 -x840 -x842 -x856 -x859 -x881 -x882 -x883 -x900 -x905 -x907 -x915 -x916 -x917 -x920 -x925 -x932 -x935 -x936 -x938 -x943 -x945 -x947 -x958 -x960 -x962 -x971 -x984 -x990 -x1001 -x1003 -x1004 -x1009 -x1020 -x1021 -x1024 -x1026 -x1033 -x1038 -x1043 -x1045 -x1046 -x1054 -x1055 -x1070 -x1083 -x1084 -x1086 -x1087 -x1088 -x1089 -x1091 -x1092 x1093 -x1094 -x1110 -x1121 -x1137 -x1142 -x1143 -x1145 -x1149 -x1151 -x1152 -x1155 -x1162 -x1167 -x1175 -x1176 -x1189 -x1194 -x1199 -x1208 -x1214 -x1222 -x1226 -x1230 -x1231 -x1232 -x1237 -x1240 -x1254 -x1257 -x1259 -x1265 -x1269 -x1281 -x1283 -x1284 x1287 -x1292 -x1303 -x1307 -x1309 -x1311 -x1319 -x1327 -x1335 -x1336 -x1337 -x1343 -x1350 x1353 -x1358 -x1364 -x1369 -x1379 -x1384 -x1387 -x1388 -x1395 -x1403 -x1404 -x1405 -x1419 -x1433 -x1435 x1436 -x1438 -x1440 -x1441 -x1442 -x1443 -x1449 x1460 -x1475 -x1485 -x1488 -x1494 -x1496 -x1499 -x1513 -x1515 -x1516 -x1520 -x1524 -x1526 -x1536 -x1545 -x1546 -x1549 -x1554 -x1556 -x1557 -x1563 -x1568 -x1575 -x1579 -x1580 -x1581 -x1585 -x1589 -x1605 -x1612 -x1618 -x1630 -x1633 -x1636 -x1637 -x1639 -x1652 -x1657 -x1671 -x1684 -x1685 -x1686 -x1699 -x1702 -x1708 -x1717 -x1719 -x1733 -x1736 -x1743 -x1744 -x1751 -x1768 -x1770 -x1772 -x1782 -x1784 -x1787 -x1789 -x1791 -x1792 -x1795 -x1808 -x1814 -x1823 -x1824 -x1833 -x1834 -x1837 -x1840 -x1841 -x1842 -x1843 -x1845 -x1847 -x1848 -x1850 -x1852 -x1853 -x1860 -x1867 -x1869 -x1875 x1877 -x1886 -x1889 -x1903 -x1906 -x1928 -x1929 -x1930 -x1947 -x1952 -x1962 -x1963 -x1964 -x1967 -x1972 -x1977 -x1979 -x1982 -x1985 -x1992 -x1994 -x2007 -x2009 -x2012 -x2017 -x2020 -x2031 -x2037 -x2050 -x2051 -x2056 -x2067 -x2068 -x2071 -x2073 -x2077 -x2080 -x2085 -x2090 -x2093 -x2100 -x2103 -x2117 -x2119 -x2121 -x2131 -x2133 -x2136 -x2138 -x2140 -x2141 -x2144 -x2157 -x2163 -x2172 -x2182 -x2183 -x2190 -x2192 -x2199 -x2202 -x2208 -x2209 -x2214 -x2216 -x2218 -x2222 -x2224 -x2226 -x2235 -x2238 -x2252 -x2255 -x2277 -x2278 x2279 -x2296 -x2301 -x2311 -x2312 -x2313 -x2316 -x2321 -x2328 -x2331 -x2332 -x2334 -x2339 -x2341 -x2343 -x2354 -x2356 -x2358 -x2367 -x2380 x2386 -x2397 -x2399 -x2400 -x2405 -x2416 -x2417 -x2420 -x2422 -x2429 -x2434 -x2439 -x2442 -x2447 -x2450 -x2452 x2460 -x2469 -x2474 -x2475 -x2478 -x2484 x2518 -x2532 -x2535 -x2541 -x2546 -x2547 -x2559 -x2567 -x2573 -x2584 -x2585 -x2595 -x2619 -x2622 -x2628 x2635 -x2636 -x2638 -x2640 -x2652 -x2656 -x2660 -x2671 -x2674 -x2677 -x2680 -x2690 -x2698 -x2710 -x2716 -x2717 -x2724 -x2725 -x2729 -x2735 -x2737 -x2746 -x2749 -x2754 -x2755 -x2765 -x2788 -x2791 x2792 -x2794 -x2798 -x2799 -x2801 -x2809 -x2815 -x2819 -x2829 -x2832 -x2835 -x2839 -x2884 -x2890 -x2895 -x2907 -x2916 -x2927 x2968 -x2971 -x2975 -x2976 -x2978 -x2987 -x2989 -x2995 -x3001 -x3006 -x3012 -x3019 -x3029 -x3037 x3066 -x3076 -x3078 -x3080 -x3084 -x3098 -x3103 -x3104 -x3127 -x3128 -x3129 -x3134 -x3135 -x3148 -x3149 -x3164 -x3177 -x3178 -x3180 -x3181 -x3182 -x3183 -x3185 -x3186 -x3187 -x3188 -x3204 -x3215 -x3231 -x3236 -x3237 x3239 -x3243 -x3245 -x3246 -x3249 x3256 -x3261 -x3269 -x3270 -x3283 -x3288 -x3293 -x3302 -x3308 -x3316 x3320 -x3324 -x3325 -x3326 -x3331 -x3334 -x3348 -x3350 -x3351 -x3353 -x3359 x3363 -x3375 -x3377 x3378 -x3381 -x3386 -x3397 -x3401 -x3403 -x3405 -x3413 -x3421 -x3429 -x3430 -x3431 -x3437 -x3444 -x3447 -x3452 -x3458 -x3463 -x3473 -x3478 -x3481 -x3482 -x3489 -x3492 -x3496 -x3497 -x3499 x3507 -x3513 -x3517 -x3527 -x3530 -x3533 -x3537 -x3585 -x3591 -x3597 -x3609 -x3618 -x3629 -x3671 -x3674 -x3677 -x3678 -x3680 -x3689 -x3691 -x3697 -x3703 -x3708 -x3714 -x3730 -x3738 -x3767 -x3778 -x3780 -x3782 -x3785 -x3787 -x3800 -x3805 -x3828 -x3829 -x3830 -x3834 -x3835 -x3836 -x3845 -x3847 -x3848 -x3849 x3851 -x3852 -x3857 -x3859 -x3864 -x3880 -x3883 -x3886 -x3887 -x3894 -x3906 -x3936 -x3942 -x3948 -x3952 -x3959 -x3960 -x3974 -x3986 -x3987 -x4011 -x4012 -x4018 -x4019 -x4020 -x4025 -x4028 -x4029 -x4030 -x4038 -x4045 -x4047 -x4048 -x4052 -x4054 x4058 -x4059 -x4062 -x4063 -x4065 -x4067 -x4072 -x4075 -x4078 -x4080 -x4091 -x4106 -x4108 -x4111 -x4125 -x4131 -x4136 -x4138 -x4148 -x4151 -x4167 -x4170 -x4172 -x4184 x4186 -x4192 -x4199 -x4200 x4201 -x4215 -x4229 -x4231 -x4232 -x4234 -x4236 -x4237 -x4238 -x4239 -x4245 -x4258 -x4274 -x4284 -x4287 -x4293 -x4295 -x4299 -x4313 -x4315 x4316 -x4320 -x4324 -x4326 -x4336 -x4345 -x4346 -x4349 -x4354 x4356 -x4357 -x4363 x4368 -x4370 -x4376 -x4379 -x4380 -x4381 -x4385 -x4389 -x4405 -x4412 -x4418 -x4429 -x4432 -x4435 x4436 -x4438 -x4451 -x4456 -x4470 -x4472 x4484 -x4485 -x4486 -x4499 -x4502 -x4507 -x4516 -x4518 -x4532 -x4535 -x4542 -x4550 -x4551 -x4552 -x4566 -x4580 -x4582 -x4583 x4585 x4587 -x4588 -x4589 -x4590 -x4596 -x4609 -x4625 -x4635 -x4638 -x4644 -x4646 -x4650 -x4664 -x4666 -x4667 -x4671 -x4675 -x4677 -x4687 -x4696 -x4697 -x4700 -x4705 -x4707 -x4708 -x4714 -x4719 x4727 -x4730 -x4731 -x4732 -x4736 -x4740 -x4756 x4763 -x4769 -x4780 -x4783 -x4786 -x4787 -x4789 -x4802 -x4807 -x4821 -x4823 -x4835 -x4836 -x4837 -x4850 -x4853 -x4858 -x4867 -x4869 -x4883 -x4886 -x4893 -x4901 -x4902 -x4903 -x4917 -x4931 -x4933 -x4934 -x4936 -x4938 -x4939 -x4940 -x4941 -x4947 -x4960 -x4976 -x4986 -x4989 -x4995 -x4997 -x5001 -x5015 -x5017 -x5018 -x5022 -x5026 -x5028 -x5038 -x5047 -x5048 -x5051 -x5056 -x5058 -x5059 -x5065 -x5070 -x5072 -x5078 -x5081 -x5082 -x5083 -x5087 -x5091 -x5114 -x5131 -x5134 -x5138 -x5140 -x5153 -x5158 -x5172 -x5174 -x5186 -x5187 -x5188 -x5204 -x5209 -x5218 -x5220 -x5237 -x5244 -x5249 -x5252 -x5260 -x5267 -x5268 -x5272 -x5282 -x5286 -x5292 -x5326 -x5327 -x5333 -x5336 -x5337 -x5340 -x5343 -x5344 -x5345 -x5346 -x5348 -x5350 -x5352 -x5353 -x5354 -x5356 -x5363 -x5373 -x5379 -x5390 -x5391 -x5407 -x5410 -x5432 -x5433 -x5434 x5441 -x5451 -x5456 -x5457 -x5466 -x5467 -x5468 -x5471 -x5476 -x5479 -x5480 -x5482 -x5485 -x5486 -x5488 -x5495 -x5510 -x5515 -x5520 -x5523 -x5525 -x5529 -x5535 -x5542 -x5549 -x5555 -x5570 -x5571 -x5580 -x5583 -x5588 -x5593 -x5595 -x5605 -x5619 -x5621 -x5623 -x5633 x5635 -x5638 -x5640 -x5642 -x5643 x5646 -x5661 -x5667 -x5677 -x5687 -x5688 -x5695 -x5697 -x5705 -x5708 -x5714 -x5715 -x5720 -x5722 -x5724 -x5728 -x5730 -x5732 -x5741 -x5744 -x5758 -x5761 -x5774 -x5783 -x5784 -x5785 -x5802 -x5807 -x5818 -x5819 -x5822 -x5833 -x5836 -x5837 -x5839 -x5846 x5848 -x5859 -x5861 -x5863 -x5872 -x5886 -x5893 -x5903 x5905 -x5906 -x5921 -x5922 -x5925 -x5927 -x5934 -x5939 -x5944 -x5953 -x5956 -x5970 -x5972 -x5974 -x5984 -x5986 -x5989 -x5991 -x5993 -x5994 -x5997 -x6012 -x6018 -x6028 -x6038 -x6039 -x6046 -x6048 -x6056 -x6059 -x6065 -x6066 -x6071 -x6073 -x6075 -x6079 -x6081 -x6083 -x6092 -x6093 -x6095 -x6109 -x6112
1800.05/1800.40	v -x6125 -x6134 -x6135 -x6136 -x6153 -x6158 -x6168 -x6170 -x6184 x6187 -x6188 -x6195 -x6197 -x6199 -x6210 -x6212 -x6214 -x6223 -x6237 -x6244 -x6256 x6257 -x6272 -x6273 -x6276 -x6278 -x6290 -x6295 -x6297 -x6304 -x6307 -x6321 -x6323 -x6325 -x6335 -x6337 -x6340 -x6342 -x6345 -x6348 x6363 -x6369 -x6379 -x6389 -x6390 -x6397 x6399 -x6407 -x6410 -x6416 -x6417 -x6422 -x6424 -x6426 -x6430 -x6432 -x6434 -x6443 -x6444 -x6446 x6460 -x6463 -x6476 -x6485 -x6486 -x6487 -x6504 x6509 -x6519 -x6520 -x6521 -x6524 -x6535 -x6538 -x6539 -x6541 -x6546 -x6548 -x6550 -x6561 x6563 -x6565 -x6574 -x6588 -x6595 -x6605 -x6607 -x6608 -x6623 -x6624 -x6627 -x6629 -x6636 -x6641 -x6646 -x6648 -x6656 -x6657 -x6672 -x6685 -x6686 -x6688 -x6689 -x6690 -x6691 -x6693 -x6694 -x6695 -x6696 -x6714 -x6725 -x6742 -x6747 -x6748 -x6750 -x6754 -x6757 -x6758 -x6761 -x6768 -x6773 -x6781 -x6782 -x6795 -x6800 -x6805 -x6814 x6820 -x6827 -x6829 -x6833 -x6836 -x6837 -x6838 -x6843 -x6846 -x6860 -x6863 -x6865 -x6871 -x6875 -x6886 -x6888 -x6889 -x6892 -x6897 -x6908 -x6912 -x6914 -x6916 -x6924 -x6929 -x6933 -x6941 -x6942 -x6943 -x6956 -x6959 -x6969 -x6974 -x6984 -x6989 -x6992 x7007 x7008 -x7023 -x7036 -x7037 -x7039 -x7040 -x7041 -x7042 -x7044 -x7045 -x7046 -x7047 -x7065 -x7076 -x7093 -x7098 -x7099 -x7101 -x7105 -x7108 -x7109 -x7112 -x7119 -x7124 -x7132 -x7133 -x7146 -x7151 -x7156 -x7165 -x7171 -x7178 -x7180 -x7184 -x7187 -x7188 -x7189 -x7194 -x7197 -x7211 -x7213 -x7214 -x7216 -x7222 -x7226 -x7237 -x7239 -x7240 -x7243 -x7248 -x7259 -x7263 -x7265 -x7267 -x7275 -x7280 -x7284 -x7292 -x7293 -x7294 -x7307 -x7310 -x7320 -x7325 -x7335 -x7340 -x7343 -x7358 -x7359 x7374 -x7387 -x7388 -x7390 x7391 -x7392 -x7393 -x7395 -x7396 -x7397 -x7398 -x7416 -x7427 -x7444 -x7449 -x7450 -x7452 -x7456 -x7459 -x7460 -x7463 -x7470 -x7475 x7483 -x7497 -x7502 x7507 x7516 -x7522 -x7529 -x7531 -x7535 x7538 x7539 x7540 -x7545 x7548 -x7562 -x7564 -x7565 -x7567 -x7573 -x7577 -x7588 -x7590 -x7591 -x7594 -x7599 -x7610 -x7614 -x7616 -x7618 -x7626 -x7631 -x7635 -x7643 -x7644 -x7645 -x7658 -x7661 -x7671 -x7676 -x7686 -x7691 -x7694 -x7709 -x7710 -x7725 -x7739 -x7741 -x7742 -x7743 -x7744 -x7746 -x7747 -x7748 -x7749 -x7767 -x7778 -x7795 -x7800 -x7801 -x7803 -x7807 -x7810 -x7811 -x7814 -x7821 -x7826 -x7834 -x7835 -x7848 -x7853 -x7858 -x7867 -x7873 -x7880 -x7882 -x7886 -x7889 -x7890 -x7891 -x7899 -x7913 -x7915 -x7916 -x7918 -x7924 -x7928 -x7939 -x7941 -x7942 -x7945 -x7950 -x7961 -x7965 -x7967 -x7969 -x7977 -x7982 -x7986 -x7994 -x7995 -x7996 -x8009 -x8012 -x8022 -x8027 -x8037 -x8042 -x8045 -x8057 -x8059 -x8060 -x8062 -x8071 -x8079 -x8084 -x8085 -x8090 -x8100 -x8145 -x8148 -x8153 -x8154 -x8160 -x8161 -x8164 -x8187 -x8198 -x8199 -x8209 -x8231 -x8234 -x8237 -x8242 -x8250 -x8252 -x8254 -x8266 -x8270 -x8274 -x8293 -x8323 -x8329 -x8333 -x8339 -x8343 -x8363 -x8368 -x8378 -x8389 -x8391

Verifier Data 

OK	939

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4082831-1465237580/watcher-4082831-1465237580 -o /tmp/evaluation-result-4082831-1465237580/solver-4082831-1465237580 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1465221119-32679 --watchdog 1960 naps-1.02 HOME/instance-4082831-1465237580.opb 

pid=2471
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.29 2.25 2.19 4/174 2474
/proc/meminfo: memFree=29596800/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=8104 CPUtime=0 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 700 0 0 0 0 0 0 0 20 0 1 0 105691053 8298496 574 33554432000 4194304 5796924 140734685258848 140736023224648 4350334 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 2026 574 114 392 0 1625 0

[startup+0.100117 s]
/proc/loadavg: 2.29 2.25 2.19 4/174 2474
/proc/meminfo: memFree=29596800/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=11532 CPUtime=0.09 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 1491 0 0 0 9 0 0 0 20 0 1 0 105691053 11808768 1365 33554432000 4194304 5796924 140734685258848 140736023224648 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 2883 1365 128 392 0 2482 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11532

[startup+0.200314 s]
/proc/loadavg: 2.29 2.25 2.19 4/174 2474
/proc/meminfo: memFree=29596800/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=13912 CPUtime=0.19 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 2070 0 0 0 19 0 0 0 20 0 1 0 105691053 14245888 1939 33554432000 4194304 5796924 140734685258848 140734685258072 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 3478 1939 129 392 0 3077 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13912

[startup+0.300287 s]
/proc/loadavg: 2.29 2.25 2.19 4/174 2474
/proc/meminfo: memFree=29596800/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=16216 CPUtime=0.29 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 2802 0 0 0 29 0 0 0 20 0 1 0 105691053 16605184 3102 33554432000 4194304 5796924 140734685258848 140734685258072 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 4054 3103 140 392 0 3653 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16216

[startup+0.700246 s]
/proc/loadavg: 2.29 2.25 2.19 4/174 2474
/proc/meminfo: memFree=29596800/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=23548 CPUtime=0.69 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 4848 0 0 0 69 0 0 0 20 0 1 0 105691053 24113152 4900 33554432000 4194304 5796924 140734685258848 140734685258072 5087538 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 5887 4900 140 392 0 5486 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23548

[startup+1.50027 s]
/proc/loadavg: 2.35 2.26 2.20 4/175 2475
/proc/meminfo: memFree=29573656/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=27748 CPUtime=1.49 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 6243 0 0 0 149 0 0 0 20 0 1 0 105691053 28413952 5965 33554432000 4194304 5796924 140734685258848 140734685188104 5093527 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 6937 5965 140 392 0 6536 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27748

[startup+3.10027 s]
/proc/loadavg: 2.35 2.26 2.20 3/175 2475
/proc/meminfo: memFree=29568444/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=34520 CPUtime=3.09 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 7435 0 0 0 308 1 0 0 20 0 1 0 105691053 35348480 7520 33554432000 4194304 5796924 140734685258848 140734685210456 4806878 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 8630 7520 140 392 0 8229 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34520

[startup+6.3003 s]
/proc/loadavg: 2.35 2.26 2.20 3/175 2475
/proc/meminfo: memFree=29416028/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=204100 CPUtime=6.29 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 37637 0 0 0 623 6 0 0 20 0 1 0 105691053 208998400 46735 33554432000 4194304 5796924 140734685258848 140734685255960 5077954 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 51025 46735 166 392 0 50624 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 204100

[startup+12.7003 s]
/proc/loadavg: 2.44 2.29 2.21 3/175 2475
/proc/meminfo: memFree=29168172/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=491956 CPUtime=12.69 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 70146 0 0 0 1254 15 0 0 20 0 1 0 105691053 503762944 106326 33554432000 4194304 5796924 140734685258848 140734685256696 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 122989 106326 179 392 0 122588 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 491956

[startup+25.5004 s]
/proc/loadavg: 2.45 2.29 2.21 3/175 2475
/proc/meminfo: memFree=29166720/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=491956 CPUtime=25.49 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 70146 0 0 0 2534 15 0 0 20 0 1 0 105691053 503762944 106326 33554432000 4194304 5796924 140734685258848 140734685256696 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 122989 106326 179 392 0 122588 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 491956

[startup+51.1003 s]
/proc/loadavg: 2.43 2.30 2.21 3/175 2475
/proc/meminfo: memFree=29043324/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=610588 CPUtime=51.09 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 81209 0 0 0 5090 19 0 0 20 0 1 0 105691053 625242112 135447 33554432000 4194304 5796924 140734685258848 140734685256568 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 152647 135447 183 392 0 152246 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 610588

[startup+102.3 s]
/proc/loadavg: 2.45 2.32 2.22 3/175 2476
/proc/meminfo: memFree=28780456/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=872496 CPUtime=102.28 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 114211 0 0 0 10199 29 0 0 20 0 1 0 105691053 893435904 207106 33554432000 4194304 5796924 140734685258848 140734685255896 4583054 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 218124 207106 184 392 0 217723 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 872496

[startup+162.3 s]
/proc/loadavg: 2.35 2.32 2.23 3/175 2478
/proc/meminfo: memFree=28675164/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=976708 CPUtime=162.27 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 122423 0 0 0 16193 34 0 0 20 0 1 0 105691053 1000148992 230842 33554432000 4194304 5796924 140734685258848 140734685256312 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 244177 230842 184 392 0 243776 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 976708

[startup+222.307 s]
/proc/loadavg: 2.27 2.31 2.22 4/176 2482
/proc/meminfo: memFree=28661476/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=998704 CPUtime=222.26 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 124131 0 0 0 22191 35 0 0 20 0 1 0 105691053 1022672896 231885 33554432000 4194304 5796924 140734685258848 140734685256488 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 249676 231885 184 392 0 249275 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 998704

[startup+282.3 s]
/proc/loadavg: 2.41 2.34 2.24 4/175 2483
/proc/meminfo: memFree=28648516/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1000580 CPUtime=282.24 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 126053 0 0 0 28186 38 0 0 20 0 1 0 105691053 1024593920 233028 33554432000 4194304 5796924 140734685258848 140734685256488 4592020 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 250145 233028 184 392 0 249744 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1000580

[startup+342.3 s]
/proc/loadavg: 2.28 2.32 2.24 4/175 2530
/proc/meminfo: memFree=29628920/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1003980 CPUtime=342.23 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 128098 0 0 0 34183 40 0 0 20 0 1 0 105691053 1028075520 234293 33554432000 4194304 5796924 140734685258848 140734685256488 4607258 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 250995 234293 184 392 0 250594 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1003980

[startup+402.3 s]
/proc/loadavg: 2.23 2.30 2.24 3/175 2531
/proc/meminfo: memFree=29560812/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1004880 CPUtime=402.22 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 129073 0 0 0 40180 42 0 0 20 0 1 0 105691053 1028997120 237174 33554432000 4194304 5796924 140734685258848 140734685255960 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 251220 237174 184 392 0 250819 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1004880

[startup+462.3 s]
/proc/loadavg: 2.30 2.31 2.24 3/175 2533
/proc/meminfo: memFree=29553240/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1008312 CPUtime=462.2 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 131127 0 0 0 46176 44 0 0 20 0 1 0 105691053 1032511488 235841 33554432000 4194304 5796924 140734685258848 140734685256488 4583226 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 252078 235841 184 392 0 251677 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 1008312

[startup+522.3 s]
/proc/loadavg: 2.27 2.29 2.24 4/175 2534
/proc/meminfo: memFree=29512928/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1009636 CPUtime=522.18 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 132290 0 0 0 52173 45 0 0 20 0 1 0 105691053 1033867264 237348 33554432000 4194304 5796924 140734685258848 140734685256488 4607258 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 252409 237348 184 392 0 252008 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1009636

[startup+582.3 s]
/proc/loadavg: 2.26 2.28 2.24 4/175 2535
/proc/meminfo: memFree=29540388/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1010416 CPUtime=582.16 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 134571 0 0 0 58169 47 0 0 20 0 1 0 105691053 1034665984 239001 33554432000 4194304 5796924 140734685258848 140734685256488 4607258 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 252604 239001 184 392 0 252203 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 1010416


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


[startup+882.307 s]
/proc/loadavg: 2.36 2.29 2.24 3/175 2544
/proc/meminfo: memFree=29483192/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1047288 CPUtime=882.09 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 140091 0 0 0 88154 55 0 0 20 0 1 0 105691053 1072422912 243763 33554432000 4194304 5796924 140734685258848 140734685255960 4592593 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 261822 243763 184 392 0 261421 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 1047288

[startup+942.3 s]
/proc/loadavg: 2.21 2.26 2.23 4/175 2545
/proc/meminfo: memFree=29479468/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1020676 CPUtime=942.08 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 141169 0 0 0 94151 57 0 0 20 0 1 0 105691053 1045172224 242979 33554432000 4194304 5796924 140734685258848 140734685256312 4569014 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 255169 242979 184 392 0 254768 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 1020676

[startup+1002.3 s]
/proc/loadavg: 2.31 2.29 2.24 3/175 2546
/proc/meminfo: memFree=29456236/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1051496 CPUtime=1002.06 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 141773 0 0 0 100149 57 0 0 20 0 1 0 105691053 1076731904 247657 33554432000 4194304 5796924 140734685258848 140734685256488 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 262874 247657 184 392 0 262473 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 1051496

[startup+1062.3 s]
/proc/loadavg: 2.22 2.26 2.24 3/175 2548
/proc/meminfo: memFree=29404144/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1211468 CPUtime=1062.06 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 147928 0 0 0 106143 63 0 0 20 0 1 0 105691053 1240543232 261137 33554432000 4194304 5796924 140734685258848 140734685256696 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 302867 261137 184 392 0 302466 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 1211468

[startup+1122.3 s]
/proc/loadavg: 2.21 2.25 2.23 3/175 2549
/proc/meminfo: memFree=29416100/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1211468 CPUtime=1122.05 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 148902 0 0 0 112140 65 0 0 20 0 1 0 105691053 1240543232 259090 33554432000 4194304 5796924 140734685258848 140734685256312 4607261 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 302867 259090 184 392 0 302466 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 1211468

[startup+1182.3 s]
/proc/loadavg: 2.21 2.25 2.23 3/175 2550
/proc/meminfo: memFree=29402092/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1242288 CPUtime=1182.03 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 149508 0 0 0 118138 65 0 0 20 0 1 0 105691053 1272102912 263253 33554432000 4194304 5796924 140734685258848 140734685256488 4607198 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 310572 263253 184 392 0 310171 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 1242288

[startup+1242.3 s]
/proc/loadavg: 2.20 2.25 2.23 3/175 2551
/proc/meminfo: memFree=29417956/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1211468 CPUtime=1242.03 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 149901 0 0 0 124136 67 0 0 20 0 1 0 105691053 1240543232 261152 33554432000 4194304 5796924 140734685258848 140734685256312 4609068 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 302867 261152 184 392 0 302466 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 1211468

[startup+1302.3 s]
/proc/loadavg: 2.11 2.21 2.22 3/175 2551
/proc/meminfo: memFree=29459444/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1211468 CPUtime=1302.02 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 150923 0 0 0 130134 68 0 0 20 0 1 0 105691053 1240543232 258640 33554432000 4194304 5796924 140734685258848 140734685256312 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 302867 258640 184 392 0 302466 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1211468

[startup+1362.3 s]
/proc/loadavg: 2.18 2.22 2.22 3/175 2554
/proc/meminfo: memFree=29378960/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1242288 CPUtime=1362.01 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 151531 0 0 0 136132 69 0 0 20 0 1 0 105691053 1272102912 263827 33554432000 4194304 5796924 140734685258848 140734685256488 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 310572 263827 184 392 0 310171 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 1242288

[startup+1422.3 s]
/proc/loadavg: 2.16 2.20 2.21 3/176 2558
/proc/meminfo: memFree=29404368/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1211468 CPUtime=1422.01 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 151947 0 0 0 142131 70 0 0 20 0 1 0 105691053 1240543232 260212 33554432000 4194304 5796924 140734685258848 140734685256312 4607192 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 302867 260212 184 392 0 302466 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 1211468

[startup+1482.3 s]
/proc/loadavg: 2.13 2.19 2.20 3/175 2559
/proc/meminfo: memFree=29401884/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1242288 CPUtime=1481.99 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 152547 0 0 0 148128 71 0 0 20 0 1 0 105691053 1272102912 264887 33554432000 4194304 5796924 140734685258848 140734685256488 4606552 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 310572 264887 184 392 0 310171 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 1242288

[startup+1542.31 s]
/proc/loadavg: 2.24 2.21 2.21 3/175 2560
/proc/meminfo: memFree=29380196/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1213268 CPUtime=1541.99 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 153199 0 0 0 154127 72 0 0 20 0 1 0 105691053 1242386432 261507 33554432000 4194304 5796924 140734685258848 140734685255896 4606816 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 303317 261507 184 392 0 302916 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 1213268

[startup+1602.3 s]
/proc/loadavg: 2.20 2.20 2.20 3/175 2560
/proc/meminfo: memFree=29377616/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1244088 CPUtime=1601.97 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 153803 0 0 0 160125 72 0 0 20 0 1 0 105691053 1273946112 265670 33554432000 4194304 5796924 140734685258848 140734685256488 4607194 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 311022 265670 184 392 0 310621 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1244088

[startup+1662.3 s]
/proc/loadavg: 2.15 2.19 2.19 3/175 2563
/proc/meminfo: memFree=29416248/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1213968 CPUtime=1661.96 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 154517 0 0 0 166123 73 0 0 20 0 1 0 105691053 1243103232 260816 33554432000 4194304 5796924 140734685258848 140734685255896 4592160 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 303492 260816 184 392 0 303091 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 1213968

[startup+1722.3 s]
/proc/loadavg: 2.19 2.20 2.19 3/175 2563
/proc/meminfo: memFree=29362388/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1244788 CPUtime=1721.95 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 155125 0 0 0 172121 74 0 0 20 0 1 0 105691053 1274662912 266003 33554432000 4194304 5796924 140734685258848 140734685256488 4608498 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 311197 266003 184 392 0 310796 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 1244788

[startup+1782.3 s]
/proc/loadavg: 2.12 2.17 2.18 3/175 2564
/proc/meminfo: memFree=29364020/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1244788 CPUtime=1781.94 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 155244 0 0 0 178120 74 0 0 20 0 1 0 105691053 1274662912 269699 33554432000 4194304 5796924 140734685258848 140734685256488 4591923 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 311197 269699 184 392 0 310796 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 1244788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.17 2.18 2.18 4/175 2565
/proc/meminfo: memFree=29389664/32872528 swapFree=17280/1464432
[pid=2474] ppid=2471 vsize=1214100 CPUtime=1800.05 cores=0,2,4,6
/proc/2474/stat : 2474 (naps-1.02) R 2471 2474 32663 0 -1 4202496 155663 0 0 0 179929 76 0 0 20 0 1 0 105691053 1243238400 260972 33554432000 4194304 5796924 140734685258848 140734685256312 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/2474/statm: 303525 260972 184 392 0 303124 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1214100

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 2474 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.42
CPU time (s): 1800.07
CPU user time (s): 1799.29
CPU system time (s): 0.776881
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 1294240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.776881
maximum resident set size= 1117008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155675
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= 134
involuntary context switches= 1844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.55516 second user time and 6.75997 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-06 20:26:20
IDJOB=4082831
IDBENCH=2233
IDSOLVER=2544
FILE ID=node121/4082831-1465237580
RUNJOBID= node121-1465221119-32679
PBS_JOBID= 19843226
Free space on /tmp= 71728 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4082831-1465237580/watcher-4082831-1465237580 -o /tmp/evaluation-result-4082831-1465237580/solver-4082831-1465237580 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1465221119-32679 --watchdog 1960  naps-1.02 HOME/instance-4082831-1465237580.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= f480d2d56550630df651872786c078c9
RANDOM SEED=1647734356

node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.050
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.050
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.050
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.050
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.050
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.050
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.050
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.050
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29596692 kB
Buffers:           20224 kB
Cached:            95708 kB
SwapCached:         1744 kB
Active:          1053636 kB
Inactive:          56744 kB
Active(anon):     994964 kB
Inactive(anon):     2100 kB
Active(file):      58672 kB
Inactive(file):    54644 kB
Unevictable:     1464432 kB
Mlocked:           17280 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:              4384 kB
Writeback:             0 kB
AnonPages:       2458332 kB
Mapped:             7744 kB
Shmem:                 0 kB
Slab:             566472 kB
SReclaimable:      10884 kB
SUnreclaim:       555588 kB
KernelStack:        1432 kB
PageTables:         8904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2687268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2326528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71724 MiB
End job on node121 at 2016-06-06 20:56:21