Trace number 38181

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, and are wall clock time (not CPU 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
Pueblo 1.3SAT33767 1782.82 1783.91

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 benchmark999
Best CPU time to get the best result obtained on this benchmark1801.29
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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	33767

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node90/watcher-38181-1149291103 -o ROOT/results/node90/solver-38181-1149291103 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node90/38181-1149291103/instance-38181-1149291103.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.77 0.92 0.89 2/67 18916
/proc/meminfo: memFree=1587576/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=2576 CPUtime=0
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 261 0 0 0 0 0 0 0 19 0 1 0 194749267 2637824 233 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134544607 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 644 233 191 16 0 84 0

[startup+10.0018 s]
/proc/loadavg: 0.81 0.92 0.89 2/67 18916
/proc/meminfo: memFree=1564160/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=26276 CPUtime=9.98
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 6069 0 0 0 996 2 0 0 25 0 1 0 194749267 26906624 6041 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520442 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 6569 6041 206 16 0 6009 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 26276

[startup+20.0079 s]
/proc/loadavg: 0.84 0.93 0.90 2/67 18916
/proc/meminfo: memFree=1552064/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=38588 CPUtime=19.98
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 9139 0 0 0 1995 3 0 0 25 0 1 0 194749267 39514112 9111 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528540 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 9647 9111 206 16 0 9087 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 38588

[startup+30.014 s]
/proc/loadavg: 0.86 0.93 0.90 2/67 18916
/proc/meminfo: memFree=1549056/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=41616 CPUtime=29.98
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 9887 0 0 0 2995 3 0 0 25 0 1 0 194749267 42614784 9859 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 10404 9859 206 16 0 9844 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 41616

[startup+40.02 s]
/proc/loadavg: 0.88 0.93 0.90 2/67 18916
/proc/meminfo: memFree=1544384/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=46192 CPUtime=39.99
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 11054 0 0 0 3995 4 0 0 25 0 1 0 194749267 47300608 11026 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557380 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 11548 11026 206 16 0 10988 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 46192

[startup+50.0261 s]
/proc/loadavg: 0.90 0.93 0.90 2/67 18916
/proc/meminfo: memFree=1544064/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=46584 CPUtime=49.98
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 11131 0 0 0 4994 4 0 0 25 0 1 0 194749267 47702016 11103 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559471 0 0 4096 0 0 0 0 17 1 0 0
/proc/18916/statm: 11646 11103 206 16 0 11086 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 46584

[startup+60.0322 s]
/proc/loadavg: 0.91 0.93 0.90 2/67 18916
/proc/meminfo: memFree=1540096/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=50540 CPUtime=59.98
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 12131 0 0 0 5994 4 0 0 25 0 1 0 194749267 51752960 12103 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528590 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 12635 12103 206 16 0 12075 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 50540

[startup+70.0383 s]
/proc/loadavg: 0.93 0.94 0.90 2/67 18916
/proc/meminfo: memFree=1539456/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=51196 CPUtime=69.99
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 12284 0 0 0 6994 5 0 0 25 0 1 0 194749267 52424704 12256 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 12799 12256 206 16 0 12239 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 51196

[startup+80.0454 s]
/proc/loadavg: 0.94 0.94 0.90 2/67 18916
/proc/meminfo: memFree=1537920/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=52820 CPUtime=79.99
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 12672 0 0 0 7994 5 0 0 25 0 1 0 194749267 54087680 12644 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557805 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 13205 12644 206 16 0 12645 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 52820

[startup+90.0515 s]
/proc/loadavg: 0.95 0.94 0.90 2/67 18916
/proc/meminfo: memFree=1536128/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=54528 CPUtime=90
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 13130 0 0 0 8995 5 0 0 25 0 1 0 194749267 55836672 13102 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 13632 13102 206 16 0 13072 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 54528

[startup+100.058 s]
/proc/loadavg: 0.95 0.94 0.90 2/67 18916
/proc/meminfo: memFree=1536128/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=54528 CPUtime=99.99
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 13130 0 0 0 9994 5 0 0 25 0 1 0 194749267 55836672 13102 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528213 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 13632 13102 206 16 0 13072 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 54528

[startup+110.064 s]
/proc/loadavg: 0.96 0.94 0.90 2/67 18916
/proc/meminfo: memFree=1536128/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=54528 CPUtime=109.99
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 13130 0 0 0 10994 5 0 0 25 0 1 0 194749267 55836672 13102 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/18916/statm: 13632 13102 206 16 0 13072 0
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 54528

[startup+120.07 s]
/proc/loadavg: 0.97 0.94 0.91 2/67 18916
/proc/meminfo: memFree=1531584/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=59120 CPUtime=119.99
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 14258 0 0 0 11994 5 0 0 25 0 1 0 194749267 60538880 14230 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 14780 14230 206 16 0 14220 0
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 59120

[startup+130.076 s]
/proc/loadavg: 0.97 0.94 0.91 2/67 18916
/proc/meminfo: memFree=1531584/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=59120 CPUtime=129.99
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 14258 0 0 0 12994 5 0 0 25 0 1 0 194749267 60538880 14230 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559550 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 14780 14230 206 16 0 14220 0
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 59120

[startup+140.082 s]
/proc/loadavg: 0.98 0.95 0.91 2/67 18916
/proc/meminfo: memFree=1528576/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=62144 CPUtime=139.99
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 15012 0 0 0 13994 5 0 0 25 0 1 0 194749267 63635456 14984 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 15536 14984 206 16 0 14976 0
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 62144

[startup+150.089 s]
/proc/loadavg: 0.98 0.95 0.91 2/67 18916
/proc/meminfo: memFree=1527808/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=62804 CPUtime=149.99
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 15192 0 0 0 14994 5 0 0 25 0 1 0 194749267 64311296 15164 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 15701 15164 206 16 0 15141 0
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 62804

[startup+160.095 s]
/proc/loadavg: 0.98 0.95 0.91 2/67 18916
/proc/meminfo: memFree=1527808/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=62804 CPUtime=159.99
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 15192 0 0 0 15994 5 0 0 25 0 1 0 194749267 64311296 15164 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 15701 15164 206 16 0 15141 0
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 62804

[startup+170.101 s]
/proc/loadavg: 0.98 0.95 0.91 2/67 18916
/proc/meminfo: memFree=1527616/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=63068 CPUtime=169.99
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 15259 0 0 0 16994 5 0 0 25 0 1 0 194749267 64581632 15231 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519884 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 15767 15231 206 16 0 15207 0
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 63068

[startup+180.107 s]
/proc/loadavg: 0.99 0.95 0.91 2/67 18916
/proc/meminfo: memFree=1525120/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=65568 CPUtime=179.99
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 15869 0 0 0 17994 5 0 0 25 0 1 0 194749267 67141632 15841 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 16392 15841 206 16 0 15832 0
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (Kb) 65568

[startup+190.113 s]
/proc/loadavg: 0.99 0.95 0.91 2/67 18916
/proc/meminfo: memFree=1523392/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=67276 CPUtime=189.99
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 16295 0 0 0 18994 5 0 0 25 0 1 0 194749267 68890624 16267 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/18916/statm: 16819 16267 206 16 0 16259 0
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 67276

[startup+200.119 s]
/proc/loadavg: 0.99 0.95 0.91 2/67 18916
/proc/meminfo: memFree=1523392/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=67276 CPUtime=200
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 16295 0 0 0 19994 6 0 0 25 0 1 0 194749267 68890624 16267 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517896 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 16819 16267 206 16 0 16259 0
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 67276

[startup+210.126 s]
/proc/loadavg: 0.99 0.95 0.91 2/67 18916
/proc/meminfo: memFree=1521472/2055888 swapFree=4085308/4096564

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

/proc/18916/statm: 130353 129664 206 16 0 129793 0
Current children cumulated CPU time (s) 1570.04
Current children cumulated vsize (Kb) 521412

[startup+1580.94 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 18918
/proc/meminfo: memFree=1068608/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=521412 CPUtime=1580.04
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 160451 0 0 0 157875 129 0 0 25 0 1 0 194749267 533925888 129664 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557894 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 130353 129664 206 16 0 129793 0
Current children cumulated CPU time (s) 1580.04
Current children cumulated vsize (Kb) 521412

[startup+1590.95 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 18918
/proc/meminfo: memFree=1068608/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=521412 CPUtime=1590.05
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 160451 0 0 0 158875 130 0 0 25 0 1 0 194749267 533925888 129664 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557231 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 130353 129664 206 16 0 129793 0
Current children cumulated CPU time (s) 1590.05
Current children cumulated vsize (Kb) 521412

[startup+1600.95 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 18918
/proc/meminfo: memFree=1068224/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=521784 CPUtime=1600.05
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 160557 0 0 0 159874 131 0 0 25 0 1 0 194749267 534306816 129770 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517801 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 130446 129770 206 16 0 129886 0
Current children cumulated CPU time (s) 1600.05
Current children cumulated vsize (Kb) 521784

[startup+1610.96 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 18918
/proc/meminfo: memFree=1068224/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=521784 CPUtime=1610.05
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 160557 0 0 0 160873 132 0 0 25 0 1 0 194749267 534306816 129770 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 130446 129770 206 16 0 129886 0
Current children cumulated CPU time (s) 1610.05
Current children cumulated vsize (Kb) 521784

[startup+1620.97 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 18918
/proc/meminfo: memFree=1068224/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=521784 CPUtime=1620.05
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 160557 0 0 0 161872 133 0 0 25 0 1 0 194749267 534306816 129770 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 130446 129770 206 16 0 129886 0
Current children cumulated CPU time (s) 1620.05
Current children cumulated vsize (Kb) 521784

[startup+1630.97 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 18918
/proc/meminfo: memFree=1068352/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=521432 CPUtime=1630.05
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 160557 0 0 0 162872 133 0 0 25 0 1 0 194749267 533946368 129689 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/18916/statm: 130358 129689 206 16 0 129798 0
Current children cumulated CPU time (s) 1630.05
Current children cumulated vsize (Kb) 521432

[startup+1640.98 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 18918
/proc/meminfo: memFree=1068352/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=521432 CPUtime=1640.05
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 160557 0 0 0 163871 134 0 0 25 0 1 0 194749267 533946368 129689 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 130358 129689 206 16 0 129798 0
Current children cumulated CPU time (s) 1640.05
Current children cumulated vsize (Kb) 521432

[startup+1650.98 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 18918
/proc/meminfo: memFree=1068352/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=521432 CPUtime=1650.06
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 160557 0 0 0 164870 136 0 0 25 0 1 0 194749267 533946368 129689 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 130358 129689 206 16 0 129798 0
Current children cumulated CPU time (s) 1650.06
Current children cumulated vsize (Kb) 521432

[startup+1660.99 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 18918
/proc/meminfo: memFree=1068352/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=521432 CPUtime=1660.06
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 160557 0 0 0 165869 137 0 0 25 0 1 0 194749267 533946368 129689 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 130358 129689 206 16 0 129798 0
Current children cumulated CPU time (s) 1660.06
Current children cumulated vsize (Kb) 521432

[startup+1671 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 18918
/proc/meminfo: memFree=1075392/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=514252 CPUtime=1670.05
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 160557 0 0 0 166868 137 0 0 25 0 1 0 194749267 526594048 127894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/18916/statm: 128563 127894 206 16 0 128003 0
Current children cumulated CPU time (s) 1670.05
Current children cumulated vsize (Kb) 514252

[startup+1681 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 18918
/proc/meminfo: memFree=1075456/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=514252 CPUtime=1680.06
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 160557 0 0 0 167868 138 0 0 25 0 1 0 194749267 526594048 127894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 128563 127894 206 16 0 128003 0
Current children cumulated CPU time (s) 1680.06
Current children cumulated vsize (Kb) 514252

[startup+1691.01 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 18918
/proc/meminfo: memFree=1075456/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=514252 CPUtime=1690.05
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 160557 0 0 0 168867 138 0 0 25 0 1 0 194749267 526594048 127894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 128563 127894 206 16 0 128003 0
Current children cumulated CPU time (s) 1690.05
Current children cumulated vsize (Kb) 514252

[startup+1701.01 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 18918
/proc/meminfo: memFree=1069568/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=520396 CPUtime=1700.06
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 162072 0 0 0 169865 141 0 0 25 0 1 0 194749267 532885504 129409 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 130099 129409 206 16 0 129539 0
Current children cumulated CPU time (s) 1700.06
Current children cumulated vsize (Kb) 520396

[startup+1711.02 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 18918
/proc/meminfo: memFree=1069568/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=520396 CPUtime=1710.07
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 162072 0 0 0 170865 142 0 0 25 0 1 0 194749267 532885504 129409 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 130099 129409 206 16 0 129539 0
Current children cumulated CPU time (s) 1710.07
Current children cumulated vsize (Kb) 520396

[startup+1721.03 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 18918
/proc/meminfo: memFree=1069568/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=520396 CPUtime=1720.07
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 162072 0 0 0 171864 143 0 0 25 0 1 0 194749267 532885504 129409 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 130099 129409 206 16 0 129539 0
Current children cumulated CPU time (s) 1720.07
Current children cumulated vsize (Kb) 520396

[startup+1731.03 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 18918
/proc/meminfo: memFree=1069248/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=520644 CPUtime=1730.06
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 162152 0 0 0 172863 143 0 0 25 0 1 0 194749267 533139456 129489 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 130161 129489 206 16 0 129601 0
Current children cumulated CPU time (s) 1730.06
Current children cumulated vsize (Kb) 520644

[startup+1741.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 18918
/proc/meminfo: memFree=1069248/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=520644 CPUtime=1740.07
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 162152 0 0 0 173863 144 0 0 25 0 1 0 194749267 533139456 129489 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 130161 129489 206 16 0 129601 0
Current children cumulated CPU time (s) 1740.07
Current children cumulated vsize (Kb) 520644

[startup+1751.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 18918
/proc/meminfo: memFree=1069248/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=520644 CPUtime=1750.07
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 162152 0 0 0 174862 145 0 0 25 0 1 0 194749267 533139456 129489 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 130161 129489 206 16 0 129601 0
Current children cumulated CPU time (s) 1750.07
Current children cumulated vsize (Kb) 520644

[startup+1761.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/73 18973
/proc/meminfo: memFree=1067912/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=520644 CPUtime=1760.03
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 162152 0 0 0 175857 146 0 0 25 0 1 0 194749267 533139456 129489 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 130161 129489 206 16 0 129601 0
Current children cumulated CPU time (s) 1760.03
Current children cumulated vsize (Kb) 520644

[startup+1771.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/73 19031
/proc/meminfo: memFree=1066248/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=522244 CPUtime=1770.01
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 162541 0 0 0 176853 148 0 0 25 0 1 0 194749267 534777856 129878 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0
/proc/18916/statm: 130561 129878 206 16 0 130001 0
Current children cumulated CPU time (s) 1770.01
Current children cumulated vsize (Kb) 522244

[startup+1781.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 19113
/proc/meminfo: memFree=1067224/2055888 swapFree=4085308/4096564
[pid=18916] ppid=18914 vsize=522244 CPUtime=1779.97
/proc/18916/stat : 18916 (Pueblo13) R 18914 18916 18870 0 -1 4194304 162541 0 0 0 177848 149 0 0 25 0 1 0 194749267 534777856 129878 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 0 0 0
/proc/18916/statm: 130561 129878 206 16 0 130001 0
Current children cumulated CPU time (s) 1779.97
Current children cumulated vsize (Kb) 522244

Child status: 10
Real time (s): 1783.91
CPU time (s): 1782.82
CPU user time (s): 1781.24
CPU system time (s): 1.57176
CPU usage (%): 99.9387
Max. virtual memory (cumulated for all children) (Kb): 522876

Launcher Data (download as text)

Begin job on node90 on Fri Jun  2 23:31:43 UTC 2006


FILE ID= 38181-1149291103

PBS_JOBID= 306859

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node90/38181-1149291103/instance-38181-1149291103.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node90/watcher-38181-1149291103 -o ROOT/results/node90/solver-38181-1149291103 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node90/38181-1149291103/instance-38181-1149291103.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  f480d2d56550630df651872786c078c9

RANDOM SEED= 208193791


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6006.17
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1587848 kB
Buffers:         30408 kB
Cached:         370740 kB
SwapCached:       2568 kB
Active:          42996 kB
Inactive:       366868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1587848 kB
SwapTotal:     4096564 kB
SwapFree:      4085308 kB
Dirty:             128 kB
Writeback:           0 kB
Mapped:          16060 kB
Slab:            44916 kB
Committed_AS:   330080 kB
PageTables:       1268 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node90 on Sat Jun  3 00:01:27 UTC 2006