Trace number 37031

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.4SAT38437 1782.82 1783.47

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

Verifier Data (download as text)

OK	38437

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/node3/watcher-37031-1149291129 -o ROOT/results/node3/solver-37031-1149291129 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node3/37031-1149291129/instance-37031-1149291129.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/64 22046
/proc/meminfo: memFree=1229224/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=964 CPUtime=0
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 51 0 0 0 0 0 0 0 18 0 1 0 194774587 987136 35 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 10924836 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 276 35 27 16 0 8 0

[startup+10.0018 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 22046
/proc/meminfo: memFree=1217704/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=14448 CPUtime=9.99
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 3117 0 0 0 998 1 0 0 25 0 1 0 194774587 14794752 3088 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 3612 3088 206 16 0 3053 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 14448

[startup+20.0074 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 22046
/proc/meminfo: memFree=1205032/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=27008 CPUtime=20
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 6265 0 0 0 1997 3 0 0 25 0 1 0 194774587 27656192 6236 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134529012 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 6752 6236 206 16 0 6193 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 27008

[startup+30.0131 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 22046
/proc/meminfo: memFree=1192488/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=39576 CPUtime=30
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 9395 0 0 0 2996 4 0 0 25 0 1 0 194774587 40525824 9366 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11359867 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 9894 9366 206 16 0 9335 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 39576

[startup+40.0187 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 22046
/proc/meminfo: memFree=1184744/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=47352 CPUtime=40
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 11326 0 0 0 3996 4 0 0 25 0 1 0 194774587 48488448 11297 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 11838 11297 206 16 0 11279 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 47352

[startup+50.0243 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 22046
/proc/meminfo: memFree=1183656/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=48412 CPUtime=50
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 11596 0 0 0 4996 4 0 0 25 0 1 0 194774587 49573888 11567 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 12103 11567 206 16 0 11544 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 48412

[startup+60.03 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 22046
/proc/meminfo: memFree=1183720/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=48412 CPUtime=60
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 11596 0 0 0 5996 4 0 0 25 0 1 0 194774587 49573888 11567 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134533492 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 12103 11567 206 16 0 11544 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 48412

[startup+70.0356 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 22046
/proc/meminfo: memFree=1178344/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=53832 CPUtime=70
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 12940 0 0 0 6995 5 0 0 25 0 1 0 194774587 55123968 12911 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 13458 12911 206 16 0 12899 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 53832

[startup+80.0412 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 22046
/proc/meminfo: memFree=1121384/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=110576 CPUtime=80
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 27152 0 0 0 7988 12 0 0 25 0 1 0 194774587 113229824 27123 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 27644 27123 206 16 0 27085 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 110576

[startup+90.0469 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 22046
/proc/meminfo: memFree=1078568/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=153356 CPUtime=90.01
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 37832 0 0 0 8982 19 0 0 25 0 1 0 194774587 157036544 37803 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 38339 37803 206 16 0 37780 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 153356

[startup+100.052 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 22046
/proc/meminfo: memFree=1078568/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=153356 CPUtime=100.01
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 37832 0 0 0 9981 20 0 0 25 0 1 0 194774587 157036544 37803 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 38339 37803 206 16 0 37780 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 153356

[startup+110.058 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 22046
/proc/meminfo: memFree=1093928/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=137664 CPUtime=110.01
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 37832 0 0 0 10981 20 0 0 25 0 1 0 194774587 140967936 33904 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 34416 33904 206 16 0 33857 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 137664

[startup+120.064 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=1093928/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=137664 CPUtime=120.01
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 37832 0 0 0 11981 20 0 0 25 0 1 0 194774587 140967936 33904 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 34416 33904 206 16 0 33857 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 137664

[startup+130.069 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=1093992/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=137664 CPUtime=130.02
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 37832 0 0 0 12981 21 0 0 25 0 1 0 194774587 140967936 33904 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557350 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 34416 33904 206 16 0 33857 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 137664

[startup+140.075 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=1067944/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=164008 CPUtime=140.02
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 44394 0 0 0 13978 24 0 0 25 0 1 0 194774587 167944192 40466 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 41002 40466 206 16 0 40443 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 164008

[startup+150.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=986216/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=245452 CPUtime=150.02
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 64776 0 0 0 14966 36 0 0 25 0 1 0 194774587 251342848 60848 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557374 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 61363 60848 206 16 0 60804 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 245452

[startup+160.086 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=959080/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=272584 CPUtime=160.02
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 71536 0 0 0 15963 39 0 0 25 0 1 0 194774587 279126016 67608 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 68146 67608 206 16 0 67587 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 272584

[startup+170.093 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=953896/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=277760 CPUtime=170.03
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 72830 0 0 0 16963 40 0 0 25 0 1 0 194774587 284426240 68902 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 69440 68902 206 16 0 68881 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 277760

[startup+180.099 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=942568/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=289072 CPUtime=180.03
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 75655 0 0 0 17960 43 0 0 25 0 1 0 194774587 296009728 71727 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 72268 71727 206 16 0 71709 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 289072

[startup+190.104 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=942568/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=289072 CPUtime=190.04
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 75655 0 0 0 18960 44 0 0 25 0 1 0 194774587 296009728 71727 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 72268 71727 206 16 0 71709 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 289072

[startup+200.111 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=942568/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=289072 CPUtime=200.04
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 75655 0 0 0 19960 44 0 0 25 0 1 0 194774587 296009728 71727 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 72268 71727 206 16 0 71709 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 289072

[startup+210.117 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=942632/2055920 swapFree=4181424/4192956

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

/proc/22046/statm: 125346 124779 206 16 0 124787 0
Current children cumulated CPU time (s) 1590.49
Current children cumulated vsize (Kb) 501384

[startup+1601.01 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=729640/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=501608 CPUtime=1600.49
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135714 0 0 0 159739 310 0 0 25 0 1 0 194774587 513646592 124824 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 125402 124824 206 16 0 124843 0
Current children cumulated CPU time (s) 1600.49
Current children cumulated vsize (Kb) 501608

[startup+1611.01 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=729640/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=501608 CPUtime=1610.5
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135714 0 0 0 160739 311 0 0 25 0 1 0 194774587 513646592 124824 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 125402 124824 206 16 0 124843 0
Current children cumulated CPU time (s) 1610.5
Current children cumulated vsize (Kb) 501608

[startup+1621.02 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=729640/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=501608 CPUtime=1620.5
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135714 0 0 0 161738 312 0 0 25 0 1 0 194774587 513646592 124824 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 125402 124824 206 16 0 124843 0
Current children cumulated CPU time (s) 1620.5
Current children cumulated vsize (Kb) 501608

[startup+1631.03 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=729640/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=501608 CPUtime=1630.5
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135714 0 0 0 162734 316 0 0 25 0 1 0 194774587 513646592 124824 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 125402 124824 206 16 0 124843 0
Current children cumulated CPU time (s) 1630.5
Current children cumulated vsize (Kb) 501608

[startup+1641.03 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=729256/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=501956 CPUtime=1640.5
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135805 0 0 0 163728 322 0 0 25 0 1 0 194774587 514002944 124915 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 125489 124915 206 16 0 124930 0
Current children cumulated CPU time (s) 1640.5
Current children cumulated vsize (Kb) 501956

[startup+1651.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=729256/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=501956 CPUtime=1650.5
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135805 0 0 0 164727 323 0 0 25 0 1 0 194774587 514002944 124915 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 125489 124915 206 16 0 124930 0
Current children cumulated CPU time (s) 1650.5
Current children cumulated vsize (Kb) 501956

[startup+1661.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=729256/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=501956 CPUtime=1660.51
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135805 0 0 0 165727 324 0 0 25 0 1 0 194774587 514002944 124915 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528635 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 125489 124915 206 16 0 124930 0
Current children cumulated CPU time (s) 1660.51
Current children cumulated vsize (Kb) 501956

[startup+1671.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=729256/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=501956 CPUtime=1670.51
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135808 0 0 0 166727 324 0 0 25 0 1 0 194774587 514002944 124918 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 125489 124918 206 16 0 124930 0
Current children cumulated CPU time (s) 1670.51
Current children cumulated vsize (Kb) 501956

[startup+1681.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=728936/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=502292 CPUtime=1680.51
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135896 0 0 0 167726 325 0 0 25 0 1 0 194774587 514347008 125006 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557325 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 125573 125006 206 16 0 125014 0
Current children cumulated CPU time (s) 1680.51
Current children cumulated vsize (Kb) 502292

[startup+1691.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=728936/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=502292 CPUtime=1690.52
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135896 0 0 0 168726 326 0 0 25 0 1 0 194774587 514347008 125006 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 125573 125006 206 16 0 125014 0
Current children cumulated CPU time (s) 1690.52
Current children cumulated vsize (Kb) 502292

[startup+1701.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=728936/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=502292 CPUtime=1700.52
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135896 0 0 0 169724 328 0 0 25 0 1 0 194774587 514347008 125006 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 125573 125006 206 16 0 125014 0
Current children cumulated CPU time (s) 1700.52
Current children cumulated vsize (Kb) 502292

[startup+1711.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=731816/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=499184 CPUtime=1710.52
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135896 0 0 0 170723 329 0 0 25 0 1 0 194774587 511164416 124235 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 124796 124235 206 16 0 124237 0
Current children cumulated CPU time (s) 1710.52
Current children cumulated vsize (Kb) 499184

[startup+1721.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=731816/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=499184 CPUtime=1720.53
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135896 0 0 0 171722 331 0 0 25 0 1 0 194774587 511164416 124235 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557353 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 124796 124235 206 16 0 124237 0
Current children cumulated CPU time (s) 1720.53
Current children cumulated vsize (Kb) 499184

[startup+1731.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22048
/proc/meminfo: memFree=731816/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=499184 CPUtime=1730.53
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135896 0 0 0 172721 332 0 0 25 0 1 0 194774587 511164416 124235 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 124796 124235 206 16 0 124237 0
Current children cumulated CPU time (s) 1730.53
Current children cumulated vsize (Kb) 499184

[startup+1741.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/70 22119
/proc/meminfo: memFree=730680/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=499184 CPUtime=1740.49
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 135896 0 0 0 173715 334 0 0 25 0 1 0 194774587 511164416 124235 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 124796 124235 206 16 0 124237 0
Current children cumulated CPU time (s) 1740.49
Current children cumulated vsize (Kb) 499184

[startup+1751.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22243
/proc/meminfo: memFree=729576/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=501276 CPUtime=1750.46
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 136409 0 0 0 174711 335 0 0 25 0 1 0 194774587 513306624 124748 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517710 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 125319 124748 206 16 0 124760 0
Current children cumulated CPU time (s) 1750.46
Current children cumulated vsize (Kb) 501276

[startup+1761.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22243
/proc/meminfo: memFree=729576/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=501276 CPUtime=1760.45
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 136409 0 0 0 175709 336 0 0 25 0 1 0 194774587 513306624 124748 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 125319 124748 206 16 0 124760 0
Current children cumulated CPU time (s) 1760.45
Current children cumulated vsize (Kb) 501276

[startup+1771.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22243
/proc/meminfo: memFree=729576/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=501276 CPUtime=1770.45
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 136409 0 0 0 176709 336 0 0 25 0 1 0 194774587 513306624 124748 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 125319 124748 206 16 0 124760 0
Current children cumulated CPU time (s) 1770.45
Current children cumulated vsize (Kb) 501276

[startup+1781.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22243
/proc/meminfo: memFree=729576/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=501276 CPUtime=1780.46
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 136409 0 0 0 177709 337 0 0 25 0 1 0 194774587 513306624 124748 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 125319 124748 206 16 0 124760 0
Current children cumulated CPU time (s) 1780.46
Current children cumulated vsize (Kb) 501276

[startup+1782.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22243
/proc/meminfo: memFree=729576/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=501276 CPUtime=1781.46
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 136409 0 0 0 177809 337 0 0 25 0 1 0 194774587 513306624 124748 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527652 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 125319 124748 206 16 0 124760 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (Kb) 501276

[startup+1783.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22243
/proc/meminfo: memFree=729576/2055920 swapFree=4181424/4192956
[pid=22046] ppid=22044 vsize=501276 CPUtime=1782.47
/proc/22046/stat : 22046 (Pueblo) R 22044 22046 22000 0 -1 4194304 136409 0 0 0 177910 337 0 0 25 0 1 0 194774587 513306624 124748 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0
/proc/22046/statm: 125319 124748 206 16 0 124760 0
Current children cumulated CPU time (s) 1782.47
Current children cumulated vsize (Kb) 501276

Child status: 10
Real time (s): 1783.47
CPU time (s): 1782.82
CPU user time (s): 1779.37
CPU system time (s): 3.45447
CPU usage (%): 99.9636
Max. virtual memory (cumulated for all children) (Kb): 502292

Launcher Data (download as text)

Begin job on node3 on Fri Jun  2 23:32:09 UTC 2006


FILE ID= 37031-1149291129

PBS_JOBID= 306868

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/Pueblo ROOT/tmp/node3/37031-1149291129/instance-37031-1149291129.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-37031-1149291129 -o ROOT/results/node3/solver-37031-1149291129 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node3/37031-1149291129/instance-37031-1149291129.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  f480d2d56550630df651872786c078c9

RANDOM SEED= 54342903


/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.261
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	: 5914.62
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.261
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1229432 kB
Buffers:         34468 kB
Cached:         718148 kB
SwapCached:       3612 kB
Active:         151324 kB
Inactive:       610400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1229432 kB
SwapTotal:     4192956 kB
SwapFree:      4181424 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          14932 kB
Slab:            50844 kB
Committed_AS:   261200 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node3 on Sat Jun  3 00:01:52 UTC 2006